-5*d + 24, -2*d = 5*v - 21. Suppose 4 = v*w - 17. Solve 4 = -u + w for u.
3
Let v(u) = -u**3 - 9*u**2 + 7. Let p be v(-9). Solve -p + 10 = s for s.
3
Let q(s) = s**3 - 9*s**2 - 8*s. Let y be q(10). Suppose 2 - y = 2*z. Let c = -5 - z. Solve -m = c*m - 5 for m.
1
Suppose f - 96 + 12 = 0. Suppose 17*d + f = 24*d. Let j = 6 - 4. Solve -d = -2*m - j for m.
5
Let v be ((-1)/(-2) + 17/(-34))/(-1). Solve v = 6*x - 40 + 10 for x.
5
Suppose 3*t - 5 = -2*x, 2*t = 2*x - 8 - 22. Solve 5*j = -x*j + 4*j for j.
0
Let x(b) = -b**2 + b + 2. Let h(y) = y**2 + 9*y + 12. Let p be h(-6). Let u(n) = 3*n + 18. Let j be u(p). Let o be x(j). Solve -4*r - 6 = o for r.
-2
Suppose 0 = -4*v + 5*c + 27, 8*c = -3*v + 4*c + 28. Let j = v + -2. Let w be (-58)/(-15) - j/(-45). Solve 0 = -w*f - 7 - 1 for f.
-2
Let u be (-5 + 1)/(-1 + -1). Suppose -u*i + 5*n - 13 = 0, 3*n - 1 = 4*i - 10. Suppose 19*x = 16*x + i. Solve 3*c = -x*c - 25 for c.
-5
Suppose 90*t = 84*t + 30. Solve 0 = t*w + 3 - 13 for w.
2
Suppose h + 9 = 4*h, 5*w - 19 = 2*h. Let k be (-1)/(((-2)/w)/2). Suppose -3 = -y, 271*l - 272*l + 4*y + 3 = 0. Solve -l + k = 2*i for i.
-5
Let o be (-9)/(-3) - (2 + -1). Suppose -p = 3*t - 43, 2*t - 38 + o = 3*p. Let i be t/5 + (0 - -2). Solve 0*q = -i*q - 20 for q.
-4
Let m(j) = j**3 - 17*j**2 - 4*j + 23. Let q be m(17). Let k = q - -47. Solve 0 = f - k + 5 for f.
-3
Let k(r) = -r**3 + 13*r**2 - 1. Let g be k(13). Let i be -4*(g - 0 - 0). Solve 0 = -2*p + i - 0 for p.
2
Let y(l) = -l**3 - 24*l**2 + 27*l + 53. Let c be y(-25). Suppose -c*z = -2*f, z + 3*z = f. Solve -3*o = -z*o + 3 for o.
-1
Let k be (-45)/(-12) - 3/(-12). Let c = 36 + -26. Solve -c = k*d + d for d.
-2
Let s(n) = -n + 22. Let w be s(18). Let c(v) = 2*v**2 - 5*v - 9. Let o be c(w). Solve 3*a + 3 + o = 0 for a.
-2
Let w = 10 + -5. Suppose 0*v - v + w = 3*n, 6 = 5*n + 4*v. Let r = 14 + -8. Solve -u - n = -r for u.
4
Let r(l) = l**2 + 30*l + 178. Let i be r(-22). Solve -48 + 50 = i*w for w.
1
Suppose 0 = 2*u + 3*u. Suppose u = 3*v + v - 16. Let t be (1 - 11)*(-2)/5. Solve -v*i + 5*i = t for i.
4
Let o(k) = 8*k**2 - 2*k - 1. Let c be o(-1). Let p(f) = -f**3 + 10*f**2 - 10*f + 11. Let z be p(c). Solve z*s = -3*s + 5 for s.
1
Suppose -x - 1 = -3. Let y(w) = 3*w**3 - 5*w**2 + 9*w - 4. Let t(l) = l**3 + l + 1. Let j(f) = 4*t(f) - y(f). Let b be j(-6). Solve 0*d + b = -x*d for d.
-1
Suppose -12 = -3*u, 2*s = 32*u - 34*u + 14. Solve -6*k + s*k - 9 = 0 for k.
-3
Suppose 43 = 2*d - 3*t, 5*d + 10*t - 8*t = 60. Solve -2*a + d = 5*a for a.
2
Let x(i) = i**3 - 7*i**2 + 3*i - 9. Let h = 29 - 22. Let w be x(h). Solve -m + 5*m - w = 0 for m.
3
Let c(b) = b**2 - 14*b - 6. Let r be c(15). Suppose -2*g + r = 5. Let a(f) = f**2 + 6*f + 6. Let k be a(-6). Solve -g*w - k - 2 = 0 for w.
-4
Let b = 12 - 6. Let n be 3*(b + 1 + -2). Let i be -3 + 23/7 - (-96)/56. Solve n = -v - i*v for v.
-5
Suppose -5*i = -10*i + q - 129, 109 = -4*i - 5*q. Let n = -26 - i. Solve -7*o + 2*o - 15 = n for o.
-3
Suppose -i - 3*g + 2 = -0*g, g = 0. Suppose 46*j - 43*j = 4*q - 12, -5*q + 4 = -j. Solve f = -q*f + i for f.
2
Let k be -4 - (-4 - -4) - -25. Let q = -21 + k. Suppose 3*g - 6 = -q*g. Solve 0 = c + g*c for c.
0
Let t(k) = -k**3 - 9*k**2 + 15*k + 50. Let g be t(-10). Solve -5*m + 176 - 166 = g for m.
2
Let s(y) = -72*y + 585. Let z be s(8). Solve r + 2*r - z = 0 for r.
3
Let c be (24/(-16))/((-6)/20). Suppose -c*d - q = -18, 4*d = 2*d + 2*q + 12. Let y be d - (6 + 16/(-4)). Solve -i = -y*i for i.
0
Let s(i) = i**3 + 10*i**2 - 11*i + 4. Let d be s(-11). Suppose w - d - 12 = 4*l, -l = 5*w + 4. Solve w = -2*n - 4 + 2 for n.
-1
Let u(w) = -20*w**2 + w + 5. Let m(b) = -11*b**2 + b + 2. Let f(o) = -11*m(o) + 6*u(o). Suppose -y + 16 = 3*y. Let z be f(y). Solve 5*j + 3 = z*j for j.
-3
Let l(j) = -3*j + 29. Let u be l(8). Solve 3*s + u = 2*s for s.
-5
Let r = 120 + -118. Suppose -m = 4*w + r - 34, -5*w = -15. Solve 5*b = -0*b - m for b.
-4
Let z(q) = q**2 + 25*q + 108. Let y be z(-5). Solve -y*p + 35 + 5 = 0 for p.
5
Suppose -249 + 75 = -58*y. Solve y*l - 112 + 115 = 0 for l.
-1
Suppose 5*t = -5, 5*b - b + 1 = 3*t. Let j be (b/2)/(1/(-8)). Let n be j - (2 + -9) - 4. Solve -3*k = -n*k + 4 for k.
1
Let m(y) = -y**2 + 12*y - 9. Suppose 0 = 11*t - 7*t - 44. Let p be m(t). Suppose 24 = x + p*i, i = -x + 17 + 5. Solve k = 5*k + x for k.
-5
Let p = -28 + 32. Let h be (-1)/p + (-399)/(-76). Solve -h + 1 = -c for c.
4
Suppose 0 = 3*k + 37 - 37. Solve 8*m - 13*m - 15 = k for m.
-3
Let q = 26 + -63. Let w = 37 + q. Let c be (-13)/(-3) - (-2)/(-6). Solve w = -h - h - c for h.
-2
Suppose 13 + 12 = 5*s. Solve -s*b + b - 12 = 0 for b.
-3
Let w(g) be the second derivative of g**5/20 - g**4/6 - g**3/3 + g. Suppose 88*j - 15 = 83*j. Let k be w(j). Solve -2 = -a + k for a.
5
Let j(k) = -k**2 + 2*k - 4. Let p be j(2). Let g be (16/4 + p)*-1. Solve -5*v + g = -5 for v.
1
Let j be (1 + 2)*(2 - 1). Let u(h) = 3*h**2 + 240*h + 12. Let s be u(-80). Solve j*l - s = 3 for l.
5
Suppose 0 = -2*n + 15 - 7. Solve 6 = q + n for q.
2
Suppose 0 = 3*a + 3*c - 6, -5*c = -5*a - 4*c + 28. Let h be 2/1*a/2. Let x be (-2)/h - 189/(-35). Solve -x = 3*r + 1 for r.
-2
Let d = -26 + 30. Suppose 2*u = -d*u + 30. Solve -10 = u*h + 5 for h.
-3
Suppose -5*h + o - 2 = -17, 0 = 4*h + 4*o - 12. Suppose 88 = h*d + 43. Solve -8*y = -3*y + d for y.
-3
Let d be (-19)/(-3) - (-16)/(-12). Suppose -d*g = -4*g. Solve -c - 3*c - 8 = g for c.
-2
Let g(f) = -f**3 - 8*f**2 - 2*f - 14. Let a be g(-8). Suppose a*q = 7 + 1. Solve -1 = x + q for x.
-5
Let h(j) = j**2 - 9*j - 8. Let k be h(11). Let z = k + -11. Suppose 15 = -z*n + 6, -8 = -4*l - 4*n. Solve 0 = -3*y + l*y + 2 for y.
-1
Suppose -f = -4 - 0. Let v be 1 - (-8 + 0 - -4). Suppose -v*l + 2*l = 3*t - 15, -29 = -4*t - l. Solve -2*d - f = -t for d.
2
Let d(l) = -2*l + 60. Let y be d(21). Solve b + y = 7*b for b.
3
Let y(z) = z**3 - 5*z**2 - z - 10. Let k be y(6). Solve -5*j = -10*j + k for j.
4
Suppose -3*w - 53 = 5*p + 46, -w - 3*p = 33. Let z = 36 + w. Solve 0 = -z*h + 1 + 8 for h.
3
Suppose 5 = 6*p - p. Let y be (-52)/14 - (-10)/(-35). Let i be (y/(12/(-45)))/p. Solve 10*w - 5*w = -i for w.
-3
Suppose 4*d = 20, -3*d = -0*c - 4*c + 129. Suppose -11*g + 17*g = c. Let y(k) = -k**2 + 5*k - 4. Let a be y(3). Solve 0*o = a*o + g for o.
-3
Let a be (-2)/(-8) - 30/(-8). Suppose -w + 11*w = 20. Solve 0 = a*q - w - 2 for q.
1
Let h be (-27 - -23)*1/(4/(-6)). Solve 5*s - h = 9 for s.
3
Let i(g) = -3*g + 80. Let y be i(18). Solve -y*f + 24 = -18*f for f.
3
Let u(t) = -t**2 + 9*t - 3. Let h be u(8). Let y = h + 5. Let w = 78 - 78. Solve -2*c + w*c = y for c.
-5
Let n be 4/(-5)*(-21 - -16). Suppose 3*u = -h, -2*h = 2*h + n*u. Solve h = -4*y - 28 + 8 for y.
-5
Let p be (28 + -21)*(1 - 0). Suppose 4*d = 8, 0*d - 4*d + 5 = -x. Let i = x - -1. Solve i*y + 5 = -p for y.
-3
Let x(o) be the second derivative of -o**5/20 + o**4 - 2*o**3 + 11*o**2/2 - 4*o. Let m be x(11). Suppose 0 = -5*w + 24 - 4. Solve -4*z - w = -m for z.
-1
Let j be (9/6)/(6/8). Let z be 9 - (15 + (-10 - -2)). Solve -4*x = z + j for x.
-1
Suppose 51*u - 10 = 46*u. Suppose h + f = 2*h - 1, -12 = -4*h + u*f. Solve 4*d = -1 + h for d.
1
Let n be (-2)/(-4)*(1 - -7). Suppose 3*a + n = 4*a. Suppose 0 = 2*k - 4, -w - 2 - a = -4*k. Solve -i - w*i = 6 for i.
-2
Let z = -9 - -19. Suppose -2*m + 0*m + 15 = c, 0 = 5*m - 3*c - z. Suppose -5*n - q + 17 = -m*q, -4*q + 23 = 3*n. Solve n*p - 4*p = 0 for p.
0
Suppose 5*i - 11 - 9 = 0, 0 = -3*p - 3*i + 18. Let k be (3 + 1)/4*3. Solve k = o - p for o.
5
Suppose 39 + 33 = 8*p. Suppose a = -3*o + p, -3 + 5 = -o - 2*a. Solve -1 + 5 = o*s for s.
1
Let v = 67 - 39. Suppose 28 = 4*a - h, -5*a + a + 3*h + v = 0. Solve a = -5*t - 13 for t.
-4
Let z(h) = -h**3 - 21*h**2 + 35*h + 288. Let i be z(-22). Suppose -2*m + 110 = 3*m. Solve m - i = 4*b for b.
5
Let p(a) = a**3 - 4*a**2 - 31*a + 7. Let o be p(8). Solve 0 = -9*q - 21 - o for q.
-4
Let q(y) = 5*y**3 - 1. Suppose 3*p - p - 2*w - 4 = 0, 5*p - w - 6 = 0. Let v be q(p). Solve -a - v + 9 = 0 for a.
5
Let y = -517 + 517. Solve y = 8*h + 11*h - 17*h for h.
0
Suppose j = 2*p - 13, -2*j - 2*p = p + 40. Let s be 10/4 + j/(-34). Suppose -5 = k - s*w, 4*k - 31 = -4*w - w. Solve 0 = k*a - 7*a - 12 for a.
-4
Let n be -2 - (0 + -45 + -1). Suppose 0 = -4*v + 1