9. Solve 0 = -4*g - f*g for g.
0
Suppose 13 = -6*x + 37. Solve 4*z + 20 = x for z.
-4
Let x(k) = k**2 - k - 18. Let v be x(5). Suppose -v*j + 5*j - 5*s - 21 = 0, s + 5 = j. Solve 5 = -j*c + 3 for c.
-1
Suppose -2*l - 11 = -43. Let o = l - 11. Suppose -4*m - 10 = -2*n, 6*m - 2*m = -3*n - 5. Solve -o*c = -21 + n for c.
4
Let w = -30 + 16. Let o = w + 16. Suppose 0 = o*l + l. Solve l + 1 = -b for b.
-1
Let i = 1247 + -1020. Solve 0 = y + 222 - i for y.
5
Suppose -2*i - 2*v = -6, -5*i - 15*v = -16*v - 21. Solve -i*x = -x - 15 for x.
5
Let d = -20 - -25. Suppose p = -4*s + 12, d*p - 15 = s - 6*s. Solve p = 6*v - 2*v for v.
0
Let n be 3/7 + ((-1962)/(-42))/3. Solve -3*g = -7*g - n for g.
-4
Let c be (28/3)/(-2)*735/(-98). Solve c = 7*t - 0*t for t.
5
Let k = -154 - -322. Suppose -3*i + 3*w = -k, -w - 240 = -5*i - 4*w. Suppose -i = -3*y + 5*g, 6*y = y + 2*g + 66. Solve 0 = d + 2*d - y for d.
4
Suppose 8*m = 4*m. Suppose -2*l - l - 4*z - 6 = m, 2*l + 11 = -5*z. Solve -2*b - 16 = l*b for b.
-4
Let y(b) = -3*b + 2. Let t be y(0). Suppose -h - 3*l = -6, 0*h = -h - t*l + 4. Solve o + 4*o = h for o.
0
Suppose -31*b = -45*b + 434. Solve b*m = 29*m + 10 for m.
5
Let l(z) = 13*z - 155. Let v be l(14). Solve v = -5*w + 14*w for w.
3
Let d be 68/16 + (-3)/12. Suppose -l = -2*j - 0 + 6, -d*j + 5*l = 0. Suppose g - 4*g + 5*t + 9 = 0, 0 = -4*t. Solve g*p - j*p = 0 for p.
0
Suppose 7*b - 2*b = 3*y + 36, 4*y - 16 = -4*b. Suppose -b*n + 31 = -41. Solve q = -2*q + n for q.
4
Suppose 4*r - 15 = -r. Suppose 0 = 3*m - 2*o - 10 - 5, 8 = 2*m - 2*o. Solve s - m + r = 0 for s.
4
Let y be 425/15 + (-3)/9. Let q be y/140 + 39/5. Solve q*k = 3*k + 15 for k.
3
Suppose 9 + 23 = 4*z. Let b(f) = f**3 - 12*f**2 + 3*f - 36. Let g be b(12). Let k be 2 - 0/(3/3). Solve -z = k*q - g for q.
-4
Let q = -58 - -58. Suppose q*n + 3*n = -3*o + 30, 70 = 4*o - 2*n. Solve 0 = 3*g - 0*g + o for g.
-5
Let x be 9/(-24)*-4 - (-12)/8. Solve -28 = x*i - 13 for i.
-5
Let j be ((-2)/(-3))/(4/30). Suppose 0 = -9*k - 5*k + 28. Solve k*m + 3 + j = 0 for m.
-4
Let i = 73 - 103. Let u be 28/10 - 6/i. Suppose -5 - u = -4*x. Solve 3*r = -x*r for r.
0
Let v(u) = u**2 - 6*u + 3. Let b be v(5). Let g = 84 - 86. Let k be 1*(b + (0 - g)). Solve k = -4*a + 4 for a.
1
Suppose 9*u = -89 + 485. Let h = 46 - u. Solve 0 = h*i + 2*i for i.
0
Suppose 23*q = -318 + 2066. Solve q = -6*j + 82 for j.
1
Suppose z = -4*c + 29, -2*c - c + 4*z = 2. Solve 3*x + c = -0 for x.
-2
Let t be (-600)/(-105) + 2/7. Solve -t*p - 21 = -13*p for p.
3
Let g = 17 + -12. Let s = 18 - 16. Suppose g = -s*o + 13. Solve -o - 8 = -3*i for i.
4
Let b(a) = -5*a. Let q be b(-6). Suppose q = 23*z - 20*z. Solve 3*h - z = 2 for h.
4
Suppose 0 = -2*g + 3*g - 10. Suppose -4*l = -4*j + 44, 4*l + 28 = 5*j - 22. Let c = g - j. Solve 2*h - 8 = c*h for h.
-4
Suppose -84 = -8*z + 540. Let c = z + -76. Solve 2 + 2 = -c*v for v.
-2
Let w = 47 + -45. Solve -w + 4 = -z for z.
-2
Let r be (-127)/(-3) - 12 - (-2)/(-6). Solve 0 = -2*c - r + 24 for c.
-3
Let v be 1 + 7 - 2/2. Let u = v - 4. Solve -8 = -n - u*n for n.
2
Let b = -30 - -53. Let t = -21 + b. Solve 3*c = t - 14 for c.
-4
Let u = -124 - -109. Let m = u - -19. Let f be (2*-6)/(-3 + 2). Solve -g + m*g = f for g.
4
Let l = -1497 + 1540. Solve -46 = f - l for f.
-3
Let o = -15 - -18. Suppose 0 = -o*z - 4*n + 28, -12 = -3*z - z + n. Suppose 0*m - 18 = -5*m + z*f, 0 = m + f. Solve -2*p + 4*p = -m for p.
-1
Suppose -5*y = 3*d + 5 - 2, 5*d + y - 17 = 0. Solve 0 = -d*q - q + 15 for q.
3
Let j be 70/(-15)*(-9)/6. Let c(x) = -x**3 + 6*x**2 + 6*x + 10. Let h be c(j). Solve 0 = -h*z + 11 + 1 for z.
4
Let f(u) = -5*u - 5. Let d be f(-4). Let t = 1699 - 1699. Solve t = o - 6*o + d for o.
3
Suppose 413 = 5*v - 2*v + 2*q, 2*v - q - 273 = 0. Solve 0 = v*c - 139*c for c.
0
Let s = 656 - 644. Solve 10*w + s = 4*w for w.
-2
Suppose 8 = 2*y - 2*f - 2, 2*f = 4*y - 14. Solve -2*s + 4*s = y for s.
1
Let l = 49 + -44. Let u = l + -2. Solve 0 = -u*o + 15 - 0 for o.
5
Suppose 4 - 14 = -2*n + 3*c, -5*n + 4*c = -25. Suppose 0 = 3*k - 6*k - 2*w - 193, -k - 62 = 3*w. Let s = -35 - k. Solve n = 5*o + s for o.
-5
Suppose 4*y = 8*y - 16. Suppose -y*s = -62 + 14. Solve s = w + 2*w for w.
4
Let j be (-3 + (-70)/(-5))*1. Let q = 26 - 10. Let x = q - j. Solve -2*m + x*m - 3 = 0 for m.
1
Suppose 2*h = 5*c - 3, -c - 7*h = -3*h - 5. Solve -11 = -3*w + c for w.
4
Let f(q) = -q**2 + 60. Let k be f(7). Solve 4*m = k - 31 for m.
-5
Suppose 0 = -7*w + 3*w. Suppose -4*l + 5*l = w. Let i be (l - 1) + (-6 - -7). Solve i*a = -5*a - 10 for a.
-2
Let a(s) = -3*s**2 + 44*s + 75. Let i be a(16). Solve -1 + i = 10*x for x.
1
Let o(t) = -t**3 - 11*t**2 - 9*t + 13. Let w be o(-10). Let i(j) = -j**3 - 33*j**2 + 35*j + 38. Let z be i(-34). Solve -z*y + w = -1 for y.
1
Suppose -4*c + 3*c = 0. Suppose 20*b - 17*b = 12. Solve -b*r - 20 = -c for r.
-5
Let i(g) = -g - 2. Let z be i(-2). Suppose -6*f + f + 25 = z. Suppose 0 = 4*r + 7 - 27, 0 = f*p - 2*r - 30. Solve -12 - p = -4*n for n.
5
Let j be (-43)/(-9) - 2/(-9). Suppose 0 = -2*g - 6, j*g + 9 = 4*r + 2*g. Suppose n + 0*n - 2 = r. Solve -2*w - n = -3*w for w.
2
Let s = -38 + 47. Let p be 24/s - (-2)/(-3). Solve m + m = p for m.
1
Let f(p) = -p**3 + 20*p**2 - 18*p - 14. Let m be f(19). Solve 4 = 9*j - m*j for j.
1
Suppose -17*t - 99 = -28*t. Solve 2*l = -l - t for l.
-3
Let l be (-10)/(-40) - 286/(-8) - 0. Suppose -3*k = -3*p + 4*p, 5*p - 3*k - l = 0. Solve -p = m - 1 for m.
-5
Let z(m) = -m**2 + 11*m - 23. Let k = -58 + 66. Let s be z(k). Solve f - s = -3 for f.
-2
Suppose x + 2437 = 2467. Let r(k) = -k**2 - 4*k. Let q be r(-4). Suppose 0 = -0*a - 4*a - 4*b, q = 5*a - b - x. Solve -a*f = -0*f - 20 for f.
4
Let t be (0 + 1)*(-1 + 6). Let w(z) = z**3 - 4*z**2 - 3*z - 7. Let s be w(t). Suppose m - s*m = -10. Solve 3 = -m*f + 18 for f.
3
Let t(r) = 4*r - 5. Suppose -17 = -3*f - 2*x, 4*x = -0*f + 4*f - 16. Let u be t(f). Suppose 3*m - a + 11 = 5*m, 5*m - 14 = 2*a. Solve -u = i + m*i for i.
-3
Let c be (12 - 6 - 5) + (4 - 1). Solve 6*p = -c*p + p for p.
0
Let f(g) = -g**2 + 14*g - 24. Let u be f(7). Solve -4*q = q - u for q.
5
Let t be (-4)/18 + (-480)/27. Let h = -15 - t. Let l be ((1 - -1) + h)*4. Solve -4*g + 0*g + l = 0 for g.
5
Let u = 3 + -1. Let j(v) = -u*v**2 - 6*v + 2*v - 3*v**2 - v**3 - 5 + 3*v. Let k be j(-5). Solve k = 4*x - 19 + 3 for x.
4
Let c(j) = -j**3 - j**2 + 8. Let l be c(0). Let x(m) = 3*m**2 + 3*m**2 - 6*m + m**3 + l - 1 - 10*m**2. Let r be x(5). Solve r*f - 5*f = -12 for f.
4
Let g = -21 + 17. Let t(l) = 2*l**2 + 6*l + 12. Let o be t(g). Solve -o = -0*s + 4*s for s.
-5
Suppose l + 3*i - 7 = 26, 4*i = -4. Let u = -31 + l. Solve u*s + 25 = -0*s for s.
-5
Let k be -12 + 13 + 1 + 0. Suppose -3*g - 57 = -4*d, 0 = 3*d + k*d - 2*g - 66. Solve -3*l - d = -0*l for l.
-4
Suppose -5*x + 9 = 3*m, 4 = -5*x - 11. Solve 0 = -2*p - 2*p - m for p.
-2
Suppose 0 = -5*t - 25, -2*t + 11 = 3*u - 3. Solve -8*p + 24 = u for p.
2
Suppose -5*v - 30 = -3*x, -3*x = x + 3*v - 11. Suppose -x*w = h - 297, 0 = -0*w - w + 5*h + 75. Let i be (-3)/(-2)*w/18. Solve i = 2*b + 1 for b.
2
Let s = -484 - -527. Solve 2 = 9*m - s for m.
5
Let l be 13*2 + 2 + -5. Solve 4*g - l + 11 = 0 for g.
3
Suppose -65 = 5*x - 0*x. Let z = x - -29. Solve o + 3*o = -z for o.
-4
Let o = 1 + 0. Let j(g) = 9*g**2. Let r be j(o). Let d = r - 5. Solve d*c - 9 = 3 for c.
3
Let b = 950 - 931. Solve -b*n + 23*n = 0 for n.
0
Suppose 2 = -7*j + 9. Suppose 0 = -g + 5 - j. Solve -2*a - g = -3*a for a.
4
Suppose z + 3*t + 11 = 0, 0 = -4*z - 2*t + t. Let n be (z - -2) + 2 - 1. Suppose -3*b = -b + 3*s - 20, 3*b + s = 23. Solve b + 5 = n*y for y.
3
Let q(h) = -h**3 + 13*h**2 + 14*h - 17. Let t be q(14). Let x be t/(-51) + 11/3 + -1. Solve -x*y = -y - 10 for y.
5
Let j = 245 - 145. Suppose -6*d + j = 28. Solve 5*o = 8 + d for o.
4
Let p = 18 + -18. Suppose p*n = -2*n + 6. Let t = 1 + n. Solve 0 = 2*q - t*q - 6 for q.
-3
Suppose 55*x + 888 = 49*x. Let a = x - -152. Solve -28 = a*m - 8 for m.
-5
Let h be (-5 + (-33)/(-9))/(1/(-48)). Let q = h + -61. Solve -q*o + 15 = -0*o for o.
5
Let v(y) = -2*y**2 + 3*y + 5. Let i be v(-1). Solve -5*w + 32 - 37 = i for w.
-1
Let k = -49 - -52. Suppose -5*f - 3*h + h + 102 = 0, -h = -k*f + 59. Solve -5*u + f = -u for u.
5
Suppose -6*v + 5 =