t k = 890 + -887. Solve -k*v = v - 20 for v.
5
Let p be -2*(-8 + 16 + -16). Solve -4*m = -p + 12 for m.
1
Suppose -35*o + 38*o = 12. Solve 0*z + o*z + 20 = 0 for z.
-5
Let c(m) = m - 27. Let h be c(8). Let n = h + 19. Solve -b + 5*b + 8 = n for b.
-2
Let o = 82 - 69. Solve -21*r = -8*r + o for r.
-1
Let u(v) = v**3 - 6*v**2 + 7*v + 8. Let s be u(4). Solve -s*b + 16 = -0 for b.
4
Let f = -3 - -80. Suppose 3 = -5*l - f. Let n be l*(-4)/(-8)*-1. Solve -4*s + n = 24 for s.
-4
Suppose 0 = -u - t + 6, -4*u + 8*u = -3*t + 23. Solve -h + 3 - u = 0 for h.
-2
Suppose 7 - 1 = 2*z. Suppose -2*u - 16 = -5*q, q = 4*u + 11 + z. Solve 3 = q*p + 1 for p.
1
Suppose 0*t - t + 4*c = -5, t - 3 = 2*c. Let n(d) = d**2 + 7*d - 9. Let j be n(-7). Let v = j - -13. Solve w + t = -v for w.
-5
Let f(j) = -j**3 + 19*j**2 - 15*j - 40. Let c be f(18). Let y = -8 + c. Solve -t = -3*t - y for t.
-3
Let p be (-1 - 0)*(-1)/3*-39. Let o = 17 + p. Solve 0 = o*b + b - 10 for b.
2
Suppose 5*d - m - 2 = 4*d, 0 = d + 3*m - 10. Let z be -3 - 0 - (2*-24)/d. Solve -z*a = -4*a for a.
0
Let m = 34 - 29. Suppose -n + m = -2*r, 0*n = 3*n - 3*r - 15. Solve -3*c + n*c = 0 for c.
0
Suppose 0 = -2*b + 5*n + 5, -3*n = b - 8 - 0. Solve b*p = -20 - 5 for p.
-5
Let i be 285/4 - 6/(-8). Let u be 0 + -3 - i/(-4). Suppose 0 = 5*k - u, 4*k - 2*k = 2*y - 4. Solve -6*l = -l + y for l.
-1
Let n(u) = -3*u**2 + 29*u - 51. Let b be n(7). Solve -b*d = d - d for d.
0
Suppose -3*g + 6*g - 3*d = 72, 3*d - 23 = -2*g. Solve 16 = 23*f - g*f for f.
4
Suppose 0 = n - 2*n + 3. Suppose b + w = -4*w + 27, 5*b - 25 = -3*w. Let c be 8 + (-5)/((-15)/(-9)). Solve b*d + c = n*d for d.
5
Suppose -12*l = -14*l + 10. Let z(q) = 3*q - 11. Let y be z(l). Solve y*f - 3 = 5 for f.
2
Suppose 2*t - 389 = -379. Solve j = -t*j for j.
0
Suppose -5*w - m - 656 = 0, -2*w - 4*m + 127 = -3*w. Let y = w - -134. Solve -5*s = -y - 22 for s.
5
Let j be 6/(-21) + (-65)/(-7). Let l be 8/36 + 88/j. Suppose -3*i - 2*i - 5 = -5*q, -2*i = 2*q - l. Solve 0 = 2*x + q*x for x.
0
Suppose a = 4*d + 12, 0*d + 2*a - 3 = d. Let i be -5 - (-2 + -2) - d. Solve -i*f - f = -12 for f.
4
Let o be (-1)/(((-2)/8)/1). Let u(b) = -b**2 + 6*b - 6. Let s be u(o). Let g be (-188)/(-46) - (-18)/(-207). Solve -v + g = -s*v for v.
-4
Let z(r) = 5*r**3 - 11*r**2 + 8*r + 2. Let v(b) = -4*b**3 + 10*b**2 - 8*b - 2. Let g(q) = 4*v(q) + 3*z(q). Let f be g(5). Solve -3*n = -f - 1 for n.
3
Let t(h) = -h**3 + 5*h**2 - 4*h - 2. Let k be t(4). Suppose -3*l + 16 = u - 0*l, -5*u - l = -10. Let q = u - k. Solve -q*g + 6 + 0 = 0 for g.
2
Let t = -657 - -665. Solve -2 - t = -2*o for o.
5
Let k = 41 + -36. Suppose 6*c = -3*j + 2*c - 1, k*c = 4*j - 40. Solve 8*x = j*x for x.
0
Suppose -9*n + 18 = -0*n. Suppose -3*t + 21 = 5*h, n*h - 20 = -2*h - 4*t. Solve h*a = 22 - 7 for a.
5
Suppose -4*a + 4*o + 136 = 0, 1 = -0*o - o. Solve a = -5*c + 43 for c.
2
Let d = -511 + 513. Let x be 45/6 + 2/(-4). Solve d*u + 15 = x*u for u.
3
Let d be 38/(-4) - (-1)/2. Let q(n) = -n**3 - 9*n**2 - 3*n - 2. Let m be q(d). Solve 5*o + 10 = m for o.
3
Suppose 3*n - 6*n + 5*i = 16, 2*n + 3*i - 2 = 0. Let t be 3/(-6) - 11/n - 3. Solve -t*q = -q for q.
0
Suppose -2*z - 15 = -5, 5*z + 49 = 2*c. Let d be -7 + 13 - c/3. Solve 8 = -d*q - 2 for q.
-5
Suppose 3*u - 2 = 4*u, 2*u + 8 = 2*a. Suppose -5 = -a*z - 5*c, 3*c - 3 = -z - 3*z. Solve -8 = -z*j - 2*j for j.
4
Let v = 91 - 62. Let y = 29 - v. Suppose -60 = -3*i - 2*i. Solve i + y = 4*p for p.
3
Suppose -261 = -5*h - 226. Solve -h*z + 12*z = 25 for z.
5
Let p be (-35)/(-11) - (-2)/22*-2. Solve -6*d + 3 = -p for d.
1
Let o be ((-1)/(-2))/((-30)/(-60)). Solve 0 = 2*k - 3*k + o for k.
1
Let m be (-333)/(-42) + 6/84. Solve 0 = -7*g - m - 13 for g.
-3
Let j(a) = 9*a**2 + 2*a - 2. Let w be j(1). Suppose 5*g = w*g - 24. Solve 4*c - g*c = -8 for c.
4
Let d = 184 - 144. Solve d = 14*o + 12 for o.
2
Suppose 34 + 82 = 58*l. Let r be 0 - 2 - (0 - 16). Solve 3*c - l = -r for c.
-4
Suppose -5*l + 520 = 3*l. Let j = -63 + l. Solve -j = -3*a + 4 for a.
2
Let q(s) = -4*s**2 + 7*s - 8. Let f be q(4). Let l = 34 + f. Let n(x) = -x - 7. Let w be n(l). Solve 0 = -w*d - d + 20 for d.
5
Let t be ((-5)/2 - -3)*10. Suppose -3*p = -t*p + 24. Let v = -12 + 12. Solve 3*z + v*z = -p for z.
-4
Let i = -98 - -156. Let d = i + -58. Solve 0 = 2*l - d*l - 8 for l.
4
Let l = 37 + 43. Let r be (-2)/7 - l/(-35). Suppose r*z + 19 = 33. Solve z*q + 10 = 2*q for q.
-2
Let r = 1222 + -1217. Solve r*f - 6 = 7*f for f.
-3
Suppose -4*j + 7 = -5. Let r = j + -1. Let w = r + 1. Solve 0*k = -w*k - 6 for k.
-2
Suppose -78 = 25*j - 203. Solve k - 4 = j*k for k.
-1
Suppose 3*a + 0 - 11 = 2*d, -4*d - 12 = -4*a. Suppose 0 = 4*f - 5 + a. Solve f = -5*o + 16 + 4 for o.
4
Let j(h) = -h**3 + 4*h**2 + 5*h + 3. Let c = -4 + 9. Let d be j(c). Suppose 0 = -d*z - 5*l - 9 - 0, 11 = -2*z - 5*l. Solve -2*k = 2 + z for k.
-2
Suppose -122 = -5*f - 97. Solve 0*q - f*q = -4*q for q.
0
Suppose -3*o - i = -0*o + 2, o + 3*i + 6 = 0. Solve -3*s - 12 = -o*s for s.
-4
Let v = -115 + 14. Let f = v + 121. Solve 3*y + f = -y for y.
-5
Let x be -2*(6/(-12) - -1)*-13. Solve 12*f = 11 + x for f.
2
Suppose 4*z - 4*p = 32, 2*z - p = -2*z + 23. Suppose 99 = -z*k + 14. Let d = k - -37. Solve -i - 4*i - d = 0 for i.
-4
Let t be (-4 + 4/1)/2. Suppose 6*v = 9*v - 6. Let a be -3 + t + 4 + v. Solve -a*q = -7 - 8 for q.
5
Suppose 30*y - 34*y = -2*x - 10, 4*x = 3*y. Solve -3*l = -y*l for l.
0
Let u be 6 - (-4 + 8) - -1. Solve u + 1 = -4*x for x.
-1
Let o(z) = 4*z + 4. Let v be o(5). Let i = 44 - v. Suppose 5*b = -g - g + i, 3*b = -2*g + 12. Solve g*a = a for a.
0
Suppose -3*x + 30 = 24. Let d be 3*x/(-12) + 21/6. Solve -5*q - d = -18 for q.
3
Let u be (-24)/3 - -3 - (-3 - 11). Solve u = -70*k + 67*k for k.
-3
Suppose 3 = 2*t - 5. Suppose 4*g - 5*l = -4, t*l - 2 + 6 = -4*g. Let h be 14 - 8 - (1 - g). Solve a + 1 - h = 0 for a.
3
Let t = -381 - -383. Solve 3*y - t + 8 = 0 for y.
-2
Suppose 2*g + 4 = k - 2*g, -2*g - 2 = 4*k. Solve -2*p + 5*p + 6 = k for p.
-2
Let o(g) = 3*g - 4. Suppose 4*v - 13 = -5. Suppose 4 - 16 = -v*a - 2*f, a + 5*f = 18. Let u be o(a). Solve u*j = 3*j - 4 for j.
-2
Suppose -4*q - 8 = -8*q. Let s(c) = 7 - 3 + c**2 + 3 + 9*c. Let b be s(-9). Solve -q*o = -b*o for o.
0
Let c = 269 + -265. Solve 0 = c*y + 6 - 26 for y.
5
Let z(h) = h**3 + 3*h**2 - 19*h - 4. Let x be z(-6). Solve x*f = f for f.
0
Suppose l = 7*l - 78. Suppose -z - 2*x + l = -0*z, -12 = -4*z + 2*x. Let g be 2*((-14)/(-4) + 1). Solve -z*c + g = -2*c for c.
3
Let i be (2 - (5 + -2))/1. Let f be 3 + -3 - (i - 9). Let x be (22/8)/(f/80). Solve 7 = 3*s + x for s.
-5
Suppose 39 = 3*u + 2*b + 3*b, 4*b = u + 4. Suppose 6*w = 2*w - 4*n + u, -2*n = 5*w - 10. Solve 6*l - w*l = 16 for l.
4
Let c be (1/(-1))/((-31)/527). Solve 3 = -10*z - c for z.
-2
Let r(v) = v - 5. Let y be r(7). Let s = -7 + 6. Let n be ((-24)/(-40))/(s/(-15)). Solve h = -y*h - n for h.
-3
Let t = -27 - -12. Let i = 54 + -29. Let g = t + i. Solve 4*w = 2 + g for w.
3
Let a = 334 + -323. Solve 4*n - 5 - a = 0 for n.
4
Let t(l) = 4*l - 47. Let h be t(13). Suppose h*b = -4*d + 37, 13 = -3*d + 4*d + 2*b. Solve d = -4*k - 17 for k.
-5
Let z(n) = n + 1. Let q be z(-1). Let c be 11*(-3 - (5 - 2)). Let s = 69 + c. Solve q*k + k + s = 0 for k.
-3
Let s be (-297)/(-63) + (18/(-21))/(-3). Suppose 6*m = 31 + s. Solve 0 = -o - o - m for o.
-3
Let d(u) = -29*u + 235. Let o be d(8). Suppose 4*k + k = -l - 21, 3*l = k + 17. Solve o*h + l = -5 for h.
-3
Suppose 21*f - 12 = 72. Solve 12 + 0 = f*j for j.
3
Suppose 0 = o - 2*o + m - 45, 0 = 4*o + 3*m + 201. Let t be (-4)/14 - o/21. Solve -w + 2*w = -t for w.
-2
Suppose -10 = -g - 4*i - 2, -2*i + 24 = 3*g. Let a(o) = -o**2 + 11*o - 9. Let r be a(g). Solve 5 + r = -5*t for t.
-4
Let g = 22 - 18. Let a = g + 12. Let v = a + -9. Solve -v*q = -5*q for q.
0
Let c(v) = -v**3 - 13*v**2 - 13*v - 9. Let s(q) = -q - 15. Let n be s(-9). Let l be (-142)/12 + 1/n. Let m be c(l). Solve m*f - 1 = -4 for f.
-1
Suppose -4*q + 5*b = -5, 0*b + 4 = 2*q - 2*b. Solve h - q = -2 for h.
3
Let w(d) = 2*d - 4. Let n be w(2). Suppose 5*u + n = l + 8, 3*l - 2*u = 2. Solve -15 = l*x + x for x.
-5
Let p = -34 + 32. Let q = p + 3. Suppose 3 + q = 3*s + b, 2*s - 4*b = -16. Solve -3*x - 7 - 2 = s for x.
-3
Let m(u) = 4*u**2