
Suppose -2*m = 2*c - 4 - 14, -5*m = -4*c - 9. Solve -2*f - 2*z - 17 = 3*z, 3*f - c*z = 32 for f.
4
Suppose -226*c + 232*c = 54. Solve -s = s + 10, -c = 4*f + 5*s for f.
4
Let y(b) be the second derivative of b**5/20 - 5*b**4/12 + b**3/3 - 3*b**2 + b. Let w be y(4). Let l = -14 - w. Solve l = r + 4*r + 3*q, 0 = 2*r - q for r.
0
Suppose -5*q - 4*h + 21 = 0, 0 = 4*q - 4*h - 0*h + 12. Solve t = -3*k + q, 2*t = 2*k + 3 + 7 for k.
-1
Let w(m) = 30*m + 155. Let l be w(-5). Solve -y + 4 + 1 = -l*a, -4*a = y - 5 for y.
5
Let c(g) = g - 1. Let r = -26 + 13. Let j = 14 + r. Let x be c(j). Solve h - 3*h = v, x = 3*v + h - 5 for v.
2
Let t(r) = -4*r + 31. Suppose 14*i - 41 = 29. Let f be t(i). Solve -c - f = 2*b, 23 = -4*c - 2*b + b for c.
-5
Let c = 1 - -14. Let n = -40 + 40. Let k = c - n. Solve -3*p - v = -4*v - k, 0 = p + 5*v + 13 for p.
2
Let s(n) = n + 2 - 7*n + 4 + 7*n. Let j be s(-2). Solve j*l - 2*w - 11 = w, -5*w - 11 = -3*l for l.
2
Let u be 78/(-130) - (-9)/15. Let c(s) = -s**2 - 4*s. Let j be c(-2). Suppose u = -k + j*k. Solve 4*x + 19 = 5*w, 4*x + w + 1 = -k for x.
-1
Let t = 1399 - 1396. Solve t*u = -j + 15, 3*u - 5 = 2*j + 2*u for j.
0
Let h(g) = g + 6. Let o be h(-4). Let j(q) = o - 7 - 8 - 3*q + q**3 + 3 + 7*q**2. Let i be j(-7). Solve 3*c - 3*k = 1 + i, 4*c + 5*k + 20 = 0 for c.
0
Let x be 4/(-6)*9/(-2). Suppose -x*f = -f - 38. Let r = 19 - f. Solve 3*u - c + 7 = -r*c, -5*u + 4*c - 14 = 0 for u.
-2
Let l = 2 + 2. Suppose -l*a = -11 - 1. Suppose 5*u = 22 + a. Solve 4*p = -p - 2*k + 2, -20 = u*k for p.
2
Let d be (-1)/4 + (9/4 - -3). Let o(k) = 2*k**2 - 11*k + 9. Let y be o(d). Solve 0 = -5*n - 0*n + j + y, 4 = -n - j for n.
0
Let x(q) = -q - 5. Let d be x(-6). Suppose d + 79 = 10*m. Solve 2*p - m = j - p, j = p - 6 for j.
-5
Let t = -25 - 13. Let a = t + 43. Let n = 0 + 0. Solve -f + 18 = -n*y + a*y, y - 8 = 2*f for f.
-2
Let o(x) = x**2 - x + 5. Let b be o(0). Let y(k) = -k**3 - 2*k**2 - 3*k - 3. Let w be y(-2). Suppose w*j = -j. Solve 5*f = p - 11, -2*f + p - b = -j*p for f.
-2
Suppose -3*g - 4*c + 3*c = -41, 0 = 4*g - 2*c - 58. Solve -1 + 3 = 5*s - 4*q, 2*q + g = -4*s for s.
-2
Let a(h) = 3 - 1 + 15 - h - 7. Let d be a(7). Let z(v) = -v**3 - 2*v**2 + 6*v + 2. Let b be z(-4). Solve -5*c + b = -0*t + 2*t, -2*c = -d*t - 4 for c.
2
Let m = 677 - 673. Solve 0*n = 2*n - b + 5, 4 = -m*b for n.
-3
Suppose -2*c - 8 = -5*u, -2*u = 2*u - 4*c - 16. Let q be (-6)/(3 - u)*1. Let i be 2 + (-2 - q) + 0. Solve 0 = -4*n - 2*w - 2, -3*n = -i*w + 5*w for n.
-1
Let f be (-287)/(-18) + 24/432. Solve s + 6*p + f = 2*p, p + 15 = -3*s for s.
-4
Let b = 0 + 5. Let f be (-10 - -11) + 1/1. Suppose f*r + 15 = 5*r. Solve l - 3*h + 0 = 1, b*l - h - r = 0 for l.
1
Let v = 768 + -752. Solve 3*g - 5*m = 12, 0*g - 4*g - 5*m = -v for g.
4
Let y(v) = -v**2 + 10*v - 5. Let q be y(2). Suppose -11 = 4*g - q. Solve a - 6 = -g*a - n, -2*a + 10 = n for a.
4
Let i be ((-12)/18)/((-1)/(-24)). Let h(n) = -2*n - 30. Let b be h(i). Solve 3*v - 20 = -5*t, 15 = 5*t - b*v - 5 for t.
4
Let v = 73 - 69. Let y = 4 - 0. Solve 2*m + 4*a = y*m + 18, v*m - 4*a = -28 for m.
-5
Suppose 0 = -5*o + 4*g + 7, -11*o = -9*o - 2*g - 2. Solve 6*s = o*a + s - 1, 1 = -3*a + 4*s for a.
-3
Let b be 108/30 + (-6)/(-15). Suppose b = j - 1. Solve j*r - 2*n - 3 = 1, -4*r - 2*n + 14 = 0 for r.
2
Let o(y) = -y - 11*y**2 - y**3 - 8*y + 10 + 0. Let m = 14 - 24. Let w be o(m). Solve 3*r + w*r - s = 12, 3*r = -3*s for r.
3
Suppose -2*r - 4*v + 68 = 0, -r - 4*r - 3*v = -191. Let o = -1887 - -1889. Solve 5*x + r = -o*k + 5*k, -3*k - 3*x = 0 for k.
5
Let i(o) = 14*o + 224. Let b be i(-16). Solve d = -2, 3*g - 3 = 3*d - b for g.
-1
Suppose 3*r + 2*n = 5 + 6, -4*n = -2*r + 2. Solve 5*l + 15 = 5*h, r*l + h - 9 = l for l.
2
Suppose 30*y - 24*y = -246. Let t = -41 - y. Solve t = -4*m - 4*h + 8, 3*h = m - 0*h + 18 for m.
-3
Let m be 2/(-8) + 97/4. Suppose 16 = 3*i - q, -8 = -i - 3*q + 4*q. Suppose -i*p + 20 = p. Solve 4 = p*s + 5*l + m, 5*s - 4*l = 16 for s.
0
Suppose -5*w = -5*c - 35, w - 3*c + 7 = 18. Solve 3*h - v - 5 = w, 5*v - 5 = 4*h for h.
5
Suppose 0 = 4*d - 2*t - 8, 7 = 5*d + t - 10. Solve 4*q - d*w + 4*w = 14, 2*q = 3*w for q.
3
Let b(h) = h**2 - 20*h - 41. Let w be b(22). Solve 5*c + 3 + 14 = -4*z, c + z + w = 0 for c.
-5
Suppose -2 = -4*m + a + 2, 0 = -3*m - 4*a - 16. Suppose -4*f + 2*i = -14, 2*f + m*f + 3*i = 19. Solve -s + 0*s - 2*o + 2 = 0, -o = f*s - 1 for s.
0
Let j = 924 - 919. Solve k - i = -3*i + 5, -2*k - j*i = -13 for k.
-1
Suppose 7 = 4*p - 5*h - 21, -2*p + 14 = 2*h. Solve -z = 2, 0 = -j - 6*z + p*z for j.
-2
Let d be ((-4)/2)/((-26)/39). Suppose 3 = 2*k + 3*c - 8, -3*k - 2*c + 9 = 0. Let t = 3 - k. Solve d*s + 10 = t*v, 0 = -2*v + 5*s - 3 + 13 for v.
5
Suppose -4*q = -8, -u = 2*u + q - 17. Suppose u*b - 18 = -b. Suppose 11 = b*g + 5. Solve 4*h = -4*l - 12, 5*h - g*l + 23 = l for h.
-4
Let c = 11 + -8. Let b = -18 - -41. Let r = -23 + b. Solve r = -3*w + 3*u + 9, -c*u - u - 11 = -5*w for w.
-1
Suppose 5*g - 4 = 16. Solve -7 = t + k - g*k, -k - 3 = t for t.
-4
Suppose 3*u - m - 16 = 4*m, -5*u = 5*m. Suppose 0 = 3*c - 2*v - 16, 5*c - u = -v + 3. Solve 3*k = -c*f, 0 = -2*f + f - 2*k for f.
0
Let f be 1/(3/6 - 0). Let c be ((-20)/30)/(f/(-18)). Let t = -2 + c. Solve t*s = a + 6 - 25, 2*a + 7 = -s for a.
-1
Let r(m) = m**3 - 9*m**2 + 7*m + 2. Let l be r(8). Let k be (-24)/(-20)*(-40)/l. Let d be (-12)/k*(-10)/3. Solve -d*t - 20 = 5*c, 3 = -2*t + 1 for c.
-3
Let l = 30 + -27. Let c = 2 + 7. Let p = c + -6. Solve -l*w = -2*y + w + 16, 15 = 3*y - p*w for y.
2
Let p(z) = 13*z + 147. Let f be p(-11). Let i be 1/(-2)*-6 + -1. Suppose 2*g = f - i. Solve 2*n = 2*q + 2, n + 3*q + 14 = -g for n.
-3
Let y = 0 - -4. Suppose 0 = 9*w + 64 - 19. Let f be (w/(-1))/(4 + -5 + 2). Solve -o + 3 = -5*z - f, y*o - 5*z - 17 = 0 for o.
3
Suppose 41 = 5*o - 19. Let u be ((-1)/2)/((-3)/o). Let j be 3/(-21) - 29/(-7). Solve 0 = -q - 1 + 6, j*q - 16 = u*k for k.
2
Let p(o) = 6*o - 15. Let r be p(4). Let l(c) = -c**3 + 10*c**2 - 9*c + 3. Let h be l(r). Solve 0 = 2*s - h*s + 2*z + 6, 5*s = 3*z - 5 for s.
-4
Let n be (-58)/(-18) - (-2)/(-9). Let c be (-60)/(-18) + 1/(-3). Let j be 12/(-18) + 14/c. Solve -t = n*w + j*t + 11, t = -w - 1 for w.
3
Suppose 2*g + 12 = 4. Let t(h) be the third derivative of h**4/12 + 2*h**3 - 10*h**2. Let f be t(g). Solve 4*j = f*c - 0*c - 12, -4*j = 3*c - 16 for c.
4
Let i = 690 - 664. Solve 7*k - 3*k - i = -2*j, -4*k = 3*j - 31 for j.
5
Let c = 25 - 22. Suppose w = c*m, 0*m = -3*w - m. Let i be (-2)/(-3) - (-21)/9. Solve 0 = 3*q - 5*a + 2, -i*q - 3*a + w*a - 18 = 0 for q.
-4
Let c = -61 + 64. Let d be c + (-10 - -3) - -6. Solve d*h - 12 = -5*x, -2*h = -0*h + 4*x - 8 for h.
-4
Let z = 51 - 40. Suppose -4*c - 4 - 1 = 5*m, -3*m - z = 4*c. Let j = -2 - -7. Solve -p = -3*l + 12, l = -m*l - j*p + 35 for l.
5
Let r = -4 + 7. Let z = -87 - -92. Let d(b) = -b**2 - 4*b - 1. Let u be d(-3). Solve -5*s + z*y = u - 12, -4*y + 6 = r*s for s.
2
Let c(u) = -u**3 - 4*u**2 + 2*u + 6. Let o be c(-5). Let q be 9920/1736 + 10/(-14). Solve -q*l + 0*r = -2*r + o, 4*l = -4*r for l.
-3
Suppose 20 = -7*n + 41. Solve -n*u = u, -5*u - 6 = 3*w for w.
-2
Let n = -92 - -94. Suppose 0 = 4*s - 0*s - 12. Suppose -o = -s*o + 10. Solve -o*i - 4*m - 31 = 0, -15 = i + n*m + m for i.
-3
Suppose 0 = -18*q + 33 + 21. Solve -q*y - 6 = 0, -4*y - 10 = -4*j + 10 for j.
3
Suppose -45 = 3*n - 51. Solve 2*k + 3*h - n*h - 5 = 0, -5*k + 23 = -h for k.
4
Suppose 3*t = t + 34. Suppose -1 = -2*f + 5. Solve -2*z = -4*z + 8, 5*z - t = -f*b for b.
-1
Let v(h) = h**3 - 12*h**2 + 12*h + 7. Let u be v(11). Suppose -4*o = -16, 5*g + 2 = o + u. Solve 4*c - 4*n - 9 = -1, 0 = -g*c - 4*n + 16 for c.
3
Let q be -4*2/(-8) - 42/(-14). Solve q*t + 4*j - 7 - 5 = 0, 0 = 5*t + j - 23 for t.
5
Suppose 0 = -4*m + 16, 27*x = 22*x - 2*m + 23. Solve -t + 4*j - x = -2, 0 = 3*t + 4*j - 13 for t.
3
Let y(d) = -4*d - 16 - d + 5*d - 3*d. Let r be y(-11). Suppose 2 = 5*c - 2*j - 3, -r = c - 4*j. Solve -2*n + x = 13, -c*n = -2*x - 0*x + 21 for n.
-5
Suppose 0 = 57*k - 53*k - 3*r - 53, 5*k + 2*r = 72. Solve 3*t - 5*x - 54 + k = 0, -2*t - 4*x - 10 = 0 for t.
5
Suppose -17331*b + 17335*b = 12. Suppose 38 = 5*u + 4*q, 16 = 2*u - u + 5*q. Solve 3*p - b*v = u, p - 6 = -0*p + 2*v for p.
-2
