. Let s(x) = x**3 - 5*x**2 - 6*x + 2. Let o be s(i). Suppose o*k = 5 - 1. Solve k*d = -8 + 2 for d.
-3
Let r(v) = -v - 9. Let l be r(-15). Suppose y + 2*y = l. Solve y*i = -3*i - 20 for i.
-4
Suppose -16*w = 3*w - 38. Solve -w*i - i = -15 for i.
5
Let j be 1 + 0 - 75*-1. Suppose 0 = 5*z - 4*z - 5*w - 30, 2*w - j = -4*z. Solve -z = -5*m + 5 for m.
5
Suppose -5*q + 11*f + 43 = 9*f, 3*q = 4*f + 23. Solve l - 4*l + q = 0 for l.
3
Let n(g) = -3*g - 5. Let v be n(-2). Solve 0 = 3*t - 4 + v for t.
1
Let z be (-16)/(-10)*(-5)/(-2). Suppose 3*b = -1 + z. Solve 0 = -2*f + 7 + b for f.
4
Suppose 2 = h - f, -15 = -2*h - f + 1. Let g = 8 - h. Solve -2*n - g*n + 20 = 0 for n.
5
Let y = 10 - 5. Let q be (y/(-10))/((-1)/8). Solve -q*f = -f - 3 for f.
1
Suppose 4*j + 27 = -21. Let t be (-5)/(-4) - j/16. Let n be t*(-2)/(-1 + 0). Solve -4*z - 20 = -n for z.
-4
Let t = -1 - -4. Let k = 8 + -3. Let c = k - t. Solve -c*y + 7*y = 0 for y.
0
Let y be ((-1)/(-3)*-2)/(4/(-30)). Let p(g) = g**2 + g. Let f be p(0). Solve f = -x + 6*x - y for x.
1
Let u(k) = 3*k - 1. Let q(x) = x**3 + 2*x**2 - 1. Let i be q(-1). Suppose i = 3*b + 1 - 7. Let s be u(b). Solve -2 - 8 = -s*h for h.
2
Let g be 1/(-3) - (-133)/21. Suppose 10 = 3*v - i - g, 0 = -2*v - 2*i. Suppose -u = -v*u + 9. Solve 1 = u*a - 4*a for a.
-1
Suppose -2*t = 14 + 52. Let y = t - -48. Solve y = -j - 4*j for j.
-3
Let r = -3 + 1. Let l = 5 + r. Let y = l + -2. Solve 0 = 2*f + 3 - y for f.
-1
Suppose -6 = 2*k + 16. Let q = k + 15. Solve q*y + 1 + 7 = 0 for y.
-2
Let a(r) = r**3 + 6*r**2 + 6*r + 7. Let m be a(-5). Let n(u) = -u**2 - 3*u + 2. Let v be n(-3). Suppose 0 = -v*l + m + 2. Solve -s = -l + 7 for s.
-5
Let s(u) = u**2 - 2*u + 1. Let n be (1/(-2))/((-1)/4). Let a be s(n). Solve -a = -r - 3 for r.
-2
Let b = -3 - -3. Suppose -6*d + d = b. Solve -h = -d*h - 2 for h.
2
Suppose 2*m = -2 + 34. Solve m = 3*n + n for n.
4
Let d(t) = t**2 + 10*t + 17. Let z be d(-9). Solve -5*m = -m - z for m.
2
Suppose 0 = 5*x - 4*y - y - 15, -4*x + 8 = -3*y. Let i be (-3)/(-6) + x/2. Solve k + k + 2 = i for k.
-1
Suppose -5*f + 4 + 6 = 0. Solve f = 3*b + 8 for b.
-2
Let i = 0 - -1. Let x be (0 + 0)/(-8 - -5). Solve -b = -i - x for b.
1
Suppose -2*h + 2*l = 1 + 1, -3*h = l - 1. Solve h = i + i for i.
0
Let v(p) = p**2 - 7. Let o be v(0). Let n = o - -7. Solve a + n + 5 = 0 for a.
-5
Let u be (((-24)/5)/(-2))/((-2)/(-5)). Solve -4*v = 26 - u for v.
-5
Suppose p = -g + 3, -2*g - 6*p + 9 = -3*p. Let m(v) = -v**3 + v**2 + 15. Let c be m(g). Suppose -4*y + c = 3. Solve y*u = 2 + 13 for u.
5
Let h be ((-4)/(-3))/((-6)/(-9)). Let t be (21/(-6))/1*-2. Solve t = v + h for v.
5
Let l(j) = -j**3 + 13*j**2 + 2. Let m be l(13). Solve 0 = -2*i - 2 - m for i.
-2
Let i(z) = z + 2. Let w be i(0). Let r be (-16)/(-9) - (-2)/9. Solve -r*s + 4 = -w for s.
3
Suppose 3*k = 3 - 0. Solve -k = a - 6 for a.
5
Suppose -2*h + 6*h + u = 19, -h - 5*u = 19. Solve -h*m + 15 = -m for m.
3
Let l be (-6)/(-12)*(-4)/(-2). Let y = 2 - l. Solve -5*u + y + 9 = 0 for u.
2
Let u(d) = -d**2 + 5*d + 1. Let s(t) = t**2 + t - 7. Let m be s(3). Let a be u(m). Solve 4*y - a = -9 for y.
-2
Suppose 6*c - 2*c = 12. Solve -1 - 2 = -c*g for g.
1
Suppose 17*z + 95 = 36*z. Solve 0 = g - z*g for g.
0
Let y be -9*8/12*(-2)/4. Solve 5 + 1 = -y*q for q.
-2
Suppose 2*p = -4*y - 0*y + 8, -4 = -2*y - 4*p. Suppose -y = -n + 2*n, -3*f - 70 = 5*n. Let k be (-2)/10 + (-44)/f. Solve -3 = k*h - 11 for h.
4
Suppose 2*g + 12 = 4*g. Let v(q) = q**3 + q**2. Let t(o) = -8*o**3 - 8*o**2 + 3*o + 3. Let s(x) = g*v(x) + t(x). Let i be s(-2). Solve -i*b = 2 - 27 for b.
5
Let d be (-2)/6 - 10/(-30). Solve p = -d + 4 for p.
4
Let b be (6/4)/(3/36). Let q = b - 2. Solve -2*x + q = 2*x for x.
4
Suppose 2*o = -o + 36. Let j(c) = -2*c**2 + 5*c + 3. Let k be j(4). Let d = o + k. Solve -2 = -d*u + u for u.
1
Let l(s) = s**3 + 2*s**2 - s. Let q be l(-2). Let d be 2/(-4) - (-7)/q. Solve d*u + 3 = -0 for u.
-1
Let z(r) = r + 8. Let c = 0 - 6. Let h be z(c). Solve 2*a = -h*a for a.
0
Let a be 0/(5/(2 - -3)). Solve 0 = 5*n - a*n for n.
0
Let y(g) = -g + 3. Let v be y(6). Let k be ((v - -6)*2)/2. Solve k*x - 3 = -0*x for x.
1
Suppose 0 = q - 2 - 2. Let d be (-3)/12 - 3/(-12). Solve d = -3*b + q*b + 3 for b.
-3
Let d = 23 + -18. Solve r - 12 = d*r for r.
-3
Suppose 6 = g - 2*g. Let m = g - -9. Solve m*p = -p - 16 for p.
-4
Let c be -4 + 0 + 2 - -7. Suppose 2*m + 3*f - 5 = 4*f, m = -2*f + c. Suppose m*u = -u. Solve -4*s = -u*s for s.
0
Let h(t) be the third derivative of t**5/60 - t**4/8 - t**3/2 - 3*t**2. Let a be h(5). Let g = -5 - -25. Solve 2*p - g = a*p for p.
-4
Let c(f) be the third derivative of f**5/60 - f**4/24 - f**3/2 + 2*f**2. Let t be c(5). Suppose 5*g - t + 7 = 0. Solve g*l - 6 = -l for l.
2
Suppose 7*j - 40 = 2*j - 5*k, 0 = 4*j - k - 7. Suppose 1 + 3 = -v, 21 = j*t - 3*v. Solve t*m - m - 2 = 0 for m.
1
Let y = -39 - -46. Solve -y*m = -5*m - 4 for m.
2
Let f = 9 + -6. Suppose 28 = f*t + t. Solve -3*m = -t + 1 for m.
2
Suppose 3*f + 30 = 2*d + 12, -3*f - 18 = -4*d. Let q(c) = c**3 + 5*c**2 - 6*c + 2. Let z be q(f). Solve j - z*j - 3 = 0 for j.
-3
Let u be ((-29)/(-3))/(7/(-21)). Let k = 44 + u. Suppose 0 = -3*w + k, -11 - 7 = -h - 3*w. Solve h*q - 2*q = -1 for q.
-1
Suppose -4*k + 0*h + 6 = -2*h, 0 = -4*k + 3*h + 1. Let d = 12 - 8. Suppose 3*c + 2*f = 55, 4*c + d*f - 34 = 2*c. Solve k*u = -1 - c for u.
-5
Let x(u) = -u**3 - 4*u**2 - 5. Let c be x(-5). Let k be 0 - 1*(-1 - 0). Let b = k - 1. Solve 5*p = -b*p - c for p.
-4
Let y(g) = -g**3 - 11*g**2 - g - 6. Let x be y(-11). Suppose -2*z - 2*z + x*m = -12, -4*m + 9 = 3*z. Solve -d + z*d = 10 for d.
5
Let n = -26 - -31. Solve 10 = n*z - 0 for z.
2
Let m = 0 + -2. Let u be (0 - m)/2*1. Solve -1 - u = -j for j.
2
Suppose 0 = -m - 0 + 1, 4*l = 2*m + 46. Let a(u) = u + 4. Let j be a(0). Suppose -l = -j*i - 0*i. Solve 0 = 3*g + i + 9 for g.
-4
Let m(o) = -o**2 + 10*o + 3. Let s be m(10). Let c(k) = k**3 + k**2 - 2. Let h be c(2). Let b = 19 - 11. Solve s*r - h = b*r for r.
-2
Let d be (-1 - 2 - -3)/(-1). Suppose u + d*u = 4. Solve 2*j = 4 + u for j.
4
Suppose x + 4*x = 2*y, 0 = 2*y + 5*x. Suppose -9*v = -8*v - 7. Suppose -5*c - 2 = -v*c. Solve y = z + 6 - c for z.
-5
Let s be (14 - 0) + 0/(-3). Let q = s - 14. Suppose 5*n + 5*l - 29 = 1, 0 = 2*n + 5*l - 21. Solve q = n*h - 0*h - 9 for h.
3
Suppose v + 2*n + 2 = 0, -28 = -2*v + 2*n + 2*n. Solve -4*u + 2*u + v = 0 for u.
3
Let w = -55 - -58. Let y(h) = h**3 - 6*h**2 + 2*h - 9. Let l be y(6). Let i = w - l. Solve i*u = -u for u.
0
Let c = -5 - -7. Suppose 10 = -g + 4*z, 4*g + 2*z - 16 = -g. Solve c*q + 8 = -g*q for q.
-2
Let k(a) be the third derivative of -a**4/24 - 3*a**3/2 - a**2. Let x be k(-11). Solve 0 = 3*y - x*y + 5 for y.
-5
Suppose 3*b - 4 = 4*b. Let k(f) = -f**3 - 3*f**2 + 5*f + 6. Let d be k(b). Let j be (-1)/(-1)*(0 + 0). Solve -8 = -j*m - d*m for m.
4
Suppose 0 = -0*u - u - 6. Let t(k) = k + 8. Let v be t(u). Solve -2*b = v*b - 4 for b.
1
Let t(x) = 4*x - 20. Let y be t(6). Solve 0 = -y*w - w for w.
0
Let n(v) = v**2 - 11*v. Let u be n(11). Solve h + 4*h - 20 = u for h.
4
Let a = -10 + 18. Solve z - a = -3 for z.
5
Suppose 0 = -79*f + 82*f - 12. Solve 0 = -f*a + 15 + 1 for a.
4
Let u(n) = -3*n + 1. Suppose -5 = 2*q - 3*v, -3 = -5*v + 2. Let p be u(q). Suppose 8 = p*y - 0. Solve 0 = i + y + 2 for i.
-4
Let k be (6/(-45)*-3)/(4/40). Solve 0 = t + 3*t + k for t.
-1
Let u = 19 + -4. Suppose -4*r - 51 = -w, -3*w = -r - 4*r - 139. Suppose -2*v - u = -w. Solve -4*z - v = 6 for z.
-5
Let s(b) be the second derivative of b**3/3 + 3*b. Let k be s(1). Solve -k*i - 2*i = 12 for i.
-3
Let r(t) = -2*t + 11. Let n be r(5). Solve 3*l + 11 + n = 0 for l.
-4
Let r(b) = -b**2 - 7*b - 5. Let d be r(-5). Let s = d - -1. Suppose -3*c = -9 - s. Solve -a = -c*a for a.
0
Suppose 0 = 4*o - 8*o + 8. Solve -o*v = v - 15 for v.
5
Let m be 0/((-1)/(-1)) - -3. Let j be 4/m + (-6)/(-9). Solve -a = -j*a + 5 for a.
5
Let j(n) = -n**3 + 8*n**2 - n + 11. Let m be j(8). Let b = 5 - m. Suppose 2*v + 0*v - 2 = 0. Solve v = -3*r + b*r for r.
-1
Suppose 0 = 5*o - 0 - 10. Solve 3*c = -o*c for c.
0
Let q(f) be the second derivative of -f**5/20 + f**4/2 + f**3 + 8*f**2 - f. Let b be q(7). Solve 5*k + 1 = -b for k.
-2
Let x(w) = -2 + 11*w - w**2 +