b(p) be the second derivative of p**3/6 - 2*p**2 + 3*p. Let k = 8 - 0. Let q be b(k). Solve 4*n + q*d = 8, -4*n + 6 = 3*d + 3 for n.
-3
Suppose -5*d - 20 = 5*f, 4*f - 9 = -2*d + 3*d. Solve -4 = -y, 3*j + 19 = 5*y - f for j.
0
Suppose 60 = -4*w - 64. Let u = w + 31. Let d(p) = -p - 1. Let l be d(-5). Solve u = -l*y + k + 5, 0 = 4*k - 12 - 0 for y.
2
Let d = -22 + 17. Let l be 174/10 - 3/d. Solve -3*c + 1 = -s + l, -5*s + 15 = -c for s.
2
Let x be 6 - 1 - 1 - 2. Solve -3*i + x*q - 14 = -36, 3*i = 4*q + 32 for i.
4
Let c(p) = 8*p - 28. Let b be c(4). Let d = -14 + 26. Solve 5*r - d = 4*h, -3*h + 0 = -b*r + 10 for h.
2
Let r = 51 + -60. Let p = 20 + r. Solve -2*m + 3*j = p, 0*j = 4*m + 5*j - 11 for m.
-1
Let g be (-191)/(-21) + (-92)/84 + 1. Solve -6 = -3*d + 5*y + 1, 3*d - g = 3*y for d.
4
Suppose -3*x + 109 = 2*x + c, 4*c = -x + 37. Let y = x - 7. Suppose -3*g - y = -10*g. Solve -p = -2*w - 11, -4*p - g*w - 2*w + 8 = 0 for p.
5
Let a be -3 - (-154)/(5 + -3). Let c = -60 + a. Suppose 2 = 5*w - 18. Solve -5*h = w*b + b + 20, -5*b = 3*h + c for h.
-3
Let k be 3 + -19 + 10 + 23. Solve -x - k = 5*a - 0*x, -x = -3*a - 15 for a.
-4
Let g = 204 + -200. Solve g*o = 2*o - 5*x - 5, -o - 9 = -4*x for o.
-5
Let r be -5 + 60/35*28/6. Solve -p - 16 = -r*x, 0 = -2*p - 4*x + 8 - 0 for p.
-4
Let c be (-1 + 2)/(14/70). Suppose 0 = -c*n - n + 42. Solve -3*g + 11 = 2*q, -2*g + n*g - 17 = -2*q for g.
3
Let p = 55 + -18. Let v = -34 + p. Solve 2*m + 3*r = -3 - 7, 0 = -m + v*r + 13 for m.
1
Let d = 47 - -14. Suppose q + 3*q + 5*m - d = 0, 0 = -5*q - m + 50. Solve 3*k = v - 16, 4*v - 4*k - 23 = q for v.
4
Let z be 60*(1 + -2)/(-2). Let s = z - 20. Solve 3*o + 5*p - s = 0, 5*o - 7 = 2*p - 42 for o.
-5
Let u(k) = -6*k**3 - 2*k - 1. Let l be u(-1). Suppose 0 = 6*h - l*h + 4. Solve -q = 2*m, -4*q = -q + h*m - 4 for q.
4
Let p be ((-6)/(-5))/((-12)/30). Let n be 6 - (p + 1 - -3). Suppose -4*u = -5*o + 20, 2*o + 12 = n*o + u. Solve 3*d - 9 = 2*x, -x + o*x = -d - 8 for x.
-3
Let d = 180 - 178. Solve 2*b - 3*x = -0*b - 1, 4*x - d = 3*b for b.
-2
Suppose 2*t + 8 = -0*t, 2 = 2*w + t. Let y be (-5 + w)*1/(-1). Suppose -2*a - 8 = 0, -2*z - 5*a - 20 = -5*z. Solve 0 = r - 2*h - 3, z*r - 2*h = y*r for r.
1
Let w(m) = 32*m + 229. Let p be w(-7). Solve 14 = -2*s + 5*l, -s = -0*s - p*l + 17 for s.
3
Suppose -2*q = 3*w - 0*q + 165, 2*w + 112 = -2*q. Let g = 64 + w. Solve -2*n = 5*t - 12, -4*t + g = -2*n + 5*n for t.
2
Let o(c) = -c**2 + 2*c + 30. Let w be o(6). Solve 4*f + f + 16 = 2*x, -3*f = w for x.
3
Let u be (-11 - -7)/((16/(-6))/2). Suppose u*h = -6 + 21. Solve -5*l + 21 = -2*m + m, 2*l + h*m = 30 for l.
5
Suppose -3*k + 5*p - 12 = 0, -4*p = -2*k - 10 - 0. Solve -l + 0*l = -3*f + k, 4*l - 4*f - 12 = 0 for l.
5
Let y be (9/(-5))/(2/(-10)). Let d = -18 + y. Let n(l) = -l**3 - 10*l**2 - 12*l - 8. Let f be n(d). Solve -f = 4*m - 3*z, 5*m - 3*z + z = -22 for m.
-4
Let t(r) = r**3 - 14*r**2 + 43*r + 14. Let q be t(10). Solve 5*l = f + 30, 3*f - 4 + q = 5*l for l.
5
Let v(o) = o**2 + o. Let x(m) = 2*m**2 - 7*m + 9. Let t(j) = 3*v(j) - x(j). Let g be t(-11). Solve 2 = 2*h - p, 7*p - g*p = 2*h - 10 for h.
0
Let w = 21 + -15. Suppose -24 = -2*x - 3*b + w*b, -4*b - 34 = -3*x. Let s be x/15 + 23/5. Solve -3*h = -5*f + 7, -s*h - 2 = -5*f + 3 for f.
2
Let f = -7 + 9. Suppose -c = 2*c + f*i - 26, -2*c - 3*i + 14 = 0. Suppose -2*g = m - c, m = -m + 3*g + 6. Solve o = -3*p + m, 0*o + p - 2 = 2*o for o.
0
Let z(n) = n + 5. Let l = 0 - 3. Let f be z(l). Suppose -c = -f*c. Solve 0 = -i - 3*j - 6, i + 4*j + 9 = -c for i.
3
Let f = 220 + -216. Solve 4*o + 3*n + 1 = 0, -3*o + 0*n + n - f = 0 for o.
-1
Let y be 8/(-2 + (-5)/(-2)). Solve 5*h - 4*x = y, 2*x = -h - 0*x - 8 for h.
0
Let y be (1 + 0)*-2 + 22. Let w be (3*(-12)/(-9))/(3/6). Suppose x - 27 + w = 0. Solve 6*q - x = 2*v + 3*q, -y = -4*q for v.
-2
Let j = -11 + 11. Suppose -6*t + t + 15 = j. Suppose 3*d - t*f = -6*f + 24, -4*d + 29 = 3*f. Solve d*m = 4*m + 1, -s = -m + 5 for s.
-4
Let w(u) = 3*u**2 + 8. Let i be w(0). Solve 3*b + 2*o = 5, 3*o - i - 5 = b for b.
-1
Let i = -68 + 70. Solve 3*d = 4*s - 22, 0 = i*s - 5*d - 29 + 11 for s.
4
Let d(l) = -9*l**3 - l**2 + l - 3. Let s be d(-2). Let q be (18/s - 19/(-7)) + 1. Solve 3*t + 8 = -4*u, 2*u - t - 2 = q for u.
1
Let z(b) = b + 28. Let h be z(-20). Let k = -1 + 1. Let q be (10/4 - 3)*-8. Solve m + q = -2*x, -3*m + h = x - k*x for x.
-4
Let w(g) = 13*g + 344. Let z be w(-24). Solve 5*m - 3*p + 1 = p, 0 = -4*m - 5*p + z for m.
3
Suppose g + q - 9 = -q, 5*q = 2*g. Suppose 4*o + 1 = -5*x, 0 = 4*o - 2*x + 6*x + 4. Let t = 7 + o. Solve -p = -3*y - t, p = -2*p - g*y - 19 for p.
-3
Suppose -5*l + 4*u = -13, 16 = 5*l + 4*u - 21. Suppose -l = 4*c + t, -4*c = -t - 9 + 4. Solve -5*q + c*n + 28 = -2*n, 4*q + 4*n = 0 for q.
4
Let l be 2/(-4)*-6 + 0. Let f(j) = -2*j + 3*j - 2*j**2 + 3*j**2 + j - 1. Let w be f(1). Solve q = -2*h + 9, l*q - q = -w*h + 14 for h.
2
Let f be (-2)/20 - (1178/(-20))/19. Solve -4*y = -5*u + 32, y = -y + f*u - 18 for y.
-3
Suppose 85*p - 16 = 81*p. Solve -2*q + 10 = -p*v, -2*q - 8 = 5*v + 9 for q.
-1
Let d = -672 - -676. Solve l - 8 = -3*l + d*i, -4*l = -2*i - 8 for l.
2
Let j = 70 - 66. Let c = 5 + -3. Solve -5*z + 1 = j*p, 4*p + 0*z + 6 = c*z for p.
-1
Let h(v) = -5*v**3 - 2*v - 2. Let r be h(-1). Let m = r - -35. Solve -5*u + m = -5*l, -6*l + l - 2*u = 5 for l.
-3
Suppose 873*y + 24 = 879*y. Solve 2*w - 7*w + d + 20 = 0, w - 3*d = y for w.
4
Let p be 174/(-232)*(-2)/(-6)*-16. Solve 5*r - 26 = 2*w, p + 1 = w + 2*r for w.
-3
Suppose -5*k + 25 = 0, 6*y - 8*y + 29 = 5*k. Solve 2*t = -t - 3*m - 9, -5*t - 3 = y*m for t.
1
Let i = 94 + -76. Let c be i/4*(5 + 33/(-9)). Solve -3*u + c*f + 24 = 3*f, 5*f + 20 = 0 for u.
4
Let b(r) = -r**3 - 2*r**2 + 40*r + 37. Let o be b(-7). Solve o*y = -3*g + 25, -4*g + 0*g = -4*y for y.
5
Suppose 0 = 33*n - 20 - 145. Solve 4*z + 4 = 0, -n - 1 = d + 2*z for d.
-4
Let n(m) = m + 5. Let b be n(0). Suppose -g + b*g - 40 = 0. Let f be (-1*(-3 + 0))/1. Solve -4*u + w - g = 0, -4*u = w + f*w for u.
-2
Let w = -19 - -23. Let v(t) = 2*t**2 - 17*t + 25. Let y be v(7). Solve w*z - 8 = -4*q, 5*q + y*z = -4 + 9 for q.
-3
Suppose 0 = -t + u + 20, 4*t + 0*t - u = 95. Let k = -104 + 110. Suppose i + t = k*i. Solve -4*p - 8 = -2*r, -i*r = -2*p - r - 4 for p.
-2
Let r = -285 + 285. Solve c = -g, r*c - g = -c + 6 for c.
3
Let t be 0/(((-6)/(-4))/(9/(-12))). Suppose -4*n + 4*z = -20, t*n - 5 = n + 4*z. Solve -y - n = -5*l - 5, -4 = -2*y - l for y.
2
Let i(u) be the second derivative of -u**4/12 - 7*u**3/2 - 17*u**2/2 - 39*u. Let v be i(-20). Solve v*m - 4*g = 15, g - 2*g - 2 = m for m.
1
Let u(m) = 2*m**2 + 15*m + 23. Let y be u(-6). Solve 0 = -j + 4*f - 17 - 7, j + 29 = y*f for j.
-4
Let u(l) = -2*l - 4. Let o be u(-10). Let j be 2/4 + 40/o. Suppose 2*d + j*d = 0. Solve -3*h + v + 20 = 0, -3*h = -d*h - 3*v - 30 for h.
5
Let c(u) = u**3 + 17*u**2 + 18*u + 46. Let g be c(-16). Solve -2*f + g = 4*z - 0*f, 4*f = -2*z + 16 for z.
2
Let a be 3 + 0 + 5 + -4. Suppose 3*c = -0*c. Let b = c + a. Solve -b*n = -8 - 4, 2*v + 5*n = 13 for v.
-1
Suppose 0 = s - 239 + 236. Let c be ((-16)/(-6))/(1/(-3)). Let r be (-2)/(-5) - c/5. Solve -a - r*v = 11, 19 = -a - s*v - v for a.
-3
Let f(b) = -b**3 + b**2 + 18*b - 21. Let u be f(4). Solve -u*x + x + 5*c = -24, -4*x = 3*c + 4 for x.
2
Suppose -3*i - 3 = 3*m, -4*m - 6*i = -4*i + 12. Let x(g) = 2*g**2 + 8*g - 7. Let p be x(m). Solve -p*u - 2*t + 6 = 0, 3*t - 6*t - 9 = 0 for u.
4
Let p be ((-4)/(-6))/((-8)/(-12)). Suppose 3*x = 2*l - 23, 8 + 97 = 5*l + 2*x. Let h = 22 - l. Solve -5*i - 3*r = p, -2*r - 15 = -5*i + h*r for i.
1
Let l = 429 + -413. Solve 0 = 4*h + l, 0*d - 2*d + 3*h = -12 for d.
0
Let y = 249 - 245. Solve -3*u + k = 1 + 6, -2*u + y*k + 12 = 0 for u.
-4
Let g be ((-12)/10)/((36/15)/(-6)). Solve 0 = j - g*x - 13, -4*x = -3*j + 19 for j.
1
Let m be -2 + 2 + (-3 - -6). Let s be 2/m + 20/15. Suppose 2 = 2*n - 6*n + 5*u, -s*u - 2 = -3*n. Solve -2*h + 9 = -f, -4*f - f = n*h - 15 for h.
5
Suppose 4*b - 19 = d, -109*d = -5*b - 111*d + 14. Suppose -15 = -5*y + 25. Solve 3*p - y = m - 2, 4*m + 8 = -b*p for p.
1
Let v(z) = 3*z + 1. Suppose f + f + 64 = 0. Let j = f + 33. Let x be v(j). Solve x*g + 5*m + 23 = 0, -3*g + 0*m + 6 = -4*m for g.
-2
Let 