10*w**2 + 6*w - 40. Let t be b(10). Solve -3*c - 4*h + 4 - 3 = 0, -t = -5*h for c.
-5
Let s be (-1256)/(-18) - 5*4/(-90). Let r be (-1)/7 + 220/s. Solve -2*m - 3*l = -0*l + 16, -31 = 5*m + r*l for m.
-5
Suppose -2*h + 2*l = -0*h + 136, h + 3*l = -76. Let q be 0/(13/5 + 42/h). Solve 3*u + 12 = 4*v - v, q = -v for u.
-4
Suppose -6*y = -y - 135. Let v = y + -24. Let c = 10 - 5. Solve 0 = v*r - 4*w + 20, w - 5 = -c*r - 0*r for r.
0
Let x = -191 - -196. Suppose 2*f - 7 = -1. Solve -4*y = -x*o - 30, -2*y = -o + f*o - 6 for o.
-2
Let z be ((-7)/42*-3)/((-2)/(-4)). Suppose z - 13 = -6*l. Solve 5*q = 3*j - 0*j + 8, -l*j - 3 = -q for j.
-1
Let a(d) = -d**3 + 5*d**2 - 3*d + 1. Let i(f) = -1. Let o(s) = a(s) - 3*i(s). Let k be o(4). Suppose v = 8 + k. Solve -5*w - 11 = 9, 2*w + v = 2*y for y.
4
Let g be -18 + 2 - 1*-4. Let h be (0 + g/(-8))*2. Solve -h*l + 2*r - 10 + 4 = 0, 6 = -4*l + 2*r for l.
0
Let z be (9*(-6)/18)/(-1). Solve 5*h + 8 = j + 28, 0 = z*h - j - 10 for h.
5
Let n be (-8)/(-14) - 4/7. Solve n*c + c - a + 1 = 0, 2*c - a = -3 for c.
-2
Suppose 4*z + z = -k - 36, -3*k - 89 = -4*z. Let s = k - -31. Solve 20 = 5*d + 5*q, 0*d + 3*d - 4*q + 23 = s for d.
-1
Suppose 5*w = -1 + 56. Let q = -6 + w. Let s = 6 - 1. Solve -2*p + 2 = s*u - 3, 0 = -q*p + 25 for u.
-1
Suppose 2 = -w - 2, -3*w = -4*f + 24. Let j = -22 + 15. Let o be (-2)/j + (-198)/(-42). Solve -o*y = -f*x - 2*x + 5, -2*y + 10 = x for x.
4
Let h(a) = 7*a**3 + a**2. Let g(n) = 2*n - 9. Let t be g(6). Suppose -o + t*o = 2. Let m be h(o). Solve 4*y - 20 = 4*d + m, 0 = -3*y + 2*d + 16 for y.
2
Suppose 16*d - 6 = 14*d. Solve 0 = -0*y + y + 4*x - 5, d*x = 0 for y.
5
Let s(h) = h**3 + h + 2*h + 4 - 4*h**2 - 1 + 0*h. Let c(v) = -4*v - 1. Let m be c(-1). Let i be s(m). Solve 50 = -5*t + 5*w, -25 = 3*t + w - i*w for t.
-5
Let k(g) = 2*g**3 + 3*g**2 - 4*g. Let m be k(-3). Let x = m + 19. Suppose 0*a = -2*a + 10. Solve -x*w - 12 = a*j - 2, -3*w + 8 = -4*j for w.
0
Suppose 0 = -8*c + 15 + 57. Solve -3*n + 2*q + 4 = -c, -5*n + 5 = 5*q for n.
3
Let y(l) = -13*l - 1. Let n be y(-1). Suppose -2*v - 3*v - 30 = -5*m, 2*v + m + 21 = 0. Let a = v + n. Solve a*u - 12 = 0, 0 = -2*p + 5*u - 5 - 5 for p.
5
Suppose 0 = 6*t - 97 + 7. Suppose t = h - 3. Solve 4*y + h = q, 4*y + 26 = -q + 6*q for y.
-4
Let z be (9/3 - 7) + 31. Solve c = -3*u + 2, -6*c + z = -c - 2*u for c.
5
Let f = -1583 + 1588. Solve 6 = 5*h + f*x - 19, 19 = 5*h - x for h.
4
Let z = -15 - -15. Suppose z = -5*k - w - 2, 0*k + 4*k = -w - 1. Let j be 2 - (-2 + 2 + k). Solve 3*x - 14 = 6*y - y, -j*y - 12 = -3*x for x.
3
Suppose -3*t + 120 = -d - 4*d, 0 = d + t + 16. Let v = 31 + d. Solve z = -4*x - 17, 2*z = 2*x + v - 4 for x.
-4
Let n(g) = -g - 6. Suppose -21 - 11 = 4*v. Let l be n(v). Solve 0*k - w = -l*k - 3, 0 = 4*k - 4*w + 12 for k.
0
Let p(u) = -u + 44. Let i be p(30). Solve -4*m + 0*j - j - i = 0, m = -3*j - 9 for m.
-3
Let g = -275 + 289. Solve 3*q + 2*b = b + 15, -g = -2*q - 2*b for q.
4
Let l = 39 - 24. Let t = -1122 + 1127. Let k(a) = a**2 - 4*a - 3. Let h be k(5). Solve -5*n = t - l, -h*c + 16 = 4*n for c.
4
Let o = -3 + 16. Let s = -11 + o. Suppose h = -s*h + 3. Solve -2*f = -5*n - 5, -5*n + 3*f = 9 + h for n.
1
Let a = -29 - -31. Solve -a*l + 16 = 4*w, 0*l = 3*l + 3*w - 12 for l.
0
Suppose 4*w = -r + 12, -3*r + 2*r + 12 = -4*w. Let m be 3 - (r/(-3) - -3). Solve b - m*t - 5 + 2 = 0, -t = -4*b + 12 for b.
3
Suppose -4 = -4*s, -4*s - 21 = f + s. Let m = f + 26. Solve m*v + v + j - 4 = 0, 4*j = -3*v + 16 for v.
0
Let x be (-18 + 13)/((-2)/4). Solve -1 = -3*i + 4*c - 15, -3*c = -2*i - x for i.
-2
Suppose j - 131 = 4*a, 0*a - 5*j - 38 = a. Let s = a - -33. Solve k + 0*m + m + 7 = s, 3*m + 12 = 0 for k.
-3
Suppose -3*o = -4*q + 12, 3*q = -q - 5*o - 20. Suppose -m - 5*l + q = -3, 3*l = 4*m - 12. Solve 0 = 4*j - 5*x + 6, 0 = 3*j - 5*j - m*x + 8 for j.
1
Suppose -20*s + 15*s = -55. Solve 2*q - 13 = 5*f, 4*q = -2*f + s + 3 for f.
-1
Suppose -5*t - 26 + 6 = 0, 5*v + 79 = -t. Let d = v + 19. Solve z - l = -4*z + 2, 0 = -2*z - d*l + 14 for z.
1
Let d(y) be the second derivative of -y**5/20 - y**4/2 + y**3/6 + 9*y**2/2 - 9*y. Let t be d(-6). Solve -q - t*o = -6 - 5, 2*q + 6 = o for q.
-1
Let a(v) = v**2 + 9*v + 3. Let p be a(-9). Solve 2*c + 6 = -p*h + 5*c, 2*c + 6 = 0 for h.
-5
Let l = 547 - 544. Solve -l*f + 9 = 0, -2*f = 2*o - 6*f + 12 for o.
0
Let x(r) = -r**2 + 24*r - 105. Let b be x(6). Solve b*k = 2*y - 7, 5*y - 25 = -0 for k.
1
Let u(a) = -a**2 - 21*a - 37. Let x be u(-19). Let g be (-2 - -3)*x + 1 - -1. Solve 0*w + 4*b - 27 = -g*w, 4*w - 14 = 2*b for w.
5
Suppose 5*x - 5 = -5*p, 3*p - 3 = -9. Solve x*h = -4*a - 6, 7 = h + 5*a + 20 for h.
2
Suppose -60*q = -63*q + 30. Suppose 4*o = 2*g + 22, 0*g = -o + 4*g + 16. Suppose o*w - 30 + q = 0. Solve 3 = -3*i + w*v, 0*v = -3*v + 9 for i.
4
Suppose 0*z + 2*z + 30 = 0. Suppose i = -2*f - 24, -5*f - 4*i = -10*f - 73. Let q = f - z. Solve -8 = -5*d + 2*y, -q*y + 1 = -2*d + 3 for d.
2
Let c = 49 + -35. Suppose c*r - 8*r - 12 = 0. Solve -m + r*m = -3, 2*s = m + 11 for s.
4
Suppose 22 = m + 2. Suppose 2*s - z - m = -2, -5*z = 0. Let l be 5/10 + s/2. Solve -3*h - 6 = 3*n, n + 0*h = -2*h - l for n.
1
Let h = -22 - -22. Suppose h = p - 3*p + 16. Let q = p + -5. Solve -4*l = -r - 8, -q*l + 5*r + 4 = -l for l.
2
Let f be ((-1)/2)/((-3)/(-180)). Let p be 3/(-5) + 102/f + 7. Solve -2*q - q = -9, -p*q + 12 = -3*g for g.
-1
Let f(o) be the second derivative of -o**3/6 + 15*o**2/2 - 2*o. Let b be f(10). Solve 2*v - 4*n + 6 = -3*v, -b*v - 5 = -5*n for v.
-2
Let b be (-5)/(2 - 1) - (20 + -28). Solve -p = -4*r + 2*r + 7, 3*p - b*r + 9 = 0 for p.
1
Suppose -19*w + 11*w + 16 = 0. Solve 0 = -4*k + 3*c + 5, -5 = -k - 5*c + w for k.
2
Let a(m) = 3*m**2 - 32*m + 48. Let u be a(9). Solve -2*z = 2*c + 10, -u*c - 3*z = -6*c - 3 for c.
-3
Let k be 1 + 12/(-21) - 25/(-7). Solve -5*q + k = 2*v, 3*q + 2*v + 1 - 5 = 0 for q.
0
Suppose 5*y - 5 = -b + 21, 0 = -2*y + 5*b + 32. Let t be -3 + y/3 - -5. Solve 3*n = a + 2*n + t, 0 = -5*a + 4*n - 20 for a.
-4
Let x(p) = 6*p**3 - p**2 - p + 1. Let d = -24 - -24. Suppose 0 = -d*c - 3*c + 3. Let w be x(c). Solve 0 = -v - v - 2*t + 16, 3*v - 32 = -w*t for v.
4
Let w = -2 + 5. Suppose -4*f + 2*c + 56 = 4*c, -56 = -5*f + c. Solve 13 = -3*t + g, -4*t - w*g - g - f = 0 for t.
-4
Let a(m) = 19*m - 52. Let u be a(3). Solve -4*l = 4*d - 16, 4*d - 1 = u*l + 2*d for l.
1
Let v be 5*(-5 - (-2)/(-1)). Suppose -210 = -48*x + 1710. Let q = v + x. Solve q*g - d + 21 = 0, -3*d = -5*g + 2*d - 5 for g.
-5
Let k be 5/((-1)/6*-15) - -10. Suppose k = 2*m - 0*m. Solve 0 = 4*d - 9*d, -2*v + 2*d = m for v.
-3
Suppose 1095*j = 1097*j - 8. Solve 4*t - a = -0*a - 12, j*t = -4*a - 12 for t.
-3
Let q = 574 + -572. Solve -4 = q*a - 2*c, c - 8 = a + 6*c for a.
-3
Let m(q) = q**2 - 7*q - 4. Let k be m(9). Suppose -2*l - 4 = 4*a - 0*a, 5*l + 35 = -5*a. Let t = k + l. Solve t*p = 3*y + 4, -3*p + p + 10 = 0 for y.
2
Let c(v) = -v**3 - 5*v**2 - 1. Let r be c(-5). Let p be -3 - r - (-7 - -1). Suppose 3 - 23 = -p*j. Solve -z + 12 = j*t - 10, 0 = -3*t + 4*z + 27 for t.
5
Let f(w) = -w**3 + 19*w**2 + 16*w + 85. Let q be f(20). Solve q*i + 21 = -2*u - 4, -2*u = 2*i + 16 for i.
-3
Let t = 767 - 763. Solve 0 = -9*q + t*q - 5*i + 10, -5*i = 2*q + 2 for q.
4
Let f be (-2)/(-2)*(-7)/(-1). Let d = 46 - 28. Suppose 0*t - 9*t + d = 0. Solve -5*p - 3*n = 7, p + t*n = -0*p - f for p.
1
Let k(t) = -4 + 4 - 5 - t**2 + 11*t. Let m be k(10). Let l be 20 + -1 + (-20)/(-2 + 7). Solve -5*q = l, 4*g = 3*g - m*q - 14 for g.
1
Let d(s) = -2572*s**3 - 8*s**2 - 13*s**2 - 55 + 12*s + 2571*s**3 + 6*s**2. Let k be d(-16). Solve -9 = 3*f + 4*g - 40, -4*g = -5*f + k for f.
5
Suppose 2*b - 17 = -7. Suppose 4 = 2*v, 0 = 2*n + 2*v + b - 33. Suppose -l = 2*l - n. Solve p + l*k - 4 = 0, 2*p - 2*k + 3*k = -6 for p.
-4
Suppose -4*a = 16, a - 26 = p - 6*p. Let w be (-49)/(49/(-12)) + -10. Solve l - w*m = -2 - p, -20 = -2*l - 5*m for l.
0
Let s be 1*((0 - -2) + -2). Let o = -22 - -49. Let m be 114/o + (-12)/54. Solve s = m*u + 4*c + 16 - 4, 4*u - 6 = 2*c for u.
0
Suppose 150 = 19*r - 9*r. Solve 12 = 2*b - s + 3, -3*b + 3*s + r = 0 for b.
4
Suppose -24 = -2*j + 50. Suppose -3*o - j = -4. Let t = o + 14. Solve -t*k - 21 = -3*f, -5*k - 3*f + 0 = 3 for k.
-3
Let f(z) = -z*