9. Let v(z) = z**3 - 15*z**2 + 56*z + 2. Let b be v(y). Solve -4*p = t - 19, 5*p + 0*t = 2*t + b for p.
4
Let x = 9 + -3. Suppose x*k + 32 = 8*k. Suppose k = -73*q + 77*q. Solve 0 = -b - d + 2, q*d = -d - 15 for b.
5
Let m(v) = -12*v - 60. Let i be m(-5). Suppose -q + 6*q - 25 = i. Solve -29 = 5*h - n, 0 = 5*h - 0*h + q*n + 5 for h.
-5
Let t(w) = 42 + 176*w + 0*w**2 - w**2 - 157*w. Let j be t(21). Solve 2*u + y + 13 = -j*y, 5*u + 5 = 3*y for u.
-4
Let x(j) = 4*j**2 - 23*j + 2. Let t(q) = 5*q**2 - 25*q + 2. Let c(m) = -5*t(m) + 6*x(m). Let g be c(-13). Solve -o + 0*o + 1 = -2*l, -4 = -g*o + 5*l for o.
-3
Let r(k) = -k**3 + 13*k - 2*k**2 + 90 - 3*k**2 - 83. Let u be r(-7). Solve 4*m - 2*w + 4 = u, -2*w = -2*m for m.
5
Let m = 489 - 488. Solve 8 = 2*f + 2*j, -j + 0 = m for f.
5
Let n be -19 - -20 - (2 + -4). Suppose -n*z + 95 = 59. Solve -4*t + 4*m + z = -2*t, 4*t - 2*m + 6 = 0 for t.
-4
Let t = -5451 + 5456. Solve -t*b = -3*g + 5, -9*b + 15 = -4*b + g for b.
2
Let m = 304 - 200. Let h = m - 99. Solve -t - 3*y = -5*t - 19, -t = -y + h for t.
-4
Let w(n) = -179*n - 883. Let j be w(-5). Solve -j = 4*l, 57*u - 2*l = 55*u + 6 for u.
0
Let w be ((-75)/(-12) + -5)*4. Let p = -54 - -105. Suppose 0 = 5*s - p - 19. Solve w*h = 4*y - 13, -s = -2*y - 0*y + 4*h for y.
-3
Let w(h) = -8*h**3 + 2*h**2 - 3*h - 3. Let u be w(-1). Solve u*t + 5*c = 8*t + 3, -3*t + c = -13 for t.
4
Suppose -19 = 7*u + 191. Let w be ((-16)/40)/(3/u). Solve 5*o + 17 = -y, w*y - o - 28 = 3*o for y.
3
Let c = -153 - -153. Let a = 105 + -99. Solve c = 3*k - n - 7, 0 = -2*n - 2 + a for k.
3
Suppose -3*p + 33 + 33 = 0. Let r(t) = -6*t**3 - 2292*t**2 + 2298*t + 26. Let i be r(-383). Solve -j = 5*l + i, -5*l - p = 4*j - 7*j for l.
-5
Suppose 12*g + 152 = 2528. Let b = g + -196. Solve -f + 21 = -5*z + b*f, 0 = -2*z - 3*f for z.
-3
Suppose -2*m + 0 - 20 = 4*y, 4*y = 4*m - 8. Let j = y - -8. Suppose -2*l - i = -3*i + 4, -2*i = 4*l - j. Solve -4*c + 16 = -4*f, 0 = -l*c - 3*c - f - 4 for c.
0
Suppose -10 = -6*q + 32. Let r = -23131 + 23136. Solve 4*d + 4*p - q = r*p, 3*d = -3*p - 6 for d.
1
Let v be (-3)/(-2)*(6/9)/1. Solve f + 3*d = -2, -17 = -5*f - 2*d - v for f.
4
Let j = -51 - -54. Suppose j*o + 71 = o + 5*p, -230 = 5*o - 2*p. Let w = o + 52. Solve 4*g = 4*k + 28, -2*g + w*k = -11 - 11 for g.
3
Suppose -4*v + 14 = -0*v - 2*s, 3*s + 1 = v. Let p be (17 - 1)*(-81)/(-36) + v. Suppose 6*r - p = 56. Solve 2*g + r + 5 = 5*q, 0 = 4*g - 4*q + 12 for g.
2
Let j = 39 + -14. Let k(v) = -3*v**3 + 11*v**2 + 5*v + 1. Let m be k(4). Solve z - 5 = 5*n, -4*n = -0*n - m*z + j for n.
0
Suppose 816 = 5*m + 7*m. Suppose m*o = 65*o + 9. Solve -4*b = -3*q - 20, o*b - 3*q = 3 + 12 for b.
5
Let h(r) be the second derivative of -r**4/12 - 17*r**3/6 + 3*r**2/2 - 40*r. Let c be h(-17). Solve -1 = -2*b - c*s + 2*s, 20 = -4*s for b.
3
Let b = -12 - -10. Let r be 6 + b + 9/(-3). Suppose -8*u = -39 - r. Solve 0 = 3*i + w - 12 + 3, 2*i + u*w = 19 for i.
2
Suppose -13 = 2*p - 35. Suppose 0 = -5*r + 9 + p. Solve 5 = -5*y, -8*y - 1 = -r*d - 3*y for d.
-1
Let u be (-15)/(-9) - (-3)/9. Let i = 48 + -43. Solve 0 = p + 2*m + i, -2*m = u*p - 0*p for p.
5
Suppose 4*z - 2*z = 0. Suppose z*n = 3*n - 15. Let h be 4 + (-4)/(-18) + (-62)/279. Solve h*i + 6 = 2*v, -n*v = -2*v + 3*i - 9 for v.
3
Suppose -a + 18 = a - 4*s, 5*a + 5*s = 0. Suppose 2*d + 166 - 24 = 0. Let o = 74 + d. Solve -x - a*x + 2*q = 16, -3*q = x - o for x.
-3
Let d be 67/3 + 10 + 148/(-12). Solve q - n + 8 = 0, 0 = -3*q + q + 4*n - d for q.
-6
Let c = 1644 - 1644. Solve c = -o, -14*w + 12*w = 5*o - 8 for w.
4
Let j(l) = -9*l + 38. Let s be j(4). Let c(m) = 4*m - 8. Let a be c(s). Suppose -4*y + a*n = 4*n + 12, y - 2*n = 6. Solve -3*k = -6, -i + y*i - k = 2 for i.
-4
Suppose -2*l - 3*r + 34 = 0, -2 = -0*r - r. Suppose -11*v + 8*v = -18. Solve v*m + l = 2*k + m, -4*m - 16 = 0 for k.
-3
Let y(v) = -v**3 - 8*v**2 + 18*v + 83. Let w be y(-9). Solve 0 = -w*o - 3*o - 5*r + 20, 8 = 2*o - 2*r for o.
4
Suppose 5*d - 8 = d. Let n = 208 + -174. Suppose -18*y + 2 = -n. Solve d*k + 5*z + 25 = -y*k, 3*k - 4*z = 20 for k.
0
Let i = 187 - 185. Suppose -i*j = -6, -21 = -2*a - 4*j - j. Solve 0 = 3*v - 3*r + a, 4*v - 1 + 4 = 3*r for v.
0
Suppose -240 = -2*s - 4*i + 40, -5*i = 2*s - 278. Let v be (2/1)/(16/s). Let x be (v/15)/3 - 226/(-10). Solve -1 = -2*o + q + 2*q, -q = 5*o + x for o.
-4
Suppose -8 = -2*d + 2*a, 5*d - 322*a = -320*a + 29. Solve 4*c - 5*b + 10*b = -55, -d = b for c.
-5
Suppose -5*l - 16 = t, -1 + 2 = -4*t + l. Let o be 30*t + -2 + -1. Let n = 33 + o. Solve m + 1 = 0, n*b - 3*m + 6 = -3*b for b.
-3
Let p(g) = g**3 + 2*g**2 - g. Let m be p(-2). Let b(k) = -k + 45. Let n be b(-17). Suppose -18*o + n*o - 176 = 0. Solve -x - 6 = m*w, -o + 3 = x - 3*w for x.
-4
Let i be (-180)/(-78) + 609/91 + -7. Solve 5*n - 10 = o - 0, 0 = i*o - n - 7 for o.
5
Suppose -3*p + 27 = 3*s, -17*p = s - 14*p - 11. Solve -s*h + 13*h + 5 = -4*t, 2*t + 2*h = 0 for t.
5
Let v be -53 + 1 + 8 + 56/(-4). Suppose 2*g + 2*w - 238 = -2*g, 3*g + 4*w = 166. Let o = v + g. Solve 0 = o*r - 3*q - 15, 0*q + 1 = -r - 4*q for r.
3
Suppose 390*s - 184 = 367*s. Solve 2*n = -2, -s*n = -3*h - 6*n + 11 for h.
3
Let c(k) = 218*k + 2837. Let x be c(-13). Solve -3 = -x*f - 2*q, f = -0*q + 2*q - 7 for f.
-1
Suppose -y = -2*r - 12, -20 = -4*y + 2*r - r. Let s = 1 - 3. Let u be (0*3/12)/(s*1). Solve 3*b + 22 = 4*x, u = y*b - 2*b + x for b.
-2
Let g(y) = -y**2 + 12*y - 4. Let u be g(12). Let k be (1 - (-10)/u)*6. Let o = k - -11. Solve 2*d - d - 9 = 3*z, z = o*d + 2 for d.
-3
Suppose 9*j - 38 - 105 = -17. Solve 28 = 2*p - o + 30, 0 = -2*p - 2*o - j for p.
-3
Suppose -21*y = -17*y - 8. Suppose -2*c - d - 54 = -5*d, -2*c + y*d = 58. Let b be (-40)/(-220) - c/11. Solve b*r + r + 2*t + 2 = 0, 5*r - 4*t = 30 for r.
2
Suppose -331*p = -27*p. Solve p = -4*x - 2*u + 10, x - u = -x + 7 for x.
3
Suppose 9*q + 28 - 90 = -22*q. Solve y + 3 - 6 = t, -8 = q*t - 4*y for t.
-2
Let m(t) = -23*t + t + 2*t**2 - 3*t**2 - 17. Let r be m(-21). Solve 0 = 3*k + 9, -4*a - 11 - 5 = r*k for a.
-1
Suppose -5*n - 58 = 4*j + 66, 155 = -5*j + 2*n. Let r be 10*(j - -29)/(-1 - 1). Solve 18 = 2*h - 4*z, -h + 5*z + 28 = r for h.
3
Let t = 2487 - 2483. Solve 0 = 4*q - l - 0*l - 8, 0 = -t*l - 16 for q.
1
Let o = -5475 - -5494. Solve -3*w - 9 = -3*r, 5*w + o*r + 5 = 14*r for w.
-2
Let w = -146 - -156. Suppose -14 - w = -6*i. Solve -3*r - 3*x - 12 = 0, -i*x - 8 = -5*r - 2*x for r.
0
Let u be (-11 + 9)/((-580)/95 - -6). Solve 5*v - h = u, 2*v + 5*h + 14 = -0 for v.
3
Let n(c) = -c**3 + 22*c**2 - 38*c - 36. Suppose 0 = -4*v + l + 80, -3*v + 65 = -2*l + 5. Let k be n(v). Solve 3*s - s + k = 5*r, s = 3*r - 3 for r.
2
Let d(c) = -317*c + 2541. Let a be d(8). Solve v + 1 - a = 5*r, r + 5*v - 20 = 0 for r.
0
Let z = 23835 - 23835. Solve 0*h = -4*h - 4*t - 28, z = -t for h.
-7
Let o(z) = -20*z - 163. Let h be o(-11). Suppose 0 = -47*s - 10 + h. Suppose -3*t = 2*n + n + 6, 2*n + 4 = -t. Solve -2*l - y = -6 - s, 5*l - y - 28 = t for l.
5
Suppose 0 = -5*b + 15, 0 = -15*g + 10*g + 2*b + 1494. Suppose -4*d - g = -320. Solve -36 = d*w - 4*n, -5*w - 28 = -w - 3*n for w.
-4
Suppose 2*l + 3*m + 2 = l, 0 = -4*l + 2*m + 6. Let z be 3/(-9) + l/((-12)/(-16)). Solve -2*x + 4 - 2 = 0, i = x - z for i.
0
Let b(u) = -11*u - 52. Let k be b(-6). Let p be 24/84*(k - 0). Let l be 5/p - 1 - (-45)/12. Solve 5*j + 0*w - 1 = -4*w, 3*j - l = w for j.
1
Suppose 67*q = 71*q - 24. Suppose -2 - 33 = -5*f. Let a be 5/4 - f/28. Solve -2*i + l + q = 0, 4*i - a = l + 7 for i.
1
Let l be (-12)/15*-1 + 92/10. Solve -24*m + 20 = -29*m, 2*r = 5*m + l for r.
-5
Let p = 13233 + -13110. Solve p*x - 120*x = 5*m - 15, 4*m - 12 = 0 for x.
0
Let j(k) = -9*k + 189. Suppose 56*c = 36*c + 420. Let m be j(c). Solve -5*a = 4*t - 0*t + 1, 4*t - a + 19 = m for t.
-4
Suppose -5*j - 19 = 3*g - 54, g + 15 = 5*j. Suppose -g*b + 35 = 11*z - 6*z, -3 = 3*z. Solve -8*k = -4*k - 3*i - 18, 0 = -4*i - b for k.
3
Let c = -15760 + 15786. Solve -25*k + 4*n + 24 = -c*k, -k = -2*n - 18 for k.
4
Let i(p) = -7*p + 2*p + 6*p - 3*p. Suppose 3*v + 6 = 0, -9 + 6 = 5*g - v. Let d be i(g). Solve -4*s = -d*u - 20, s + 4*s - 25 = -3*u for u.
0
Suppose -50 - 4 = 3*d. Let s be -11 + -12 + (0 - -2) + (0 - 2). Let j = d - s. Solve j*p + 21 = -5*w + 6*