. Solve -t = -17*b + 20*b for b.
-1
Let h(z) = -z**2 - 15*z - 43. Let v be h(-9). Let i be 2/(2*(-3)/(-39)). Let a = i - v. Solve -a*t - 3*t = -10 for t.
2
Let y(x) = x**3 - 13*x**2 - x + 15. Let h be y(13). Suppose h*c - 3 = -c. Solve -4*j - c = -5*j for j.
1
Let m(j) = 15*j**2 - 2*j + 1. Let r(t) = -t**2 + 11*t - 9. Let q be r(10). Let v be m(q). Solve 2*k + 4 - v = 0 for k.
5
Suppose -5*y + 88 = -4*n, 4*y = 4*n - 1 + 69. Suppose -2*v - y = 5*b, 3*v - 8*v + 16 = -4*b. Suppose 5*j + 5*x + 0 - 15 = 0, 2 = x. Solve r = -v + j for r.
1
Let c(j) = j**2 - 2. Let u be c(-2). Let n be ((-14)/2 + -2)*-1 - -3. Solve u*d + d = -n for d.
-4
Let z = -30 + 45. Let l(m) = -20*m. Let x be l(-2). Let g = 40 - x. Solve g = 3*w + z for w.
-5
Let x be 1*(-2)/(-4)*-10. Suppose 5*h - 3*f = 59, -9 + 1 = -2*h - 4*f. Let b = h + x. Solve 0 = -0*d - b*d for d.
0
Let l be 9 - (3 + (-12)/(-4)). Solve -15*w + 16*w - l = 0 for w.
3
Let r = 834 - 829. Solve 8 = r*k - 2 for k.
2
Suppose 94*l - 89*l = 20. Let f(h) = -h**3 - 7*h**2 - 10*h - 8. Let o be f(-6). Solve -l*c + o = 4 for c.
3
Suppose 40 - 20 = b. Suppose -h - 17 = -b. Solve 0 = -2*g - 5 + h for g.
-1
Suppose 4 = l - 5. Let h = 22 + -17. Suppose 0*s + l = 2*s - j, h*j = -4*s + 25. Solve -s*w - 6 = -2*w for w.
-2
Let d be ((-1 - -5) + -3)*-2. Let w be (13/(-39))/(d/36). Solve -10*s + w = -7*s for s.
2
Let y(s) = s**2 + 11*s - 7. Let t(i) = -2*i + 2. Let c be t(7). Let r be y(c). Let d = 1 + -1. Solve l + r + d = 0 for l.
-5
Suppose 2*o = -40 + 56. Suppose -o*q + 5*q = 0. Solve q = -5*j - 0*j for j.
0
Let b(h) = h - 5. Let w = 1 + 5. Let s be b(w). Suppose -x + 4 = s. Solve 0 = 3*k - 6*k - x for k.
-1
Let z(b) = -b**3 + 4*b**2 - 3*b. Let i be z(4). Let q = i + 5. Let h be 1 - -8 - q/7. Solve -l = l - h for l.
5
Suppose -746*y = -749*y + 81. Solve -y*b - 6 = -25*b for b.
-3
Let y = -18 + 23. Let c = y - 10. Let m(h) = -h**3 - 4*h**2 + 4*h - 1. Let d be m(c). Solve u = -u + d for u.
2
Let p be ((-42)/15)/(6/(-75)). Let s = p + -34. Solve s = -3*x - 2 for x.
-1
Let x be ((-10)/20)/((-3)/30). Let d be (-12)/(-16)*(5 + -1). Suppose -d*f + 10 = 2*f. Solve f = -x*y + 17 for y.
3
Suppose -60 = 80*c - 85*c - 2*n, -4*n = 2*c - 40. Solve 6*l = -c*l + 3*l for l.
0
Suppose 4*a - 3*a = -x + 6, 4*a = 4*x - 8. Solve x*v - 6 = -2 for v.
1
Suppose 5*b - 296 = -71. Solve -h = 43 - b for h.
2
Suppose -s + 15 = z, -2*s + 103 = 5*z + 37. Solve -3*q + z + 3 = 0 for q.
5
Let j be 98/(-35)*(-10)/(-4). Let l be 0/(j/3 - 9/(-27)). Solve -5*k + l*k = 10 for k.
-2
Suppose 0 + 0 = 10*l. Solve 4*r = -l*r + 20 for r.
5
Suppose 10*g - 70 = 3*g. Solve b - g = 6*b for b.
-2
Suppose 3*i - 2*i = -o + 18, 56 = 3*o + 2*i. Suppose o*l - 16*l = 4. Solve 9 = 2*f + l for f.
4
Suppose -h + 4*g - 6 = 0, 3*g = -2*h - 3*h + 39. Solve 0*i = h*i - 30 for i.
5
Suppose 4*m - 68 = -4*f, -8*f = -3*f - 5*m - 75. Suppose 0 = 5*t - 3*t - f. Solve -t = -q - q for q.
4
Let s = 113 + -66. Let g = s + -42. Solve 0 = g*o - 2*o + 12 for o.
-4
Suppose -3*x + 178 = 139. Solve -3 + x = -2*k for k.
-5
Let g be 16/2 + 4 + -8. Solve -5*i - g = -i for i.
-1
Suppose -23*u + 72 = 13*u. Solve -3*c + u*c = -4 for c.
4
Let n(y) = -y**3 - 3*y**2 - y + 11. Let w be n(0). Solve -3*t = w*t + 56 for t.
-4
Let k(z) = -5*z**2 + 71*z - 10. Let i be k(14). Solve -4 + i = -y for y.
0
Let n(h) = -h**3 + 10*h**2 - 7*h - 13. Let z be n(9). Suppose 4*f = 2*g - 2, g + 6 = z*f + 1. Solve o = -f*o for o.
0
Suppose 0 = 2*v + 41 - 57. Solve -7*t - v = -9*t for t.
4
Suppose k = 2*k - 19. Suppose -26 = 2*r - 6*c + 10*c, -51 = 3*r + 2*c. Let s = k + r. Solve s*d - 2*d = 0 for d.
0
Suppose -o = -n + 31 - 6, 2*o + 4 = 0. Solve -27 = -a - n for a.
4
Suppose 0*l = 2*m - 4*l + 154, -5*m + 2*l - 377 = 0. Let f = -58 - m. Solve 5*h - 8 = f for h.
5
Let d = -21 + 23. Suppose d*i = -0 + 6. Solve 4*f = i*f for f.
0
Suppose 0 = n + j - 3*j + 192, -4*j + 4 = 0. Let q be -3*(-8)/(-108) - n/45. Solve 0 = -3*p + q - 1 for p.
1
Let q = 2097 + -2089. Solve q*r = 5*r - 9 for r.
-3
Let l = -96 - -85. Let o be (2/2)/((-2)/(-26)). Let y = l + o. Solve y = 3*w + 8 for w.
-2
Suppose 3*m = 5*z - 19, 3*m = -0*m + 6. Solve 10*o = z*o for o.
0
Let a(v) = -v**3 - 12*v**2 - 5*v + 13. Let u be a(-11). Let o = u - -55. Solve -o*w = -w for w.
0
Let y(m) = m**2 + 6*m + 1. Let b be y(-6). Let w(u) = -7*u**2 + u - 1. Let q be w(b). Let f be (1 - 1)*(q + 6). Solve f*s - 3 = -s for s.
3
Let b(y) = 7*y + 6. Let i be b(-5). Let d = -19 - i. Let c = d - 4. Solve -c*n = -n for n.
0
Suppose -s - 5 = 81*l - 83*l, -2*l - s = 5. Solve l = -z - 2*z + 3 for z.
1
Suppose 4*i = -2*x + 4, -x = -6*x + i + 10. Suppose x*g = -0 - 24. Let s = g - -16. Solve 0 = -s*p - 1 - 15 for p.
-4
Let u(r) = -r**2 + 13*r + 14. Let c be u(10). Let m = c - 35. Solve b = -2*b - m for b.
-3
Suppose -298*v = -309*v + 198. Solve -v*o + 23 = -31 for o.
3
Let d(n) = -2*n**2 - 16*n + 25. Let i be d(-9). Solve -i*b = -9*b + 6 for b.
3
Suppose 17*y - 20*y - 5*g = 8, -3*y - 4*g = 4. Let m be (-2)/6 + 2/6. Let a be 2/(-6)*0 + m. Solve a = 2*f + y for f.
-2
Suppose -4*f - 3*x - 2 = -2*f, 3*f - 2 = -2*x. Suppose -3*y + 7 + 3 = 5*p, f*p = 2*y + 4. Solve -5*m - p = 3 for m.
-1
Let u(n) = -n**3 - 4*n**2 - 3*n. Let d(r) = -r - 11. Let w be d(-13). Suppose -w*j + 5*j + 9 = 0. Let f be u(j). Solve f = y + y + 6 for y.
-3
Let g(w) = w**2 + 11*w + 14. Let r be g(-21). Suppose r = 19*z - 5*z. Solve -3*m + z = m for m.
4
Suppose -42*j + 40*j = -6. Suppose j*w = -5*u - 19 + 5, 5*w + 2*u - 2 = 0. Solve -2 = t + w for t.
-4
Let g(i) = i + 17. Suppose 17 = 2*p - 2*v + 47, 4*v - 4 = 0. Let o be g(p). Let b be 0 + (1 + -1)*-1. Solve b = -o*f + 2*f + 2 for f.
2
Let f(r) = -3*r - 60. Let i be f(-21). Suppose -i*n - 2*z - 3*z + 37 = 0, 0 = 5*n + 2*z - 30. Solve 4*o + n = -4 for o.
-2
Suppose 290 = 3*l + 7*l. Suppose 4*h - 7 - l = 0. Solve -3 = 2*q - h for q.
3
Suppose 3*r - 5*l - 6 = 0, l - 3 = r - 5. Let m = 19 + -17. Solve 0 = m*x + r - 0 for x.
-1
Let w(k) = 3*k + 94 - 79 - 2*k. Let t be w(-6). Suppose -t = -5*s + 21. Solve -s*z = -z for z.
0
Suppose -4087*b = -4083*b - 64. Solve b*k = -9*k + 75 for k.
3
Let o be (-3 + (-5 - -5))*62/6. Let w = o + 31. Solve w = 3*l + l for l.
0
Suppose -2*h + 6*h - 24 = -4*p, 0 = 3*p - h - 38. Solve -8 + p = g for g.
3
Let b(z) = z**3 - 13*z**2 + 7*z + 12. Let s be b(12). Let o = s - -55. Solve -8 = 5*q - o*q for q.
4
Let s be -3*(-8)/5 + (-11)/(-55). Let i be (-9)/7 - (-2)/7. Let f = i + 8. Solve -f = -4*l + s for l.
3
Let o(z) = -5*z - 1. Let q be o(-1). Suppose 0*a - a = -n + 5, q*a = -20. Suppose p - 3*i - i = -4, -4*p = -2*i - 12. Solve l + p = -n*l for l.
-4
Let g be (-11 - -15)*2/2. Solve -g*n = -3*n for n.
0
Let h be (-636)/(-16) + (-3)/(-12). Suppose 2*x + 0*x - 20 = -3*u, 5*u + 2*x - h = 0. Solve 0*a - 2*a + u = 0 for a.
5
Suppose 3*h + 26 = 2*u, -23*u - 37 = -26*u + 4*h. Solve 8*m = m - u for m.
-1
Suppose 26*f = -2*f + 420. Solve 0*d - f = 3*d for d.
-5
Let u = 13 - 7. Let n(x) = -x**2 + 4*x + 8. Let c be n(u). Let l be 1/(-4) + (-13)/c. Solve 0 = 2*v - 1 + l for v.
-1
Let y be (10/((-120)/18))/(2/(-4)). Suppose 4*v = -y*v + 49. Solve -4*t + v = 3 for t.
1
Let k be (-2)/(-4) - (-3)/(-6). Let b = 40 - 23. Let j = -13 + b. Solve -g + k*g + j = 0 for g.
4
Let h be (-4)/14 + 316/28. Let p(a) = a**2 - a - 2. Let r be p(-2). Suppose -r*z + 31 - h = 0. Solve -6*g = -g + z for g.
-1
Let r(x) = 3*x - 33. Let c be ((-2)/4)/((-6)/(129 + 3)). Let f be r(c). Solve f = b - 5*b - 8 for b.
-2
Let f(c) = 2*c**2 + 29*c + 17. Let h be f(-14). Solve -3*i + 6 = -h for i.
3
Let z be 80/5 + (-2 - -1). Solve 0 = -0*k + 3*k + z for k.
-5
Let g = -1506 - -1506. Solve g = -4*u - 0*u for u.
0
Let c be 5*1/(1 + -2). Let s = c + 10. Let j(t) = -2*t**3 - 5*t**2 + 44*t + 12. Let m be j(-6). Solve s*x + m*x = 10 for x.
2
Let v be 41 + -51 - -2*8. Solve -33 = -13*w + v for w.
3
Let y = -31 - -46. Suppose -4*r + 16 = 0, -3*r + 11 = 2*n - 11. Solve n*h - y = 5 for h.
4
Let m(a) = 3*a + 54. Let o be m(-18). Solve -5*n + 25 = -o for n.
5
Let r be (-73)/(-3) + 10/15. Let g(f) = f**3 - 3*f**2 - 4*f + 1. Let n be g(4). Suppose 0 = 2*b + w - 6, -5*b + 3*w + 5 = n. Solve -b*i - r = 3*i for i.
-5
Let n(o) = -o**3 + 3*o**2 - o. Let m(v) be the first derivative of v**2/2 - 15*v - 1. Let z be m(17). Let