24 + -21. Let g(m) = m + 2 - o + 0. Let a be g(4). Solve -a*w = 9 - 3 for w.
-2
Suppose 5 = -r + 9. Suppose -8 = -r*b + 4. Suppose -4*f = -b*n - 12, -3*f + 12 = -2*n + f. Solve u - 1 = -n*u for u.
1
Suppose 0 = -2*j - 3*h + 27, 0*j + 2*j = -2*h + 30. Let m(p) = 7*p - 1. Let v be m(7). Let q be ((-6)/(-4))/(j/v). Solve -k - q*k = 5 for k.
-1
Suppose -2*n + 5*n = 0. Suppose -25 = -5*c - 5*d, 2*c - 3*d = -n*c + 35. Let f(x) = -x**2 + 13*x - 25. Let y be f(c). Solve 0 = y*p + 9 - 4 for p.
-1
Let w be 57/15 + 4/20. Suppose 2*b - 8 = 4*s, -2*b + 0 + 4 = -2*s. Suppose -2*f + 24 = -w*c, c = -f - b*c. Solve -f*z + 5 = z for z.
1
Let a be 53 - 0 - (-9 + 6 + 5). Solve -a = -14*d + 19 for d.
5
Suppose 0 = j + 2*u - 5, -u - 4 = j - 9. Solve -64 = j*c - 39 for c.
-5
Let z(x) = -x**2 - 1. Let f be z(1). Let d be ((-30)/5)/(3/f). Suppose -o + d*o = -9, 0 = -i - 2*o + 4. Solve 0 = 5*r - 0 + i for r.
-2
Let q be -5 + (-10)/(-2) + 38. Suppose -3*m + 12 = 0, 5*x - q = -4*m + 3. Let o = 23 + -15. Solve -o = x*d + 2 for d.
-2
Suppose 0 = -2*p - 229 + 235. Solve 0 = -4*x + 15 - p for x.
3
Let m be 8 - (512/(-8))/(-8). Solve m = 4*v - 5*v - 1 for v.
-1
Let k = -38 + 53. Solve -k = -11*i + 29 for i.
4
Suppose 7*s = 10*s - 6. Suppose 4*o - 16 = -4*n, -o = -4*n - 0*n + 1. Suppose 4*w = 2*a - 12, 2*a + o*a + w = -3. Solve -s*k - k + 12 = a for k.
4
Let t be ((-2)/(-6))/(2/(-6)). Let k be (1 - t) + -1 + 3. Let d be 6 + (-5)/7 + (-4551)/861. Solve d = -k*a - 0*a - 12 for a.
-3
Let k be 0*(-3 + 10/4). Suppose 3*z + 5*p + 20 = 0, -3*p = z + z + 12. Solve k = n - z - 4 for n.
4
Let x = -799 + 802. Solve -q = -4 + x for q.
1
Suppose 5*i - 2*r = -2, 2*i - 1 = 5*r - 6. Solve i = 23*t - 28*t - 20 for t.
-4
Let a = 153 - 136. Let h = 17 - a. Solve h*c = 2*c + 10 for c.
-5
Let k be -3*(-2)/3 + 1. Suppose 12 = k*o - 6. Solve 2*d = o*d for d.
0
Let f be (0 - (-1 - -1))/(-1). Let p = 1515 + -1513. Solve f = p*m + m - 15 for m.
5
Suppose 0 = -65*d + 730 + 2585. Solve -d*h + 28 = -44*h for h.
4
Let a be (-8)/4 + -11 + 25. Solve 2*m = 5*m + a for m.
-4
Suppose 4 + 128 = 4*q. Solve -2*l - q = 9*l for l.
-3
Let r(w) = w**3 - 3*w**2 + 3*w + 1. Let z(u) = u**2 + 8*u + 3. Let n be z(-8). Let k be r(n). Solve 4*i - k = 6 for i.
4
Let u = 19 + -17. Let a = u - -1. Solve -l + 10 = -a*l for l.
-5
Suppose 3*p + 5 = -5*o, 4*p = -3*o + 7*o + 36. Let g be -4*-3*p/60. Solve 2*r + g = -5 for r.
-3
Suppose 5*o + 20 = 5*f, -3*f - 3 = -4*o - 11. Suppose -5*t - 3 = -f. Solve 4*u = 3 + t for u.
1
Suppose 0 = 2*y + y + 5*v + 2, -2*v = y + 2. Suppose 0 = -w + y*w - 20. Suppose 5*o - u + 1 = -0*u, 3*o - 4*u = -w. Solve -j = -o*j for j.
0
Let o(s) = -s**2 + 6*s - 3. Let q be o(5). Suppose 2*h - 10 = -5*f, -2*f + 4*h + q = -2. Solve -20 = -3*j - f*j for j.
4
Let o be (6/(-7))/((-12)/42). Suppose -o = 2*x - 7. Solve -3 - x = 5*l for l.
-1
Let y(z) = -z**3 - 6*z**2 - 4*z - 22. Let s be y(-6). Solve s - 6 = -4*h for h.
1
Suppose -200 = -4*z - 12. Solve -z = 4*m - 67 for m.
5
Let l be 24/4 + -2 - 0. Solve 7*d + l = 6*d for d.
-4
Suppose 0 = -3*n + 286 - 262. Let r(i) = -i**2 - 13*i + 16. Let g be r(-13). Solve 4*y - n*y - g = 0 for y.
-4
Let n(g) = 4*g**2 - 4*g - 29. Let v(a) = -5*a**2 + 4*a + 29. Let z(h) = -4*n(h) - 3*v(h). Let d be z(7). Solve d + 0 = 4*o for o.
2
Suppose 0 = -52*i + 58*i - 24. Solve -4 = -2*n + i for n.
4
Let a = 213 - 213. Solve a = -5*k - 10 + 30 for k.
4
Let b(f) = 8*f**2 - 143*f - 14. Let o be b(18). Let k be (0 - 3)*(0 - 1). Solve 4 = k*p - o*p for p.
-4
Let y = 82 + -124. Let g = -120 + 54. Let x be g/y - 3/(-7). Solve 27 = -5*p + x for p.
-5
Suppose -8 = z - 16. Solve 2*s = -0*s + z for s.
4
Suppose -4*v + 8 = 4*j - 7*v, 0 = -5*v. Suppose -l = -j*l. Suppose 4*t = -l*t. Solve -o + 0*o + 5 = t for o.
5
Let t(j) = 21*j**3 + 2*j**2 - 2*j + 3. Let x be t(-3). Let v be ((-4)/(-6))/((-9)/(x/8)). Solve v*g + 5 = 4*g for g.
-5
Suppose 0 = g + 3*a + 6, 0 = -0*g - 2*g - a + 13. Solve -4*c + 39 = g*c for c.
3
Suppose 158 = 5*p + 5*g + 83, 0 = p + 3*g - 13. Solve -3*v - v = -p for v.
4
Let r(v) = -v**3 - 5*v**2 + 8*v + 6. Let z(b) = b**2 + 5*b - 6. Let j be z(-5). Let o be r(j). Let s(i) = -i - 1. Let y be s(o). Solve -1 = p - y for p.
4
Let c(m) = -m**2 + m + 1. Let l(t) = -t**2 - 8*t - 7. Let o(h) = -2*c(h) + l(h). Let q be o(11). Solve 0 = -3*u - q*u for u.
0
Suppose 4*l + 7 = a, -4*a + 0*l - 4*l = 72. Let m(q) = -4*q**2 + q + 1. Let t be m(-2). Let u = a - t. Solve 2*x = -2*x - u for x.
-1
Suppose 29*s = 25*s - 4*f, 5*s = f. Solve -3*m = -4*m - s*m for m.
0
Let n = -42 + 70. Suppose 3*k + 2*m = 4, 3*m = 7*k - 3*k - n. Suppose -3*u - 5 + 17 = 0. Solve u*o = 8 + k for o.
3
Suppose -i - 4*t = 3*i - 16, 3*i - 12 = t. Suppose -i*a + 4 = -8. Let r = -9 - -9. Solve -3*m + a = -r for m.
1
Suppose 16*i = 4*i + 24. Solve -3*q = i*q + 15 for q.
-3
Let d be 2/(1*3/3). Let a be 3*(0 + -1) - (-1 - 2). Solve a + 6 = -d*u for u.
-3
Let z(a) = -57*a**3 - a**2 - a. Let o be z(-1). Solve 9*w + 48 = o for w.
1
Let h(k) = 14*k - 98. Let r be h(8). Solve 2*d = r - 10 for d.
2
Let v(c) = -9*c - 18. Let s be v(-2). Solve 3*f + s - 3 = 0 for f.
1
Suppose 7*q - 71 = -15. Solve 35 + 5 = q*w for w.
5
Suppose 251 = 2*o + 2*v - 123, 2*o - 3*v - 379 = 0. Let x = -186 + o. Suppose 4*n = 6 + 2. Solve -n - 2 = -x*g for g.
2
Let s(m) = -5*m + 73. Let l be s(14). Let t(k) = -k**3 + 4*k**2 - 3*k + 4. Let h be t(l). Solve y + h = -y for y.
-2
Let a(m) = m**2 - 3*m - 1. Let r be a(4). Let d = -19 - -36. Let u = d - 15. Solve r*f + u = -1 for f.
-1
Suppose -2*w - 2*w = -2*w. Suppose -2*v + w*v = -8. Solve a = -v*a for a.
0
Let v = 13 + 9. Suppose 2*l + 2 = 2*g, -5*l + v = 3*g + g. Suppose 0 = -5*f - l*n - 3*n + 5, -5 = -5*n. Solve 6 = -2*q - f*q for q.
-3
Let l = 1 + 39. Let p = l - 34. Solve 20 = p*s - 2*s for s.
5
Suppose -5*z = -15, z = 5*u - 4*z - 85. Suppose -4*b = -40 + u. Solve b*y - 15 - 5 = 0 for y.
4
Suppose 5*c + 5*t = 0, 5*t + 16 + 24 = 5*c. Solve c*s = 8*s - 8 for s.
2
Suppose -31*c + 8 = -30*c. Solve -c*t + 23*t + 75 = 0 for t.
-5
Suppose 0*c + 4*c = 12. Let o = 140 + -137. Suppose -g = 5*t - 6*g - 95, o*g + 73 = 4*t. Solve c*a + a = t for a.
4
Let g(q) = -q**3 - 8*q**2 + 65*q + 7. Let x be g(-13). Solve -x*y + y = 24 for y.
-4
Let r(h) = h**3 + 5*h**2 - 6*h + 10. Let z be r(-6). Let c = 30 - z. Solve 3*d = -d - c for d.
-5
Suppose 3*a - 1 = 2*a. Let j be -2 + (-4 - (-27)/3). Let k be (-1)/(((-3)/j)/(-3)) - -7. Solve -k*q - a = -5 for q.
1
Let s be (-128)/(-10) - ((-18)/(-10) + -2). Suppose -s*l = -41 + 2. Solve l = u - 0*u for u.
3
Suppose f - 5*f = -164. Suppose -4*d - 2*u = -32, -4*d - 4*u - 5 = -f. Let q = 33 - 18. Solve -4*n + d*n - q = 0 for n.
5
Suppose 4*m - 6*m = -16. Suppose 3*k = k + m. Let u be 3/k + 100/16. Solve -5*p - 22 = -u for p.
-3
Let m(y) = -3*y**2 + y - 169. Let u be m(0). Let t = u + 177. Solve 0*j + t = 2*j for j.
4
Let k(b) = b**3 + 3*b**2 - 2. Let l be k(-2). Suppose -d - 2*d - 4*z + 1 = 0, 6 = -3*d + 3*z. Let p be ((0/(-1))/1)/d. Solve p*o = l*o - 4 for o.
2
Let h(p) = p**3 + 3*p**2 - 4*p + 7. Let n be h(2). Suppose -3 = -a + 1. Solve -n = -3*q - a for q.
5
Let c(a) = 15*a**3 + 8*a**2 - 9*a**3 - 7*a**3 + 5. Let v be 88/12 - (-2)/3. Let f be c(v). Solve -f*h = -16 - 9 for h.
5
Let l = -484 - -492. Solve 3*s = -l*s - 44 for s.
-4
Suppose 0 = 5*f + 3 + 2. Let o be 1 - ((-1)/f)/1. Let v(q) = q + 2. Let s be v(o). Solve 2 = s*i + 8 for i.
-3
Let b = 19 - 19. Suppose b = 3*y + 12 - 24. Solve h = -y*h for h.
0
Let x(m) = m**2 + 8*m + 3. Let k be x(-7). Suppose -5 = g - 6. Let a be (-3 - k) + 4*g. Solve 3*w + 10 = -a for w.
-5
Suppose 20*o + 6 - 26 = 0. Let p = 2 + -2. Solve -4*a + o + 15 = p for a.
4
Let h = -213 + 213. Solve 28*c - 26*c + 6 = h for c.
-3
Let t = -120 + 67. Let g = t + 53. Solve g = -j - 2 - 1 for j.
-3
Let p = 1540 + -1494. Solve -23*z + p = -0 for z.
2
Suppose 0 = 2*q - 7*q - 2*a, 0 = q + 5*a. Let j(w) = 4*w**3 + w**2 - 2*w + 1. Let k be j(1). Solve q = -k*t + t for t.
0
Let j = -7 - -11. Suppose -6*x = -12*x. Suppose -2*t - 3*t = -40. Solve x*a - t = -j*a for a.
2
Suppose -6 = -z - 2. Let f = -49 + 53. Suppose -3*h - 4*b + 0 = 1, f*h + b = 3. Solve -j + z = h for j.
3
Let g = 25 - 23. Suppose 0 = g*i - i - 9. Let f be 13/26*(i + -1). Solve f*u - 19 + 3 = 0 for u.
4
Let l = 661 -