8. Solve -7 + 4 = n*z for z.
-1
Let v = -131 + 131. Solve v = 2*f + 4 for f.
-2
Let s = 20 + -17. Solve -s*a + 0*a = -12 for a.
4
Let u = -13 - -25. Let r = u + -8. Solve 0*j = r*j - 8 for j.
2
Suppose -3*g = 2*r + 13, -2*r + 17 = -3*r - 5*g. Let b = -3 - 1. Let l = r - b. Solve o + l = 2*o for o.
2
Let z = 1 + 3. Suppose -k + z = k. Let h = k - 0. Solve -h*o - 12 = -2 for o.
-5
Let m be 3*(-8)/(-14) + 42/147. Solve 0 = -i + m - 3 for i.
-1
Suppose -4*g + 4 = -4. Solve g*s = 2 - 0 for s.
1
Let k(m) = -m**3 - 3*m - 2. Let f be k(-2). Solve 7*x = 3*x + f for x.
3
Let t(g) = 3*g - 13. Let f(m) = 4*m - 13. Let b(c) = 2*f(c) - 3*t(c). Let o be b(9). Suppose -2*j + 2 + 0 = -2*a, o*j - 16 = 0. Solve -1 = q + a for q.
-4
Let q(g) = g**3 - 4*g**2 - 3*g + 5. Let i be q(5). Solve i = s - 6*s for s.
-3
Let a(b) = 28*b**2 + 2*b + 2. Let h be a(-1). Solve -3 + h = 5*m for m.
5
Let p(v) = -v - 7. Let h be p(-10). Solve -4*g = 15 - h for g.
-3
Suppose 0 = -4*w + 9*w. Let m = -4 + 1. Let u = -1 - m. Solve w = -3*t - u*t for t.
0
Let u(t) = -t**3 - 6*t**2 + 6*t + 2. Let g be u(-7). Suppose -4*k + 0 = -j - g, 0 = 2*k + 4*j - 18. Solve 0 = k*m + 2*m for m.
0
Suppose -4*x = 0, 3*x = -0*q - 5*q + 10. Suppose -t - 1 = -2*y - 6, q*t = -4*y + 10. Solve -n + 2 = -y*n for n.
2
Let y(a) = a**3 + 7*a**2 + 15. Let b be y(-7). Solve -3*n = -0*n - b for n.
5
Suppose -8*q + 44 = -84. Solve -6 = -5*l - q for l.
-2
Suppose 0*q + q - 4 = 0. Suppose -5 = -q*n + x, 2*n - 4*x = 5 + 1. Solve n = 2*j - 5 for j.
3
Suppose u - 5*d = 29, 5*u - 11 = u - d. Let s(a) = a**2 + a. Let y be s(u). Solve -3*p - y = -8*p for p.
4
Let x(i) = -i - 5. Let y be x(-8). Let j be -15 - -16 - 6/(1 + -3). Solve y = -j*d - 5 for d.
-2
Suppose 0 = 2*d - 5*d. Solve -t = -d*t for t.
0
Suppose 2*i + 2*i - 36 = -4*m, 2*m = 5*i - 10. Suppose 31*x + 30 = 34*x. Solve i*n + 6 = -x for n.
-4
Suppose 0 = 4*a - 18 - 6. Solve -s = -a + 1 for s.
5
Let c(j) = j - 17 + 17. Let b be c(0). Solve 5*k + 0*k + 5 = b for k.
-1
Let t(a) = a**2 + 3*a + 25. Let m be t(0). Solve 7*g = 2*g + m for g.
5
Let n(c) = -2*c**2 + 6*c + 6. Let v(i) = -3*i**2 + 6*i + 7. Let a(y) = -4*n(y) + 3*v(y). Let f be a(-5). Let t = f - 0. Solve -t*l - 2*l = -8 for l.
2
Let l = -13 + 15. Let c be 1*(11 - (2 + -1)). Suppose c + 2 = 4*a. Solve -l*w = a*w - 5 for w.
1
Let y = -4 + 7. Solve -s - 4 = y*s for s.
-1
Let z(i) = 2*i - 12. Let b be z(7). Solve 4*s = -b + 10 for s.
2
Suppose -5*n = -n - 120. Suppose -2*x = 4*c - 22, 3*x = -5*c - 0*c + n. Solve 0 = -c*r - 12 for r.
-4
Let c(l) = l - 2. Let x be c(4). Let w(k) = -k - 8. Let d be w(0). Let a be d/(-3) + (-3)/(-9). Solve a*o = -x*o for o.
0
Suppose -6*t = -t. Solve 0 = -t*f - 2*f + 6 for f.
3
Let t be (-2)/(-4) + (-15)/(-10). Suppose 5*d + 2*b = 36, 3*d - 3*b - 3 = t*b. Solve 0 = 3*w - 9 - d for w.
5
Let b(i) be the first derivative of -i**2/2 - 2*i - 1. Let h be b(-4). Solve 0 = -7*f + h*f + 10 for f.
2
Let a(c) = -c**2 - 7*c - 6. Suppose w + v - 5*v = -11, 4*w - 3*v = -5. Let z = -7 + w. Let g be a(z). Solve g = -2*d + 3*d + 4 for d.
-4
Let y be (11/33)/(2/12). Solve y*x = -x for x.
0
Suppose -k - 137 = 4*y, 4*k - 166 = y + 4*y. Let v be y/(-10) - 12/30. Solve -v*u - 9 = -0 for u.
-3
Let o = -15 + 19. Solve 2*j = o*j + 10 for j.
-5
Let w be 7 - 0/(-1) - 3. Suppose 0*j = 2*j - w. Solve -t - 3 = j for t.
-5
Suppose 4*f + 1 - 21 = 0. Let u = 2 - f. Let k(c) = c**3 + 2*c**2 - 5*c - 4. Let t be k(u). Solve -t*m + 7*m + 5 = 0 for m.
-1
Let c be (-1 - -1)/((-8)/(-8)). Let y(x) = -x**3 - 13*x**2 - 12*x + 5. Let i be y(-12). Solve i*b + c*b + 5 = 0 for b.
-1
Let j(d) = d**2 - d - 1. Let q(a) = -3*a**2 + 14*a - 10. Let y(u) = 2*j(u) + q(u). Let b be y(9). Let m = b - 10. Solve -2*k + m = -1 for k.
3
Suppose -5*o = -4*i - 9 + 96, 0 = 2*o + 6. Suppose i = 4*h - 2. Suppose a - 13 = -3*j, -12 = -4*j + 2*j + a. Solve j = -h*n - 15 for n.
-4
Let y = 1 + 1. Solve 4 = -2*d - y*d for d.
-1
Suppose -2*y + 3 + 1 = 0. Solve -y*c + 5*c = -3 for c.
-1
Let i be 4/(-7) - (-358)/14. Solve -i = -3*c - 2*c for c.
5
Suppose 0*s = 5*s. Solve 4*b - 2*b - 2 = s for b.
1
Let f be 20/70 - 19/(-7). Solve -4*l - 11 = -f for l.
-2
Suppose 4 - 10 = -3*q. Suppose -5*a - q*f = 2*f - 26, -3*f = 5*a - 22. Solve -5*o = -a - 23 for o.
5
Let d be 6/(-72)*3*0. Solve d*x = 2*x - 10 for x.
5
Suppose -22*l + 26 = -9*l. Suppose 0 = g + 3*g - 8. Solve l*r = -g*r for r.
0
Let r(t) = 1 - 9 + t + 6. Let u be r(2). Suppose 2*q - 4 = -u*q. Solve 0*v - 2*v = -q for v.
1
Let i be (-1 + 3/2)*4. Suppose 0 = i*y - 6*y - 72. Let b be (-16)/(-9) + (-4)/y. Solve -b*d + 5 = 3*d for d.
1
Let l be 386/30 + (-12)/(-90). Solve 0 = -2*w - l + 3 for w.
-5
Let q be (-40)/(-2) + 0/11. Solve 6*p = 2*p + q for p.
5
Let z(p) = 2*p - 6. Suppose -4*f = -g - 1, 4*g - f = -2*f + 13. Suppose q = g, 2*b + 0*q - q - 7 = 0. Let w be z(b). Solve w*a - 3 - 5 = 0 for a.
2
Let m = -20 - -25. Suppose 6*n - m - 25 = 0. Solve -n*a - 10 = -0 for a.
-2
Let w = 20 - 18. Solve w*s + 9 = -1 for s.
-5
Suppose -159*w + 20 = -155*w. Solve w*i - 2 + 7 = 0 for i.
-1
Let m be 15/(1 + 5/(-8)). Suppose 0 = 5*x - 5*l + m, 0 = -4*x - 3*l - 4 - 0. Let n be (x/(-3))/((-4)/(-6)). Solve -1 = -n*k + 5 for k.
3
Suppose -2*z - 2*z = 5*t - 45, -5 = -5*z + 4*t. Let x = z + -2. Suppose w + 2 - x = 3*b, -b + 3*w - 3 = 0. Solve b = -3*h - 0*h + 9 for h.
3
Let m(j) = 3*j**2 + j + 1. Let l be m(-1). Solve 8*k = l*k for k.
0
Let r(n) = 4*n + 32. Let h be r(-8). Solve 2*a - a + 3 = h for a.
-3
Let j(f) = -3*f**3 - 1. Let u be j(-1). Let a = -6 - -7. Solve -3*n + u*n = -a for n.
1
Let v(s) = -s**2 + 6*s - 3. Let i be v(5). Solve -i + 8 = -2*r for r.
-3
Let v(z) = -z + 10. Let q be v(7). Suppose 2*s + 4 = 0, 5*k - 2*s = 45 - 1. Solve -q*u = u - k for u.
2
Let v(z) = z**2 - 11*z + 11. Let n be v(10). Solve 0*b = -b - n for b.
-1
Let p = 1 + -6. Let f = -2 - p. Let b = -41 - -46. Solve f = b*j - 12 for j.
3
Let q(b) = b - 12. Let c be q(15). Solve -5*u - c = -28 for u.
5
Suppose -4*d = 3*w - 15, -3*w + 12 = 5*d - 6*w. Solve d*v = -v - 4 for v.
-1
Let z be (8/(-12))/(6/(-621)). Let n = z + -49. Solve 7*v = 2*v + n for v.
4
Let m(k) be the first derivative of -k**4/4 + 2*k**3 + 7*k**2/2 + k + 6. Let f be m(7). Solve 9 = -5*s - f for s.
-2
Let l = 8 - 8. Suppose l = -0*n - 4*n. Solve 0 = -n*s - 3*s for s.
0
Let p(s) = 2*s**3 - 15*s**2 - 9*s + 8. Let n be p(8). Solve n = -3*a - 7 - 5 for a.
-4
Let a(m) be the first derivative of -m**3/3 + m + 2. Suppose 0 = -5*q - 0*q. Let o be a(q). Solve 0*u + u + o = 0 for u.
-1
Let j(a) = a**2 - 7*a + 3. Let f be 1/(-3) + (-66)/(-9). Let y be j(f). Solve 2*v = 3*v - y for v.
3
Let z = -5 + 3. Suppose 4*a - 2*a - 5*v = -13, 5*a - 4*v + 7 = 0. Let h be z*1/a - -4. Solve -h*x = 3*x - 5 for x.
1
Let m(f) = -f**2 - 3*f + 1. Suppose -4 = 3*c - c. Let z be m(c). Let n be 0/(6/z) + 2. Solve q = n*q for q.
0
Suppose -y - 2*g = 4*y - 20, 2*y - 3*g + 11 = 0. Suppose -y*n = n. Solve i + n = -5 for i.
-5
Suppose -s + 2 = -11. Suppose -5*u = -s + 3. Suppose -c - 4*t - 1 = 0, 0*c - t = c - 2. Solve -d + c = u*d for d.
1
Suppose -4*d - 17 - 9 = -2*r, -4*d - 32 = -4*r. Solve 1 + r = -2*u for u.
-2
Let q(j) = 2 + 0 + 5*j**2 - j**3 + j - 4*j. Let k be q(4). Let c = 6 - 3. Solve 0 = c*h - 6*h + k for h.
2
Let i = -90 + 90. Solve -d + i = -4 for d.
4
Let i = -5 - -1. Let a be -4*(-10)/i + 2. Let p = -5 - a. Solve -2*t - p*t = -10 for t.
2
Let d(c) = c + 10. Let r(i) = 6 + 9*i**2 + 4 - 16*i - i**3 + 6*i. Let b be r(8). Let j be d(b). Solve 2*o = o + j for o.
4
Let d(w) = -2*w**3 - 5*w**2 - 2*w. Let p be d(-3). Solve 0 = -5*g - p for g.
-3
Let z = -8 - -12. Solve 3*v = 5*v + z for v.
-2
Suppose -4*v - 9 = 2*c + 1, v - 4*c + 7 = 0. Let x = v + 5. Suppose x*p = o - 5, 0 = o + 3*p + 2*p + 9. Solve o = 2*s - s for s.
1
Suppose 2*w - w - 20 = -3*h, -38 = -5*h - 4*w. Suppose h*d = 3*d + 18. Solve 0 = d*l - 2*l - 16 for l.
4
Let u be (-4)/((-1)/(2*-7)). Let v be 6/(-4)*u/6. Solve 5*a - 11 - v = 0 for a.
5
Let h(q) = -q**3 - 4*q**2 + 6*q + 6. Let v be h(-5). Let j be 3/((-9)/(-12))*v. Suppose -4*a - n = -15, 4*n = -a - 2*a - 5. Solve 13 = -j*p + a for p.
-2
Let v = 4 - -1. Let a be v + (6/(-3) - -3). Let w be (a + -14)/(-1 + 0). Solve w = k - 3*k for k.
-4
Suppose 2*h + 2*m = 14, 4*h + 4*m - 13 = 5*h. Let k(f) = f