 for c.
2
Suppose -2*w = 2*w - 16. Suppose w*a - 10 = 26. Let u be 3/a*3 - -14. Solve -3*z - u = 0, -9 = -5*x + 2*z - 24 for x.
-5
Let m be ((-2)/3)/(4/(-18)). Solve 2*h + 8 = -2*c - 8, h + 18 = -m*c for h.
-3
Let q = 3 + -30. Let v be (-2)/(-9) - 156/q. Solve 5*m - r + v*r - 5 = 0, -2*m - r + 3 = 0 for m.
2
Let h be -6*-3*(-3)/(-27). Solve 0*t - t = -3*g + 14, 14 = -4*t - h*g for t.
-5
Let d(z) = -z**2 + 2. Let i(g) = g - 1. Let u be i(1). Let v be d(u). Solve v*k - p = 7, 1 = 3*k + 3*p + 13 for k.
1
Suppose 4*s - 11 = 4*h + s, 14 = -h + 3*s. Suppose 4 + 0 = 2*m. Let u = m + h. Solve -2*v = -3*n, u*n = -n + 4*v - 4 for n.
2
Let y = -32 - -53. Solve 5*r - y = -4*c, -4*c + c = r - 13 for c.
4
Let b = 31 - 46. Let v = -30 - b. Let y = v + 27. Solve 0 = -3*h + 3*m - y, 4 = -3*h + 3*m - 4*m for h.
-2
Let v(j) = j**3 - 8*j**2 + 6*j + 10. Let k be v(7). Let h(n) = 11*n**2 - n. Let o be h(-1). Solve -4*g = -4*c + o, 5*g - 30 = -c - k*c for g.
2
Let o be (6/12 - -2)/(3/6). Solve 0 = -4*s + 4*k + 8, -k = s - o*s - 4 for s.
-2
Suppose 33 = -3*t + r, -3*t + 5*r - 22 = -t. Let a = t + 16. Solve -f - 2*y = -a, -5*y = -2*f - 3*y + 10 for f.
5
Let g = 8 + -8. Solve g = -4*x + 3*w + 6 - 24, x + w = -1 for x.
-3
Let d(x) = 3*x - 2. Let j be d(2). Suppose -3*m - j*r = 20, -r = 3*m - 0 + 5. Suppose m*b = -3*b + 6. Solve 2*q + 1 = b*y + 5*q, -y - q = 0 for y.
-1
Let y(t) = t**3 + t**2 - 4*t. Let n be y(-2). Solve -h + n*u = 5, 5*h - 2 - 17 = -2*u for h.
3
Let b(t) = t**2 + 7*t + 7. Let m be b(-5). Let d = 7 + m. Suppose 0 = 5*o - 3*w - 60, 0 = d*w + 18 + 2. Solve 3*y + 3 = 4*y - 5*i, 3*y + 5*i = o for y.
3
Suppose 3*u - 12 = -u, -3*j = -5*u + 6. Solve 0 = n + p - j, 12 = 4*p for n.
0
Suppose -3*x - 6 + 15 = 0. Suppose g + x*g - 2*f - 14 = 0, 0 = 4*g - 3*f - 9. Suppose 0 = 3*i - g - 6. Solve p + 16 = -i*j + j, -4*p = -5*j - 21 for j.
-5
Let r be 30/(-40)*(-2 + -2). Solve -3*v - 2*p = 19, -r*v + 5*p + 3 = -13 for v.
-3
Suppose u - 2 = -2*p, -u + 0*p = 4*p - 8. Let f = 3 - u. Solve c + 3 = 0, m + 5*c + f = -4 for m.
4
Let b(g) = 2*g**3 - 4*g**2 + 2*g. Let h be b(2). Solve 3*u - h*u + 4*o - 9 = 0, u + o - 1 = 0 for u.
-1
Let v be (20/6)/(6/(-18)). Let n be (-2)/(-4) + (-45)/v. Solve -5*m = 5*u - 10, -4*u - n = u + 2*m for u.
-3
Let s(t) = 3*t - 1. Let z be s(1). Suppose 0*a = 3*a - 15. Solve -4*x + 9 = -6*q + a*q, -z*x + 4 = 0 for q.
-1
Let q = -56 - -112. Suppose -q = 2*n - 8. Let s be (-1 + 0)/(2/n). Solve 4*d - s - 15 = 5*y, -4*y = -3*d + 21 for d.
3
Suppose 0*g = 3*g - 6. Solve b - 3 = -3*r - 13, -2*r = g*b for r.
-5
Let m(s) = -2*s**3 - 6*s**2 + s + 5. Let k be m(-4). Solve -5*g - 5*v + k + 7 = 0, 2*v + 4 = 3*g for g.
4
Let h = 11 - 11. Let n be (32 + -1 - h) + 1. Solve -q = 4*c + 3*q - n, -4*c - q + 20 = 0 for c.
4
Suppose n + 3*n - 26 = -2*f, 37 = 5*n + 4*f. Solve 4*l - n*g = 3*l + 2, -3*g - 3 = 0 for l.
-3
Let s(a) = a**2 + 3*a + 3. Let h be s(-5). Let f = h - 8. Solve 0 = -4*v + f*o + 37, 0*v + o = -v - 2 for v.
3
Let q(i) be the first derivative of -i**2/2 + 12*i + 2. Let o be q(8). Solve 0 = -2*y - o*r - 13 + 1, -2*y - 5*r = 17 for y.
4
Suppose 0 = -2*w - 3*w + 20. Let x = 4 - w. Suppose -b - 3*b = x. Solve 5*g + 5*l + 13 + 12 = 0, b = -4*g + 5*l + 25 for g.
0
Suppose 4*x = -351 - 169. Let t be x/(-8) + 7/(-28). Solve -2*r + t = -u + 6*u, -5*r + 19 = 2*u for r.
3
Let b = -12 + 36. Solve -b = -4*n - 4*w, 4*n + 15 = -n + 4*w for n.
1
Suppose 6*b = 2*b + 2*p - 8, b - 4*p = -16. Suppose 0 = -5*c - b*c + 5. Suppose 0 = -3*y - c + 7. Solve -3*z + 5 = -u, 3*u = u + y*z - 2 for u.
1
Suppose 4 = 7*m - 6*m. Solve m*h = -v + 3 - 11, -v + 1 = h for h.
-3
Suppose 3*t - 4*q - 4 = 2, 0 = 4*q - 12. Solve -4*n + 31 = -5*d - t*n, -d = 2*n + 11 for d.
-5
Suppose 2*d - 9 = -4*g + 13, -2*g = 4*d - 20. Let t = -14 - -14. Solve 0 = 3*n - 2*b - 9, t*n - b - d = -n for n.
3
Let a be (-3)/(-6) - 18/(-4). Let n(l) = -4*l - 5. Let j be n(-5). Solve -5*q = -j, -q - 12 = -a*k - 0*q for k.
3
Suppose -11*i + 1 + 21 = 0. Solve -3*h - 6 = 0, 4*z - 2*h + 4 = i*z for z.
-4
Let l = -17 - -6. Let t = -3 - l. Solve 11 = 6*x - x - 2*z, -4*x + t = -2*z for x.
3
Let h be -1 + 0 - 12/(-2). Solve 4*s = -3*n - 26 - h, 2*n + 2 = 2*s for n.
-5
Let x(j) = j**2 + 4*j - 1. Let p be x(-5). Let f = p + -2. Let d be 76/16 + f/8. Solve d*l + 3*q + 18 + 16 = 0, q + 23 = -4*l for l.
-5
Let x be (-4)/6*(-45)/6. Suppose -4*u - l = -72, -5*u + 2*u - x*l + 54 = 0. Solve 0 = -3*q + 9, -v - 4*v - q = -u for v.
3
Let c(v) = -v + 2. Let r be c(-3). Suppose 0 = -2*z + r*g + 15, -9 = 3*z - 7*z + 3*g. Suppose z = 2*d + d. Solve 3*q = 5*s + 10, -3*s - 5*q + 4*q - 6 = d for s.
-2
Suppose -3*j - 4*m + 123 = 0, 4*j - 148 = -m + 29. Suppose -2*g + h = -3, 2*g - 3*g = -4*h + 2. Solve 4*k + 6*c = c + j, 0 = -g*k - 3*c + 25 for k.
5
Let b be 2/(-5) - 88/(-20). Let a be (0 + 1)/((-2)/(-8)). Suppose 5 = -w, -3*m + a*w = -8*m - 10. Solve -2*p - 3 = n, 12 - b = -m*p for n.
5
Let m be 0/(-6) - (-5 - -1). Solve o = -2*a - 9, m*o = 2*a - 5*a - 26 for a.
-2
Let y = -7 + 9. Solve 2*c = -y*c + s + 21, c + 5*s = -21 for c.
4
Suppose 5*r - 10 = -0*r. Solve 1 = r*h - 5*u, h + 3 - 5 = 4*u for h.
-2
Let n = 4 + -4. Suppose -5*c + 19 + 1 = n. Solve 0 = -2*x - 3*t - 0 + 17, c*x = -t + 19 for x.
4
Let v be ((-12)/15)/(10/(-25)). Solve -b + 15 = 4*b + 2*m, -m = -3*b - v for b.
1
Let q(n) = n**2 + 7*n + 3. Let g be q(-8). Suppose 2 - g = -b. Solve -4*k = -k + p + b, 0 = -3*p for k.
-3
Let y be -4*(-4)/16*5. Solve -5*x + y*i + 25 = 0, -x + i - 5 = 2*i for x.
0
Let q(k) = -k**3 + 8*k**2 + 2*k - 12. Let f be q(8). Let j(w) = 6 - w + 22 + w**3 + 0*w**3. Let g be j(0). Solve -p + 6*p - g = -f*i, 0 = -5*i - 4*p + 26 for i.
2
Let n = -9 - -39. Suppose -n = -p - 0*p + 5*o, 0 = o + 5. Solve -5*i + p*r + 15 = 0, -3*i - 4*r = i + 12 for i.
0
Let p(a) = -a**3 - 7*a**2 + 8*a + 3. Let y be p(-8). Solve 8 = 4*u + y*s, -6*s = -s for u.
2
Let u(m) = -6*m - 52. Let o be u(-9). Solve 0 = 3*q + 3*c - 4*c - 11, o*q - c = 7 for q.
4
Suppose -2*u - 3 = -3. Solve 0*t = -t + 2, 2*f - 5*t + 18 = u for f.
-4
Let w be (-3)/(-2) + (-90)/(-20). Let d be w/(-2) - (-16 + 9). Solve h + 4*h - 18 = -2*p, -d*p + 4 = 2*h for h.
4
Suppose -23*g + 24*g = 4. Solve 0*t - g*h = -t - 17, -h + 5 = 0 for t.
3
Let p = -22 + 40. Solve -p = 3*t + h + 2*h, 2 = -h for t.
-4
Let p = 66 - 64. Let g(d) be the third derivative of d**5/30 - d**4/8 + d**3/3 + d**2. Let m be g(p). Solve -j - 3*w - 1 - 5 = 0, -3*w = -m*j - 9 for j.
-3
Let t(b) = -4*b + 1. Let n be t(-3). Let r = n - 9. Solve 4*h - 5*g = 7, h - 3*g = -r*g - 5 for h.
-2
Let w(k) = k**2 - k. Let z be w(-1). Solve 2*g + 8 = z*o, 4*g + 16 = -g + 3*o for g.
-2
Let s(f) = 2*f**2 + 4*f + 4. Let y be s(-3). Let m(b) = -2*b + b - y - b. Let r be m(-7). Solve -r*g = 4*a + 16, -a = 2*g - 3*a for g.
-2
Let s = 3 + -1. Suppose -l - s - 3 = 0. Let j = 0 - l. Solve 0 = 5*m + 2*a - 9, 3*a + 0*a = m + j for m.
1
Suppose -28 + 208 = 12*q. Solve -2*k = 5*m - 24, q = 4*m - 1 for k.
2
Let l = 8 + -3. Let v = l + -2. Solve -m + q + v*q = -1, -2*m + 4*q = -2 for m.
1
Let x = -18 - -32. Let g(s) = -2*s**2 + 2*s - 1. Let f be g(1). Let v = x - f. Solve d - v = -d + 3*u, -2*d + 9 = -u for d.
3
Suppose 19 + 21 = 4*x. Solve 0*s - x = 5*s, -s = -3*w + 5 for w.
1
Let n(l) = -l**2 - l. Let r be n(-1). Let p be (r + -5)/(5/(-5)). Solve -p*v + 2*g + g = -19, -4*v - g = -22 for v.
5
Let l = 23 - 21. Solve l*a - 2 = 3*g - 1, a = -4*g - 5 for g.
-1
Suppose 0*v + 10 = -v. Let w = 10 + v. Suppose -3*r + 2 + 7 = 0, 4*m + r = 19. Solve 10 = 2*p + m*z, 2*z - 9 = -5*p - w*z for p.
1
Let q = -16 - -24. Suppose -3*i - 3*j = 2 - 5, -i = -5*j - 13. Suppose -o = -i*o + q. Solve 3*t + 18 = 2*w, -w + 25 = 2*w - o*t for w.
3
Let x be 2*(-5)/2*-1. Let j(g) = -2*g + 10. Let f be j(x). Solve -h = 3*k + 2*k + 25, -5*h - 5*k - 25 = f for h.
0
Suppose 2*w - 16 = -0*w. Let l = w + -6. Solve 0*c = -m - 2*c + l, 3*m - 4 = -4*c for m.
0
Let f(u) = u**3 + 7*u**2 - 21*u - 100. Let p be f(-8). Let b be (5 - 1)*(-3)/(-4). Solve 2*w = n - b, p*w + 11 = n - 4*n for n.
-1
Let x = -125 + 129. Let m be -1 - (-2 + 6/(-1)). Let h = m + -5. Solve -3*c - 10 = n, 0 = x*c - c - h*n + 25 for c.
-5
Let h = -8 + 12. Solve 4*y - h*f = 7 + 9, 12 = 3*y - f for y.
4
Suppose 3*u - 2*u - 4*m - 7 = 0, -2*u = -3*m - 9. 