4). Suppose -r + h = -4. Suppose 4 = 2*a - n - 4, 0 = r*a + 4*n - 16. Solve i + 3 = a*i for i.
1
Suppose m - 17 - 3 = -4*b, -3*b = 4*m - 28. Solve b*n + 1 = 9 for n.
2
Let z(t) = 6*t + 14. Let y be z(-2). Solve -y = m - 5 for m.
3
Let z be (1 - 3)*3/(-6). Solve -z + 7 = -2*h for h.
-3
Let a(u) = u - 2. Let k be a(6). Suppose 2 + 2 = -2*i - f, 0 = 4*i - 2*f. Let q be i + 1/(1/9). Solve -6*d - q = -k*d for d.
-4
Let j = 3 - -8. Let c = -4 - j. Let r be c/(-4) - (-5)/20. Solve f + f = r for f.
2
Suppose -a - 3*a - 2*a = 0. Solve w + 2*w - 12 = a for w.
4
Let o(b) = b**2 + 6*b + 7. Let h be o(-5). Solve 5*g - h = 18 for g.
4
Let z be (-11 + 1)*4/(-8). Let g be 1 - -1 - 2 - -2. Suppose -3*u + g*f + 35 = 0, f + f + 44 = 4*u. Solve 6 = z*d - u for d.
3
Let o = 63 + -59. Solve -o*m - 9 = 11 for m.
-5
Let h be 22*(2 + 20/(-8)). Let d = 13 + h. Solve -2*w + 2 + d = 0 for w.
2
Let d = 17 + -16. Solve 3*y - 4*y = -d for y.
1
Suppose -3*t = 3*t - 12. Solve 0 = t*k + 2 for k.
-1
Let n be (0/(-1))/(1 - 2). Suppose n = 5*x - 0*x + 50. Let o(f) = -f**3 - 11*f**2 - 10*f + 12. Let d be o(x). Solve -g - d = 2*g for g.
-4
Let l = 32 - 23. Let x(z) = -z**3 + 9*z**2 - 6*z - 11. Let f be x(8). Suppose 2 = f*v - 18. Solve l = -s + v*s for s.
3
Let z(c) = 2*c - 6. Let p be z(5). Suppose -v - 3 = 5*h - 4, -4*h + 3 = 3*v. Let w(b) = b - 1. Let g be w(v). Solve -p*l = -g*l for l.
0
Let n = -10 - -1. Let g = 11 + n. Solve g*v = -v - 12 for v.
-4
Suppose -3*p - q = -0*q - 315, 4*q = 2*p - 196. Suppose -3*j - j = -p. Suppose -4*c + 5 = c. Solve c = 5*k + j for k.
-5
Let r = 4 + 0. Let k(x) = 2*x**3 - 3*x**2 + 2*x. Let m be k(1). Solve f + r = -m for f.
-5
Suppose 3*w + 6 = 0, 2*w - 2 = -3*b - 3*w. Solve 0 = 3*n - 5 - b for n.
3
Let h = 7 + -4. Let j be (-108)/(-9) + -1*1. Let d = 15 - j. Solve -h*k = -d*k for k.
0
Let r(d) = -d**2 + 5*d. Let o be (7/(-21))/(1/(-12)). Let i be r(o). Suppose 0 = -i*h + 5 + 15. Solve -h*b + 0*b = 0 for b.
0
Let z(h) = -4*h - 5. Let r be z(-2). Solve -w - r*w + 4 = 0 for w.
1
Let q(u) = -2*u - 1. Let h be q(-2). Suppose h*k + 4*w - 21 = 0, 4*k - 2*w = -7*w + 27. Solve k*t + 2*t - 25 = 0 for t.
5
Let h be (-230)/(-80) + (-1)/(-8). Solve -h*d = 2*d for d.
0
Let g(u) = u**2 + 2*u - 2. Let c = 2 + -5. Let y be g(c). Suppose 8*l = 4*l + 28. Solve l = -3*i + y for i.
-2
Let n = 13 + -13. Solve 0 = 2*q - n - 6 for q.
3
Let i(d) = -2*d + 1. Suppose 7*b = 2*b - 35. Let c be i(b). Solve -3*q + c = 3 for q.
4
Suppose -2*q = -2 - 2. Solve 0 = q*o - 0 - 8 for o.
4
Let w be (-1)/(1 + 6/(-4)). Suppose 3*k + 1 = -2*z + w*k, -5*z + 15 = -k. Solve -z*y - 3 = 1 for y.
-2
Suppose -3*c - 21 = 4*b + 33, -c = 5*b + 18. Let d be c/6 - (1 - 7). Solve d*i + 3 = -0*i for i.
-1
Let b(m) = -m**3 - 10*m**2 - 9*m + 3. Let c be b(-9). Solve -2 = -5*n + c for n.
1
Suppose 3*v + 2*v - 45 = 3*l, 4*l + 16 = 3*v. Suppose 13*b - v*b = 3. Solve 2 = -b*c + 5*c for c.
1
Let i be 4/(-18) + 58/18. Suppose 3*z + 3*d = -2*z + 6, 4*z = -5*d - 3. Solve -z*k - 6 + i = 0 for k.
-1
Let b = 11 - 7. Let p(t) = t**2 + 9*t - 7. Let r be p(-10). Solve -r*i + 10 = b for i.
2
Let h = 2 - -3. Solve -5*g = -4*g - h for g.
5
Suppose 19 = 3*t - t + 5*s, 5*t + 2*s = 58. Let c = -12 + t. Solve m + 2 + 3 = c for m.
-5
Let g(p) be the second derivative of 19*p**5/20 + p**4/6 - p**3/3 + p**2/2 + p. Let x be g(1). Solve 0 = -8*d + 3*d - x for d.
-4
Suppose -4*t + 4 = -3*t. Solve -5 - 11 = -t*u for u.
4
Suppose 4*c = 8 - 24, z + c = 1. Solve o = z*o for o.
0
Let t be (-2)/(-4) - 13/(-2). Solve t - 1 = 2*r for r.
3
Suppose 0*j + 4*j - 4 = 0. Suppose j = -2*q + 11. Suppose q*l - 92 = -2*w + 14, -4*l - 5*w = -95. Solve f - l = -4*f for f.
4
Suppose 5*g = 9*g - 32. Solve -g = 8*h - 4*h for h.
-2
Let i(a) = 2*a + 4*a + 2*a. Let b be i(1). Solve 3*z - b = -23 for z.
-5
Let a be (3 - 78)*(-12)/15. Suppose 2*d + 22 = d - 5*s, -20 = 4*s. Suppose -a = -d*m - 12. Solve -u - 3*u = m for u.
-4
Let n = -1 + 1. Let c = 1 - n. Let o be 2/(-6)*c*-12. Solve 5*t + 11 = -o for t.
-3
Let f = 10 + -7. Solve 0*z = -f*z - 9 for z.
-3
Let z(h) = -4*h + 5. Let i be z(0). Solve -i = -4*k + 3 for k.
2
Let o(u) = -u + 9. Let r = 21 + -12. Let l be o(r). Solve g + g + 8 = l for g.
-4
Suppose 3*b + 10 = u - 5, -5*b + 5*u - 35 = 0. Let m be -2*(2/b)/(-1). Let j be 8*(m + (-9)/(-6)). Solve j*v - 20 = -v for v.
4
Let a(t) = 3*t**2 + 2*t - 3 - t**3 + 0*t**2 + 0*t**3. Let k be (-6)/21 - 23/(-7). Let f be a(k). Solve 10 = -2*z - f*z for z.
-2
Suppose j - 13 = 1. Solve -2 = 3*t - j for t.
4
Let h(r) = -r + 28. Let m be h(21). Solve m - 3 = -b for b.
-4
Suppose 5*o + 23 = 4*v, -o = -5*v - 2*o + 7. Let s = -4 + 4. Solve s*n = v*n for n.
0
Let v = -13 + 13. Suppose 0*l = -5*l - 10, v = -c + 2*l + 8. Solve -5*a - 2 = -c*a for a.
-2
Let k = -30 - -36. Solve 5*v + k = -4 for v.
-2
Let r be 10*(-10)/(-25) - (-3 + -1). Solve 0 = -5*i + r - 3 for i.
1
Let r be -1 - -3 - 0/(-2). Suppose 7*s - 4*s - 5*m = 38, -r*m = -3*s + 44. Solve 0 = -0*i - 4*i + s for i.
4
Suppose a - 5*o + 3*o = -8, -5*a = -2*o. Let v be -3*(-5)/((-45)/(-12)). Let p be (-24)/30*(-10)/v. Solve -p = -a*u - 0 for u.
1
Let v(h) = h**3 + 4*h**2 - 2*h + 2. Let t be v(-2). Suppose -l + 3*n = -19, 3*n - 5 = -20. Solve -l*x + 6 = t for x.
-2
Let a = -1 + 1. Let u = a - -5. Let c(w) = w - 5. Let t be c(u). Solve i = -t + 1 for i.
1
Suppose 5*p - 3*p = 14. Suppose 0 = p*w - 2*w. Let a = -1 + 9. Solve -2*n + w*n = a for n.
-4
Let v be (-38 + (-1 - -1))/(-1). Let m be 14/2*3/3. Suppose -3*k + v = -m. Solve -6*z + z - k = 0 for z.
-3
Let s = -1 + -3. Let c = -3 - s. Solve 0 = f - 2 + c for f.
1
Suppose 4*l = -4*u, 0 = -l - 3*l + 2*u + 24. Solve -z = -0*z + l for z.
-4
Suppose 5 = 2*p - 19. Suppose -2*d + 2*z + p = 0, 5*z = -d - 2 - 4. Suppose 0 = 7*a - 3*a + 3*y + 9, 0 = -3*y - 9. Solve a = -d*s - 16 + 4 for s.
-3
Let s(r) = -3*r + 0*r**2 + 1 - r**2 + 2*r. Let i be s(-3). Let j = i - -9. Solve -j*l - 6 = -2*l for l.
-3
Let y be 22/8 - 1/(-4). Let h be (4 - 7) + 2 + 5. Suppose -h + 12 = 4*t. Solve -k - t*k = y for k.
-1
Suppose l = -5*d + 29, 2*d + 2*d - 24 = -l. Solve -y + l = y for y.
2
Let b = -7 - -20. Solve -5*o - b = 7 for o.
-4
Let s(r) = r**3 - 3*r**2 + 2*r - 3. Let k = 5 + -2. Let q be s(k). Suppose x + q*n = -2*n - 17, -2*x + 2*n + 26 = 0. Solve -x*p = -4*p - 4 for p.
1
Let m = 282 + -282. Let z be (-9)/(-4) - 3/12. Solve m*f - 4 = -z*f for f.
2
Suppose 8*h - 13*h = -250. Let l be 1 + (-1)/(1 + 0). Suppose l = 4*x + x - h. Solve -3*d - 2*d = x for d.
-2
Suppose -90 = -z - 88. Solve 0*w - 4 = z*w for w.
-2
Suppose -4*a + 12 = -0*a + 2*z, 0 = 5*a - 5*z. Solve -a*y + 0 - 2 = 0 for y.
-1
Let a(g) = -g**2 - 9*g. Let y be (-3)/((-21)/(-9) - 2). Let q be a(y). Solve q = l - 0*l for l.
0
Suppose -2*j + 3*v = -59, -44 = 5*j + v - 149. Suppose j = 5*z + 2. Solve 12 = -z*c - 0 for c.
-3
Let q be (-8)/(-5)*20/8. Solve -f + 2 = q for f.
-2
Let g be (16/(-10))/((-64)/800). Suppose -7*d = -2*d. Solve d = 8*z - 3*z + g for z.
-4
Let p be (-2 - -3)/((-5)/(-15)). Suppose -p + 1 = -2*n. Solve -x = -3 - n for x.
4
Let d(w) be the third derivative of w**6/120 + w**5/15 - w**4/4 - w**3/2 + 5*w**2. Let m be d(-5). Solve m*i = i + 1 for i.
1
Suppose 5*k = -3*j + 31, 0*k + 2*k - 6 = 2*j. Solve 0 = -4*b + k*b - 1 for b.
1
Let c(h) = -h**3 + h**2 + 2. Let r be c(0). Suppose 0*j = -j + r. Suppose -13 - j = -5*p. Solve 2*g = -p*g for g.
0
Let j(v) = -v**3 - 4*v**2 - 3*v + 3. Let t = -2 + -1. Let w be j(t). Solve -c - w*c = -8 for c.
2
Suppose -4*s = 4*n - 56, -3*s + n - 5 = -47. Suppose s - 4 = 5*g. Solve 0 = b + g*b for b.
0
Let i(d) = -d**3 - 5*d**2 + d + 7. Let y be i(-5). Suppose -2*s = -5*s + y*v + 12, -2*s + 4*v + 8 = 0. Solve s*t + 7 = 3 for t.
-1
Suppose 3*w - 2 = 7. Suppose 0 = -3*p - p + 28. Let i be ((-48)/14)/(-2)*p. Solve w*z - i = -3 for z.
3
Let u(f) = f**2 + f - 1. Let d be u(2). Let t be 1*d*(-4)/10. Let o = 1 - t. Solve 0 = h + 6 - o for h.
-3
Suppose w + w = 0. Let y = 4 - w. Let d = -43 + 43. Solve -y*p - 16 = -d for p.
-4
Let a be (-1 - -2) + (-9)/(-3). Solve a*i + i = 5 for i.
1
Let u be (-14)/(-2) + 3 + -5. Let o = -5 + u. Solve -m - 4 = -o for m.
-4
Let w(c) = c - 3*c**2 - c**3 + 3*c**2. Let p(j) = -7*j**3 + 10*j**2 - 2*j - 4. Let a(t) = p(t) - 6*w(t). Let f be a(9). Solve f*z = 7 + 13 for z.
