+ 4. Let y = -9 + i. Solve 3*o - 8*o - 10 = y for o.
-2
Suppose 13 + 1 = n. Suppose -5*r + 11 = -n. Solve -r - 10 = -5*c for c.
3
Let i be (-3*(-8)/(-6))/(-1). Suppose 0*o = 3*o. Solve i*l + o*l - 12 = 0 for l.
3
Let m(t) = -t + 28. Let k = -14 + 30. Let i be m(k). Solve 5*x = -i - 3 for x.
-3
Let l(q) = 2*q**2 - 10*q + 2. Let o be l(5). Solve 4 = -2*g - o*g for g.
-1
Let m(a) be the second derivative of -5*a**3/6 + 2*a. Let o be m(-2). Suppose 0 = 4*r - 6*q + q - 19, 2*r = -4*q - o. Solve -c + 4 = -r for c.
5
Suppose -5*b = 5 - 0. Let l = -1 - b. Solve i - 5*i - 16 = l for i.
-4
Let v(x) = 2*x - 4. Let n = 11 - 7. Let h be v(n). Solve 2*p + h + 6 = 0 for p.
-5
Let q = -22 + 26. Suppose -15 = -3*s + q*x, -5*s = 4*x + 8 - 1. Solve 0 = 3*n - 2*n + s for n.
-1
Suppose -2*a = d - 8, a + 4*a = -2*d + 18. Suppose 2*j = 4*f - 4, -d*j - j = f - 34. Solve -4*m + 2*m = -j for m.
3
Let y(z) = z**3 + 3*z**2. Let t be y(-3). Suppose u - 3 = -t. Solve 4*h + 5 = -u for h.
-2
Let z(i) be the second derivative of -i**3/2 + 2*i. Let w be z(-1). Solve -w = -2*f - 1 for f.
1
Let i = 3 + -1. Solve 2*h + i*h + 12 = 0 for h.
-3
Let b = 1 + 3. Suppose -b*a = -3*a - 4. Suppose -3*j + 30 = 5*n, 3*n + a*j = 2*j + 19. Solve 5 = n*p - 4 for p.
3
Suppose -42 = -11*d + 13. Let m = 32 + 5. Solve d*r + 12 - m = 0 for r.
5
Let a(l) = l - 4. Let b be a(6). Suppose -b*h + 0*h + 18 = 0. Suppose 6*r - h = 3*r. Solve -r*j = -j + 10 for j.
-5
Let b(k) = -k**3 - 4*k**2 - k + 1. Let o be b(-4). Suppose 5*y - 4*d - 14 = 3*y, o*y + 4*d = 7. Solve 2*r = y - 5 for r.
-1
Suppose -2*g - o = -5, -g = -o + 4*o - 15. Suppose g*f + f - 20 = -3*i, 4*i = -2*f + 30. Solve f*h = h for h.
0
Suppose 4 = -2*l - 3*s, 2*s - 3*s = l. Solve l*d - 1 = 7 for d.
2
Let n be (2 - 4)/(-1 - 0). Suppose 2 = n*r + 8. Let s(x) = -2*x - 3. Let u be s(r). Solve -u*z + 6 = -6 for z.
4
Let r(a) = -7 + 3*a - 4*a + 1. Let v be r(-7). Let p be (1 - (1 + -1))/v. Solve -1 - p = h for h.
-2
Let n be 10*-1*(-1 - 1). Suppose -16 = -4*h + w + 3*w, -4*w - n = -5*h. Solve 5 = h*k - 15 for k.
5
Suppose -5*p + 45 = -0*p. Solve -4*n - 25 = -p*n for n.
5
Let o = 13 + -7. Let p(x) = -7 - 6 - 2*x + 5. Let d be p(-6). Solve 0 = o*v - d*v for v.
0
Let t(w) = -7*w - 39. Let d be t(-6). Solve -d*f = -0*f + 6 for f.
-2
Let b be (-4 + 5)/(1/10). Solve -m + 3*m = -b for m.
-5
Let d be -2 + -2 + 3 + -1 + 2. Solve 4 = -4*q - d*q for q.
-1
Let z(u) = -u**3 + 10*u**2 - 8*u - 1. Let r be z(9). Let n be 13/4 + (-2)/r. Suppose -n*h + 24 = -6. Solve -w + h = 4*w for w.
2
Let p = -6 - -6. Let g be p/(-2)*3/(-3). Solve g = 3*s - 6*s - 12 for s.
-4
Let g = 1 + 2. Let k be -1 - 12/(g - 6). Solve -k*s + 4 + 11 = 0 for s.
5
Let w = 51 + -73. Let j be (-10)/(-55) + 4/w. Solve 4*m - 1 - 7 = j for m.
2
Suppose -i = -5*j - 1, -3*i = 2*j - 3 - 0. Solve -i = -5*g - 6 for g.
-1
Let n(l) = -l + 8. Let t be n(6). Suppose -5*y + 7 - t = 0. Suppose 2*i + 5*u + 1 = 0, 0*i + 3*u + y = -i. Solve 5*m - 12 = i*m for m.
4
Let m = 1 + 5. Suppose -u + m*u = 0. Solve -l + 2 + 3 = u for l.
5
Suppose -j - 4*g = -14, 2*j - j + 2*g = 8. Suppose -j*m + 16 = -4. Solve -4*c + m = c for c.
2
Suppose -3*v = 3*h - 6, 6 = -0*v + 4*v + 3*h. Solve v = 4*u - 6*u for u.
0
Let p(t) = t**2 - 9*t + 4. Let w be p(9). Solve -3*q + 5 = -w*q for q.
-5
Suppose -3*b + 0*b - 5*a = 35, 2*a + 28 = -4*b. Let w be (2/b)/(4/(-20)). Solve 0 = w*l + 3*l - 25 for l.
5
Suppose 15 + 3 = 2*g - 2*m, -2*m = 8. Solve 0 = 6*k - g*k - 4 for k.
4
Let d(m) = 3*m**3 + 4*m**2 + 2*m + 1. Let l be d(-3). Let s be ((-24)/30)/(4/l). Solve -5*i = s - 0 for i.
-2
Let l(a) = -a**3 - 4*a**2 - a + 1. Suppose 6 = -o + 2. Let v be l(o). Solve 2*h + v = 3*h for h.
5
Let w(r) = -r**2 + 8*r + 11. Let v(k) = 2*k - 3. Let x be v(6). Let u be w(x). Suppose 4 = -n + u*n. Solve n*p - 2 + 6 = 0 for p.
-1
Suppose 3*x + 2*a = -2*x + 86, -2*x - 4*a + 44 = 0. Suppose -5*u + x - 1 = 0. Solve 3*c = -0*c - u for c.
-1
Let n = -15 + 11. Let f be 5/(-10) - 2/n. Suppose f*s = -s + 4. Solve -9 = -s*j + 11 for j.
5
Let l(w) = 2*w + 2*w**2 + 6*w + 3*w**2 - w**3 - 10 + w**2. Let b be l(7). Let t be b/(9/4 + -3). Solve t*s = s + 6 for s.
2
Let j = 16 + -13. Let m be 2/(-6)*j*-9. Let q = -1 + 5. Solve -q*f = -f - m for f.
3
Let g be 9/(-15) - (-6)/(-15) - -1. Solve g*r = 6*r - 6 for r.
1
Suppose 3*h + 11 = 4*n, -23 = h - 5*n - 1. Suppose -p = 7 - h, 10 = -2*y - 4*p. Solve -y*i - i = -4 for i.
1
Suppose 16 = -0*z + 4*z. Suppose -26*d + 12*d = -56. Solve -d + 0 = z*c for c.
-1
Suppose 2*z + 5 = -5. Let o(b) = -b**3 - 4*b**2 + 5*b. Let q be o(z). Solve q + 3 = l for l.
3
Let l(f) be the third derivative of f**5/60 + f**4/24 - f**3/6 - 2*f**2. Let x be l(-2). Solve -x = y - 4 for y.
3
Let m be 3 + 1 - 11/(-11). Solve 8 = -m*o - 2 for o.
-2
Let a(j) = -j**2 - 11*j + 12. Let x be a(-12). Solve -2*p + 8 = -x*p for p.
4
Suppose 85 = 6*o + 25. Solve o + 2 = 3*h for h.
4
Suppose -5*g + 10 = -10. Let l = 9 - g. Solve -j = -l*j for j.
0
Suppose 3*r - 5*d = -0*d - 81, -4*r + 3*d - 108 = 0. Let i be 0*(-3)/r*-3. Solve i = -4*c - 4 - 0 for c.
-1
Let h(p) = -p**3 + 6*p**2 + 2*p - 6. Let g be h(6). Suppose -5*v - 5 + 15 = 0. Suppose -v*n + g*n = 0. Solve n*f = -f + 5 for f.
5
Suppose 1 - 37 = -4*i. Suppose -2 = -b + 2. Let w = 7 - b. Solve i = -w*p + 24 for p.
5
Let j = 109 - 101. Solve j - 5 = -q for q.
-3
Let q = 6 + -9. Let r = q - -4. Solve -2*b + r = -b for b.
1
Let a(k) = -6*k**3 - k**2 - k - 1. Let z be a(-1). Let g be 13 + 0 + -1*1. Let y = -27 + 29. Solve z*q - y*q = g for q.
4
Let q = 94 - 56. Suppose -4*t = -4*c + 2 - q, -t - 5*c = 15. Solve -6 - 14 = t*m for m.
-4
Let t be (9 + -4)/(3 - 2). Solve t*p + 10 = 25 for p.
3
Let q be ((-4)/8)/(-1) + 8/(-16). Solve q = 2*p + 3*p + 10 for p.
-2
Let x = -41 + 48. Solve x = -5*b + 27 for b.
4
Let g be 4/(-10) - (-102)/5. Let z = -63 - -68. Solve 0 = z*b - g for b.
4
Let m = 24 - 21. Solve -4 = m*b - 1 for b.
-1
Let j be (-1 - -4 - 5) + (-3 - -11). Solve -2*r + j*r = -12 for r.
-3
Let o = 3 + 4. Let t be 8 - 8 - o*-1. Solve 0 = 2*h - t + 1 for h.
3
Let p be 1 - (10/25 - 4/10). Solve -4*g + 5 - p = 0 for g.
1
Let p = -15 + 9. Let z be ((-8)/3)/(4/p). Suppose -3*b + 2*t = -16, -11 = 3*t + z. Solve m + m = b for m.
1
Let j = 10 + -6. Suppose 2 = 6*t + 2. Solve -j*n = -t + 8 for n.
-2
Suppose -149 - 299 = -14*u. Solve -4*j + 12 = u for j.
-5
Let z(o) = -o + 7. Let n be z(5). Let s be (-16)/(-120) + n/(-15). Solve s*x = 2*x - 4 for x.
2
Suppose -10 - 14 = -12*x. Solve -x*a - 2 = -8 for a.
3
Let a = 82 + -82. Solve a = b - 3 + 5 for b.
-2
Let i(h) = h - 3. Let d be i(7). Solve d = p - 1 for p.
5
Let c = -50 + 65. Solve 5*w + c = 2*w for w.
-5
Let n = -64 + 66. Solve -6*l + 16 = -n*l for l.
4
Let d(t) = 3*t - 1. Let k be d(1). Suppose 0 = -z + k*z - 3. Suppose -j + 0*j - 2 = 0, -j = w. Solve w*n = -z*n + 5 for n.
1
Let t(j) = -j**2 - 7*j + 3. Suppose -3*y = 3 + 21. Let c be t(y). Let k be 4/c*(-11 - -1). Solve 0 = -f - f - k for f.
-4
Let s be (-4 + 7 - 8) + 7. Let v(j) = -j - 6. Let u be v(-7). Solve -3 = s*a + u for a.
-2
Let m(l) = 4*l. Let p(r) = r. Let n(j) = -m(j) + 5*p(j). Let u be n(0). Suppose q - 7 = -5*y + 2, -4 = -2*q + 4*y. Solve -q*h + u*h = 12 for h.
-3
Let p = 9 + -7. Solve 3*o - p = o for o.
1
Suppose -4*d - 6 = -6*d - 2*z, -2*z = -d. Let f = -5 + 4. Let c = d - f. Solve q + 2 = -c for q.
-5
Let o be 4*(9/4 - 0). Suppose o = -5*f - 1. Let m = -2 - f. Solve m = -2*g + 10 for g.
5
Let y be -4 + (108/6)/3. Solve m + y*m = 0 for m.
0
Suppose -6*b + 5 = -7. Solve -11 = b*h - 1 for h.
-5
Let g be (1 + -2)*(-2 + 2). Suppose u + 3*u + 4*z - 8 = g, 0 = -z. Solve -u*d = 3*d - 5 for d.
1
Let x(f) = -f**2 - 3*f + 6. Let v be x(-4). Solve 0*g = v*g - 10 for g.
5
Let d be (-5)/(-1 + 0 + 0). Let k be 1 - ((-20)/d - -1). Suppose -4*z + 2 + 6 = 0. Solve -k*g = -z - 2 for g.
1
Let o be (-4)/1 - (1 - 0). Let u = 9 + o. Let t be ((-42)/(-9) - 5)/(2/(-24)). Solve 2*c - t = u*c for c.
-2
Let b(t) = 7 - t**3 + 3*t**2 + 2*t**2 + t**2 - 6*t. Let a be b(5). Suppose 0 = 5*o - 35 + 5. Solve h - o = -a*h for h.
2
Let f be (10/(-8))/((-1)/8). Let v = 83 + -71. Let c = v - f. Solve -3*m = -5*m - c for m.
-1
Let o(a) be the third derivative of 5/12*a**4 + 0 + 0*a**3 - 1/60*a**5 + 4*a**2 + 0*a. Let c be o(10). Solve 0*t - 3*t - 15 = c for