(5 - 6). Let w be b(r). Solve -w*u + 1 = -3 for u.
1
Suppose 10 = -19*z + 29. Suppose -5*d + 25 = 0, 3*v - d - 2 = -z. Solve 4 = -v*a - 2 for a.
-3
Let v(y) = 33*y + 586. Let x be v(-17). Solve 26*d = 21*d - x for d.
-5
Let s = 2 - -1. Let o(g) = -23*g + g**s - 5*g**2 + 9*g + 2 + 18*g. Let h be o(4). Solve h*z + 16 = 6*z for z.
4
Let z(o) = 4*o**2 - 15*o - 29 + 6 - o**3 - 7 + 14*o**2. Let d be z(17). Solve -d*k + 1 = 5 for k.
-1
Suppose 5*b - 5 = 5. Suppose 2*i + 3 + 1 = -2*u, i = u + b. Suppose k = 2*h + 9, 4*k - 2*h - 20 = 2*h. Solve -k = -n - i for n.
1
Let l = 42 - 35. Suppose -2*n + l = -0*n + w, -3*n + w = 2. Solve -4*i + 3 = -n for i.
1
Suppose 0 = 143*u - 128*u - 165. Solve 5 = 16*t - u*t for t.
1
Let q = 1 - -4. Let y(i) = -i**2 + 5*i + 7. Let m be y(5). Suppose -19*h + 17*h - 5*o = 7, -h = o - 1. Solve -h*a + m = -q for a.
3
Let s be (320/(-24))/((-20)/48). Solve 7 - s = -5*l for l.
5
Let z be -1 + 24/15 + 408/170. Solve 0 = -k + 2*k - z for k.
3
Let k(g) = 14*g + 223. Let l be k(-11). Solve 0 = 5*s - l + 44 for s.
5
Let a(m) = -5*m - 9. Let q be a(-3). Solve -q*x + 4 + 8 = 0 for x.
2
Let n(l) = -l - 8. Let m be n(-11). Suppose 0 = -d, 0 = a - 2*d + 4*d - m. Suppose -a*h + 1 + 8 = 0. Solve h*i + 3 = -6 for i.
-3
Let u(j) = -j**2 - 9*j + 40. Let c be u(-12). Suppose -5*t = -7*t + c. Solve -t*o = o for o.
0
Suppose 47*a = 71 + 70. Let i = 0 - -2. Solve 0 = -v + i*v + a for v.
-3
Suppose -49*m = -48*m - 9. Solve -13 - m = -11*a for a.
2
Let w be (2 - 13/6)*(-125 - -83). Suppose 15 = -x + 4*x. Solve 0 = -3*v - w - x for v.
-4
Let n = 51 - 49. Suppose 4*k = -4*i + n*i + 28, -k = -i + 5. Let t be (0 - 6)/((-3)/2). Solve -3*l + i = -t for l.
4
Suppose 3*j - 5*a + 14 = 0, 3*j + 5*a + 11 = 7. Let q be -1 - 6*j/(18/4). Solve 0 = -4*n - 9 - q for n.
-3
Let r be 21*((-80)/(-15) - 5). Solve 3*u = -4 + r for u.
1
Let z be 8 - (4/(-22) - 35/(-11)). Let s(p) = -3*p**3 + p**2 + 3*p + 3. Let r be s(-2). Suppose z*x - 125 = -r. Solve 5*m - m = -x for m.
-5
Let g(c) = c**2 + 12*c - 44. Let n be g(-10). Let q = 71 + n. Let r be 2/(-5) - (-162)/30. Solve -r = -q*u + 2*u for u.
1
Suppose 5*t - 3 = 3*d + 9, 0 = 4*t + 4*d - 16. Suppose 60 = t*k + k. Let i(y) = -y - 3. Let v be i(-5). Solve s + k = -v*s for s.
-5
Suppose 3*g - 25 = 4*w, 2*g + 19 = -4*w - 11. Let u(k) = -k**3 + 5*k**2 - 14. Let x be u(7). Let a be ((-6)/w)/((-24)/x). Solve -3*n + a*n + 3 = 0 for n.
-3
Let q(d) be the first derivative of -d**4/4 + d**3 + 2*d**2 + 6*d - 3. Let p be q(4). Solve -3*l + p = -5*l for l.
-3
Suppose 4*j = -3*l + 30, -4 - 2 = -2*j. Let h(s) = 6 + 8 + 5*s - 6 - s**2. Let f be h(l). Solve -f*k + 3 - 11 = 0 for k.
-4
Let n be (-2)/(-6) - 1/3. Let t be -1 + 3 + n + 0. Suppose 119*p = 283 + 238 - 45. Solve 2*f = p - t for f.
1
Suppose -4*u - 20 = -l - 3*l, -l = -4*u - 8. Suppose l*t = 3*i + 5, -2*t - 2 + 8 = 2*i. Let z be 6 + 0 + t + 0. Solve -c + z = c for c.
4
Let v = -925 - -928. Suppose -q = -4*q + 18. Solve q = v*x + 21 for x.
-5
Let d = 246 - 238. Solve d - 6 = -s for s.
-2
Let x be -15*(0 + (-6)/15). Suppose -k = -3*w + x*w - 25, -3*w + 73 = 4*k. Solve -5*d + k = -d for d.
4
Let m = 5 - 1. Solve -m = 3*y - 1 for y.
-1
Let v(n) = 16*n**2 - 1. Suppose 3*i + 22 = 5*q, -4*i + 4*q + 0*q = 16. Let y be v(i). Suppose -w = -0*w - y. Solve -w = -4*t - t for t.
3
Suppose 2*s - s = -3*o - 2, 4*o - 2 = -2*s. Let c(k) = -k**2 + 9*k - 11. Let a be c(s). Suppose 0 = 2*y - 3 - 5. Solve -5*m = -y*m + a for m.
-3
Let d = -553 - -560. Solve 3*t + 8 = -d for t.
-5
Let m = 531 - 526. Solve -14*q + 18 = -m*q for q.
2
Suppose -3*w + 1 = 16, -4*y - 5*w + 23 = 0. Suppose 5*v = 2*v - 5*h + y, -v + 3 = 2*h. Solve -v = 2*g - 1 for g.
-4
Suppose -5*n + 69 = 9. Suppose -k - n = -2*k - 2*z, 4*k + 2*z = 30. Suppose 26 = 4*w + k. Solve -3*d + w = -1 for d.
2
Let w(j) = 2*j**2 + 22*j - 18. Let c = 83 + -95. Let l be w(c). Solve 16 - l = -5*k for k.
-2
Let g be (5/(-20))/(4/(-32)). Let z(o) be the third derivative of -o**4/24 + 2*o**3/3 + 2*o**2. Let b be z(g). Solve -2 + 0 = -b*q for q.
1
Suppose -3*t - 40 = -b, 2*b + 5*t = 3*b - 34. Solve -5 = 11*r - b for r.
4
Suppose 0 = -16*u + 205 - 61. Solve 4*c = u*c for c.
0
Let l = -428 - -448. Solve l*i - 21*i = -5 for i.
5
Let p be (-7 - -3)*(-2)/4. Suppose 0 = -u - 4*u + 5. Let s = 1 - u. Solve -p*n + 5*n = s for n.
0
Suppose 10 = z + 6. Suppose 240*g + 18 = 242*g. Solve -g = z*l - 1 for l.
-2
Suppose 2*l + 0*l - 16 = 0. Let i = -6 + l. Let r(x) = 278*x + 278. Let o be r(-1). Solve o = -i*v + v for v.
0
Suppose 2*s - 6 = 5*p, -4 = 5*s - 8*s + 5*p. Let a be (1/(-2) + 0)*(2 + s). Solve -2*b - b - 6 = a for b.
-2
Suppose -9*s = -8*s + 5*d - 34, -2*s = -4*d - 54. Solve -s*k = -31*k - 2 for k.
-1
Suppose -10 = 5*y - 0, 5*y = 4*i - 58. Suppose 102*q - 99*q = i. Let z be (40/6)/((-2)/(-6)). Solve z = q*j - 0*j for j.
5
Suppose -4*p = -p + 4*p. Solve -b + 5 - 7 = p for b.
-2
Let r = 813 + -806. Solve r*i + 36 = -2*i for i.
-4
Suppose -5*x = -15, 5*n - 3*x = -2*x + 47. Suppose n*s = 5*s + 10. Solve s = -3*p - 1 for p.
-1
Let t(l) = 5*l - 16. Let n(a) = a**2 - 2*a + 4. Let x be n(0). Let k be t(x). Solve -k*p + 4 = -0 for p.
1
Let f = 1 - -1. Let n(u) = -5*u. Let b be n(2). Let x be b/8*(-3 - 1). Solve 0 = f*a - 5 - x for a.
5
Suppose 19 = 17*h - 15. Let a = -6 - -11. Suppose -5*o = -3*b + 25, -b - a*o = -3*b + 25. Solve b = -2*y - h + 8 for y.
3
Suppose 5*h + l = 5 - 1, -2*h + 5*l = 20. Suppose 4*d - 96 = -h. Let c be (-12)/16 - (-66)/d. Solve 4*w - c*w = -6 for w.
-3
Let h = 94 - 9. Let q = h + -82. Solve q*f = f for f.
0
Let w = -10 + 32. Let y(h) = h**3 - 8*h**2 + 5*h + 22. Let d be y(4). Let t = w + d. Solve t = 5*o - 0*o + 20 for o.
-4
Let s = -86 - -86. Suppose 3*y + 2 - 8 = 0. Let v = 6 - y. Solve s = -v*m + 2*m - 6 for m.
-3
Suppose 38*c - 34*c = 16. Solve s = -0 - c for s.
-4
Let r(n) = -4*n - 1. Let v be r(-1). Suppose -2*f + v*p = 2*p - 18, f - p = 8. Let l = -4912 + 4912. Solve l*y + f = 5*y for y.
2
Suppose 5*f + 0*y - 6 = -y, 10 = f - 2*y. Let n = 14 + f. Solve 0 = -3*j - j + n for j.
4
Suppose -3*m = m - 16. Let f be 12/8 + 26/m. Solve -4*x = -f*x + 4 for x.
1
Let a = 167 + -153. Solve -3*w + a = 29 for w.
-5
Let f = -354 + 356. Let o = -3 - -8. Solve -o*h = -f*h for h.
0
Let x be (-126)/(-27)*4*(-12)/(-56). Solve -3*b = 2 + x for b.
-2
Let v be 4 + (-2)/(2 + -1). Suppose -v*s + 8 = 6*s. Solve 1 = h - s for h.
2
Suppose -57 + 42 = -v. Solve 31*d = 28*d + v for d.
5
Let o = 1016 + -989. Solve -25*p = -16*p - o for p.
3
Let h(n) = 7*n**3 + 7*n**2 - 6*n - 9. Let r(c) = -c**3 - c**2 + 1. Let m(x) = -h(x) - 6*r(x). Let s be m(-3). Solve 0 = -s*d + 11 - 2 for d.
3
Let t = 984 - 969. Suppose -m = -2*u + 1, -u - 4*u - 5 = -4*m. Solve 10 = m*l - t for l.
5
Suppose 0 = 5*w + 2*w - 14. Suppose -6 = -2*p + w*j, -2*p + 5 = -2*j + j. Solve -p*u + u = 0 for u.
0
Let z(o) = -o - 2. Let l be z(-6). Suppose -2*j = -2*c + 10, 17*c - 23*c = 3*j - 75. Solve 0 = l*q - 6 - c for q.
4
Let u be 3/1*(-4 + (-624)/(-18)). Solve 88 = -f + u for f.
4
Let p = 284 + -273. Solve 5*v - p*v = 6 for v.
-1
Let m = 611 + -587. Let s = 1 - -2. Suppose m = s*b + 6. Solve 0 = 2*t - b*t + 16 for t.
4
Suppose 5*i - 25 = -5. Let m(g) = -4*g**2 - 1. Let o be m(-2). Let a = 19 + o. Solve a*w - i = -8 for w.
-2
Let u(b) = -b**2 + 9*b + 14. Let c be u(9). Let v(x) = -x**2 + 15*x - 10. Let r be v(c). Solve -r*n - 2 = 6 for n.
-2
Let t = 13 + -5. Let s = -4 + t. Suppose 5*z + h - 2 = -6, -16 = -s*z + 4*h. Solve -2*g + g - 2 = z for g.
-2
Suppose 2*k = 3*k + 4, 6 = -n - 4*k. Suppose 10*g + 1472 = 1492. Solve 3*y + n = -g*y for y.
-2
Let o = 7 - 5. Suppose -1 = 3*m - 10. Let u be -1 + 6/3 + -1. Solve u = m*v + 7 + o for v.
-3
Let t(w) be the second derivative of -w**3/6 - 13*w**2/2 - 13*w. Let n be t(-16). Solve 4*v - n*v - 5 = 0 for v.
5
Suppose 0 = 4*g - 12 - 72. Let c = g - 12. Let x(u) = -u**3 + 4*u**2 + 15*u - 11. Let h be x(6). Solve h = 4*y - c for y.
4
Let q be (((-4)/6)/(21/126))/(-2). Solve q*g + 16 - 20 = 0 for g.
2
Let o(v) = v**3 - 8*v**2 - 27*v + 72. Let a be o(10). Solve -a*d = -41 + 31 for d.
5
Let z(g) = 4*g - 98. Let y be z(23). Let u(d) = 2*d + 17. Let n be u(y). Solve -n*j + 20 + 0 = 0 for j.
4
Let z(g) = -5*g**3 + 34*g**2 + 8*g - 3. Let p be z(7). Solve 6*m = p*m - 10 for m.