9. Solve -3*c - c = -z - 5, 4*c = v for z.
3
Let d = 12 + -9. Solve -6 + 3 = -q, 5*q - 6 = d*m for m.
3
Suppose 4*a = -3*y - 14, -a + 12 = -4*y - 5*a. Let h = 3 + 0. Solve g - 1 + 4 = -2*i, -h*i + y*g = 1 for i.
-1
Suppose 0 = 3*h - h - 10. Solve -5*l = 0, l - 4*l = i + h for i.
-5
Let m = -1 + 4. Suppose i + 2 - m = 0. Suppose -k + i = -4. Solve -5 = 2*x - 3*x + k*a, 0 = 4*x - 5*a - 5 for x.
0
Let z(p) = p**3 + 16*p**2 + 16*p + 18. Let f be z(-15). Solve -5*s + 10 = -5*o, -f*s + 3 = 9 for o.
-4
Suppose 13*c - 30 = 3*c. Let u(q) = -q**3 + 4*q**2 - 4*q + 3. Let s be u(3). Solve k - w + 5 = 0, 4*k + c*w = -s + 1 for k.
-2
Let m = -11 - 26. Suppose -4*t - 23 = -3*t. Let u = t - m. Solve -5*g = 3*j + u - 0, -j + 2*g + 10 = 0 for j.
2
Suppose -2 - 8 = -4*w + 2*c, -3*c = -3. Solve -14 = -3*q + 2*h, q + 24 = w*q - 5*h for q.
2
Let j = 12 + -9. Suppose -3*g + 2*g + 17 = 5*p, 18 = j*g + 4*p. Let o(s) = 13*s - 1. Let m be o(1). Solve 0 = g*f - 3*y - m, -4*f + 4*y + 27 = 7 for f.
3
Suppose 3 = 3*n - 9. Suppose -o = -n*o. Solve 4*z + 0*z + 19 = 5*r, -3*z - 2*r + 3 = o for z.
-1
Suppose 5*x - 52 - 63 = 0. Let z be (10/(-8))/((-3)/12). Suppose q + 17 = 4*p - 1, -z*p + x = -q. Solve -3*o = -i - 2, q*i = o + o - 8 for o.
-1
Let a(x) = -x**2 - 6*x - 4. Let z = -4 - -1. Let p be 2 + (-2 - 2) + z. Let b be a(p). Solve -3*f + 17 + b = -3*y, 14 = 3*y + 5*f for y.
-2
Let m = -4 - -4. Let b(i) = -i - 2. Let l be b(-4). Solve m = 3*h - 3*z + l + 7, -z = -3*h - 9 for h.
-3
Let l = -9 - 10. Let s = l + -2. Let o = 32 + s. Solve b - 16 = 3*n, b = 4*n + 9 + o for b.
4
Suppose 4*b - 45 = 19. Suppose 6*s = 5*s + 6. Suppose 2 = -3*o - 13, 25 = -5*t - 5*o. Solve -s = 3*g, t*m = 4*m + 2*g - b for m.
5
Let g be -3*(-2)/(-12)*-8. Solve -g*r - r - 26 = -3*s, 2 = s for r.
-4
Let l be (1/(-2))/((-7)/28). Solve -4*v = 4*q, 0 = -2*q - v + l*v + 6 for q.
2
Let x(j) = -j - 7. Let n be x(-13). Solve -4*p = w - 9, 4*w = -3*p + 2*p + n for p.
2
Suppose 4*w - 78 = 2. Suppose n = -4*n + w. Solve 2*h + y - 5*y + 18 = 0, -13 = h - n*y for h.
-5
Let u(j) = j**2 - 6*j + 3. Let c be u(6). Solve c*m - 3*g + 12 = 0, 2*g - 2 = 3*m + 9 for m.
-3
Suppose 0 = -3*f + 2*f - 2*h + 13, f - 3*h = -12. Solve j + 20 = 2*q - f*j, 0 = -3*j - 12 for q.
2
Let t(j) = j**2 - 2*j - 2. Let y be t(-2). Let x be (y/(-3) + 15)/1. Solve 3*w + 2*k + x = 0, -15 = -w + 6*w + 2*k for w.
-1
Let m be (0/1)/(0 - -1). Let v be -2 + 5 + m + -3. Solve 3*i + w = 7*i + 20, v = -4*i - 5*w - 20 for i.
-5
Let k(i) = i**3 - i**2 + i + 3. Let o be k(0). Suppose -o = 7*s - 8*s. Solve -s*f + 5*y = f + 26, 2*f = -5*y + 2 for f.
-4
Suppose -5*p - 7 = 2*m + 28, -p - 43 = 4*m. Let n = m - -12. Solve -34 = 3*j - 5*s - 13, 5*j + 4*s = n for j.
-2
Let n = 8 + 1. Suppose -3*k + n = y + 2*y, -5*y = -3*k + 1. Solve 0 = 4*r - 4*l + 3*l - 5, l + 1 = k*r for r.
2
Let w(m) = -m**3 + 7*m**2 - 4*m - 5. Let n be w(6). Solve -u - 2*u + i + n = 0, 5*u + 11 = -4*i for u.
1
Suppose 12 = -0*q + 3*q. Let i be ((-12)/(-9))/((-6)/(-99)). Solve v = 5*o - i, -3*v - q = -v for o.
4
Let a(c) = 3*c**2 + 2*c. Let j be a(1). Solve 0 = -2*o - 2*k + 3 - j, 12 = 3*o - 2*k for o.
2
Let o(b) = 2*b - 4. Let j be o(7). Suppose 0 = 4*r + u - j, 2*u + 4 + 0 = 0. Solve -1 = r*x + 4*c, 5*x - 45 = 3*c + 2*c for x.
5
Let m = 0 - 0. Suppose m = -o - 4 + 9. Solve 5*c = 4*d + 3 - 29, -o*d = -4*c - 28 for c.
-2
Let h be (-102 - -1) + 0 + 1. Let n be (-3)/12 - h/16. Solve 5*o = -2*d + n, -3*d + 3*o = 8*o - 9 for d.
3
Let d = 79 + -70. Solve -i = 5*h - 19, h = 8*i - 3*i + d for h.
4
Suppose 25 = f + 21. Solve -f*v + o = -v + 15, -3*v - 18 = -2*o for v.
-4
Suppose 0*s - 3*s = 0. Suppose s*y = y. Suppose 2*b = 4*j - 10, -j + 4*b - 11 = -b. Solve 5*z = j*v - y*z - 31, z + 19 = 4*v for v.
4
Suppose 0*h - h = -10. Let g be -2 - (3 + -1 + -9). Suppose g*s - j - 30 = -11, s + 3*j = 7. Solve 6 = -s*q + t, 6*q + t = 2*q - h for q.
-2
Let y(u) = 5*u**2. Let w be y(-1). Suppose 6 = -w*f + 31. Solve -3*z + 12 = -3*i, f*z - 2*i = 4*z + 3 for z.
5
Let n be 28/5 - (-4)/10. Let k = -11 - -16. Solve 5*t - 7*t = 2*x + n, -t + 15 = -k*x for x.
-3
Let j(x) = 2*x - 5. Let k = -4 - -1. Let h(q) = q - 3. Let m(o) = k*j(o) + 5*h(o). Let a be m(-2). Solve 20 = -5*n + 5*r, a = -0*r + 2*r for n.
-3
Let a(c) = -8*c - 3 - 8*c**2 - c**3 - 1 + 2*c**3 + 0*c. Let r be a(9). Solve -4*m - 18 = -5*i - 5*m, -4*m = -r*i + 3 for i.
3
Let d = 1 + 2. Let i = -3 + 9. Solve 4*y = -d*h - 17, h - y - i = -0*y for h.
1
Suppose -4*q + 10 = -o, 3*o - 3 = 5*q - 12. Solve o = 2*g - 5*i + 32, 0 = -g - i - 1 for g.
-5
Suppose -4*l = 4*p - 9*p + 33, 5*p - 3*l = 31. Suppose -12 = 3*b, -2*b + 0*b - 22 = -2*q. Solve 0*n + 2*n - p*f = -q, -4 = n - 3*f for n.
-1
Suppose -6*j + 8 = -2*j. Solve -4*z = -q + 7, 4*z + j*q + q + 11 = 0 for z.
-2
Suppose 2 = -i, 0 = -2*z - 3*i + 5*i + 20. Let b(a) = 4*a - 2. Let u be b(z). Let p be 24/u*10/4. Solve -2*d = -5*s + 26, 10 = -4*d - p for s.
4
Let n = -3 - -4. Let j be (-1 + 0)*-6 - n. Solve -5*f + 2*f + j = -v, v - 1 = f for f.
3
Let a = 108 - 77. Suppose -6*y = -8*y + 14. Solve -l = -2*c - 5, -2*l + 4*c + a = -y*l for l.
-3
Let u = 16 - 11. Solve -5*w = j - u, -5*j + 3*j = -2*w + 2 for j.
0
Suppose -4*s = -6 - 10. Suppose -g + 20 = s*g. Let t be 32/(-6)*(-18)/12. Solve 4*n + t = -g*i - i, -2*i - 17 = -3*n for i.
-4
Suppose -4*u - 5*g + 36 = 0, -3*u = 4*g - 5*g - 8. Suppose 2*a - 5*x = 10, a = 4*x - 2 + 10. Solve a = 2*t - 6*t - 4*p - 28, -u*p = t + 16 for t.
-4
Let a = 8 - 4. Let y = -31 + 46. Solve -5*m + 2*m = -a*t - y, 4*t = -4*m + 20 for t.
0
Let n(f) = -f**3 - 13*f**2 - 12*f + 3. Let y be n(-12). Let c be (7*4)/4 - y. Solve 4*b - w = -3*w + 8, c*b - 2*w = 0 for b.
1
Let r = 8 - 4. Suppose -r*x = 6 - 18. Suppose -3*b + 12 = -x. Solve w + b*j = -3*w - 41, -2*w + 7 = -3*j for w.
-4
Suppose -2*n - 5*r + 13 = 0, -n - 4 = 3*r - 13. Let q be -1*(-3)/((-9)/n). Solve -4*w = -q*t - 4, -4*t + 2*t + w - 7 = 0 for t.
-4
Suppose -6*f - c + 91 = -f, 3*f - 4*c - 73 = 0. Solve 4*j + 4*d + 1 = -f, 0 = -3*j + 3*d + 15 for j.
0
Let l = 30 + -28. Solve -3*h - l*h + 5*v = 15, 4*v = h - 3 for h.
-5
Let i be -10 - -24 - (1 + -2). Suppose 3*r + 0 - 16 = -c, 2*c = 2*r - 16. Solve 3*b - r = y - 0*y, i = -5*y for b.
1
Let u(o) = o + 14. Let q(g) = -3*g - 29. Let m(d) = 2*q(d) + 5*u(d). Let w be m(7). Solve -3*a + 2*a = -5*f - 1, -13 = 2*a + w*f for a.
-4
Let l be 33/(1*2/(1 - -1)). Solve -27 = -5*c - 2, -4*g + l = 5*c for g.
2
Let x = -36 + 39. Solve -x*j + 13 = -c - 1, 0 = -3*c - 5*j + 14 for c.
-2
Let h(a) = -a**3 + 4*a**2 - 1. Let g be h(2). Solve 3*r + 4*c = -4 - 1, 4*c + g = -r for r.
1
Suppose 3*d - 2 = 4. Let f be (-2)/(d/(-4)*1). Let z(j) = j**2 + 2*j - 3. Let s be z(2). Solve 0 = 2*u - 4*w - f, 4 = 2*u - s*w - 3 for u.
-4
Let d(u) = -u**3 - 10*u**2 - 9*u + 2. Let i be d(-9). Solve -t = 2*p - p, 8 = i*p - 2*t for p.
2
Let u(r) = 35*r**3 + r**2 - 1. Let p be u(-1). Let h = p + 72. Solve 0 = 4*o - m - 21, -4*m - h = -3*o + m for o.
4
Let i = -5 - -18. Suppose 2*h + i = 5*v + 1, -5*h = -20. Solve -5*q - 10 = a - 0*a, v*q + 19 = -3*a for a.
-5
Suppose 0 = -3*p - v - 14, 5*v + 19 - 3 = 3*p. Let s be 6 - (-1 - p - 0). Suppose 12 = 4*h - 0*h. Solve 5*f + 21 + 12 = s*o, 19 = -h*f + 2*o for f.
-5
Let h(j) = j**2 - j - 15. Let d be h(-5). Solve -3*i + d = 0, u + 9 - 2 = 2*i for u.
3
Let k = 5 + -10. Let m = 24 + -16. Let p = m + k. Solve s - 4*s - 12 = 5*z, -2*s + 11 = -p*z for z.
-3
Let o be (14/(-6))/(-4 + (-44)/(-12)). Solve 6 = -i - i, 4*j - o = i for j.
1
Suppose 2*m + 1 = 11. Solve -4*z + m*k - 19 = 0, -2*z - k + 13 = 4*k for z.
-1
Let z be (-12)/(-5)*(0 - -5). Suppose r = 4*r - 15. Suppose 3*l - 9 = b - 27, -4*l - r = 5*b. Solve -v = 0, -b*d + 0 = 4*v + z for d.
-4
Let t = 28 - 25. Solve o - t*k - 15 = -4, -2*o - 5*k = 11 for o.
2
Let s = -112 + 64. Let i be ((-2)/(-4))/((-2)/s). Solve 0 = l - 3*t - 2*t + i, 4*l - 5*t + 18 = 0 for l.
-2
Let s(k) = -2*k + 12. Let g be s(-9). Solve 11 = 3*q + 5*r, -4*r - 2 = -4*q - g for q.
-3
Suppose -3 = -3*o, 5*o = z + 1 + 1. Solve 4*g - 5*k - 10 - 19 = 0, 0 = -z*g - 5*k - 22 for g.
1
Let r(b) = -b**2 - 13*b + 4. Let k be r(-13). Solve 5*a - 5*v - 1 = k, -19 = -3*a - v for a.
5
Let v(a) = 4*a. Let b be v(1). Suppose -5*h + b*h + 2 = 0. Suppose 0 = -x + 3*q, 3*q + h = 2*x - q. Solve 