-7*d. Solve d = -2*a - 3*a for a.
-5
Let h be (-242)/34 - (-8)/68. Let f = -4 - h. Solve 6 + 9 = f*p for p.
5
Let d(o) = o - 16. Let n be d(12). Let f = -4 - n. Suppose 22 + 10 = 2*t. Solve -5*h - t + 36 = f for h.
4
Let o = -25 - -30. Solve -12 = 2*r - o*r for r.
4
Let u = 20 - 20. Solve -q - 2*q = u for q.
0
Let u(f) = f**2 + 5*f + 3. Let t be u(-6). Let a = 10 - t. Solve x + 2 = a for x.
-1
Let z(f) = -f**3 + 13*f**2 - 13*f + 19. Let t be z(12). Solve -t*p + 2*p = 20 for p.
-4
Suppose -b + 79 = -0*b. Let y = 141 - b. Suppose -g + 129 = 5*j + 28, -y = -3*j - 2*g. Solve j + 0 = 5*n for n.
4
Let i = 53 + -48. Solve z = -0 - i for z.
-5
Suppose 3*a + 7 = -4*j - 0, 4*a + 4 = -4*j. Suppose -5*g = -a*g. Solve 2 = q - g for q.
2
Let w = 35 - 33. Solve -1 = -h + w*h for h.
-1
Let f = 0 + 5. Suppose -f*v + 2*v = -9. Solve 0 = g - v + 8 for g.
-5
Let n(u) = u**3 - 5*u**2 + 3*u + 8. Let w be n(4). Solve -5 = -w*v - 17 for v.
-3
Let l(i) = -2*i - 2. Let t be l(-4). Suppose -5*k - 18 = q - 4, -3*k = 2*q. Solve 0 = -q*c + 3*c + t for c.
2
Let o(b) = b**3 + 2*b**2 - 4*b - 3. Let j be o(-3). Solve 3*a - 3 - 3 = j for a.
2
Suppose -2*h = -5*y + 3*y + 8, 5*y - 12 = -3*h. Let r be 1/y - (-14)/3. Solve r*q + 16 = q for q.
-4
Let i be -1 + -1 + 3 + -3. Let s be ((i - -1) + -1)*-5. Solve j + s = -j for j.
-5
Suppose -1 = 2*v - 5. Let l be 18/2 + 6/(-6). Solve -v*q + l = -0 for q.
4
Let t = 9 + -5. Let p(g) = -g + 6. Let v be p(6). Solve v = d + d + t for d.
-2
Let p(q) = -q - 7. Let l be p(-10). Let s be 4/(-12) + (-2)/l. Let y be s/(-3)*(-9)/(-1). Solve -h - 6 = -y*h for h.
3
Suppose 3*x - 53 = 4*c, -4*c + 0 + 4 = 0. Suppose -3*p = -2 + 11. Let d(l) = -l**2 - 5*l - 3. Let b be d(p). Solve b*g - x = -7 for g.
4
Let r(i) = -2*i - 3. Let v be r(-5). Let n(b) = b - 5. Let m be n(v). Solve 0*o - m*o = 0 for o.
0
Let d(a) = -27*a**2 - 8*a - 8. Let g(n) = -9*n**2 - 3*n - 3. Let k(j) = -3*d(j) + 8*g(j). Let o be k(1). Let l = 13 - o. Solve -t + l = t for t.
2
Let q = -8 + 11. Suppose 5*n - 32 - 5 = -q*y, 3*n = -3*y + 27. Solve 0 = -y*l - l - 25 for l.
-5
Suppose -l - 2*l - 12 = 0, 4*r + 3*l - 48 = 0. Let c = 15 - r. Solve c = -7*q + 2*q for q.
0
Let g = -5 + 0. Let o(l) = -l**2 - 6*l - 5. Let n be o(g). Suppose 2*j + 2*j + r = 9, 2*r + 2 = 2*j. Solve 3*b - b - j = n for b.
1
Suppose -2*q - 5 - 3 = 0. Let j = -7 - q. Let t(f) = f**2 + 2. Let r be t(j). Solve -4*n + r = -5 for n.
4
Let q(k) = -k - 2. Let d(j) = j + 3. Let o(u) = -5*d(u) - 6*q(u). Let y be o(4). Suppose 4 = 2*v - 0*v. Solve v*r + 11 - y = 0 for r.
-5
Let w(b) = -b**2 - 12*b + 5. Let x be w(-12). Let i(t) = 3*t + 6*t**2 - 7*t + 2 - t**3 - 6. Let z be i(x). Solve n + z + 2 = 0 for n.
-3
Let v be 1*(-3 - -1) - 1*-9. Solve 4*t = -v - 1 for t.
-2
Let d(m) = -m + 9. Let u be d(4). Let f = -2 + u. Suppose f*b = -b. Solve 0 = 3*t - b*t + 3 for t.
-1
Let k be 1/(-5) + (-2)/(-10). Suppose k = -2*n - 2*n. Solve n = -3*j - 2 - 10 for j.
-4
Let f = 1 - 2. Let q be (0 + 3)*f + 3. Solve q = -x - 2 - 1 for x.
-3
Suppose -2*c + 8 = 2*c. Suppose 0 = -c*u + 2 + 4. Let f(p) = p. Let t be f(u). Solve -i = 2*i - t for i.
1
Let i be ((-2)/5)/(1/(-5)). Suppose t + 3*a = 2*a - 5, t = -3*a - 15. Suppose -i*u + t*d - 3*d = 5, 0 = -d - 3. Solve 0 = g + u*g for g.
0
Let x = -13 - -16. Suppose -3*b + 24 = -3*w, 23 = -3*b - x*w + 59. Solve 2*z + 2 = b for z.
4
Let s be 0*((-10)/15 + 14/12). Solve -1 + s = r for r.
-1
Let v = 2 - 6. Let s be v/6 - 58/(-6). Solve 0 = 7*k - 4*k - s for k.
3
Let a be (-4)/3*-3 - 1. Let d be (6 - -3)*8/6. Let w be 0*(4/d - 0). Solve w = -4*c - 7 + a for c.
-1
Suppose -11*l - 3*l = -42. Solve 10 = 8*s - l*s for s.
2
Suppose -5*l - 2*o = -10*l + 17, -5*l = 5*o - 45. Suppose 4*a + 4*f = -20, l*a - 4*f + 5*f + 5 = 0. Solve a = 2*t - 3 - 7 for t.
5
Suppose 4*x = 3*x + 9. Let y = x - 6. Suppose -y - 1 = -2*u. Solve 0*h - 6 = u*h for h.
-3
Let g(d) = d**3 - 7*d**2 - 9*d + 9. Let t be g(8). Solve 0*i = i + t for i.
-1
Let o = 3 - 9. Let x(b) = -b**2 - 8*b - 7. Let c be x(o). Solve 4*p - c = -1 for p.
1
Let d(i) = i**2 + 1. Let k(o) = o**3 + 12*o**2 + 4*o + 2. Let l(r) = 6*d(r) - k(r). Let c be l(-5). Let y be 3 - c - (1 + 1). Solve y*q - 3*q - 2 = 0 for q.
-2
Let s = -143 - -144. Solve s + 4 = -o for o.
-5
Suppose o + 3*d + 2 = 0, -4*d + 6*d = o - 13. Let s = o + -5. Solve -3*r + 1 + s = 0 for r.
1
Let f(k) = -2 + 8*k + 1 + 3 - 4*k**2 + 5*k**2. Let m be f(-8). Solve 2*z + 4 = -m for z.
-3
Let s(b) = -3*b - 5. Let f be s(-3). Solve -9 = r - f*r for r.
3
Let i = -5 + 5. Let j be 1/((-3)/(-12)) - i. Suppose -5*q = b - 8, 2*q + 0*b + 4*b + 4 = 0. Solve j*o - q = 2*o for o.
1
Suppose -6 = -5*k - 1. Let a(n) = -n**3 + n**2 + 1. Let o be a(k). Solve -o + 3 = -2*r for r.
-1
Let w(f) = 0 + 16*f - 1 + 0. Suppose -u = 0, v - 3*u = -2*v + 3. Let p be w(v). Solve 2*y + y - p = 0 for y.
5
Suppose -2*q + 0*d + 2*d + 16 = 0, -5*d = 20. Let p be ((0 - 0) + 0)/2. Suppose -y + q*y = p. Solve y = -4*z - 11 + 3 for z.
-2
Let m be (-1)/(3*(-2)/(-90)). Let u be m/(-6)*(-12)/(-10). Solve -j = -u*j for j.
0
Suppose 4*b - 6 - 2 = 0. Suppose 27 = -5*p + b. Let i be p/2*(-48)/40. Solve 0*x - i = -x for x.
3
Let z be (-1)/(3/(-12)) - 0. Solve 0 = z*h + 4 + 12 for h.
-4
Let x be (27/(-8) - 6/(-16)) + 3. Solve x*h = -3*h + 9 for h.
3
Suppose 0 = 6*v - v. Suppose v*r + 5 = r. Let u = 8 - r. Solve u*g + 1 + 2 = 0 for g.
-1
Let c(u) = -u + 2. Let b be c(-2). Suppose -b*d + 5 = -3*j - 3, 5*d = 2*j + 17. Solve 3*k + d + 7 = 0 for k.
-4
Suppose 15 = 3*j + 3*s, 2*j + 0*s + 10 = 2*s. Solve j = -3*a - 1 - 11 for a.
-4
Suppose 4 + 0 = 2*p. Let a(d) = -5*d - 3*d**3 - 2*d - 3*d + 11*d**p + 2*d**3. Let r be a(10). Solve r = -4*s + 1 - 21 for s.
-5
Let b(j) be the second derivative of j**4/24 + j**3 + 3*j**2/2 - 3*j. Let k(m) be the first derivative of b(m). Let n be k(-4). Solve n*a + 3 = -a for a.
-1
Suppose 27 = 7*w + 2*w. Solve -u - 10 = -w*u for u.
5
Let u(l) = l**2 + 7 - 19 + 14*l - 3*l. Let m be u(-12). Solve m = 4*v - 0*v - 8 for v.
2
Let s(w) = -2*w. Let p be s(4). Let n(v) = -2*v - 8. Let h be n(p). Solve 5*o + h + 7 = 0 for o.
-3
Suppose -3*r + 2*r = -7. Let q(u) = u - 2. Let d be q(0). Let g be d/r - (-116)/14. Solve -g = 4*s - 0 for s.
-2
Suppose 0 = -4*m + 15 + 13. Let l = 1 + 1. Solve -m*y + l*y + 10 = 0 for y.
2
Let n(b) = -2*b**2 + 2*b + 2*b**3 + 3*b**2 - 2 + 1 - b. Let f be n(1). Suppose -1 = -2*a + f. Solve -a*k - 2 = -k for k.
-2
Let a = 10 - 6. Solve -a*l = l - 10 for l.
2
Suppose 3*q = 6*q - 9. Suppose 0 = 3*t + 2*m + 4 + q, 4*t = -3*m - 11. Solve -4*b - 17 + t = 0 for b.
-4
Let k(p) be the second derivative of p**4/24 - p**3/3 + p**2 - p. Let b(w) be the first derivative of k(w). Let l be b(2). Solve -5*a - 15 = -l*a for a.
-3
Suppose 0 = 4*p + 8, -3*u - p + 1 = -3. Solve -7 = 5*g - u for g.
-1
Let z be 18/7*(-56)/(-6). Let u = z - 12. Let q be u/9*6/4. Solve -n + 2 = -q for n.
4
Suppose 6 = -3*b + 21. Let u be (1/2)/((-9)/(-576)). Let k = u + -20. Solve b*g = g + k for g.
3
Let j(m) = m. Let v(y) = 4*y. Let p(u) = 15*j(u) - 5*v(u). Let d be p(-1). Solve d*i + 13 = -2 for i.
-3
Let a(o) = o**2 + 4*o - 7. Let i be a(-5). Let s(g) = g**2 + 2*g + 2. Let x be s(i). Solve -2*c + 20 = x*c for c.
5
Let o(k) be the first derivative of k**2/2 + 10*k + 2. Let z be o(-10). Solve z*c = -c + 3 for c.
3
Let p be 3 - ((-6)/(-2))/(-3). Suppose -3*w + p*w + 10 = -4*d, -5*d - 7 = 4*w. Suppose o + 2 = w*o. Solve 2*y + o = -0 for y.
-1
Let z(r) = 8*r**3 - 2*r + 1. Suppose -y = 4 - 5. Let s be z(y). Solve s - 3 = -4*f for f.
-1
Let n(c) = -11*c + 10. Let k(q) = -10*q + 9. Let p(r) = -7*k(r) + 6*n(r). Suppose -2*j - 2*u + 6 = -0*j, 3 = j - 4*u. Let a be p(j). Solve a = 2*t + t for t.
3
Let m(y) = y**3 - 7*y**2 + 5*y + 8. Let f be m(6). Suppose 0 = -7*u + f*u + 4*q + 21, -3*u - 2*q = -17. Solve u*c - 5 = 20 for c.
5
Let u = -1 + 1. Let a = 82 + -66. Solve -4*r + 4 - a = u for r.
-3
Let u = -22 + 28. Solve -2*i + 2 = -u for i.
4
Let g be (-20)/5 - -8 - 2. Solve 5 + 1 = -g*a for a.
-3
Let x(w) = -3*w - 4. Suppose -12 = 3*j - 0*j. Let b be x(j). Suppose -u = 3*u - b. Solve -u - 4 = -3*z for z.
2
Let i = 2 - 7. Let h = i + 11. Solve h*c = c - 20 for c.
-4
Let o(t) = t**2 + 5*t - 2. Let w = 6 - 4. Suppose -24 = 5*f + w*g, -3*f - 15 = -4*g + 15. Let z be o(f). 