for c.
-1
Let f(m) = 30*m**3 - m. Let o be f(1). Solve 8 = 3*g + 5*h, -o = 4*g - 3*h - 1 for g.
-4
Suppose -3*y + 6 = -y. Suppose -y*g - 2*g + 20 = 0. Suppose 0 = -g*c + 2*z - 2, 3*z = -4*c - 3 + 26. Solve -4*q - c*l = 8 + 2, l - 3 = 0 for q.
-4
Let w(y) = -96 + 100 - 12*y + 2*y + y**2. Let i be w(10). Solve 0 = 3*r - 5*a + 5, -r + 0*r - i*a = -21 for r.
5
Let n(a) = -a**2 - 5*a + 1. Let w be n(-4). Let v(t) = -t**2 + 4*t + 7. Let l be v(w). Solve 11 = -5*h - 3*j, l*h - 3*h = -j + 7 for h.
-4
Suppose 0 = -3*x, -2*g - 5*x = 3*g - 30. Suppose 9 = -3*h + g*h. Solve -h*o + 5 = 5*m, -o = -5*m + 5 - 0 for o.
0
Let a = -57 + 60. Solve -5*d = 3*l - a - 1, -3 = 3*d for l.
3
Suppose -9*k = k - 50. Solve 2*c - 4*z + 6 + 6 = 0, -k*c = -z + 3 for c.
0
Let o be (2/(-4))/(1/6). Let p be -3*1/o - -7. Suppose t = -5*j + p, -2*j = -0*t + 2*t. Solve 8 = -3*w + 4*h, 0 = -j*w - 0*w + 5*h - 10 for w.
0
Let v(a) = a + 10. Let s be v(-9). Suppose -3 = -2*d + x, -x - 2 - s = 5*d. Solve d*t - 5*t - 3*m - 7 = 0, 4*m + 11 = -5*t for t.
1
Suppose 0 = 3*r - 2*t - t + 9, 2*r + 14 = 4*t. Let y = 2 + r. Solve 2*g + y*m - 15 = 4*g, -5*g + 5 = m for g.
0
Let k be ((-2)/(-4))/((-1)/(-6)). Let i = 5 - k. Solve 1 = -3*m - o, 0 = 4*m - m + i*o - 1 for m.
-1
Let q = 6 - 2. Let k(y) = -2*y + y**2 + q - 4. Let c be k(3). Solve 0 = -5*s - c*f - 30, f + 13 = -s - f for s.
-3
Let k(z) = -3 + 0 + 4 + 2*z**2 - 3 + 2*z. Let p be k(-2). Solve -w = 2*c - 9, 5*c - 22 = -p*w - 2 for c.
2
Let o be 6/(-3)*(-1 - 5). Solve -5 = 5*c + 2*q + 7, 4*c + o = -q for c.
-4
Let c(w) = w**2 + 4*w - 2. Let z be c(-5). Solve 0*p + p + 1 = -z*q, 0 = -q + p + 1 for q.
0
Suppose 0 = b + 1 - 6. Suppose 2 = s + 7. Let v = b + s. Solve 2*u - 4 = 3*z, v*z + 2*z = -5*u + 10 for z.
0
Let n(o) = o**3 - 7*o**2 + 7*o - 6. Let y be n(6). Suppose y = -g + 2*g - 4. Solve -5*v + 7 = g*q, 2*q + 10 = -4*v + 4*q for v.
-1
Let w(r) = -r**3 - 5*r**2 + 7*r + 6. Let l be w(-6). Suppose 17 = 3*m - 1. Suppose 0*f - 3*f + m = l. Solve 4*t + 12 = -2*h, -1 = -f*h - t - 7 for h.
-2
Suppose -4 - 12 = 4*i. Let j = 3 - i. Solve j*o = -5*s + 6*o - 2, 5*s = -5*o + 10 for s.
-1
Suppose 4*m + 3*b + 2 = -1, 5 = -m - 5*b. Let u = 3 + m. Suppose 10 = -v + u*v. Solve -i + 3 = -3*f, -12 = v*f - i - 3*i for f.
0
Suppose 7*c = 10*c - 15. Solve -5*q + q = 4*b + 8, -5*q = -c*b for q.
-1
Let m(r) = 2*r - 4. Let b be m(3). Solve 5*p + 27 = -4*z - 0*z, 0 = -b*z - 2*p - 12 for z.
-3
Suppose -3*o + 3*p + 15 = -3, 0 = -3*o - 4*p - 10. Solve 5*r + 2*n = 26, -o*r - 7 + 0 = -5*n for r.
4
Suppose 0 = -k - 3*m + 13, 4*k - m - 32 = -3*m. Solve -f - 4*w = -k + 3, -3 = 5*f - 3*w for f.
0
Let w(c) = -c**2 - 9*c - 7. Let m be w(-3). Solve -m = 2*y + 3*a, 0 = 3*y + 3*a + 10 + 5 for y.
-4
Let h(q) = -8*q - 20. Let r be h(-3). Solve 2*c + 0*c = 5*l + 27, -r*c = -4 for l.
-5
Suppose -2 = c, 0 = 4*n - 2*n - c - 8. Suppose -n*x = -v - 9, -3 = -v - 4*x + 16. Solve 0 = -4*g - 0*k + 5*k - 4, -v*g + 4*k = 3 for g.
-1
Let v be (0 + -2)/(3/(-27)). Suppose -3*n + 0*n + v = 0. Suppose 0 = 2*i - n*i. Solve i = 5*l + 2*s - 3, -3*s = -l + 2*s - 21 for l.
-1
Let l be (2/6)/(2/6). Let n be l/(((-3)/(-18))/1). Let c be (-3 + 1)*n/(-4). Solve 3*d = 0, 8*m - 2*d = c*m + 25 for m.
5
Let g be 0/(2/(-2)) - -5. Let a be 20/(-2) - (1 - 4). Let c = a - -10. Solve v + 2 = 3*l, -g*v + c*l + 2 = -0*v for v.
1
Let o(l) = 4*l - 7*l + 2*l + 14 - l. Let h be o(6). Solve -h*n + 35 = 3*j + 2*j, 3*j - 3*n = 0 for j.
5
Suppose 100 = -4*c - 4*t, 5*c + 4*t - 21 = -145. Let g = -14 - c. Solve -2*a = -4*o + 14, 0 = 4*o + 5*a - g - 11 for o.
4
Let o(h) = h**2 - 6*h + 5. Let i be o(6). Let v = -1 + 3. Suppose v*g = -g + 75. Solve a = -f - a - i, -5*f + 5*a - g = 0 for f.
-5
Let q(r) = r + 5. Let c be q(-3). Let x = c - 4. Let d = 4 + x. Solve 5*w - 2*i - 9 = 0, -3*w - 3*i - d = 1 for w.
1
Suppose 3*t + 5*b - 6*b = 11, -5*t + 15 = -b. Solve -3*o - t*g = -0*o - 23, -g = -4 for o.
5
Let t = -25 + 27. Let r = 13 + -7. Let y be 10/6 + 2/r. Solve 4*a - y*m = -10, a - 2*a + t*m = 10 for a.
0
Let w(t) = -t**2 - 6*t. Let l be (-3)/(-2) + 26/(-4). Let a be w(l). Solve 4 = 4*b + 3*g, a*b - g - 4 = b for b.
1
Suppose -6*b = -11*b + 15. Solve 3*d + 3 = t + 4*d, d + b = t for t.
3
Suppose 5*f = -5*l + 2*f + 21, 0 = 4*l + 2*f - 16. Solve -l*x + 14 = r, 8*r - 3*r - 4*x + 25 = 0 for r.
-1
Suppose -4*d + 12 = -2*d + o, 0 = -5*d + 4*o + 4. Solve -32 = d*y + 4*q, y - 4 = 2*q + 3 for y.
-3
Let o = -3 + 5. Suppose 0 = -5*x - 4*s - 4, -2*s + 0 = -o*x + 2. Let k = x + 2. Solve -1 = -4*l - 3*h - 24, -h = k*l + 11 for l.
-5
Let u = -6 - -3. Let s = u + 7. Solve -2*i = -3*x - 14, s*i + 6 = -4*x - 6 for x.
-4
Suppose 0 = -0*x - 5*x - 5. Let a(g) be the first derivative of -9*g**2/2 + 2. Let v be a(x). Solve 0 = 4*b - 5*r - 14 + 38, -v = b - 2*r for b.
-1
Suppose -7*t + 5*t = -16. Solve 0 = -2*w + 3*w + 2*k + t, k = 2*w + 6 for w.
-4
Let v = 2 + -4. Let h be 0 - (v + (-1 - 0)). Suppose -h + 1 = -s. Solve -2*p + 7 = 4*r + 3, 4*p + 3*r + s = 0 for p.
-2
Suppose 2*k = 2*s - k + 3, -6 = 3*s - 5*k. Solve s*i = -5*l + l - 12, 5*l = -2*i - 8 for l.
0
Let c(v) = -2*v + 25. Let q be c(11). Solve 12 = -0*x + q*x, -5*o + 4*x = -9 for o.
5
Let g = 5 - 3. Let v be (2/g)/((-2)/(-6)). Suppose 4 - 6 = -v*d - 5*s, 15 = -3*s. Solve 2*a + 3*c = -a + d, 3*a + 7 = 5*c for a.
1
Let r be (5/(-10))/((-1)/20). Solve -r = 4*w - 2*n, 2 = -2*w - 5*n + 15 for w.
-1
Suppose 0 = -4*m - 2*x + 24 + 4, 5*x = -3*m + 35. Suppose -2*q = 2*q - 40. Let r = -8 + q. Solve -5*o + 3 = r*g - 14, -2*o = -g - m for g.
1
Let w(i) = -i**2 - 9*i - 9. Let l be w(-7). Solve -l*t + 6 - 27 = 3*d, -t + 2*d + 1 = 0 for t.
-3
Let c = 4 + 0. Suppose 0 = 5*b + c*f + f - 20, -2*b = 3*f - 9. Solve b*a - 6 = -2*p, -5*a + 0*a + 5*p = 15 for a.
0
Let n be (-34)/(-10) - (-10)/(-25). Suppose -3 = -n*u + 3. Solve -4*k - 15 = x, 0 = -3*k + u*k - 4*x for k.
-4
Suppose x = -4*x. Suppose -3*w = -88 - 44. Suppose -w = -5*u + u. Solve q = 3*a - u, -5*a - 3*q + 5*q + 19 = x for a.
3
Let h be (5/(-5))/(1/1). Let w be (-2)/2 - 1*h. Suppose w = -2*z + 10. Solve 0 = -3*c - 2*c - z*p + 15, 3*c = 5*p - 31 for c.
-2
Suppose 1 - 10 = -3*v. Let a be -2 + v*8/6. Let r = a + 1. Solve 3*w + 4*i = 7, 0*i + r*i = 3 for w.
1
Suppose 3*i = n - 28, i + 4 = -0*i - n. Let y be (8/(-12))/(i/36). Solve 5*a + 3*u - 35 = 0, 13 = y*a - a + u for a.
4
Suppose 86 = 4*c - 2*m, -c + 1 + 7 = 4*m. Suppose -2*i - 3*i + c = 0. Solve 8 = 2*a - i*a, -4*n - 3*a = 0 for n.
3
Suppose m = -1 + 2. Let z = 3 - m. Solve -c - 8 = z*v + v, -v = c for v.
-4
Let y be (66/8)/(-3)*-12. Suppose -3*g - 3 = -y. Solve 10 = -n - 2*q, -2*n + q + g = -5*n for n.
-2
Let y(v) = 4*v**2 + v. Let a be y(1). Let k be (3/6)/((-3)/(-24)). Let l be 30/8 + k/16. Solve -2*u = l*i - a + 3, u - 4*i = -11 for u.
-3
Let m be -2 - (1 - (-1 + 4)). Solve -4*v - t - t - 20 = m, -5*v - 3*t = 26 for v.
-4
Let p = 8 - 3. Let l be ((-6)/(-2) - p) + 2. Solve 3*d + 3 = 2*u + 3*u, l = 4*d - 4*u + 4 for d.
-1
Let h = -128 + 129. Solve -5*t - h = d - 16, 3*d = t + 13 for t.
2
Suppose y - 3*m - 2 = 0, -4*y + 3*m + 15 = -11. Let d be y + 6/3*-1. Let t = -5 + d. Solve 4*z - 19 = -3*v, t = -3*v - 3*z + 16 for v.
1
Let y be (-42)/(-11) + 26/143. Suppose 0 = -4*m - f + 13, y = 4*m + 2*f + 2*f. Solve k + 2*k - 21 = -m*r, -k = -r for r.
3
Suppose 4*n + g + 0*g - 76 = 0, -5*n + 82 = -2*g. Let j(w) = w**3 + 8*w**2 + 13*w + 9. Let a be j(-6). Solve -p = -0*p + a*c + 14, n = 3*p - 3*c for p.
1
Let z be (-411)/(-27) - 2/9. Let d = z + -8. Suppose -5*l + 17 = -2*o, 2 - d = 5*o - 5*l. Solve 0 = t + 3, o*n = 2*t - 0*t + 18 for n.
3
Let j = -10 - -21. Solve -2*m - 3 - j = 3*f, -4*f - 15 = -m for f.
-4
Let q(z) = -z - 9. Let c(m) = -2*m + 3. Let y be c(7). Let b be q(y). Let n be (-15)/3*(-2)/b. Solve -n*x + l - 6*l - 5 = 0, 25 = 3*x - 4*l for x.
3
Let z be (-8)/(-4)*5/2. Let n be (3 + -2)*-12 + -3. Let q = -11 - n. Solve 0 = -p - 3*j + 14, -q*j - j = -2*p - z for p.
5
Suppose -4*q - 23 = -o - 3, 3*o = -5*q - 8. Let m(w) = w**2 + 4. Let d be m(0). Solve -c - 4*t + 6*t + d = 0, c + 4*t = o for c.
4
Let x = -12 + 22. Suppose -2*f + 11 = 3*y - 2, 3*y + 5*f = x. Solve -4*l + p + 14 = 0, 0 = l - y*p - 1 + 7 for l.
4
Let d(g) be the third derivative of -g**4/24 - 3*g**3/2 - 2*g**2. Let z be d(-10). Let q be 1/z -