9. Let j be a(-6). Let n(y) = 13*y + 198. Let w be n(-15). Let p = 9 - 3. Solve -j*g + l - 17 = 0, 2 = 2*g + w*l + p for g.
-5
Suppose -46 = 63*t - 298. Let j be -2*(-2)/(-6) + 142/6. Solve -m = 4, -m - t*m = b + j for b.
-3
Suppose 5*t = -31*s + 35*s - 30, 0 = -s + 4*t + 24. Solve -5*l = -5*j, 3*l = -s*j - j for l.
0
Suppose -35 + 70 = 7*z. Let h(o) = -o**2 - 10*o - 9. Let q be h(-7). Suppose -10 = -2*c - 2*k, -q - 3 = -z*k. Solve 16 = -4*r - l, r = c*r + 5*l + 23 for r.
-3
Let w(z) = 3*z**2 + 6*z + 3. Suppose -14 = 3*j + 2*l, 0 = 2*j - 11*l + 9*l - 4. Let d be w(j). Solve -b - 2*q = d*b - 6, 2*q + 8 = 3*b for b.
2
Let s be (-1)/((-9 + 319/33)*(-3)/10). Solve -2*w - 5*a = -20, 3*w + 4*a + s - 21 = 0 for w.
0
Let h = 3 - 1. Suppose 3*r = 0, h*t = -3*r + r + 6. Suppose 5215 = -11*i + 5248. Solve -6 = -l + 4*l + k, i*k = -2*l + t for l.
-3
Let r(d) = -d**2 - 77*d - 724. Let a be r(-11). Solve 5*n + 3*w = -1, -n - a*w + 9 = -6*w for n.
1
Let p = -13203 + 13207. Solve -4 = p*v, n + 3 = 5*v - 3*v for n.
-5
Suppose 0 = -5*c - 0 - 75. Let d be (12/(-5))/(6/c). Let v = d + 6. Solve -2*r + 1 - v = 3*l, r - 4*l - 22 = 0 for r.
2
Suppose 33*u = 29*u + 12. Let n be (-30)/4*(-4)/u. Suppose 5*t - 20 = -3*x, -3*x + 2 = 3*t - n. Solve 2*f + 35 = -5*h - f, -2*f - 26 = t*h for h.
-4
Let m be -3 - (-3 - -3) - (-32 - -24). Solve 0 = 3*s + m*g - 8, 8*g - 3*g - 7 = -2*s for s.
1
Suppose -3*k + 156 = 33. Let z(q) = -34*q**3 - q. Let r be z(1). Let p = r + k. Solve 0 = 3*d - 2*h + 1, 0 = 3*h - p for d.
1
Suppose 6*s = -2*s - 35*s + 172. Solve w - 13 = -3*z, w + s*w - 17 = -3*z for w.
1
Let f(v) = -114*v - 110. Let j be f(-1). Solve -3*l = -2*i - 0*i + 4, 5*l = j*i - 10 for i.
5
Let d(p) = -22*p + 25. Let j be d(1). Solve g - 5*z = 20, -4*z = -j*g + 5 + 11 for g.
0
Let n(l) = -3*l**2 - 74*l + 28. Let w be n(-25). Solve -3*j - 16 = -6*j - h, -w*h = -2*j + 7 for j.
5
Let a(q) = 16*q + 435. Let l be a(-27). Solve 7*n - 3 = 4*n - 2*y, -l = -y for n.
-1
Let t be 23/(-5) + 146/(-365). Let i(m) = 3*m**3 + 17*m**2 + 7*m - 4. Let q be i(t). Solve -5*r + 0*d + d = q, -2*r = -4*d - 10 for r.
-3
Let c = -524 - -527. Solve 4*h = -c*x - 2 - 21, -5*h = 25 for x.
-1
Suppose -688 = -290*k + 312 + 160. Solve k*y - d = 14 + 3, 2*y + 2*d = -4 for y.
3
Let m(w) = w + 37. Let l = 74 - 83. Let a be m(l). Solve 5*n + 4*g = 17 + a, -n - 2*g + 15 = 0 for n.
5
Suppose 0 = -5*a + 6*a - 3. Suppose -3*r + 3 = a*y, -22 = -y - 3*y + 5*r. Suppose -2*b - 5 = -13. Solve -t + y = 2*t + 5*n, -1 = -t + b*n for t.
1
Suppose 4 = -b, -4*j = 3*b - 0*b - 1196. Let x = -298 + j. Solve 16 = -x*n, -4*z + 6 + 10 = -4*n for z.
0
Suppose -4*b = -2*f + 10, b = -5*f - 0*b + 80. Solve -4*c = l + f, -3*l + 11 = 5*c + 21 for c.
-5
Let t be (-74 + 73)/((-1)/4). Solve 5*j + 3*v = 16, t*j + 5*v + 40 = 9*j for j.
5
Let d be -8 + 5 + 7 - (-15 - 1). Suppose d*y - 34 = 3*y. Let q = -41 - -82. Solve 0 = 5*n - y*h + 38 - 5, q = -5*n + 4*h for n.
-5
Suppose -5*a = -369 - 91. Let l be -4 + 2/(-10) + a/10. Suppose 0 = -l*g + 2*v - 0*v, -3*g = 2*v - 16. Solve 10*p - 5*p - g = -3*i, -2*i + p + 10 = 0 for i.
4
Let l = 172 - 160. Suppose 17*t - 4*p - 7 = l*t, 4*p - 17 = -3*t. Solve -3*i + 24 = -0*i + t*n, -5*i + 2*n = -12 for i.
4
Let z be (16/(-12))/(24/(-378)). Let d be 5/15*-1 + z/9. Solve 3*y = -d*g + 7*g - 9, 10 = 2*y + 2*g for y.
2
Suppose -7 = 3*y - 19. Let n(q) = -11*q + 421. Let j be n(38). Suppose -p - 2*t = -0 - 10, y*p + 15 = j*t. Solve -2*b = 4*w - b - 6, p = -2*w - 2*b for w.
2
Suppose -6*s = -3*s - 885. Let q = 298 - s. Suppose 0*c + c = 5. Solve -q*n + 21 = -0*n + 5*o, 0 = c*n - 3*o - 1 for n.
2
Let j be 16/8 + 4 - 0. Let m be (-96)/(-128)*40/j. Solve -5*t + 1 = -3*k + 11, 4*k + m = 3*t for t.
-5
Let c(d) = -5*d**3 - 90*d**2 + 10*d + 180. Let q be c(-18). Solve -3*l + 5*b - 40 = q, 2*l - 27*b + 22*b + 35 = 0 for l.
-5
Suppose 9*x + 5 = 4*x. Let u be (-1)/((-2)/(x - -25)). Let t be (5/(-2))/(114 - 123 - (-268)/32). Solve 5*b + g = u, 0*b = t*b - 5*g + 2 for b.
2
Let x be (-7 + -2)*(-217)/7. Let y = x - 276. Solve y*t + 15 = 3*b, -t - 5*b + 9 = 2*t for t.
-2
Suppose 18*y = -43*y + 663 + 557. Solve 5*t - y = 0, -4*t + 44 = 4*k + 8 for k.
5
Suppose -3*w + 7*w = 8, 54 = 2*y + 7*w. Solve 5*t + y = -0*v - 5*v, 3*t + 9 = 0 for v.
-1
Suppose -3*h + 3*y + 37 - 43 = 0, -3*h = 4*y - 43. Solve -3*r - 4*x + 95 - 107 = 0, -5*r + h*x = -15 for r.
0
Suppose 5*k - 4*t - 158 = 0, 3*k - k + 5*t = 83. Suppose -j - k = 11. Let h be 6/27 + (-80)/j. Solve -4*b = -0*b + h*f + 16, -2*b + 5*f = 20 for b.
-5
Let r = 913 - 883. Suppose 29*y = r*y + 1, -s + y = -3. Solve 9 = 5*p - s*c, -2*p + 3*c - 7*c = 6 for p.
1
Let n = 121 - 113. Suppose -y = n*y - 27. Solve y*i - i + 4*s - 6 = 0, -4*i - 5*s + 12 = 0 for i.
3
Let t = -1171 - -1171. Solve t = 3*m - s + 5, 0 = 3*m + 3*s - 5 - 10 for m.
0
Suppose a = 5*a + g - 143, -178 = -5*a - 2*g. Suppose -q = 2*q - a. Solve -2*t + 3*t + 3*p = -q, -t - 4*p = 15 for t.
-3
Suppose j - 54 + 20 = 0. Suppose 0 = -h - 4, 0 - j = -5*y + h. Solve 4*d = v - 3*v + 26, -2*v + 4*d = y for v.
5
Suppose 145*b - 414 = 127*b. Solve -17 = 5*k + 5*w + b, 4*k - 5*w = -5 for k.
-5
Let p be (-20)/(-6)*(-12)/(-10). Let g be 0 + 3 - 1/1. Suppose 5*n - 130 = -2*v - 14, -g*n + 2*v = -52. Solve w + 15 = p*x, w - n = -2*x - 9 for w.
5
Let a = 5360 - 5355. Solve -2*g = i - a, -17 = 4*i - g - 1 for i.
-3
Suppose -198*z - 17730 = -4266. Suppose u = -3*x - 77, 224 = -3*u + x - 3*x. Let l = z - u. Solve -l = -2*o - 5*y - 2, -2*o + 4 = -4*y for o.
2
Let r = 453 - 764. Let w = 323 + r. Solve -4*j + g - 4*g = 12, -w = -3*j + 3*g for j.
0
Let g be 96/44 - (-7 - 948/(-132)). Solve -v + g*v = -3, -4*v = -4*o for o.
-3
Suppose 16*h - 29*h - 17*h + 570 = 0. Solve 2*x + h = 3*b, -8*x - 38 + 7 = 3*b for x.
-5
Let g = -203 - -240. Suppose g - 39 = -a. Solve -3*s - a*s - 2*r + 2 = 0, -5*r = -s - 5 for s.
0
Let m be ((-34)/4)/(32/64). Let b be ((-2)/(-4))/(2/(-8)) - m. Suppose -35 = b*r - 22*r. Solve -5*q + 3*p - 10 = 0, 5*q - r*p - 1 = -11 for q.
-2
Suppose 0 = -3*q - 9, 6*q = -5*l + 4*q - 36. Let c be ((-6)/9)/(((-32)/l)/(-8)). Solve c = -2*n - 3*t + 5, -t + 2 = n for n.
2
Let r(u) = 5*u**2 + 4*u - 3. Let i be r(3). Let v be 9/4 + (i/(-24) - -2). Solve 3*m - v*k = -7 - 1, 0 = -4*m + 4*k - 16 for m.
0
Let n(s) = s - 9. Let p be n(13). Suppose -p*w - 8 = -8*w. Suppose m = 4*a - 11, 3*a + 21 = 5*m + w*a. Solve 5*y - m*c = y + 25, -16 = -4*y - 4*c for y.
5
Let r = -9353 + 9376. Solve -v = -4*h - 11, -19*v = -r*v - 3*h + 6 for v.
3
Suppose -3*v - 5*v = 1728. Let y = v - -224. Solve -5*s + 3*a - 11 = -1, -4*s - y = 2*a for s.
-2
Suppose 0 = -3*y + 5*p - 10, 2*y = 4*p + 19 - 27. Solve 3*j - 2 = 4*w + 6, 2*j + 3*w - 11 = y for j.
4
Let o(f) = -f**2 + 13*f + 49. Let z be o(15). Suppose 0 = -5*d + 16 + z. Solve -2*y + 8*j = 3*j + 10, d = 3*y - 2*j for y.
5
Let b(f) = 2*f**2 + 4*f + 17. Let t be b(-3). Let s be -1 + 0 + 2 + t. Solve 21 = -i + 5*k, 4*i - 3*k = 2*k - s for i.
-1
Suppose 2*b - 10 = 5*k, -3*k + 0*k - 3 = -b. Suppose -4*j = b - 91. Suppose 903*o + 24 = 909*o. Solve -q + o*u + j = 0, -u + 2*u + 4 = q for q.
-1
Suppose -2*g + 4*h = -22, 11*g + 8*h = 3*h + 40. Solve -2*t = 9*s - 14*s - 15, s = -g for t.
-5
Suppose -4*g = 34*t - 38*t - 20, -3*t + 2*g = 8. Solve -3*j + t = 4*c, 6*j = 2*j + 4*c - 16 for j.
-2
Suppose 5*i - 7*i = -2*g - 14, -g + 17 = 2*i. Solve -18 = -2*o + 4*t, t = 5 - i for o.
3
Let c = 5 + 0. Let w(z) = 30*z + 619. Let d be w(-20). Suppose -d - c = -8*s. Solve -14 = g - 2*n, 3*g + s*n = 2*n - 7 for g.
-4
Let v(g) = -8*g + 9. Let m be v(4). Let f = m + 25. Let c be -3*(-5)/15 + f. Solve -c*j - 4*o = -2*o, -4*o + 14 = -j for j.
-2
Let p(u) = 190*u**3 + 14*u + 192*u**3 + 1 - 381*u**3 + 8*u**2. Let n be p(-3). Solve -n = -4*h + 2*i, 5*i + 10 = -2*h - 3*h for h.
0
Let f = -175 + 188. Suppose 0 = 14*y - 40 - 2. Solve -8 + 20 = -2*h + y*d, d = -5*h - f for h.
-3
Let o(w) = -23*w**2 + 2*w - 3. Let y be o(2). Let s be (-6)/(-3) + 5 - 74. Let v = s - y. Solve -n + d - 6*d = -v, 3*n = 4*d - 4 for n.
4
Let i be (-178 - -183)/(10/12). Solve 5*p - 3*l = -i*l - 17, 0 = -p + l - 5 for p.
-4
Suppose 34 = -5*g + 19. Let w be (-11 + -19)*g/5. Let s(m) = -m**2 + 17*m + 23. Let h be s(w). Solve 0 = 4*f - h*o + 32, 0 = 2*f - 3*o + 8*o - 14 for f.
-3
Suppose 