 -2*g for g.
-4
Let m = 16 + -12. Suppose 24 = m*n - n. Suppose s + n - 13 = 0. Solve 8 + 7 = -s*o for o.
-3
Suppose 15*k - k - 700 = 0. Suppose 0 = 51*c - k*c - 11. Solve -c - 9 = 5*v for v.
-4
Let t be -1 + (2 - (1 + -3)). Suppose -12*z = -13*z. Suppose -2*q - q - 4*q = z. Solve -t = -q*i - i for i.
3
Suppose 0 = 3*g + 2*l + 1 - 4, -5*l = 5*g. Suppose -3*q + 12 = -0*q + 5*w, 0 = -q - g*w + 4. Solve q*p - 2 = 6 for p.
2
Suppose 0 = 10*y - 6*y - 20, -5*y + 31 = 2*q. Let m(c) = 2*c - 4. Let j be m(6). Solve w = -q*w - j for w.
-2
Let l be 1/2 + 1/2 + -1. Suppose 8*n - 13*n + 30 = l. Solve -b = n - 3 for b.
-3
Let a = 39 - 3. Suppose -12 = 4*n - a. Solve 5*g = n - 1 for g.
1
Let p = -901 - -898. Suppose -2*f - 2*f = 0. Let y = f - p. Solve 0 = y*r - 4*r for r.
0
Let s(g) = 2*g. Let p be s(1). Suppose -p*c = 4*c. Suppose c = b + 42 - 45. Solve 0 = 5*v - 2 - b for v.
1
Let c be 1 + -5 + (-3 - -10). Suppose -4*t - 3*u = -97, 33 = c*t + 2*u - 39. Solve -5*b + t - 2 = 0 for b.
4
Let a be 4*1/(-24)*46*-3. Solve -29*z - 6 = -a*z for z.
-1
Let v(a) = a**3 - 17*a**2 - 13*a + 233. Let t be v(17). Solve -t*s - 37 - 23 = 0 for s.
-5
Let i = -347 + 354. Solve 3*v - 5 = i for v.
4
Suppose c = 2*f - c - 10, -3*f + 5 = -c. Let s = 37 - 37. Suppose s = -2*p + 4*o + 2, 4*p - 4*o = 2 + 6. Solve d + f = -p for d.
-3
Suppose -4*v - 3 - 21 = 0. Let x(a) = 13*a - 53. Let k be x(5). Let n be (v/k)/(1/(-2)). Solve n + 2 = -3*g for g.
-1
Suppose -3*c - z = 2 - 7, 3*z - 3 = 3*c. Solve -c = d - 6 for d.
5
Let q(l) = l - 4. Let o be (3/6)/((-1)/(-2)). Suppose -3*z + 11 = -o. Let p be q(z). Solve f + 1 + 4 = p for f.
-5
Suppose -15*d = -17*d + 24. Let x = 17 - d. Solve -x*a - 6 = 4 for a.
-2
Suppose 4*l = -0*l + 4. Let o be (-2 - l)/(-3 + 2). Suppose 0 = 3*p - 5*g - 25, -3*p + 0*g = 5*g + 25. Solve v + o + 0 = p for v.
-3
Suppose 105 = -8*c + 15*c. Suppose 0 = -8*s + 5*s + c. Solve s*i + 1 - 11 = 0 for i.
2
Let j = 156 - 154. Suppose 3 = 3*b + 3*y, 0 = 2*b - 3*y + 1 + j. Solve -d + 0*d = b for d.
0
Let i = -607 + 657. Solve -11*r + 21*r + i = 0 for r.
-5
Suppose -3*b = 51 - 147. Suppose -6*i = -22*i + b. Solve i*l = 3*l for l.
0
Let u(x) = -x**3 - x**2 + 2*x + 4. Let i be u(-2). Suppose -4*g + i*t = -2*g - 4, -28 = -4*g + 3*t. Solve -2*d - 3*d = -g for d.
2
Let m be (2 - 2 - -12) + 2. Suppose -2*r - 4 = -m. Let u = -52 + 54. Solve r*s - u*s - 12 = 0 for s.
4
Let o be (-1 + 0)*3 - -19. Solve b + 21 = o for b.
-5
Let b = 32 - 13. Let h = b + -18. Let y(u) = -u**3 + 2*u**2 - 1. Let a be y(1). Solve a = 4*n - h + 9 for n.
-2
Let q be (-5)/(-1) - (-37 - -34). Solve -3*i = -5*i - q for i.
-4
Let n be 4 + -4 - 3 - -35. Let f = -26 + n. Suppose -113 + 47 = -f*q. Solve 0 = 4*j - q - 1 for j.
3
Suppose 0 = 2*k + 2*i - 6, -4*k + 3*i + 24 = i. Let h = -2 + k. Suppose -h*c = c. Solve -x + c = 1 for x.
-1
Suppose -o + 9 = -7. Let r = o + -13. Suppose -r*f = -5*f + 4. Solve -f*j - 6 + 0 = 0 for j.
-3
Let p = 116 - 111. Solve -p*c + 15 = 40 for c.
-5
Let v = -277 - -280. Solve 8*t + v = 5*t for t.
-1
Suppose 2*r - 6 = 4. Suppose -3 = -5*k + 27. Solve p - k*p = -r for p.
1
Suppose s + 0 + 3 = 3*q, -3*s + 5*q = 1. Solve -18 + 6 = -s*t for t.
4
Suppose x - 2*i + 1 = -0*i, 3*x + 2*i = 21. Suppose 1 - x = -4*v. Let j be (4/8)/(v/4). Solve n = j*n + 5 for n.
-5
Let x(b) = -b**2 - 11*b. Let w be x(-12). Let d(y) = y + 36. Let n be d(w). Suppose 2*p = 6*p - n. Solve 5*u - 4 = p for u.
2
Let t = 10 + -13. Let m = t + 10. Let a = -4 + m. Solve -d = -5 + a for d.
2
Suppose -805 = -78*p + 989. Solve -10*i + p = -17 for i.
4
Let p(s) = -s**3 + 5*s**2 + 6*s - 4. Let d be p(6). Let o = 11 - d. Solve 0 = b + 2*b - o for b.
5
Suppose 71 = 16*k - 217. Solve -3*i + k = 3 for i.
5
Suppose -12 = -2*u - 2*u. Let i(m) = 5*m**2 + 54*m - 8. Let v be i(-11). Solve v*n + u = -0*n for n.
-1
Suppose 4*g + 11 = -3*j + 79, -g = j - 16. Let z = -13 + 17. Suppose 0 = -4*b - 5*l + 3, -5 = -z*b + 4*l - 7*l. Solve -7*m + b*m - g = 0 for m.
-4
Suppose 10 = 5*m - 10. Let z = 1 - -4. Let q = -1 + z. Solve -q*u - m = 8 for u.
-3
Suppose 0 = k - 6*k + 10. Let d be ((-72)/15)/(k/10). Let y be (-26)/(-8) - 18/d. Solve -b - 12 = -y*b for b.
4
Suppose -9*c + 16 = -83. Solve -4*n = c + 1 for n.
-3
Let w be 40/30*45/3. Solve -3*j = j + w for j.
-5
Let s be 1 - (-2 - -1)*0. Let t be (1/1 - -4)/s. Solve -8 = -t*o + 3*o for o.
4
Suppose -5*g + 9*g = 20. Suppose -6 = 2*f - g*f. Solve 2*i - 16 = -f*i for i.
4
Suppose -82 = 3*q - q. Let z = -25 - q. Solve 4 + z = -5*w for w.
-4
Suppose 177 = 3*c + 162. Solve 0 = g - c*g + 12 for g.
3
Suppose -32 = 2*p - 4*p - 3*b, 0 = p + 5*b - 23. Let x = -10 + p. Suppose a - 2 = -u + x*a, -5*a = 5*u - 25. Solve -6 - u = 2*l for l.
-5
Suppose -4 = r + 3*p, 0*p + 4 = 3*r + 5*p. Solve 5*y = 12 + r for y.
4
Let i(x) = x**2 - 2*x - 11. Suppose -44 - 28 = -4*h. Suppose 0 = 3*z - h - 0. Let j be i(z). Solve 4*b = j - 1 for b.
3
Let c be (-5)/2 - (-5)/10. Let r be ((32 - 0)/(-4))/c. Solve 3*y = r*y for y.
0
Let h(r) = 3*r**2 + 34*r - 20. Let w be h(-12). Suppose -w*l = -11*l + 140. Solve 9*q = 5*q + l for q.
5
Let l(v) = -v**2 + 6*v + 9. Let j be l(7). Let m be j/14 - 40/(-14). Solve 2*a - 4 = m*a for a.
-4
Let s = 15 + -13. Suppose -3*h + 4*o = -8, 2*o + s = h + o. Let z be h/((6/3)/(-1)). Solve -3*p = -z - 6 for p.
2
Suppose -2*c + 25 = 5*z, -3*z - 140 = -3*c - 2*c. Suppose 0 = 2*q - q - 4*a + 15, 2*q + 3*a - c = 0. Solve q*m - 5 = 10 for m.
3
Suppose -5*q = -2*q + 33. Let o = q + 1. Let v be 2/(-5) + (-54)/o. Solve -v = -2*l + 1 for l.
3
Let v = -226 + 226. Solve 7*p - 2*p = v for p.
0
Let i = -19 + 23. Suppose 66 = i*x - 34. Solve -x = y - 6*y for y.
5
Suppose d = -5*k + 22, -3*d + 0*k - 6 = -3*k. Solve 9 = -d*z - 1 for z.
-5
Let r be 6*12/(-18) - (-2 + -6). Solve -3 = -3*d + r*d for d.
-3
Let n(u) = 3*u**2 - 12*u + 12. Let a be n(4). Solve -10*k + a*k - 8 = 0 for k.
4
Suppose 4*b + 4*v = 36, 0*v + 18 = 4*b - 2*v. Suppose 0 = -f - 5*d - 12, -3*d = 4*f - 18 + 15. Solve -f*g + b*g + 15 = 0 for g.
-5
Suppose 20 = 5*u + c + 4*c, -3*u - 2*c = -8. Suppose r + r + 4*i + 6 = 0, 15 = 4*r - i. Let s be u/r*2/(-6). Solve -n + 0*n = s for n.
0
Let d = 79 - 69. Suppose d = -q + 2*v, 2*v - 9 = -2*q + 1. Solve q*u = -2*u for u.
0
Suppose -2*p + 6 = p. Let y(k) = -k**3 - 7*k**2 + 2*k + 17. Let w be y(-7). Suppose -9*m - w + 3 = 0. Solve m = p*g + 2 for g.
-1
Let s = 7 + -4. Solve -s*z - 12 = 3*z for z.
-2
Let p be (15/(-2))/5 + (-81)/(-18). Suppose -p*m + 5*m = 4. Solve -b + 2 = -m*b for b.
-2
Let f = 7 - -32. Suppose -3*z = -54 + f. Solve j = 2*j + z for j.
-5
Let n be -6 - (-9 + (-3 - -6)). Solve 3*i + 0*i + 0*i = n for i.
0
Let x = 92 - 87. Let k be (30/x + -4)/(4/6). Solve 6 = -s + k for s.
-3
Let r = -111 - -76. Let g = r + 50. Let q be (-6)/2*(-25)/g. Solve -2*l + 3*l = q for l.
5
Suppose o - 2*r + 184 = 214, 2*r - 18 = -o. Solve -o + 30 = 3*d for d.
2
Let n be 5 + (-105)/20 - (-1)/4. Suppose n*p = -13*p + 39. Solve 7*a = p*a for a.
0
Let p = 39 + -37. Suppose 2*u - 6 = y, 3 = -p*u + 4*y + 15. Solve -4*m + u*m = 8 for m.
-4
Let u(a) = a**2 + 7*a - 3. Let r be u(-10). Suppose -2*n - n + r = 0. Let g(y) = 2*y - 12. Let w be g(n). Solve 2*t = w + 2 for t.
4
Let w(r) = -11*r + 476. Let v be w(41). Solve 4 = 23*q - v*q for q.
-2
Let c be (210/(-8))/(-7) + 2/8. Suppose 0*o + c*o = 2*o. Solve -w - w - 8 = o for w.
-4
Let h be (-21 + 1)*(-17)/34. Solve s = -s - h for s.
-5
Let l(n) be the third derivative of -n**4/8 + 25*n**3/6 + 10*n**2. Let h be l(5). Solve 6*w = w + h for w.
2
Let k be -2 - ((-77)/(-21) - 3)*-9. Solve 2*m = -0 + k for m.
2
Let o be ((-46)/483*12)/(1/(-14)). Let l(a) = 2*a - 3. Let u be l(4). Solve u*j + o = 6 for j.
-2
Suppose -2*z = -3*z + 93. Let q = z - 86. Solve -q = -j - 4 for j.
3
Let m be 51*(-2)/(-9)*57/38. Solve m = -22*r - 5 for r.
-1
Suppose 0 = -0*u - 2*u, 2*b + 5*u = 10. Solve b*s - 5 - 5 = 0 for s.
2
Suppose -23*l = -39*l + 48. Let q = -15 - -21. Solve -q*c - 6 = -l*c for c.
-2
Let w(i) = 5*i - 5. Let n(l) = 2*l - 3. Let o(a) = 7*n(a) - 4*w(a). Suppose 4*h + 3 + 1 = 0. Let k be o(h). Solve 10 = -k*b - 10 for b.
-4
Let i = 997 + -992. Solve 0 = -i*x - 93 + 73 for x.
-4
Let t(z) be the second derivative of z**3/3 - 5*z**2 - 16*z. Let x be t(7). Solve h + x = -h for h.
-2
Let q be ((-2)/((-8)/