 -8. Let w(i) = 3*i**2 - 1. Let l be w(1). Let v be -1 - (2 + -2 + -22). Solve -x + k*z - 4 + v = 0, -11 = -x + l*z for x.
5
Let d be 3/9*2*6. Suppose d*y - 8 = -0. Solve 5*g - 27 = 3*u, 0 = 5*g - y*u + 13 - 36 for g.
3
Suppose 4*m - m = -v + 6, 0 = -5*v - 3*m + 90. Let i = 25 - v. Solve -3*w + i*x - 7 = 0, 0*w + w - 5*x = -6 for w.
-1
Let d = 18 + -7. Solve -2*f + 2*x + 6 = 3*x, -d = -3*f - x for f.
5
Let b be 70/20 - (-3)/(-2). Solve -11 = b*m - 0*m - w, 0 = -4*m - 4*w - 16 for m.
-5
Let m be 0/(1 + (-2 - -2)). Let d = m - -3. Suppose 4*f + d*o - 7 - 6 = 0, -5 = 5*o. Solve -p = p - 5*k - 1, 2 = p - f*k for p.
-2
Suppose 0 = -5*n + n + 52. Suppose c = 2*c - n. Solve 4*f + l + c = 2*l, 2*l = -f - 10 for f.
-4
Let b(k) = k - 1. Let i be b(1). Let g = 18 - 13. Let c(m) = 4*m - 1. Let z be c(g). Solve u + i*r = 5*r + z, 0 = 3*u - 4*r - 24 for u.
4
Suppose -8*m + 4 = -6*m. Solve 2*u - 2 - 5 = -l, -2*l - m*u + 4 = 0 for l.
-3
Suppose -7 - 3 = -5*d. Solve -8 = -4*b + 8*b - k, 3*b = d*k - 11 for b.
-1
Let b(l) = l + 11. Let j be b(-8). Suppose k + j*k = 16. Solve u - 14 = -3*i, -3*i = -i - 2*u + k for i.
3
Let w = -4 + 12. Suppose w*k = 10*k - 8. Solve 7 = 4*b - k*r - 5, 0 = -4*r - 8 for b.
1
Suppose 0 = -s - 3*s - 36. Let j = -13 - s. Let v = 1 - j. Solve 0 = 3*n - v*g + 2, 2*g + 1 = 4*n - 1 for n.
1
Suppose 0*f = -4*f. Suppose -2 = 2*o, 2*m - o - 14 - 3 = f. Solve 2*a + m = -2*n, 0 = -2*n - 3*a - 5 - 4 for n.
-3
Let v(g) = -g**3 - 4*g**2 + g + 8. Let r be v(-4). Solve r*i = 6 - 18, -1 = -t - i for t.
4
Suppose 3*k - 12 - 8 = 4*w, -3*w = 5*k - 43. Let p(s) = k*s - 4*s + 6*s + s**2 + 13. Let b be p(-11). Solve 5*a = -n - 2*n + b, -a = -n for n.
3
Let h(g) = g**2 - 6*g - 11. Let j = 13 - 5. Let y be h(j). Solve y*q - 3*q - 4*a = 0, -3*q = 3*a + 9 for q.
-2
Let a(p) be the first derivative of p**3/3 + 4*p**2 - 5*p + 3. Let g be a(-9). Solve 20 = -g*c, 5*m - 8 - 7 = 3*c for m.
0
Let d(s) = -3*s + 5. Let k be d(4). Let m = k + 9. Let o be (-2)/(-7) + 19/7. Solve -o*y - 4*l + 8 = 0, 4*y - l + m = -0*l for y.
0
Let b(s) = s - 4. Let q be b(6). Let l be q/(-4) + (-186)/(-12). Suppose 0*j = -5*j + l. Solve 2 = -j*o - 4*y, o = -0*o - y for o.
2
Let a = -66 - -11. Let x = a + 83. Let k(j) = -j**3 + j**2. Let r be k(0). Solve r*u - u + x = 5*b, 4*b = 4*u + 8 for b.
5
Suppose -20 = -p - 4*p, 0 = y + p - 2. Let h = -2 - y. Suppose 0 = 4*x - 9*x. Solve h = -3*t - 3*s - 6 - 3, x = -3*t - s - 13 for t.
-5
Let u be (1 + 0)/(1/2). Suppose 2*t = 5*v + 18, 2*v = -u*t - 0*t + 4. Solve -2*i = i + 4*s - 3, 4 = 4*i - t*s for i.
1
Suppose -3 = -3*n + 4*b + 6, -4*b = 4*n - 12. Solve 3*k = -n*c - 21 + 6, 2 = -4*k + 5*c for k.
-3
Suppose 2*k = 4*k - 4. Suppose 22 = 2*d - k. Suppose 2*c = -0*c + d. Solve 2*p - 2*r = -8, 2*p + c = p + 2*r for p.
-2
Let j(s) = s**3 - 3*s**2 - s + 4. Let h(g) = -g**3 + 4*g**2 + 2*g - 5. Let r(w) = 2*h(w) + 3*j(w). Let t be r(0). Solve 0 = 2*m - 2, 3*m + 12 = t*l + 7*m for l.
4
Suppose 0 = 2*k + k. Suppose 4*a + 4*r - 12 = 0, 0 = a + r + 2*r - 5. Solve -4*v = -3*n - 17, n + 9 = a*v - k*v for v.
5
Let k be 7*(2/2 - 110). Let b be k/(-35) - 1/(-5). Solve -b - 5 = -3*u + 3*g, 5*u + 2*g = 10 for u.
4
Let k = -8 - -7. Let n = 10 + k. Suppose 5*g = 4*t - 14 - 13, t - 5*g - 18 = 0. Solve t*a + 1 = -2*m - 3, -2*a - n = -5*m for a.
-2
Let l be 2 + ((-6)/5)/((-2)/5). Solve l*n - x + 2 = -12, 2*x + 5 = -n for n.
-3
Let i be 4*((-45)/(-12))/5. Solve -2*r + i*y - 2 = y, 4*y - 12 = 0 for r.
2
Let h be (-25)/(-9) - 4/(-18). Let g(w) = w**3 - 2*w**2 - 5*w + 3. Let d be g(h). Let n be d/(-2) + 3/2. Solve 0 = -n*c + 2*v - 1, 1 = c - 2*v - 0*v for c.
-1
Let p = -3 + 0. Let m = p + 7. Solve t + 17 = -4*o, 22 - 10 = -2*o - m*t for o.
-4
Let t(k) = 2*k - k - 3 + k**2 + k**3 + 3*k**2 + 0*k**2. Let x be t(-3). Solve -x*o + 5*g - 5 = -0, 3*o = -3*g + 27 for o.
5
Let u be 3/5 - (-36)/15. Suppose 6 = -0*s + u*s. Solve 5*l = 4*h + 20, -4 = -h - s*l + 4 for h.
0
Suppose 0 = -4*a - 16, -3*a + a = 2*s + 4. Solve -s*g + 6*g = 5*v + 5, 5*g - 4*v + 5 = 0 for g.
-5
Suppose -b - 3*a = -18, 3*a = 5*b - b - 12. Solve c + 5*l = -18, 0 = 3*c + l - b + 4 for c.
2
Let g = -6 + -2. Let s be (-36)/g - (-1)/2. Let a = 8 - s. Solve 4*m - 3*m = -a*f - 1, -5*f - 3*m = -5 for f.
-2
Let t(v) = -19*v - 3. Let c be t(-2). Let z be (-1)/(-2)*(-40)/(-10). Suppose -3*w = 3*f, z = w - 5*f - 16. Solve -4*a + c = -5*m, -a - 7 + 3 = w*m for m.
-3
Let c(o) = -o + 20. Let m be c(12). Solve 4*r = 4*t + 24, -3*t - 3*r + m*r - 24 = 0 for t.
-3
Let o = 86 + -26. Suppose 0*h + 4*h = o. Suppose 4*u - 35 = -3*n, -2*n + 2*u = -3*u + h. Solve 0 = 5*l + d, -4*l + 2*d = n*d for l.
0
Suppose 0*l - 2 = -l. Suppose -l*p + 20 = 5*a, 0*p + 19 = 3*p + 2*a. Let g be 3/(1*1/1). Solve -s - 25 = p*m, 22 - 7 = -g*m for s.
0
Let d = 11 - 6. Suppose -6*i - 15 = -7*i. Suppose -d*m = -10*m + i. Solve -2*l + 3 = -3*l - 5*j, -3*l + m*j = -9 for l.
2
Let c = -3 + 8. Solve -5*i + 0 = 2*h - 4, c*h - i = 10 for h.
2
Suppose 0 = -4*p + p. Suppose 0*r + 5*r = p. Solve -t + r*t + 2*d = -1, 4*t = 4*d - 8 for t.
-5
Let i be ((-12)/(-9))/(28/6)*14. Solve 0 = -i*n - 5*r - 28, 4*r - 3*r = 3*n + 2 for n.
-2
Let u(v) = v**2 - 7*v + 4. Let b be u(8). Solve 5*a = 37 - b, d = 4*a - 20 for d.
0
Let b be 18/8*16/(-3). Let k = 20 + b. Solve 0 = -r - 3*m - 2*m - 10, -k = r + 4*m for r.
0
Let i be (4/(6 + 2))/(2/8). Solve i*o = o - 2*n + 12, -5*o - 5*n + 35 = 0 for o.
2
Let g(x) = -2*x - 6. Let z = 2 + 3. Suppose z*p = 2*p - 15. Let h be g(p). Solve -4*q + h*u + 4 = 0, q - 2*u = 2*q - 7 for q.
3
Let s be (-63)/9*(-6)/7. Let k be s/4 + 9/18. Let o = 8 - -1. Solve 2*l + k*j = o + 1, 3*j = 0 for l.
5
Let u(c) = c**3 + 10*c**2 + 7*c - 4. Let q be u(-9). Solve -k - v + q = -6*k, 3*k + 3*v = 6 for k.
-2
Suppose 5 - 13 = -4*i. Let k be (-4 + -2)*i/(-3). Solve -3*d - p + k - 9 = 0, -d + 3*p = -15 for d.
0
Suppose 3*i - 1 + 10 = 0, 2*l + 19 = -5*i. Let q be l*1/(-4)*6. Suppose 2*v = 5*b - 125, -b - 2*v + 40 = 3. Solve -3*a - q*j = -0*a + b, 25 = -5*a - j for a.
-4
Let d(x) = x**2 - 3*x - 8. Let a be d(6). Solve -2*m + a = 4*b - 2*b, 4*m = -2*b + 12 for b.
4
Let q(w) = -3*w**2 + 5*w. Let j be q(4). Let u = -11 - j. Let i = -12 + u. Solve 2*p - 5*k - i = 0, 2*k = -5*p + k - 1 for p.
0
Suppose 5*y - 2*t - 8 = 0, y - 7 = -t - 4*t. Solve -b + 8 = -4*p, -b = 2*p - 3*b - y for p.
-3
Let t = -5 + 9. Suppose r = t, -2*c - r = -2*r + 4. Solve 5*n - q - 1 + 14 = c, 3*n = -2*q - 13 for n.
-3
Suppose -3*o + 70 = -26. Let y be 1/4 - (-120)/o. Suppose -4*p + 108 = 4*l - 0*l, -5*l - 33 = -p. Solve -5*g = -b - 9 + 28, p = -y*g + 4*b for g.
-3
Let q(h) be the first derivative of -h**4/4 - h**3 + 3*h**2/2 - h - 4. Let f be q(-4). Solve -k + 3*t = 3*k + 27, f*k + 14 = t for k.
-3
Let l be ((-10)/(-3))/((-4)/(-6)). Suppose l = 3*b - 4. Suppose 0 = -2*y + 3*q + 1, -y - b*q + 8 = -2*q. Solve 2*o + 3*v = -8, -7*o + 5 = -2*o - y*v for o.
-1
Suppose -3*x + 0*x = -5*a + 24, -3*x = 3*a. Solve 12 = 4*d - 5*c, -2*d - c + 3 = -a for d.
3
Let o(s) = -2*s + s**2 + 2 - 5 - 3*s. Let x(j) = -2*j**2 + 11*j + 6. Let k(d) = 9*o(d) + 4*x(d). Let t be k(3). Solve l = a - 3 - 4, -a - l = -t for a.
5
Let p(n) be the third derivative of -n**4/24 - n**2. Let c be p(0). Let u be 57/12 + 2/8. Solve -z = u*a + 25, -z - a = -c*a + 5 for z.
0
Let v = -105 - -106. Solve -4*i + 1 + v = -2*o, 0 = -2*o - 6 for i.
-1
Let i = 27 + -18. Suppose 4*j - i - 31 = 0. Let q = 0 + 0. Solve -2*h - 4*y - j = q, 2*h + y = -10 + 3 for h.
-3
Let x be 0 + (6 - (1 - -1)). Suppose 0*m + 10 = 2*m. Suppose g + 3*q = -3*g + m, -q = -5*g + 30. Solve -h = o - 6, -4*h + 4 = -g*h + x*o for h.
4
Suppose 3 = 4*z - 5. Suppose 0*w - 3*w - o + 53 = 0, 2*w - 4*o - 26 = 0. Solve v - w = 3*b, -z*v + 4*b = 8*b + 16 for v.
2
Suppose 2*g - 6*g = -16. Suppose -5 + 1 = -p. Let a(t) = t**2 - 3*t - 1. Let z be a(p). Solve 2*h - 2 = g*k, -z*k = h - 5*h + 9 for k.
1
Let q(c) = c**2 - c + 8. Let w be q(0). Suppose 0*f = -4*f + w. Suppose -f*a = -0*a - 10. Solve 0 = -i + 3*t - 10, -2 = -a*t + 23 for i.
5
Suppose -4 = f - 2*f. Suppose g + 9 = -4*h, -2*h + 14 = -4*g - 7*h. Let n be (2/4)/(g/(-4)). Solve n = -2*x + m + 3*m, 0 = f*x + 2*m + 4 for x.
-1
Let n(t) = -t + 1. Let b be n(-1). Solve -3*m = b*a + 16, -2*m + 3*a - 2*a = -1 for m.
-2
Let k(y) be the first