= 0 for c.
1
Suppose -7*m + 11 + 45 = 0. Suppose 15*t - 19*t + m = 0. Solve -1 = l, 20 = -5*a + t*l + 7 for a.
-3
Let x = 489 + -482. Solve 0 = -x*a + 4*a + 5*l + 31, 0 = 5*a - 4*l - 30 for a.
2
Let l(w) = 5*w**2 - 11*w. Let k(v) = 11*v**2 - 23*v. Let t(c) = 6*k(c) - 13*l(c). Let q be t(-5). Let z = -4 + 7. Solve q = -3*f + z, u = 2*u + 2*f for u.
-2
Let k(t) = t**2 - 3*t - 7. Let o = 1 - -5. Let g be k(o). Suppose g = 2*s + 1. Solve -s*y + 15 = -p, p = 3*y - 2*p - 21 for y.
2
Let q = -90 - -95. Solve 2*a - 6 = w - 3*a, -4*a = -w - q for w.
-1
Suppose 126 = 3*a + 3*f - 90, 0 = -2*f. Suppose 3*r = -4*c + 144, -2*c + 0*c + a = 2*r. Let p be 1/4 + 135/c. Solve -q + 2*l - l - p = 0, q - 2*l + 4 = 0 for q.
-4
Let a(f) = 5*f**2 + 11*f + 9. Let d(i) = i**2 - 1. Let l(k) = -a(k) + 4*d(k). Let b = -17 - -8. Let r be l(b). Solve -z = 0, r*n - z + 0 = -5 for n.
-1
Let w(m) be the second derivative of m**5/20 + 13*m**4/12 + 2*m**3 + 5*m**2 - 40*m. Let h be w(-12). Solve -3*l + l + h = 0, 3*j - 13 = -2*l for j.
1
Let o(l) = -l**2 + 9*l - 8. Let y be o(6). Let v = -11 + 6. Let h = v + 10. Solve -q = -3*d - y, h*d = -q - 10 - 12 for q.
-2
Let d = -906 + 908. Solve -5 = d*v + 3*m, -3*v - 1 - 15 = -4*m for v.
-4
Let s(r) = -r + 5. Let a be s(3). Suppose 4*w - a = 2*w. Suppose -3*n + 5*x = -3, 2*x = 7 - w. Solve 0 = n*u - 2*u + 4*b, 0 = 2*u - 3*b - 10 for u.
2
Let f be (40 + -1)*(-10)/(-15). Solve 5*l + f = -4*q, -3*l + 11 = -5*q - 3 for l.
-2
Let l be (-7)/21 - (-52)/(-6). Let o = l - -4. Let f = -3 - o. Solve 1 = v - n + 9, f*v + 1 = -3*n for v.
-5
Let r(i) = 2*i - 1. Let c be r(9). Suppose 0 = -4*j + c - 1. Let l = j + 1. Solve l*t + 7 + 12 = q, 0 = 2*t + q + 2 for t.
-3
Let v be ((-240)/(-180))/(2/15). Solve v = m - 2*j, -m = -3*m + 5*j + 25 for m.
0
Suppose 2*k - 45 = -k. Suppose -c + 3 = v, -k = -5*v + 4*c + c. Solve 3*h + 2*u + 1 = 3*u, -v*h - 5*u = 31 for h.
-2
Suppose 0 = -4*v - 3*i + 6, 0 = -v + 2*i - 4 - 0. Solve v = f + m - 2*m - 4, m + 4 = -5*f for f.
0
Let w be 5451/(-46) - 3/(-2). Let m = w + 139. Solve -5*r + 2 + 0 = -3*b, 0 = 3*r + 4*b + m for r.
-2
Let r be (-1 - -7) + -7*4/28. Suppose 2*u + 4*q - 18 = 2*q, -3*u - 8 = -4*q. Solve k = b + 6, r + 20 = -u*b + 5*k for b.
-5
Let v(p) = -20 - 11*p**2 + 12*p**2 - 23*p + 0. Let r be v(24). Solve r*t - 5*x = 13, x = 5*t - 0*t + 10 for t.
-3
Let f = -89 + 94. Let h = -7 + 7. Solve f*x + 5*b + 25 = -h*x, -3 = 3*b for x.
-4
Suppose -2*r - 2*b = b - 30, -8 = -2*b. Let d = r - 5. Let q(i) = 7*i. Let j be q(0). Solve j = 3*w - 3*f + 3, -2*f - 6 = -d*w - 3*f for w.
1
Let t = 37 + -37. Suppose t = -0*a - 4*a. Solve -3*f + 15 = a, 4*c = 5*c + f - 2 for c.
-3
Suppose -b = 6 + 5. Suppose 4*r = -5*x - 32, 8 = 2*x - 0*x. Let q = b - r. Solve -5*o = -0*o + 4*i - 20, -q*o = -i - 8 for o.
4
Suppose -3*x + 500 = 491. Solve 0 = x*l + 4*u + 12, -1 = 3*l - u + 11 for l.
-4
Let o(w) = -12*w + 4. Let m(f) = -f. Let x(a) = 44*m(a) - 4*o(a). Let s be x(5). Let p = 6 - 4. Solve -q + h = 3, -3*q - p*h = 10 + s for q.
-4
Let j be (-9 + (-490)/(-50))/(4/30). Solve -2*l = 2*u + 18, -4*u + j*u - 4*l = 6 for u.
-5
Suppose 2*d - o + 4 = o, 5*d + o = 20. Let s be (2/6*0)/d. Solve -2*a = -10, 18 = -m - s*a + 3*a for m.
-3
Let y = 3000 - 2989. Solve -4*j - y = -5*r, 0*r = 5*j - 3*r + 4 for j.
1
Let w be (-30 - -34) + -4 + 11. Solve -w*x + 16*x + i - 30 = 0, 2*x - 3*i = -5 for x.
5
Let w = -4 + 7. Suppose 8*y = w*y. Solve -2*h - 30 = 5*a - y*a, -2*h - 3*a = 22 for h.
-5
Let u(y) = -y**3 + 8*y**2 - 3*y - 24. Let i = 26 + -19. Let g be u(i). Solve 2*d = -g*j + 3*j - 8, 0 = 4*j + 4*d + 16 for j.
0
Let c = -81 + 81. Solve -3*z + 5*i - 8 + 25 = c, -8 = 2*i for z.
-1
Suppose 4*z + 3*b = -0*b + 12, -5*b - 12 = -4*z. Suppose -k + z*k = 36. Solve -k = 3*s + u, -6*s + 2*s = -5*u + 5 for s.
-5
Suppose j + 2*g + 8 = 0, 4*j - g + 2*g = -32. Let c = j + 8. Suppose c = -s + 1 + 3. Solve -5*d = s*l + 2, -6*l + l + 10 = 0 for d.
-2
Let a be ((-36)/(-60))/((-24)/(-80)). Solve 5*z = -5*u + 15, 3*u - 9 = -a*z - 5 for z.
5
Suppose -9*a - 206 = 235. Let i = -45 - a. Solve 5 = 5*r, -i*u + r + 0*r = -11 for u.
3
Let x be -3*(-2611)/168 - (-3)/8. Suppose 4*o - x = -31. Solve 4*d = 3*s - o - 2, -5*s - 5*d + 10 = 0 for s.
2
Suppose -45*n + 0 + 315 = 0. Solve c + n = -3*q - q, -2*c = 4*q + 2 for q.
-3
Let n be (-1)/(27/6 + -5). Solve 2*a + 8 = -2*r, -n*r = -4*a + 8 + 6 for r.
-5
Suppose -4*q + 14 = -34. Let m = q + -6. Suppose -3*w + w = -m. Solve 2*k - 5 = w*l, 35 = -2*k - 9*l + 4*l for k.
-5
Suppose -8 = -4*l + 12. Suppose 0 = 5*h + 2*v + l - 15, 2*h - v - 4 = 0. Suppose -8*p + 45 = 13. Solve -7 = -3*f - h*a + 14, 32 = p*f + 4*a for f.
5
Suppose -32 = -3*m - 5*m. Suppose m*f - 4 - 8 = 0. Solve 2 = 3*g + 2*k, 5*g + k = f - 2 for g.
0
Suppose -87*t + 77*t + 170 = 0. Solve 0 = 4*b + 2*h + h + t, b + h = -5 for b.
-2
Let g = -33 - -29. Let s(u) = -u**2 - 6*u - 5. Let j be s(g). Solve -j*i + 16 = 5*q + 4, -2*q = i - 4 for q.
0
Let h(d) = -d - 18. Let t be h(5). Let r = t - -26. Solve -2*w + 2*c - 9 = r, -5*w = 2*c + 2 for w.
-2
Suppose -3*w + 0*w + 12 = 0. Let j = -23 - -16. Let o = 11 + j. Solve 3*z = 4*t - 27, 2*t - 2*z = -w*z - o for t.
3
Let n(y) = 4*y**2 - 25*y - 16. Let k be n(7). Solve d = 4*v - 3, k*d - 12 = d + 4*v for d.
5
Let j be 1/((-1)/(-2)) - -2. Suppose 3*x + 3 = -6. Let n be 1 + 3 + (x - -4). Solve 0 = -j*g - v, -4*v = n - 21 for g.
-1
Let b(h) = h**2 + 10*h + 16. Let t = -13 + 16. Suppose 4*j - 30 + 10 = 0, -j = w + t. Let d be b(w). Solve 3*x + 0*x + q = -10, d = -3*x - 5*q - 14 for x.
-3
Let d be (2 - 2)/(2/(-1)). Suppose -4*n + 51 = -237. Suppose -3*b = 2*x - 5*x + n, 0 = 3*x + 4*b - 72. Solve -4*s = 4*m + 12 + x, 3*m + 15 = d for s.
-4
Suppose -2 = -b + 2*w + 4, 0 = 3*b - 3*w - 15. Suppose 8*v = b*v + 8. Solve n = 5*l - 24, 16 = -v*l + l - 5*n for l.
4
Suppose r - 7*r = 66. Let p = r - -24. Solve 5*z + 11 = v, -2*v + 5*z = v - p for v.
1
Let b = 23 - -6. Suppose -b*r = -24*r - 15. Solve -y = 5*t - 27 + r, 5*t - 28 = -2*y for t.
4
Let p be (22/8)/((-4)/(-16)). Solve -l = 4*n + p, 5*l + 2*n - 13 = 4 for l.
5
Let z = -2 - -1. Let n(t) = 1 - 10*t**3 - 7*t**3 + t + 22*t**3 - 11*t**3. Let b be n(z). Solve 8 = -2*u, -3*q - 6 = 3*u + b for q.
0
Let d be 345/(-10)*(-8)/6. Suppose -5*f - 16 = 5*t - d, -t = 4*f - 12. Solve -2*a + f = -2*y, -y = 2*a - 5*y for a.
2
Let q = -13 - -17. Suppose 43 = q*t + 19. Suppose 2 = k, k = -2*c + t + 4. Solve -b - 4*j - 13 = 0, -j - 15 = -c*b + 1 for b.
3
Let b = -502 + 511. Solve -3*q + 10 = b*f - 8*f, -4*f + 26 = 5*q for f.
4
Suppose 5*u + 253 = 16*u. Let k = 44 - u. Solve -4*p + k = 3*y + 2, 2*p = 8 for y.
1
Let c = 8 - 2. Suppose c*d - d = 25. Suppose b = -1, -5*p - 2*b = -5*b - 13. Solve -3*j = -d*f, p*f + 5*j - 37 = -2*f for f.
3
Suppose a = 2*q - 4, 5*a - 2*q - 2 = a. Suppose d + a*p = -2*p + 19, -p = 2*d - 31. Let r = 37 - d. Solve 2*o = 7*o + 3*t + r, -o = 5*t + 22 for o.
-2
Let w = 76 - 81. Let s(f) = -f**3 - 4*f**2 - 25. Let i be s(w). Solve -3*a = 2*o + 17, 3*o - 5*a + i = 3 for o.
-4
Let z = 341 - 326. Suppose -3*h + 6 = 2*c, -12 = -4*c - 0*h + 5*h. Solve 4*o + 2*j = 5*j - z, 15 = -o + c*j for o.
0
Let o = 687 + -687. Let b(y) = y + 10. Let s be b(-7). Solve -g - s*l - 10 = o, 0 = -l - l - 4 for g.
-4
Suppose 4*v = b - 234, -5*v + 4*b = -0*v + 298. Let h = v - -62. Solve -2*q + h = 2*q - z, 5*q - 16 = 4*z for q.
0
Suppose 198 = 28*g + 142. Solve 5*h = -5*d - 15, 9 = -g*h - 7*d + 2*d for h.
-2
Let k(g) = 5*g - 87. Let d be k(18). Solve -5*q + 12 = -2*p, 0 = d*q + 2*q + 2*p - 28 for q.
4
Let i be 10 + (-5 - (-6 + 0)). Solve z + 3*m + 6 = -0, -i = 4*z - m for z.
-3
Let j(i) = i**2 - 13*i + 1. Suppose 4*z + 2*u - 67 = 5*u, 0 = 4*z - u - 57. Let s be j(z). Solve 3*f = -2*v + 6, 2*v - s - 5 = f for f.
0
Let y(j) = j**3 - 15*j**2 - j + 8. Let x be y(15). Let q be (-272)/(-16) + x + 2 + 1. Solve -5*b = 5*t - 25, 4*b + b = t + q for b.
3
Suppose -3*d + 17 = 5. Suppose -5*f - 25 = 0, -4*t = -4*f + 2*f - 42. Let u(x) = -x**3 + 8*x**2 + 5. Let r be u(t). Solve -q - 4 = -r*g, d*g = 3*g for q.
-4
Let l = -6 + -10. Let y = -10 - l. Solve -2*k = 3*d + 1, k + 20 = -d + y*d for d.
3
Let u(v) = -v**3 + 9*v**2 + 13*v - 26. Let w be u(10). Suppose -12*r = -2*r - 50. Solve -r*c + 6 = 2*b, c + 2 + w = 2*b for c.
0
Let a be 5 - (