 9. Let w be s(4). Let p = -31 + w. Let c(j) = j**3 + 6*j**2 + j + 6. Let b be c(p). Solve b = -v - v for v.
0
Let f = -706 + 707. Solve -10*c - f = -11 for c.
1
Let c(w) = 15*w + 12. Let v be c(0). Solve 0 = -v*q - 2 - 34 for q.
-3
Let z be 8/24 + 1/(-3). Suppose 3*j - 5*c + 32 = z, -5*j + c = 51 + 17. Let o = 15 + j. Solve 0*t - o = t for t.
-1
Let a = -162 + 171. Solve -10*n + 2 = -a*n for n.
2
Let d(t) = -t**3 + 10*t**2 - 4*t. Let l be d(9). Let c = l + -39. Solve c*j - 3*j - 6 = 0 for j.
2
Let q(f) = -f**2 + 7*f + 17. Let m be q(8). Suppose -8*g = -m - 23. Solve g*w = 1 - 9 for w.
-2
Suppose 5*u + 27 = 4*w + 79, -u = 5*w - 22. Let f be (-2)/4*u*-2. Solve 0 = 4*z - 0*z - f for z.
3
Let c = -12 - -20. Let o(q) = -q + 5. Let n be o(c). Let b be (-13)/n + (-15)/45. Solve -b*j + 0*j + 16 = 0 for j.
4
Suppose 0 = -2*w - 8*w + 3*w. Let u(d) = -d - 2. Let l be u(-4). Suppose -4*b + 14 = 2*t, 4*b + l*t + t - 13 = 0. Solve w*g = b*g for g.
0
Let j be (-2)/5 + (-22)/(-5). Suppose 14 - j = 5*f. Suppose 0 = -3*c + 5*w + 21, f*c - 3 = -4*w + 33. Solve -3*v - 3 = c for v.
-5
Suppose -3*m - 3 = -4*m. Suppose b = m*b - 6*b. Solve b = 2*w + 2*w + 8 for w.
-2
Suppose d - 40 = -3*l, 3*l + d + 3*d - 52 = 0. Let k(n) = -n**3 + 13*n**2 - 11*n - 11. Let q be k(l). Let v = q - -3. Solve 0 = v*m + 7 - 3 for m.
-1
Suppose -145 = -9*s + 44. Let g = s - 17. Solve 0 = -x - g*x - 20 for x.
-4
Suppose -3*d + 9 = -0*d. Suppose 3 = 5*o - x, 2*x + d = x. Let p be ((-55)/20)/11*-12. Solve o = p*c - 4*c for c.
0
Suppose 0 = v - 2*v + 22. Let g = -8 - 14. Let i = v + g. Solve 0 = -i*q + 3*q for q.
0
Suppose -v = -5*w + 55, w = -3*v + 4*v + 7. Let h(g) = -g**2 + 3*g + 3. Let s be h(3). Let q be 3/(-1)*(s + -4). Solve q = -3*t - w for t.
-5
Let w be (-6)/4*(2 - (-84)/(-18)). Let o be (-8)/6*(1 - w). Solve -n - o = -0*n for n.
-4
Let u be (-6)/4*66/(-9). Solve -4*c - u = 9 for c.
-5
Let f(g) = -2*g**3 + 27*g**2 - 11*g - 22. Let i be f(13). Solve y = -i*y + 15 for y.
3
Let l be 104/39*9 - 6/((-30)/(-25)). Suppose 2 + 10 = 3*p. Solve l = -p*r - 1 for r.
-5
Let h(l) = 4*l**2 - 3*l + 3. Let s(m) = 2*m - 1. Let g be s(1). Let b be h(g). Solve 2*t = -2*t + b for t.
1
Suppose 5*q = -25, 2*q - q = 2*y - 25. Solve 13*k - 29 = y for k.
3
Let f(n) = n**2 - n - 2. Let v be f(2). Let p be (-10 + 10)/(2 - v). Solve p = h + h for h.
0
Let o be 78/52*(-100)/(-6). Solve -5*a + o - 10 = 0 for a.
3
Let d = -11 + 12. Let p be 12/d + 0/12. Let g = p + -4. Solve -g*j = -3*j for j.
0
Let g be 15/(-1*(2 + -1)). Let x = -15 - g. Solve x = 4*u - 9*u - 25 for u.
-5
Suppose 0 = k + 3*u - 6*u - 16, 5*u = -5. Solve -7*o - 27 = -k for o.
-2
Let y be 6*((-21)/(-9) + -2). Let k(n) = -16*n. Let w be k(1). Let l = w + 20. Solve 0 = l*t - 3*t - y for t.
2
Suppose -2*f - 39 = 2*z + 27, 4*f = -z - 132. Let j = f - -35. Solve 0 = -2*t - j*t - 16 for t.
-4
Suppose 3*u = -3*y - 42, -31 = -0*y + 4*y - u. Let w = -6 - y. Suppose -k + g = 3*g + 4, w*g + 5 = -2*k. Solve -2*a - 2 - k = 0 for a.
-2
Suppose 10*l + 0 = 50. Suppose 12 = 3*f - 2*k + 4*k, 0 = 3*f - l*k + 9. Solve 2 = -f*h + 3*h for h.
2
Let g = 35 + -25. Suppose 3*d + g = 16. Solve 5 + 3 = -d*a for a.
-4
Suppose -3*o = 3*v - 6, -25*v + 22*v = -3*o + 30. Suppose -2*n = 3*n. Solve n = 3*i - 3 + o for i.
-1
Let f be (-3)/2*2 - -3. Suppose -6*k + 0*k + 30 = f. Suppose k*i = c - 2*c + 47, -5*i - 3*c = -51. Solve 0 = 4*o - i - 3 for o.
3
Let t(m) = -10*m**2 + 33*m - 4. Let q be t(3). Solve 0 = -q*k + 20 - 0 for k.
4
Let p = 36 + -36. Suppose 3*g - 12*g + 36 = p. Solve -6 + 26 = -g*f for f.
-5
Suppose 0 = 4*b - y + 2*y - 4, -b = y - 1. Suppose 0 = 2*p - 2*z - 2, 0*p - 4*p = -z - b. Suppose -h - j - 4 = p, -4*h - h + j = -4. Solve h*x = -5*x for x.
0
Suppose -r + 4 = -0, -3*b + 4*r - 13 = 0. Let q be -2 - -3 - b - -24. Let w = q - 21. Solve -2 = w*y - 5*y for y.
1
Let y = -79 - -80. Let l be y*((-6)/(-21) + (-4)/14). Solve l = 4*b + 10 + 6 for b.
-4
Let f(p) = p**2 + 5*p. Let v be f(-6). Let u = 6 - v. Solve u = 3*t - 7*t + 12 for t.
3
Let d = 94 - 92. Solve 0 = 4*w + d*w for w.
0
Let m(z) = -2*z**2 + z + 9. Let o be m(-7). Let q be (16/o)/(1/(-6)). Let x be (-1 - -13)/(q/1). Solve 4*d - d = -x for d.
-4
Suppose 14*m + 377 - 377 = 0. Solve m = -0*k + 3*k + 12 for k.
-4
Suppose 0 = p - 3*v - 16, 7 = 5*p + 2*v - 5. Suppose 5*r = -10, -31 + 5 = -p*x + r. Solve -25 = -x*o + o for o.
5
Let s(o) = -2*o**2 + 20*o + 24. Let d be s(11). Let b be 50/8 - 1/4. Solve -b*i = -d*i for i.
0
Let q(g) = g**3 + 34*g**2 + 31*g - 60. Let r be q(-33). Solve 0*s + 2*s = -r for s.
-3
Let v(a) = a + 2. Let r = 9 + -5. Suppose -3 - 9 = -r*w. Let h be v(w). Solve -8 = h*p - p for p.
-2
Suppose -3*l - 9 + 0 = 0, -27 = -5*y + 4*l. Suppose 2*h + 30 = -3*d, -5*d - 69 = -0*d - y*h. Let r = d + 17. Solve 5*g = -20 - r for g.
-5
Suppose -7*f - 27 = -5*a - 10*f, -4*a + 5*f = -29. Solve -11*k = a*k - 4*k for k.
0
Let m(c) = 4*c**2 + 9*c - 8. Let q be m(-3). Solve 3*v + q = 16 for v.
5
Let b(t) = t**2 + 5*t + 4. Let j be b(-4). Suppose 2*p + 5 - 7 = j. Suppose -p - 19 = -5*s. Solve -k - k = -s for k.
2
Let x(p) = p**3 + 10*p**2 - 10*p + 15. Let q be x(-11). Suppose -55 = -3*u - q*v, 5*v = 5*u - 118 + 38. Solve u = -3*m + 5 for m.
-4
Let q = -832 - -846. Solve 0 = -5*r + 39 - q for r.
5
Let z(u) = -u**2 - 13*u - 24. Let j be z(-10). Suppose -j*l + 12 = -0*l. Suppose -g - 3*g - 4 = -q, 5*q - 20 = 0. Solve g = l*n - 2 - 0 for n.
1
Suppose -58 = -u + 2*y, 2*u - 2*y - 77 = 29. Let v = u + -42. Solve 0 = 3*c - c + v for c.
-3
Let m(d) = d**3 - d. Let q be m(-2). Let y be (-2)/13 + (q - 80/(-13)). Solve y*v + 20 = -4*v for v.
-5
Let b = -57 + 102. Suppose -4*z = z - b. Suppose 4*y - z = y. Solve -y*l + 0 - 3 = 0 for l.
-1
Suppose 5*s + 28 = 2*i, -9*s = 3*i - 13*s - 28. Solve -2*n = i*n for n.
0
Suppose -n = 28*n - 696. Solve 0 = n*r - 28*r - 20 for r.
-5
Suppose t - 9*t - t = 0. Suppose t = 4*f + b + 4, f + 3*b + 1 = -11. Let q = 2 + 0. Solve f = -0*r + 2*r - q for r.
1
Suppose 0 = -4*y + 8. Suppose 5*q - y*s = -6, 4*q - 3*s + 6*s - 9 = 0. Suppose q = 3*a + 2*a. Solve a*j - 3*j - 3 = 0 for j.
-1
Suppose -2*f = 4*a - 7*f, -3*a - 2*f = 0. Suppose a = -7*k + 5*k. Solve k*p - 20 = 5*p for p.
-4
Suppose 0 = 29*n - 40*n + 66. Solve 20 + 10 = n*b for b.
5
Suppose -26*g = -23*g - 69. Let v = g + -21. Solve v*f = 6*f - 12 for f.
3
Suppose 3*y - 4*y - 4*l = -4, -y + 5*l = 41. Let b = -11 - y. Suppose b = -2*v + 9. Solve -c = c - v for c.
1
Let d = -88 + 87. Let x be (0/(d + -4))/2. Solve x = 9*u - 4*u for u.
0
Suppose -3*o = 3*g - 8 - 4, 3*o = -g + 6. Let f = -19 + 22. Let y be (o - f)*(-9)/6. Solve 0 = -y*m + 5*m for m.
0
Suppose 23*y = 16*y + 126. Solve -13*h + y*h = 25 for h.
5
Suppose 2*v + v - 21 = 0. Suppose -12 = -4*d + v*d. Let w(c) = -c - 4. Let k be w(d). Solve f - 3*f - 4 = k for f.
-2
Suppose 0 = -w + 6*w - 10. Let p(d) = 3*d**2 + 8*d + 4. Let v be p(-4). Suppose -w*i + 0*i + v = 5*y, -3*y + 54 = 4*i. Solve 2*k = -3*k + i for k.
3
Suppose -5*j - 3*f + 61 = -141, -206 = -5*j - 4*f. Solve -32 = -2*b - j for b.
-3
Let y be (-1)/((-2)/21*(-12)/(-8)). Suppose y*q + 12 = 54. Solve q*r = r for r.
0
Let g be 4 - -2 - 2 - -12. Suppose -w - 3*i + 6*i + 11 = 0, -5*i = 15. Let j be (-5)/w*g/(-20). Solve -1 + j = t for t.
1
Let m be -1*2/(-1) + 2. Let x = 13 + 22. Let j = 37 - x. Solve -j = a - m for a.
2
Suppose 5 = g, -2*n + 2*g = -3*g + 25. Suppose -5*d = -4*w - 42, 2*d + 2*w - 6*w - 24 = n. Let c be 14 - (-1 + (d - 3)). Solve f = -3*f - c for f.
-3
Suppose -7*h + 6*h + 10 = 0. Solve 4 = -3*m + h for m.
2
Let w(j) = 29*j + 3. Let r be w(-1). Let s = -21 - r. Solve -s*t - 38 = -13 for t.
-5
Let u be (-10)/(-8)*(-14 + -22). Let h be (u/(-2))/(-5)*20/(-45). Solve l - h - 1 = 0 for l.
3
Suppose b - 3 = 3*z - 0, -z - 1 = 0. Let g = 0 - b. Suppose 2*t - 5 = -5*j, -3 = -t - 3*t - 3*j. Solve 3*y + t - 3 = g for y.
1
Let c = 193 - 114. Let j = -75 + c. Solve j*s + 3 = -5 for s.
-2
Let q(v) = -v**3 + 11*v**2 + 6*v + 8. Let g be q(12). Let t = -61 - g. Solve -4 + 1 = t*j for j.
-1
Suppose -4*q - 7 = -19. Let n be q + 11 + -1 - -3. Let r(y) = y**3 - 16*y**2 + 16. Let c be r(n). Solve -5*h = -h - c for h.
4
Let f(s) = s**3 - 3*s**2 + 7*s - 35. Let w be f(4). Solve 4 = -5*x + w*x for x.
1
Suppose 18 = 3*l - l. Let v(p) = -p**3 + 8