 18 for c.
3
Suppose 0 = -2*i - 3*v + 43, 0 = -v - 2 + 5. Suppose -i = -m + 4. Let p be 318/m - 2/14. Solve -4*s + s - p = 0 for s.
-5
Let o(n) = -n**3 - 7*n**2 + 6*n - 12. Let l be o(-8). Suppose l*v + 11 = -b - 4*b, 4*v + 18 = 2*b. Solve 2*c + 11 = b for c.
-5
Suppose 38 = 4*b + 18. Let u be ((0 - -2) + -2)/(b/5). Solve -4*g = -u*g for g.
0
Suppose -154 = -4*v - 22. Suppose x - 2*a - v = -a, -3*a = 5*x - 189. Let f = x + -26. Solve b + b = f for b.
5
Let z = -32 - -35. Let t be z/3 + -1 + 0. Solve t*k = k for k.
0
Let s(l) = l**2 - 8*l. Let o be s(8). Suppose -16 = -4*n - o. Let i be 1/(-5) + 122/10. Solve 0*c = n*c - i for c.
3
Suppose 0 = -2*d - 3*u - 0 + 7, 3*d - 3*u - 3 = 0. Solve -4*j = -d*j + 8 for j.
-4
Suppose -6*k = -3*k + 30. Let z = -8 - k. Suppose -2*m - 4 = 0, -w - z*w = -m - 47. Solve c - w = -2*c for c.
5
Let t = 36 + -33. Let a be (t + 96/(-28))*-7. Suppose -g = -2*y - a*y + 10, 0 = y - 3. Solve 7 = g*f + 2 for f.
1
Suppose 3*o + 2*o - 125 = -4*j, 0 = -3*o - 5*j + 75. Let c = 111 + -106. Solve 0 = -0*k - c*k + o for k.
5
Let b = -565 - -572. Solve 10*q = b*q + 15 for q.
5
Let l(o) = 4*o**2 + 1. Let y be l(-1). Suppose -n - y = -13. Solve n = -6*d + 2*d for d.
-2
Let f(y) = y**3 - 4*y**2 + 4*y. Let x be f(3). Suppose -3*r - 5*v = -r + 17, 4*v + 8 = -x*r. Solve -i + r*i = -3 for i.
-1
Let t(h) = 11*h + 1. Let r be t(0). Solve 4*y + 9 - r = 0 for y.
-2
Let q(d) = -d + 10. Suppose 3*g - n = 29, 0*n + 4*n = -2*g + 10. Let v = 9 - g. Let p be q(v). Solve -w = w - p for w.
5
Let i be 2 + 1 + (-2)/(-1). Let j(l) = l**3 - 68*l**2 - 213*l + 3. Let c be j(-3). Let z(r) = 7*r**2 - 1. Let t be z(1). Solve c*v - i*v + t = 0 for v.
3
Let s be 45/9*(-6)/(-10). Solve -16 = s*a + 5*a for a.
-2
Suppose 3*f - f + 86 = 0. Let p = f - -47. Solve 0*t + p = -t for t.
-4
Let r(s) = -18*s + 137. Let z be r(6). Solve 16*f + z - 13 = 0 for f.
-1
Suppose 45*t = 50*t - 45. Solve -4 = -7*l + t*l for l.
-2
Suppose 5*r = 2*t - 24, -14 = -5*t + 2*r - r. Let j(b) = -4*b**t + 6*b - b - b**3 + 0*b**3 + 1. Let n be j(-5). Solve -n = -3*z + 14 for z.
5
Suppose 0 = z + 2*w - w - 11, 0 = -4*z + 5*w + 44. Let x = 56 - 65. Let b = z + x. Solve -q = b - 7 for q.
5
Suppose 5*k + 4*r - 955 = -170, 3*k = r + 471. Solve 156*z - 5 = k*z for z.
-5
Let x(s) = s**2 + 5*s - 73. Let j be x(7). Solve 0*d + 11 = j*d for d.
1
Suppose 0 = n + 3*v - 12, 0 = -4*n + 4*v + 37 + 27. Solve 5 = -16*i + n*i for i.
-5
Suppose -5*c + 4*y = -37, 0 = -5*c - 3*y - 2*y + 55. Suppose c*l = -5*l. Suppose 2*s = 3*j - 54, -2*s - 5 = -j + 3*s. Solve l*u + j = -4*u for u.
-5
Suppose -2*c - 15 = 5*n, -4*c + 173*n = 168*n - 45. Solve c*m = 32 - 37 for m.
-1
Let y(v) be the third derivative of v**4/8 - 4*v**2. Let i be y(1). Let b(c) = -3*c**2 + 36*c + 2. Let l be b(12). Solve i*t = l*t for t.
0
Let c = -87 + 87. Suppose c = 4*d - 2*n - 34, d - 4*n + 10 = 1. Solve -4*r + d = -5 for r.
4
Let c = -58 + 67. Suppose -m - c = -3*q, -4*m - 5*q + 33 - 1 = 0. Suppose x = -0*x. Solve x*y - 12 = -m*y for y.
4
Let k(r) = 33*r**3 + 3 + 4 + 8*r**2 - 32*r**3 - r. Let x be k(-8). Solve 6*n - 3*n = -x for n.
-5
Let k(s) = -s**3 + 8*s**2 + 8*s + 11. Let m be k(9). Let b = m + 2. Solve 3*t - b*t + 2 = 0 for t.
2
Suppose 0 = -3*h + 4*g + 16, -3*h = g - 6 - 20. Solve m = -h + 3 for m.
-5
Suppose -22 = -13*s + 4. Solve o + 0*o + s = 0 for o.
-2
Let d = 1 + 2. Suppose d = -5*s + 78. Let t = -76 + 78. Solve -t*k = 3*k - s for k.
3
Let v be (4/6)/(6/63). Suppose 5*s - v + 22 = 0. Let r be s/1*(6 - 11). Solve o - 4*o = -r for o.
5
Let q = -69 - -78. Solve -6*i = -15 - q for i.
4
Suppose -3*z = -a - 5*z + 99, 5*a - 495 = z. Let p = 101 - a. Solve -p = -y - 0 for y.
2
Let o be 1 + -17 - 6/(-6). Let f = o - -15. Suppose 4*a = -4*p, 5*a + 8 = -p - 4. Solve 0 = -f*r + p*r for r.
0
Suppose 14*h - 80 = -2*h. Solve h*i = 9*i for i.
0
Suppose -3*l - 2*l = 15. Let g(w) = -w**3 - 3*w**2 + w + 3. Let t be g(l). Solve t = 10*u - 15*u for u.
0
Suppose -3*d + 6 - 87 = 0. Let q = d - -38. Suppose 5*f - 65 - q = 2*p, 22 = 2*f - 5*p. Solve 0*x + 4*x - f = 0 for x.
4
Let z be 3/(0 + 2/2). Let m be (2 - (0 + 0))/(8/32). Solve -q = -z*q - m for q.
-4
Let s(q) = -4*q**3 - 8*q + 4*q**3 + 2*q**3 + 5. Let w be s(2). Solve -4*p - 7 = w for p.
-3
Let u = -13 + 14. Suppose 0 + 3 = 3*r, -5*c + r = u. Solve -x + 1 + 0 = c for x.
1
Suppose 4*b - 8*b = -84. Suppose 4*j + 4 = -2*n, 3*n = 4*j - j + b. Let c = 13 + j. Solve -m = m - c for m.
5
Suppose 0 = 20*m - 30*m + 750. Solve 13*d + 2*d - m = 0 for d.
5
Let n be ((-2)/(-1))/((-26)/(-91)). Solve -n*h = -6 - 1 for h.
1
Let t(z) = -z**3 + 6*z**2 + 4*z - 9. Let d be t(6). Solve 6*u - d = u for u.
3
Let r = 2 + -11. Let s(p) = 2 + 10 - 2 + p. Let h be s(r). Solve 1 = -x - h for x.
-2
Suppose 4*v - 738 = 10*v. Let b = v + 127. Let h = 4 + -3. Solve 9 = -b*g + h for g.
-2
Let j(r) = r**2 - 14*r - 32. Suppose -6*q - 16 = -7*q. Let f be j(q). Solve 4*w - 6 + 26 = f for w.
-5
Suppose 8*y + 0*y = -40. Let v be -4*(4 - -1)/y. Solve -s - v + 7 = 0 for s.
3
Suppose -4*d + 0*h - 4*h = 0, 2*d = -h + 3. Solve -f = -0*f - d for f.
3
Let w(s) = -2*s - 12. Let d be w(-8). Let y = -22 - -34. Solve m + y = d*m for m.
4
Let x = -25 + 25. Suppose g - 60 = -3*n + 3*g, -3*g - 9 = x. Solve -4*w + n = 6 for w.
3
Suppose 5*i + v = -59 + 19, -5*i - 55 = -2*v. Let l be 2*-13*i/(-18). Let q = -12 - l. Solve q + 0 = y for y.
1
Let g(z) be the second derivative of -2*z**3 + 10*z + 0 - 3*z**2 - 1/12*z**4. Let q be g(-11). Solve -k = -3 + q for k.
-2
Let o(m) = m + 24. Let i be o(-19). Let h be (i - (7 + -4)) + 0. Suppose 0 = -3*w + 5*r + 15, 5*w + 2*r + 8 = h. Solve u - 2 = -w*u for u.
2
Let k(u) = -4*u**3 + u**2 + u - 1. Let w be k(1). Let v = 4 + w. Let t(d) = 11*d - 45. Let q be t(6). Solve -5*j = -v + q for j.
-4
Let w = 40 + -40. Suppose -4*h - 20 = w, 0 = -5*u + 4*h + 31 + 4. Solve u*x + 8 = 2 for x.
-2
Let w be (-3)/51 - (-7)/119. Solve w = -8*j + 16 for j.
2
Let m be (2/(-8))/(-11 + 4914/448). Solve -7*o + 3 = -m*o for o.
-3
Suppose 3*g + 12 = 5*k - 2, -2*g = 2*k - 12. Suppose 2*o - 11 = p, -4*o - 1 = -o + g*p. Solve -u + 4 = o*u for u.
1
Suppose 2*m - m = v - 16, -4*v + 29 = 3*m. Solve v = 6*n - 1 for n.
2
Let l = -14 - -16. Suppose o + 4*q - 4 - 6 = 0, o - 6 = -l*q. Solve 15 = 3*f + o*f for f.
3
Let p = -1 + 5. Let d(g) = 4*g - 15. Let a be d(7). Let w(o) = -o**2 + 14*o - 7. Let r be w(a). Solve -2*h + r*h = -p for h.
-1
Suppose 0 = 21*a - 23*a - 4. Let s = a - -4. Solve -s*i - 3*i = -5 for i.
1
Let m(p) = p + 21. Let g be m(-9). Solve -u + g = 14 for u.
-2
Suppose -3*m + m = -4. Suppose 6*q = m*q - 16. Let x(p) = 2*p + 8. Let j be x(q). Solve 4*v + v = j for v.
0
Let g(x) = -x**3 - 13*x**2 + 7. Let u be g(-13). Let w(o) = o**3 - 8*o**2 + 6*o + 8. Let s be w(u). Suppose -6*v = -5*v - 1. Solve -2*j = s + v for j.
-1
Let o(x) = x**3 + 2*x**2 - 2*x + 4. Let b be ((-4)/8)/(4/24). Let l be o(b). Solve 2 - l = -q for q.
-1
Let m = 8 - 8. Suppose m = 2*o + 3 - 9. Suppose 2*d = -0*d + 2, -o*d - 27 = -3*y. Solve 5*f + y = 3*f for f.
-5
Suppose 67*l = -15 + 484. Solve -l*j + 3 = 10 for j.
-1
Suppose 3*j = -0*j + 2*t - 4, -2*j + 19 = 3*t. Solve j*p + 25 = 31 for p.
3
Let m(j) = -116*j - 1262. Let u be m(-11). Solve u*k = 13*k + 4 for k.
4
Suppose -3*i + 4*i - 25 = 0. Solve 5*o + 0*o = i for o.
5
Let n = 567 + -564. Solve -n*p + 6 = -3 for p.
3
Let t = 9 - 6. Suppose -2*o = -3*u + 34, -u - o = -t*o - 18. Suppose -j + u = j. Solve -j*b + 3*b = -5 for b.
5
Suppose 2*w = w. Let x be w/((-3)/(-4 + 3)). Solve r + 3 - 2 = x for r.
-1
Let h be 40/(40/15 + -2). Suppose 6 + h = 11*d. Solve d = 2*a - 4 for a.
5
Let g(o) = 7*o - 7. Let n be g(1). Let b be 2/(-10) - (152/(-10) - n). Solve -b = 3*c - 0*c for c.
-5
Suppose 0 = -3*g - 15, -3*c - 2*g = 3 + 1. Solve 10 = -4*w + c for w.
-2
Let b be (-4)/(3/(-2)*(-48)/(-36)). Solve -b*z = 7 - 1 for z.
-3
Let n = 20 + -21. Let s be ((-236)/(-20))/(n/(-5)). Let c = s + -34. Solve 4*p + c = 5 for p.
-5
Let m = -59 - -63. Suppose 2 = 2*f, 4*r - 2*r - 4 = -m*f. Solve -4*b + r*b = 0 for b.
0
Let t(z) = -z**2 + 4. Let d be t(0). Suppose -5*k = -x - 15, x = 2*x + 3*k - 17. Solve -d*w + 25 = x for w.
5
Suppose -r - r = -n - 8, -3*r = -15. Solve 0 = -7*k + n*k for k.
0
Suppose 0 = 4*j + j - 125. Suppose 2 + 50 = 4*w. S