- 8. Suppose 19 = 5*l - c - 6, 5*l = -2*c + 10. Let x = -1 + l. Solve g*h = x*h + 2 for h.
2
Let x = 0 - 0. Let z = -5 + 13. Suppose -2 - z = -2*t. Solve x = -3*v - t - 10 for v.
-5
Let g be 16/9 + 2/9. Suppose -2*f + m = -8, f = g*m + 2*m + 4. Solve -4 = f*u + 8 for u.
-3
Let o be (-22)/(-44)*(2 - 0). Solve r + o = 2 for r.
1
Let y(m) = -m**2 - m. Let q(b) = -b**2 + 10*b + 9. Let w(l) = -q(l) + 2*y(l). Let o be w(-11). Solve 7 = -o*i - 1 for i.
-4
Let j = -6 - -4. Let b be 2*(3 + 5/j). Let v be -1 - (-2)/(b + 1). Solve v = 2*r - r for r.
0
Let i be (15/4)/((-9)/(-24)). Suppose w - 5*w - 12 = 0. Let m(h) = -h**3 - 3*h**2 + h + 3. Let g be m(w). Solve i = 2*s - g for s.
5
Let i = 6 + -10. Let g be i/6 + (-84)/9. Let k = -4 - g. Solve 20 = k*b - b for b.
4
Let j be (4/14)/(3/21). Suppose t + j*t = 0. Suppose -4 = -4*u + 2*u. Solve u*d + t*d = 0 for d.
0
Suppose -28 = -3*q + 8. Suppose 0 = -4*z + q + 68. Solve 0 = n + 3*n - z for n.
5
Let y = 17 + -17. Solve -2*q = -y*q - 8 for q.
4
Suppose o + 2*z = -10, -4*z + 11 = -3*o - 19. Let n be 8/o - (-204)/30. Solve -n + 2 = m for m.
-4
Suppose -f = 5*h + 2*f - 11, 4*f = 3*h + 5. Solve 0 = -2*s + s + h for s.
1
Suppose 5*q + h - 174 = 5*h, 4*q - 4*h = 140. Let y be (q/4)/(5/10). Suppose 2*m + 12 = 4*k + 6*m, 4*m - y = -5*k. Solve 1 = -k*s + 6 for s.
1
Suppose -4*u = -2*u - 20. Solve -7*y = -2*y - u for y.
2
Let q(s) = 2*s**2 + s - 1. Let y be q(1). Let o(p) = p**2 - 5*p + 2. Let h be o(5). Suppose -4 = -h*j - y. Solve j = -c - 0 for c.
-1
Let d(h) = -h**2 + 10*h + 8. Let q be d(10). Suppose 4*b + 18 = 6*b. Let p = b - 7. Solve 2*s = p - q for s.
-3
Let b be 2/((3 - 0)/6). Suppose 0*o - b*o = -48. Suppose 0*h + 5*h = 0. Solve h = -0*q + 3*q - o for q.
4
Suppose v - x + 2 = 3, 4*v + 5*x - 40 = 0. Suppose 4*q - v = -q. Solve s + q = -2 for s.
-3
Suppose -2*x + 20 = 2*x. Suppose -3*p + 2*f + 57 = -f, -p + 31 = -x*f. Solve g + 3*g = p for g.
4
Let s(y) be the first derivative of -y**3/3 - 7*y**2/2 - 4*y + 2. Let x be s(-7). Let l(p) = -p**3 - 3*p**2 + 4*p + 2. Let k be l(x). Solve t = k*t for t.
0
Let c be (2 + -5)/(6/4). Let f be (7/(-2))/(1/c). Suppose -2*h - 5 = -3*h. Solve h + f = 4*l for l.
3
Let f = -142 - -142. Solve f = -4*j - 5 + 1 for j.
-1
Suppose -11*p = -112 + 13. Solve -3*n - p = -0*n for n.
-3
Suppose -37 = -2*m + 7. Suppose -y + u + 1 = -1, -3*u = 4*y - m. Suppose 3*x - 2 = 13. Solve 4*l - x*l = -y for l.
4
Let r be (-2)/15 + 1981/(-105). Let k = -17 - r. Solve k = d + 3 for d.
-1
Let s be (1/3)/(4/36). Solve -c - s = -0 for c.
-3
Suppose 0*a = a - 2. Let y = 5 - 3. Let t = 19 - 13. Solve -y*k - a = -t for k.
2
Let b be 0/(0 + 3 + -5). Suppose -4*l - u = -14, -2*l + 4*u + 7 = 3*l. Solve -y + l + 0 = b for y.
3
Suppose d - 2 = -0*d. Suppose -d*f - f = -18. Solve 0 = f*y - y + 25 for y.
-5
Suppose 0 = 2*v - 3*v - v. Solve v = -a - 1 - 2 for a.
-3
Suppose 16*c - 18 = 10*c. Suppose -5*j = d - 19, -4*d + 8 = 4*j - j. Solve o - j = c*o for o.
-2
Let f = -68 - -70. Solve f*r - r = 5 for r.
5
Let r be (0 + 0)/(2 + -1). Let x be -1 + (1 - (-2 - r)). Suppose -a + 11 = x*h, 4*h - 12 = -a + 7. Solve 0 = -h*f + 3 - 7 for f.
-1
Suppose -14 - 4 = -q + 3*t, 3*q - 39 = 4*t. Let s = -6 + q. Suppose 3*l - s - 3 = 0. Solve h - l = 3*h for h.
-1
Suppose 36*z - 38*z = 0. Solve -2*d - d = z for d.
0
Let t be 0/2*1/(-1). Suppose t = -7*m + 3*m. Let y be 0 + m + 0 - 0. Solve y = 3*r - 0*r + 9 for r.
-3
Let w(j) = j**3 + 8*j**2 - 2*j - 6. Let u be w(-8). Solve -6*i = -8*i + u for i.
5
Suppose j + 4*j - 9 = -l, -j + 4*l + 6 = 0. Let r = 11 - j. Suppose m = 5*k - 8 - r, -4*k - 5*m + 31 = 0. Solve 0 = -k*a + 2*a for a.
0
Let z = -56 + 59. Let j be (-43)/(-2) - (-1)/2. Let w = -7 + j. Solve -3 = z*l - w for l.
4
Let o = -45 - -49. Solve 2*d = o*d for d.
0
Suppose n = -n + 4. Suppose -n*d + 1 = -d. Solve d = -2*h - 9 for h.
-5
Suppose 4*c = -2*b - 6, -c = -0*b - b + 6. Let k be 0*(b + -1 + -1). Solve 2*m + 2*m + 4 = k for m.
-1
Let d be -1 - -2 - -2*1. Let w = -35 + 23. Let c be (d*-1)/(w/16). Solve 0 = 2*x - 4*x - c for x.
-2
Let c be (0 + 0)*(-1)/(-2). Suppose c = -i + 4*i. Let l = 7 + -4. Solve r = l - i for r.
3
Let y(k) = k**3 + 5*k**2 + 5*k. Let r be y(-4). Let o be (r/8)/((-1)/2). Suppose -u + o = -3. Solve 0 = -w + u*w + 9 for w.
-3
Suppose 5 + 5 = 2*k. Solve -3*j - 10 = -k*j for j.
5
Suppose -59*s = -63*s + 8. Solve -s*p = p for p.
0
Let w(x) = -x**3 - 13*x**2 + 32*x + 37. Let o be w(-15). Solve 4*q + o = -13 for q.
-5
Suppose -4*u - 5*w + 13 + 13 = 0, 2*u + 4*w - 16 = 0. Solve u = 5*s - 11 for s.
3
Suppose 0 = -2*b - 3*i - 1, -b - 4*b + 23 = -i. Solve 1 - b = h for h.
-3
Suppose 4*r - 8 = 2*n - 2, 3*r + 3*n = -9. Let y be (-2)/6 - 21/(-9). Suppose 3*d - 3*h = y*h - 4, 2*d = 3*h - 2. Solve r*f = d*f for f.
0
Let d(x) = -x**3 - 5*x**2 - 6*x - 4. Suppose -l + 10 - 1 = -q, 4*l - 20 = 0. Let m be d(q). Suppose 2 = -2*z + 3*z. Solve -m*k + z*k = 0 for k.
0
Let d be (-1)/(-2)*30/3. Suppose 5*u - 2*m = m + 15, -2*u - m = d. Suppose -s + 20 = 4*s. Solve u = s*t + 2 + 2 for t.
-1
Let k(o) = o**2 - 1. Let h be k(1). Solve h + 4 = -2*r for r.
-2
Suppose 5*g - 20 = 5. Let h(y) = -4 + 1 + 4 - g*y. Let k be h(-1). Solve k*c - 25 = c for c.
5
Let a(d) = -d**2 - 5*d - 4. Let r be a(-4). Suppose -2*x - 17 + 53 = r. Let t be x*((-10)/4)/(-5). Solve -3*z + 3 = -t for z.
4
Suppose -3 - 1 = -2*m. Solve 2*l + m*l = 16 for l.
4
Suppose 0 = 4*v - 2*v - 48. Suppose -5*l + 5 = -4*t, 5*t = -4*l + 21 + v. Solve -3*p = 2*p + t for p.
-1
Let f be 2 + 5*(-4)/(-40)*30. Solve -r - f = -16 for r.
-1
Let f(n) = -n**3 - 18*n**2 - 17*n + 1. Let l be f(-17). Solve l = -x + 5 for x.
4
Let k be (-4)/((-3)/120*2). Suppose 2*z - k = -2*z. Suppose -x - 5 = -2*q + 2, 0 = -5*x - q + z. Solve -x*w + 6 = -9 for w.
5
Suppose -5*j + 9 = -11. Suppose j = p + 1. Solve -p = -3*h + 6 for h.
3
Let o(f) = -f - 3. Suppose 2*i + 8 = 0, -2*i = -4*g - 0*i. Let u be ((-1)/g)/((-1)/12). Let n be o(u). Solve -n = 5*b + 22 for b.
-5
Suppose 0 = -6*r + 7*r + 17. Let y = 20 + r. Solve y*t - 2*t = 5 for t.
5
Suppose 0 = -0*n + n - 4. Solve 8 + 0 = -n*u for u.
-2
Let m be (-6 - -2)/(-3 - -1). Let g be 7/((-21)/6) - -2. Solve g = -0*v + m*v for v.
0
Let z be (-1 + 2)*(1 + 14). Solve 0 = 4*p + z - 3 for p.
-3
Let g = 59 - 24. Let x be (0 - (-1)/5)*g. Solve -2 = 3*q + x for q.
-3
Let k = -16 + 19. Suppose k*o + 6 - 15 = 0. Solve -o*b - 6 - 6 = 0 for b.
-4
Let s(b) = -b**2 - 9*b + 11. Let v be s(-7). Solve 4*f = -f + v for f.
5
Let q = -2 - -3. Solve 0 = -f + q - 2 for f.
-1
Let l be (0 - 2) + -6 + 2. Let o be 48/8*(-2)/l. Suppose 5*p = -h + 1, -3 = -p - 2*h - 1. Solve o = -g - p for g.
-2
Let j be (3/(-2))/((-15)/50). Let v(t) = 0 - 5 + t + 3. Let l be v(j). Solve -c - l = -0*c for c.
-3
Let n(c) be the first derivative of c**2/2 - 10*c - 4. Let v be n(10). Solve v*q - 1 = q for q.
-1
Suppose -3*d + 13 = k, -4*d + 5*d - 19 = -4*k. Let f = -2 + k. Solve 2*b + 0*b + f = 0 for b.
-1
Let r = -4 + 6. Let k be (-2 - (-5 + r))*5. Solve -k*c + 25 = 5 for c.
4
Let q be (-36)/30*15/(-6). Let b(v) = -3*v - 2. Let y be b(-3). Solve q*w = y*w - 4 for w.
1
Let h(c) = -c**2 - 5*c + 2. Let u be h(-5). Solve 3*f + u*f + 20 = 0 for f.
-4
Suppose 2*w - 4*m - 11 = 17, -5*m = 3*w + 13. Suppose 0 = 2*x + w*k - 4, -5*k + 16 = 5*x + 1. Solve -g = 3*g + x for g.
-1
Suppose 2*o - 3*o + 135 = 5*d, 2*o = 0. Solve -d = 5*u - 2 for u.
-5
Suppose f - 10 = 4*u, f = -u - 6 + 11. Solve 0 = o + 2*o + f for o.
-2
Suppose -3 = -22*v + 21*v. Suppose 4*j = v*t - 15, 3*j + 4 = -2*t + j. Solve 0 = -2*d + t + 1 for d.
1
Let m(t) = 5*t**2 + t. Let j be m(-1). Suppose -42*g + 11*g = -62. Let p be ((-12)/10)/((-6)/40). Solve j*u - g*u = p for u.
4
Let f(k) = -k - 9. Let i be f(-9). Let p = i + 0. Let c = -5 + 8. Solve p*m = -c*m for m.
0
Let w(h) = h**2 - 10*h + 5. Let r be w(10). Solve -3*n = r - 17 for n.
4
Let k(q) = -4*q. Let b be k(-1). Suppose -3*c = -5*c + b. Solve -3 = 5*n + c for n.
-1
Let o = -16 - -9. Let s(i) = i**2 + 8*i + 7. Let j be s(o). Solve n - 4*n + 12 = j for n.
4
Let r = -4 + 11. Suppose -2*c - 2*h + 4 = 0, -2*h + r*h + 20 = 0. Suppose n = c*n - 45. Solve -3 - n = -4*t for t.
3
Let m(v) = v**2 + 7*v + 3. Suppose h + 10 = b, 2*h - 3*h - 2*b = 1. Let l be m(h). Solve 4*f = f - l for f.
-1
Suppose -4*n 