 8. Let i = 6 + -6. Let c be v(i). Let b = -4 - c. Solve -4 = 4*z + 4*h - 12, 0 = -b*h + 16 for z.
-2
Suppose 2*w + 2*w = 8. Let k(t) = -t**2 + 4*t + 1. Let p be k(w). Solve 4 = 4*o + 4*s, -4*s = p*o - 0 - 3 for o.
-1
Let b(t) = -t**3 - 2*t**2 - 2*t - 3. Let g be b(-2). Let k = 4 + g. Solve 2*h = -z - 6, 3*h + 14 = z - k*z for z.
-2
Let f = -137 + 142. Solve 2*d + 14 = 4*x - 8, f*d + 37 = 4*x for x.
3
Let q(u) = 0 - 3 - u + 0*u - u. Let s be q(-2). Let t be -2*((1 - s) + -1). Solve 4*l - o + 2 = o, -t*o = 3*l + 12 for l.
-2
Let c(u) = -2*u - 3. Let i be c(-3). Solve 0 = -4*l - 12, -i + 13 = -5*t + 5*l for t.
-5
Let c be -3*2/(-4)*-16. Let u = 38 + c. Solve -x = -0*x + 3*t + u, -2 = 3*x + t for x.
1
Let g be ((-3)/(-6) - 0)*16. Let n(z) = z**2 - 8*z + 3. Let w be n(g). Solve -w*x - 3 = -a, 8*a - 3*a = x - 13 for x.
-2
Let k(v) = -8 - 3*v + 1 - 4*v + 4*v. Let d be k(-8). Suppose 3*s - 79 = -3*l - 7, 42 = 3*l - 3*s. Solve n + l = -3*n - 3*r, 4*n + d = -r for n.
-4
Let h be -1 + (1 + -3)*-2. Let y(d) = -d**3 - 5*d**2 - 4*d + 4. Let u be y(-4). Let w be 11 - 5 - u/2. Solve -w*f - 12 - 1 = a, 0 = -h*f - 3*a - 3 for f.
-4
Suppose -2*h + 0 = -4. Let q(s) = s**2 + 5*s. Let g be q(-5). Suppose 4*t - 2*t = g. Solve t = -d + 3*z + 2, -z - z + h = d for d.
2
Let h be 40/140 - (-33)/7. Solve 4*m + 5*r = -12, -h*r + 2*r = 5*m + 15 for m.
-3
Suppose -5 = -4*o + 67. Solve -5*c + 14 = -3*w, -5*c = -w - 0*c - o for w.
2
Suppose 0 = 4*q + 2*u - 34, 2*q - 27 = -u + 2*u. Let w = q - 11. Solve 5*i - i = 4*o + 8, w = -3*i - 3*o + 24 for i.
5
Suppose -1 - 3 = -v. Solve 4*b - 8 = 0, v*b = -3*r + 2 + 18 for r.
4
Let l = -4 + 3. Let c be ((-3)/l)/((-1)/(-3)). Solve -2*w = -3*d + w - c, d + 5*w = 27 for d.
2
Suppose 5*s = -0*w - 3*w - 130, -2*s = 4*w + 52. Let y be (-100)/s + (-24)/(-156). Solve h = 0, 3*a + 2*h - 1 = y*a for a.
-1
Let v(d) = -3*d**3 + 2*d**2 + 2*d + 1. Let s = -5 + 4. Let w be v(s). Solve -4*x + 5*n = 6*n - 1, -w*n - 11 = x for x.
1
Let q be (15/(-10))/(9/(-12)). Solve 17 = q*b - 5*v, -19 = -4*b + 5*v - 0*v for b.
1
Let j = 11 + -11. Solve j = 5*p - w - 11, p + 3*w + 5 = 5*w for p.
3
Let h = 3 - 3. Let m(w) = w**3 - w + 4. Let y be m(h). Solve -2 = -2*u - 2*q, -u + 6*u - 4*q + y = 0 for u.
0
Suppose 2*g = -f - f + 8, -4*f = -g - 11. Suppose -f*k - 22 = -5*k. Solve 0 = d - 5*h + 10, -23 = -5*d - 3*h + k for d.
5
Let k = 83 - 80. Solve 5*r - r = -4*z - 40, 4*z = k*r - 5 for z.
-5
Suppose 3*x + x - 144 = 0. Let f = x + -17. Let c(s) = -s**3 - 3*s**2 - 2*s - 1. Let v be c(-3). Solve -4*j + 4*w = 24, v*w - 5 = 2*j + f for j.
-2
Suppose -4*y + 19 - 3 = 0. Let u = 1 + -1. Suppose -5*p - 1 = -11. Solve -k - p*k - 5*n = 10, -4*k - y*n - 16 = u for k.
-5
Let q(p) = -5*p. Let i be q(-1). Let t(w) = w**2 + w - 1. Let d be t(2). Suppose 0 = -d*m, 4*u = m - 6*m + 8. Solve u*o = 5*h + 3*o + 4, -i*o = 5*h for h.
-1
Let i be (16/3)/((-8)/24). Let c = -13 - i. Solve 0 = -0*v + v + f - 1, -v - c*f = 7 for v.
5
Let u be 27/(-21) - 4/(-14). Let s be u/(-2 + 6/4). Suppose -s*h = 3*h. Solve h*p = -2*p - g, 2*p = g for p.
0
Let y(g) = -g**3 - 12*g**2 - 24*g - 35. Let u be y(-10). Solve -4*o = -u*o - 3*s + 7, -2*s = o - 4 for o.
-2
Suppose -4*k + h = k - 22, -5*k + 10 = -5*h. Suppose -b - 4 = -k*b. Solve d = -o - 5, d = 2*o - 0 + b for d.
-3
Let p be 1/(-6) + 76/24. Suppose p*k = -3*z, 16 = 5*z - 0*k + k. Solve -2*c - z = 4, 2*j = -3*c - 6 for j.
3
Let b be (-20)/(-6)*(-153)/(-85). Let v be 5 - (0 + 1)/1. Solve 5*y - u = 1, b - 2 = y - v*u for y.
0
Let b(t) = t + 2. Let u be b(-5). Let z be u + (3 + 2)*1. Solve -c = p - 3*c - 7, 0 = 3*p - z*c - 5 for p.
-1
Suppose 5*y - 42 = -3*z, -3*y = 2*z - 0*z - 25. Solve -5*s + 2*v + 15 = v, 3*s - y = -2*v for s.
3
Let y be (11 - 1)*2/(-4). Let h = y - -11. Suppose h - 26 = -4*a. Solve 4*w + a*u + 23 = 3, -4 = 3*w + u for w.
0
Suppose -6*f - f = -14. Solve 3*o - 4*y - f = -3, 3*o + 5*y = -19 for o.
-3
Suppose -5*o - 5*i - 55 = 0, -3*o + 5*i + 19 = -5*o. Let l be (o/(-10))/((-3)/(-10)). Solve 4*m + 7 + 25 = 4*h, -l*m = -5*h + 35 for m.
-5
Suppose -5*b - 21 = -2*s, 3*s - 5 = -2*b - 2. Let i(g) = g + 1. Let o be i(s). Let f be ((-6)/o)/((-4)/40). Solve -3*q - 5*l = -19, -f = -5*q + 2*l - 7*l for q.
-2
Suppose 2*z - 9 + 1 = 0. Let c = 4 + -2. Suppose c*v = 0, -z*i + 20 = -5*v + 4. Solve -3*f = 2*p - 20, -3*f + i = -p - 4 for f.
4
Suppose 13*m = 12*m + 2. Solve -m*w = h - 1, -w + 11 = -h - 2*h for h.
-3
Suppose 0 = -3*r - 3, -2 = c + 4*r - 1. Solve -c*y + 7 = -a, -5*a - 4*y + 17 = -6*y for a.
5
Let h = 7 - 5. Solve 6 = -5*m + a - 2*a, -a + 1 = -h*m for m.
-1
Let o be (-6)/(-1 - -3 - 4). Suppose o = 2*s - 3. Solve b - 6*b + 4*t + 45 = 0, -15 = s*t for b.
5
Let n(l) be the third derivative of l**4/24 - l**2. Let z be n(2). Let x be (328/(-205))/(8/(-10)). Solve 0 = 5*d - 0 + 10, 0 = -x*c - z*d for c.
2
Let v(n) = n + 3. Let u be v(9). Solve -4*j - p = -0*p - u, -2*j + p = 0 for j.
2
Let t = 89 - 87. Solve -2*p + t = 0, 4*x - 14 = -2*p + 4 for x.
4
Let c = 8 + -2. Let t be c/5*55/22. Suppose 2*p - t*p = -5. Solve 0 = -x - 4*o + 20, -4*x = 6*o - p*o - 5 for x.
0
Suppose 0 = o - 336 - 318. Let v be o/24 + (-1)/4. Solve -5*m - 2*q = 4 - 29, 0 = -4*m - 3*q + v for m.
3
Suppose -3*b + 7 - 1 = 0. Let a(g) = -1 - 2 + g**b + 6*g - 2. Let r be a(-7). Solve 0 = -3*t + j + 9, -r*t - j = 4*j - 6 for t.
3
Let p be ((-49)/21 + 2)/((-1)/15). Solve -4*s = 7*z - 2*z + 25, s + 10 = -p*z for s.
-5
Let l = 204 - 201. Solve 2*x = -3*x - g - 5, -x - l*g - 1 = 0 for x.
-1
Let b(x) = 7*x + 1. Let a be b(-1). Let y = a - -8. Solve -3*q - y*g + 2 = -4, -5*q - 5*g + 10 = 0 for q.
2
Suppose -3*h + 11 = -2*h + p, -p = 2*h - 23. Suppose -c + 5 = 2. Let b be -3 - (c - 10/1). Solve -b*v + v = 4*m + h, 0 = v + m + 4 for v.
-4
Let q(j) = 5*j**3 - 3*j**2 - 2*j. Let u(l) = -9*l**3 + 6*l**2 + 3*l. Let n(m) = 7*q(m) + 4*u(m). Let h be n(2). Solve h*k = k - x, x = 3 for k.
3
Let d be 14/77 - (1 + 53/(-11)). Solve 0 = -d*r - 4*i - 4, -r - 5*i - 21 = 0 for r.
4
Let s(j) = j**2 - 8*j + 5. Let p be s(7). Let z be (-2)/5 + p/(-5). Let h(n) = -2*n - 7. Let a be h(-5). Solve z*r - 16 = -4*d - a*r, -5*d + r + 20 = 0 for d.
4
Let u(j) = 2*j**2 + 2*j - 3. Let d be u(-3). Let a = -5 + d. Suppose -4*g = -5*z - 28, 3*g - z + 14 = -6*z. Solve a*i + i + g = 4*l, -3*i - 6 = -4*l for l.
3
Suppose 0 = -2*f + 2. Solve 0 = -4*k + 2*n - 10, -5*n = -16 + f for k.
-1
Let i be 1*1/(2/(-16)). Let s be ((-8)/6)/(i/48). Solve -3*l - 2*l + n = 19, s = -4*l - n for l.
-3
Suppose -6 = -14*p + 13*p. Solve p*k + 5*s = 5*k - 23, 0 = 5*k - s - 15 for k.
2
Let s be (8/(-3))/((-28)/42). Solve 0 = 3*z - 3*j - 6, j + 0 = -s*z + 8 for z.
2
Suppose -5*s + 29 = -2*h, -5*s + 4*h = -h - 35. Suppose 0 = -0*p - p - 5. Let j be 2/((-2)/p) + -1. Solve 5*i = s*n + 3 + 47, -5*n - 45 = -j*i for i.
5
Suppose -7*w + 2*w = -5*u - 15, -4*u = w + 2. Suppose -20 = -3*o - w*o. Solve 0 = -3*x - 3*a + 12, -2*a = o*x - 8 - 8 for x.
4
Let j be (-1 - 8)/(-1 - 0). Suppose j*s = 8*s. Suppose s = 5*m - 2*t - 16, 4*m - 3*t - 2*t = 23. Solve -4*h = 2*b - 16, h - b - 3 = -m*b for h.
5
Let i(t) = -2*t - 15. Let m(p) = 5*p + 44. Let c(a) = 8*i(a) + 3*m(a). Let b be c(7). Solve -13 = 3*g - 5*j, -g - b*j + 4 = -5 for g.
-1
Suppose 2 = -y + 2*z, -5*y - 2 = -0*y - 2*z. Solve 3*g = 2*i - 7, y*i + 21 = -4*g + 5*i for g.
1
Let h(o) = -o**3 + o**2 + o + 3. Let n be h(0). Solve 4*a - 11 - 1 = -4*j, 0 = n*a - j + 7 for a.
-1
Suppose p + 1 = -0*p - b, 3*b = -p - 7. Solve 4*j + 3*l = p, -j - 14 = -5*j + 3*l for j.
2
Suppose 0 = -4*f + 18 + 14. Let j be 17/5 + f/(-20). Solve 0 + 2 = -3*l - 4*c, l - j*c = -5 for l.
-2
Suppose 3*q - 330 = 3*f, -4*q + 426 = -2*f + 5*f. Let p be q/30 + (-3)/5. Solve p*j + 3*r + 6 = 0, -5*j = -4*r - 31 - 4 for j.
3
Let o be -3 - 99/(-15) - (-4)/10. Solve g - 6 = o*v, v - g = 4*v + 8 for v.
-2
Suppose -3*i + m - 105 = 3*m, 3*i + m = -105. Let w be (-32)/(-14) + 10/i. Let k = w - -2. Solve 10 = -3*q + 5*j, k*q = -j - 3*j + 8 for q.
0
Let a be 3/1*68/102. Let w(g) = 6*g**3 + g**2 - 1. Let u be w(1). Let f = u - 3. Solve a*p + 2 = -3*z - z, -2*p = -f*z - 12 for z.
-2
Let z = 15 - 12. Suppose 0 = -2*m + z*m + b, -5*b = 2*m + 15. Solve -m*s = 3*o + 2*o - 10, -4*s + 2 = -2*o for s.
1
Let x = -71 - -73. Solve -m - 3 = x*o - 0*m, 3*o = 2*m + 1