 8. Let f = -3 - n. Solve 2*u + 6 = -f*u for u.
-3
Suppose 3*o + 2*u = 13, -o - 3*u = -7*u + 5. Solve 2*c - 5*c - o = 0 for c.
-1
Let p be 1 - (-4)/(4/3). Solve -2*j + p = -4 for j.
4
Let q be (-2)/(-15) - (-219)/45. Suppose 0 = -4*j + q*j - 8. Solve -b + 3 - j = 0 for b.
-5
Suppose 0 = -2*g - 12 + 42. Suppose -4*l + 3*v + 49 = -30, l + 4*v = g. Solve l - 4 = 3*z for z.
5
Suppose -4*p = 3*r - 9, -5*p + 15 = -2*p + 5*r. Let s be 1*((0 - p) + 3). Solve z = -s - 1 for z.
-4
Suppose w - 13 = -3*r, -24 = -3*r - 3*w - 3. Suppose 15 = l + 2*c + c, r*c = 3. Let b be l/8 - 2/4. Solve 0 = 5*d - b - 9 for d.
2
Suppose -4*m - 27 - 1 = -4*i, 4*i - m = 13. Let a(s) = 2 + 4 - 4 + s**i + 2*s. Let d be a(-4). Solve j + j = -d for j.
-5
Let l = -5 + 8. Let p = 0 + l. Let b(z) = z**2 - 3*z + 3. Let u be b(p). Solve u*g - 5 = 2*g for g.
5
Let f(a) = a**2 - 5*a - 3. Let l be f(6). Let m(n) = 3*n**2 - n**3 - 7*n + 8*n + 3 - 4*n. Let x be m(2). Solve x = -h - l for h.
-4
Let f(w) = w + 8. Let r be f(-5). Let m = r - -6. Solve 0 = -3*x + m + 6 for x.
5
Let z = 19 - 11. Let s = -6 + z. Solve -4 = s*k + 4 for k.
-4
Suppose 5*d + 27 - 3 = -k, 0 = -2*k - 5*d - 23. Solve 0 = -3*c + 13 - k for c.
4
Let i(r) be the second derivative of r**3/3 - 3*r**2 + r. Let p(o) = -o - 1. Let z(d) = -i(d) - p(d). Let s be z(7). Solve s = l + 3*l + 12 for l.
-3
Let u be 3/12 + 23/4. Solve u = -2*q - 2 for q.
-4
Let a(b) = -2*b**3 - b. Let v be a(1). Suppose 0 = -3*d - 2 - 7. Let x be v/d + (1 - 0). Solve -x*u + 4 = -6*u for u.
-1
Suppose -5*h = -3*x + 14, 0 = 2*h - 7 - 3. Suppose -60 = -4*n - l, -3*n = -5*l - x - 32. Solve 4*s = -n + 3 for s.
-3
Let g be (6 - (4 - -3))/((-3)/3). Let m(o) = -o**2 + o. Let v be m(1). Solve v = -p - 2 - g for p.
-3
Let a = 43 + -18. Let r be ((-14)/4)/(1/(-2)). Solve -2*p + a = -r*p for p.
-5
Let w be (-5 + 5)/(2 + 3/3). Solve w - 5 = 5*v for v.
-1
Let k = -24 + 51. Suppose -18 = d + k. Let b be (-2)/9 + (-145)/d. Solve -23 = -5*q - b for q.
4
Suppose 0 = -5*m + 10*m - 125. Suppose -2*b = -19 - m. Solve 5*q + 3 = -b for q.
-5
Let g = 51 + -44. Solve 0 = -c - g + 6 for c.
-1
Suppose 5*f - 13 = y - 43, 5*y = -f + 20. Solve 0 + 5 = y*g for g.
1
Suppose 5*z + 41 - 6 = 3*j, 2*j + 5*z = -10. Solve -j - 1 = -2*a for a.
3
Let r(a) = 3*a**3 - 3*a**2 - 5*a - 4. Let x(i) = i**3 + i**2 + 1. Let b(w) = -r(w) + 2*x(w). Let z be b(6). Solve -2*f = -z*f - 8 for f.
4
Let k be -2 + (-9 - -4)*-2. Suppose -2*c = 0, -4*c + 4 = 4*b - c. Solve -b - k = 3*y for y.
-3
Let v(k) = 4*k**3 - k**2 - k + 2. Let m be v(1). Suppose 3*d - 4 - 16 = 2*h, -4*d = m*h. Solve 11 = -d*s + 3 for s.
-2
Suppose 20*c - 16 = 18*c. Solve a + c = -a for a.
-4
Suppose 6*w + 12 = 9*w. Solve 0*y = -w*y - 8 for y.
-2
Let c = -8 + 13. Suppose -3*y + c + 1 = 0. Solve y*f = 7*f - 15 for f.
3
Suppose -z + 4 = 3. Solve d + 0*d = -z for d.
-1
Suppose -3 = -5*v + 27. Let p = -3 + v. Solve 5 = p*b - 2*b for b.
5
Suppose c = -f, c - 19 + 4 = 4*f. Suppose -c*k + 19 = -26. Solve -4*z + z = -k for z.
5
Let f(s) = 6*s**3 - s**2 - s + 1. Let v be f(1). Suppose 25 = -v*h, -2*h - 3*h = i + 23. Suppose z = -5*l + 34, 42 = 5*z + i*l - 13. Solve -1 - z = -2*p for p.
5
Let m(t) = -t**3 - 5*t**2 - 2*t - 6. Let n be m(-5). Suppose -n*j = 5*f - 4 + 14, -10 = 5*f. Solve 4*l + j = 12 for l.
3
Let n = -22 - -24. Solve 1 = a + n for a.
-1
Suppose 4*y = 9 + 3. Let x(v) = 4*v**2 + v. Let k be x(1). Solve 4 = -y*i - k for i.
-3
Suppose -5*g + 8 + 2 = 0. Let f(j) = 5*j**3 + j**2 - 1. Let n(l) = 4*l**3 + l**2 - 1. Let z(v) = 5*f(v) - 6*n(v). Let p be z(2). Solve -12 = p*t - g for t.
-2
Let z(l) = l**2 + 4*l + 5. Let c be z(-4). Suppose -c - 2 = 4*s - 5*m, 2*s + 5*m = 19. Solve n + s*n - 12 = 0 for n.
4
Let f be (1/(-3))/(2/(-12)). Solve -5*j = -8 - f for j.
2
Let a(m) = m + 8. Let r(j) = -j**3. Let k be r(1). Let z be -10 + k + (2 - -1). Let w be a(z). Solve w*u = u for u.
0
Suppose 3*y - 2 - 4 = 0. Solve 5*s + 27 = y for s.
-5
Let x be 2*(-2)/(-4)*0. Suppose 2*l - y - 12 = x, -3*l - 30 = -8*l + 2*y. Let d be l/(-21) - 2/(-7). Solve d = -4*j - 0*j - 8 for j.
-2
Let t be 1/4 + 124/16. Let a = -8 + t. Solve a = 4*v - 0 - 8 for v.
2
Let x = -7 - -11. Suppose -2*d + 4*r = -5*d + 57, 0 = x*d - 5*r - 45. Solve t - d = 6*t for t.
-3
Let k = -17 + 17. Solve k = -4*d - 17 + 5 for d.
-3
Let m(a) be the second derivative of -a**4/12 + 5*a**3/6 - 3*a**2/2 - 3*a. Let q be 4/14 + (-12)/(-7). Let k be m(q). Solve 5*d - k = 22 for d.
5
Let x(g) = -g**3 - 13*g**2 - 12*g. Let l be x(-12). Solve -5*w = -l*w + 20 for w.
-4
Let q = -35 - -37. Solve 6 = q*o - 0*o for o.
3
Let g be ((-15)/3)/(-1) - 1. Suppose -g = 2*b - 2. Let y = b + 3. Solve -2 = -y*f - 0*f for f.
1
Suppose 10 = 5*h + l - 2*l, 0 = -3*l. Suppose -4*i + i + 39 = 0. Let z be (-3)/9 + i/3. Solve z*o = 10 - h for o.
2
Suppose -5*f + 22 = 6*v - 3*v, v - 2 = f. Solve 0 = -4*n + v - 20 for n.
-4
Let w = -38 + 54. Suppose -4*x + w = 4. Suppose -7*c + 8 = -x*c. Solve c*n = -3*n - 5 for n.
-1
Suppose 5*w - 19 - 1 = 0. Solve 0 = w*t - 0*t - 8 for t.
2
Let f = 207 - 117. Suppose u - 48 = -2*d - 0*d, u = 4*d - f. Solve 4*j + d = 3 for j.
-5
Suppose 0 = -4*j - 6 + 2. Let s be j/2 - (-1)/(-2). Let u(z) = 3*z**2 - z - 1. Let l be u(s). Solve 8 = 5*k + l for k.
1
Let u(i) = -i**3 + 5*i**2 - 4*i + 5. Let j be u(4). Suppose 2*p = 5*d - 8 - 11, j*d + p = 28. Solve -12 = d*t - 2*t for t.
-4
Let k be 2*-8*(-2)/4. Let p be ((-6)/(-4))/(3/k). Suppose 40 = 5*n - p*t, -t = 3*n + 2*t + 3. Solve -n*u = u for u.
0
Let u(n) = n**3 - 5*n**2 - 9*n + 18. Let s be u(6). Solve s = 6*w - w + 10 for w.
-2
Let f = 7 + -7. Solve f = 4*d - 4 - 12 for d.
4
Let v be (-20)/(-6) - ((-12)/3)/(-12). Solve v*n + 2*n + 20 = 0 for n.
-4
Let g = 149 - 134. Solve -2*b = b + g for b.
-5
Let z = -9 + 19. Suppose 0 = -4*p - 2 + z. Suppose p = -2*v + 10. Solve -t - v = t for t.
-2
Suppose -3*g + 7*g - 74 = -2*z, -5*z = 4*g - 65. Let t be (0 - -1) + (-5)/5. Solve g = -t*o - 4*o for o.
-5
Let c be ((-110)/44)/((-10)/8). Solve 5*r = c*r - 6 for r.
-2
Let f = 4 + 1. Let n(z) = z. Let q be n(3). Suppose -w + 2*g = -0*g, f*g - q = w. Solve -w*r = -1 - 7 for r.
4
Suppose 3*a = -0*a. Let q be 2/(-3) + (-94)/(-6). Suppose 3*o + 1 = 5*g + q, -5*o - g + 14 = 0. Solve 0*x - o*x - 12 = a for x.
-4
Suppose 4*q = -2*z + 30, 0 = -z - 1 - 2. Solve 0 + q = -3*i for i.
-3
Let b(n) = n**3 + 14*n**2 + 12*n - 12. Let h be b(-13). Solve -x + 4 = h for x.
3
Let n be 1 + -2 - (-2 + -1). Let i(u) = u + 15. Let p be i(-14). Let o be ((-10)/12)/(p/(-6)). Solve -n*g + o = 15 for g.
-5
Let j(b) = b**3 - 7*b**2 - 8*b + 2. Let q be j(8). Let c be -2 - q/((-2)/(-3)). Let h = c + 10. Solve 25 = h*w + 10 for w.
3
Suppose 0 = -7*l + 9*l - 12. Solve 0 = -l*h + h - 5 for h.
-1
Let x(d) be the second derivative of d**5/20 - 7*d**4/12 - d**3/6 + 6*d**2 - 2*d. Let n be x(7). Solve 20 - n = 5*l for l.
3
Let u be (-2)/(-17) - 10/85. Solve 2*y - 4*y - 6 = u for y.
-3
Let z be (-15)/2 - (-12)/(-8). Let c = z + 9. Solve -4*b + b = c for b.
0
Let b(i) be the second derivative of i**3/6 + 2*i**2 - i. Let w be b(4). Solve -w = -5*h + 12 for h.
4
Let c = -76 + 81. Solve -c*y = -9 - 1 for y.
2
Let y be (-12)/9*(-6)/4. Suppose -l - z + y - 6 = 0, -l - 3*z - 14 = 0. Solve 0 + l = -b for b.
-1
Let a be (1 - -1) + -6 + 16. Solve y = -3*y + a for y.
3
Suppose -4*a - 6 = -6. Solve a = -3*v - 9 for v.
-3
Let c(y) = y - 7. Let i be c(9). Suppose -i*t - 20 = 2*p - 6*p, -5*t - 5 = -p. Solve t*w = w for w.
0
Suppose -5*b - 2*s = -16, -s + 21 = 3*b + 4*s. Suppose -7*z - 2*k = -b*z - 22, z = 2*k + 2. Let c be ((-2)/5)/((-6)/180). Solve 0 = z*y - y + c for y.
-4
Suppose 0 = -7*x + 13 + 71. Solve 0 = g + 3*g + x for g.
-3
Let x = 7 - 4. Let g(b) = b**2 - b. Let n be g(3). Suppose -m - r = -n*m + 15, -m + r + 3 = 0. Solve 0*v = x*v - m for v.
1
Suppose -4*w + 0 = -4. Solve 0 = c - w for c.
1
Let z(f) = -3*f - 2. Let j be z(-3). Let d = 13 - j. Let n = d + -6. Solve n = 2*m + 3*m + 15 for m.
-3
Suppose -t = 3*t. Let b(k) = k**3 - 7*k**2 + 6*k. Let i be b(6). Suppose c + 3*c - 16 = i. Solve z - 3*z - c = t for z.
-2
Let o(t) = t + 2. Let y be o(4). Let j = 6 - y. Solve j = 4*a + 9 + 11 for a.
-5
Suppose -2*n = 4*j - 20, -4*n - 9 = -1. Solve -4*o + j = -o for o.
2
Let z be (0 + 0)/(-3)*-1. Let p be 1/(-6) + (-165