 c(0). Suppose k = 2*a - 5*a + 21. Solve -3*b = x + x + a, 4*x = 5*b - 25 for x.
-5
Suppose 5*h = -5*i - 0*h + 5, 10 = 4*i + h. Solve 0 = -3*z + 2*z - 5*p + i, 3*z = 2*p - 8 for z.
-2
Let o = -4 + 8. Let f = 0 + o. Let y(u) = -u**3 + 5*u**2 + u. Let v be y(5). Solve f*d - z = 2*z - v, 0 = -d - 4*z - 6 for d.
-2
Let v(m) be the first derivative of m**4/4 + m**3/3 + m**2/2 + 6*m + 2. Let z be v(0). Suppose -2*n = n - z. Solve -2*h = g - 2, -3*g = -g - n*h + 14 for g.
-4
Suppose 15 + 15 = 2*l. Solve -h - l = -4*o, 3*o - 14 = -0*h - 2*h for h.
1
Suppose -12 = 3*r - 6*r. Suppose -3*h + 21 = k, r + 1 = -h. Suppose 2*u - k = u + 3*n, 0 = -2*u - n + 37. Solve -u = g + 4*s, -3*s - 14 = 5*g + 23 for g.
-5
Suppose 2*v = 3*v - 15. Solve -3*f = v, -f - 28 = -c + 4*f for c.
3
Suppose -r + 60 = 5*r. Solve 0 = -5*n + r, 0 = 2*w + w - n - 10 for w.
4
Let x = -5 + 26. Let y = 12 + x. Solve -3*l - 5*d = -7, 5*l - y = 4*d - 9 for l.
4
Let w = -2 - -5. Let t = -3 + w. Solve -5*p - 17 = -2*h - 2*h, -h + p + 4 = t for h.
3
Let h(v) = v**3 + 8*v**2 + 6*v - 1. Let d be h(-7). Let p = -6 + d. Solve 4*g - k = 5, 7*k - 2*k + 5 = p for g.
1
Suppose 0 = 5*s + o + 4*o - 45, 3*s = o + 39. Let j be (1/(-2))/((-3)/s). Solve -5*v - 7 = t, 0*t - 4*t - j*v - 10 = 0 for t.
-2
Suppose 0 = 10*l - 6*l - 8. Solve -5*y - 20 = -5*i, -3*y + 2*i - 17 = l*y for y.
-3
Let c = 0 + 0. Suppose c*t = 2*t - 18. Suppose 9 = 5*m - 6. Solve -4*p = -5*j - 3, -m*p - j - t = -p for p.
-3
Suppose i - 2*c = -1, -3*c + 12 = 2*i - 0*c. Suppose -4*x - 5*u - 2 = 0, 0 = 3*x - i*u - 12. Solve 3*n - x*o + 5*o = -3, 5*n + 17 = o for n.
-3
Let p = 1 - -2. Let b = p - 1. Let q be 0/(0 - -1) - -3. Solve b*l - 1 = q, -5*l = w - 13 for w.
3
Let t(r) = -r**2 + 2*r. Let p be t(5). Let s be p/(-21) + 8/28. Suppose -5*m + s = -39. Solve 3*j - 5 = -c, -m*c = -3*c + 5*j - 15 for c.
2
Let x = -67 - -43. Let g be x/(6/4*-1). Solve -4*d - g = -4*a, 2*a = -5*d - 4 - 2 for d.
-2
Let z = -4 + 8. Let y = 1 + z. Solve 3*d = -2*k + 13, 4*d + 21 = 4*k + y for d.
1
Suppose 16 = x - 3*j, 5*x + j - 4*j = 32. Solve x*h = 5*z - 41, -5*z + 4 + 5 = 4*h for h.
-4
Suppose 0 = -4*n - m - 2*m + 12, 20 = 2*n + 5*m. Solve n = -2*q - 8, -3*k + 17 = 2*k + 2*q for k.
5
Suppose z + 2 = 2*z. Let a(r) = -r**3 + 2*r**2 + r + 2. Let h be a(z). Solve 7*t = -h*k + 4*t - 17, 3*k - 3*t = 3 for k.
-2
Suppose 0 = 4*h - 9 - 3, 4*h = 5*a + 2. Solve -2*f = -4*o - a, -f - 14 = -3*f - 2*o for f.
5
Suppose -2*x + 3 = -7. Solve x*g = -3*l - 0*l - 6, -g + 5*l = 18 for g.
-3
Let p(r) = -r**3 + r**2 + 8*r - 7. Let y be p(2). Solve -20 = -y*v, -3*z - 12 = -z - 4*v for z.
2
Suppose x - 2 = 2. Solve -x*s = -z - 11, 5*z + 2*s + 19 = 4*s for z.
-3
Let w be (-46)/14 + (-6)/(-21). Let z = w + 4. Let x be 8 + -1 + -2 + z. Solve x = -4*t + 5*i, 2*t - t = -i - 6 for t.
-4
Let f be 93/2*(-12)/(-18). Let y = 31 - f. Suppose 4*b + 1 = q + 16, 4*b - 5 = 3*q. Solve y = 3*i - 2*p - 2*p + 24, 5*i - q*p + 35 = 0 for i.
-4
Suppose 49 = 4*b + 21. Solve 0 = b*k - 2*k + 2*u + 18, -4*k = u + 15 for k.
-4
Let m be (0*3/(-9))/(-1). Suppose x = -m + 2. Suppose -10*s + 5*s + 25 = 0. Solve 0 = -s*n + x*h + 13, 3*n = -2*h - 0*h + 11 for n.
3
Suppose l - 3 + 0 = 4*p, 15 = 5*p - 5*l. Let q(j) = j - 4. Let c be q(5). Let f be (-5 - p) + 8*c. Solve -4*m + 4 = -2*m, 4*g + f*m = 6 for g.
-1
Let g = 4 + 1. Let f be (6/(-4))/(33/(-88)). Solve 2*b + 8 = b + f*x, -b - g*x = -10 for b.
0
Let v(y) = -y - 9. Let d be v(-11). Suppose -i = -d*i + 10. Solve 2*r + 2*k = 7*r + 23, 2*r = k - i for r.
-3
Let l(i) = -10*i**2 - 2*i - 1. Let p be l(-1). Let j = -4 - p. Suppose -4*d + 25 = j. Solve -4*h = -0*h - d*n - 41, -3*h + n + 17 = 0 for h.
4
Let u be 1/(-6) + (-2)/(-12). Solve 2*s - t - 2*t - 9 = u, s - 7 = 4*t for s.
3
Let k = -4 - -6. Let x be ((-36)/k)/(-3) + -2. Solve -4*y - x = 4*h, -2*y - 3*h - 6 = h for y.
1
Let x(p) be the first derivative of -p**2/2 - 6*p + 1. Let k be x(-8). Solve -k*v + 3*n = -3*v - 9, 0 = -2*v + n - 4 for v.
-3
Let d be 24/(-20)*15/(-6). Suppose 0*p = -p + 4, d*j + 4*p = 16. Solve b = 2*m, -12 = 3*b - j*b for m.
-2
Let o be (1/(-2))/((-6)/12). Let r be 0 + o + 0 + 1. Solve 0 = 4*j - 5*a - 11, 0 = -0*j + 5*j - r*a - 18 for j.
4
Suppose 2*p + 2 = 0, -22 = 2*j - 7*j - 3*p. Solve -4*x - 5*q - 20 = 0, 2*q = j*x - x + 20 for x.
-5
Suppose -3*k = -5*k + 6. Solve -13 = -k*p + 2, 5*p = -5*q + 50 for q.
5
Let v(n) be the third derivative of -n**5/60 - 3*n**4/8 - n**3/2 - 6*n**2. Let y be v(-8). Solve 2*h + 5 + 8 = x, y*h + 15 = -x for x.
5
Suppose 0*u - 2 = -d + 2*u, 0 = d + 2*u - 22. Let z be (d + 3 + -2)*2. Let f = -16 + z. Solve 4*j + f = -4*s - 10, 0 = -3*s - 9 for j.
-2
Let m be 2/(-4) - (-25)/10. Let z be ((-4)/m - -2)*-1. Let f be (-2)/3 - (-8)/3. Solve 5*p + 2 = f*b, p - b - 1 - 1 = z for p.
-2
Suppose 7*h = 4*h + 21. Solve 4*n + 21 = f, 4*f = 6*f - n - h for f.
1
Suppose 0*b - 3*i - 8 = -b, -5*b - 3*i = -22. Suppose 3*q = b*q. Solve q*d + d - 3*g + 9 = 0, 0 = d + 5*g - 7 for d.
-3
Let y be 1/(2 - 99/51). Let u = y - 11. Suppose 0 = -x + u*x - 25. Solve 2*s = -2*b + 4*b - 6, -b + 3 = -x*s for s.
0
Let f = 13 - 9. Solve f*w + 20 = -4*j, -w = 5*j - 0*w + 13 for j.
-2
Let s = 8 + -24. Let r be ((-22)/(-4))/((-8)/s). Solve 3*m - 1 + r = -2*p, 5*p - 13 = 2*m for p.
1
Suppose -12 = -0*l - 3*l. Solve -4*r + l*u = 24, -2*r + 0*r + 8 = 3*u for r.
-2
Let a = -28 + 40. Solve -2*h = 2*v - h + a, 0 = 3*v - 3*h + 9 for v.
-5
Let m = 0 + -1. Let u(y) = y**2 - 2*y - 2. Let n be u(m). Solve 4*g - 2 = c + n, -c - 5*g + 6 = 0 for c.
1
Let s(f) = -f**2 - 3*f. Let v be s(-3). Solve 5*x + 5*z = v, x = z + 3 + 5 for x.
4
Let z be 3/9 + 6/9. Solve 9 = 2*h + z, h = -r + 7 for r.
3
Let t = 14 - 10. Suppose -2*x + 28 = -4*i, -3*i + 7 = t. Solve -3*c + 5*r + x = 0, 3*c - 6 = -c - r for c.
2
Let v(w) = 1. Let m(i) = i**2 - 6*i + 6. Let f(b) = -m(b) + 2*v(b). Let x be (0 + 4)*(-5)/(-5). Let k be f(x). Solve -d - 3 = z, z + k*d - 2 = -11 for z.
-1
Let t be -2*((-3)/(-2) + -1). Let o = 8 + t. Let z be (-10)/(-4) - 1/(-2). Solve 4 + 5 = z*m + 3*f, 0 = -5*m + 3*f + o for m.
2
Suppose 5*v = -0*v + 15. Solve -3*u = -v*w - 3, 2*w = 3*w + 5*u + 13 for w.
-3
Let h(u) = -2*u**3 - u**2 + 1. Let v be h(-1). Solve -4*b = -k - 7, -v*b + b - 2*k = 5 for b.
1
Let j be (-6)/(-8) + 2/8. Let m(h) = h**2 - 1. Let r be m(j). Solve r = 2*u - v + 5 - 0, 0 = 4*u + 4*v + 28 for u.
-4
Let y(v) = v**3 + 12*v**2 - 13*v + 2. Let a be y(-13). Let x be 3*(-1)/(-3)*a. Solve 0 = -3*w + 4*g + 5, 0 = x*w + 2*w - 2*g + 10 for w.
-5
Suppose 0*s - s - 4*b + 28 = 0, -3*b + 55 = 5*s. Let x(u) = u**3 - 9*u**2 + 9*u - 5. Let y be x(s). Solve -3*q - y*k = -0*k, -5*k - 9 = -4*q for q.
1
Suppose 0 = 2*h + 3*n + 18, -n - 19 = 5*h - 0*n. Let o be (-1)/h + (-22)/(-6). Solve y + o = b, -4*y - y + 12 = 3*b for y.
0
Let h be 9/3*(-1 + 0). Let g be 1/h + (-39)/(-9). Suppose o - 2 = 2. Solve -2*p = -o*z + z - g, p - 7 = -z for z.
2
Let k = 27 - 17. Solve -5*c - 3*n = -2*n + 5, -3*c - 2*n = k for c.
0
Suppose 5*m - 24 = 2*m. Suppose -2*k - 2*i - 152 = 0, 3*i - 84 = k - 0*i. Let h be (-2)/m + k/(-24). Solve -5*c - 3 = -h*r, 0 = -4*c + 2*r - 0*r - 4 for c.
-3
Suppose 5*c + 2*o = o + 6, -2*c = 5*o + 16. Let a(z) = -z + 8. Let h be a(6). Let i be h*-1*(-3)/6. Solve 1 = -k, q - 4*k = -c*k - i for q.
-3
Suppose 0*i = -3*j + 4*i - 4, -i + 1 = 0. Suppose j = -4*a + 48 + 16. Suppose -4*t = -a + 4. Solve u = -4*g + 3, 2*g + t = -6*u + u for g.
1
Let x(n) = n - 17. Let g be x(23). Solve 0 = -p + f + 6, g*f - 12 = -3*p + 3*f for p.
5
Suppose -u - u = -2. Let p be 0 + u + (8 - 3). Solve 3*c - p*c = -3*f + 3, 0 = -5*f + c + 13 for f.
3
Let h = -7 + 7. Solve -3*c - 2*c = 3*o + 10, h = 4*c - 5*o + 8 for c.
-2
Let t(h) = h - 4*h + 0*h - 1. Let c be t(-2). Solve -3*k - q - c = -2*q, -5*q + 25 = k for k.
0
Let m be (-24)/32 + 3/4. Suppose 0 = 3*o + 3*r - 12, m = r + 1. Solve -d = -o*k - 0*k - 4, 2*k = -2*d - 4 for k.
-1
Let l be ((-3)/15 + 1)*5. Suppose -10 + 5 = -b. Solve 2*u - 3*u - 1 = -b*y, -l*u + 15 = -y for u.
4
Suppose -4*t + 28 = 3*c, 3*t + 5*c = c + 14. Suppose 0 = h - t - 0. Let r be (5/h)/(1/28). Solve o = -3*x + 10, 0*o + r = 4*x + o for x.
4
Suppose -3*r + 2 = -2*r. Suppose 12 = r*a + z, 0 = a + 5*z - 8 - 16. Solve 0*l + 5*l - 7 = -a*c, -5 = -l + c for l.
3
Suppose -3*i