v = -89 - -91. Solve 0 = v*s + s for s.
0
Let o(q) = 9*q - 5*q**2 - q + q**3 - 4*q + 0*q**3. Let h be o(4). Solve -3*c + c = h for c.
0
Let f be 27/12 - (-1)/(-4). Let k(p) = p**3 - p - 2. Let i be k(f). Suppose -3*c - b - 6 = 3*b, -c - i*b - 10 = 0. Solve c*u = 10 - 0 for u.
5
Let r(i) = i**2 - 7*i - 8. Let t be r(8). Solve t = 2*m - m for m.
0
Let g(q) be the first derivative of -2*q**2 + 9*q + 7. Let r be g(-4). Solve r = i - 6*i for i.
-5
Suppose -4*y - 22 = -2*k, -3*k - 3*y + 8 = 2. Solve 3*p - 4*p = k for p.
-5
Let m = 35 + -35. Solve m*c = -3*c for c.
0
Suppose -3*g + 16 = g. Suppose g*t - 2 - 6 = 0. Suppose 3*s = 4*s - t. Solve 0 = s*v - 2 + 4 for v.
-1
Suppose -30 = -2*y + 4*k, -y - 36 = -5*y + 2*k. Suppose 0 = -3*i + y*i + 16. Let g = i - -17. Solve 4 = 3*z + g for z.
-3
Suppose 0 = 4*x - 2*x - 2. Let r be (0/x)/(-1 - 1). Let w = -7 + 12. Solve r = y - w*y for y.
0
Let o(d) = 0*d**3 + 6*d**2 - 6*d + d**3 + 10 + 0*d. Let t be o(-7). Suppose -4*k + 5*k = 1, 0 = -m + 2*k. Solve -t*z = -m - 4 for z.
2
Let p = 5 + 5. Suppose c + c = -2*m + p, -m = -4*c - 5. Solve f - 5 = -c*f for f.
5
Let a be 2/(-6) - (-58)/3. Let v = -10 + a. Suppose w - 2*b = 4, -3*w + v = -4*b + b. Solve -3*z + 4 = -w for z.
2
Let b = -11 - -18. Suppose 2*d - b = d - 2*z, -5*z = 3*d - 19. Let s(o) = -o + 4. Let g be s(d). Solve g - 11 = 5*v for v.
-2
Let c be (-184)/(-10) + 6/(-15). Let o = -8 + c. Solve 8*k = 3*k + o for k.
2
Let u be (-3)/(-2) + -1 + 72/16. Solve u*l - 16 = 4 for l.
4
Let o(x) = -7*x**2 - x - 10. Let h(j) = 15*j**2 + 3*j + 21. Let m(r) = 6*h(r) + 13*o(r). Let k be m(3). Suppose k*b - 10 = -2. Solve -b*z + 1 = 5 for z.
-1
Suppose -6*b + 156 = -2*b. Suppose m + 4*u - b = 3*u, 4*m - 2*u - 180 = 0. Let q = -18 + m. Solve i = -4*i - q for i.
-5
Let v(r) = 4*r - 3. Let s(g) = g**3 + 8*g**2 + 8*g + 9. Let m be s(-7). Let l be v(m). Solve l*p + 6 = 2*p for p.
-2
Suppose -7 = -6*o + 41. Solve 7*l + o = 3*l for l.
-2
Suppose 8*c = 4*c - 8. Let y = -2 - c. Solve y = -4*g + 12 - 0 for g.
3
Let m(z) = z**3 - 2*z**2 - 2*z + 2. Let a be m(3). Solve -10 = a*w - 0 for w.
-2
Let a = 0 - 0. Suppose u - 8 + 3 = a. Let b(y) = -2*y + 46. Let w be b(21). Solve -w*m = m - u for m.
1
Suppose 3*b = -0*b + 45. Suppose -b*l + 10*l = -25. Solve 0*d - d + l = 0 for d.
5
Let n be (-122)/(-6) - 2/(-3). Let r = -6 + n. Solve 0 = z + 4*z + r for z.
-3
Let g be 1*-5*(-6)/10. Suppose 4*m - 49 - 6 = f, 3*m = -2*f + 55. Suppose -2*a - g*b = -2*b - m, -5*b + 3 = a. Solve 5*j + 12 = -a for j.
-4
Let f be (-4)/(-5)*210/28. Let p(b) = -2*b**3 + b + 1. Let r be p(-2). Solve -f*i + r = -3*i for i.
5
Let u(i) = -i + 1. Let d be 3 + (-4)/(4/11). Let c be u(d). Let a = c + -9. Solve 3*m + 2 + 1 = a for m.
-1
Let a = 0 - 28. Let x be 18/(-4)*a/14. Solve -x - 1 = -2*u for u.
5
Let t be 3*1 - (-2 - (-5 - -6)). Solve -o - 2*o - t = 0 for o.
-2
Suppose 5*d - 3*d = -s + 33, 4*s = -2*d + 24. Solve -2 = -4*v - d for v.
-4
Suppose 25 = -5*k + 5*u, 2*k = 3*u + u - 8. Let h be (-10)/k + (-11)/(-33). Solve 4 + 6 = -h*x for x.
-5
Suppose 0 = -3*y + 39 - 9. Suppose -4*l - 2*a - 4 = 0, -3*a = 5*l - 7*a + 5. Let m = l - -3. Solve 0 = -m*d - 0 + y for d.
5
Let t be (0 - (2 + -5)) + 4. Solve 3*r + 20 = t*r for r.
5
Suppose 20 = 5*m - m. Solve k + 12 = m*k for k.
3
Suppose -21 = -5*a - 66. Let f = a - -13. Solve -f*q + 5 = -11 for q.
4
Suppose -f = -5*f + 16. Solve f*x - 19 = -3 for x.
4
Suppose 0 = b - 0*b + 3. Let u(r) = r + 3. Let s be u(b). Solve a - 4*a + 9 = s for a.
3
Suppose 2*q = 2*h + 11 + 3, -2*h - 10 = 0. Solve -3 = x + q for x.
-5
Suppose 5*f - f = 0. Suppose 2*c = -2*w + 6, f*w - 5*w - 5 = 0. Solve -d - c = -0*d for d.
-4
Let p(x) = 8*x + 16. Let f be p(-2). Solve 0 = -f*g - 2*g + 10 for g.
5
Suppose 4*c + 6 = 5*c. Solve a = 4*a + c for a.
-2
Let d(i) = -3*i**2 - 11*i + 25. Let t(h) = -2*h**2 - 5*h + 13. Let b(f) = 3*d(f) - 5*t(f). Let w be b(7). Solve 12 = -w*l - l for l.
-3
Let u(v) = v**3 + 6*v**2 + 4*v + 3. Let y = 6 - 9. Let z be u(y). Suppose -4*k = 2*d + 12, -d - 3*k - z = -4*d. Solve d*q + 10 - 2 = 0 for q.
-4
Suppose 0*t = 4*t - 20. Suppose 0*y = t*y + 105. Let c be 1/(-7) + (-45)/y. Solve -h + 4 = -c*h for h.
-4
Let g be 20/(-7)*(-49)/14. Solve 2*s + g = 4*s for s.
5
Let o(n) = 5*n. Let t be o(2). Suppose 0 = 8*d - 3*d - t. Solve 9 = d*q - 1 for q.
5
Let s be (0/3 - 1)*(-5 - -3). Solve 0 = -k - s + 3 for k.
1
Let i be 28/8 - ((-9)/(-6))/3. Suppose 5*b - 2*b = 18. Solve i*v - b*v = 0 for v.
0
Suppose 2*v - 104 = -2*v. Let g be (-12)/(-78) + (-4)/v. Solve 3*u + 0 - 12 = g for u.
4
Let l(t) = -t + 6. Let s be l(5). Solve -2*j + 5 = -s for j.
3
Suppose 0 = -2*z + 5*w - 5 + 2, -3*w = 4*z - 7. Let n(m) = m**3 - 5*m**2 + 6. Let i be n(5). Let a(l) = l - 3. Let c be a(i). Solve j = z + c for j.
4
Let f(c) = 2*c + 4. Let w(q) = -4*q - 7. Let g(o) = 5*f(o) + 3*w(o). Let d be g(-2). Solve -2 = a - d*a for a.
1
Suppose -j - 20 = -6*j. Solve -j*f + f = -6 for f.
2
Let o be 2/(-8) - (-850)/40. Solve -4*q + o = 5 for q.
4
Let q(i) = -3*i - 5. Let y(r) = -r**3 + 6*r**2 + 8*r - 9. Let o be y(7). Let f be q(o). Solve 3 = w - f for w.
4
Suppose -4*h - 2*d + 10 = -0*d, 3*d = 3. Solve h*u = 3*u - 1 for u.
1
Suppose 4*l = -2 + 14. Suppose r - 3*m - 5 = 6, 29 = 4*r + 3*m. Suppose l*o - 4 = r. Solve -h + 0 - o = 0 for h.
-4
Let y = -26 - -28. Let k = -4 + 7. Let p = y + k. Solve -3*v = p + 1 for v.
-2
Suppose 3*y = 2*y + 4. Suppose r - 32 = -3*n, -4*r + 0*n + n + 63 = 0. Suppose -2*a - y*j = -28, -a = -j - 0*j - r. Solve -2*o + a = 2*o for o.
4
Let p(v) = 3*v + 4. Let i(h) = -2*h - 4. Let n = -6 + 3. Let q(a) = n*p(a) - 4*i(a). Let g be q(4). Solve g = y + y - 8 for y.
4
Suppose 31 = -4*k - 1. Suppose -i + 6*i = 50. Let d = i + k. Solve 5*o - d = -7 for o.
-1
Let k = 60 + -58. Solve -k*x = x + 9 for x.
-3
Let h = -73 - -75. Solve 0 = h*v - 4*v + 6 for v.
3
Suppose -l = -3*q - 3, 2*q - 1 = 5*l - 29. Solve -2*n = -l*n - 16 for n.
-4
Let r(d) = 2*d - 9. Let y be r(7). Suppose 1 = 2*w - 13. Solve -y = -4*g + w for g.
3
Let i(w) = w**3 + 3*w**3 + 2*w**3. Let h be i(1). Solve 2*y = 4 + h for y.
5
Suppose -5*o - 2*s + 12 = 0, 0*s = o - s - 1. Suppose o*h + 1 = 4*h - 3*b, -2 = -2*b. Solve -h*j - 8 = -4*j for j.
4
Let g(q) = -3*q**3 - q**2 + 3*q - 2. Let m be g(1). Let n be -1*((-12)/(-2))/m. Solve 5*x - 15 = n*x for x.
5
Let i = -6 + 10. Suppose i*n = 0, 4*t - 3*n = -t + 10. Let b(w) = w + 1. Let m be b(t). Solve -h = -m*h for h.
0
Let o = 1 - 1. Suppose o = 2*r - 4 - 0. Let f be -18*((-4)/(-6))/(-2). Solve r*s - f = 5*s for s.
-2
Let k = -13 + 17. Solve 15 = k*r - r for r.
5
Suppose -4 = -2*b + 4. Suppose 4*v - b = -0*v. Let t be (-1 + v)*(-2)/4. Solve -2*i - 3*i - 10 = t for i.
-2
Let b be (2 - 1) + 2 + 0. Suppose -t = -0 - b. Solve t = o - 0*o for o.
3
Let j be (-2)/(-2*3/12). Solve -4*b = -12 + j for b.
2
Let h = 0 - 0. Let o = h + 0. Let f(p) = -3*p - 8. Let w be f(-6). Solve -7*t + 2*t + w = o for t.
2
Let t(z) = z + 2. Let k be t(4). Let n be 6/((-2)/(-2) + 0). Solve k*o = 3*o - n for o.
-2
Let h(d) = 4*d + 38. Let w(p) = -3*p - 25. Let v(f) = 5*h(f) + 7*w(f). Let a be v(-5). Solve -5*x = -x - a for x.
5
Let s = 8 + 0. Let b(u) = u**2 - 9*u + 12. Let n be b(s). Solve n = -j - j for j.
-2
Suppose -2*j - 3*j = 2*o - 15, o - 13 = 3*j. Suppose -2*f + 34 = 4*q, -15 = 4*f + f. Let c(g) = g + 27. Let n be c(-23). Solve n*l = -o - q for l.
-5
Suppose 0 = -5*r - b + 14, -4*r - 2*b = -3*b - 13. Solve -r*p + 6*p = -9 for p.
-3
Suppose -6*t - 12 = -9*t. Solve -t*u - 20 = u for u.
-4
Suppose -7 = -3*b - 4*y + 25, 3 = 2*b - y. Solve -b*c + c = 0 for c.
0
Suppose 4*l - 14 - 6 = -3*m, 0 = -m - 5*l + 14. Suppose -2*b + g = -m*g, g = -b. Solve b = -5*k + 4 - 19 for k.
-3
Suppose 77*d = 73*d. Solve d = -2*a - 3*a for a.
0
Suppose 0 = -2*s - 2*a + 2, -4*s = 2*a - 7*a - 4. Suppose -3*x - s = -13. Let m be (-3)/(-5) + x/10. Solve m = -4*d - 15 for d.
-4
Let d be 1*-1*(5 + 0). Let q = d + 9. Let v(u) = u - 6. Let j be v(9). Solve f + j*f = -q for f.
-1
Suppose -3*n + 1 = -2. Solve 0 = i + n + 4 for i.
-5
Let w = 6 + -7. Let y = w + 3. Suppose -v = 2*v - 9. Solve 4*h - y = v*h for h.
2
Let y(j) be the first derivative of j**3/3 + 4*j**2 + 10*j - 4. Let k be y(-8). Solve -d - 4*d = k for d.
-2
Suppose 5 = x + 2. Let n be 132/(-8)*(-2)