 8. Let h be k(12). Solve -h*d + 5*d = 0 for d.
0
Let s = 39 - 35. Solve c = 2*c + s for c.
-4
Suppose 5*x = 2*x - 6. Let d = x - -2. Solve d = 4*s - 3*s for s.
0
Let t = -2 + 5. Let y = 2 + t. Solve 3*a - 7 = y for a.
4
Suppose 0 = -s - 0*s - 2*h + 7, -2*s = 3*h - 13. Suppose -5*m + 2*u = -11, -3*m = m + 3*u + s. Solve 5*i = 4 + m for i.
1
Suppose 0 = 7*u - 4*u. Solve -4*p + 4 - 16 = u for p.
-3
Let f be (-2)/(16/(-14) - 1/(-7)). Let n(z) = -z**3 - 3*z**2 - z + 3. Let u be n(-3). Solve f*h - u = 4*h for h.
-3
Let y(c) = c**2 + 13*c + 7. Let j be y(-13). Suppose -4*d + 5*v = 33, 3 = v + 2*v. Let t = d + j. Solve 2*g - 3*g = t for g.
0
Suppose -w = -2*k, 3*w + 5*k = 4*w. Suppose -f = -w - 2. Solve f*u = 3*u for u.
0
Suppose 3*y + 22 - 76 = 0. Let h be 4/y - 75/(-27). Let i = 3 - h. Solve 3 = w - i*w for w.
3
Suppose 0*i - 3*i = -3*l - 9, -2*l = 2*i - 18. Let s(y) = -y**3 - 3*y**2 + 4*y + 5. Let c be s(-4). Suppose -c*w + i = -4*w. Solve -z + 4*z = -w for z.
-2
Let q(a) = -a**3 + a. Let p(r) = -5*r**3 + 4*r + 1. Let h(l) = p(l) - 6*q(l). Let g be h(2). Solve -5*s - 5 - g = 0 for s.
-2
Let v be (-1 - (-21)/27) + 16/72. Solve -5*l + 0 + 10 = v for l.
2
Let m be (-8)/16*(2 - 2). Solve m = -s - 5 for s.
-5
Suppose -4*m - 34 = 5*a, -m = 4*a + 20 + 5. Let j be -15*(-2 + (-10)/a). Solve -3*i + 4 + j = 0 for i.
3
Let j = 63 + -63. Suppose -1 = k + 1. Let n(y) = 4*y**2 - y - 1. Let v be n(k). Solve 5*d - 3 - v = j for d.
4
Let q(j) = -9 + 8*j - j**2 + j**3 - 6*j**2 + 1. Let m be q(6). Let b = m - 4. Solve b*z = -4*z - 12 for z.
-3
Suppose 6*k - 8 = 2*k. Let c = -49 + 50. Solve -j - c + k = 0 for j.
1
Let i(f) = -f**2 - 5*f - 3. Suppose 2*t = -2*t - 12. Let d be i(t). Solve 2 + d = -5*x for x.
-1
Let p = 2 + -12. Let x be (-2)/(-6) - p/15. Solve -3*m + x = 10 for m.
-3
Let g(m) = m**3 - 4*m + 3. Let o be g(3). Let h be (-2)/(-3) - 12/o. Solve -p + 4*p = h for p.
0
Suppose 0 = 3*w + 12, 0*u - 5*w - 8 = 2*u. Solve 4 = 5*i - u for i.
2
Suppose 16 + 8 = 4*w. Suppose -i + w*i = 55. Solve 4*t + 5 + i = 0 for t.
-4
Suppose 2*o = -o. Let k = o - -2. Suppose 4*p - k*p = -z + 6, 3*z = 5*p + 7. Solve -17 = -z*m + 3 for m.
5
Let t = 4 + 2. Solve 2*x = 5*x - t for x.
2
Suppose 4 = -2*m, 6*p - 18 = p + 4*m. Solve p*u = u for u.
0
Let x be (3 - 0) + 1/(-1). Suppose 2*j - p + x = 0, p = 4*j - 0*j + 2. Suppose j = -h - 3*h. Solve h = a + 5 for a.
-5
Suppose 3*m - 36 = -4*k + 4*m, k = -2*m. Suppose 4*p + 3*h = 18, k = 5*p - p - 2*h. Solve -4 = -p*t - t for t.
1
Let k = 11 - 8. Suppose -2*b = -5*q + 8, -3*q = 2*q + 5*b - 15. Solve 7 + q = k*u for u.
3
Suppose 5*l = -5*c + 5 + 15, -2*l + 3*c = 2. Let j = 77 - 77. Solve l = s - j*s for s.
2
Let g(f) = 11*f - 1. Let c be g(2). Suppose -c = p - 2*p. Suppose 8*k = 3*k - 2*l + p, l = 2*k - 12. Solve -28 = -k*u - 8 for u.
4
Suppose -7*t + 2*t + h = -21, -3*t + 3*h = -3. Solve t*b = 4*b - 4 for b.
-4
Let k = 4 + -28. Let t = 27 + k. Solve m + 1 = t for m.
2
Let m = -5 - -8. Suppose m*s = -2*s + 125. Solve -6*f = -f + s for f.
-5
Suppose -11 = -2*g - 3*x, 0 = -2*g - 5*x + 6 - 1. Let c = 12 - g. Solve 9 - 1 = c*o for o.
4
Suppose 0 = -2*o - z + 9, 0*o - 2*o - 3*z + 19 = 0. Suppose o*t - 6*t + 24 = 0. Solve -3*b - 9 = -t*b for b.
3
Let n(y) be the second derivative of 0 - 4*y**2 - 2*y + 1/3*y**3. Let p be n(6). Solve -1 = p*k - 9 for k.
2
Let k be (-1 - -2)/((-6)/(-12)). Suppose k*l = -0*l. Solve 5*d + l*d = 20 for d.
4
Suppose s + 10 = -0*s. Let z = 20 + s. Let r be (-12)/z*(-25)/10. Solve f + 0 = r for f.
3
Suppose o - 2*r - 2 = 0, -6*o = -4*o + 2*r + 2. Let d(w) = 3*w**3 - 2*w**2 + 2*w - 1. Let k be d(1). Let f = -4 + 6. Solve -k*j + f = -o for j.
1
Let w be (21/(-14))/((-3)/4). Suppose s = w*i + 2, 3*s + 0*s = 12. Solve -2*p = i + 3 for p.
-2
Suppose -5*l - 3 = 4*c + 1, -l + 4 = 2*c. Solve -2*t = -c*t + 8 for t.
4
Suppose -6 = -2*u, 4*j - 2*u + 8 = 50. Solve -d + j = 2*d for d.
4
Suppose -3*u - u = 0. Solve u*p + 9 = 3*p for p.
3
Let j be (3 - -11)*12/8. Let s be ((-2)/6)/((-2)/18). Suppose -s = -2*o + j. Solve -c - 3*c + o = 0 for c.
3
Let p(w) = -3*w - 16. Let z be p(-6). Solve 4*u = z*u - 6 for u.
-3
Let q(p) = -3*p - 4*p**2 + p + 3*p**2 + 4 + 0*p. Let x be q(-3). Solve -i + 0 = -x for i.
1
Let m be (3 + 12)/(3/2). Let x = -10 + m. Solve x = 4*a + 17 - 5 for a.
-3
Let s(y) = -y - 3. Let h be s(-11). Solve -2*g = -0*g - h for g.
4
Let v = -7 + 3. Let b be 3/v + (-216)/(-32). Let l be (b/8)/((-1)/(-4)). Solve -12 = l*u + 3 for u.
-5
Let s(r) = r**3 + 5*r**2 + 3*r - 3. Let x be s(-4). Solve 5 = -t + x for t.
-4
Let h(o) = -2*o - 34. Let t be h(-18). Solve 1 + t = -m for m.
-3
Let y = -11 - -13. Solve -m + y*m = -2 for m.
-2
Suppose 13 = 4*f + 5. Let u(q) = f*q - 2*q + q**2 + 4 + 3*q. Let t be u(-3). Solve -t*s = 4 - 0 for s.
-1
Suppose 2*j + 20 = 7*j, 2*d - 14 = -4*j. Let r be (2 + d)/(2/4). Solve -4*m - r = -6 for m.
1
Let g(o) = o**2 + 2*o - 22. Let x be g(4). Solve x*b = 4*b - 2 for b.
1
Suppose -3*f = 2*n - 16, 3 = 2*f - n - 3. Solve 33 - 13 = f*w for w.
5
Let r be (-2)/6 - 10/(-3). Suppose r*l - 2*l = 1. Let f(o) = 5*o**2 + 2*o - 2. Let u be f(1). Solve 4 + l = u*z for z.
1
Let c(a) = -3*a - 10. Let x be c(-5). Let s = x + 0. Solve -s*i - 5 = -0*i for i.
-1
Let a(y) = 8*y**2 + 2*y + 1. Let n = -5 - -4. Let j be a(n). Solve -4*t = -j*t for t.
0
Let a(d) = d**2 + 7*d + 2. Let n be a(-7). Suppose 7*h = n*h + 25. Solve 4*u + 15 = -h for u.
-5
Let m be 30/7 - (-4)/(-14). Suppose u = 3*v + 8, 5*u - m*v - 40 = v. Let w(k) = k**3 - 3*k**2 - k + 3. Let r be w(3). Solve 2*n + r = u for n.
4
Suppose -5*c + 75 = -0*c - u, c - 4*u = 34. Let s be (3 - 10/4)*c. Solve -s*i = -4*i + 12 for i.
-4
Suppose 1 = -h + 15. Suppose 0 = p + 3*s - h, 3*p - s + 8 = 4*p. Solve -2*k - 1 = p for k.
-3
Suppose -3*j = -8 - 4. Solve -2 = -3*o + j*o for o.
-2
Suppose -3*d + 18 - 3 = -5*z, -4*d - 2*z = -20. Let i = -21 - -21. Let t = d + i. Solve 4*n + t = -n for n.
-1
Let g(v) = -v**3 - 4*v**2 - 5*v - 2. Let m(y) = -y**3 - 5*y**2 - 3*y + 1. Let u be m(-4). Let p be g(u). Solve -3*x = p + 5 for x.
-3
Let n(i) = -i**2 - 15*i - 18. Let h be n(-14). Let b be ((-36)/(-2))/(0 - -1). Let l be b/h*(-12)/6. Solve -c = 2*c - l for c.
3
Suppose 3*w = -4*k - 0*w + 15, 2*w = 4*k + 10. Suppose 2*b - 8 = -k*b. Solve b*z + 25 = 9 for z.
-4
Let r(n) = -n + 22. Let m be r(14). Solve 0 = 5*b - 7 - m for b.
3
Let p = -13 - -10. Let k be (-3)/3 - p - -1. Solve -c + k = -0 for c.
3
Let k(c) = -c**2 + 6*c + 27. Let i be k(-3). Solve -q - 1 + 0 = i for q.
-1
Let h(x) = 4*x + 24. Let c be h(-6). Solve 1 = y - c for y.
1
Let b(a) = -23 + a**2 - 16*a**2 + a + 7*a - 5*a**2. Let x(h) = 7*h**2 - 3*h + 8. Let n(p) = -6*b(p) - 17*x(p). Let j be n(-2). Solve 3 = -j*m + m for m.
3
Suppose 0 = b + 5*t + 12, b + 2*t + t = -6. Solve 0 = -b*a + 4*a + 5 for a.
-5
Let s(l) = 9*l + 2. Let b(w) = -10*w - 2. Let p(a) = -3*b(a) - 4*s(a). Let y be p(-1). Solve 4*k + 16 + y = 0 for k.
-5
Let d = -9 + 12. Solve -f = 1 + d for f.
-4
Let b be 70/15 + 2/6. Let z(v) = -9*v - 3. Let c = -12 - -10. Let g be z(c). Solve b*w - g = -0*w for w.
3
Suppose 4*l - 2*l = 0. Let i(t) = t**2 - t. Let q be i(l). Solve q = 3*m - 1 + 13 for m.
-4
Let f(x) = 0*x - 3 - x - x**3 + 4. Let v be f(0). Suppose -2*b - v + 7 = 0. Solve 2*z + 2 = b*z for z.
2
Let d be (-1)/(-3) - 57/9. Suppose -4*n = s - 3*s + 42, 0 = 2*n + 3*s + 33. Let j = d - n. Solve j*c - 2*c - 12 = 0 for c.
3
Suppose o - 2*w = 3, -o = 5*w - 3 - 7. Let j be 2/(-9) + (-65)/(-9). Let d be 26/j - (-2)/7. Solve -21 = o*i + d for i.
-5
Suppose 0 = 5*j + 2*g - 9, -3*g = -g - 4. Let m be 0 + (j + 1)/2. Solve 2*h = h - m for h.
-1
Suppose 0*c = 5*v - c - 566, 5*v - 4*c - 554 = 0. Let r be v/24 - (-2)/8. Suppose -4*o + 7 = -r. Solve -o = -5*t + 2 for t.
1
Let d(v) be the first derivative of -v**2/2 - 9*v - 3. Let p be d(-11). Solve 0 = -p*z + 4 for z.
2
Let t(j) = -j**3 + 11*j**2 - 9*j - 5. Let v be t(10). Solve 0*z - v*z + 5 = 0 for z.
1
Let g(l) = -2*l + 1. Let m be g(-1). Suppose -m*r = -5*b + 2, -3*b + 2 = -2*r + 1. Suppose 0*u - r = -u. Solve -2*h + u = 5 for h.
-2
Let q = 1 + -1. Suppose -6 = t + t - 4*v, 0 = -4*t - v + 6. Let g be (13 + -4 + t)/2. Solve q = -g*z + 4 + 6 for z.
2
Let s = 8 + -4. Suppose 5 + 6 = -3*d - s*y, 4*y + 17 = -d. Solve 0 = -2*t - d*t for