9. Suppose 8 = -4*h + y. Solve 2*b + h = 2*c, 3*c - b - 15 - 2 = 0 for c.
5
Suppose -7 = -3*j + 2. Suppose 3*p - 4*a = -16, 4 = 2*p + a - 0*a. Suppose p*x - 4*x = 0. Solve -2*z - 6*d + d + 23 = x, 5*z + 20 = j*d for z.
-1
Suppose 0*u + 2*u + 5*k + 26 = 0, u + 19 = -k. Let o = -19 - u. Suppose 3*z - o*y - 24 = 0, 3*z + y + 6 = 15. Solve -2*f + 2*i = -4, z = 2*f - 6*f + i for f.
-2
Let m = 72 + -70. Solve 4*d = -3*q - 8 - 0, d + m = 2*q for q.
0
Let l(o) = 2*o + 34. Let g be l(-6). Let j = g - 18. Solve 2*m - 2 = q + 3*m, j*q - 27 = 3*m for q.
3
Let j(x) = -x**2 - 4*x + 10. Let f be j(-5). Let i(c) = -c**3 + 5*c**2 + c - 2. Let g be i(f). Solve g*u + 3*q = 4 + 17, 5*u = -q + 15 for u.
2
Let n(a) = 17*a + 1. Let z be n(3). Suppose 5*b + 5*j = 2*j + z, 2*b + 4*j - 32 = 0. Solve 2*k + p - 2*p - b = 0, 3*k + 3*p - 12 = 0 for k.
4
Let k(a) = 2*a + 1. Let u(h) = h. Let n(d) = -3*k(d) + 7*u(d). Let l be n(5). Suppose -4*j = -l*j - 8. Solve -2*x = -c + 3*c + 6, 2*x + j = -4*c for x.
-4
Let i be (-175)/14*(-4)/10. Let x be (4/3)/(10/15). Solve -2*v - x*p + 26 = 2*p, -i*v = 4*p - 35 for v.
3
Let n = 699 - 657. Solve 3*b - 2*a = -10, -5*b - 5*a + 17 = n for b.
-4
Let x be 58/203 - 1/(14/32). Let h be -5*(x - -1)*3/5. Solve 3*d - h = -5*t, 2*t + d + 1 = 2*d for t.
0
Suppose -215*k + 30 = -205*k. Solve -4*b - 27 = -5*s, -4*s + 6 = -5*s - k*b for s.
3
Let v be (120/(-16) + 7)*-34. Solve 4*d - 17 = 3*x, -4*x - v = -5 for d.
2
Let j(z) = z. Let l be j(2). Let k be (-4)/(l + -2 + 2). Let v be (30 + k)*(-12)/(-14). Solve b - 1 = -s, -2*s + 3*b = v - 6 for s.
-3
Suppose -4*l = 3*u + l - 25, -5*u - 3*l = -31. Suppose 0 = u*s + 19 - 94. Let c(i) = 3*i - 3. Let m be c(6). Solve 0 = 3*o - m, -4*a + o = a - s for a.
4
Let q = 329 - 329. Solve q = 5*n + 2*b + 3, -3*n - b = 2*n - 1 for n.
1
Suppose -a = -3*s - 12, -4*s - 27 = -5*a - 11. Suppose -4*g + 11 - 3 = a. Solve -5 = 5*n - 2*k, -2*n = 4*k - k + g for n.
-1
Suppose -3*j + 19 = -t - t, -5*t - 25 = -3*j. Suppose j*g - 15 = 0, 0*g - g = 5*c - 88. Solve w + 5*i + 15 = 0, -w - 2*w - i - c = 0 for w.
-5
Suppose 5*t - 2*t - 15 = 0. Suppose 2*o = -t*r, -2*r = 4*o - 7 - 9. Let h = r + 2. Solve -c + 5*p = -h*p - 23, 4*p + 18 = c for c.
-2
Let p = -1984 + 1990. Let i(b) = 11*b**2 + 1. Let l be i(-1). Solve -3*c = m + 3 + p, -4*c + m = l for c.
-3
Suppose -78*o + 21 = -71*o. Solve 24 = o*z + 4*t, 0*z + 23 = 2*z + 5*t for z.
4
Let p be (-4780)/(-26) - 1*10/(-65). Let q = -180 + p. Let h be 0 - 1 - -7 - 2. Solve 0 = h*o - 2*i - 6, -q*o - i = -2 - 1 for o.
1
Suppose -2*t - 4*u + 8 = t, 5*u = 4*t - 52. Solve -g - 7*p + 16 = -3*p, 2*g + t = 2*p for g.
0
Suppose -4*x - a - 41 = 0, 3*x - a + 29 = -0*a. Let f = x - -15. Solve f*w + 17 = o - 1, 4*w = -o - 9 for o.
3
Let l = 535 + -533. Solve -3*x = 3*y + 3, 0 = -2*y + x - 16 + l for y.
-5
Let k = 35 + -30. Suppose -2*s + 26 = 3*q, k*q - 3*s = s + 36. Suppose 0*f - 3 = f, -l - f = -13. Solve t + q*x - 3*x = -l, -t = -2*x - 12 for t.
4
Suppose -i - 7 - 8 = 0. Let w = i - -15. Solve -5*c = 3*t - 34, -c - 5*t + 20 = -w*c for c.
5
Suppose 0 = -5*z + 49 - 39. Solve -z*f = -3*r - 6*f - 17, 4*r = -2*f - 16 for r.
-3
Let c(v) be the first derivative of -3*v**4/2 + v**2/2 - 6. Let i be c(1). Let q be 4*(60/(-16))/i. Solve 4*p = -p - q*g - 35, 16 = p - 4*g for p.
-4
Let b(d) = -2*d + 36. Let c = 7 - -10. Let n be b(c). Solve 2 = -y - n*i - 9, -3*i = 2*y + 19 for y.
-5
Suppose -34 - 16 = -2*r. Suppose -4*q - q + r = 0. Solve -z = -6*y + y, 0 = q*y + z for y.
0
Suppose -2*l - 14 = -5*b, 4 = -l + 3*b - 4. Let g be ((-9)/21)/(l/14). Solve m + 2 = n - 0*m, 0 = -4*n + 3*m + g for n.
-3
Let p(f) = -2*f - 8. Let z be p(-7). Let w(q) = q**3 + 3*q**2 - q + 4. Let n be w(-3). Let j = -380 + 383. Solve -k + z = 2, o = -j*k + n for o.
-5
Suppose 2*g - g - 26 = 0. Let t be g - 25 - (-1 + 15). Let a = t + 17. Solve -a*k - 7 = m - 6*m, 5*k + 20 = -5*m for m.
-1
Let r(a) = a**2 - 13*a - 65. Let z be r(17). Let v = -137 + 144. Solve -v = -z*w + 4*s - 27, -3*w = -2*s + 16 for w.
-4
Let p(n) = -7 - 1 + 3*n + 3*n - 3*n. Let z be p(-6). Let c = z - -31. Solve -2*d + 3*y + c = -3*d, -2*d - 5 = y for d.
-2
Let y(z) = z**2 + 4*z - 14. Let j be 7/(-1*2 + -8 + 9). Let w be y(j). Solve -5*n - s = 2 + w, s = -4*n - 7 for n.
-2
Let r(y) = -17*y - 149. Let v be r(-9). Solve 0*b + n = -v*b - 1, 5*n = -b - 24 for b.
1
Let l = -293 - -304. Solve 3*x - 1 = l, -c = -4*x + 16 for c.
0
Let p be ((-2)/4)/((-24)/(-48))*-5. Solve n + 3*a - p = 0, -2*a + 5*a - 10 = 4*n for n.
-1
Suppose 122 = 9*d - 94. Suppose 0 = -4*z + 2*u - 3*u + d, 3*u = -z + 6. Solve t + 5*m - 12 = 0, -4*t - 2*m = -z*m for t.
2
Let x(j) = -2*j. Let u be x(1). Let m(g) = -g**3 - g**2. Let d be m(u). Solve -2*h - 3*b + 14 = 3*h, -4*b - d = h for h.
4
Suppose 5*w + 4*p = -0*w + 30, -2*p + 18 = 4*w. Solve -22 = 5*u + 3*q, 4*q = w*q + 2 for u.
-5
Suppose -b - w + 0 = -9, -4*w + 11 = -b. Solve 1 = -5*c - s, -3*c - b*s + 17 = -0*s for c.
-1
Let n be (-6)/(-1) + (0 - 1). Suppose m = -5*a + 100, -m + a = 9 - 85. Suppose 2*s - 82 = -m. Solve 2*w - n = w - v, v = 2*w - s for w.
2
Let q(c) = -c**3 - 17*c**2 + 15. Let z be q(-17). Let i = -12 + z. Suppose -r = -n - 2*n - i, r + n + 1 = 0. Solve -4*k + r*y + 11 = 5*y, -1 = -k - 3*y for k.
4
Let c(q) = -q**3 - 2*q**2 + q + 5. Let z be c(-2). Let w(n) = n**3 - n**2 - 4*n - 4. Let f be w(z). Solve -f*v + 28 = 5*b, -v + 16 = -b + 4*v for b.
4
Suppose -m + 5*j = -6*m + 130, m = 5*j + 56. Let x = m - 29. Solve 9 = 3*o - 5*q, -x*o = -3*q + 7*q - 6 for o.
3
Let h(r) = r**2 + 8*r + 5. Let c be h(-8). Suppose c*o + 2*n = 3*n + 13, -4*o = n - 14. Solve o*a = -a - 20, 4*a = 2*s - 28 for s.
4
Suppose 5*v + 0*v - 330 = 0. Suppose -18 = -4*a - 2, -a = -5*q + v. Let n = 25 - q. Solve 4*j + n = 5*c, 0 = -j + 2*c - 2 for j.
-4
Let o(w) = -w**3 + 4*w**2 - 2*w - 1. Let q be 5/(-30) - 19/(-6). Let z be o(q). Solve j = -3, 6*s + 3 = 3*s - z*j for s.
1
Let w be (-7)/3*(15 - 18). Solve 3*d = 5*v + 22, 3*d - w = -0*v + 2*v for d.
-1
Suppose 0 = -8*o - 6*o. Solve h + r + o + 4 = 0, 0 = r for h.
-4
Let c be ((-20)/(-25))/(1/(-5)). Let m be c/(-5)*100/40. Solve -u = m*a - 1, 0 = 4*u + a - 25 + 7 for u.
5
Suppose 4*s - m - 9 = 0, s + 5*m - 9 = 3*s. Let b(c) = -3*c**3 - 2*c + 2 + 7*c - 6*c - 3. Let u be b(-1). Solve -s*y + 1 = h + 14, u*h - 3*y - 21 = 0 for h.
2
Let t be ((-24)/15)/4*(-45)/9. Solve f + 3*h - 10 = 0, -5*f + t*h + 2*h - 7 = 0 for f.
1
Let u = 8 - 2. Let n = u - 4. Let i(z) = 3*z**3 + z**2 - z + 1. Let s be i(n). Solve r - s = -5*w - 5, 14 = 4*w + 2*r for w.
5
Let a(j) = 2*j + 5. Let u be a(10). Let c be (-10)/u + (-14)/(-10). Suppose -11 + c = -5*d. Solve -d*z - 3 = -z - o, 0 = 3*z + 5*o + 1 for z.
-2
Suppose 54*s = 117 - 9. Solve 2*d = 3*c + 8, -3*c - s*c + d - 4 = 0 for c.
0
Let y = -829 - -832. Solve y*v = 7*v - 2*l - 18, -13 = -3*v + l for v.
4
Let n(s) = s**3 + 14*s**2 - 33*s - 14. Let i be n(-16). Let p(c) = -c**2 + 4. Let m be p(i). Solve -3*a - 4*w + 3 = -m*w, 3*a - 27 = 4*w for a.
5
Let p(z) = z**2 - 5*z + 20. Let q be p(5). Solve 5*a + 3*u = q, a - 2*u + 6*u = 4 for a.
4
Let b(t) = -3*t**3 - 6*t**2 + 7*t. Let d be b(-3). Solve 2*z + 12 + d = 3*s, -5*s = -2*z - 26 for s.
4
Let j = 80 - 76. Solve 0 = -3*b + 2*b - 5*k - 24, -2*b - j*k = 18 for b.
1
Suppose -207 + 157 = -10*s. Solve s*i = -2*a - 19, 4*i + 0*i - 4*a = -4 for i.
-3
Let o(c) = -2*c**2 + 4*c + 244. Let s be o(12). Solve 5*q + 2 = -s*a, q - 5*q + 23 = -5*a for a.
-3
Suppose -18*i + 13*i = -255. Suppose 5*x - 2*q - 2*q = i, 4 = 4*q. Solve 3 = -3*p - 3*a, a + x = 2*p + 2*p for p.
2
Let g = 91 - 86. Solve 26 = -g*s + 4*c, 2*s = 3*c + c - 20 for s.
-2
Let t be (-2)/3 - (-106)/159. Solve 4*n - i = -21, t = -4*n + 3*i - 5*i - 6 for n.
-4
Suppose 3*a = 5*f - 30, 0 = -31*f + 35*f - 3*a - 27. Let l(o) = 8*o**2 - 1. Let n be l(-1). Solve -m = x + 9, 0 = -0*m - f*m + 2*x - n for m.
-5
Let k be (-22)/(-55) - 78/(-5). Suppose -2*u + 6*u - k = 0. Solve -u*g - 3 = d, -g - 5 = -5*d + 22 for d.
5
Let o be (-9*(-20)/15)/1. Solve -5*m - 3*n + 12 = 0, -3*n = -m + 5*m - o for m.
0
Let q be 11/1 + (-3 - -8). Suppose -h + 15 = 3*v - 0, -v = 4*h - q. Solve 0 = 2*m - 5*j + 25, -h + 23 = -m + 4*j for m.
0
Suppose 0 + 1 = -g - p, 0 = g + 5*p + 21. Solve i + 10 = -i - 5*l, 3*i + 2*l + g = 0 for i.
0