c = v + -5. Solve o = l + 3 - c for l.
-1
Let b(o) = -o**2 - 9*o - 7. Let u be b(-8). Let f be (u - (-2)/(-4))*0. Solve -5*x - 2 - 3 = f for x.
-1
Suppose 2*t = -0*h - 2*h, h = -5*t + 8. Let f = 1 - h. Suppose f*w + 4*l = -8, -2*w + 0 - 4 = 2*l. Solve w = -3*b - b + 4 for b.
1
Let h(s) = 4*s - 32. Let a be h(11). Let d be (-4)/a*(2 + -2)/(-1). Solve n - 3 = -d*n for n.
3
Let g(t) = t**2 - 18*t - 24. Let v be g(16). Let r = v - -60. Solve -r*u = -22 + 6 for u.
4
Let w(h) = -h**3 - 27*h**2 + 59*h + 42. Let j be w(-29). Solve j*n - 77 = -25 for n.
4
Let f = -431 - -435. Solve -20*n + 24*n = f for n.
1
Suppose 25*x = -2*x. Solve -5*l = -x*l + 10 for l.
-2
Let f(x) = -2*x - 7. Suppose 30 = 6*s + 78. Let n = s - -3. Let d be f(n). Solve r - d*r = -8 for r.
4
Suppose 0 = 25*j - 1255 - 445. Solve -72*x - 20 = -j*x for x.
-5
Suppose -h - 4*u = -3*u + 4, 2*u + 4 = -h. Let w = 5 + h. Solve 0*x = x + w for x.
-1
Let p = 2179 + -2131. Solve 12*k + 0*k + p = 0 for k.
-4
Let i be 2/(-7) + (-37)/(-7). Suppose i*x - 35 = -5. Suppose 0 = z - 6 + 4. Solve 2 - x = z*h for h.
-2
Let i(h) = 2*h**2 + 5*h - 18. Let u be i(6). Let v be 7/2*48/u. Solve 3 = v*c + c for c.
1
Let v = 135 - 109. Solve -31*s = -v*s + 10 for s.
-2
Let u be (-8)/2 + ((-920)/10)/(-4). Solve -24*i + u*i + 25 = 0 for i.
5
Let a be 0*(-1)/6*15/10. Solve a = -2*q + 8*q - 6 for q.
1
Let d = -8103 - -8114. Let k be (-2)/3 + (-4)/(-6). Solve k = 5*a - d - 14 for a.
5
Suppose -x + 4*l + 25 = 0, 4*x = 2*x - l + 5. Solve 6*o - 5*o = x for o.
5
Suppose -5*x + 362 = -3*x. Suppose x - 61 = 8*m. Solve m = -6*y + y for y.
-3
Suppose -6*y = -4*y - 6. Suppose y*z = 40 + 14. Let c(g) = -g**3 + 17*g**2 + 18*g + 3. Let l be c(z). Solve l*u - 2 - 4 = 0 for u.
2
Suppose -5*d + 9 = 4*r - 32, 0 = -2*r + 8. Suppose 5*k + 5*i = -15, -2 - 5 = -3*k + d*i. Let u = k + 10. Solve 5*h + u = 2*h for h.
-3
Let h = 0 - -2. Suppose 5*k + 13 = 2*r, 3*k + 0 = -2*r + 5. Let i(n) = n + 1. Let o be i(k). Solve o - 10 = h*u for u.
-5
Suppose 5 = 2*r - 1. Suppose 108 = -38*w + 450. Solve w = r*f - 0*f for f.
3
Suppose 3 = -4*w - 1. Let h be w*(-2 - -1)*0. Suppose -5*y + 4*y = 0. Solve -b + h*b = y for b.
0
Let m(k) = -k - 1. Let s be m(-9). Suppose -u - 17 = -s. Let q be ((-6)/4)/(u/12). Solve 0 = d - q*d for d.
0
Let k(c) = 10*c**2 + 115*c - 13. Let h be k(-12). Solve 37 - h = 2*x for x.
-5
Let n be 4 - (2 - 1)*1. Suppose -n*h + 6*h = 6. Let c = 243 + -241. Solve -c = y + h for y.
-4
Let n(r) = -6*r + 14. Let j be n(1). Solve 0 = -3*u + j - 2 for u.
2
Suppose -2*a + 10 = q + q, -2*a = 0. Suppose -5*n + 9 - 29 = -q*w, w = -5*n + 34. Solve -3*j + 0 = -w for j.
3
Suppose 0 = -177*y + 166*y + 22. Solve 18 = -4*p - y for p.
-5
Suppose 5*y - 45 = -3*r + y, -3*y - 24 = -3*r. Suppose 0 = 5*i - 36 + r. Solve h + 8 = i*h for h.
2
Let p(j) = j**3 - 4*j**2 - 4*j - 2. Let w be p(5). Suppose 5*b = -0*b + w*k + 60, -12 = -b + k. Solve -g + b = -4*g for g.
-4
Suppose -k = -5*k + 16, -3*k = 3*m - 30. Let y(p) = p + 1. Let z be y(3). Suppose -3*d = -z*d + 3*b + 7, -4*b = 2*d + m. Solve -5*s - d = -21 for s.
4
Let t be -10 + 6 - (1 - 33). Suppose 0 = -4*l + 3*p + t, -5*p - 24 = -5*l - 4*p. Let f(h) = h**2 - 3*h - 2. Let m be f(-2). Solve l*x = 6*x - m for x.
4
Let u = 20 + -20. Suppose 2*g + 4 = 4*o - u, -3*o - 5*g = 23. Let a be 3/(o*1/(-2)). Solve -a = -b + 4*b for b.
-2
Let j be 3738/(-28) + 2/4. Let z = 135 + j. Solve 5 = z*f + 3*f for f.
1
Suppose -c = 2*c - 48. Let o = 86 - 82. Let m be -3 + (4 - (4 - o)). Solve -c = 3*y - m for y.
-5
Let n(f) = -f**2 - 14*f - 37. Let k be n(-7). Solve -7*q = -3*q - k for q.
3
Let v(l) = -1. Let z(c) = -c + 3. Let h(y) = -2*v(y) + z(y). Let x be h(3). Let n(d) = -d**3 - 2*d**2 - d - 1. Let b be n(-2). Solve b = -t + x for t.
1
Let s be (-14)/(-35) + (-62)/5. Let d be ((-8)/22)/(s/66). Solve 0 = d*k - 0*k - 10 for k.
5
Suppose -4 = 3*p - 5*t, -4*p = t + 5 - 15. Let o(x) = -x - 1. Let v be o(-5). Suppose -2*f - p*j = -2, -v*f + 3 = 2*j + 1. Solve -i + 5 - 4 = f for i.
1
Let f(y) = -y**3 + 4*y**2 - 5*y. Let o be f(4). Suppose j - 65 = -3*j - 5*l, 0 = -4*j - l + 77. Let m = o + j. Solve m = -5*x - 10 - 10 for x.
-4
Let v = -7 - -10. Suppose -3*d + 60 - 9 = 0. Suppose -v*u + 3*a = 6, 4*a + 0*a = u + d. Solve j - u*j + 4 = 0 for j.
2
Let i be 7*8/(-4)*(-5)/7. Solve 14*o + i = 4*o for o.
-1
Suppose 9 = 3*v - 5*k, 3*v - 9*k = -5*k + 9. Let h be (-6)/(4/(16/(-6))). Let q be 2*(2 - (-2 + 2)). Solve q*y - h = v*y for y.
4
Let q(x) = 8*x - 1. Let i be q(1). Solve 3*c = i*c + 12 for c.
-3
Suppose 4*s - 54 = -3*m, 2*s - 2*m + 16 = 50. Let w = -15 + s. Let u be 1 + w - (6 - 7). Solve -u = 2*k - k for k.
-2
Suppose 22*a + 320 = 30*a. Suppose a*d + 16 = 42*d. Solve 11*n = d*n + 9 for n.
3
Let d(z) = -z**2 - 4*z + 1. Let a be d(-3). Let w be a/(-18) + 32/(-18). Let t be (-3 - -4) + w/2. Solve -2*g + 6 + t = 0 for g.
3
Suppose -5*z + 5 = 0, 35 - 142 = -2*q + 3*z. Solve -q*p = -56*p - 4 for p.
-4
Let w be 8/(-6)*(-675)/18. Let v be ((-2 - -2)/(3 - 1))/(-4). Suppose -6 = 2*s, v*s - 4*s - w = -2*i. Solve -3*c = -i + 4 for c.
5
Let k(g) = 7*g - 2. Let b(n) = n**2 - 5*n + 3. Let t be b(5). Let l be (-2)/((t - 9)/3). Let i be k(l). Solve i*r + 11 - 1 = 0 for r.
-2
Let d be ((-12)/10)/((-12)/40). Suppose a = v + 2, v - 3*a = d*v - 24. Solve 5*z = 13 - v for z.
2
Let y = 4 + 11. Let l(q) = q**2 - 16*q - 12. Let g(k) = k**3 + 17. Let o be g(0). Let r be l(o). Solve 2*i - y = r*i for i.
-5
Suppose -5*z + 44 = 4*j, -6*z - 12 = -4*j - 3*z. Solve j*q + 20 = 10*q for q.
5
Suppose -3 = -b, -3*j + 3*b + 15 = -12. Let k be j/(-4) + 1 - -23. Suppose 2*z - k = -2*i - i, -i = -5. Solve -2*d - z = d for d.
-1
Let n = 29 - 24. Suppose 1 + n = 3*x. Solve 0 = x*b + 2*b - 4 for b.
1
Let g be 6/(-15) + (-141)/(-15). Let c = -5 + g. Solve 2*j - c = -0*j for j.
2
Let i = -37 + 57. Suppose -4*y + i = -5*n, -y + 4*y = -4*n + 15. Solve n = v - 1 - 2 for v.
3
Let v(r) = r**2 + 6*r - 11. Suppose 0*z + 5*z = 10. Let g be (-16 - -14)/(z/8). Let m be v(g). Solve -m*b - 4 = 11 for b.
-3
Let m(p) = 12*p - 29*p - 4 - 4*p**2 + 20*p - p**3. Let h be m(-5). Solve h = 2*v + 8 for v.
-1
Let u(c) = -2*c + 62. Let d be u(29). Solve d = t - 0*t for t.
4
Let c be 0/((-4)/(-22) - (-100)/55). Solve c = -9*g + 7*g + 4 for g.
2
Suppose m - 2*k - 11 = 0, 3*m + 2*m = -2*k + 19. Suppose -m*c = 2*c. Solve 2*n + 1 + 3 = c for n.
-2
Let r = -3 + 5. Suppose 24*y - 21*y = 18. Solve r*g + 2 = y for g.
2
Let p = 13 - 13. Let i = 32 + -22. Solve 2*l + i = -p*l for l.
-5
Suppose 36 = -7*j + 3*j. Let t = j - -9. Suppose -2*m = 0, -5*c + 2*m + t*m + 20 = 0. Solve c + 1 = f for f.
5
Let y = -16 - -18. Let z be y/((-3)/(-864)*4). Suppose 0*o - 6*o + z = 0. Solve -o + 4 = 4*u for u.
-5
Let g be (-54)/((-3)/1) - -2. Let v = -4 + g. Suppose -4*s - 20 = -5*z, -2*s + 0*s = 4*z - v. Solve -4 = -u - s for u.
4
Let r(q) = q**2 - 2*q + 13. Let o be r(4). Solve -41 = 5*i - o for i.
-4
Suppose 3*d + 0*d - 84 = 0. Suppose 5*c + 3*g - 126 = 0, 0*g = -c - 2*g + d. Suppose 4*m + 2*j = c, -5*m + 15 = -j - 8. Solve 0 = -m*f + f - 8 for f.
-2
Let d(t) = -7*t + 16. Let b be d(6). Let j = b + 29. Solve -j*w = w - 16 for w.
4
Let v(j) = j**2 + 3*j - 52. Let a be v(-10). Solve -4*b = a - 2 for b.
-4
Suppose 12 = 2*t + t. Let r(g) = g**2 + 11*g + 20. Let u be r(-9). Solve t*h - u = -22 for h.
-5
Let j(z) = -z**2 - 4*z + 4. Let k be j(-4). Suppose 0*b + 4*b = 144. Suppose b = 8*y - 44. Solve -y + 2 = k*w for w.
-2
Suppose -8*q = 2*q - 50. Solve -3*m + q*m - 2 = 0 for m.
1
Let m(q) = -4*q**3 - 7*q**2 - 7*q. Let n(c) = -3*c**3 - 8*c**2 - 8*c. Let s(b) = -4*m(b) + 5*n(b). Let l be s(13). Solve 0 = -5*t + 12 + l for t.
5
Let z(k) = k**2 - 10*k + 15. Let w be z(9). Let o be 0 - 3 - w/(-2). Let v be (-12 - o)/(3 - 4). Solve -2 = -2*f - v for f.
-5
Let d = 1 + -25. Let z = d + 28. Suppose 6*c = 4*c. Solve z*o + 4 = -c for o.
-1
Let x(r) = -r - 4. Let f be x(-6). Let o be 7 - (-3 + (4 - 0)). Suppose o = 3*t - 5*y - 4, -2*t - 3*y = 6. Solve -f = u - t*u for u.
-2
Let m = 16 + -12. Let h(j) = -14*j + 9 + m*j**3 - 5*j - 14*j**2 - 3*j**3 + 4*j. Let s be h(15). Solve 4*c = 1 - s for c.
-2
Let h(j) = 3*j + 2. Let k be h(1). Suppose -4*d + 22 = i, -d - k*i = -i - 13. Solve -d*x = -0*x + 5 for x.
-1
Let a(v) = -3*v**2 + 3*v - 1. Let 