*((-16)/56 - 0). Solve 3*b + o = b for b.
-3
Let t(b) = 2*b**2 + 11*b + 5. Suppose -8 = 2*x + 2*g, 0 = -3*x + 3*g + g - 19. Let v be t(x). Let y be v/4 - -2 - 2. Solve 2*r = -8 - y for r.
-4
Suppose 0 = 39*r - 91 - 767. Solve -54 = -r*m + 34 for m.
4
Let j(n) = n**2 - 3*n + 2. Let m be j(-1). Solve -m*c = -c + c for c.
0
Let v be 8*2/(-3)*(-43 + 46). Let x(p) = 3*p. Let d be x(6). Let f = v + d. Solve -2 = -f*c - 12 for c.
-5
Suppose 0 = 3*k - 8*k, -o + 2*k = -4. Suppose 2*j + o*w = -12, -4*w = -2*w + 8. Solve 4*f = 6*f + j for f.
-1
Let l be ((-22)/8 + 3)*8. Let h(p) = -9*p**l - p**3 + 8*p**2 - 5*p**2 - 7 + 6*p. Let n be h(-7). Solve 6 + n = -2*r for r.
-3
Suppose -5 = 3*w + c - 6, w - 3*c + 3 = 0. Solve w = -9*m - 14*m + 23 for m.
1
Suppose -f + 6*f - 185 = 0. Suppose 0 = -5*r + 25, -f = 2*n + r - 4*r. Let j(w) = -w - 9. Let a be j(n). Solve 0 = -a*l - 0*l + 6 for l.
3
Suppose -g = 5 + 5. Let r be 1/(-2)*(g + 6). Solve 2*k - k = r for k.
2
Let f = 30 - 30. Let a(c) = c - 5. Let b be a(7). Solve p - b*p = f for p.
0
Suppose 0 = -16*a + 5*a. Let v be (a - -8) + 4 - -4. Let w be 12/(-2)*2/(-3). Solve -v = -0*c - w*c for c.
4
Suppose 171 = 29*j - 32*j. Let y = -55 - j. Solve y*p = p - 2 for p.
-2
Let n(a) = a**2 + 9*a - 134. Let u be n(8). Let x be (-62)/(-8) - 1/(-4). Solve 5*s = x + u for s.
2
Let m(u) = u**2 - 9*u + 20. Let x be m(5). Let r be 1/(x - (0 + -1)). Suppose 0*j - j = -4*n + 20, 3*n - j = 15. Solve n*k - r = -6 for k.
-1
Suppose l = 2*p - 591, -1460 = -33*p + 28*p - l. Solve p - 291 = 2*f for f.
1
Let n(z) = -5*z**3 - 4*z**2 - 8*z - 5. Let i be n(-2). Solve -29 - i = -16*q for q.
4
Suppose 2*h + 28 = 3*s + 59, -5*s = 25. Solve -8*n - h = -0*n for n.
-1
Suppose 3*c - 60*i + 56*i = 34, 0 = -c - 3*i - 6. Let n = 2 + -2. Solve 2*z + 0 - c = n for z.
3
Suppose -t = -3*t - f + 49, -5*t + 130 = 4*f. Let l = -16 + t. Solve -l = 3*w - 0*w for w.
-2
Suppose 0 = -q - 2*q - 18. Let k(b) = b**3. Let p(n) = 2*n**3 + n**2. Let o(w) = q*k(w) + p(w). Let g be o(-1). Solve -g*l + 19 = -6 for l.
5
Let a be 24/(-9)*9/(-6). Solve 0 = -2*z - 2*z - a for z.
-1
Suppose -3*m + 83 = -5*u, -5*m + u = -140 - 35. Solve -5*p = m - 16 for p.
-4
Suppose 0 = 1687*b - 1677*b. Solve b = 53*w - 59*w + 18 for w.
3
Let v = -16 - -20. Suppose -1 = -3*d - v. Let z be d/((15/(-6))/5). Solve -t - 1 = z for t.
-3
Let r be 51 + -46 - 36/(-2). Solve 0 = -10*k + r + 7 for k.
3
Suppose -126 + 30 = -24*h. Solve h*z = -5 - 7 for z.
-3
Let q(w) = -w**2 - w + 149. Let g be q(0). Suppose -3*l - 5*u - g + 494 = 0, 0 = -4*l + 4*u + 428. Let i be (-20)/l + 57/11. Solve 2*y + i = y for y.
-5
Suppose y + 13 - 33 = 0. Let p(o) = -2*o + 22. Let a be p(9). Suppose a*h = -h. Solve h = 5*m + y - 5 for m.
-3
Suppose -2*l + 21 + 23 = 0. Let m = l - 18. Solve -m*y = y - 20 for y.
4
Let p(s) = -s**2 + 22*s - 74. Let u be p(17). Solve -u*f + 12*f = -4 for f.
-4
Suppose -104*v + 103*v + 12 = 0. Let a be (-30)/(-8) + 3/v. Solve -d - 3*d - a = 0 for d.
-1
Let v be (0 - 1)/((24/236)/6). Let n = v - -64. Solve w + 16 = n*w for w.
4
Suppose -4*l - 3 = t - 34, 4*l + 5*t - 43 = 0. Suppose -5*w + 8 = -l. Solve -w*h = -h for h.
0
Let x = 558 - 522. Solve -41 + x = r for r.
-5
Suppose -4*j + 4*n = -24, 4*n + 6 = j - n. Let y(o) = -o**2 + 8*o - 6. Let c be y(j). Suppose -4*q + c = -10. Solve -q*m = m + 5 for m.
-1
Let u(y) = -y - 5. Let a be (1 - 3) + (3 - 7). Let g be u(a). Let p be (1 - 1 - 5)/(-1). Solve -j + g = p for j.
-4
Let b = 1047 + -1028. Solve -15*c + b*c = -16 for c.
-4
Let t(v) = 2*v**2 - 3*v - 2. Let s be t(5). Solve -6*m = -17*m - s for m.
-3
Let c(z) = -3*z + 1. Let d be c(-2). Suppose 0 = -t - 2 + d. Solve 0*g - g - t = 0 for g.
-5
Let g be ((-4)/(-8) - 1/(-2)) + 1. Suppose a = -a + z + 8, 5*a + 2*z = g. Let m = 15 - 2. Solve -3*t = -m - a for t.
5
Suppose -d + 10 = -6*b + 9*b, 0 = -5*d - 5*b + 50. Solve -3*m = d - 19 for m.
3
Let z = -27 - -22. Let l = z - -13. Solve l = -0*f + 4*f for f.
2
Let n be (-1)/1*(-23 + -4). Suppose -3*u - n = 45. Let g = 34 + u. Solve h = -h - g for h.
-5
Let l(q) = -15*q + 249. Let c be l(16). Solve -c*y = -3*y - 18 for y.
3
Suppose -i = -7*i + 24. Suppose -y + 8 = i*o, 3*y + 5*o = o + 16. Solve y*p + 5 = -p for p.
-1
Let m be 3*3 - (-12)/(-4). Suppose -m*f = -3*f + 234. Let y be (-5)/(-25) - f/10. Solve -5*u + y = -17 for u.
5
Let s(p) be the third derivative of -p**5/60 - 2*p**4/3 - 20*p**3/3 + 6*p**2. Let d be s(-11). Suppose 2*m = -2*m + 12. Solve 0 = -m*b - 0*b + d for b.
5
Suppose 0 = -2*s + 4, -2*r - 11 = -4*s - 3. Solve r*f + f + 4 = 0 for f.
-4
Suppose 0 = -46*h - 261 + 2331. Solve h*g + 15 = 40*g for g.
-3
Suppose -4*z = 3*z - 70. Let s = 5 - -3. Let k be (-10 + s)/(1/(-2)). Solve -2 = k*c + z for c.
-3
Suppose 3*t - 112 = -2*g, g + 5*t - 53 = 2*t. Let d = -54 + g. Solve 4*p = 3*p + d for p.
5
Let m be (2 - 3)*2 + -6. Let b(f) = -f + 7 + 8 + 3 - 22. Let s be b(m). Solve s = -5*z + z for z.
-1
Let s(m) = -m**2 + m - 1. Let k(v) = -7*v**2 + 15*v - 10. Let i(l) = -k(l) + 6*s(l). Let z = -68 - -77. Let y be i(z). Solve 0*t - y = t for t.
-4
Let f(j) = -j**2 - 2*j - 2. Let y be f(-3). Let i be 0/(3/(y + 2)). Solve 5*d + 20 = -i*d for d.
-4
Let n(k) = -4*k**3 + k**3 + 142*k + 5*k**3 - 1 - 8*k**2 - 149*k. Let p be n(5). Solve -3*r - p = -8 for r.
-2
Let r be -22*(-3 + 5/2). Let i = r + -8. Suppose -i*o = k + 8, 0 = 3*k - o - o - 9. Solve -k = 4*h + 3 for h.
-1
Let x = 678 - 667. Solve 0 = x*j - 9*j - 4 for j.
2
Let t = 85 - 83. Solve -k - t + 5 = 0 for k.
3
Let t(b) = -b**2 - 29*b + 174. Let n be t(-34). Let v = -8 + 13. Suppose 0 = -v*l + 12 + 38. Solve l = -o - n*o for o.
-2
Let r(d) = d**3 + 14*d**2 + 6*d - 4. Let f(x) = x**3 + 13*x**2 + 6*x - 3. Let z(i) = 5*f(i) - 4*r(i). Let p be z(-8). Solve -5*u + 8 = -p for u.
5
Let j be -6*3/6 + 3. Suppose 0 = -l + o + 18, j = 2*l - 3*l - 3*o + 26. Suppose -k + 16 = 5*y - 2*y, -5*k + l = 0. Solve -3*c - y = -2*c for c.
-4
Let a(g) = 14*g + 213. Let i be a(-15). Solve -i*c = -12 + 9 for c.
1
Let q(b) = 7*b**3 + 23*b**2 - 41*b - 37. Let j(f) = 4*f**3 + 12*f**2 - 20*f - 19. Let g(p) = 5*j(p) - 3*q(p). Let c be g(-11). Solve -20 = -5*n - c for n.
3
Let i be ((-12)/(-5))/(7 + (-341)/55). Solve 4*t + i - 19 = 0 for t.
4
Let r = -8 - -14. Suppose 0 = -0*s + 3*s. Let m(h) = h**2 + h. Let g be m(-2). Solve s = g*t - r*t for t.
0
Suppose 0 = -4*k + 4*n + 48, 4*k - 39*n - 13 = -42*n. Solve k = -11*j + 62 for j.
5
Let d be (0 + -8 + 8)/1. Solve -2 = 2*b - d*b for b.
-1
Suppose -7*b = -0*b + 35. Let v(w) = -2*w + 2. Let s be v(b). Solve q + s = 4*q for q.
4
Suppose -2*l + 4*l = -5*d + 38, 0 = 2*l - 8. Solve 3*f = 5*f - d for f.
3
Let l(d) = -d**3 - 7*d**2 - 7*d. Let p be l(-6). Solve -18 + p = 4*t for t.
-3
Let a = 644 + -642. Solve -a*u - 22 = -20 for u.
-1
Let p(w) = 3*w - 3. Let q be p(-1). Let r be -3*((-20)/q - 4). Solve -r*v = v + 15 for v.
-5
Let f be (-84 + 0)*6/(-9). Let o be 3/4*f/21. Suppose o*t + t = 0. Solve c - 3 = -t for c.
3
Suppose -3*r - 3*v = r + 11, 0 = -v - 1. Let p = r - -4. Let m be 0*((-26)/(-8))/13. Solve m = p*u - u - 5 for u.
5
Let o = 25 + -13. Let p(s) = -3*s - 10 + o + s - 2*s. Let f be p(0). Solve 0 = -2*a + f - 8 for a.
-3
Let x(s) = -s**3 + 12*s**2 - 12*s + 9. Let c be x(11). Let i be ((-6)/9)/(c/9). Solve -i - 7 = 5*l for l.
-2
Let n = -889 + 895. Solve -n*g = 3*g - 18 for g.
2
Let o = 36 - 31. Suppose o = 3*d - 4*z - 15, 2 = -z. Solve d*p + 9 = p for p.
-3
Let w be (-90)/(-20) - 3/(-2). Let f be (-125)/(-30) - 2/12. Solve f*c - 6 = w*c for c.
-3
Let w be (-1)/(1/(-8)*2). Suppose 3*h - 7 = 14. Suppose 0 = -2*f + h*f - 10. Solve -w - f = -3*u for u.
2
Let z = -1294 - -1314. Solve 15*t - z = 10*t for t.
4
Suppose -5 = -w - 0*w. Let m = -814 + 815. Solve -4*j + m = w for j.
-1
Let u(h) = h**2 + h + 1. Let l(y) = -y**2 - 9*y - 11. Let q be l(-8). Let a be u(q). Solve 0 = -2*i + a*i - 5 for i.
1
Let p be (-16)/(-3) - (-1)/(-3). Suppose 0 = -2*h - 5 + 9. Let w(n) = 2*n**3 - n**2 + 6*n - 4. Let m be w(h). Solve l + m = p*l for l.
5
Let u(w) = w**3 + 4*w**2 - 4. Let a be -4 - (3 - 4)*1. Let r be u(a). Solve 0 = -2*c + r + 1 for c.
3
Let h(v) = 3*v - 9. Let k be h(-16). Let p be 76/k*6/(-4). Solve -p = a + a for a.
-1
Let t be 72/(-27)*(-6)/4. Suppose -11 = 4*u + t*v - 31, 0 = u + 5*v - 17. Let m = 