9. Suppose 0 = -672*u + 673*u - z. Let d be (0 - (-30)/8)*4. Solve 0 = -l - q - 0 - u, -l - d = 5*q for l.
0
Let c(a) = -46*a**2 - a. Let w be c(-1). Let n = 50 + w. Solve n*g + 6 = 2*h + 3*g, -3*h = -4*g - 7 for h.
5
Suppose 35*d + 3*d + 9956 = 0. Let l = d + 264. Solve 0 = 2*s - 0*b - 4*b - l, -3*b = 0 for s.
1
Let d = 1606 + -1601. Solve k = 2*j - 1, -10*k - d = -5*k + 5*j for k.
-1
Suppose 0 = 75303*m - 75312*m + 18. Suppose 4 = 5*b - 11. Suppose -13 = -3*w - 4, -b*w + 24 = 3*i. Solve i*g + 3*o = -23 - 17, -g - m*o - 15 = 0 for g.
-5
Let a = 18 + -15. Suppose a*t = -5*p + 1, 4*p = -4*t - p + 3. Let s be 4/(-1)*(-26)/52. Solve -t*x + 3*j - 4 = -0, -3*x = s*j - 7 for x.
1
Let n = -5309 - -5313. Solve 40 = 5*q - n*f, -15*f + 29 = q - 20*f for q.
4
Suppose -5*m = 5*n + 5, -4*n + 14 = -0*m - 2*m. Let w be (-1)/(2*m/30) + -1. Let p be ((-90)/(-12))/(1/w). Solve 5*i = 25, -s - i - 4*i + p = 0 for s.
5
Suppose -3 - 79 = -2*c. Suppose 0 = 24*t - 28*t + 20. Suppose -l - 3*l + c = -5*y, 17 = -2*l - t*y. Solve l*h = s + 2 + 2, -4*h = -8 for s.
4
Suppose -s + 6*s + n + 443 = 0, 441 = -5*s - 2*n. Let a = s + 104. Solve -5*y - 2*f = -a, 5*y = -3*f + 17 - 2 for y.
3
Suppose -2*a + 1568 = -30*a. Let d be (-2)/(2/57) - 1. Let v = a - d. Solve 5*k + 10 = 0, -m + v*k + 4 = -5*m for m.
0
Let v be 76/418 - ((-1956)/(-22))/(-6). Solve -4*u = 14*m - v*m - 23, 3*m = 5*u - 34 for m.
-3
Suppose -5*o + 4*v + 19 = 0, -149*v + 153*v - 8 = -4*o. Solve -2*m = -a - 4*m + 7, 24 = -3*a + o*m for a.
-3
Suppose 0 = 2*k + 3*g + 3, 0 = -2*k - g + 4*g + 15. Suppose 0 = -f - 2*j + 1, 3*f + j - 16 = 2. Let o = f - k. Solve -o*u = 3*z + 29, 2*z = u + 5*z + 14 for u.
-5
Suppose -2*w = -2*n - 8, 12*n - 12 = -3*w + 7*n. Solve -o = -3, v - 4*v = w*o - 6 for v.
-2
Let g = -13410 + 13413. Solve 0 = -i - m, -4*m = -g*i - 8 - 6 for i.
-2
Let z(p) = 3*p**2 + 112*p - 816. Let l be z(-47). Solve 0 = n + l*m - 545*m + 6, 3*m + 20 = 4*n for n.
2
Suppose -2*c + 202*u + 55 = 197*u, 3*c + 2*u - 54 = 0. Solve -6*d + 9*d + t - 8 = 0, 0 = -4*t + c for d.
1
Let v be 33/(132/(-56)) + 14. Solve y - 11 = 3*l, v = y - 9*l + 5*l - 16 for y.
-4
Suppose 0 = 2*a - 44 + 8. Let r be (-22)/(-6) - 2/3. Let t be (40/(-10) - -19) + (16 - 29). Solve -y + r*h + 15 = 2, 0 = -t*y - 5*h - a for y.
1
Let b(g) = 18*g**2 + 15*g - 345. Let v be b(4). Let q(c) = c**3 + 6*c**2 - 2*c - 7. Let w be q(-6). Solve 0 = -a - 2*i + v, -5*i + i = w*a - 15 for a.
3
Let z = -6804 - -6820. Solve -4*f + 20 = a, -15*a + z = 2*f - 13*a for f.
4
Suppose -i = v + 11 - 29, 114 = 6*v + 3*i. Solve -2*c + 5 = s, 3*c - v = -7*s + 4*c for s.
3
Suppose 0 = -f + 3*f. Let h(w) = w**3 - 2*w**2 + 2*w + 8. Let r be h(f). Let g be 30/(-40) + 22/r. Solve g*m + 1 = m - z, 3*z - 5 = m for m.
-2
Let k be 24 + 336 - (-2 + 7). Suppose k*b - 356*b = -3. Solve -2*p - 9 = -b*j, 0*p - 10 = -j + 3*p for j.
1
Let f(m) = 10*m**2 + m - 64. Let a(x) = 7*x**2 - 43. Let y(u) = -7*a(u) + 5*f(u). Let q be y(3). Solve -2*v = w + 2, -q*v + 3*w - 4 = -10 for v.
0
Let l(b) = 2*b**3 + b - 12. Let t be l(4). Let f = t - 102. Solve 5*z - 5*k = z - 17, -3*k + f = -5*z for z.
-3
Suppose -64 = -2*g - 52. Suppose 17*l + 3*b - 14 = 16*l, g = -l + 2*b. Solve -l*n + n = 2*m + 1, -n - 2 = 3*m for m.
-1
Suppose -17 = -4*v - 3*u - 24, -v - 18 = 4*u. Suppose 0 + 2 = b. Solve v = b*j + 2*q, 5*j + 4*q - 11 = 2*q for j.
3
Suppose 5*z - 16 = -2*j, -8 = -z + 3*j + 2. Suppose -4*a = z - 64. Let v(h) = -157*h + 1260. Let c be v(8). Solve -3*l - 6 = q, 2*q - c*l - a = q for q.
3
Let d be 75/65 + (-10)/(-115) + 360/(-1495). Solve 40*z + d = 44*z - 5*y, -y = -z for z.
-1
Let h(x) = x**2 - 4. Let n be h(4). Suppose -15*g + n*g = -153. Let c = -43 + g. Solve 2*i + 5*w = -0*i + 4, -4*w = -4*i + c for i.
2
Suppose -199*u + 197*u = -2, -22 = -2*k + 4*u. Solve 2*i + 4*a = -18, 3*a + 2 + k = -3*i for i.
-1
Let m be 2/(-3 - -1) + 8. Let b(i) = -16*i + 114. Let k be b(m). Let l = 12 + -3. Solve l = -2*d - 5*q, -q - 2 + 5 = k*d for d.
3
Let j = -402 - -938. Let q = j - 531. Solve 2*d - 19 = 3*l, 0 = -q*l - 4*d + d for l.
-3
Suppose -n = 3, -3*n - 5 - 12 = -4*h. Suppose 3*k + d = 48, 4*k + h*d = 60 + 6. Solve 0*x + 2*v + 7 = -x, -3*v - k = 0 for x.
3
Let a = 638 - 635. Let k = -4 - -9. Solve 4*b - 4*h = 12, -a*h - 15 = k*b + 2 for b.
-1
Suppose -246*s + 9 = -2*t - 241*s, 5*t + 2*s = 21. Solve 3*i - 2*i = t*l + 14, 0 = -3*l - i - 16 for l.
-5
Let u(w) = -4*w - 54. Let h be u(-14). Suppose -q = -3*k + 10, -2*k = 2*q + h*k - 30. Solve -2*s + 1 = -5*o, q = -3*s + 2*o - o for s.
-2
Suppose 0 = x - 2*x - 3, 2*x = 2*j - 6. Let p = -6026 + 6029. Solve 3 = -w, j = 5*k - p*w - 0*w - 19 for k.
2
Let x = -82079 - -82090. Let a(m) = -m**2 - 8*m + 10. Let u be a(-7). Solve -3*t + 5 = 4*o + x, -3*o - u = -4*t for o.
-3
Let g(c) = -348*c - 1038. Let i be g(-3). Solve -4*z = -3*q + 9, 0 = 3*z + 4*q - i*q + 7 for z.
-3
Let j be 1/(3/(-21)*-1). Suppose j*x - 113 = 83. Let s = x + -26. Solve s*u + 7 + 1 = 0, -5*u = -4*y + 16 for y.
-1
Let l be -7 - (-2 - (7 - 0)). Let t = -10 - -10. Solve -q = -l*q + 5, 2*d + 3*q - 17 = t for d.
1
Let b(k) = 4*k - 33. Suppose 201 - 183 = 2*f. Let d be b(f). Solve -t = 5*y + 4, d*t - y - 5 = -t for t.
1
Suppose 4 = p - t, 2*t = 3*p + 97 - 108. Solve 0 = h - p*r - 3, 4*r = 2*h + 3*r + 4 for h.
-3
Let v be 2 - 16*4/(-8). Suppose 0 = -13*p - 3 - v. Let f be (5 - 10/5)/(p - -2). Solve -1 = -0*l + 5*l + c, 0 = 3*l - f*c - 3 for l.
0
Let m be (-1)/3*(12 + 3)*-1. Suppose -m*j + 2 = -38. Let i be ((-1 - j) + 5)*-1. Solve -a + 3*o = 2*a, i*a + o - 20 = 0 for a.
4
Let f(q) = 2*q**3 - 17 + 6*q + 16*q - 10*q - q**3 - 11*q**2. Let k be f(10). Solve -2*w - 9 = -3*o - 0, 9 = k*o + 5*w for o.
3
Suppose -7*v + 21 + 31 = 17. Solve -4*j = v*p + 40, 0 = 4*j - 0*j + 3*p + 32 for j.
-5
Let n be -16*(10 + (-276)/24)/(3/4). Solve c - 2*a + n = 39, 12 = 3*c - 3*a for c.
1
Suppose 105*q + 42 = 119*q. Solve 6*x - x + 3*g = -27, -q*g = 2*x + 18 for x.
-3
Let c = -2709 - -2719. Solve -2*g = c, 2*a - 12*g + 18 = -16*g for a.
1
Suppose 13 = m + 5*o, 0 = -18*o + 20*o - 4. Solve -3*z = -g + 15 - 28, -z - m*g + 11 = 0 for z.
5
Let o be 1/((-1425)/(-200) + -7). Suppose 3*n - 10 = -2*n. Solve -2*g + 11 = g - 2*m, -o = -n*g + m for g.
5
Suppose t + 2*n - 49 = 0, -t + 0*t - 3*n = -51. Let q be (19/5 - 7)*(-150)/(-12). Let u = q + t. Solve l - 2*v - 1 = 2*l, u*l - 4*v + 19 = 0 for l.
-3
Let t(i) = -2*i - 1. Suppose -2*z + 4 = 0, -3*j - 2*z = 7 + 1. Let c be t(j). Let u be 8 - (9 + 123/(-41)). Solve 4*g + c - 1 = -2*w, u*g - 2 = -2*w for g.
-4
Let k = -7156 + 7174. Solve 3*q + s = 6, 3 = 3*q - 4*s - k for q.
3
Suppose -15*q = 911 - 971. Let u(m) = 5*m + 4. Let h be u(3). Solve 1 = -l - p, l - q*p - h = -0 for l.
3
Suppose 3*u + 7 = -4*n, -6 = 4*n + u + u. Let a be (n/((-2)/28))/2. Let b be 559/104 - (-4 - (-35)/8). Solve -4*d - 4 = 3*o, -a*d + 2*d - b*o = 10 for d.
2
Suppose 68*p - 1312 = -360. Solve p = 5*s + 3*n, -9 + 5 = -2*s - 2*n for s.
4
Suppose 5*r - 5*z - 70 = 0, 5*z = 23*r - 27*r + 38. Solve -4*x + r = -2*i, -7*i - 2*x + 6 = -10*i for i.
0
Let p = -4886 - -4889. Solve a + 18 = 4*f - 2, 5*f - 25 = p*a for f.
5
Let d(m) = m**3 - 18*m**2 - 19*m + 14. Let k = 28 + -9. Let g be d(k). Solve -2*j + 3*w = -5*j + 9, 0 = 2*j + 4*w - g for j.
-1
Suppose 419 = 65*n - 231. Solve 4*v + 0*m = m + 2, 0 = 5*m + n for v.
0
Suppose -v + 8 = -3*x, 0 = -v + 10*x - 5*x + 10. Solve 5*i + 30 = 2*s - 5, v*s = 2*i + 35 for s.
5
Suppose 0 = 62*f - 70*f - 1080. Let s = f + 135. Solve -n = -t + 1, n + s = -5*t + 17 for t.
3
Let f be 291/(-2910) + 11/10. Solve 238*g - 3*r - 8 = 233*g, 2*g + r - f = 0 for g.
1
Suppose -5*o + 61 = 4*n, -13*o + 12*o - 5*n + 29 = 0. Let p be (-6 + 15)/o*5. Solve -3*q - 6 = -3*i, -7*i - 5*q - 10 = -p*i for i.
0
Suppose -94*q - 75 + 272 + 85 = 0. Let g(r) = r**2 + 3*r + 9. Let f be g(-6). Let c be (-1)/(0 + 2/(-6)). Solve -f = -q*o + c*z, -4*o + 11 = -z + 2*z for o.
4
Suppose 1 - 4 = -3*a. Suppose -x + 0*x = -k + 5, -5*x - a = k. Let v(b) = -b**2 + 2*b + 35. Let s be v(7). Solve -4*i = -s*i + 4*l, k*i + 18 = 5*l for i.
-2
Suppose 19*n = -n + 40. Let i be 25 - 20 - (-6 - -1). Solve -5*o = i, n*o + 8 = 2*h - 2 for h.
3
Let v(n) = n**3 + 8*n**2 - 53*n - 387. Let r be v(-6). Solve r*b = m + 20, b + 83*m = 85*m + 15 for b.
5
Suppos