9. Solve u + 4*f = 5 + 6, -q*u = -5*f + 35 for u.
-5
Suppose -22*l + 15 + 29 = 0. Solve 2 = -l*s + 3*z - 14, 5*s - 5*z + 35 = 0 for s.
-5
Let n be 2 - (3*-1 - 0). Let h be 2 - 4 - (2 + -1)*-2. Let w = -11 - -13. Solve h = n*x + 25, c + 3*x = -w - 16 for c.
-3
Let u(v) = -v**2 + 20*v + 34. Let p be u(20). Let b = 36 - p. Solve k + b*n + 7 = 0, 0 = -k + 3*n + n + 5 for k.
-3
Let s be (-8)/(-32) + -3 + (-348)/(-16). Solve -5*q = 3*j - s, q - 15 = j - 8 for q.
5
Suppose 5*j + 146 = -4*m + 44, 9 = -3*m. Let h be (-2)/7 + (-298)/(-14). Let w = j + h. Solve 13 = -3*t - 5*v, 0*v = -w*t - v - 5 for t.
-1
Suppose k = -k - 138. Let p = -97 - k. Let u = -24 - p. Solve 0 = -h + w + 2, -2*h - u*w = -1 - 3 for h.
2
Let v = -1963 + 1967. Solve -5*s + v*u - 15 = 0, -4*s - u - 5 = -14 for s.
1
Let i be (45/(-105))/((-6)/28). Solve i*t = 10, 1 = 2*j + t - 2 for j.
-1
Suppose 0 = -5*o - 5 + 25. Solve -4*a = -o*r - 28, -4*r = 3*a - 6 - 1 for a.
5
Let f be ((-3)/1)/(3/(8 + -11)). Solve -2*h - 11 = j, j + f*j - 3*h = 0 for j.
-3
Suppose -3 = -4*s - 3*o, -2*s = s - 5*o - 24. Solve 0 = -i + t + 2, -i - 2*t = s*i - 2 for i.
1
Let q be ((-39)/9 - -4)*0. Suppose q = 4*s - s - 0*s. Solve s = -3*n + 2*h - 11, 3*n = -5*h - 4 for n.
-3
Suppose 5 = 2*g + b - 4, 4*b - 12 = 4*g. Let m(a) = a**2 + 10*a + 15. Let f be m(-9). Solve 5*q - 3*x + f = 0, -q + g*x - 5 = -1 for q.
0
Let t be 1 + (1 - (-3 - -1)). Let y = 7 - t. Let x be 1*((-3 - -17) + 3). Solve 0 = n + y*l + 16, 2*n + x - 1 = -2*l for n.
-4
Let o = -3012 + 3016. Solve -26 = 3*g - o*z, 19 = -2*g + 4*z - 5 for g.
-2
Let h = 1042 + -1035. Solve -5*w = -3*o + 14, -4*o + 6 = -h*o for w.
-4
Let a = 88 + -83. Let w be 3 - 2 - (-1 + -1). Suppose -3*u + w*n = 0, 0*n - 12 = -a*u + n. Solve -7 = 4*j - u*z + 1, -3*j = -3*z + 6 for j.
-2
Let l be -22*(3 - 14/4). Let v(i) = -3*i**3 + 14 - 6 - 16*i + l + 2*i**3 - 18*i**2. Let m be v(-17). Solve -m*n = -5*s - 0*s + 31, s - 11 = 2*n for n.
-3
Suppose 2*k - 1 - 5 = 0. Solve k = 3*p, -w - 4*p = p for w.
-5
Let y(t) = 2*t. Let x be y(2). Let h = 64 + -44. Let w be (-12)/(-7) - h/(-70). Solve -5*v - 5 = -5*d, -5*v - 5 = -w*v - x*d for v.
1
Suppose k = -3*k + 276. Let i = k + -63. Solve 0*p - r - i = -2*p, 5*p = -4*r + 41 for p.
5
Suppose 10 = -3*z + 55. Suppose 2*m + 10 = -3*c, -2*c - 3*m + 0*m = 0. Let d be (-4 + 1)*8/c. Solve l + 2*l = 3*t + z, 4*l = -4*t + d for l.
3
Let p(h) = h**2 + 16*h + 48. Let o be p(-13). Solve o = -4*x - 0*x - d, -d = -3*x - 12 for x.
-3
Suppose 2*o + 4 = 8, 3*r - 2*o + 16 = 0. Let k be 4/((-2)/(2*2)). Let n = r - k. Solve y + 2 + 1 = -a, n = -4*y for a.
-2
Let q = -152 + 154. Suppose -2 = -0*w + 2*w - q*b, -3*w - 2*b + 7 = 0. Solve 4 = 2*r - 5*g, w = r + 5*g - 1 for r.
2
Let u(x) be the third derivative of -31*x**4/24 - x**3/6 + 4*x**2. Let j be u(1). Let h = j - -34. Solve -5*y - 10 = 0, 3 + 5 = o - h*y for o.
4
Let o = -45 + 50. Suppose o*a + 9 - 34 = 0. Solve -l + 2 = -2*f - 6, a*f - 3*l + 19 = 0 for f.
-5
Let j(v) = -4*v**2 - 10*v - 9. Let s(c) = -9*c**2 - 21*c - 19. Let a(d) = -7*j(d) + 3*s(d). Let u be a(-6). Solve -2*m + 4*z + 8 = u, m - 5 = -m + z for m.
2
Suppose u = -2*o - 0*u + 17, -55 = -4*o + 5*u. Solve 7 = v + 2, 2*v + o = -5*s for s.
-4
Suppose 3*t - 102 = 2*f + t, -2*t - 234 = 4*f. Let b = 75 + f. Solve 0*m + 2*m = 5*c - b, 5*m = 4*c - 22 for m.
-2
Let q(b) = 36 + 0 - 6*b - 1. Let a be q(5). Solve 3*x = 3, a*u + 2*x - 13 = 4*x for u.
3
Let l = 73 - 45. Let z = l - 8. Let y(v) = 4*v**2 + v. Let m be y(1). Solve 0*t = -t + m*a + z, 5*t + 20 = a for t.
-5
Let m be (-686)/28*(-2)/7. Solve 6*q = 5*q - 3*j - m, 6 = -q - 2*j for q.
-4
Suppose 4*h = -s + 2 + 3, -7 = h + 3*s. Suppose -l = -h*a + 8, -a - 20 = -5*a + 3*l. Solve 5*u - a*b - 5 = 0, -4*u + 3*b = -8 - 3 for u.
-1
Let k = 35 - 29. Let c(g) = -g**3 + 4*g**2 + 12*g + 10. Let j be c(k). Solve 3*n - 18 = f - 7, -5*n + j = 0 for f.
-5
Suppose 2*p + 3*u + u = -12, -4*p + 5*u = 11. Let o = -12 - -5. Let r = p - o. Solve 28 - 9 = -r*t - 2*l, -3*l - 9 = -2*t for t.
-3
Let h be 266/49 + (-18)/42. Let p(k) = 2*k + 10. Let r be p(-4). Solve -r*a + 4 = -0*a - 4*j, 0 = 5*a - h*j for a.
-2
Let w = -2186 + 2191. Solve 3*v - 5*v = 2*k - 10, 4*v + w = k for k.
5
Suppose 2*a - 10 = -0*a. Let k be -13 + (42/(-3) - -37). Suppose 0 = -4*q + 3*q + 9. Solve -4*m - 2 - q = -r, a*m + k = 5*r for m.
-3
Let q(p) = -p**2 + 5*p - 1. Let g be q(6). Let x = 10 + g. Solve 2*z = -2*o - 6, 15 = x*o - 5*z - 16 for o.
2
Suppose 0 = -2*p + 3*i + 5, -3*p + 10 = -i - i. Solve 5*q + v - 40 = -2*v, p*v = -5*q + 45 for q.
5
Let t(o) = o**3 + 6*o**2 + 5*o - 6. Let b be t(-5). Let v = b + 9. Solve v*w + 0 - 3 = 3*x, -4*w + 2*x = 6 for w.
-4
Let u be 35/(-14)*12/(-15). Solve 3*j = p + 11, 0*j + 24 = -4*p + u*j for p.
-5
Let y = -15 + 7. Let w(m) = m**3 + 8*m**2 + m + 6. Let q be w(y). Let u be (q/(-4))/((-2)/(-16)). Solve u*r = 4*p + 24, 2*r + p = -0*r + 9 for r.
5
Let g = 30 - 11. Suppose -2*s + 150*c + 14 = 152*c, 3*s = 5*c - 11. Let j = 9 - 5. Solve -s*q - j*h + 3 = -g, 2*q + 5*h = 24 for q.
2
Suppose 0 = -7*m + 761 - 747. Solve -m*y = -5 + 1, -4*y = 2*z - 10 for z.
1
Suppose -4*c - 3*g = 27, -3*g + 5 = -3*c - 10. Let u be (c/(-8))/((-4)/(-16)). Let k be -1 + u + -1 + 1. Solve 2 + 11 = 2*z + 3*r, -r + 7 = -k*z for z.
-1
Let r be 44/12 + (16/6)/(-4). Suppose 0 = -c + r*q - 2, 4*q = c + 2*c + 1. Solve -s + 4*h = -4, h + c = 4*s + s for s.
0
Suppose -5*n = -6*n - 1, -n = -3*u + 16. Solve 0 = 4*c - 4*x - 12, 0*c + u*c = -4*x + 33 for c.
5
Suppose -m = 3*x - 212 + 32, -3*x + 195 = -4*m. Let o = x - 40. Suppose -a = 2*w - 16, 0 = -3*w - 5*a - 4 + o. Solve -l = -k - 6, 2*k + w + 5 = 4*l for l.
1
Let n = -42 + 47. Let w(u) = 2*u**3 - 8*u**2 - 10*u + 1. Let a be w(n). Solve 4*m + 4*h - a = 3, 3*m - 2 = -4*h for m.
2
Let t(v) = -v**3 + 3*v**2 - v + 2. Let b be t(0). Suppose -2*l = b*l. Solve -w + 8 = -f, -5*f + l*w + 3*w - 34 = 0 for f.
-5
Let w(x) = 3*x + 38. Let n(l) = 2*l**2 - 12*l - 11. Let v be n(6). Let i be w(v). Solve 0 = -3*k + 2*d - 4, -i*k = 4*d - 3*d + 11 for k.
-2
Let h = 1 + 0. Suppose -4*v - h = -9. Suppose 4*y = -4*o + 20, 0 = v*o + y - 2 - 5. Solve b + 11 + 1 = -3*n, -3*b - 1 = o*n for n.
-5
Let n be (2 - 0) + 297/33. Solve -2*o = 10, n = s + s - 3*o for s.
-2
Suppose -30 = -2*b - 0. Let k = 22 - b. Let n(g) = 2*g - 7. Let r be n(6). Solve -k*l = -4*l - 3*q + 15, 2*l - r*q + 10 = 0 for l.
-5
Let u = -29 - -54. Suppose 6*h - u = h. Suppose 12 = -g + 4*g + 5*p, -g + 4 = 2*p. Solve 3*c - 17 = g*n, h*n + 9 = -3*c - 19 for n.
-5
Let x be 11 + (2 + 0)/1. Suppose 3*l - 38 - x = 0. Let g = 204 + -201. Solve -o + g*h = -1, 4*o - l = h - 2 for o.
4
Suppose 3*v + 5*h - 98 = 0, -42 + 15 = -v + 4*h. Suppose v = 3*n - 5. Let x be (n/8)/((-4)/(-8)). Solve x*r + 12 = -4*m, -3*r - 5*m - 6 = 9 for r.
0
Suppose -4*j = 3*j - 49. Suppose -l - 2 = -j. Solve 2*f + 2*f - 1 = l*w, -5*f + 20 = 0 for w.
3
Let n(b) = 9*b**2 + b. Let v be n(-2). Suppose 3*i = 3*w - 0*i - 30, -3*w + v = -4*i. Solve 3*m + w = s, 2*s - 18 = 4*s + 4*m for s.
-3
Let k(m) = 14*m**3 - m**2 - 2*m + 2. Let o be k(1). Solve 2*r = -2*u - 8, -3*u - o = r + u for r.
-1
Let p(k) = -3*k + 17. Let s be p(-1). Solve 2*q - 5*z + s = 0, -3*q - z + 22 = -7*q for q.
-5
Let f be 0/(-2) + (-21)/12*-4. Suppose -14*n + 35 = -f*n. Solve -5*u + n = -5*g, -2*g = g + 3*u + 21 for g.
-4
Let m(t) = 4*t + 14. Let q(x) = x**3 + 16*x**2 + 38*x - 15. Let c be q(-13). Let s be m(c). Solve 0 = -g + 2*h - 15, -5*g = h + 14 + s for g.
-5
Suppose -w - 3*g - 6 = 0, -3*w + 5*g = -7*w - 10. Let c(m) = -2 - 3*m + 6 + 2*m + w. Let d be c(2). Solve -6 = 2*k, 0 = 5*l - 4*k + d*k + 14 for l.
-4
Let o = 10 + -6. Let p(m) = 5*m + 124. Let s be p(-24). Solve -30 + 0 = -5*c - o*u, 0 = c - s*u + 18 for c.
2
Let b = 39 + -37. Let x be 0 + 2 - (b - 0). Solve -3*n + 5*g - 5 - 5 = x, -15 = -3*g for n.
5
Let d(p) = -83*p**2 - 6*p + 5. Let z be d(1). Let b = z - -90. Let k(m) = -m**2 + 6*m - 3. Let r be k(5). Solve 5*h = -v + 4*v + 19, 0 = r*v + b for h.
2
Let x = -76 - -41. Let r = x + 76. Suppose 5*z - r = -6. Solve 4*k = -5*s + z, -k + 5*s = -0*k + 17 for k.
-2
Suppose 0*s - 16 = -3*s - 4*t, 2 = 2*t. Solve 4*f = -2*i, -i + 28 = s*f - 6*i for f.
2
Let w(h) = -h**3 - 7*h**2 + 6*h - 6. Let l be w(-8). Let i(s) = s**2 + 6*s - 6. 