0 for c.
-4
Let q(h) = 2*h + 12. Let j be q(-12). Let r = -11 - j. Solve y = r - 2 for y.
-1
Suppose -5*v = -2*v - 5*z - 9, -6 = -2*v - 4*z. Suppose 27 = 3*w + v*o, w + o = -w + 14. Solve 0 = w*d - 3*d for d.
0
Let w = -4 - -6. Suppose -5*n = -2*c + 10 - 32, w*n - 4*c - 12 = 0. Let q(s) = 5*s**2 - 1. Let r be q(-1). Solve -n*k = -2*k - r for k.
2
Let b = 8 - -6. Let v be 0/1 + -84 + 1. Let l = 122 + v. Solve -5*m + b = l for m.
-5
Suppose -5*j - 10 = -0*j. Let u be 4/6*(-9)/j. Suppose 0 = -5*z + u*c, 11*z - 2*c = 6*z. Solve z = -5*k - 5 for k.
-1
Suppose y - 3 = 5. Let w = -5 + y. Solve 3 = w*x - 0 for x.
1
Let j be (-20)/6 + (-4)/6. Let l = j + 13. Let p = -60 + 64. Solve a + l = p*a for a.
3
Let h(v) = v + 27. Let u be h(-17). Solve -w + 6 - u = 0 for w.
-4
Let b(g) = g**3 - 6*g**2 - 6*g + 1. Let q be b(7). Solve -3*z + q = z for z.
2
Let r = 52 - 47. Solve -13 + r = -2*f for f.
4
Let r = -3 - -7. Solve 0*q + q - r = 0 for q.
4
Suppose -5 + 93 = 5*o - 4*h, -24 = -2*o - 4*h. Solve -4*s + 0*s = o for s.
-4
Suppose 5*f = -d + 20, 3*f + 2*d - 2 - 17 = 0. Solve j + 2 = f for j.
1
Suppose -4*t + 7*g - 2*g = -144, -g + 180 = 5*t. Let z be (t/10)/(2/5). Solve -5*v + 11 = -z for v.
4
Let k(j) = j - 2. Let w(a) = 2*a**2 + 3*a + 3. Let l be w(-2). Let v be k(l). Solve v*z = z for z.
0
Let d = -1 + 5. Suppose 4*q + 7 = -3*t + 19, -d*q = -t - 12. Solve 0 = 6*p - q*p + 15 for p.
-5
Let l(v) = v**2 - 11*v + 25. Let a be l(8). Solve 4 = g - a for g.
5
Let h be -5 - (1 - (1 - 2)). Let b(o) = -o - 3. Let z be b(h). Let m be (-24)/(-9) + z/(-6). Solve -m*j + 9 = j for j.
3
Let a(v) = 5*v**2 + v - 1. Suppose c = -3*c + 4. Let h be a(c). Suppose -4*d + 20 = -2*b - 2*b, h*d - 24 = 4*b. Solve l + d = -l for l.
-2
Let r be ((-15 - 1)/(-2))/(-1). Let l(p) = p + 10. Let c be l(r). Suppose -c*z + z = 0. Solve z = -3*f - 2*f - 15 for f.
-3
Suppose -2*a = 2*a - 32. Suppose -4*f + 7*f = 3*t - 3, 0 = 4*f + 2*t - a. Solve 3*g = 2*g + f for g.
1
Let c(j) = -j**3 - 6*j**2 + j + 8. Let i be c(-6). Solve 0 = 3*o + i*o + 15 for o.
-3
Let i = 12 + -12. Solve i - 3 = -3*n for n.
1
Suppose -5*k = -6*k. Solve 0 = 2*f - k - 4 for f.
2
Let h(t) = -t**2 - 4*t + 5. Let g be h(0). Solve g*n + 5 + 10 = 0 for n.
-3
Suppose -u + 10 = -t, -3*u + 5 - 24 = 4*t. Let o = t - -15. Solve 0 = b + b + o for b.
-4
Let o(r) = r + 6. Let h be o(-7). Let m(v) be the first derivative of -5*v**4/4 - v**3/3 - 2. Let f be m(h). Solve p + 1 + f = 0 for p.
-5
Let t(a) = a + 13. Let l be t(-10). Suppose 3*y - 2*b + 8 = 2*y, 0 = -4*b + 20. Solve 5*q + y = -l for q.
-1
Let p(i) = 3*i**2 - 2*i - 1. Let s be p(2). Suppose -4*y + n = -21, -5*y - 3*n + s*n = -40. Let o be -8*(1 + -2)*1. Solve -y*q - o = 12 for q.
-5
Let u = -69 + 70. Let o(a) = -a + 1. Let t be o(1). Solve u + t = -n for n.
-1
Let h(b) = -b + 9. Let p be h(0). Solve 0 = 3*f - 6 - p for f.
5
Suppose 0 = 3*x + 1 - 7. Solve -5 + x = -c for c.
3
Suppose -5*u = -2*q - 17, 31 = -2*q + 6*q + 3*u. Solve 2 = q*g + 22 for g.
-5
Let f(m) = -m - 1. Let u be f(-3). Let x = 39 + -38. Solve -w - x = -u for w.
1
Let c = -148 + 158. Solve 4*p - c = -p for p.
2
Suppose -12 = -x + 3*l, 6 = -2*x - l + 2. Solve x = -5*y + y + 8 for y.
2
Let t(z) = z**3 - 5*z**2 - z + 8. Let i be t(5). Solve b + 16 = -i*b for b.
-4
Let b(z) = -z**2 - 10*z - 13. Let q be b(-7). Solve 4*w - q = 4 for w.
3
Suppose 0*u - 18 = -u. Let j be (-16)/(-6) - (-52)/(-78). Suppose j + u = 4*f. Solve -f*l - 9 = 1 for l.
-2
Let q(t) = t**3 - 3*t**2 - t + 3. Let f(r) = -2*r - 5. Let k be f(-4). Let a be q(k). Solve -4*n + 8 = -a*n for n.
2
Let l = -122 - -129. Solve 2*s + 20 = l*s for s.
4
Suppose -79 = -3*z - 19. Solve 0 = n - 6*n + z for n.
4
Let v(h) = h**2 + 9*h + 19. Let x be v(-7). Solve 5*a = x + 15 for a.
4
Let o be (1/(-3))/((-7)/105). Suppose 0 = 3*l + l + 16, -u + 20 = -o*l. Solve u*n = -n - 4 for n.
-4
Let j = -8 + 11. Suppose 0*x = -j*x - 219. Let a be 2/(-12) + x/(-6). Solve 5*u + a = u for u.
-3
Let y be -3*1 - (-184)/8. Solve 2*d + 3*d = -y for d.
-4
Suppose -3 + 43 = 5*j. Suppose 4*h = -0 + j. Suppose 0 = w - 4*a + 2, -h*a = w - 0*a - 16. Solve 2*x - w + 0 = 0 for x.
5
Let j = 1 - 5. Let d be 21/(-12)*j/1. Solve x - 2 = -d for x.
-5
Let u = -1 + 4. Suppose m + 4*o + 18 = u*m, -3*o - 6 = 0. Solve -m*h + 0*h - 25 = 0 for h.
-5
Suppose 3*s = -6 + 15. Suppose 5*z + 25 = -5*h, 15 = 5*z - 0*h - s*h. Let p(r) = r**3 - r + 3. Let f be p(z). Solve n - 8 = f*n for n.
-4
Let t(v) = 5*v**2 + 2*v + 1. Let z be t(-1). Suppose 0 = 5*h - 1 - z. Solve 3*y + h = -2 for y.
-1
Let d(c) be the first derivative of c**4/4 - c**3/3 - c**2/2 - 1. Let t be d(2). Suppose -k = t*k - 24. Solve -n + k = n for n.
4
Suppose -2*g - 2*z = -32, 3*g - 3*z = -2*g + 104. Let l = g - 18. Solve -x - 1 = l for x.
-2
Let m = 32 - 31. Solve 2*z - z + m = 0 for z.
-1
Suppose 2*j = j + 8. Suppose -3*h = -h - j. Solve 16 = h*g + 4 for g.
3
Let g = 6 + -4. Suppose g*t = t. Solve -3*x + t*x - 3 = 0 for x.
-1
Let i(r) = 5*r - r**2 - 4*r + r**3 + 5*r**2 - 2. Let q be i(-3). Solve -h + q*h = 0 for h.
0
Suppose 2*f = -10, -4*u - 32 + 7 = 5*f. Solve u = v - 1 - 3 for v.
4
Let c = -46 - -48. Solve 3 = -c*t - 5 for t.
-4
Let u be (-136)/(-36) - 6/(-27). Solve -4*r + 12 = u for r.
2
Let i = -5 - -8. Let a be (-6)/(-21) + 1/((-14)/(-66)). Solve -i = a*g - 2*g for g.
-1
Let b(q) = -2*q - 1. Let h be b(-4). Let m = h - 4. Let f be (0/4)/(4 + -3). Solve -z + f*z = -m for z.
3
Let u be 49/14 + (-1)/2. Solve u*m + 3 - 6 = 0 for m.
1
Let t = 3 - 5. Let p be (-1 + -1)*t/1. Suppose p*u - 39 + 7 = 0. Solve 3*g - u = g for g.
4
Suppose -3*y - 2*u = 13, 4*u + 13 + 9 = -2*y. Suppose 2*a + 3*a + 5 = 0. Let q = a - y. Solve -2*g + 6*g + 16 = q for g.
-4
Let b(t) = t**2 + 5*t + 7. Let p be b(-5). Suppose 0 = -5*w - 2*k + 5 + p, 0 = -4*w + 4*k + 32. Suppose -8*v = -w*v - 24. Solve 14 = -5*r - v for r.
-4
Suppose 0*x - 2*x = -4. Suppose -7*q - 2 = -9. Solve q + x = -s for s.
-3
Let r be (8/(-10))/(62/(-465)). Solve 5*d + 4 = -r for d.
-2
Suppose -3*v = -5*v + 8. Solve l = v*l - 3 for l.
1
Let d = -397 - -406. Let y = 1 + 2. Suppose 0 = 5*h + y*f - 4, -16 = -4*h + 4*f - 0*f. Solve d = -q - h*q for q.
-3
Suppose 3*a - k + 20 = -6*k, 2*a + 4 = -k. Suppose 0 = -a*f - 3*f + 75. Suppose -f = 3*v - 8*v. Solve v = 2*j + 1 for j.
2
Suppose -20 = -5*o + 4*s, 5*o + 5*s = 2*s - 15. Solve o = 2*b - 0*b - 10 for b.
5
Suppose 29 = -g + 6. Let j(b) = -12*b**2 - 1. Let f be j(-1). Let d = f - g. Solve i - d = -4*i for i.
2
Let z be (-1 + 0 - -2) + 0. Let w be 44/12 - z/(-3). Suppose w*s - 10 - 2 = 0. Solve -s*u = u - 16 for u.
4
Let a(b) = -b**3 - 4*b**2 + 6*b + 7. Let g be a(-5). Solve g*y + 5 = 1 for y.
-2
Let v = -19 + 7. Let k be ((-9)/v)/(1/4). Solve -k*f + 8 + 4 = 0 for f.
4
Let k = 16 + -8. Solve -1 = 3*q + k for q.
-3
Suppose -53*d - 24 = -65*d. Solve 10 = -d*h + 2 for h.
-4
Let a(j) = j**2 - 1. Let g(y) = 7*y**2 - y - 6. Let q(o) = -6*a(o) + g(o). Let x be (2 + 0)*2/4. Let m be q(x). Solve m*h = 5*h + 25 for h.
-5
Let t(k) = -k**3 + 7*k**2 + 7*k + 3. Let m be t(8). Let c be -1 + 1 + m + 10. Solve 2*b - 3 = c*b for b.
-1
Let w(k) = k - 3. Let b be w(15). Solve l = -2*l + b for l.
4
Let u = -34 + 37. Solve -u = l - 4 for l.
1
Let b(g) be the first derivative of g**2/2 + 10*g - 3. Let z be b(-7). Solve -z*s = -5*s - 2 for s.
-1
Let o = 13 - 10. Solve -o*y + 16 = y for y.
4
Let s = -8 + 10. Suppose t + 1 = 4*w - 5, 3*w = 4*t - 2. Solve -r - s - w = 0 for r.
-4
Let f = 70 + -48. Suppose -l - 2*p - f = -5*l, 5*l = -3*p + 11. Solve 0 = l*k + k + 20 for k.
-4
Let h be ((-8)/4)/10 + 32/10. Solve -2*c - h = -c for c.
-3
Suppose -4*q - 22 = -o, -q + 4 = 5*o - 1. Suppose 5*p = 4*b + 50, 5*p - 60 = -0*p + o*b. Solve -4*m + p = -2 for m.
4
Let p be ((-28)/8)/(-7)*0 + 4. Suppose -w = -2*w + 5. Suppose 4*v + v = w. Solve -p = -g - v for g.
3
Suppose -2*m = m + 3*a + 3, 5*a + 25 = 5*m. Solve 3*u + m*u + 25 = 0 for u.
-5
Let j be 0 - 0 - 25/(-5). Let o be 1*(2 - j)*-1. Solve -o*l = 6 - 0 for l.
-2
Suppose -u + 19 - 14 = 0. Solve -u*p = -14 - 1 for p.
3
Let o be 5 - (2/(-2) + 2). Solve 0*t = -o*t + 4 for t.
1
Let t be (-8)/(-40) - (-14)/5. Suppose -4*x - 4*y + 36 = -0*y, -t*x - 4*y + 32 = 0. Suppose 4*k - k = 0. Solve k = -x*m - 0*m + 12 for m.
3
Let h(a) = a**3 - 4*a**2 + 3*a. L