2 for k.
2
Let n be (-5)/(-2)*4/5. Let w be (1 + -1)*(-2)/(-2). Solve n = -m - w for m.
-2
Let o(s) = -2*s**2 + 8*s. Let w be o(4). Solve 2 + w = -2*d for d.
-1
Suppose 2*b - 2 = -o, 2*b - 7 = -3*o - 1. Suppose -5*y + 2*y = -3*z + 18, -4*z = -o*y - 20. Solve z + 1 = -d for d.
-5
Let l be 1/(-2) - 56/(-16). Suppose 2*n = l*n. Solve -x + n = 4 for x.
-4
Let o be 19 - (-3 + -2 + 4). Let h be 117/45 + 4/10. Solve -o = g + h*g for g.
-5
Let f be 3*(-4)/6 - 7. Let u = f - -9. Solve 4*o - 6*o = u for o.
0
Suppose -3*r + 45 = -27. Let g = -19 + r. Solve g = -3*u - 1 for u.
-2
Suppose 0 = -4*u + 161 - 21. Suppose -7*l + u = -2*l + 5*v, 4*l = v + 18. Solve -l*z + 8 = -z for z.
2
Let b = 8 - 21. Let j = 28 + b. Suppose -4*f - j = -7*f. Solve -y - 12 = -f*y for y.
3
Let t(s) = -14*s**3 - 27*s**2 - 10*s + 27. Let u(o) = 5*o**3 + 9*o**2 + 3*o - 9. Let n(a) = 4*t(a) + 11*u(a). Let w be n(-8). Solve w = j + 5 for j.
-4
Let v(x) = x**3 + 2*x**2 + x. Let n be v(-1). Suppose -2*k - 3*k + 30 = n. Let w = 45 - 41. Solve -2*y = -k*y + w for y.
1
Suppose -2*i + i = -2. Suppose b = i*b. Let d be 12/24 - 36/(-8). Solve d*o + b = -5 for o.
-1
Let b = -8 - -8. Solve -5*a + 2*a - 9 = b for a.
-3
Suppose 0 = 5*r + 2*x + 43, 33 = -3*r - 5*x + 2*x. Let n = r + 11. Solve n - 12 = -4*w for w.
2
Let o = -5 + 6. Let d be o*(-1 - 0)*-1. Solve 3*z + 4 = d for z.
-1
Let n(u) = -u**3 - 19*u**2 + 20*u + 4. Let h be n(-20). Solve r - h*r + 6 = 0 for r.
2
Suppose -6 = -p - 0. Suppose v - p*v = 3*s + 20, 8 = -s - 2*v. Solve s = 4*n - 2*n for n.
0
Suppose 10 = -j + 6*j. Solve j*z + 3*z = 15 for z.
3
Let v(b) = -b**2 + 8*b + 11. Let q be v(9). Suppose -5*k + 3*x = -32, 0 = 3*k + 3*x + q*x + 8. Solve d + 3 = k for d.
1
Let y = -7 - -10. Solve 7 = -o + y for o.
-4
Suppose 27*h = 26*h + 5. Let q = 9 + -6. Solve 4*l + h = -q for l.
-2
Suppose -33 = 4*z - 5*j, -4*z - 24 = -2*z - 4*j. Let a be -1*5/(5/z). Solve -a*t - 3 = -t for t.
-3
Let p = -86 + 120. Suppose 4 = y, -2*m = 4*y + y - p. Solve 2*b = m*b for b.
0
Let n = -8 + 14. Suppose 8 = -0*s + 2*s. Suppose 0 = s*o - f - 15, n + 12 = 4*o + 2*f. Solve o*c + 16 = -0*c for c.
-4
Suppose -5*j + 2*j = 5*n - 12, -8 = -2*j - 5*n. Solve -j*d = -5*d - 4 for d.
-4
Let t = -14 - -17. Suppose -a = t - 6. Solve -5*p = -a - 2 for p.
1
Let g(k) be the second derivative of k**3/6 - 5*k**2/2 + 2*k. Let n be g(5). Solve -8 + n = -2*f for f.
4
Let t = 39 - 35. Solve 7 = t*p + 3 for p.
1
Let b(p) = p - 6. Let s be b(9). Suppose -2*l + s*c + 79 + 101 = 0, -4*l - c = -332. Let a be (-2)/(-3) + l/9. Solve -8*i = -3*i - a for i.
2
Let n(w) = -w**3 - 6*w**2 + 7*w - 6. Let m be n(-7). Let v be 1/3 - (-2)/m. Suppose v = -4*g + 2*g. Solve u = -g*u for u.
0
Let i = 12 - 10. Let w(q) = 2*q + 2. Let n be w(i). Suppose -2 = -4*v + n. Solve -3*j + 5 = -v*j for j.
5
Suppose -5*s + 3*m + 3 + 0 = 0, -4*s = m - 16. Let d = s + 0. Solve d*z = 2*z for z.
0
Let s = 4 + -4. Let q = -5 + 12. Let t = -2 + q. Solve 0 = k - s*k + t for k.
-5
Suppose -3*n = 30 - 75. Suppose -3*b = -0*b - n. Let k be (10/(-25))/(1/(-5)). Solve k*f - b = 3 for f.
4
Suppose 2*i - 5*b + 3 = 0, 0 = i + b + 4*b + 9. Let f(l) = 0*l**2 + 0 + l + 3*l + l**2 + 4. Let v be f(i). Solve 0 = h - v*h - 9 for h.
-3
Suppose -4 = -q + 1. Solve 0*t - t = q for t.
-5
Suppose -4*n = -8*n + 4, 4*j - 3*n - 25 = 0. Suppose c - 5*x - 25 = 0, -j = -3*x - 19. Solve 5*y + c = -0*y for y.
-1
Let n be (-1 + 1)/(-4) + (1 - -2). Solve n*h + 3 = -12 for h.
-5
Let o be 6/(-21) - (-40)/(-7). Let n(y) = y**2 + 5*y - 6. Let q be n(o). Solve -2*d + 0 + 2 = q for d.
1
Suppose 16 = -n + 6. Let x be n/(-4) + (-5)/(-10). Solve q = -0*q - x for q.
-3
Let p be -10*4/6*-33. Suppose -c = 3*c - p. Suppose -4*v + 5 = -c. Solve 4*x - x = v for x.
5
Let j = 13 + -9. Solve -2*a - 8 = -j for a.
-2
Let d = 7 + -6. Let z be (1 - (-3)/(-3))/d. Suppose 10 = 3*w + 2*w. Solve z*p = w*p + 10 for p.
-5
Let j = 13 + -8. Let g be (-8)/(-4) - (-2 - 0). Solve -g*o + j*o - 1 = 0 for o.
1
Let y be -2 - 1 - (-4)/1. Solve q + y = 3 for q.
2
Let x be (-4 - (-80)/15)/((-2)/(-3)). Solve u = 7 - x for u.
5
Let x(t) = t**3 - t**2 - 4*t. Let v be x(3). Let k be ((-1)/3)/(v/(-90)). Suppose -k*h = -3*h - 20. Solve b + h = -b for b.
-5
Suppose 0*h - 2*h = -6. Let g be 3/(-1 - -5 - h). Solve 0 = g*i - 1 + 13 for i.
-4
Let d be 0/(-3)*(-2)/(-4). Suppose 3*w - 18 = 6. Suppose d = -7*b + 5*b + w. Solve b*m - 3*m + 5 = 0 for m.
-5
Suppose 0 = 2*n + 3*n - 35. Suppose -3*c + 3*b = n + 2, 3*b - 9 = 0. Solve 3*y + 3 = -c for y.
-1
Let a be -21*1/(-1 - 0). Suppose 0*m + f - 6 = -m, -3*m - 4*f + a = 0. Solve 1 = m*o + 4 for o.
-1
Suppose n = -4, -3*o - 26 = -6*o + 5*n. Suppose o*l - 8 = -2*l. Let p = -15 + 30. Solve c = -l*c + p for c.
5
Let q(c) = c**3 - 5*c**2 + 2. Let l be q(5). Suppose -w + 2*w = -1, l*n + 4*w + 2 = 0. Solve -5*f + 14 + n = 0 for f.
3
Let h(g) = -3*g**2 - 8*g - 29. Let n(z) = z**2 + 4*z + 14. Let c(o) = -2*h(o) - 5*n(o). Let j be c(6). Solve 0 = -t - j*t + 2 for t.
2
Let a = -25 - -26. Solve 2 + a = -w for w.
-3
Let u = 104 + -101. Solve u = k - 2 for k.
5
Suppose 0*b + b = -4, -5*u + 2*b = -8. Solve 5*w - w = u for w.
0
Let w = 26 - 37. Let q = 9 + w. Let y = 4 + q. Solve -3*m + y = -7 for m.
3
Let c be ((-4)/(-5))/(2/5). Suppose c + 0 = p. Solve -z = p*z + 6 for z.
-2
Let s = 2 + -5. Let q(v) = -v**2 - 3*v + 2. Let y be q(s). Solve -y*k - 6 + 4 = 0 for k.
-1
Suppose -5*o = -2*r + 7*r + 25, -5*o + 2*r = -10. Solve -n + 3*n - 10 = o for n.
5
Suppose -4*d + 9 = -d. Suppose 0 = -2*h - i + 6, 5*h - 4*h = -i + d. Solve 3 = -0*s - h*s for s.
-1
Let i be 4/(-3)*(-8 - 1). Let n be i/(-3)*-1*1. Let d be 5/(-4)*(0 - n). Solve -d*s = 6 - 1 for s.
-1
Suppose -19 + 34 = 3*l. Solve -4 = -l*q + q for q.
1
Let a = -56 - -59. Let u be (-102)/(-27) - (-6)/27. Solve -a*p - 2 = u for p.
-2
Let s(f) = -f**2 + 19*f - 18. Let d be s(18). Solve -t + 4 - 2 = d for t.
2
Let q = 7 - 5. Suppose 0 = -2*s - l + q*l + 2, -4 = 2*s + 2*l. Let v be (2 - s)/1 + 0. Solve -v*y + 5 = -3*y for y.
-5
Suppose y + 4 - 8 = 0. Solve 0 = -5*v - 6 - y for v.
-2
Let c be (-2)/(-3) - (-7 - (-20)/3). Solve -v - c = -2 for v.
1
Suppose 5*u + c - 3*c - 58 = 0, -4*u = 5*c - 53. Solve 0*p + 3*p = u for p.
4
Let t = -48 + 97. Suppose 4*g + 3*h - t = 41, 0 = -5*g + 2*h + 101. Suppose -2*f - 5 = -2*n + g, -17 = -n - f. Solve 0 = -0*m + 5*m - n for m.
3
Let d be (1 + 1)/(18/36). Solve -d*k - k = 0 for k.
0
Let b(f) = -f + 4. Let h be b(0). Let t = -4 + h. Suppose t = -7*l + 2*l + 20. Solve l*g + 4 = -8 for g.
-3
Let n(g) = -g**3 - 8*g**2 - 2*g - 12. Let u be n(-8). Solve -u*h + h - 3 = 0 for h.
-1
Suppose -4 = -2*w + 4*w. Let u(z) = 5*z**2 + 3*z. Let g be u(w). Let b be 4/(8/g) - -3. Solve -2*t = -4*t - b for t.
-5
Let b = 0 - -6. Suppose -b*x = -4*x. Let w be -2 - (-4 - 2)/1. Solve x = 4*k - w - 4 for k.
2
Suppose 56*v - 48*v = 128. Solve 3*h = -h + v for h.
4
Suppose -8*z + 3*z + 15 = 0, 4*z + 8 = 2*s. Let t be 4/s + 18/5. Suppose q - 12 = t*w, -7*q + 2*q - w = -102. Solve -q = 3*y - 8*y for y.
4
Let i(l) = l - 3. Let a be (-9 + 11)/((-1)/(-3)). Let p be i(a). Let q = 43 - 28. Solve -p*t - 2*t = -q for t.
3
Let s = 69 - 69. Solve s*z - 10 = -2*z for z.
5
Let s(d) = 6*d + 9*d**2 - 3*d**3 + 4*d + 2*d**3. Let a be s(10). Solve a*p - 12 = -4*p for p.
3
Suppose u = q, q + 2*u - 9 = -0*q. Suppose -25 = -2*f - 5*t, -25 = 4*f - 2*t - q*t. Solve 0 = 5*s - f*s + 15 for s.
-3
Let j(w) = w. Let f(l) = l**2 - 2*l - 1. Let o(r) = f(r) + 5*j(r). Let y be ((-2)/3)/(1/6). Let u be o(y). Solve -u*s - 6 = 3 for s.
-3
Let d be 2/((2 - 3) + 3). Let s be (d/1)/((-2)/(-4)). Solve 7*r = s*r for r.
0
Suppose -5*j - 19 = 3*n, 0 = -2*n - 4*j - 10 - 6. Solve d - n*d - 3 = 0 for d.
-3
Suppose -4*z + 3*a = -1, -5*z - 6*a = -3*a - 35. Suppose 3*s + 11 = -2*x, 10 = -z*s - 2*x - 2. Let n be s - (-1 + 1) - -11. Solve -4*d + n = -2*d for d.
5
Let b(l) = l**2 - l + 2. Suppose 4*h + 4*v - 13 = 3, -5*h - v = -12. Let k be b(h). Solve -3 = -k*o + 17 for o.
5
Suppose 17 = -6*x + 41. Solve -12 = 4*w - x for w.
-2
Let d(t) = t**2 + 1 + 3 - 12*t - 1 + 0. Let g be d(12). Suppose u - m + 1 = 3, u - 2 = -g*m. Solve -s = -u*s for s.
0
Suppose -5*h + 0*h = -h. Solve -2*y + 1 + 3 = h for y.
2
Let b be (-1 - 3)/(-2) - 0. Solve 1 - 3 = b*u for u.
-1
Suppose 4 = 2*w 