. Let k(x) = x**3 - 9*x**2 + 10*x - 9. Let l be k(8). Suppose l*h - 12*h = -10. Solve m = 2*t + h for t.
3
Let j(z) = -z**2 - 2*z - 9. Let v be j(-6). Let m be (-1)/(34/(-35) + 1). Let i = v - m. Solve -w = -0*w + i for w.
-2
Suppose j = 2*x - 11, x - 5*j - 1 + 0 = 0. Suppose 0 = -x*c + 4*c. Solve c*l = -l - 5 for l.
-5
Let v(k) = -k**3 + 15*k**2 + 21*k - 39. Let g be v(16). Suppose g = 14*w - 43. Solve -w*l = -2*l + 12 for l.
-3
Let p(f) = -37*f - 37. Let n be p(-1). Solve n = -7*j - 0*j for j.
0
Let s = 125 - 123. Solve -s = -4*r + 14 for r.
4
Suppose -2*u + 4*u = 0. Let x be u*(1 + (-1)/2). Let o = x - 0. Solve o = 2*k - 7 + 1 for k.
3
Let o(u) = u**2 - 13*u + 14. Let m be o(14). Suppose 0 = -m*g + 29*g. Let d(h) = -h**2 + 5. Let s be d(g). Solve 0 = -s*b + 3 + 7 for b.
2
Suppose -s = -0*t - 3*t - 25, 35 = 3*s - t. Let m be ((-8)/(-5))/(4/s). Suppose -m*l + 10 = 4*v - 6, -3*v + 26 = -4*l. Solve 2*n - v = 4*n for n.
-3
Let u(x) = 11*x**2 - 4*x + 0*x + 0*x - 14 - 4*x - x**3. Let w be u(10). Let n = w + -2. Solve 3*t - 4 = n*t for t.
-4
Let q be (96/(-20))/((-12)/280). Suppose 5*u + 2*u - q = 0. Solve -5*l + l = -u for l.
4
Let n be (-3 - 0)/((-9)/(-12)). Let u(x) = -x**3 - 4*x**2 + 2*x + 8. Let j be u(n). Solve j*o + 2 = -o for o.
-2
Let t(n) = n**2 - 25*n + 204. Let o be t(14). Solve -9*m = -o + 41 for m.
1
Let w = -4 - -6. Suppose 3*p = -4*x + 12, 3*x - 2*p + 8 = x. Solve x = w*i - i - 3 for i.
3
Suppose -7*j - 973 = -1071. Solve -j*h - 36 = -2*h for h.
-3
Let j(a) = 1 - a + a + 8*a**3 - 2*a + 0*a. Let k be j(1). Solve -3*v - 4 = -k*v for v.
1
Let n(v) be the first derivative of v**2 + 41*v - 9. Let q be n(-20). Solve m - 2 = -q for m.
1
Suppose -4*b - 4 = -3*v - 0, 3*b + 3 = 2*v. Solve j - 3*j - 8 = v for j.
-4
Suppose 18 + 22 = 10*b. Solve b - 12 = -4*s for s.
2
Let t(l) = l + 13. Let x be t(-9). Let y be (1 + -3)*(-110)/44. Suppose 4*w - u = 1 + 1, -y*w + 8 = -4*u. Solve x = 4*j - w for j.
1
Let r = -10 + 15. Suppose -r*t = -4*f + 11, -4*f + 17 = -0*f + t. Solve f*b = -b for b.
0
Let b = 3 - -2. Suppose -25 = b*w, 2*n + w + 6 = -w. Suppose -c = -2*d + 6*d - 3, 2*d - 2*c = -6. Solve 0 = 2*g - d + n for g.
-1
Suppose -4*b + 14 - 6 = 0. Suppose 3*k + 29 = b*h + 6*k, 5*h = -3*k + 50. Suppose -h - 3 = -2*v. Solve -5 = -5*j + v for j.
2
Let w(j) = -2*j - 30. Let n(m) = -1. Let s(o) = -n(o) + w(o). Let i be (-630)/39 - 10/(-65). Let a be s(i). Solve 0 = -a*d - 15 for d.
-5
Suppose a + 2*y - 3*y - 14 = 0, -9 = -3*y. Suppose 3*m = a*m - 84. Solve m*w + 20 = w for w.
-4
Let s be (-4)/22 + (-204)/(-33). Let r be (s/(-4))/(6/(-16)). Suppose r*j - 10 = -j. Solve 4*z = j*z + 2 for z.
1
Let b be (-4)/(-6) + 5/(15/22). Solve -4*d + 12 = -b for d.
5
Let b(d) = -2*d - 1. Suppose 0 = 4*x + 7 + 9. Let v be b(x). Solve 3*w - 8 - v = 0 for w.
5
Let h be 0/(-2 - (-2 - -2)). Suppose h = -2*d + 6*d - 8. Let c be (-1 - 8 - -4)/((-3)/3). Solve -c = -d*v + v for v.
5
Suppose 9*c + 5*s = 4*c - 45, -4*s = -4*c - 28. Let j = c - -6. Let i = j + 6. Solve -f + 20 = i*f for f.
4
Let w = -76 + 88. Suppose -w + 12 = 7*x. Solve -3*h = 6 - x for h.
-2
Suppose 5*w + 215 - 60 = 0. Let z = w + 47. Suppose 4*t + 0*t = z. Solve t*q = -1 - 3 for q.
-1
Let y be (-4)/(-2)*(1 + 0). Suppose 2 = -b - y*w, 18 = 4*b - 6*w + w. Suppose 0 = -2*t + 4*t. Solve t*d + 10 = -b*d for d.
-5
Let u(g) = g**2 + 19*g + 83. Let q be u(-6). Solve 20 = q*s - s for s.
5
Suppose -3*z + 3*y = 0, -2*z - 27*y = -22*y - 28. Solve z*k - 22 = -42 for k.
-5
Suppose 11*f - 2*n = 8*f + 11, 3*n = -3. Solve 2*s = 4*s + f*s for s.
0
Let z(j) = j**2 - 6*j - 8. Let m be z(6). Let n = 13 - m. Let g = n - 9. Solve 5*x - x = g for x.
3
Let c be 21 - (-4 - (0 - 2)). Let v = c - 23. Solve x - 2 + v = 0 for x.
2
Suppose -9*b - 15 = -96. Suppose -28 - 8 = -b*z. Solve z*y - 9*y - 15 = 0 for y.
-3
Let x(b) = 36*b**2 - 97*b - 7. Let f be x(3). Solve -f + 22 = -2*c for c.
2
Suppose -3*a + 0*a = -81. Let u = a + -33. Let g = -2 - u. Solve -g*b = -20 + 4 for b.
4
Let r(p) = 2*p**2 - 36*p + 7. Let i be r(18). Let q be (-3 + 1)/1 + 12. Let k = q - i. Solve k*j - 5 = 10 for j.
5
Let i be 46/(-12) + 2/(-12). Let j be i/(16/(-36)) + -5. Solve -2*p + 3*p = j for p.
4
Suppose 3*p - 3*w = 6, -5*w - 4 - 6 = 2*p. Suppose p*z = 2*z - 8. Solve 2 + 6 = z*x for x.
2
Let t be (-4)/(-14) + 120/21. Suppose -r + 0 = -2*m - 8, -t = 2*m. Suppose h + 0*g - g = 0, 3*h - r*g = 0. Solve -3*x - x - 4 = h for x.
-1
Suppose -2*t = 18 - 88. Suppose -3*b - 5*d + d + 21 = 0, 0 = -5*b + 5*d + t. Suppose -3 = b*l - 10*l. Solve -3*f - l = -2*f for f.
-1
Let t be (-12)/102 + 280/68. Suppose -t*s = 2*s. Solve s = -2*u + u + 5 for u.
5
Let n = -7 - -9. Let x = 29 + -25. Suppose -5*s = n*o + 11, -2*o - 3*o = -x*s - 22. Solve 0 = -0*v - 2*v + o for v.
1
Let n(m) = 9*m - 17. Let i be n(2). Solve 0 = -2*a + i + 9 for a.
5
Suppose 0 = -7*z + 7 + 14. Suppose 2*s + z - 17 = 0. Solve 3*l = s*l for l.
0
Let z be 1 + -3*(-7)/3. Solve -z*v = 3 - 11 for v.
1
Suppose -3*a = -a + k - 6, -2*k = -4*a + 20. Solve q - 4 = -a for q.
0
Let x(u) = 3*u + 6. Let h be x(-22). Let i = -60 - h. Solve i = s - 0*s - 5 for s.
5
Let v = -4824 - -4833. Suppose -r = r. Solve 3*p - 6 - v = r for p.
5
Let f be (-8)/2*77/(-28). Solve -f*a = -16*a for a.
0
Let i(l) = -22*l + 290. Let g be i(13). Let p(u) be the second derivative of u**4/6 - 5*u**3/6 + 2*u**2 - u. Let a be p(4). Solve 4 + a = -g*w for w.
-5
Let i(b) = 3*b**2 - 15*b + 16. Let z be i(1). Solve -z*w - 35 = -55 for w.
5
Let f = 12 + -9. Suppose 0 = 3*j + i - 14, -5*j - f*i + 14 = -3*j. Suppose 0 = -x - 4*g + 5 + 2, 0 = -j*g. Solve -x*s - 12 = -3*s for s.
-3
Let p = -5 - -3. Let w be p/(-8) - 93/(-12). Solve -3*c + 7 = -w for c.
5
Let d = -704 - -708. Solve 2*w - d = w for w.
4
Suppose -53 = 4*y + z - 62, -5*z = -y - 3. Solve -4*w = y*w for w.
0
Suppose 4*p + 2*n - 8 = 3*p, -72 = -5*p - 2*n. Suppose x - 2*o + 8 = 0, x = 4*o - 0*o - p. Solve 2*d = -x + 2 for d.
1
Let s be (9 - 0) + 8*27/36. Solve 25 = 2*h + s for h.
5
Let h be -1 - -13 - (-2 - -6). Suppose -h*y = -0 - 8. Solve -3*q + 13 = y for q.
4
Let a(r) = r**3 - 8*r**2 + 8*r - 7. Let h be a(7). Suppose -f - f = h. Solve f = -5*s + 2*s + 15 for s.
5
Let p = 182 - 171. Solve 0 = -9*a + p*a + 10 for a.
-5
Suppose f - 21 = -5*g, -3 = -g - 4*f + 5. Suppose c + 29 = -g*y, y - 5 = 4*c + 9. Let j be 4/y + 42/9. Solve -1 + j = i for i.
3
Suppose -86 = z - 95. Solve -2*b - z = -5 for b.
-2
Let o = 657 - 655. Solve o*s - 4*s = -3*s for s.
0
Let m(q) = q**3 - 24*q**2 + 2*q - 41. Let r be m(24). Let o(a) = a**2 + 2*a - 4. Let j be o(-4). Solve 3 = -j*l + r for l.
1
Let c(o) = 2*o**2 - o - 3. Let m(w) = w**2 - 2*w - 3. Let i(t) = -2*c(t) + 3*m(t). Let x be i(-3). Let h be -1 - (-2 + x) - -3. Solve -h*a - 5 = 7 for a.
-3
Let v = -362 - -364. Solve 6*a + 26 - v = 0 for a.
-4
Let d = -122 - -133. Solve -14 = 5*q + d for q.
-5
Suppose 198*g = 832*g. Suppose -i - 2*q = -3, -5*i + 2*i + 9 = 4*q. Solve g = f - i for f.
3
Suppose 4*t - 18 = -2*p, 0 = 5*p + 5*t - 31 + 1. Let l be p - 0 - 0/(-2). Suppose -f + 6 = 4. Solve -k = -f*k + l for k.
3
Let h(c) be the third derivative of -c**6/120 + c**5/5 - 19*c**4/24 + 3*c**3/2 + 23*c**2. Let j be h(10). Solve 5*w - 4 = -j for w.
-3
Suppose 0 = -0*x + 5*x. Let k = 2 + x. Solve -k*b + 10 = -4*b for b.
-5
Let h(o) = o**3 + 10*o**2 + 10*o + 12. Let w be h(-9). Solve 0 = w*d - d + 6 for d.
-3
Let j be 60/24 + (-2)/4. Suppose 0*n + 39 = -n + j*z, -3*n - 103 = z. Let s = n + 39. Solve -23 + 3 = -s*k for k.
5
Suppose -37*l + 13*l = -48. Solve 7 = l*f + 15 for f.
-4
Let m(z) = z**3 + 11*z**2 + 2*z + 10. Let d be m(-11). Let y be (-92)/d - (-2 + 15/9). Solve 3*v - 7*v = -y for v.
2
Let q(b) = -b**3 + 37*b**2 - 41*b + 244. Let i be q(36). Solve 13*x - i = 1 for x.
5
Let t(i) = -i**2 + 15. Let b be t(0). Let k = b + -10. Suppose -31 = -k*q - x - 13, q = -2*x + 9. Solve q*s - 2 = s for s.
1
Let r be 1 - (3 - (4 + 3)). Solve -r*a + 74 = 49 for a.
5
Let c(p) = -p**2 + 2*p + 7. Suppose k - 12 = -3*k. Let n be c(k). Solve n = -m - 3*m for m.
-1
Let f(y) be the second derivative of y**4/12 + 4*y**3/3 - y**2 + 6*y. Let l be f(-9). Suppose 3*n + m = 8, -5*n - 3*m + l = -9. Solve -n*x + x = 1 for x.
-1
Suppose -2*q = -0*q - 6, 5*u - 4*q - 18 = 0. Let t = u + -5. Suppose 5*a = 11*a 