= 0 for c.
-3
Let z be ((-416)/(-65))/(2/5). Solve -2*x + 5*t = z + 6, -3*x = -2*t + 11 for x.
-1
Suppose -3*v = s + 11, 0*v + v - 2*s - 8 = 0. Let i(q) = -3*q**3 + 2*q. Let r be i(v). Solve -5*m = -3*o - 6*m + 4, 5*o - m = r for o.
3
Suppose h - 2*h - 3*t = 8, -4 = -h + 3*t. Let x = h + 4. Solve 0*w - w + 5 = 0, 3*a + 19 = x*w for a.
-3
Suppose 2*t = -0*t - 18. Let q = 14 + t. Solve -4*o + v - 1 = -4*v, 0 = -3*o - q*v - 27 for o.
-4
Suppose 2*n = 8*n - 18. Solve -i = n*m - 5, 2*m - 7 = -3*i + 8 for m.
0
Let n be 0 + 4 + -3 + 3. Let m be 1/4 + 31/n. Suppose 4*p + 5*c + m = 6*p, p + c - 4 = 0. Solve -4*s + 40 = p*k, 3*s + k - 15 = s for s.
5
Suppose -b + d = 4*b - 7, d - 3 = 0. Solve 14 = 4*y - b*f, 4*y = 6*y + 3*f - 11 for y.
4
Suppose -2*p = -p - 4. Suppose 7*y - 2*y - 30 = 0. Let f = y - p. Solve 20 = -5*w - 5*l, -3*w + f*l = 3*l + 6 for w.
-1
Let n = 139 + -118. Solve -2*w + 3*z + 2*z + n = 0, -3*w + 3*z = -9 for w.
-2
Suppose -i + 1 + 3 = 0. Suppose s = -i*s + 30. Solve 3*f - 2*o = 3, -2*o = -2*f - s*o + 18 for f.
3
Let t(x) = x**3 + 6*x**2 + 6*x - 6. Let u be t(-4). Solve 0 = -5*n - u*h - 33, 5*n - 3*h + 3 = 2*n for n.
-5
Let f be (-15)/(-2)*24/20. Solve -f = 2*p - n, n = 3*n - 6 for p.
-3
Let v be 27/15 + 2/10. Suppose -3 = -v*q + 5. Solve -z + q*u - 18 = 0, -3*z - 11 = 4*u - 37 for z.
2
Suppose s + 20 = -2*y + 5*s, 2*y + 5*s + 11 = 0. Let g = 15 + y. Suppose -2*p = -w - 3*w + 60, 5*p + g = -w. Solve 7 = -3*t - 2*i, -t - 2*t - 5*i - w = 0 for t.
-1
Suppose 4*d - 43 - 57 = 0. Solve g + 0*g - 2*z - 15 = 0, -3*g + 2*z = -d for g.
5
Suppose -5*z = -4*z - 2. Solve 4*p + 2*o - 2 = -p, -z*p + 24 = -5*o for p.
2
Let d(w) = -w**2 + 9*w - 10. Let u be d(7). Solve 4*o + 4*t = 0, -o - u*t = -7*t - 4 for o.
1
Let p(a) = a**2 - 3*a - 2. Suppose 0 = -x + 3*x - 8. Let g be p(x). Solve -4*d = -4*b + 28, -b - g*d = -0*d + 8 for b.
2
Let j be -3 + 1 + 3 + 3. Suppose -2*m = -4*d - 8, 0 = 5*d + j*m - 16. Solve -3*n = -d*a - a - 7, -2*n = 3*a - 1 for n.
2
Suppose 4*b + 2 = 10. Solve -10 = t - 3*r - 5, b*t = 2*r - 6 for t.
-2
Suppose -6 = -2*t, -5*h - 3*t = -4*h - 14. Solve 2*n - h*z = -2*z - 2, 5*z = -2*n + 14 for n.
2
Let g be (2 + -1)/((-1)/(-7)). Solve 2*v - t + 0 + g = 0, -15 = 4*v - 3*t for v.
-3
Suppose -4 = x - 7. Solve 4*p - 2*p = 4*a - 2, -x*a + 5*p = 9 for a.
2
Suppose w = -5*w + 60. Solve w = 2*p + 3*i, -7*p - 2*i = -2*p - 25 for p.
5
Suppose 0 = -3*u + 39 - 3. Let h = -7 + u. Solve -g + 2*c = -2*c - 25, h*c + 30 = g for g.
5
Suppose -3*m = 12, -15 = 2*j - 3*j - 4*m. Suppose 5*c = -3*a + j, -2*c + 0*c + 10 = 0. Solve -t = 6 - 1, -5*s - a*t = 5 for s.
1
Let u(y) = 11*y**3 + 2*y**2 + 2*y + 1. Let h be u(-1). Let q = h + 20. Solve 2*f - 2*i = -q, 2*f - 4*i = 3*f - 15 for f.
-1
Suppose 2*h + 3 + 21 = 5*m, 2*h + 12 = 2*m. Solve 0 = -3*s - 0*r - 2*r - 2, -4*r - m = -5*s for s.
0
Suppose -4*d + 20 = 8. Suppose 4*x - y = 9 + 9, 4*x = d*y + 14. Suppose -5*l - 18 = x*r + 2, l + 4 = r. Solve m + 2*i - 11 = r, 2*m + 3*i = 15 + 3 for m.
3
Let z = 53 - 36. Suppose z = 3*j + 5. Solve -3*k = j*a + 3, -4*a - 24 = -2*k - 2*k for a.
-3
Let f be 15*(3 - (-3 + 5)). Solve -3*x - 17 = -2*x + 4*m, 3*m = -f for x.
3
Let n = 11 + -7. Suppose -t = -2*x, -5*x + 3*t = -0*t. Suppose x*i + 5*i = 0. Solve 28 = -0*a - 4*a - n*p, i = a - p - 3 for a.
-2
Let j = 0 + 6. Let o = -4 - -8. Solve -p + 4 = -4*d - j, -5*p + o*d + 18 = 0 for p.
2
Let q(u) be the second derivative of u**5/20 + 5*u**4/6 - 2*u**3 - 9*u**2/2 + 3*u. Let k be q(-11). Solve k*j - 3 = -j + 2*r, 0 = 4*r for j.
1
Let s(f) = -f**2 - f. Let i be s(1). Let m be 28/(-12) - i/(-3). Let z = -3 - m. Solve z*g - 3*g + 4*y - 5 = 0, 5*y = -5 for g.
-3
Let w be 1*(8 + (-6)/3). Let v be 1/(-6) - (-1)/w. Solve v = 5*r - m + 10, 10 = -5*r + m + 3*m for r.
-2
Let y = 14 + -5. Let x = y - 3. Solve 3*p + 3 + x = 2*b, -5*p - 31 = 2*b for p.
-5
Suppose 0 = p, -2*b - 3*p = -3*b + 17. Suppose 2*u + 14 = 2*c - 5*c, 0 = -3*c - 6. Let t = u + b. Solve 2*i = -5*f + 12, i - 5*f + t = 4*i for i.
1
Let x(v) = 9*v**2 + v. Let p be x(1). Suppose 4*k = 3*r + 16, -5*k + 10 = -4*r - 10. Solve k*f - 3*z + p = 0, 24 = -7*f + 3*f - 4*z for f.
-4
Let l(d) = -d**2 + d + 2. Suppose -5*q = -0*q. Let w be l(q). Suppose -v - 4 = -3*v. Solve 3*r = 4*a + 1 + w, 2*r - 3*a - v = 0 for r.
1
Let k be (10/6)/(1/3). Solve -3 = -g - k*u - 20, -23 = -5*g + 2*u for g.
3
Suppose 4*p = -4*j + 64, 1 + 0 = j. Solve -3*l - p = -3*c, 0 = -l + 3*l + 2*c + 2 for l.
-3
Suppose 649*k - 658*k + 45 = 0. Suppose -3*i - 6 = -6*i. Suppose a + 4*s = 5, 0 = 2*a + a + i*s - 15. Solve k*l + 20 = 0, 5*l + 0*l + 25 = a*v for v.
1
Let l(a) = 2*a + 4. Let z = 14 + -10. Let u be l(z). Solve -2*y = 5*x - x - 16, -y - u = -3*x for y.
0
Let l = 31 + -29. Solve -b - 7 + l = -3*z, -7 = -b - z for b.
4
Suppose -l - 5*a + 60 = 0, -l - 3*a + 60 = a. Suppose -l = m - 5*m. Solve -4*t - 4*i + 4 = -8, -5*i = -t - m for t.
0
Let h(f) = f - 1. Let v be 2 - ((-4)/(-2) - 3). Let u be h(v). Suppose u*o + 4 = 2*s, 0*o = 2*s + o - 7. Solve -3*k = c - 5*k - 9, c + s*k + 1 = 0 for c.
5
Let n be (3/(-9))/(1/(-4 - 5)). Solve 5*x = -n*r + 19, 0*r + 2*x - 1 = r for r.
3
Let z = 17 + 43. Suppose j = -4*j + z. Solve 3*t + 0*t - j = 0, 0 = 2*m - 2*t + 10 for m.
-1
Let i = -8 + 7. Let o be i - 15/(0 + -3). Solve 4*q + 3*m = 15, 0 = -3*q + q - o*m + 10 for q.
3
Suppose 3*o + 6 = 6*o. Suppose -n - 4*n - 105 = 0. Let u = n + 46. Solve 20 = 4*g - 2*r, o*g + 3*g = 4*r + u for g.
5
Suppose 48 = 3*c - 6. Suppose -j + 3*p + p = -15, c = j - 5*p. Solve 4*h + 3*t = -11, 0*t + 23 = j*h - 4*t for h.
1
Suppose 15 = 5*b - 0*b. Solve -b*h = 5*j - 0 + 11, 5*h = -j + 11 for h.
3
Suppose 12 = t + 11. Solve -2*x - 6 = 4*w, 5 = w - x - t for w.
1
Suppose 4*q - 5 - 3 = 0. Solve 2*k = -4*a + k + 1, 5*a - q = -2*k for a.
0
Let c(d) be the third derivative of 0*d**5 + 0*d + 1/24*d**4 + 1/120*d**6 + 0 + 2/3*d**3 - d**2. Let a be c(0). Solve -f = -u + a, -2*f = 3*u + f for u.
2
Suppose 3*p - 9 = 5*x, -5*x - 25 = 3*p + 2*p. Let a = x - 0. Let k(h) = -4*h. Let b be k(a). Solve -o + y + 9 = -5*o, b = 4*y for o.
-3
Suppose 0*w - j = -w + 2, 4*w - 14 = j. Solve -5*x + 5*r - 25 = 0, 2*x + 3 = -w*r - 7 for x.
-5
Suppose -2*o + 0*o = -6. Suppose 27 = 3*l + 2*h, -o*l - l - 4*h + 40 = 0. Solve 0 = -2*q + 3*v + 2, -2*q + l*q - 2*v - 16 = 0 for q.
4
Let f(c) = c + 4. Let r be f(3). Suppose d - r = -4. Solve 1 = -3*b - 2*u + 23, 4*b - d*u - 1 = 0 for b.
4
Let y(f) = -f**2 - 10*f - 11. Let v = -22 - -14. Let t be y(v). Solve 3*m = -t*a + 5, -3*a - 12 = -2*a - 2*m for a.
-2
Suppose -5*w = -3*w. Let h be (-6)/10*(-11 + -4). Solve w = -3*v - 4*g + 17, 7*v - g = 3*v - h for v.
-1
Suppose 1 = 4*q - x, 3*q + x - 3*x + 3 = 0. Let r = 13 - 9. Solve a + r*o - q = 2*a, -4*a + o = 19 for a.
-5
Suppose 4*q - 2 = -3*z, 5*z - 6*q + 2*q = -18. Let k = 5 - z. Solve -5*t = 4*c - 8, k = c + 5*t - 10 for c.
-3
Let j = -5 + 8. Suppose 2*g + j = 9. Suppose 3*q = 5*h + 5*q, q - 1 = -g*h. Solve h*p - 4 = 2*r - r, -4*p - 2*r + 8 = 0 for p.
2
Suppose -3*x - 10 = -8*x. Suppose 0 = x*v - 3*v - 5. Let b(u) = u**2 + 4*u. Let f be b(v). Solve f*k + 3*q + 18 = 0, 5*k + 12 = 2*q + q for k.
-3
Let a(r) = -r + 4. Let f be a(0). Let n be (16/10)/(f/10). Solve 5*v = n*t - 4 + 26, -3*t = v + 7 for t.
-3
Let r(a) = -a**3 - 4*a**2 - 3*a. Suppose 5*k = 5*d - 1 + 41, -d - 5*k = -22. Let j be r(d). Solve -2*i + 3*n - 8 = j, 0 = -3*i - 4*n + 5 for i.
-1
Let u be -3 - 3/(-6)*14. Let x be 3/9 - 2/(-3). Let h = u - x. Solve 3*o + h = n - 10, 2*n = 5*o + 23 for o.
-3
Let s(x) = 3*x - 1. Let a be s(2). Suppose 0 = 5*m - 3*t + 1 - 6, t = 4*m - 11. Solve -a*l = -20, 0 = -0*o + 4*o + l + m for o.
-2
Let q(i) = 2*i**2 - 7*i + 7. Let r be q(4). Solve -2*s = -0*s + 3*f + 11, -5*f - r = -4*s for s.
-1
Let v = -176 - -126. Let g = v + 20. Let r be (-12)/g + (-8)/(-5). Solve 0 = -3*k - r*u + 23, 3*u = k - u + 11 for k.
5
Suppose 3*l = -3 - 9. Let r(f) = 2*f**2 + 6*f + 4. Let d be r(l). Let n be 52/d + (-1)/3. Solve m - 9 = -q + 2*q, n*m + 2*q = 6 for m.
4
Let x(p) = -8*p - 14. Let g be x(-6). Let n = g + -21. Solve 5*l + y = -3*y + n, -2*y = -4 for l.
1
Suppose 7*r = -9*r + 144. Solve l - 6 = -5*j + r, 2*l = 0 for j.
3
Let d(l) = 5*l**2 + 2*l - 1. Let q(v) = v**2 - 7*v + 7. Let u be q(6). Let o be d(u). Solve -