9. Solve -4*h - 2*u = -9*h - 13, 4*h = -3*u - v for h.
-3
Suppose 175*z - 166*z = 104*z. Solve z*k - 2*h = -5*k - 11, -4*k - 16 = -4*h for k.
-1
Let a = -434 + 432. Let b be 2/4*(6 - (a - 0)). Solve -4*s = 4*y + 4, b*y + 5 - 1 = s for s.
0
Suppose -985*n = -1137*n + 2128. Let k(b) = -b**3 + 9*b**2 - 6*b - 9. Let h be k(8). Solve 2*i - n = h*l - 3*l, -4*i + 8 = -4*l for l.
-5
Let y(m) = 20*m**2 - 578*m - 47. Let p be y(29). Solve -5 = -t, 2*z + 14 - p = t for z.
1
Let x = -19 + 179. Suppose -3*r - 2*r = x. Let f be (45/10)/((-6)/r). Solve 5*o - 3*c + f = 0, 2*o + 5*c - 6 = -o for o.
-3
Suppose -15*b - 13 = -43. Suppose -2*w = -m + 4 + 10, -38 = -5*m + 2*w. Solve 4*d + r + 15 = 0, -d + m = -2*d + b*r for d.
-4
Let g = 252 + -255. Let o be (g - -3) + 4 + -2. Solve 0*w = 5*w, 0 = o*s - 2*w + 10 for s.
-5
Let s(q) be the second derivative of q**3/3 - q**2 + 28*q. Let t be s(2). Suppose 86 = t*g + 80. Solve 2*r = -4*f - 2, -5*r + g*f + 2 = 6*f for r.
1
Let t be 396 - 35 - (1 - (5 + 0)). Let z = -362 + t. Solve 20 = -4*f, -o + 0*f = f + z for o.
2
Suppose -92*v + 103*v - 44 = 0. Let a be 8 - v - ((-14)/2 + 1). Solve 0*u + 5*x + a = -5*u, -2*x = -2*u - 4 for u.
-2
Suppose -5 = 5*i - 0. Let g = 1 - i. Suppose 43*k - 47*k + 8 = 0. Solve -3*x = k*d - 5, -4*d = -g*d - 8 for x.
-1
Let y be (4 - 1)/(4/(-20)). Let n = y - -18. Solve b - 1 - n = 4*w, -2*w - 2 = -b for b.
0
Let z = 10 - 6. Let k(o) = 154*o**2 + 7*o + 3. Let i be k(-1). Let t = i + -146. Solve -z*s = s - 4*h, -4*s + 4*h - t = 0 for s.
4
Let y = 62 + -52. Suppose 7 = y*w - 33. Suppose w*q + 4*z = 68, -q + 5*z + 0*z + 35 = 0. Solve -4*h = -2*t - 18, 2*t - 4*h = h - q for t.
-5
Let c be 5 - 5/(-10)*2. Let l be c/(-21) + 1332/(-42). Let q = l - -34. Solve 13 = 5*x - 0*g - q*g, 4*g = -16 for x.
1
Let r be (-13)/(26/8) - (0 - 4). Solve 4*z - 7*z + 6 = r, 4*h - 5*z = -18 for h.
-2
Let d be 2/14*-8 + 19/133. Let s be d - (0 + 0 + 9*-4). Let c = s + -35. Solve 5*l + 5*a = 15, -3*l + 5*a = -c - 1 for l.
2
Let l = -3742 - -3742. Solve l = -5*j + 5*x + 45, -j + 15 = -2*j - 5*x for j.
5
Let w = -6419 - -6507. Solve -5*q + w = -4*d + 62, 2*d = -4*q for q.
2
Suppose -2*h = 863 - 865, -3*w - 5*h + 62 = 0. Let y(v) = v + 7 + 5 - 8*v**2 - 9 + v**3. Let q be y(8). Solve 5*r - 3*p - w = 0, -2*p + q = 4*r - 13 for r.
5
Suppose p - 2 = 2*z, 28*z = 30*z. Solve 2*j + 26 = -2*j + 3*f, 4 = p*f for j.
-5
Let v(x) = 6*x**3 - x**2 - 7*x + 20. Let z be v(3). Let t = z + -148. Solve -2*w - 3*w = t*f - 26, -4*f = 4*w - 24 for w.
2
Let r be (-57)/(-18) + -1 + 9/(-54). Suppose 2*b = -r*b + 3*b. Suppose 4*y - 12 = -b*y + 4*t, -t = -1. Solve 0*w = 3*p + 3*w - 12, 4*p = 2*w + y for p.
2
Let w = -42052 - -42089. Solve -5*z + 5 = -5*t, 33*z = w*z + 12 for t.
-4
Let y = -3786 + 3789. Solve 0 = -y*u + 2*q - 5, 2*q - 5*q = -3 for u.
-1
Let u be (4/18)/(-1) + (-4)/72*-58. Solve 0 = -u*z + 3*s + 12, -2*s - 21 + 3 = -4*z for z.
5
Let x be (1 + 5)/(3 + -1). Suppose 8*k = -x*c + 11*k + 30, k - 42 = -3*c. Solve 4*b + 5*t + 11 = 0, -3*t = -3*b - b + c for b.
1
Let j(b) = -b**2 - 19*b + 973. Let w be j(23). Solve 14 = t - 3*a, 3*t - 29 + w = 5*a for t.
-1
Let w(j) = 2*j**2 + 7*j - 1. Let r be w(-5). Let u = -11 + r. Let y = 177 + -172. Solve 2*t + 4*c = 0, u*t + y*c - 4*c = 0 for t.
0
Suppose -8 = -w - 3*w. Let n = 724 + -338. Let o = n - 386. Solve 5*x = -o*x - c + 5, -w*c = 0 for x.
1
Suppose -4*h = y - 8, 7*y + 3*h - 45 = 3*y. Let x be 96/y - (2 + 1). Solve x*j - 2*j = 4*v + 12, 8 = 2*j - v for j.
4
Let m be (-60)/8*8/10 + 118. Let k = m + -110. Solve -2*j = -2*z - 1 + 5, -k*z = 5*j - 11 for j.
1
Let y(j) = -174*j - 2084. Let n be y(-12). Solve -3*t + n*v + 8 = -3, -v + 2 = 4*t for t.
1
Let s(p) = 5*p**2 + 3. Let y be s(3). Let b be (-5)/2*-2 + (6 - (2 + 6)). Suppose -b*c = 3*c - y. Solve -2*u = z + z - c, 5*u + 8 = 2*z for u.
0
Let x = 27954 - 27943. Solve 6*h + 16 = x*h + a, -5*a + 34 = 2*h for h.
2
Let g = -10 - -34. Suppose 3*m = -0*m + g. Suppose m*h = 2*h + 12. Solve r + 0*r - 4 = -3*t, -t = -h*r - 13 for r.
-5
Let c be (-1 + (-12)/(-24))*0. Solve 3*o + 91 - 118 = 3*k, -3*o - 4*k - 8 = c for o.
4
Let j = 330 - 333. Let h be (12/(-18))/(1/j)*8. Solve 2*y + 3 + 5 = 2*w, -h = 5*y - 4*w for y.
0
Suppose 0 = 2*l - 6*l + 12. Suppose -5*a = -l*a - 4. Let j be 10 + -10 + a + -2. Solve 2*n = -2*p + 3*p, j = -4*p + 4*n - 4 for p.
-2
Suppose 0 = 3*d, 55*r - 57*r = -3*d. Let n = 17 + -10. Let c = n - 4. Solve 0 = -v + m + 3, -c*v + m + 5 = -r*v for v.
1
Let i(a) = a**2 + 9*a - 8. Let g be i(3). Suppose 11 = -g*k + 39. Solve 2*v + 0 = 3*n - k, 11 = -4*v + 3*n for v.
-5
Let m be (-6)/4 - -1 - 294/(-12). Let c be (-1 + 18/10)/(m/120). Suppose 5*f + c*w - 42 = 0, 5*f + 3*w - 40 = -1. Solve p = 5*u - 14, u = 2*p + f*u - 17 for p.
1
Suppose 0 = -y - v + 8, -4*y - y - 4*v = -37. Solve 5*a - y*c - 5 = 0, -17*a = -16*a - 3*c - 13 for a.
-5
Let z be ((-2)/6 - -2)*(-1017)/(-565). Solve -2*x - 5 = k, -z*k + 5*x - 18 = -14 for k.
-3
Suppose -92 = 62*x - 588. Solve -4*q - v + 10 = 0, 0 = x*q - 13*q + 2*v + 6 for q.
2
Let f = 672 - 37. Let y = f - 633. Solve y*i + 3 = 3*g - 7, -6 = -3*g for i.
-2
Let p = -16924 - -16928. Solve -5*c + 4*l = -20, c = -0*l - l + p for c.
4
Let x = -56 + 58. Suppose 86 = -7*z + x. Let m be ((-2)/(-4))/((-2)/z). Solve -2*k + 2*j = -6, k + 9 = -0*k - m*j for k.
0
Let j(q) = -q**3 + 6 - 6 + 11*q**2 - 6 - 7*q. Let l be j(10). Solve 2*x + l = -4*h, 4*h - 2*x = -9 - 7 for h.
-5
Suppose -5*o + 3*q + 22 = 0, -4*q + 9 = -10684*o + 10685*o. Solve -2*l + 4 + 5 = -b, o*b + 2*l - 3 = 0 for b.
-1
Let a = -93 - -102. Suppose 4*n + 3*h = 32, 0 = 5*n + 3*h - h - 33. Solve n*y + a = 2*t, -t + 2*y = -0*y - 4 for t.
2
Let d = 100 - 95. Suppose 2*r + 5*y + 34 = r, 4*y = 3*r + 64. Let m = r - -60. Solve -d*x + 2*p = 2, 5*x + 4*p - 10 = -m for x.
-2
Suppose 2*k = -n + 5 + 21, 4*n - k = 59. Suppose -5*f + 76 = n. Suppose 16*v - 116 = f*v. Solve 4*p - 14 = 3*j, -v = -4*p - 4*j - 1 for p.
5
Suppose 4 = 2*k + 12. Let x = k + 7. Let u(d) = -13*d - 259. Let l be u(-20). Solve x*z - 4*v = l, 2*z = v + 1 - 7 for z.
-5
Suppose 4*z - 82 - 6 = 0. Let c = z - 12. Suppose 3*l + 5*o - 29 = 0, -9*l + 4*o = -11*l + 22. Solve -15 = l*v, 0 = 5*k + 5*v + c for k.
3
Let y be ((-2)/(-2))/(-2 - -3) + 27. Suppose -135 = -y*b + b. Solve -3*q = -2*m - 2, 6*q - q = 5*m - b for q.
4
Let n = -11 - -73. Let i = -151 + n. Let t = i - -94. Solve 0*p - p = 5*o + t, -4*o = 5*p + 25 for o.
0
Suppose 130 = s + 20. Let q be s/40 + (-3)/4. Solve k - w + 4 = 0, q*k - 4*w = w - 20 for k.
0
Let x = 2347 - 2333. Solve 0 = 2*r + n + 3, 4*r + 0*n = 2*n + x for r.
1
Let k = 146 - 141. Let v be (6/k)/3*(-9 - -14). Solve 5*s - v*r + 14 = -13, -4*r + 4 = 0 for s.
-5
Let l(p) = p**2 - 4*p - 717. Let x be l(-25). Solve 5*b + 12*u = x*u - 12, 5*u = -3*b - 15 for b.
0
Suppose 6*g + 0*g - 240 = 0. Let y be g*((-2)/10 + (-3)/(-5)). Solve -3*w = 4*n - 7*w - y, -w - 9 = 4*n for n.
-1
Suppose -6*f + 2*f + 16 = 0. Suppose 0 = -j - 4*y + 7, -y = -27*j + 32*j - 16. Solve i - f = -j*i - 4*b, 2*b = -4*i for i.
-1
Suppose 83*d + 153 = 319. Solve h + s = d, 2*h - 4*s + 6 = -2 for h.
0
Let y(m) = -5*m**2 + 107*m + 76. Let h be y(22). Solve -h = 2*t, -3*n + 29*t + 19 = 27*t for n.
3
Suppose 6 + 78 = 3*c. Suppose -22*q = -c*q + 30. Solve -5*b + q*h = 15, 0*b - 2*b = -5*h + 21 for b.
2
Let n(c) = c**2 - c - 2. Let w be n(-2). Suppose 3*y - 9 = -0*y. Let i be 1*(-4 + 20/5) + y. Solve 3*z - w = m - i*m, -5*m + 33 = -4*z for m.
5
Let k be ((-17 - -11)/(-3))/1. Suppose 4*j + 3 = -m - 0*j, 0 = 4*m - 3*j - 7. Solve -q + 0 = -d + m, 0 = k*d for q.
-1
Suppose -95*n = -137*n + 924. Solve 19*t + 2*h = n*t + 10, 4*t = -h - 6 for t.
-2
Let p = -14 - -62. Let y = -46 + p. Suppose -g + 3*m - y = 0, -1 = -2*g + 3*m + 1. Solve 0 = -f + 5*x + 11 + 5, -4*x = -g*f + 16 for f.
1
Let n be (420/(-1190))/((-4)/136). Solve -4*j - n + 0 = 3*f, -20 = 5*f for j.
0
Let m be 10/(-6)*594/(-330). Solve -m*o = 3 - 9, -16 = 2*h - 4*o for h.
-4
Let f = -158 - -272. Suppose 0*b + 19*b = f. Suppose 36*z + b = 38*z. Solve 0 = z*k + 5 + 1, 3*v + 1 = -2*k for v.
1
Let q be (-390)/(-450) - (-4)/30. Let o = -187 - -195. Solve -2*l - 4*p - o = -0, q = -l - p for l.
2
Suppose 84*r - 379 - 190 = 355. Solve -r*h + 19 = i - 6*h, 3 = h for i.
4
Let b(o) = 3*o**