
Let r(s) = -s**3 - 6*s**2 + 4. Let v be r(-6). Let g be ((-8)/(-14))/(6/21). Suppose 0 = 8*p - 24. Solve v*z = -g*m - 12, -2*z = -p*m - m - 4 for z.
-2
Let t = 37 + -36. Solve q - t = b, -5 = -2*b + 6*b - 5*q for b.
0
Let j = 2572 + -2572. Solve -w + j = s - 1, -w + 3 = -s for w.
2
Let h be (3 - 40/12)*-6. Let i(q) = q**3 - 6*q**2 + 3*q + 4. Let f be i(5). Let y be 5/h + 3/f. Solve 0*w + 3*w + 6 = 4*v, -w = 4*v + y for w.
-2
Let q = 1729 + -1720. Solve -5*h - 33 = 4*v, q - 44 = 5*h + 5*v for h.
-5
Let a = -13 - -20. Suppose -3*d + 14 + a = -5*z, -27 = 4*z + d. Let j = -1 - z. Solve -2*q = -2*t - 10, -t + 4*q - j = 5*q for t.
-5
Suppose 6 = 2*l - 0*z + 2*z, 0 = 3*l - 4*z + 12. Let j be (5 - 68/8)*8/(-14). Solve 3*o = j*x - x + 1, x + 3*o - 11 = l for x.
5
Suppose 12 = 2*f + 2*f - s, -15 = -5*f + 3*s. Suppose -f*t = 4 + 38. Let j = -11 - t. Solve 0 = 3*x + 3*a - j, 0 = 5*x + 3*a - 4*a + 25 for x.
-4
Let n be (5/(15/(-2)))/(2/(-6)). Solve -n*h - 3*h + 25 = 0, -4*h = -t - 25 for t.
-5
Suppose -2*o = 3*t - 1, 0 = -24*t + 28*t + 3*o. Solve 4*s = d + 2, 3*d - 1 + 7 = t*s for d.
-2
Suppose -y = -4*y. Suppose y*q = -q - 5. Let g be (-37)/q - (-2)/(-5). Solve 5*t + 4*i - 11 = g*i, -2*i = -2*t + 2 for t.
4
Suppose 0 = -3*d - 0*d. Suppose -20 = -5*o - d*o. Solve c - 4*c + 5*j = -40, o*c - 3*j - 35 = 0 for c.
5
Let f be (-85)/(-35) - (-9)/(-21). Suppose -p - 2*q + f = -8, 0 = q - 4. Suppose -7 = -p*g - 3. Solve -4*b + 31 = -3*z, g*b - 1 = z + 3*b for z.
-5
Let q(m) = -23*m + 56. Let y be q(5). Let t = y - -59. Solve 6*g + 16 = 2*g + 4*z, t = -2*g - 4*z - 14 for g.
-5
Suppose 2 = p + 2*d, 5*p + d - 20 + 1 = 0. Suppose -4*m + q - 3 - 16 = 0, -3*q = -p*m - 25. Let v be 1/m*-6*2. Solve 0 = 4*s - 4, v*s + 12 = -7*t + 4*t for t.
-5
Let q be 5*3/(30/4). Let l be (-10)/8*(q - 6). Let t = 73 + -49. Solve -5*j - t + 9 = l*r, 3*r - 2*j = 16 for r.
2
Suppose 3*n + 7 = m, 2*m = -3*m - n + 35. Let x = 16 - m. Let b = x + -9. Solve -5*h - t = -13, 5*h + 2*t - 16 = -b for h.
2
Suppose 3*x - 20 = -x. Suppose 16 = x*m + 4*p - 6, 0 = -3*m + 2*p. Let g = m + 0. Solve 0 = z + 4*v - 8, 6*z - z = g*v + 18 for z.
4
Let a = 8 + 0. Let t be a/(-28) + (-110)/7. Let g be 3/(-24) - 34/t. Solve -g*i - 5*u - 11 = 0, 4*i = i + 5*u - 4 for i.
-3
Suppose 0 = 3*k + 3*m - 23 + 5, -3*m = -k - 6. Let z = -6 + 6. Suppose -o + 6*o - 20 = z. Solve 0 = -3*b + k*q - 0*q + 18, o*b - 2*q = 16 for b.
2
Suppose 8*y = 10*y + 56. Let l = y - -33. Solve -i + 1 = 3*v, 0*v + l*i = 5*v + 25 for v.
-1
Let g(q) = -q**3 + q**2 + q + 2. Let i be g(2). Suppose i + 20 = 4*f. Solve -23 = f*x - p, 0 = -p - 2 for x.
-5
Let s = 17 - 15. Suppose -t + s*t = 3. Suppose -4*u - 4*z = 8, -z - 1 = 5*u + 1. Solve -h = -4*r - 3, u = r + h - 2*h - t for r.
-2
Let c(x) = -x**3 - 10*x**2 - 23*x - 9. Let j be c(-7). Solve -2*o + 6*o - 3*z = 3, 3*z = -j*o + 24 for o.
3
Let n be (-10)/12 + (-5278)/(-1092). Solve 2*q + 16 = -n*d - 2*q, -5*q + 5 = 0 for d.
-5
Let a = -14 - -31. Let q = 22 - a. Suppose 5*b - 30 = -q. Solve -4*o = b*i - 3*o + 5, -20 = 4*o for i.
0
Let r be ((-2)/(-4))/(1 - (-115)/(-120)). Suppose -4*i + 0 = -r. Solve 17 = -6*q + q - i*z, -5*q = -z + 1 for q.
-1
Let n = -81 - -86. Suppose -20 + 5 = -n*u. Solve 2*h - 2*f - 1 + 5 = 0, 0 = u*h + f + 2 for h.
-1
Let m be 1/(-5) + 432/60. Let y(v) be the second derivative of v**3/2 - 2*v**2 - 2*v. Let w be y(2). Solve -w*i = -m*i - 3*a, -2*i = 2*a for i.
0
Suppose 216 = 2*h + 2*h. Let d = h - 40. Solve -4*a = -2*j + 9 + 13, j = -3*a - d for j.
1
Let o be 50/4 + 6/12. Suppose -4*h - 1 = -o, -2*h = -r + 4. Solve -3*c - 5 = 1, -3*f + r = -5*c for f.
0
Let c be -1*2/5*(8 - 13). Solve 2*v + c = a - 5*a, 0 = 5*a for v.
-1
Suppose -32 = -2*r - 2*r. Let s(q) = -q + 3*q + 0 + 0*q - 12. Let m be s(r). Solve -3*a = -k - 0*a - 3, -5 = -m*k - 5*a for k.
0
Let g be (-4 + 40)/(4 + -5). Let q be ((-2)/4)/(2/g). Solve -2*m = 5*v + 27, -4*m + 2*v + 15 = -q*m for m.
-1
Let h be 22/110 + 1/(-5). Solve -2*u = 5*l - h*u + 18, -2 = 3*l - u for l.
-2
Suppose 5*z + 2 = 52. Let n be (-4)/z - (-52)/5. Let t be 4*5/n - -2. Solve -2*w - 4*i = w + 14, t*w = -3*i - 7 for w.
2
Let y be 6/8 - (-50)/8. Let q be 86/y + 12/(-42). Let z = q - 7. Solve 4*h - z*l + 17 = 0, 4*h + 0*l + 8 = -4*l for h.
-3
Let q(o) = -3*o - 2. Let m be q(-2). Suppose m*y - b + 59 = 174, 3*y - 85 = 2*b. Solve -u + 2 = 0, 5*v - u = u - y for v.
-5
Suppose -38*u - 5*u = 0. Let n = 5 + 0. Solve -g = g + 2, n*j - 4*g - 19 = u for j.
3
Let a = -1198 - -1203. Suppose -11 + 3 = 2*s. Let x(k) = -k**2 - 6*k - 4. Let g be x(s). Solve -b = 3*d - 0 + 2, d - g = -a*b for d.
-1
Let j = -199 - -205. Solve 4*g = -4*z + j - 18, -31 = -3*g + 5*z for g.
2
Let r be (-4)/10 - (-111)/15. Suppose 0*q = 3*q + 6. Let y = q + r. Solve 2*z - 10 = -4*m, 0*m + 4*m = -y*z - 5 for z.
-5
Suppose 9 = 7*a - 19. Suppose -2*y - 2*y + a*v - 8 = 0, v - 14 = -5*y. Solve 4*p - 6 = -y*j, -5*p + 5*j - 15 = -0*j for p.
0
Let z(p) = 2 + 1 - 4 + p. Let w be z(3). Suppose 24*i - 31 = 65. Solve 0 = 5*d - w*v + 15, 3*d = i*d + 5*v - 24 for d.
-1
Let d(n) = 28*n + 265. Let c be d(-9). Solve -2*h = 5*l + c, 2*l + 0*l + 3*h = -14 for l.
-1
Suppose 14*j - 9 - 5 = 0. Let o be (1 + j)*(-5)/(-2). Solve 4 = 2*n - n - i, -i = -o*n + 8 for n.
1
Let p(q) = -q**3 + 4*q**2 - q + 2. Let d be p(3). Let t = d - 14. Let w = t - -9. Solve -w*y - 4*v - 22 = 0, -5*y - 4 = -y - v for y.
-2
Let n = -32 + 21. Let t be -4 + 0 + 0 - n. Suppose -t*q = -6*q. Solve 5*i + j - 12 = q, -35 = -5*i + 3*j - 11 for i.
3
Let b(v) = -v**2 - 16*v + 5. Let k be b(-16). Solve 4*u - 35 = 4*s - u, k*u + 5 = -4*s for s.
-5
Let i be 6/10 - 96/(-40). Solve -i*g + 12 = 3*p, 5*g + 6*p - 5*p = 16 for g.
3
Let k(z) = 4*z + 10. Let i be k(-2). Suppose t + 8 = 3*p, 3*t - i*t = p. Solve -2*f + 0*u - 3*u = p, 2*u + 16 = 2*f for f.
4
Suppose -7 = m - 3*q - 0, 13 = m + 2*q. Suppose 2*k = k + i + m, -4*k + 5*i = -22. Solve 2*z = 4*c - 28, -k = -2*c + 2*z + 15 for c.
5
Let m be (72/(-20))/(-3)*-10. Let q = m - -13. Let x = q - -3. Solve 28 = -x*g - 2*r - 2*r, 4*r + 31 = -5*g for g.
-3
Let h = 14 - 14. Suppose -n + 2*v + 4 = -3*n, 5*v + 10 = h. Suppose 0 = -n*x + x - 3. Solve 0 = -5*u + x*p - 13, 0*u - u + 3 = 5*p for u.
-2
Let o(f) = -2*f**3 + 43*f**2 - 58*f - 35. Let n be o(20). Solve 3*p = -4*z - 0*z - 12, n*z = 4*p + 16 for p.
-4
Suppose -62*i + 55*i + 21 = 0. Solve 3*z = -4*m - i - 22, -2*m - 2*z = 14 for m.
-4
Suppose 6*s - 4*s = 0. Suppose -3*p + k - 6*k + 11 = s, 5*p + k - 11 = 0. Suppose 0*c = -p*c. Solve -3*b + 12 = -4*o - c*b, o + 3 = 4*b for o.
-3
Let f be 438/8 + (-9)/(-36). Suppose 5*z - f = 55. Let j = 25 - z. Solve -5*n + 2 = j*u - 12, 5*n - 30 = 5*u for n.
4
Let q(p) = p**2 - 25*p - 105. Let s be q(-4). Solve -5*t = r + s, -3*t - t = -r + 7 for r.
-1
Suppose 0 = j + j - 12. Suppose 16 = 2*u + 4*k, -2*k = u - j*u + 16. Let a be 1/(u/24*3). Solve 16 = 3*z + 2*o, z - a*o - 2 = -o for z.
4
Let q = 25 + -16. Suppose -q*i + 19 = -8. Solve -i*u + o + 14 = 5*o, -3*o + 21 = -3*u for u.
-2
Let k(a) = -7*a. Let h be k(-2). Solve 0 = 2*i + 4*z + h, 5*i + 5*z + 20 = -0*z for i.
-1
Suppose f + 19 = 3*f - 3*d, -5*f - d + 5 = 0. Solve f*n + 1 + 5 = -4*x, 4*n + 3 = -5*x for n.
3
Let d(j) = 5*j + 49. Let o = 42 - 51. Let l be d(o). Solve -5*x + r - 9 = 0, -4*x = l*r + 14 - 2 for x.
-2
Let r be 2/(-4) - 38/(-4). Let w = 12 - r. Suppose 4 = -w*j + 5*j. Solve -y = -3*x - 12, 7 = y - 0*y - j*x for y.
-3
Let f(w) = -w**2 - 13*w - 14. Let j be f(-11). Suppose -n + 0 = j. Let c be (5 + -1)*n/(-16). Solve -2*b - 6 = 3*a - 0, -c*b + a = -2 for b.
0
Let k = 835 + -821. Solve -2*g - 1 = j - 12, -3*g = j - k for j.
5
Suppose 3*x + 13 = -c - 2*x, c = -3*x - 3. Suppose c = 5*o - 13. Suppose -5*a - o = -g, 9*g + a - 25 = 4*g. Solve 3*q - 1 = 2*l, 0 = -4*l + l + g*q for l.
-5
Let o be 6 + (-2)/(-3) + 56/(-84). Solve 3*m + 2*d - 12 = 0, o*d = 3*m + 3*d + 3 for m.
2
Suppose 3*c + 4*x = c - 12, -10 = c + 3*x. Let u(g) = -g**2 - 16*g. Let q be u(-16). Solve q*k = 3*k - c*y - 2, 5*k + 4*y - 18 = 0 for k.
2
Suppose -10 = -10*s + 250. Solve -3*j = -4*n - 5*j - s, 0 = -4*n - j - 21 for n.
-4
Let p be (-90)/(-7) + (-5)/(-35). Suppose 5*d - 38 = -p. Solve 10 = 5*w + d*a, 3*w - 14 = -w + 2*a for w.
3
Let y(v) = -v + 8. Let b be y(4). Suppose -3 - 5 = -b*q. Let