 - 8. Let q be h(-6). Suppose 0 = q*u - 3*x - 35, -5*u - 3*x = -5*x - 42. Let i be 2 + 1/((-4)/u). Solve i = -y - 6 + 2 for y.
-4
Let f be 2/2 + 21/(-1). Let y = f - -22. Solve -z + 6 = y*z for z.
2
Let f(s) = -6*s + 2. Let y be f(-3). Let p = y + -12. Let v be (-1)/((65/10)/(-13)). Solve -2*l - p = v*l for l.
-2
Let c(f) = -47*f**2 + 2*f. Let h be c(-1). Let n = -45 - h. Solve -7*g = -5*g - n for g.
2
Let t(w) = w**3 + 12*w**2 + 11*w - 7. Let q be t(-11). Let z(n) = 2*n**2 + 12*n - 9. Let l be z(q). Solve -3*r - 1 = l for r.
-2
Suppose -3*k + 3*v - 9 = -6*k, -2*v = -2*k + 2. Suppose -k*o = 3*o. Let h(s) = -2*s**3 + 14*s**2 - 9*s - 9. Let y be h(6). Solve o*a = 3*a - y for a.
3
Let g = 0 - 11. Let i = g + -12. Let j = 31 + i. Solve q + j = 3*q for q.
4
Let v = 751 - 743. Solve 9*w = 5*w - v for w.
-2
Let d = 31 + 1. Suppose -d = a + 5*s - 12, 0 = 5*s + 20. Suppose 3*p + 3 = -a*b + b, 63 = 4*b + 5*p. Solve 0*y = -4*y - b for y.
-3
Let q = 832 - 807. Solve 3*o + q = -2*o for o.
-5
Let g = -242 - -262. Solve 12 = g*z - 24*z for z.
-3
Let m be 0/(2 - 4/1). Let y(s) = -6*s**3 + 2*s**2 - 2*s + 1. Let o be y(1). Let v(c) = c**3 + 5*c**2 + 3. Let d be v(o). Solve 0 = -w - m + d for w.
3
Suppose -5*w - 43 = -4*s, -44*w + 33 = 3*s - 48*w. Solve 4 = -f + s for f.
3
Suppose -2*p - 4*v - 10 = 0, 3*p + 5*v = 3*v + 1. Let x(h) = -h**2 + h - 2. Let i be x(p). Let s = -4 - i. Solve -8 = -2*q + s*q for q.
-4
Let h(a) = 10*a**2 - 48 - 9*a**2 + 0 - 5*a. Let y be h(-5). Solve 0 = -3*m - 1 - y for m.
-1
Suppose 0 = -m - 5*c + 3*c + 34, 0 = -5*m + 3*c + 131. Solve 27*t = m*t - 1 for t.
1
Let p = 99 + -95. Solve p*n + 8 = 8*n for n.
2
Let i be 6 + (8*18/12)/(2/(-1)). Suppose -y + 7 = -0*y. Solve -5*l - y - 3 = i for l.
-2
Let m(l) = l + 13. Suppose 3*p = -p + 64. Let n = p + -29. Let x be m(n). Solve x*s = 2*s - 4 for s.
2
Let t = 1845 - 1823. Solve -t*f - 17 - 5 = 0 for f.
-1
Suppose -15 = 5*n - 30. Solve k = 2*k - n for k.
3
Let t = 10 + -7. Let v(y) = -2*y - 46. Let o be v(-25). Suppose u + t = o*u. Solve 3*c + 2 = -u for c.
-1
Suppose 6 = 6*t - 4*t. Suppose t*g = -2*g. Solve g = 6*q - 2*q for q.
0
Let z be (-231)/(-8) - (-33)/264. Solve 4*o + 9 - z = 0 for o.
5
Let n be 2/5 + 126/35. Let z(r) be the second derivative of r**4/12 - 7*r**3/6 + 5*r**2 + 2*r. Let o be z(5). Solve -p + n*p = o for p.
0
Let a be 9/(-15) + 54/15. Let q be (18 - 2/(-1))/(3/a). Solve d + q = -4*d for d.
-4
Suppose -4*m - h = -63, 0 = m + 50*h - 51*h - 12. Let k(a) = -a**3 + 6*a**2 + 2*a - 8. Let l be k(6). Solve -l*d = d - m for d.
3
Let q be (24/18)/((-1351)/(-168) + -8). Solve -r = -9*r + q for r.
4
Suppose -c + 5*c = 48. Suppose 0 = 3*i + 4*l - 34 + c, 0 = -4*i + 3*l + 46. Solve 0 = -5*y + i - 0 for y.
2
Let z = 61 - 53. Suppose 16 = -3*i - 5*m, -z = -i + 2*m - m. Solve i*k - 2*k - 1 = 0 for k.
1
Let u = 2 + 0. Let y = 85 - 84. Solve u*d = -3 + y for d.
-1
Suppose -4*s - 25*x + 22*x + 9 = 0, -4*s + 3*x + 15 = 0. Solve -s*c = 44 - 50 for c.
2
Suppose -4*h + 103 = -5*m, 0*m - 3*m - 63 = -2*h. Let l = m - -50. Let j = l + -19. Solve 3*d = d - j for d.
-4
Suppose 4*v - 27 = 5. Solve -4*d + v = -0 for d.
2
Suppose 4*s + 16 = 52. Let t be (2/(-7))/((-1)/7). Let o = s + t. Solve 3*f = -1 - o for f.
-4
Let c be (-110)/(-5) + 3/1. Suppose -2*n - 35 = -7*n - 3*r, -5*n = r - 25. Solve 0 = p + n*p - c for p.
5
Let q(t) = 16*t - 6. Let i be q(1). Suppose g = -4*g + i. Solve -2*r - 12 = g*r for r.
-3
Let k(n) = 2*n**2 - 2*n - 81. Let c be k(7). Solve -7*l = -c*l - 8 for l.
2
Suppose 0 = -24*k + 12*k + 120. Solve k*p - 15*p = -5 for p.
1
Suppose -183 - 42 = -5*k. Let x be 10/8 + k/60. Solve -c - 4 = -x*c for c.
4
Let w = 8 - 1. Suppose -2*g = -g + w. Let u = g + 9. Solve i = -0*i + u for i.
2
Let j(l) be the second derivative of l**3/6 + l**2 + l. Suppose 0 = w - 3*z - 14, 0*w = -4*w + 4*z + 24. Let g be j(w). Solve -x = 3*x - g for x.
1
Let v = -345 + 348. Solve 0 = v*d + 9 + 6 for d.
-5
Suppose 131 = 40*g - 69. Let l = 3 - 3. Solve 0 = -l*p + g*p + 25 for p.
-5
Suppose -14*u - 216 = -32*u. Solve 3*x = -3*x + u for x.
2
Let b be ((-12)/(-14))/(129/602). Let w(h) = -6*h**2 + 2*h + 6. Let p(c) = c**2. Let i(z) = -5*p(z) - w(z). Let x be i(b). Solve -4*u = -x*u for u.
0
Suppose -b + 7 = 2*y, b - 9*y + 8*y - 16 = 0. Solve -b = 7*z + 22 for z.
-5
Suppose -10*y = -6*y + 16, 5*y - 30 = -5*u. Solve 2*k = -0*k + u for k.
5
Let d(k) = k + 13. Let u(a) = -a - 13. Let p(o) = 6*d(o) + 5*u(o). Let i be p(-8). Solve -4*g = 1 - i for g.
1
Suppose -2*z - 4 = -12. Suppose 4*a - 17 = 5*a + 4*t, 5*a = z*t + 11. Let f(y) = -17*y. Let x be f(a). Solve -x = 4*w + 3 for w.
-5
Suppose 7*g - 6*g - 6 = 0. Let a be -6 + g - -3*1. Suppose a*p - 5*w = 5, 5*p - w - 10 = 13. Solve 2*y = 3*y - p for y.
5
Let t(y) = 0*y**2 - 3*y + 17 + 2*y + 3*y**2 - 4*y**2. Let v be t(-4). Let m(c) = -c - 2. Let l be m(-4). Solve -v*z = -l*z for z.
0
Let t be ((-3)/((-6)/(-88)))/(-2). Suppose -4*z = i - t, -2*z + 5*z = 4*i + 7. Suppose -z*l = 2*c - 4, 0*c - c = -5*l - 2. Solve 0 = -2*s - 4 - l for s.
-2
Let t(l) = 9*l**3 - 28*l**2 + 6*l + 1. Let q be t(3). Solve q*n - 30 = -5*n for n.
2
Let b be (28/(-35))/(3/(-15)). Suppose -p = 0, -5*i = -b*i + 4*p + 5. Let q be 0*(i - -3 - -1). Solve q = -0*r - 2*r - 4 for r.
-2
Let s be (19 + -24)*12/(-15). Solve 0*r = -s*r - 8 for r.
-2
Let h = -3 - -3. Let k = 114 - 110. Solve -4 = -k*o - h for o.
1
Let i = -224 - -225. Solve 0*k = k - i for k.
1
Let r = 1 + -1. Suppose r = 4*w - 12 - 0. Let m be (-2)/(-6) - 1/w. Solve m = i + 1 + 1 for i.
-2
Let n(q) = -17*q + 383. Let s be n(22). Solve -4 = -s*m + 41 for m.
5
Suppose 2*b = -4*c - 3*b + 494, -3*b = -6. Let u = c - 115. Let m be -1 + 1 + (3 - 1). Solve -m*z - u = -0 for z.
-3
Let z(a) = a**3 - 31*a**2 - 34*a + 67. Let d be z(32). Solve 5*h + d*h = -32 for h.
-4
Let y(n) = n**3 - 6*n**2 + 12*n - 14. Let l = 103 - 99. Let z be y(l). Solve 0 = z*i - 0*i for i.
0
Let t be -1 + -2*(-12)/8. Suppose 3*n - 14 = t*n. Let d be (4/n)/((-2)/(-14)). Solve d + 3 = -i for i.
-5
Let f be 6 - (2 - 3) - -1. Let g be (-40)/(-32) + 6/f. Let y be g + (-2)/1 + 4. Solve y*o - 3 = 5 for o.
2
Let j(k) = -7*k + 140. Let l be j(20). Solve l = 4*w + 3*w for w.
0
Let p be (-26 + 24)*29/(-2). Solve 26*i - 3 = p*i for i.
-1
Let t(h) = 4*h + 72. Let g be t(-18). Let w be (g/3)/(2 - 4). Solve 0 = -3*p - 3 - w for p.
-1
Suppose -12*n = -8*n - 20. Suppose -z - 6*t - 14 = -t, 5*z = -n*t + 30. Solve -5*d - z - 4 = 0 for d.
-3
Suppose -107*k + 110*k = 81. Suppose -18 = -5*l + k. Solve -6*z + l = -3*z for z.
3
Suppose -6*f = -8889 + 8805. Solve f*j + 0*j + 14 = 0 for j.
-1
Suppose 11 - 55 = -11*k. Solve k*r + 7 = -5 for r.
-3
Suppose 3*y + 18*y = 0. Solve -5*m - 2 - 8 = y for m.
-2
Let f = 58 + -49. Suppose -10 = -7*l + f*l - 4*g, -10 = -5*l + 3*g. Solve l*j - 7 = 18 for j.
5
Let y be (-52)/(-6) - 7/(-21). Let t be y + (4 - 8) + -1. Solve -t*k = -0*k for k.
0
Suppose 10*g + 6*g = 192. Suppose -42 = -5*q - g. Solve q - 10 = n for n.
-4
Suppose 0 = -2*n + n + 2. Suppose -n*o = 2 - 10. Solve 0*f - o = f for f.
-4
Suppose 4*l - 2*l - 8 = 0. Suppose l = -k + 6. Let v be -2 + 8/k + 14. Solve -3*o - v = -1 for o.
-5
Let g = -18 + 16. Let c(r) = -11*r - 2. Let y be c(g). Suppose 8*v - y = 4*v. Solve -z + v*z = 8 for z.
2
Let d(w) = w**3 - 8*w**2 - w + 18. Let n be d(8). Solve -n = -2*o + 7*o for o.
-2
Let t = 46 + -42. Suppose 64*z - t = 60*z. Solve u + z = -0*u for u.
-1
Suppose -5*l = -21*d + 22*d - 17, -5*l = -d - 23. Solve -8 - l = -6*b for b.
2
Let d be (-891)/81 - (0 + -29). Solve 14 - d = j for j.
-4
Let n = 34 - 52. Let f = n - -37. Suppose -c = -0*w - 2*w - 1, 0 = -3*w + 5*c - f. Solve -w*q = -0*q for q.
0
Suppose 3*g + f - 6 - 2 = 0, 0 = -4*g + f + 6. Suppose 2*c = -g*q - 3*c + 1, 4*q = 3*c + 15. Let x be (2 - -1) + (-3)/q. Solve 4*i - x = 6 for i.
2
Suppose -d + 5*d - 212 = -4*u, 4*d + 3*u - 211 = 0. Solve -64 = -4*i - d for i.
3
Let q = -4 - -20. Let t(j) = j**2 - 3*j + 4. Let o be t(3). Suppose x = -o*v + 8, -2*v - 5*x = -q - 6. Solve 2*w + v = 3 for w.
1
Suppose -o = 4 + 3. Let g be (2 - (0 - -1)) + o. Let b = -6 - g. Solve b*q = -3*q for q.
0
Suppose 327 = 47*b - 1083. Solve -17*i = -b*i for i.
0
Let n(o) = o - 8. Let g be n(6). Let v be (5 - 1)*(-2)/g. Solve -9 = -v*b + 11 for b.
5
Let