+ 8 = -25*l for l.
2
Let c = -91 - -91. Let w be (0 + -2)*(c - 1). Solve -6*d = -w*d - 20 for d.
5
Let j be -2*4*2/(-4). Solve 3*h - 3 = j*h for h.
-3
Let i = -5 + 7. Suppose 4 = -2*c + i. Let t be 3 + (-1)/c*-1. Solve t = -n + 7 for n.
5
Let a = 1277 + -1255. Solve 24*t = a*t for t.
0
Let a(v) = -2*v**2 + 10*v + 31. Let n be a(7). Solve -2*o - 15 = n*o for o.
-3
Suppose -3*f = 5*r + 12, -r + 3*f = -5 - 7. Solve -4*n + 3*n - 4 = r for n.
-4
Suppose -5 = -2*z + 3*d - 0*d, -d - 11 = -3*z. Let r be 30/z*8/6. Solve -2*n = 3*n + r for n.
-2
Let y be (-74)/(-9) - (-6)/(-27). Let w be ((-6)/y)/((-1)/4). Suppose 10*d + 4*u = 14*d - 8, d = -u + 10. Solve w*s + 3 = d for s.
1
Let z(y) = -y**2 + 11*y - 28. Let h be z(5). Suppose 0 = -3*d + d. Solve h*p = -d*p for p.
0
Let y = 10 + -8. Suppose 0 = v - y*w - 1, 10*w = -2*v + 5*w - 25. Let i = v + 8. Solve -i = 4*x - 7*x for x.
1
Let z(x) = -x + 1. Let s be z(-3). Suppose 12 = 4*f, s*c = 3*c + 4*f - 9. Solve 1 + 5 = -c*h for h.
-2
Let d be (273/(-91))/(1 + (-13)/10). Solve -c = 4*c - d for c.
2
Let m(f) = -f**2 + f + 20. Let n be m(-4). Solve -18*g + 36 = -n*g for g.
2
Let p(d) = 13*d - 22. Let i be p(2). Suppose 3*k = 3*t, 0 = 4*k - 2*t - i - 2. Solve k*r = 4*r - 3 for r.
3
Let w be (-2 + 8 + -1)/((-8)/(-32)). Let u be 110/w + 6/(-4). Solve 2 = 5*d - u*d for d.
2
Let b(c) = -c**2 - 56*c + 310. Let i be b(-61). Solve -i*d + d = -12 for d.
3
Let m be (-5 - -4)/((-1)/4). Suppose 2*l - 4*v = 8, 0*l - 3*v - m = -l. Suppose -l*p = -p - 30. Solve n + n = p for n.
5
Suppose s - 13 = 4*n, -5*s = 4*n - 0*n + 55. Let a = 17 + s. Solve -4*p = p + a for p.
-2
Let d(w) = -5*w**3 - 1. Let x(n) = 2*n + 3. Let f be x(-2). Let y be d(f). Let s = y + 1. Solve 2*g + 3 = -s for g.
-4
Let a(x) = -2*x - 3. Let p be a(-4). Solve p*i = 6*i for i.
0
Let f = 198 - 196. Suppose u + 4*i + 21 = 0, -4*u + 2*i - 26 = 22. Let q = f - u. Solve -6*h + q = -h for h.
3
Let l = 60 + -49. Solve 12*y - l*y + 1 = 0 for y.
-1
Let u be 800/(-1000)*(-1)/(4/70). Solve 21 = -21*j + u*j for j.
-3
Let m = -33 - -54. Let r = m - 19. Let g = -2 + 2. Solve 0 = -r*i - g*i for i.
0
Let n(i) = 2*i + 6. Let d be n(3). Suppose 0 = -2*j + 6*j - d. Solve 0 = -j*r - 1 + 4 for r.
1
Let p(h) = -2*h - 2. Suppose 5*j + 21 = 2*j. Let b be p(j). Suppose 3*l + 2*l = 0. Solve l*r = -4*r + b for r.
3
Let f be ((-16)/12)/((-2)/21). Let k = 16 - f. Suppose 0 = 2*s - 10 - k. Solve 3*v + s = -0 for v.
-2
Let o(v) = 22*v + 16. Let l(r) = 15*r + 11. Let d(z) = -7*l(z) + 5*o(z). Let i be d(-3). Let g = 18 + i. Solve -14 = 2*j - g for j.
-4
Let x = -31 - -48. Suppose -8 = -2*o - 2*s, -x = 5*o - 10*o - 2*s. Let i(r) = 12*r**3 - 2*r + 1. Let m be i(1). Solve o*z + m = 5 for z.
-2
Suppose 704*h - 6 = 701*h. Solve 0 = h*t + 17 - 9 for t.
-4
Let v(w) = w**2 - 2. Suppose 5*s - 2 = 6*s. Let t be v(s). Suppose -22 = -2*c - 3*j, 0 = -3*j + t*j + 2. Solve 4 = -4*f - c for f.
-3
Suppose 0 = 4*n + 92 + 32. Let l = n - -33. Solve -3 = s - l for s.
-1
Let a = 36 + -35. Let n be 0 + (0 - 2) + 0. Let u = n + 5. Solve -r + a = u for r.
-2
Let x(c) = 7*c - 1. Let h(s) = 8*s - 1. Let t(j) = 5*h(j) - 6*x(j). Suppose -2*r = -3*r - 4. Let m be t(r). Solve 5*k = 11 + m for k.
4
Let v(i) = -16*i + 56. Let y be v(3). Solve 13 = a + y for a.
5
Let x(y) = -y - 11. Let z(h) = -h**2 - 2*h + 4. Let o be z(-5). Let w be x(o). Suppose 4*p - 4*i - 52 = -0*i, w = -5*p - 3*i + 81. Solve 4*j + p = 3 for j.
-3
Let p be ((-6)/(-3))/(21/6 - 3). Suppose 4*n = 26 - 10. Solve -p*u - n = -2*u for u.
-2
Let b be (470/658)/((1*-2)/(-14)). Solve 20 = b*i - 10*i for i.
-4
Let b(j) = -39*j - 141. Let c be b(-4). Solve -c = -10*a - 5 for a.
1
Suppose 86 = 4*q - v, -q + 25 + 1 = 2*v. Let i be 3/2 - (-11)/q. Solve -3*b + 25 = i*b for b.
5
Let c(w) be the first derivative of -w**4/8 - 2*w**3 - 3*w**2 - 5. Let x(h) be the second derivative of c(h). Let d be x(-5). Solve -8*z - 10 = -d*z for z.
-2
Suppose 59*l - 702 = 65. Solve -7 = l*a + 19 for a.
-2
Suppose 3 = a - 6*a + 3*l, 0 = -a + 3*l - 3. Suppose -12 = 4*m, 2*p + 8 = 2*m + 24. Solve -2*s + 3 + p = a for s.
4
Suppose -3413*w + 3407*w = -84. Solve 18*i = w*i - 20 for i.
-5
Let p(a) = a**3 + 8*a**2 + 5*a + 11. Let c be p(-6). Solve 7*v - 39 + c = 0 for v.
-2
Suppose -3*y = 4*p + p + 91, 4*p = 3*y + 100. Let z = 36 + y. Solve 6*w = z*w + 4 for w.
2
Let k(g) = 5*g - 34. Let n(d) = d + 1. Let f(q) = -k(q) - 2*n(q). Let y be f(4). Solve i = y*i for i.
0
Let g(x) = -2*x - 14. Let l be g(-6). Let n be (l/(-4))/(4/16). Solve n*k + k = 0 for k.
0
Let r(o) = -o**3 - 9*o**2 + 2. Let q be r(-9). Suppose -v + 4*v + 3 = q*z, 5*z - 15 = 5*v. Suppose -4*i - p + 19 = 0, i - p = -0 + 1. Solve -j + i*j = -z for j.
-2
Let s be -5 + 8*(-9)/(-12) + 11. Let i(w) = w**3 - 5*w**2 + 4*w + 4. Let a be i(4). Solve -a*h + s = -h for h.
4
Let w(l) = -2*l + 8. Let b be w(4). Suppose 2*k = -b*k - 0*k. Solve -4*d - d + 15 = k for d.
3
Let a(q) = q**3 - 19*q**2 + 78*q + 24. Let h be a(13). Solve h = -13*j + 89 for j.
5
Let g(h) = -2*h + 21. Let o be g(10). Let s be o + (0 - 12/(-3)). Solve c = -0*c - s for c.
-5
Suppose 4*a = -4 + 36. Suppose 14 = a*i - i. Suppose -u = u + 5*x - 2, x = -5*u + 28. Solve 2*b = -u - i for b.
-4
Let b be (-2)/(-4)*6*(-2 - -3). Solve b*a - a - 8 = 0 for a.
4
Let c = -21 + 15. Let p be -1*(-2)/(c/(-9)). Suppose -3*k + 41 = -4*g, 2 = 4*k + p*g - 61. Solve -4*o - k = o for o.
-3
Let b(x) = -x - 9. Let l(o) = -2*o - 35. Let u be l(-11). Let q be b(u). Solve -3*m = -q*m + 5 for m.
5
Let s(x) = x**2 - 11*x + 3. Let i be s(7). Let l = i + 40. Solve 5*j + 5 = -l for j.
-4
Let w(d) be the third derivative of 0 - 1/60*d**6 + 0*d + 0*d**3 + 13*d**2 - 1/20*d**5 + 1/24*d**4. Let o be w(-2). Solve -1 = o*y - 3 for y.
1
Let r(v) = 2*v**3 + 71*v**2 - 33*v + 108. Let d be r(-36). Solve d = 3*k + 2*k - 7*k for k.
0
Let r(y) = 7*y**3 - 4*y**2 - y - 11. Let p(f) = -4*f**3 + 2*f**2 + 6. Let m(k) = -5*p(k) - 3*r(k). Let x be m(-2). Let b = x - 9. Solve -b = 3*o + 8 for o.
-4
Let s(x) = -x**3 - 17*x**2 + 19*x + 21. Let l be s(-18). Suppose 5*f - 34 = -t, t - f = l*f - 11. Solve 2*m + 1 = -t for m.
-5
Suppose -h + 2 = -5. Let j(y) = -y + 17. Let w be j(12). Suppose d + d + 3 = w*f, -d = -5*f + 4. Solve -h = 2*u + d for u.
-4
Let j = 77 - 57. Suppose -j*v = -21*v + 6. Solve a - 4*a = -v for a.
2
Let w be 13/(3/(-12)*1). Let m = 60 + w. Suppose -3*f + 0*f + 12 = 0. Solve -2*r + m = -f*r for r.
-4
Let m = -19 + 5. Let h = m - -20. Suppose 2*o - h*o = r + 3, 4*r - 1 = -3*o. Solve q + 4 = r for q.
-3
Let r = 10 - 22. Suppose -5*q + 14 = 4*i, -4 + 10 = -2*i + 4*q. Let c be (-4 + i)*8/r. Solve c*a = 3*a + 1 for a.
-1
Let w(v) = 2*v**2 + 5*v. Let a be w(-5). Let p = -111 - -175. Suppose -5*z - 15 = -5*f, -4*f + p = 5*z + a. Solve 0 = 2*i + 2 - f for i.
2
Let z(w) = -w**3 + 12*w**2 + 13*w + 17. Let f be z(13). Suppose o + f = 3*l - o, -2*l + o + 11 = 0. Solve -6*t + l*t = -5 for t.
5
Let o be 9/6*(-14)/3. Let b be (-5)/o - ((-150)/35 - -4). Solve n + 5 = b for n.
-4
Let c(x) = -3*x**3 + 2*x**2 - 2*x + 1. Let p be c(1). Let d be -5 + (-3 - 4/p). Let r be 0 + d*2/(-6). Solve r*y = -5 - 3 for y.
-4
Let j(d) = d**2 + 7*d + 12. Let k be j(-5). Let y be (-135)/18*k/(-1). Suppose 4*g = 5*m + 14 + 21, 17 = g - 4*m. Solve -g*n - y - 5 = 0 for n.
-4
Let h(m) = -m - 5. Let t be h(-5). Solve -36*s + 41*s + 20 = t for s.
-4
Suppose -r + 13 + 10 = 0. Let s = r - -7. Suppose 0 = -5*w - y + 26, -5*w - 4*y = y - s. Solve w = 8*j - 3*j for j.
1
Let t = -8 + 9. Let k be 180/16 + 2/(-8). Let o = k - 10. Solve 2*u - o = t for u.
1
Suppose -5*s + 2*r + 3*r = -15, 4*r = 5*s - 17. Suppose 15 = 3*v, 4*v - 20 = 2*j + 2*j. Let f = j + s. Solve 4 + 6 = f*y for y.
2
Let u = 15 - 56. Let b = u + 43. Let q be 3/(-5) + 140/25. Solve -q = b*p - 13 for p.
4
Let s = -476 - -484. Solve n + s = -n for n.
-4
Let t(q) = -3*q - 10. Let r be t(-4). Suppose 0*d = -r*d. Solve -5*s = -d - 10 for s.
2
Let d = -20 - -39. Let w(m) = -m**3 + 21*m**2 - 38*m + 5. Let t be w(d). Solve 24 = -t*i + 4 for i.
-4
Suppose w - 13 = -x, 0 = -3*x + 5*w - 2*w + 15. Suppose 43*i + x = 44*i. Suppose 2 + 16 = 3*f. Solve -f*k + 3*k + i = 0 for k.
3
Suppose 0 = f + 3*k - 14, k + 12 = 3*f - 0*k. Suppose j + 20 = f*j. Solve 0 = j*w + 8 + 7 for w.
-3
Let b(d) = 4*d**3 + 5*d - 3*