v*o + b for o.
-4
Let u = 367 + -346. Solve -u - 4 = 5*z for z.
-5
Let u(p) = 28*p**2 - 20*p - 22. Let l be u(-1). Solve -31 = f - l for f.
-5
Let g = -14 - -49. Suppose g*m - 33*m = 8. Solve -4*i + m = -0 for i.
1
Let o(f) = f - 13. Let w be o(17). Suppose r - 15 = 3*i, 5*r + w*i + i + 25 = 0. Solve 5*c - 2 + 12 = r for c.
-2
Suppose 4*k - 14 = -2*y, -5*k + 5*y + 15 = 5. Suppose 14 + 4 = -3*o. Let q = o + 6. Solve 4*u - k*u = q for u.
0
Let q(l) = -l**2 + 30*l - 166. Let x be q(9). Solve x*h = 24*h for h.
0
Suppose -10 = -5*s + 10. Let b(p) = 2*p**2 - 2*p - 1. Let r be b(-1). Suppose 3 = 3*y + y + r*a, 4*y - s*a - 24 = 0. Solve y*u + 2*u - 5 = 0 for u.
1
Let r be -1*(3 - -2) - (9 - 28). Solve 3*u = -4*u + r for u.
2
Let h = 133 - 132. Let s = -84 + 86. Solve -s*t + h = -t for t.
1
Let b(q) = q**2 - 4*q - 2. Let f(d) = 2*d**2 + 3*d - 4. Let u be f(-3). Let g be b(u). Suppose 3*o - 15 = -4*x, -4*o = -13 - 7. Solve -3*m + 0 - g = x for m.
-1
Suppose 0 = -3*j + b + 5, 5*j + 0*b = 3*b + 7. Suppose -y = z - 8, -z - z + j*y = 4. Suppose 0 = -2*x - 2*x. Solve x = d + z for d.
-3
Suppose 4*v - 4 - 16 = 0. Suppose v*l + 90 = -20. Let i = 25 + l. Solve -i*u + 1 = -2*u for u.
1
Suppose -j - 2*j + 18 = 3*w, 0 = 3*j - w - 34. Solve j = -6*u + u for u.
-2
Let v(y) = y**2 - 14*y + 16. Let a(n) = 2*n**2 - 6*n + 5. Let i = -2 + 6. Let z be a(i). Let b be v(z). Solve b*f - 5*f = 2 for f.
-1
Let b be (32/5 - 4)*5. Suppose 6*x - 2*x - b = 0. Suppose 33*d = 34*d. Solve x*j - 4 - 5 = d for j.
3
Suppose -j + 3*z = 5, 0 = -2*z + 4*z - 6. Let r = j + -1. Suppose -r*t + 8*t = 0. Solve 2*y + t = 8 for y.
4
Suppose 30 = -181*i + 187*i. Solve 7*z - i = 16 for z.
3
Let m(x) = 22 - 3*x - x - x**3 + 11*x**2 - 7*x. Suppose -10 = -4*q + 3*q. Let b be m(q). Solve -2*o + b = -6*o for o.
-3
Let b(y) = 2*y**3 + 5*y**2 - 6*y - 3. Let l be b(-3). Let m(s) = s**2 + 6*s + 4. Let r be m(-6). Suppose r*w - 2 = l. Solve 2*c - c = -w for c.
-2
Suppose -13 = -3*m + 8. Suppose 4*v + m = -4*g + 35, 5*g - v = 11. Solve 3*c + g = 4*c for c.
3
Let f(m) = -3*m - 2. Let z be f(-7). Suppose 2*x = z + 1. Let i be (92/20 - 5)/(1/(-25)). Solve -i = 4*j + x for j.
-5
Let t be 9/21 - 64/(-14). Suppose 0 = -t*r - 0*r + 60. Suppose -2*i - 2*k = -0*i - r, -i + 5*k = 18. Solve -2*q + i = -0 for q.
1
Let q = -51 + 56. Let x(f) = f + 1. Let y be x(q). Solve m - 25 = y*m for m.
-5
Suppose -9 + 23 = 2*q. Solve 8*h = q*h for h.
0
Let t be -35*((-60)/(-28) - 3). Suppose 4*y - 2*c - 43 - 37 = 0, -3*c - t = -y. Let h = y + -12. Solve 20 = x - h*x for x.
-4
Let j be (-134)/(-20) + 4/(400/30). Solve -j*x + 6 = -x for x.
1
Suppose 0 = 9*s - 63 - 36. Solve 2*w - 1 + s = 0 for w.
-5
Let c = 31 - 22. Let h = -2 + c. Let i = 1 + -1. Solve -b + 3 - h = i for b.
-4
Suppose -2*x + 8 = 4*s, -13*x + 12*x = 4*s - 4. Solve 7 = -x*l - 9 for l.
-4
Let f = -6 + 8. Let y = 34 - 30. Solve h = f*h - y for h.
4
Suppose -4 - 5 = 3*i. Let y be 6*((-20)/12 - i). Solve y + 0 = -4*r for r.
-2
Let l = -11 - -15. Let r(k) be the first derivative of k**3/3 - k**2/2 - 9*k - 7. Let a be r(l). Solve 0 = -c - 2*c + a for c.
1
Let p be 9 + -10 + -3*1. Let x be p/(-22) + 252/66. Let u = 8 - x. Solve 0 - u = k for k.
-4
Let p be (228/10)/((-9)/(-30)). Let n(x) = -2*x - 76 + p. Let g be n(-2). Solve g*j = 2*j - 6 for j.
-3
Let q = -30 + 21. Let t = 9 + q. Solve -4*s = -t*s for s.
0
Let k(a) = a**3 + 10*a**2 - 13*a - 3. Let s be k(-11). Suppose 5*u - 6 = 5*n - 1, 4*u + n = s. Solve -u*j = -0*j for j.
0
Suppose 202*b + 21 = 205*b. Solve 3 = -b*v + 24 for v.
3
Let w = 27 - 23. Solve -3*q + q = w for q.
-2
Suppose -23 + 5 = -3*t. Suppose -g = -t*g + 60. Solve 4*i = 7*i - g for i.
4
Let g be 6/10*(95 - 80). Solve 4*t = -g + 5 for t.
-1
Suppose -6*l + 2*l = 2*s - 4, 3 = -4*s + 3*l. Let v(w) = -w**3 + w**2 - w. Let c be v(1). Let b be s*(1 - (c + 3)). Solve b*t + 3 = -3*t for t.
-1
Let m be -1 - (2 + 13*2). Let u be 6/(-8) - (8 + (-1899)/36). Let l = m + u. Solve -5*v + l = -0 for v.
3
Suppose 7 = -f - 3*c, -f - 4*f = 3*c + 71. Let b = -7 - f. Solve -q = 2*q + b for q.
-3
Let q(d) = 74*d**2 - 3*d - 3. Let m be q(-1). Let j = m + -59. Solve 5*n = 2*n - j for n.
-5
Let k(a) = -a**3 - 5*a**2 + 11*a + 61. Let u be k(-5). Solve 0 = 2*c - 2 + u for c.
-2
Suppose 3*w = 18*w - 11*w. Suppose -7 = -2*i + 5. Let m = i - 3. Solve m*x - 8*x + 25 = w for x.
5
Suppose -3*x - 2 + 8 = 0, x + 48 = w. Solve 53*h + 3 = w*h for h.
-1
Let n = 19 - 17. Let s be (-6 + 0)*(-2)/3. Solve -6*w + n = -s*w for w.
1
Let p = 81 + -79. Solve 18 + p = -5*i for i.
-4
Suppose 3*b - 10 + 1 = 0. Let i be (b/(-9))/(4/(-24)). Solve -i*l - 2*l = 4 for l.
-1
Let k = 96 + -94. Solve -k*z = -20 + 30 for z.
-5
Let y(n) = 5*n + 48. Suppose -2*h - 21 - 13 = 4*l, 4*h = 5*l + 49. Let b be y(l). Solve -2*z + 1 = b for z.
-1
Let i be ((-141)/(-423))/((-2)/(-222)). Solve -30*j = i - 187 for j.
5
Let p(s) be the third derivative of s**5/30 + 7*s**4/24 + 2*s**3/3 - 9*s**2. Let r be p(-3). Let k = 9 + -6. Solve -8 - r = k*a for a.
-3
Suppose -10*f + 633 = -257. Let v = f - 87. Solve -2 = -v*p - 4 for p.
-1
Let p(m) = 32*m + 6. Let a be p(2). Let t = a + -58. Solve -6*s + 10*s - t = 0 for s.
3
Suppose -4*w + 12 + 4 = 0. Let j(d) be the first derivative of 10*d**3/3 + d**2/2 - 3*d - 4. Let n be j(-2). Solve -15 = w*y - n for y.
5
Suppose 4*i - 56 = 4*r, 4 + 10 = i + 5*r. Let n be 4/i + (-156)/(-91). Solve -n*y + y = 2 for y.
-2
Let y(s) = -s**3 - 21*s**2 + 44*s - 31. Let h be (-2 + -1)*-5*23/(-15). Let i be y(h). Solve -7*g + 4*g = -i for g.
5
Suppose m - 2 = 1. Solve 0 = -m*z - 11 + 8 for z.
-1
Suppose 4*j + 8*j - 60 = 0. Solve -j*x - 4 = -9 for x.
1
Let x(i) = 6 + i + 2 - 5. Let w be x(-5). Let u = 1 - w. Solve -2*g + 1 + u = 0 for g.
2
Suppose 133*q - 27 = 132*q. Solve -5*b = -37 + q for b.
2
Suppose 5*w + 0*w + 5*g + 5 = 0, 2*g = 4*w + 34. Let f(c) = -6*c - 21. Let j be f(w). Solve -k - j = 2*k for k.
-5
Let u = -2 + 6. Suppose u*x = 20, 30 = g + 3*x - x. Solve c = -4*c + g for c.
4
Let m be ((-4)/8)/((-3)/24). Let r be 2*(18/4 + -2). Suppose r*z - 6 = m*z. Solve z*v = 2*v - 12 for v.
-3
Let l be 104/39*(-3)/(-2). Suppose 0 = z - 5*z + l*r, -2*z + 25 = 3*r. Solve -z*w - 9 = 6 for w.
-3
Suppose 23 - 3 = 5*m. Let n(a) = a**2 + 10*a + 9. Let p be n(-1). Suppose -3*h - 3*i + 68 = 23, -27 = -3*h + 3*i. Solve p*l = m*l - h for l.
3
Suppose 0 + 18 = -3*m - 3*z, 3*m = -2*z - 15. Suppose -5*n + 6 = -2*n. Let i = n - m. Solve -b = -0 - i for b.
5
Let l = -893 + 904. Solve 2 = 10*s - l*s for s.
-2
Let z be -4 - (0 - -2 - (4 - 4)). Let n = 18 - 27. Let u = z - n. Solve w = u*w for w.
0
Let l = -67 - -79. Suppose -7 = j + 3*x + 1, -4*j + l = x. Solve -j*s = s + 15 for s.
-3
Suppose -14 = 6*k - 50. Suppose y + 3*y - k = 2*v, 1 = -3*v + 4*y. Solve -6*t + v*t = -3 for t.
3
Let q = -4 - -19. Let r = 2201 - 2196. Solve -10*m - q = -r*m for m.
-3
Suppose 0 = -6*i + i. Let c(p) = -p**3 + p + 2. Let x be c(i). Solve 3*w - 10 = -x*w for w.
2
Let n = 29 - -10. Suppose 3*c = 4*d - 2*c - n, 0 = 2*d + c - 37. Solve -4*w - d = -4 for w.
-3
Let m be (-10)/(-15) - -13*3/9. Suppose 5*k + 2*h - 17 = 0, -h = h + 8. Suppose k*d - 76 = d. Solve 0 = -m*f - d + 4 for f.
-3
Suppose -2*s = -4*x - 14 - 2, -s - 3*x - 7 = 0. Solve s*k - 7*k = -5 for k.
1
Let h(v) = -v**3 + 15*v**2 + 16*v. Let j be h(16). Solve j = c - 6 + 11 for c.
-5
Let z be 96/21*(-546)/(-156). Solve -z*i - 3*i = 76 for i.
-4
Let y(g) = g**2 - 7*g - 3. Let r be 63/12 - (-3)/(-12). Let d be y(r). Let n = -9 - d. Solve -m = 1 - n for m.
3
Suppose -2*y = -8, -2 = -2*p - 6*y + 10*y. Solve -p*b = -b for b.
0
Suppose 85*g = 80*g + 10. Solve 7*i + g*i = 36 for i.
4
Let q(m) = 0*m + 8*m**2 - 5*m**2 + 7*m. Let z be q(-5). Suppose -z = -4*x + 36. Solve -5*h = -6 - x for h.
5
Let v(m) = -m**2 - m. Let q(i) = i + 6. Let g(z) = -q(z) - v(z). Let a be g(-5). Suppose -a + 7 = -2*o. Solve 0 = o*l - 4*l + 4 for l.
-2
Suppose -2*a - 5 = 5*c, -2*a - 3 = -5*c + 12. Solve 9*s - 8*s + c = 0 for s.
-1
Suppose b - 5*r + 14 = 0, -4*b = -3*b + 2*r - 14. Let w be b + (-9)/3 + -2. Let y(l) = 6*l. Let h be y(w). Solve -h*t - 4 = -2*t for t.
-1
Let r(u) = -u**3 + 7*u**2 + 7*u - 11. Let t be r(7). Solve 5*s - 33 = -t for s.
-1
Let r(t) = t**3 + 2*t**2 - t + 8. Let j be r(-3). Solve -12 = -j*c - 4 for c.
4