se -q*c + 5 = -7. Let p = 2 + c. Solve -p*o - 2*x - 4 = -24, 0 = -4*x for o.
4
Suppose 35 = 3*b + 4*u, -b + 25 = b + 3*u. Solve -5*z + b = -4*w, w = -z - 2*z + 3 for z.
1
Let d be 1*4 + (6 - 7). Solve -p + 4*b + 7 = 4*p, 2*p - d*b = 0 for p.
3
Let s be (6/5)/(4/20). Let l be 12/16*(s + -2). Let d = -25 + 43. Solve 16 = -2*o - m - 4*m, 4*o + l*m = -d for o.
-3
Let q(p) = -p - 9. Let d be q(-11). Suppose f + 3*f - 31 = -5*m, 9 = d*m + 5*f. Solve 4*i + 5*u = -1 - m, -u - 1 = i for i.
3
Let g = -7 - -37. Suppose 0 = -5*q + 4*o + g, 5*q - 25 = -0*q + 3*o. Solve 2*j - 3*c - 2 = -5*c, j - 2 = -q*c for j.
0
Let u be (-40)/(-10) - (0 - 0). Solve -c = -u*w + 6, -c + 11 = 5*w - 1 for w.
2
Suppose w - 3*w + 4 = 0. Suppose -w*v = v. Solve -2*h + 25 = 3*c, -5*c + 4*h = -v - 5 for c.
5
Suppose 3 = 3*m - 6. Solve -m*k = -4*x + 1, -3 = -3*x - 0 for k.
1
Let j(l) = l - 3. Let c be j(5). Let s = 11 + -10. Let y = c + s. Solve -y*n = 0, -4*z - 12 = -0*z - 5*n for z.
-3
Let b be 2/(0 - (-4)/(-4))*-1. Solve -4*o + d - 1 = 0, 0*d = -2*d + b for o.
0
Suppose -4*k = -5*l - 21, 3*l + 16 = -l + 4*k. Let a = -2 - l. Solve c - 3*r - 24 = r, 7 = a*c + r for c.
4
Suppose 0*k + 2 = 2*k. Let t = 6 - k. Suppose 0 = -4*l + 17 - t. Solve 13 = -3*i + 5*i + l*u, -2*i - u = -11 for i.
5
Let u(n) = -n - 9. Let q be u(-5). Let j = 0 - q. Solve j*x = 2*y - y + 9, 0 = -2*y + 3*x - 8 for y.
-1
Let q(b) = 6*b - 5*b - 5*b**2 + 16 - 13 + 4*b**2. Let i be q(0). Solve -2*l - 1 - 1 = -2*m, i*l + 5*m - 5 = 0 for l.
0
Let s(q) = -6*q - 8. Let r be s(-2). Solve 6*k = -r*a + 2*k, 18 = -a + 5*k for a.
-3
Let a(x) = 2*x - 2. Let v be a(3). Solve -2*o - v = -5*y - 4*o, -2*y + 10 = -2*o for y.
2
Let d(y) = 4*y + 2. Let h(t) = t**3 - 4*t**2 - 6*t + 2. Let p be h(5). Let l be d(p). Let b = 18 + l. Solve -n - b = -2*a, 3*n + a - 11 = 7*n for n.
-2
Let f = 13 + -7. Suppose -m - 5 = -f*m. Suppose 4*n - m = 11. Solve -11 = r - 0*r + n*z, -5*r + 2*z = -30 for r.
4
Let p = -57 - -22. Let c = -20 - p. Solve 5*z - 5*s - c = 0, -z = 2*z + s - 1 for z.
1
Let f = -3 - -8. Let z = 8 + -1. Solve -f*o = -4*c - 0 - 23, 5*c + o + z = 0 for c.
-2
Suppose -16 = -2*m + 8. Suppose n + m = 2*n. Suppose 5*x - 5 = 4*x. Solve x*o + j = -4*j + 10, 4*j = -n for o.
5
Suppose 4*h - h - 9 = 0, h = 5*s - 17. Solve q = -p, s*p = 3*q + 8*p for q.
0
Suppose 0 = -0*w - w. Suppose w = -2*q - 0*q. Solve r - 2*t + 5 = -q*t, 2*t = -3*r + 25 for r.
5
Suppose 2*y - 8 = -k, 0 = k + 5*y - 15 - 2. Suppose k*o - 6 = -4*p, 0*o + 2*o - 8 = -2*p. Solve -3*s - 5 = 4*d - 0*s, o*d = 2*s - 35 for d.
-5
Let q be (-256)/(-44) + 2/11. Suppose 0*z + 2*z = q. Suppose -2*j + 7 = r - 2, 0 = 4*r - 5*j + z. Solve -2*x + r*i + 21 = -2*i, -30 = 5*x + 4*i for x.
-2
Suppose -2*d = -0 - 6. Let f = 8 - 5. Solve d*y = 4*a - 16, a + a = -f*y - 10 for y.
-4
Let t(o) = -o**3 - 16*o**2 - o - 7. Let x be t(-16). Let u(d) = d**3 - 9*d**2 + d - 7. Let f be u(x). Solve -4*y = -16, -f*y + 14 = -4*i - 6 for i.
-3
Let r = 6 + -1. Suppose r*t = 3*j - 21, -j + 8 = -3*j - 4*t. Solve 3*m - 9 = j*b, 2*m = 3*b - 3*m + 15 for b.
0
Let u(a) = -3*a + 28. Let r be u(6). Let t = 29 - 8. Let g be t + (-3)/(3/(-2)). Solve r*c + 29 = 5*c - 3*x, -5*c = x + g for c.
-4
Let z(t) = t - 12. Let y be z(10). Let s be 1*13*(-2)/y. Solve -3*w = -2*h + s, -3*w - h = -2*w + 6 for w.
-5
Suppose i - 9 = -3*k, i = 3*k + 6*i - 21. Solve -2*v + 2*l - 8 = 0, 4*v + k = l - 2 for v.
0
Let o = -3 + 3. Suppose -3*f - 6*y = -2*y + 11, -22 = -4*f + 2*y. Suppose 0*z - 10 = -z. Solve -6 = -f*p - 4*h, p - 6*p - h + z = o for p.
2
Let n = 1 + 4. Solve 4*o = -n*u + 13, 0 = o + 2*o + 9 for u.
5
Suppose -3*c - 99 = m - 4*m, -45 = -m + 5*c. Suppose -5*r + m - 5 = 0. Solve r*j - 10 + 0 = 0, 7 = -y + 5*j for y.
3
Let u(x) = x**2 + x + 2. Let b be u(-3). Suppose -a + 3*w + w = -b, 4*a - 12 = -4*w. Solve 2*g + a*s = -28 + 6, -g + 13 = -4*s for g.
-3
Let k = 26 - 18. Solve -3*x + 3*t = 3, -k = -5*x - 3*t + 3 for x.
1
Suppose 7*i - 3*i = -232. Let b = 31 + i. Let y be (b/6)/(12/(-16)). Solve -h = -3*d - 16, -y = 4*h + d + d for h.
1
Let f(d) = -d**2 + 3*d + 5. Let w be f(3). Solve 0 = 4*c - 8, -c + 3*c - 29 = -w*v for v.
5
Let q be (-4)/(-10) + (-288)/(-5). Suppose -2*k + 5*r = -k - 2, -r = -5*k + q. Let m be 129/k + 1/4. Solve -3*b + m = 4*f, -2*b = -4*f + 7*f - 8 for f.
2
Suppose f - 6 + 1 = 0. Let b = -1 + 2. Let r = 1 - b. Solve r = -2*a - 2*m - 10, -f*a = -4*m + 11 + 5 for a.
-4
Let d = 83 - 78. Solve 10 = d*b, -17 - 16 = 5*a - 4*b for a.
-5
Suppose 4*b - 14 = 6, -3*f - b = -17. Suppose 0 = 2*y - f*y + 6. Solve 0*o = -3*o + y*g - 15, -5*o = -4*g + 20 for o.
0
Let y be 2/(-9) + (-14)/18. Let w(h) = 6*h**2 + h. Let p be w(y). Suppose 0 = m - 5*m - 4, p*f + 5*m = 45. Solve 2*u = -2*u - 20, 5*b + 2*u = -f for b.
0
Let u(v) = -v**3 + 5*v**2 + 2*v - 7. Let y be u(5). Let a = y - 1. Solve 3 = a*w - 4*n + n, -9 = -2*w + 5*n for w.
-3
Let q = -11 - -8. Let u be 2 + q - -1 - -2. Let a be (u + 1)*8/6. Solve -11 = 5*x - 2*t - 2*t, -x - a*t = -17 for x.
1
Let k = -8 + 13. Suppose -12 = 2*h - 2. Let u = 15 + h. Solve -s + 8 = 4*t, -s = -k*t + 2*s + u for t.
2
Suppose 11*b - 4*b - 35 = 0. Let n(g) = -2*g - 5. Let u be n(-5). Let s = b - u. Solve l + 5 = s, 0*h + l = -2*h - 5 for h.
0
Suppose 3*l + 30 = 5*a, 3*l + 24 = -0*a + 3*a. Suppose 3*j = -a*j + 60. Solve -4*r + 2 = -2*m, -5*m = -3*r - 6 - j for r.
3
Let r(h) be the second derivative of 5*h**3/6 - h**2 + 5*h. Let t be r(2). Solve 5*d = 3*g - 34, t*d + 17 = 4*d - g for d.
-5
Let b = -7 + 10. Solve 0 = -b*k + 3*q - 2*q + 4, -2*q - 2 = -4*k for k.
3
Let g(d) = -2*d + 10. Let v be g(3). Solve 0*r - 2*r = -2, v*y = -4*r + 20 for y.
4
Let b(x) be the third derivative of -x**5/60 + x**4/24 + x**3/3 - x**2. Let y be b(0). Solve 0 = -y*v - 4*o - 16, 5*o + 22 = -4*v + 5 for v.
2
Let x(k) = 2*k**2 + 2*k + 1. Let c be x(3). Solve -9*n + 4*n = -5*b - c, 2*b = -5*n + 18 for n.
4
Let y(x) = -x**2 + 6*x + 10. Let u be y(7). Let b = -1 + 5. Let o(p) = -p**2 - 8*p - 8. Let r be o(-6). Solve -4 = -u*k - b*c - 1, 32 = 4*k - r*c for k.
5
Suppose 0 = -q - 5*w - 3, -w - 11 = -0*q - 5*q. Solve 4*b = -0*s - q*s + 20, -4*b - s = -18 for b.
4
Suppose -52 = -4*g - 12. Suppose -4*d + g = d. Solve 5*f + 4*c + 22 = 0, d*f + 16 = -0*f - 4*c for f.
-2
Let t = 43 - 21. Suppose -8 = -0*f - 2*f, -3*f + t = m. Suppose -4*y + m = -50. Solve a - 5*a + 13 = -5*p, -5*a + y = -5*p for p.
-1
Let r = 53 - 52. Solve 4*t + 4*l + l = -r, 0 = -3*t + 3*l + 6 for t.
1
Let s be (-8)/(-12) + 40/3. Solve c = 3*c + 2*f - s, 3*c - 5*f + 19 = 0 for c.
2
Let m(n) = n**2 - 3*n + 1. Let q be m(6). Suppose 4*k - q = 1. Solve 0 = -f + 2*h - 9, 0*f = -k*f - 5*h + 15 for f.
-1
Suppose c = p + 28, 3*c - 4*p = -5*p + 84. Solve 4*a = -1 + 13, a = 5*b + c for b.
-5
Let c(b) = b + 16. Let q be c(-11). Solve 3*a - 5 = 1, -q*a = -2*l - 6 for l.
2
Let a = 15 - 6. Solve -s + 2*i + 2 = -a, -s - 2*i = 1 for s.
5
Let q = -7 + 18. Let c = 27 - q. Solve 3*a - 3*l = 7*a + c, -4*a + l - 16 = 0 for a.
-4
Let h(c) = c**3 - 2*c**2 - 3*c + 2. Let y be h(3). Solve 4*t = y*j - 5*j - 27, -t = -j - 2 for t.
-3
Suppose -3*x - 4*w = -0*w - 44, 26 = 2*x + w. Suppose -r - o = -6, 39 = 5*r + 2*o + x. Solve -2*t = -b - 2, r*t = -6*b + 2*b + 5 for t.
1
Let j = 30 + -25. Solve -7*l + 2*l + 15 = j*h, 0 = -h for l.
3
Let a be 0 + 3 + 2 + -3. Suppose l = -61 + 61. Let d(k) = -k**3 + 5*k**2 - 4*k + 3. Let u be d(4). Solve l = -y - u*y + n + 7, 0 = -y - n - a for y.
1
Let l(m) = m**3 - 3*m**2 - 2*m + 10. Let d be l(2). Solve 5*c + 17 = d, -4*h + 1 = -3*c for h.
-2
Let v(r) = r + 4. Let o be v(0). Solve o*u - 17 = -2*h - 3, -5*h = 3*u - 14 for h.
1
Suppose -s + 0*s + 2*p = 10, s - 3*p + 14 = 0. Let b = s + -58. Let f be ((-1)/3)/(5/b). Solve 0 = f*k - 5*i - 2, 2*k = 8*i - 3*i + 6 for k.
-2
Let y = 106 + -104. Solve 3*r - 15 = 3*u, 0 = 4*r - 0*u - y*u - 18 for r.
4
Let r be (-1 - -11) + 0/(-2). Let t = -68 - -71. Solve 8*u + 17 = t*u + n, -4*u + 2*n = r for u.
-4
Suppose 5*c - c = -4*x + 56, 5*x - c - 40 = 0. Suppose 0 = 3*i - 33 + x. Suppose -i*s + 56 = -4*s. Solve 5*g + 1 + s = -5*z, 16 = -2*g - 4*z for g.
2
Let r(b) = 3*b + 23. Let n be r(-6). Solve 4*g = 3*c - 2, n*c - 5 - 2 = 3*g for c.
2
Let v = -35 + 57. Let m be (-128)/(-22) + 4/v. Let d be (-1 + -1 + 3)*m. Solve -5*r - 