10 = -28. Solve 0 = -c*i - i - 8 for i.
-2
Let r be 4/48*4*(-5 + 8). Solve 0 = 13*d - 14*d - r for d.
-1
Let p(h) = 13*h**2 + 18*h - 16. Let l(w) = -7*w**2 - 9*w + 8. Let v(d) = 11*l(d) + 6*p(d). Let x = -6 + -4. Let j be v(x). Solve 0 = 5*t - j*t for t.
0
Suppose r + p + 10 = 3*r, -5*p = -4*r + 32. Suppose r*j + 32 = 4*i, -5*i - j - 2*j = -13. Suppose i*o = o. Solve 4*v - 12 = -o*v for v.
3
Suppose 0 = 48*z - 1359 - 3537. Solve -c + z = 101 for c.
1
Let o = 85 - 29. Suppose 2*x - 34 = -2*z, o = 5*z - z + x. Let v = -1 + z. Solve 4 = -2*l + v for l.
4
Let l(f) = -12*f - 89. Let b be l(-8). Solve 3 = -b*s - 4 for s.
-1
Let d(z) = 15*z + 137. Let u be d(-9). Solve u*j = -j for j.
0
Suppose 14 = -5*u + 4*v, -3*u + 0*v - 5 = v. Let g = u - -3. Let r(q) = -q**3 + 2*q**2 - q. Let j be r(g). Solve j = -0*a - a - 3 for a.
-3
Suppose 4*b + 3*j = -21 + 82, -3*j - 15 = 0. Solve 6 = 16*x - b*x for x.
-2
Let o(s) = -21*s**3 + 7*s**2 + 2*s - 5. Let g be o(-1). Solve g*i - 24*i + 12 = 0 for i.
4
Suppose -2*l - 4*x - 44 = 0, -x - x = -4*l - 68. Let f be 4/l - ((-208)/(-36) + -6). Solve f = o + 2 - 5 for o.
3
Suppose -w - 5 = 13. Let g = w + 21. Suppose -g = -3*n + 5*o - 2*o, 4*n - 25 = -3*o. Solve -t + n*t - 9 = 0 for t.
3
Suppose -2*a + 0 = 3*d - 10, a = 3*d - 4. Solve 0 = -d*r - 2 - 4 for r.
-3
Let v(q) = -2*q + 18. Let z be v(6). Suppose -g + g = -z*g. Solve 2*j - 1 - 3 = g for j.
2
Let w(g) = -g**2 + 4. Let f be w(0). Let c be 6/(-16) + 8 + (-488)/64. Solve -f*n + c = 8 for n.
-2
Let g be 2*6/(0 - -4 - 0). Let b be 45/6*(-2)/(-3). Suppose -3*i = -0*i. Solve i = g*w - 10 - b for w.
5
Let u = 427 + -424. Solve 2*z = 3*z - u for z.
3
Let b = 891 + -889. Solve 0*a + 8 = b*a for a.
4
Let o(w) = -w**3 + w**2 + w. Let b(z) = -3*z - 19. Let d be b(-6). Let x be o(d). Solve -5*g + x = -14 for g.
3
Let j be (0/1)/(2*-1). Suppose -3*m + 3 = -15. Suppose -20*c = -17*c - m. Solve j = c*o - 4*o - 2 for o.
-1
Let a be (-14)/(-35) + (-6)/(-10). Suppose -a = -c - 19. Let v = c - -18. Solve 4 = 4*p - v for p.
1
Suppose 0*y - 14 = 2*y. Let u(i) = i**2 + 8*i + 7. Let x be u(y). Let w = 20 - x. Solve -2*q = -6*q + w for q.
5
Let h be (14/21 + -1)*-51. Solve 0 = h*y - 15*y for y.
0
Suppose -g = 5*x - 0*g, 4*x = g. Solve -6*k + 4*k = x for k.
0
Let u(d) = 2*d - 44. Let i be u(25). Let l(k) = -k + 6. Let h(s) = -2*s + 13. Let p(a) = 2*h(a) - 5*l(a). Let r be p(i). Solve -r = 2*y - 4 for y.
1
Let o(z) = z**3 + 9*z**2 + 6*z - 7. Let h be o(-8). Let r(c) = -c**3 + 6*c**2 + 15*c + 11. Let l be r(8). Let u = 1 + l. Solve u*g - 7 - h = 0 for g.
4
Suppose 0 = 86*b - 142 - 460. Solve 14 = -b*g + 42 for g.
4
Let w be 21/7*(-1 - -4). Suppose 0 = 3*g + w*g - 60. Solve 0 = -7*m + 2*m + g for m.
1
Let z be 4/(0 - -8)*14. Let v = 5 - 1. Let s = z - v. Solve t = s*t for t.
0
Let v = 27 + -31. Let s = -1 - v. Solve -t + s*t = 6 for t.
3
Suppose -i = 4*p + 12, 3*i + 19 = 4*p + 47. Solve -2*s = i*s - 30 for s.
5
Let r(d) = -24*d + 2. Let p be r(0). Solve p*s - 2 - 4 = 0 for s.
3
Let j(x) = -17*x - 46. Let c be j(-4). Suppose -16*a + c = 6*a. Solve 5 = 2*w - a for w.
3
Let x be (220/50)/((-2)/(-5)). Suppose 12*a = x*a + 5. Solve -5*q + 5 = -a for q.
2
Let z be 9 + ((3 - 4) + 2)*7. Solve 0 = 21*j - 5*j + z for j.
-1
Let a = 9 + -9. Suppose -5*j + 4*j + 5*v = -14, a = 3*v - 9. Suppose 5*p - 42 + 17 = y, j = p - 5*y. Solve -15 = p*k + 1 for k.
-4
Suppose 5*x + 3*n + 105 = -n, 0 = 4*x - 3*n + 115. Let q = x - -28. Suppose -5*y + 3*l = l - 25, -4*l = 2*y - 10. Solve -g - y = -q for g.
-2
Let b be (-12)/16 + (-81)/(-12). Suppose 4*y + b - 26 = 0. Solve r + y = 6*r for r.
1
Suppose 3*m - 4*f = 26, 37*m - 40*m - f + 31 = 0. Solve 3*v - m = 2 for v.
4
Let l = 2758 + -2738. Solve -l = 11*z - z for z.
-2
Let a(q) = -2*q - 22. Let p be a(-10). Let v = -2 - p. Solve v = -x + 2*x - 3 for x.
3
Let y = 7 + -6. Suppose -5*g + 30 = -5*r, g + 0*g - 3 = -2*r. Let l be r/(1*(y - 2)). Solve t + l = -1 for t.
-2
Let d = 51 + -81. Let f = 2 - d. Solve 7 = -5*v + f for v.
5
Suppose -32 = -0*o - 8*o. Suppose q - 2*n - 14 = 4, -n + 1 = 0. Solve -o*a + 0 = q for a.
-5
Let j be 1/((-8)/4)*2 - 48. Let d = j + 49. Solve x - 3*x = d for x.
0
Let v = 3 - -6. Suppose 5*g - v = z + 28, 2*g + z = 12. Suppose 70 = g*p + 28. Solve q - p*q + 15 = 0 for q.
3
Let g(s) = -s + 3. Let b be g(3). Suppose -9 = 2*c - 6*c + t, 18 = 4*c + 2*t. Suppose -a + 4 = z, 0 = -c*a - 5*z + 10 + 4. Solve b = -0*x + a*x + 3 for x.
-1
Let h be (-1)/(-2)*-1*-6. Let u(s) = 4*s - 9. Let j be u(9). Suppose -2*r - 5*a = -j, -r = r - 4*a. Solve 3 + r = -h*x for x.
-3
Let i(q) = q**2 + 7*q - 53. Let y be i(5). Solve -3*b = -y*b + 8 for b.
2
Let u be (-11)/(66/(-12)) - -9. Let j = 8 - 13. Let i = u + j. Solve 0*p = 2*p + i for p.
-3
Let r(k) = 5*k**3 - 2*k**2 + 1. Suppose -4*q + 5 = 1. Let s be r(q). Suppose -s*v = -l - 26, 2*v + 3*l + 2*l = 2. Solve -4*m + 7*m = v for m.
2
Let r be ((-2)/1 + 2)*12/12. Suppose 2*m + 7 - 9 = r. Solve -4*p = -3 - m for p.
1
Suppose 44 = 2*j + 5*b, 14 = 3*j + 2*b - 30. Let y = -10 + 0. Let z = -6 - y. Solve 4 = z*l - j for l.
4
Let x(q) = 3*q**2 + 5*q + 4. Let s(z) = z**2 - 4*z - 7. Let g be s(5). Let v be x(g). Let d be 4/v*(3 + 3). Solve -d*i - 6 = -2*i for i.
-3
Let y(l) = 2*l - 13. Let n be y(13). Let j be (4 - 3 - n) + 0. Let k(g) = g + 15. Let t be k(j). Solve -2*b = t*b + 25 for b.
-5
Let s = 8 - 4. Let b(l) = 2*l**2 + 10*l + 2. Let o be b(0). Solve -6*m + s = -o*m for m.
1
Suppose -6 = -7*b + 4*b. Suppose 0 = -3*q - 3 + 9. Solve -q*i + b = -6 for i.
4
Let o(v) = v**3 - 2*v**2 - 9*v + 6. Let g be o(4). Let p(k) = 3*k - 1. Let x be p(1). Suppose 5*m - 24 = -z + m, 7 = 3*z - m. Solve -z*c + g*c = x for c.
-1
Suppose 0 = -4*n + 173 - 121. Solve -2*j - n + 3 = 0 for j.
-5
Let x(c) = -c - 1. Let f be x(-13). Suppose -4*q = 2*q - f. Suppose -q*p = -4*p + 5*y - 14, 0 = 3*y - 12. Solve -p*a = a for a.
0
Suppose -1947 = -18*p - 1713. Solve 8*m = p*m - 5 for m.
1
Suppose b + 4*c = -3, -3*c - 77 = 5*b + 23. Let w = 32 + b. Solve 5*k = 2*k - w for k.
-3
Let l = 7 - -10. Suppose -4*r + r = -5*q - l, -5*q - 1 = r. Suppose -u = 4*u - 2*u. Solve r*f + u*f = -4 for f.
-1
Let i(h) = -2*h**2 + 9*h + 9. Let v be i(6). Let j be v*(2 - (2 + -1)). Let c = j + 13. Solve c*z - 4 + 12 = 0 for z.
-2
Suppose q - 2 = -0. Solve -9*b = -11*b + q for b.
1
Let n(c) = -c - 10. Let x be n(6). Let a be 2/(-10) + x/(-5). Solve u = a*u for u.
0
Let h(k) = 7*k + 53. Let w be h(-7). Suppose -w*i = -6*i. Solve 2*o = -i*o for o.
0
Suppose 13 = m - 2*p, 0*m = -5*m - 3*p + 13. Suppose -2*n = -6*n - f + 17, m*n + 5*f = 40. Suppose n*u - 21 + 12 = 0. Solve -7*t + u*t + 4 = 0 for t.
1
Suppose 0 = 3*l - 5 - 40. Let j be 69/l - 3/5. Suppose -3*o - j*k + 20 = 0, 0 = k + 3*k - 8. Solve 0*g + o*g - 16 = 0 for g.
4
Suppose -4 = -4*n + 14*w - 10*w, -w = -5*n + 17. Solve -6*s = -n*s + 4 for s.
-2
Let a = -457 - -472. Solve 7*b + a = 4*b for b.
-5
Let k be ((-27)/6*12/(-9))/1. Suppose -2*m - 2 = 2*j - k*m, 0 = 5*j - 2*m - 11. Solve -2*u = 7 - j for u.
-2
Let v = -11 + 23. Suppose 4 - v = -2*f. Solve -f*u + 5 - 1 = 0 for u.
1
Let o = 12 - 6. Suppose -o*x = 5*u - x - 10, -3*x - 6 = u. Solve -u = 2*v - 5*v for v.
2
Let h(t) = -t - 10. Let d be h(-14). Solve 6*s + d - 28 = 0 for s.
4
Let k = 588 - 178. Let b be 1/(-8) - k/(-80). Solve -4*t + 7 + b = 0 for t.
3
Suppose -174*n - 75 = -179*n. Solve 2*z + z + n = 0 for z.
-5
Let r(v) = 5*v - 3. Let o(d) = -d - 4. Let h be o(-7). Let b be (45/(-30))/(h/(-4)). Let p be r(b). Solve p*k = 2*k + 25 for k.
5
Let q(o) = -3*o**3 - 2*o**2 + 1. Let a be q(-1). Suppose 0*b + 50 = a*b. Suppose 0 = -3*m - 1 + b. Solve 0 = 3*j - m*j + 25 for j.
5
Suppose 0 = -5*p, 0 = -2*d + 2*p + p + 32. Solve -3*i - i = d for i.
-4
Suppose -3*w = p - 12, 3*w + 4*p - 8 = 13. Solve 4*s + 9 = -w for s.
-3
Suppose 59 - 14 = 3*o. Suppose -2*j + 2*m - o = -39, -3*j - 3*m = -36. Let a be 15/(-6)*j/(-30). Solve -a = -2*t + 5 for t.
3
Suppose -m + 12 = 5*m. Let j = 25 + m. Let i be 2/(-3)*j/(-6). Solve -8 = -i*c + c for c.
4
Let g be (2 + (-7)/5)/(27/810). Solve -g = j - 15 for j.
-3
Let t = 326 + -322. Solve g + 12 = t*g for g.
4
Suppose -g + 13 - 1 = 0. Suppose -3*o = -5*l + 57, 0 = 4*l + o - 37 - g. Let n be (8/6 - (-5)/(-6))*8. Solve 0*c = -n*c - l for c.
-3
Suppose 9*u