(9). Let h be (n - -2)*10/20. Solve 0 = m - 2 - h for m.
2
Let h(f) = f**3 - 13*f**2 + 14*f - 5. Let z be h(12). Solve -4*x + z - 3 = 0 for x.
4
Suppose 3*j = 4*i + 7 + 16, 16 = 2*j - 2*i. Suppose g = j*g. Solve 2*m - 8 = -g*m for m.
4
Suppose 4*x = 26 - 2. Suppose 0*c = 2*c - x. Suppose -2*d + 9 = 3*f, -f = -c*d - 2 - 1. Solve -f*b = -18 + 3 for b.
5
Suppose 0 = -99*o + 108*o - 108. Solve -4*u + 8 = -o*u for u.
-1
Let j(a) = -a**2 - 2*a + 16. Let d be j(-6). Let w(l) = -l**2 - 7*l + 10. Let f be w(d). Solve 6 = 4*v - f for v.
2
Let r be 178/(-10) - (-7)/(-35). Let k = r - -24. Let d(v) = v**3 - 5*v**2 - 6*v. Let w be d(k). Solve w = -3*p + p - 4 for p.
-2
Let h = -71 - -80. Solve -u - 4 = -h for u.
5
Let s(w) = -w**3 + 7*w**2 - 3*w - 8. Let g be s(6). Let c = 30824 + -30819. Suppose -5*l + 21 = -4*q, 0 = -l + q + 7 - 3. Solve l - g = -c*b for b.
1
Let w be 2 - (-4 - (-3 + 1)). Solve -4*n + w + 4 = 0 for n.
2
Let b(r) = -r + 9. Let g be b(4). Suppose g*w = -5*w + 80. Solve 5*m = 3*m - w for m.
-4
Let y(i) = -5*i - 48. Suppose -40 = 3*s - 5*h, 0*s + 3*s + 36 = 3*h. Let b be y(s). Solve b*a = -a + 15 for a.
5
Let q = 8 + -10. Let o be 2/q*8/(-4). Let t = 34 - 34. Solve -p + o + 2 = t for p.
4
Let l(q) = q**3 - 10*q**2 + 8*q + 10. Let u be l(9). Let j be (-144)/(-30) - 2/(-10). Let n be 1/((-10)/(-8)*(-12)/(-60)). Solve j*r - n = u for r.
1
Let h = -43 - -23. Let s = h - -26. Suppose -u = -s*u. Solve -d - d = u for d.
0
Let u be (-6)/(-10) + 2484/(-90). Let n = u + 29. Solve 0 = -n*b - 3 + 13 for b.
5
Let u(x) = -9*x + 272. Let y be u(30). Solve 9*s = -y*s + 22 for s.
2
Let y = -62 + 77. Suppose x + 3*j = -0*j + 11, 3*x - y = -3*j. Solve 0 = -z + x - 1 for z.
1
Let d(r) = -7*r**2 + 105*r + 11. Let a be d(15). Solve 16*c = a*c - 25 for c.
-5
Let z = -4 + 0. Let x = 5 - z. Suppose 4*g = -g - 3*o + 25, 2*g - 2*o - 10 = 0. Solve g*p = -x + 24 for p.
3
Suppose 17 = 6*d - 19. Solve d*w - 19 = -1 for w.
3
Suppose 3*s - 4*v - 39 + 8 = 0, 0 = -3*s - 2*v + 25. Solve -22 - 14 = s*b for b.
-4
Let k = 17 + -9. Let w be 2*(-1)/4*k. Let v = -4 - w. Solve v = 2*h + 1 + 7 for h.
-4
Let w(z) = z**2 - 32*z + 37. Let k be w(31). Solve 26 = k*q - 4 for q.
5
Suppose -3*n = -2*r + 15 + 5, 4*r + 4*n = 0. Suppose -4*q - 4 = -2*g, -3*q + 2*g - r = -0. Solve z = -q*z - 4 for z.
-4
Suppose 0 = 4*t - 15 + 3. Suppose -t*o = -o. Solve o = j + 1 - 2 for j.
1
Suppose -2*d + 6*d - 1 = x, 0 = 3*d + x + 1. Solve d = 2*u - 9 + 5 for u.
2
Let o = 194 + -192. Solve -y = o*y + 6 for y.
-2
Suppose -3*p - 8*u = -3*u - 15, -3*p + 15 = -4*u. Solve -p*h + 5 = -0 for h.
1
Let z be (5 - 2 - 3)*1/(-2). Let q(l) = -l**3 - l**2 + l. Let a be q(-2). Suppose 2*x = a*t + 18 + 2, 0 = 5*t + 10. Solve z = 4*p - 2*p - x for p.
4
Let u = 35 + -10. Let o be (-20)/u*5/(-2). Let t be (-5 - -5) + 0 + o. Solve -t*b = -b for b.
0
Let h be (-30)/(-70) - (-814)/77. Solve -21 = h*x + 12 for x.
-3
Suppose -5*y - 2 = 4*c + 8, -5*y + c = -15. Suppose 2*p - 20 = -y*p. Solve 2 = -p*w + 27 for w.
5
Let p(v) = -v - 6. Let i be 2 + 2 + -1 - 7 - 2. Let k be p(i). Solve -6 = -k*o + 3*o for o.
-2
Suppose i - 17 = 2*t, 0 = 5*i - 4*t + 26 - 93. Suppose 8*c - 51 = -i. Solve c*y = -0*y + 10 for y.
2
Suppose -29*n + 28*n = -5. Solve -3*c + 8*c - n = 0 for c.
1
Let z(s) = s**2 - 4*s - 3. Let m be z(6). Suppose 2*o = l + 3, 5*o - 3*l = 3*o + m. Solve o = -6*p + 3*p - 9 for p.
-3
Let p = 1171 + -1153. Solve 0 = -9*g - p*g + 108 for g.
4
Suppose -5*l + 16 = 1. Let n = 17 + 10. Let q = 35 - n. Solve v = l*v + q for v.
-4
Suppose 4 = -2*o + 12. Suppose -l + 3*a + 35 = 3*l, 30 = o*l - 2*a. Solve 3*p = l*p - 8 for p.
4
Let u(n) = -63*n - 375. Let x be u(-6). Let i = -5 + 10. Solve -x*h - i = -8*h for h.
1
Let k(g) = g**2 - g - 163. Let w be k(14). Solve w = -n + 18 for n.
-1
Suppose 5*d = f, 0*d = -4*f - d. Suppose -2*q - 4 = i - 18, 5 = q. Suppose -i*k - 2 = -5*p - 1, k + 2 = 3*p. Solve -2*n + p + 7 = f for n.
4
Let d(p) = p**3 - 9*p**2 + 7*p + 9. Let o be d(8). Let w be 4*o + (-11)/(-11). Solve -w*z - 4 = 6 for z.
-2
Let m be (-205)/(-25) + (-2)/10. Suppose -m = -d + 2*d - 3*j, j = -5*d + 24. Let n = 4 - d. Solve -5*c + n = -25 for c.
5
Let d(g) = g**2 - 33*g + 123. Let w be d(29). Solve -w*l = -5*l - 8 for l.
4
Let h = 33 + -46. Suppose 3*y + u = -50, 2*y - 4*u = 4*y + 30. Let x = h - y. Solve 5*d = -1 - x for d.
-1
Let p = 871 + -871. Solve -283*v + 278*v = p for v.
0
Let t = 1 - -2. Suppose -3*b + 17 = -t*j + b, j = 4*b - 19. Solve j = -2*m + 5 for m.
2
Let k be (-31)/(-2) + (-5)/(-10). Suppose -4*j = -k, 4*z - 7*j - 76 = -2*j. Let d = z + -21. Solve -c - 2*c = -d for c.
1
Let n = -26 + 34. Solve -n*l + 3*l = -20 for l.
4
Suppose 2*c - a + 63 = 2*a, 0 = c + 4*a + 4. Let b be (-32)/c + (-3)/(18/(-4)). Solve -b*h = -h for h.
0
Suppose 34*b - 40*b + 3 + 9 = 0. Let r(u) = u - 3. Let f be r(4). Solve 3 = b*v - f for v.
2
Suppose -5*y + 4*f + 4 = 0, -85*y + 80*y - 3*f = 3. Solve 8*o + 0*o = y for o.
0
Suppose 2*c = -3*c + 35. Let u be 4/(-7)*c/(-1). Solve -u*x - 6 - 2 = 0 for x.
-2
Suppose -53*c + 35*c = -180. Solve -5*p - c = -0 for p.
-2
Let a = -12 + 0. Let r(b) = b**3 + 12*b**2 + 10. Let f be r(a). Let j(p) = p**2 - 8*p - 18. Let t be j(f). Solve -12 = -c - t*c for c.
4
Let s = 37 - 11. Suppose -5*c = -3*o - s, 4*c - 18 = 5*o + 2*c. Let b be (o - (4 + -8)) + -2. Solve 2*t - 2 = -b*t for t.
1
Let a = 12 + -18. Let d be (a/(-5))/(9/60). Let o = -8 + d. Solve o = 4*f - 2*f for f.
0
Let w(i) = -6*i**2 + i + 7. Let d be w(3). Let y be (-3)/(1 + d/32). Solve 0 = 4*l - 4 - y for l.
3
Let f(s) = 2*s - 2. Let p be f(5). Let u be ((-14)/5)/(p/40). Let i = 19 + u. Solve 0*o + i = 5*o for o.
1
Suppose -13*l = 1489 + 97. Let t = l - -124. Solve -t*u - 2 = -u for u.
-2
Let v(u) = u**3 - u**2 + 4*u - 5. Let h be v(2). Suppose m = -l, -3*m + 5*l - h = -39. Solve -k - 1 = -m for k.
3
Suppose -149 = -2*u - 2*y - 59, 0 = 2*u - 2*y - 98. Solve -2*d - 51 = -u for d.
-2
Let c be (-9)/3 + (-20)/(-4). Solve -c*o - 3 = -5 for o.
1
Suppose -g + 20 = 4*w, -3 + 0 = -w. Solve 2*r = 14 - g for r.
3
Let v(f) = 29*f + 762. Let u be v(-26). Solve 8*k = -0 + u for k.
1
Suppose 20*b = 15*b + 80. Let s(u) = 2*u**3 - 1. Let r be s(2). Let y = b - r. Solve 4*p = -y - 3 for p.
-1
Let r(p) = -p**3 + 3*p**2 - p + 4. Let v be r(3). Let d = 7 - v. Let b(j) = -2*j**2 - 6*j + 3. Let l be b(-3). Solve -l = 3*u + d for u.
-3
Let p be 185/3 - 2/3. Let h = -59 + p. Solve -15 = -h*r + 5*r for r.
-5
Let l be 2/(0 - -2) - -11. Let z be (-16)/14 - (116/(-28) - 0). Solve -3*q - z - l = 0 for q.
-5
Let w = -1769 + 1835. Solve -21 = -9*a - w for a.
-5
Let n(x) = x**3 - 5*x**2 - 5*x + 4. Let a be n(6). Let z = -14 - -28. Suppose z*l = a*l. Solve -3*v + 6*v + 9 = l for v.
-3
Suppose 0 = -o - 3*w - 2, 4*o + w - 25 = 0. Suppose 0 = o*y - 40 + 12. Suppose n = -y*n. Solve 0 = -n*c + c - 1 for c.
1
Suppose 96 = 5*f + 1. Let r = -16 + f. Let a be (-10)/(-4) + 1/2. Solve r = -6*h + a*h for h.
-1
Let n = -13 + 1. Suppose -4*d + 56 = -0*d. Let u = d + n. Solve -4*r + u = -2 for r.
1
Suppose 3*q + 16 = 25. Solve -s = -q*s - s for s.
0
Suppose -54*z - 2*z + 1120 = 0. Solve -3*q = -8*q + z for q.
4
Let g = -257 + 261. Solve -g = 2*h - 0*h for h.
-2
Let f(w) = w**2 - 2*w + 3. Let o be -4*((-45)/12 + 3). Let k be f(o). Suppose -20 = 5*p, -3*t = -k*p + 5*p - 4. Solve t = i - 4*i + 15 for i.
5
Let g = -11 + 14. Suppose -6*n + g*n = -39. Suppose n = 5*x - 7. Solve 17 = -x*s - 3 for s.
-5
Let b(y) = -2*y**2 - 19*y - 5. Let v(o) = -o**2 - o - 1. Let n(m) = -b(m) + 3*v(m). Let l be n(16). Solve -4 + 2 = l*z for z.
-1
Let r = 283 - 283. Solve 0 = -r*a + 4*a + 12 for a.
-3
Let j(s) = s**2 + 5*s - 2. Let z be j(-7). Solve 6*t = z*t + 24 for t.
-4
Let i be (22/33)/(1/3). Suppose a + i*a = -39. Let j(x) = x + 15. Let w be j(a). Solve -w = -4*o - 10 for o.
-2
Let x = -214 - -213. Let v be 1*3 + (6 + x - 6). Let f = 14 + -10. Solve i + f = v for i.
-2
Let v(u) = 4*u**2 - 2*u - 2. Let i(r) = r**2 - 4*r - 33. Let t be i(8). Let f be v(t). Solve d = -f*d for d.
0
Let t(v) = v**2 + 7*v - 40. Let p be t(4). Solve p = 10*q - 11*q for q.
-4
Suppose 0 = -i + 5*a - 3, 0 = -i + 6*i + 4*a - 14. Suppose 2*v - 6 = 0, -l - 5*v + 7 = -i*l. Solve 4*n - 24 + l = 0 for n.
4
Let y(a) = 3*a**2 + 15*a + 3. Let q be y(-7). Let c = -