8. Solve 0 = -z*x - 3 - q for x.
-5
Suppose 0 = -12*g - 19*g + 62. Solve -g*l + 9 - 13 = 0 for l.
-2
Let n be 35 + 4/(36/(-63)). Solve -31*p = -n*p - 9 for p.
3
Suppose -111*j + 52 = -107*j. Suppose 54 = 3*w - 2*c, -3*c + j = w - 2*c. Solve h - w = 5*h for h.
-4
Let t be (-1)/(-2)*(128 + 2). Let d be 6/(-27) + t/9. Suppose 2*m + 10 = d*m. Solve -m*g + 5 + 3 = 0 for g.
4
Let n(d) = -2*d**3 + 14*d**2 - 12*d + 4. Let b be n(6). Solve -3*u + b*u = 0 for u.
0
Let y = -1579 + 1586. Solve y*c - 3 - 18 = 0 for c.
3
Let b be (15/10)/(2/(168/3)). Let s = 46 - b. Solve -s*t = -9*t + 20 for t.
4
Suppose -5*h = -2*c + 13 + 6, -3*c - 4*h - 6 = 0. Suppose 3*o - 18 = u - c*o, 2*u = -5*o + 39. Solve u = g + 4 for g.
3
Let a be -2 + 5 - (3 - 3). Let i(s) = s**2 + 11*s + 14. Let h be i(-10). Suppose -h*o - 8 = 5*q, -4*q + 3*o = 2*o - 2. Solve 6*t - a*t + 3 = q for t.
-1
Let z = 12 - 4. Let m be ((-5)/20)/(1/(-12)). Let i be 0/(-1)*(m + (-21)/6). Solve i + z = 2*k for k.
4
Let p be (-7)/(-1) + (-6)/(2 - 4). Suppose 4*w - p = 3*z - 50, -5*w - 20 = 0. Solve 3*r = 7 + z for r.
5
Let r(v) = -v**3 + 6*v + 12. Let s be r(0). Solve -4*y = -s*y - 40 for y.
-5
Suppose 12 = 3*u + 4*s - s, -4*s + 8 = 0. Suppose g - 5*l = 12, l + 4*l = -5*g. Let k = g + -2. Solve 4*r - u*r = k for r.
0
Suppose -10 = -u - 10. Solve -5*c = -u - 5 for c.
1
Let y = 0 - -6. Suppose 5*q - y*q = -4. Solve q*o - 8 = -0*o for o.
2
Suppose 0 = -4*n + 2*n + 10. Suppose -n*q = -0*q. Suppose 3*y = 5*r - 43, -3*y - 32 = -4*r - q*y. Solve 9 = -4*a - r for a.
-5
Suppose -3*h - 4*l + 20 = -0*h, -2*h + 20 = -4*l. Let p be 5*-2*h/(-20). Solve 0 = t - p*t - 15 for t.
-5
Let h = -76 - -323. Suppose h = 4*d + 5*z, 7 = -3*z + 16. Let o = d - 33. Solve 3*m = 8*m - o for m.
5
Let w be (5 - 4 - 4) + 39. Let k be (5/10)/(3/w). Solve 0 = -2*c - 2 - k for c.
-4
Let q(x) = 5*x - 2. Let p be q(1). Let z = 2 + 3. Suppose 5*n - c = 13, 0*n - z*c - 23 = -4*n. Solve y - n*y + p = 0 for y.
3
Suppose 15*k = 20*k - 15. Let n = k - -7. Solve 0 = 5*f - 3*f + n for f.
-5
Suppose -10*w = 5*w - 75. Solve 0 = 2*m - w*m + 6 for m.
2
Suppose -613 = -5*v - 3*n, 5*n - 119 = 2*v - 389. Solve -132*z = -v*z for z.
0
Let r(h) = h**2. Let s = 18 + -19. Let l(i) = i**3 + 2*i**2 + i. Let c be l(s). Let p be r(c). Solve p*b + 25 = -5*b for b.
-5
Let g(i) = i**2 - i - 3. Suppose n = -h + 5, 0 = -h - 0*h + n + 3. Let v be g(h). Let q(f) = -f**3 + 4*f**2 - 5. Let l be q(3). Solve 0 = l*z + v + 7 for z.
-4
Let v = 30 - 30. Let t be (v/((-4)/(-1)))/(-2). Suppose 4*a = 5*y - 6, 0 = -0*y - y - a + 3. Solve -u - y - 2 = t for u.
-4
Suppose -r - 6 = -p, 18 = p + 5*r - 2*r. Let o(h) = -h**3 - 9 - 3*h + 7 + 0*h**2 - 5*h**2 + 3*h**2. Let t be o(-2). Solve -t*x = -x + p for x.
-3
Let g(r) = -r**3 - 6*r**2 - 9*r - 2. Let u be g(-4). Solve -u*j + j = 0 for j.
0
Suppose 2*y + 3 = 3*t + 7, -5*y - 4*t = -56. Solve 9 = -y*l - l for l.
-1
Let k = -23 + 13. Let g = -7 - k. Suppose -2 = -g*j - 2*j - y, 3*j - 4*y + 8 = 0. Solve -2*u - 2*u = j for u.
0
Let z be (-10)/(-25) - (-2)/(-5). Let d be (1/(-2))/(1/(-14)). Let b(x) = -x**3 + 7*x**2 - x + 8. Let h be b(d). Solve z = 3*k - h - 2 for k.
1
Let b be 166/12 + 1/6. Let t(l) be the third derivative of -l**5/60 + 7*l**4/12 + l**3/3 - 4*l**2. Let u be t(b). Solve -u = -m - 3 for m.
-1
Let o = -690 + 699. Solve -z = 11 - o for z.
-2
Suppose -5*w + 43 = i, -w + 21*i + 17 = 17*i. Solve w*x - 8 = 7*x for x.
4
Let u be ((-3)/(-24))/1 - 79/(-8). Solve -u*d = -3*d - 35 for d.
5
Let b be (-7)/((-378)/(-12))*(-6 + -12). Solve 0 = -7*x - b - 3 for x.
-1
Let m = 3 - 9. Let t = m + 6. Suppose -3*u = -t*u. Solve u*v - 2*v - 8 = 0 for v.
-4
Let t(i) = -23*i + 169. Let y be t(7). Solve 0 = -6*h + 8*h + y for h.
-4
Let c be (-1855)/(-25) - (-16)/20. Let u = -72 + c. Solve 4 - u = g for g.
1
Suppose 19*w = 16*w + 6. Suppose -w*m = -4*m. Solve -2*q = -m*q + 8 for q.
-4
Let z(n) be the first derivative of n**3/3 - 3*n**2/2 - 3. Let c be z(3). Suppose c = -x - 0*x + 1. Solve 2 = 3*g - x for g.
1
Let k(n) = 2*n**3 + 13*n**2 + 6*n. Let q be k(-6). Suppose t - 6 = -2*s - 0, q = -3*s + 6. Solve -3*x = -t - 13 for x.
5
Let s(o) = o**2 + 13*o + 42. Let q be s(-4). Solve 0 = p - 1 + q for p.
-5
Let k(l) = l + 1. Let m be k(2). Let d be (m - 3)*2/(-4). Let a = d - -2. Solve 0 = -a*f - f - 15 for f.
-5
Suppose 4*x - 10 = -2*u, -3*u + 7 - 14 = -5*x. Suppose -26 = x*w + o, 0 = -3*o + 5*o. Let g be w/(-5) - 6/10. Solve -2 = -h + g for h.
4
Suppose 0 = -96*v + 98*v - 4*l + 8, -v - 5*l + 10 = 0. Let c(m) = 8*m**2 - m. Let a be c(-1). Suppose v = 10*k - 7*k - a. Solve k*x - 3 = -0*x for x.
1
Let c be (2/9)/(16/144). Solve c*p + 3 + 7 = 0 for p.
-5
Let z = 1732 - 1727. Solve -9*h = z + 31 for h.
-4
Suppose 0 = 32*y - y - 310. Solve y*u - 13*u = -6 for u.
2
Suppose 5*h - m - 48 = 0, 2*h - 5*m - 40 = -3*h. Suppose h*a = 13*a - 9. Solve 1 = -2*o - a for o.
-2
Suppose -69*l + 133 = -419. Solve 39 = -5*o - l*o for o.
-3
Let i = -647 - -647. Solve i = -6*n + 16*n + 40 for n.
-4
Let z(u) = 5*u + 48. Let j be z(-9). Suppose 2*m - 5*g - 28 = 0, 0 = m - 0*m + g. Suppose -5*o + m*b + 31 = 0, 5*o + 5*b + j = -2. Solve -4*s = -o*s - 5 for s.
5
Suppose 72*d - 66*d = 156. Solve 5*x = d - 41 for x.
-3
Let o = 36 + -27. Let r be ((-1)/(-3))/((-7)/21). Let q = o - r. Solve -5*s + 0*s = q for s.
-2
Let i = -48 - -114. Let t be 94/6 - (i/18 - 4). Let q = 8 + -3. Solve x = q*x + t for x.
-4
Suppose 7*p - 895 = -797. Solve -t = -p + 16 for t.
-2
Let j be 42 + (-4)/4*2. Suppose 5*t = 5*h + j, -h - 2 = 2. Suppose 0 = -3*s - 15, -t*l = -4*s - 2 - 26. Solve 2*q + l = -6 for q.
-4
Let t = 5 - 3. Let q = 2 - t. Suppose -518*d = -512*d - 12. Solve d*b + q*b = -10 for b.
-5
Let r(v) = 3*v + 9. Let c be r(9). Let k = c - 31. Solve 2*i = 7*i - k for i.
1
Let d be (-26)/(-6) + 10/(-30). Let p = d - 0. Suppose 0 + 8 = p*i. Solve i*g = 4*g + 2 for g.
-1
Suppose 2*j + 0*j - 240 = -5*g, -j - 96 = -2*g. Let k be g/(-32)*(-1)/(1/2). Solve 0 = 3*i + k - 15 for i.
4
Suppose i = 2*v - 4*i - 12, 3*v = -4*i + 64. Let h be (16/(-2))/1 - 2. Let n = v + h. Solve -p - n = p for p.
-3
Let w(m) = m**3 - 3*m**2 - m. Let o be w(3). Suppose 7*h + 7 = -21. Let q be ((-4)/h)/(o/(-9)). Solve -z + q + 0 = 0 for z.
3
Let q(j) = j + 12. Let l be q(-6). Let v be (1 - -7)/(l/18). Suppose -5*g + g + v = 0. Solve -3*i + g*i + 6 = 0 for i.
-2
Let m = -3 + 6. Let f = -17 + 37. Suppose -y - m*y + f = 0. Solve -y = v - 4 for v.
-1
Suppose -167*k + 1 = -166*k. Solve g - 3 = k for g.
4
Let j = -23 + 43. Let r = -56 + j. Let i be 9/r - 17/(-4). Solve p = -i*p for p.
0
Suppose 1 = 2*o - 7. Suppose -3*b = 2*b + w + 25, 1 = -o*b + 3*w. Let z be (-72)/(-33) - b/(-22). Solve z*d + 3 = d for d.
-3
Suppose 2*g = -4*w + 6*w - 166, -5*w + 4*g = -414. Suppose 5*o - w = -62. Solve o*u - u = 0 for u.
0
Let g be 44/110*(-1 - -6). Suppose 2*q = 3*u - 1 - 13, 5*q - 3 = -g*u. Solve -8 = c - u for c.
-4
Suppose d - 8 = p, 5*d - p = -3*p + 33. Solve -d - 3 = -2*b for b.
5
Let r(g) = -4*g - 6. Let y be r(-2). Suppose -6 = -f + j, -y*j = -f + 2*j + 9. Solve -5*w = -f + 20 for w.
-3
Suppose -7*g - 24 = -15*g. Let a(h) = -2*h - 7. Let p be a(-4). Solve -2*d + g = p for d.
1
Let a(b) = -b**3 - 20*b**2 + 249*b - 348. Let d be a(-29). Let p = 1 - 1. Let c = 0 - p. Solve -3*t + d + 6 = c for t.
2
Suppose t - 4*f + 36 = 0, -4*f = -t - 4*t - 100. Let a = -9 - t. Let n be (-5*(1 - a))/2. Solve -n = 4*b + 5 for b.
-5
Let u be 4 + -2 - (-3)/1. Suppose -7 = -5*l + 8. Let s be (l - -1) + (-8)/(-4). Solve 9 + s = -u*r for r.
-3
Let k be (-5 - (-15)/2)/(20/296). Solve -10*g - 7 = -k for g.
3
Let y(b) = 7*b**2 - 2*b - 1. Let o be y(-1). Suppose 0*v - o = -5*v - w, 0 = 3*v + 2*w - 2. Solve -g = -1 - v for g.
3
Let o = -29 + 32. Let x(v) = -4*v**2 + 10*v + 3 + 5*v**2 - 12*v. Let a be x(1). Solve a*s = -1 - o for s.
-2
Let a(s) = -s**3 - 6*s**2 - 2*s - 7. Let g be a(-6). Let w(f) = -f**2 + 7*f - 4. Let x be w(g). Suppose -o = -x + 5. Solve 3*c = -2 - o for c.
-1
Let j(f) = f**3 + 3*f**2 - 25*f + 28. Let s be j(-7). Solve -s*c + 8 = -27 for c.
5
Suppose -48*c + 18 = -47*c. Solve 4*b = -6 + c for b.
3
Let f be (-1)/(-2) + 34/(-68). Solve 3*a + f*a = 0 for a.
0
Let v = -43 - -51. Solve 6*q - v = 8*q for q.
-4
Let s = 14 + -17. Let i be 12*((-20)/(-8) + s). Let j