 8. Solve -s + z*j - 22 = s, -17 = s - 4*j for s.
-1
Suppose 3*v - 19 + 7 = l, -5*l - 3*v = -12. Let r = -1 + 1. Suppose -54*a = -82*a + 56. Solve a*f + 5*o = r, l = -f + 6*o - o for f.
0
Let d(f) = -f**3 + 10*f**2 - 8*f - 6. Let t = -29 + 38. Let g be d(t). Solve g*s - 12 = 4*o, -o + 4 = s - 2*o for s.
4
Let c be 6 - 1 - 18 - -5 - -10. Solve -10 = -3*i + 2*w, w = i - w - c for i.
4
Suppose 25 = -c - 5*x, 4 = c - x - 1. Let b be 1/(-1 + 2 - 16/18). Solve -4*s + i - 14 = c, -5*s - b = i + 4 for s.
-3
Let h = 14 + 1. Suppose -4*p = -2*o - 6, -5*p + 3*p = 3*o - h. Solve -i - o = k, k + 10 = -k for i.
2
Let c be (-36)/(-48)*(1 - (-9)/3). Solve -w = t - c, -3*t + 6*t - 3 = 0 for w.
2
Let f(z) = 9*z**3 - z**2 + z - 1. Let t be f(1). Suppose -r + 2*p - 5 - 2 = 0, p = -r + t. Solve 0 = -4*k - 16, -6*k + r*k - 15 = -3*o for o.
1
Suppose l = -2*l + 12. Suppose -l*c + 184 = 24. Let d be ((-28)/(-70))/(2/c). Solve 0 = -2*m + d, 7*f - 4*m + 31 = 4*f for f.
-5
Let j(x) = x**3 - 5*x**2 - 4*x. Suppose -3*b = b - 24. Let r be j(b). Let w be 2/(-8) - 81/(-4). Solve 2*o - 7*o = -w, 4*d - o = r for d.
4
Let o(q) = 7*q - 75. Let z be o(26). Let g = z - 107. Solve 3*a = -0*m + 4*m + 7, -5*m + 3*a - 8 = g for m.
-1
Let x = -448 - -451. Solve 5*b - 4*u = 4, -7*b + 3 = -2*b - x*u for b.
0
Let f = -36 + 39. Suppose -5*n = f*t - 6, 5*t + 0*t = -5*n. Let l = 7 + -4. Solve l*z + 2*b + 1 = 0, -8 - 1 = -n*z + 3*b for z.
1
Let i be 6/(-9) - (-1420)/(-12). Let u be (-4)/14 + (-272)/i. Solve 4*m + 4*w = 4, 2*w + u = -3*m - 0 for m.
-4
Suppose 41 + 31 = -3*n. Suppose m + 18 = -4. Let s = m - n. Solve -3*u - 5*d = -16, d = s*d - 2 for u.
2
Suppose 0 = -y - 9*f + 12*f + 17, 4*y - 3*f = 32. Solve 5*r - 26 = h, h - 2*h = y*r - 24 for h.
-1
Let j = -9 - -8. Let x = j - 15. Let l = x + 31. Solve -4*r + 2 = -g - l, -2*g = -3*r + 9 for g.
3
Suppose 3*b = -3*k + 21, k - b = -0*k - 3. Suppose -3*h = k - 23. Solve 4*l = 20, -4*q - 2*l + h*l = 45 for q.
-5
Let x(m) = -m**2 - 22*m + 53. Let o be x(-24). Solve r + 11 = -o*w, -4*w - 2*r - 10 = -0*w for w.
-2
Let n be (-378)/105*(-10)/6. Solve -2*c - 8 = 5*k, -n + 3 = -5*c - k for c.
1
Let j = 106 + -194. Let n = j + 91. Solve 2*x + x + 4 = f, x + n*f + 8 = 0 for x.
-2
Suppose 3*p - 34*k + 31*k = 27, 5*p - 2*k = 33. Suppose 4*v + 2 = 2*d, 0 = -4*v + 3*d - 2 - 5. Solve -p*w + v*s + 0*s = 5, -3*w = -4*s + 3 for w.
-1
Let l(d) = -d**2 - 26*d + 29. Let i be l(-27). Let k = -8 + 11. Suppose -6*p + 20 = -p. Solve 5*a + p = -i*q - 12, -q = -k*a - 3 for q.
-3
Let y = 17 - 21. Let r be (-1)/(y/(3 + 177)). Suppose 5*x = -0 + r. Solve -2*z = -5*u + 15, 3*z + 5 = -u - x for z.
-5
Let v = 181 - 176. Solve -2*d - d + 24 = 3*w, -v*w = -5*d + 10 for w.
3
Let q be (-300)/(-24)*1*-2. Let l = q - -29. Solve 4*s = -3*j + l, 5*j + 3 = 4*s - s for j.
0
Let g(y) = -y**2 + 9*y + 24. Let r be 4/12*132/4. Let u be g(r). Solve 2*p - u*h = 10, -p = 4*p + 2*h + 3 for p.
1
Let c = -23 - -28. Suppose -2*s + p = -1 - 1, 0 = -c*p + 20. Solve -s*k - 4*f = 0, 2*k + 8 = k - 4*f for k.
4
Let h(y) = -y - 4. Let j = -22 - -18. Let o be h(j). Suppose 3*m = -l + 12, o*m - 18 = -3*l - 3*m. Solve 5*u + 2*a = -1, -l*u - a - 13 = -6*a for u.
-1
Suppose 4*v + 5*q = 80, -4*v + 27*q = 24*q - 80. Solve -2*g - 5*u = v, 6*g - 4*g = -2*u - 14 for g.
-5
Let w = 382 - 377. Solve -25 = -5*p + w*x, 2*p + 3*x = -0*p for p.
3
Let j be (346 + -6)/(-5) + 1 + -1. Let u = -63 - j. Solve -i - 17 = -4*q, -12 = u*q + 2*i - 43 for q.
5
Let a = -12 - -17. Suppose -a*n + 34 = -1. Let p = -17 + 17. Solve 0 = -2*z - j + n, 0 = -3*z - p*z - 3*j + 6 for z.
5
Let w be (-9)/(-27) - (-16)/6. Suppose -h = 4*i - 40, -3*i + 5*h + w = -27. Solve -i = 3*x + x - 5*l, l - 2 = -2*x for x.
0
Let g(w) = 3*w + 39. Let h be g(-11). Solve -2*z - 4*y = -12, 3*z + y = z + h for z.
2
Let d = 100 + -96. Solve -h + 23 = 5*u, -4*u + 14 = d*h - h for u.
5
Let k(s) = -2*s - 4. Let y be k(-6). Let d = 15 - y. Suppose 3*a = d + 2. Solve -2*o - z - a*z + 24 = 0, -2*o - 11 = -3*z for o.
2
Suppose 19 = -13*m + 45. Solve -2*k + 4*j - 10 = 0, -m*k + 3*k - 1 = -4*j for k.
-3
Suppose 0*g + 6 = -4*v + 2*g, -8 = 2*v + 4*g. Let b be 5 + (v/2)/((-3)/(-12)). Solve -3*s + b = -2*w - 14, -2*s = 4*w - 10 for w.
0
Let r = -1164 + 1189. Solve -r = -7*m + 2*m, 7 = -2*z + m for z.
-1
Suppose 142 = 50*b - 8. Solve 4*t - 2*g - 4 = 0, b*g = -t - g + 10 for t.
2
Suppose 0*x = 2*b + 4*x + 178, 2*x + 368 = -4*b. Let i = 95 + b. Solve 0 = -i*d - d + 12, -2*p = d - 10 for p.
3
Suppose 5*w + 5*d = 0, -3*d = 3*w + d + 3. Solve 4*n = -w*i - 0*i + 13, 5 = -5*i for n.
4
Suppose 4*c + 8 = 44. Solve 3*p = 5*h + 7, -5*p - c = 2*h - 0*p for h.
-2
Let m be (-3)/(-4)*(1 - 5). Let c be 3*m*(-14)/18. Suppose 9 = -5*u - 3*a, 3*a + 2 = -4*u - c. Solve u = 5*l + 3*w + 2 + 28, 0 = 5*l - w + 10 for l.
-3
Let r(f) = f**2 + 7*f + 16. Let y be r(-8). Let s be 68/6 - (-16)/y. Let q = -4 + 8. Solve -2*b + 5*t + s = -13, 29 = q*b - 3*t for b.
5
Let j(f) = f**2 + 5*f - 7. Suppose -2*q + 0*s = 4*s + 8, -6 = q + 4*s. Let t = q - 6. Let x be j(t). Solve 5*z = -15, -5*v + x = 2*z - z for v.
4
Let h be 3*(-4 - -3) + 2*-1. Let c(y) = 2*y + 17. Let r be c(h). Solve g + 3*z + 13 = 0, -4*g - 1 = -r*g - z for g.
2
Let j(n) = 6*n**3 - n**2 + 6*n - 6. Let m be j(1). Solve -13 = -t - 5*c, 2*t = -8*c + m*c + 12 for t.
3
Let c = -11 - -11. Suppose 2*q = -c + 10. Suppose -3*h - 30 = -5*b, 4*h - 5 = -5*b + 2*h. Solve -i + 3*u - q = -5*i, -2*i = -b*u - 7 for i.
2
Let v be (15/6 + -2)/((-6)/24). Let f be 13 - (v - (4 + -2)). Solve -4*k + k - 2*w - 22 = 0, w = -3*k - f for k.
-4
Let i be 195/(-325)*5*-1. Solve 2*q + i*z - 4 = -2*q, 5*q - 5*z = 40 for q.
4
Let v = 17 - 12. Suppose w + v*w = 30. Suppose w*q = q + 8. Solve -2*s + 1 - 3 = 2*a, -3*s = -q*a - 7 for a.
-2
Let u = 183 + -68. Let p = 117 - u. Solve 5*a - 2*r = 0, -a = -2*a + p*r - 8 for a.
2
Let g = 1198 - 1196. Solve 4*n - 10 = -g*a, 3*a - 7 + 2 = 4*n for a.
3
Let f(c) be the first derivative of c**4/4 + 5*c**3/3 - 2*c**2 + 4*c - 12. Let h be f(-5). Solve h = -4*q + 4*x, -x = 3*q - 6*q - 8 for q.
-1
Let a(s) = 4 + 0*s**3 - 2*s**3 + 4*s - 2*s**2 - 2*s**3 + 2*s**3. Let g be a(-3). Let v = 13 + g. Solve 5*d + v = -4*u, 2*u + 3 = d - 0 for u.
-4
Let r be (-483)/(-42) + 1/(-2). Solve r = u + 4*w, -4*w + 3*w + 17 = 5*u for u.
3
Suppose 62*k - 66*k + 100 = 0. Solve u + 4 = -22*g + k*g, -3*g + 14 = 4*u for u.
2
Suppose 5*x = 11*x - 12. Let h be ((-24)/4 - -5) + x/2. Solve j + 3*v - 17 = h, -j = 4*v - 13 - 8 for j.
5
Let m(j) = j - 23. Let v be m(13). Let a be v/2*((-96)/10)/8. Solve 5*t = -2*x - 14, 12 = t - a*t - x for t.
-2
Let t(i) = -2*i**3 + 19*i**2 + 12*i - 18. Let x be t(10). Suppose r - 5*r = 0. Solve -3*f + 24 = -3*u - r, -x*u = 5*f - 5 for u.
-5
Suppose 5*f - 68 = -l, 2 = f + 4*l - 4. Suppose -3*d + 2 + 4 = 0. Let c = -15 - -19. Solve -3*r + d*k = c*k - f, -4*r = k - 12 for r.
2
Let j(u) = -13*u - 50. Let s be j(-4). Solve -3*y - 4*n + 12 = 0, 0*y + 3*n + 8 = s*y for y.
4
Suppose -3*j - 5*w + 114 = 0, 0*j - 123 = -3*j - 2*w. Let q = j - 25. Solve -5*s - 10 = 0, -5*x + 4*s = -0 - q for x.
2
Let r = -602 - -612. Solve -5*z = 3*b - r, 2*z = -0*z + 5*b + 35 for z.
5
Suppose 4*o + 4*p = 3*o + 27, -o = -4*p + 13. Let t = 9 - o. Solve 2*c - 4 = t*s, s + 3*s = 2*c + 2 for s.
3
Let g(t) = t**2 - 5*t + 9. Let p be g(4). Solve -p*r - 25 = 3*s, -7*s + 4*r = -2*s - 20 for s.
0
Suppose 2*b + 11 = 15. Suppose 2*a + 2 = b. Solve 5*v = -25, -3*j + a - 7 = 2*v for j.
1
Let p be -2 + 5/(20/8). Let z = 25 + -16. Suppose -z*c + c + 88 = p. Solve -3*g - c = -4*s, -5*s = -0*s + g - 28 for s.
5
Let i be 2/(-9) + (-58)/(-18). Let x(n) = -19*n + 1. Let y be x(0). Solve -i*f + y = 2*u, 2*u = -5*f + 1 + 6 for f.
3
Let o(u) = u + 12. Let j be o(0). Suppose -6*x = -12*x + j. Let z = 0 + 0. Solve v + 5*h = 4, -5*v - x*h - h - 2 = z for v.
-1
Suppose 2*p + 29 = -7. Let y be (-87)/p - 1/(-6). Suppose 3*h + 0*h = s + 8, 0 = y*h + s - 16. Solve 5*k + 0*k - h = -3*n, 3*n = k - 15 for n.
-4
Let p be (-30)/(-4) + 2/(-4). Suppose 2*w = 4 + 4. Suppose y - 4*y + 9 = 0. Solve -y*x = -o + 5, w*x + 5*o = x + p for x.
-1
Suppose -o + 4*b + 0 = -3, -o + 4 = -3*b. Suppose -11 = -6*l + o. Let q be 12/(-8)*(-8)/3. Solve -q*t = -m - 6, t + 3*m = l*t - 8 for t.
1
Let l(i) = i - 3. Let t be l(2)