pose -o = -15*x + 12*x. Solve -2*y + 4*y - 8 = w, x*w = y - 22 for w.
-4
Let y = -1 - -4. Let p be (-144)/(-96)*(6 + -2). Suppose 2*q - 2*i - 14 = -i, -2*q + 2*i = -18. Solve 0 = -5*o - q*a, p*a - 24 = y*o + 3*a for o.
-4
Suppose p = 2*l + 1, 0 = -3*p + 4*l - 7*l + 12. Suppose 0 = 5*t + p*t - 32. Solve -2*y - 4 = 2*w - 2, -t*y + 2*w = -20 for y.
3
Suppose -d = 13*d - 56. Solve -2*y = y + 12, -2*y = -d*k for k.
-2
Let m = 7 - -4. Suppose 3*c = -2*p + 31, p + 0*p - 40 = -5*c. Let t = m - c. Solve 3*o + 0 = 4*g + 2, -t*g = 2*o + 12 for g.
-2
Let i = -157 + 157. Suppose -3*o - 3*d + 42 = i, 4*o = 7*o - 5*d - 58. Solve 0 = 4*z + l - 22, 4*z + 4 - o = 4*l for z.
5
Let u(b) = 3*b**2 - 18*b + 38. Let m be u(4). Solve m = -l - 3*o, -3*l + 5*o = -2*l - 10 for l.
-5
Let h(c) = 84*c + 430. Let f be h(-5). Solve 5 = -n + 2*o, -2*n + f*o - 7*o = 8 for n.
-1
Suppose -3*r + 9 - 27 = 0. Let h(a) = a**3 + 7*a**2 + 6*a + 2. Let p be h(r). Suppose 19 = -p*c + 25. Solve -4*n + 3*s = -14 + 4, 0 = c*n + 3*s - 18 for n.
4
Suppose -2*r - 100 + 96 = 0, 0 = 2*k - 3*r - 10. Solve k*x = -4*f + 10, -2*x + 2*f = 2*x for x.
1
Let i(a) = -2*a**2 - 23*a + 39. Let d be i(-13). Solve d = h - 2, x + 2*x = h - 11 for x.
-3
Suppose 5*c - 204 = -184. Solve -3*b + c*b + 2*u + 8 = 0, 20 = b - 5*u for b.
0
Let k(s) = -s. Let i be k(-3). Suppose -g - 5*c = i*g - 29, 1 = c. Solve -18 = -3*z + 5*p, -3*p + 0 = 3*z + g for z.
1
Let p(g) = -g - 7. Let z(w) = w**2 + 2*w - 13. Let i be z(-6). Let k be p(i). Let b = 28 + k. Solve -3*t + t = -4, 3*t - b = 2*h for h.
-2
Let s = 32 + -18. Let c(d) = d**2 - 13*d + 15. Let w be c(12). Let t be (w/9)/((-3)/(-18)). Solve 2*g = 2*p - s, 3*g + 5 = t*p - 13 for g.
-4
Let c = -420 + 423. Solve k = -0 + 2, -c*p = -k - 4 for p.
2
Let g(h) = 2*h**3 + h**2 - 8*h + 2. Let d be g(2). Suppose -d = -3*f + 3. Let o = -2 + 2. Solve -4*w - 2*b = -f*w, 5*w - b - 11 = o for w.
2
Let v be (-10)/(-45) - (1 - (-25)/(-9)). Solve -v*f - 3*f = 4*j - 33, 5*f - 31 = -3*j for j.
2
Let i(c) = 72*c**2 + 2*c. Let y be i(-1). Suppose 4*g + 6 = y. Solve 4*v + g = -x, 10 - 2 = -2*v - 4*x for v.
-4
Let d be -4 - ((3 - 5) + -22). Suppose -17*m = -22*m + d. Solve 5*x - 19 = 3*q, -4*x - m = -0*q + 4*q for x.
2
Let s be (8 - 1) + 9/(27/(-6)). Suppose -3*q + 47 = -s*a + 187, 0 = 5*a - 5*q - 140. Solve -5*k - a = u, u = k - 1 + 3 for k.
-5
Suppose 18 = 37*s - 31*s. Solve q - 8*k = -s*k + 28, 4*q + 13 = -5*k for q.
3
Let y be (-23)/(-7) - (-4)/(-14). Let i(v) = -10 - 5 + 4 - v. Let r be i(-14). Solve r*u + 5 = q, -u + y*q = -4*u + 15 for u.
0
Let i(c) = 4*c + 100. Let w be i(-23). Suppose 4*v = -3*t + 59, -t - 28 = -11*v + w*v. Solve 5*m = -a + 20, -5*a - v = -3*m + 29 for a.
-5
Let c be ((-603)/315 - (-11)/5)*28. Suppose 1 = 3*x - 11. Solve -x*n - 3 = -c*n - u, 2*u + 7 = 5*n for n.
1
Let h(u) = 13*u**2 - 14*u**2 + 0*u**2 + 52 - 22*u. Let w be h(-24). Solve -v + 3*m = 4, w*v + 3*m = -v + 16 for v.
2
Let k be (3 + -1 - 1)/1. Let u = 89 + -89. Suppose -m + k + 1 = u. Solve -4*r - 21 + 9 = -m*o, -r + 2 = 2*o for r.
-2
Let j be -2 - (-2 - (9 - 7)). Solve -y - 5 = -j*v - 0*y, -12 = -3*v + 3*y for v.
1
Let c be ((4 + -2)/4)/((-3)/(-114)). Suppose -16*z + c*z = 15. Solve 0 = -5*u - z*j, 3*j + 40 = u + 4*u for u.
5
Let v(s) = -s + 11. Let g be v(14). Let n be (10/g)/((-2)/3). Solve 2*z + n = -m, 3*m - 2*z - 3*z - 18 = 0 for m.
1
Let z = -330 + 335. Solve 5 + 4 = 3*n + 5*a, -2*a - 15 = -z*n for n.
3
Suppose p - 4*c = 0, -6*p + 5*c + 11 = -2*p. Solve -2*b + p = -w - 4, -3*b = -w - 13 for b.
5
Suppose -7*q + 2*q - 35 = -5*w, 3 = -q. Solve -w*n + 2*g = -2*n - 18, 4*n - g - 24 = 0 for n.
5
Let m(w) be the second derivative of -w**3/6 - 5*w**2/2 - 5*w. Let a be m(-5). Solve -7*x + 3*x - y + 8 = a, 5*x = -3*y + 10 for x.
2
Suppose -2*a - 44 = 16. Let v = -25 - a. Solve -r + v*j = -14, 3 - 13 = -3*r - j for r.
4
Suppose 7 = y - 3*q, 2*y - 3*q - 6 = 2. Let h = y - -9. Suppose 5*n = i - h, -21 = -5*i + 3*n - 7*n. Solve 20 = i*d, 0 = -b + 3*d - 7 - 3 for b.
2
Let b = -69 - -81. Suppose 4*a = 2*g, 4*g - 5*g - 4*a = -b. Solve 2*z - 3 = -m + 1, -g*z = 0 for m.
4
Let u be -1 + 4 + 1 + -2. Suppose -3 = -u*c + 5. Suppose -h + c = -5*h + 4*d, 3*d - 19 = -5*h. Solve -h*m + 3*o = -4, -16 = 3*o + o for m.
-4
Suppose -24*k + 2*k = -44. Solve 5*g - 5 = 0, 3*p + 2*g + k = -8 for p.
-4
Let k(s) = -s**3 + 5*s**2 + 16*s - 10. Let t be k(7). Suppose -5*i - 2*y + 8 = -3, -23 = -5*i + t*y. Solve 0 = 5*c + z + 12, i*c + 15 + 1 = -5*z for c.
-2
Let i = -2019 + 2023. Solve v - 2 = -4*y - y, i*v = 8 for y.
0
Let y = 15 - 43. Let w be 8/y + 37/(-7)*-1. Solve 0 = -s - 2*j - 3, -w*s + 2*j = j + 26 for s.
-5
Let p be 70/(-22) + 6/33. Let q be (-4 + 9)*(4 + p). Let v = q + -3. Solve 0 = -v*c - 2, -8 = 5*w + 4*c - 24 for w.
4
Let z be (-6)/15*-5 - -10. Solve -5*k + 3*s = 6*s + 13, -2*s = 5*k + z for k.
-2
Let z be (-1)/(-4) - 11/(-4). Let i(j) = -j**3 + 6*j**2 + 6*j - 31. Let q be i(6). Suppose q = b + z. Solve 6*f - b*f - 9 = v, -4*v - 4*f + 24 = 0 for v.
3
Let w(a) = 9*a + 7. Let t be w(-3). Let n be (-30)/4*t/30. Solve -1 = -0*h + h, 3*j - n*h = 14 for j.
3
Suppose 0 = -5*h + 70. Let s = -32 + 34. Suppose -4*x + 2 + s = 0. Solve 4*t + h = -n - 3, -2*t - 3*n = x for t.
-5
Let d(r) = 10*r**2 - 9*r**2 - 1 + 2*r + r. Let y be d(-4). Let h be 0/10*(-1)/2. Solve -3*l = -h*p - 3*p, -p - y*l = -4 for p.
1
Let p(k) = -k - 1. Let q be p(2). Let b(r) = r**2 - 4*r - 19. Let n be b(q). Solve -2*v - 5*s = -n*s - 8, s = 4*v + 12 for v.
-2
Let a = -21 + 32. Suppose -6*x - 10 = -a*x. Solve -2*p - x*p + 2*o = 16, p + 4 = -3*o for p.
-4
Let q = -16 - -14. Let m be 3 - (4/2 + q). Solve -3 = -4*j + y, 0*j - 2*y = m*j - 5 for j.
1
Let y be 15/10*(3 + 2 + -3). Solve -y*s - 3*t = -9, -3 = s - 2*s - 3*t for s.
3
Let o(h) be the third derivative of h**5/20 - h**4/3 - h**3/6 + 10*h**2. Let q be o(3). Solve -4*g + 3 = -q*t - 3, -5*t - g = -29 for t.
5
Let j = -3 - -8. Let k = 817 + -817. Solve -6*p = b - p + 25, -j*b + 4*p - 9 = k for b.
-5
Let d = -5 + 5. Solve 3*h = 6, 0 = 4*i + 4*h - d*h for i.
-2
Let j = 33 - 4. Suppose 30*q - 5 = j*q. Solve -q*f - 3*y - 14 = 0, -f + 4*f - 2*y = 3 for f.
-1
Suppose 2*v = -3*v + 20, -2*z = -5*v + 12. Solve -4*d = 3*y - 23, -z*d - 1 = -2*y + 1 for d.
2
Suppose -n = -2, -3*j + 7 = -6*n + 2*n. Suppose 4*p - j = 3. Suppose -4 + p = d - q, 3*q - 22 = -5*d. Solve 6 = o + 2*o, -x - 2 = -d*o for x.
2
Let d = -7 + 27. Suppose -5*n = 25, -s - 5*n - 11 = 12. Solve -2 = -5*l + 4*h, 3*l + 5*h = -s*l + d for l.
2
Let w be -3 + 6 + (-12)/(-3). Suppose -1 = 2*y - w. Solve 8*r = 4*r + 2*a + 20, y*a - 2 = -2*r for r.
4
Let v = -142 + 144. Let d be v + -5 + 8/2. Solve -d = -5*u + 3*x, -5*u + 2*x = -3 - 1 for u.
2
Suppose 0 = -20*r + 30*r - 90. Solve 3*w - r = 0, -3*w + 8 = 2*q - 9 for q.
4
Suppose -6 = 478*u - 480*u. Solve u*i = -3*m + 9, -i - 2*m = -4*m + 12 for i.
-2
Suppose 20*c + 15*c = 105. Solve 5*o = 2*d - 15, 4*o - 2*d + c*d = -12 for o.
-3
Let s be (-3 + 2)/((-13)/65). Solve -2*b = -s*a - 13, -3*b - 9 = -3*a - 6*b for a.
-1
Let j be (-1 - -20)*(-7 - -6). Let t = j + 21. Suppose 0 = -x + 5, 2*i + 2*i + 5*x = 33. Solve 4*m = -t*z + 12, -4*m - 2*z + 4 = i*z for m.
5
Suppose -2*t = 3*t. Suppose t = -2*m + 11 - 3. Solve -l - m = 3*f, f + 2 + 2 = -l for f.
0
Let c(p) = -25*p + 79. Let d be c(3). Solve 5*f + 16 = -d*y, f + 3*y + 12 = -2*f for f.
0
Let x be 4716/198 + 4/22. Let n be 3/12 - (-18)/x. Solve 4*a + 3*s = -11 - n, 5*a - 2*s - 8 = 0 for a.
0
Let k(c) = -11*c - 120. Let n be k(-11). Solve i + n = -i + u, -5*u + 5 = -4*i for i.
0
Let t(c) = -c - 11. Suppose -9*k + 32 = -11*k. Let a be t(k). Solve 0 = -a*g - 3*w - 8, 3*g = -2*w + 1 - 5 for g.
-4
Let g(c) = -c**3 + 4*c**2 + 5*c - 16. Let l be g(4). Solve 2*y + 1 = l*n + 13, 0 = 4*n + 4 for y.
4
Suppose -251 = 12*p - 1523. Let w = 108 - p. Solve 0 = w*k - 4*k + 8, -2*k + 17 = -3*a for a.
-3
Let c be 4 - (-5 + (-4)/16*-20). Solve 2*d - 3*y = -22, -c*d + 0*d + 3*y = 32 for d.
-5
Let i be 1 + 0 + -85 - 1. Let q = -53 - i. Solve 0*t + 4*s - q = 5*t, 4*t = -3*s - 7 for t.
-4
Let y(v) = 2*v**2 - 64*v + 191. Let w be y(29). Solve 0 = -4*p - t + w, 2 = p - 2*t - 0 for p.
4
Let w be 0 - (4 + -4) - -2. Suppose 5*s - w*s - 6 = 0. Solve -r - 16 = -5*p - 3, s*r - 3*p = -12 for r.
-3
Suppose 356 -