r w.
5
Suppose 3*d - 12 = -d. Solve d*a - 3 = -18 for a.
-5
Let f = -2 - -8. Let t be 3/(-9) - (-2)/f. Let z = 41 + -41. Solve t = -z*x + 3*x - 12 for x.
4
Let l = -4 + 6. Solve -4*u = l - 10 for u.
2
Let n(c) = 5*c**3 - 1. Let l be n(-1). Let g be l*7/(63/(-30)). Solve 0 = 2*w + 3*w - g for w.
4
Suppose 4*t - 29 = s, 2*s - s = t - 5. Suppose 4*j - t = 2*j. Suppose 3*m = -4*k + 74, 0*m - m = -5*k + 7. Solve 0 = -j*v - 2 - m for v.
-5
Suppose 5*l - 8 = 4*k - 0*l, -2*l + 5 = -k. Suppose k*p = -1 + 7. Solve v + 2 + p = 0 for v.
-4
Let j be 2/(-4) - (-129)/6. Suppose -4*v = 3*y - j, 4*v + 4 = -4*y + 28. Suppose -k + v*l = 3, -5*k - 5*l - 8 = -53. Solve -3*m - 3 - k = 0 for m.
-3
Let n(h) = h + 4. Let d be n(-5). Let y be d/(-6) - 4/24. Suppose -2 + y = -v. Solve -4*x = -v*x + 2 for x.
-1
Let a be -2*(-2 - -3)*-1. Let d = 4 - a. Suppose 0 = q + q - d. Solve 4*p - 21 = -q for p.
5
Let a = -41 - -46. Solve 0 = -q - 4*q + a for q.
1
Let n be 14/8 + (-1)/(-4). Suppose -n*v = -4*v + a + 15, a - 34 = -5*v. Suppose u + d = 3 + v, 0 = -2*u - 3*d + 25. Solve -3*h = -u*h - 8 for h.
-4
Let t(o) = -o**2 - o + 9. Let j be t(0). Solve 8*b + j = 5*b for b.
-3
Let k be (-1)/(-3)*(1 - -14). Suppose 3*u - 18 = 2*u - k*b, 0 = 4*b - 12. Suppose 2*s = -5*d - 4 + 12, d + 5*s = -3. Solve -d = -q - u for q.
-1
Let s(q) = q**2 - 2. Let n be s(-2). Solve 6 - 2 = n*w for w.
2
Suppose 0 = -5*o + 37 - 17. Solve -o*m = m - 20 for m.
4
Suppose -g + 4*g = 0. Solve g = 2*z - 2 - 0 for z.
1
Suppose 2*x = -5*m + 33, 5*m + 5*x = 26 + 19. Solve m*q - 4*q = 1 for q.
1
Suppose 10*w - 13*w + 15 = 0. Suppose -2*l = w*d + 2*l, -5*d + 4*l = 0. Solve z + d = -4 for z.
-4
Let o = -8 - -5. Let l be ((-1 + 19)/o)/(-2). Suppose -3*d + 26 = -4*a, -d - l + 10 = -a. Solve -3*c = d*c for c.
0
Suppose 2*d + 2*d = g + 11, -g - 7 = -3*d. Let o be (-6)/g*(-7 - -2). Solve -3 + o = j for j.
3
Let s(w) = w**2 - w. Let j be s(4). Let f = 8 + j. Solve 0 = -3*i - 2*i + f for i.
4
Suppose 6*c - 3*c + 9 = 0. Let o(n) = n**3 + 4*n**2 + 4*n + 3. Let b be o(c). Suppose -p + 22 = 2*d + 2*d, b = -2*d - 4*p + 4. Solve j - 20 = d*j for j.
-4
Let x = -5 - -17. Let t(l) = -l - 2. Let s be t(0). Let i = 1 - s. Solve 0 = -5*n + i + x for n.
3
Suppose -5*s = 4*n, -3*n + 7*n + 4*s = 0. Solve n = 4*v - 3*v for v.
0
Let d = -31 - -32. Solve 0 = t + d - 0 for t.
-1
Suppose -4 - 2 = -d. Suppose 4*v - d*v = 0. Solve 3*i - i - 10 = v for i.
5
Suppose -3*u + 6 = 0, 0 = -3*i - 2*u + 3 + 7. Solve i*h + 9 = -h for h.
-3
Let d be -1 - (3 - 12/(-3)). Let i = 13 + d. Suppose -5*g + 5 = i*y - 20, 4*g = 3*y - 1. Solve -g*p = -p for p.
0
Let b(o) = -17*o - 18. Let u be b(-2). Let y(v) = v. Let j be y(5). Solve -j*i - u = -i for i.
-4
Let w = -8 + 12. Suppose 12 = w*b + 4. Solve -6 = -c - b for c.
4
Suppose -4*l - 4 = 0, 3*o + 10*l - 9 = 13*l. Solve o*v = 3*v for v.
0
Let x be 6/(-3) - -1 - -4. Suppose -m + x*r = -6*m - 5, -4*m = -r - 13. Let d be (-19)/(-3) - m/6. Solve d*i = 2*i - 8 for i.
-2
Let f be (-5)/(-1)*(-4)/(-5). Let a be ((-2)/f)/((-5)/50). Solve 2*b = a + 3 for b.
4
Let q(l) = l**2 + 4*l + 6. Let w(p) = p**2 + 3*p - 7. Let o be w(-5). Suppose -o*s = s + 16. Let m be q(s). Solve 2*f + 0 = -m for f.
-3
Suppose 0 = -5*f + 3 + 22. Solve 0 = -b + f for b.
5
Let r(n) = n**3 + 4*n**2 - 5*n. Let h be r(-5). Solve h = -s - 1 + 4 for s.
3
Suppose 0*p = 2*p - 8. Let z = 26 - 14. Let m be ((-9)/z)/((-3)/8). Solve 0*j - m*j - p = 0 for j.
-2
Let i = 11 + -15. Let x = 4 + i. Let f = 0 - x. Solve f + 8 = 4*p for p.
2
Let j be -1 + 0/5 + 3 + 0. Solve -v - j*v + 15 = 0 for v.
5
Let f = -5 + 8. Suppose c + c + 8 = -f*k, -4*c = -4*k - 24. Solve 0 = -t + 3 - c for t.
1
Suppose 17 = 5*g + t, 4*g - 3*t - 13 = 3*g. Solve -5*y = -g*y + 3 for y.
-3
Suppose 0*i + 3*i - 12 = -3*k, 14 = 2*k + 5*i. Solve k*m + 16 = -2*m for m.
-4
Let r(u) = -u**3 + 3*u**2 - 1. Let z be r(2). Suppose -g + z = -0. Solve 1 + 8 = -g*l for l.
-3
Let l = 13 + -8. Suppose 2*r - 4*v - 20 = 0, 3*v = -4*r - 3 - 1. Solve -l - 5 = r*k for k.
-5
Let r be (-15)/((2 - -1)*-1). Suppose -2*q + 3*q = 2. Let h = -1 + 1. Solve -q*i + 7*i - r = h for i.
1
Let q(v) = 6*v**2 + v. Let c(x) = x**2 - 3*x - 3. Let h be 20/6*(-18)/(-15). Let j be c(h). Let t be q(j). Solve g - 2 = -t for g.
-5
Let s = -44 + 44. Solve -c + 2 + 0 = s for c.
2
Suppose d = -2*g + 1, -3*g - 8 = -g + 4*d. Suppose -3*f + 39 = -2*w - 123, 4*f - g*w - 218 = 0. Suppose -3*i - i + f = 0. Solve 5*k + i = -1 for k.
-3
Let f be 66/15 - 9/(-15). Solve 0 = 5*d - 0 + f for d.
-1
Let x be (3/6)/(1/4). Solve 4*m = x*m for m.
0
Let q = -3 + 3. Solve q*h = -2*h + 6 for h.
3
Let c(n) = -n**3 + 5*n**2 + 6*n - 9. Let q be c(6). Let m be (6/q)/((-1)/3). Suppose m = 2*g - 2. Solve g*s - 12 = -s for s.
4
Let z(x) = 10*x - 25. Let h be z(3). Let a(i) be the first derivative of i**2/2 - 3*i + 1. Let d be a(5). Solve 0 = d*y - h - 1 for y.
3
Let p(y) = -y**2 - 5*y + 3. Let b be p(-5). Suppose -5*k + b*k = 0. Suppose -3*n = 2*f - 7, 2*n - 7 = -2*f - 1. Solve f*z + 10 = -k*z for z.
-5
Let g = 7 + 4. Solve -4*d = 5 + g for d.
-4
Let r = 9 + -2. Suppose -q - v + r = 0, 2*q + 2*v - 5*v - 4 = 0. Suppose 2*p - 30 = -4*w + 36, -3*w - q*p = -53. Solve -w = z + 3*z for z.
-4
Suppose 0 = -0*y - 3*y + 21. Suppose -2*d + 15 = 3*f + d, -2*f + d + y = 0. Let v = -6 - -10. Solve 0 = 2*b - v*b - f for b.
-2
Let a = 2 + -1. Solve 6 = 5*j + a for j.
1
Let b be (-6)/5*130/(-39). Solve 2*t + 6 = b*t for t.
3
Let u be (36/15)/(8/20). Solve 0 = 5*j - u - 9 for j.
3
Suppose 5*v + 9 = -6, -3*f + 3*v + 21 = 0. Suppose -11 = -f*b + 5. Suppose 0 = 2*u - 0*u - b. Solve 0 = u*l + 2 for l.
-1
Let p be 1*(1 + 2 + -1). Suppose -3*n - 17 = -4*u, 5*u + 4*n = p*n + 4. Solve 0 = 5*c - u*c for c.
0
Suppose 3*m = 38 - 29. Solve 0*s - m*s = 0 for s.
0
Let z be (-4)/(-3)*3/2. Suppose -6*l = -l - 3*h - 17, z*h + 9 = l. Solve l = -3*f + 16 for f.
5
Suppose -v = 4*b - 0*v + 12, 15 = -5*b - 5*v. Let l be (b - -3)*1/2. Solve 6*j - j = l for j.
0
Let q(i) = -i + 8. Let z be q(6). Let n(s) = -s**3 - 7*s**2 - 8*s - 8. Let x be n(-6). Let p = -15 + 33. Solve -z = -x*f + p for f.
5
Let h(x) = x**2 + 5*x + 3. Let n be h(-5). Suppose -y + n = -1. Solve -y*m = 1 - 5 for m.
1
Suppose 2*y = -4*z - 2*y + 12, -25 = -5*z - 3*y. Let t be 74/8 + 27/36. Let w = z + t. Solve -w = 4*n - 2 for n.
-4
Suppose -4*u = 120 - 140. Solve -3*m = -17 + u for m.
4
Suppose -6 = -5*u + 2*u. Suppose -u*z - z + 9 = 3*a, -4*z + 4*a = -4. Solve 3*y + z = -7 for y.
-3
Suppose -4*q - 16 = 0, 2*n + 19 - 5 = 3*q. Let g = n + 18. Solve b = g*b - 12 for b.
3
Let x(z) = 2*z**2 - 10. Let h be x(4). Solve 0 = 25*d - h*d for d.
0
Suppose -170 - 106 = 4*u. Suppose -18 = -3*y + 6*y. Let h be u/y + (-1)/(-2). Solve -x = -5*x - h for x.
-3
Let j = 6 + -2. Suppose 4*f + o - 75 = j*o, 3*o + 15 = 0. Suppose 3*i + f = 0, i + 11 = 4*q + 2*i. Solve c + q = 3*c for c.
2
Suppose 0 = 9*s - 8*s - 3. Solve 2 + s = -y for y.
-5
Let h(x) = x**3 - 6*x**2 + 5*x. Let g be h(5). Suppose -2*m = 4*m + 36. Let v be 6/(-10)*(m - -1). Solve g*y = -v*y for y.
0
Let y be -1*((4 - 2) + -3). Solve 2*d + 3 + y = 0 for d.
-2
Let l = 28 + -27. Solve 0*a - l = a for a.
-1
Let m = -20 - -27. Let r be (0 - 1)*(m + -9). Let d = 2 - -3. Solve 1 = -r*w + d for w.
2
Let n(z) = 2*z - 3. Let p be n(2). Solve t + 0*t - p = 0 for t.
1
Suppose h + 15 = 3*y, -6 = -h - h. Solve -3*r = -y*r + 15 for r.
5
Let m be (-284)/(-18) - 2/(-9). Let h = -6 - -9. Let z be (h/2)/(2/4). Solve n + z*n - m = 0 for n.
4
Suppose 0 = -p + 3*p + 48. Let d = -20 - p. Solve -c = c - d for c.
2
Let c = 175 + -160. Solve 10*u - 7*u + c = 0 for u.
-5
Let m = -10 - -12. Solve m*r - 2 = -0*r for r.
1
Let d = 10 + -7. Suppose t = 4*t - 24. Let h(u) = -u**2 + 8*u - 7. Let a be h(7). Solve d*f - f - t = a for f.
4
Suppose f - 3*f = 0. Solve f = -2*n - n for n.
0
Let i(u) = -2*u + 5. Let r be i(4). Let y be 3 + (-3 - r) + -1. Solve 0 = y*q - 0*q + 2 for q.
-1
Suppose -2*y = 5*f - 27, y + 5*f - 29 = -3*y. Let u(c) = c**3 - 2*c**2 + c. Let p be u(y). Solve -2*v - 2 - 8 = p for v.
-5
Let c = -3 + 3. Let l(p) = -p**2. Let s be l(0). Let x = s + c. Solve -4*w = -x + 4 for w.
-1
Suppose 4*g + 100 = 800. Suppose 3*y = -4 + g. Let c be y/5 + (-12)/30. Solve 3*h - c = 4 for h.
5
Let o(u) = u**3 + 6*u**2 - 8*u - 2. L