9. Solve 3*q - 1 = -j*l - 16, 4*q = 3*l - 20 for l.
0
Suppose 2 + 7 = -3*p. Let d = p - -13. Solve 2*j + 2*y = y + d, 5*y - 14 = -j for j.
4
Suppose -9 = 4*p - 53. Solve 2*o = 4*q - 0*o + 28, q = -4*o + p for q.
-5
Suppose 5*o - 33 = -v - v, -5*o + 37 = 3*v. Solve h + g = -1, o*h - 3*g = 3*h + 8 for h.
1
Let c = -23 + 30. Solve v = 6*b - b + 7, 0 = 5*v - 4*b + c for v.
-3
Suppose 2*a - 2 = 2. Let q be (3/a)/((-30)/(-40)). Solve q*d + 8 = -5*y + y, -2*y - 3*d + 4 = 0 for y.
-4
Suppose 5*x + 23 = -2*d + 3*d, -4 = 4*d + 4*x. Solve -d*v + 2*h - 17 = 0, 0*v - 25 = 3*v - 4*h for v.
-3
Let d(k) = k**3 + 6*k**2 - k - 8. Let t be d(-6). Let o be 50/15 - t/(-6). Solve 4*p + 3*r + 1 = o, -2*r = 3*p - 1 for p.
-1
Let d be (35/7 + (-2 - 1))/1. Suppose 0 = -5*t + m + 22, -6*t + 4*m + 3 = -3*t. Solve 2 = -2*x + 3*h, -d*h + t = -5*x - 11 for x.
-4
Let c be (3 - 5) + -2 + 9. Suppose 4*n = -c*t, -5*t - 5 = n + 10. Solve -2*l + 2 - 12 = r, -n*r = 0 for l.
-5
Suppose 10 = -2*y - s + 23, 4*y = -s + 31. Solve 5*t + 20 = -2*h + 5, -3*t = h + y for h.
0
Let u(l) = -l**2 - 1 - 2 + 3*l + l. Let y(s) = -s**3 + 2*s - 1. Let n be y(-2). Let t be u(n). Solve t = i - 2*g, 5*g - 4 = 3*i + g for i.
-4
Let g be ((-9)/(-3))/(-3) - -21. Let i be (-2)/((-6)/(-4) + -2). Solve 4*w + g = -3*v, i*w + 2 + 2 = v for v.
-4
Let b(m) = m - 1. Let s be b(5). Let q(n) = n**2 - 11*n + 22. Let f be q(9). Solve 0 = -s*j + v + v, 22 = -3*j - f*v for j.
-2
Let j(o) = o**2 - 2*o - 6. Let g be j(5). Let s = -5 + g. Solve -11 - s = -5*c - 5*i, 5*i = -10 for c.
5
Suppose 0 = 3*b + 2*b - 15. Solve -b*y - 3 = c, -3*y - c + 12 = -5*c for y.
0
Let z = -244 - -248. Suppose 0 = -0*f - f + 5*h - 7, 3*h = -f + 1. Let y = f + 2. Solve 2*n - 1 + 3 = 3*i, y = -z*n - i + 24 for n.
5
Suppose 3*a = -2*q + 15, 4*q - 15 = -0*a - a. Solve 2*d + d - 24 = 3*x, 2*d - q*x - 19 = 0 for d.
5
Let d(x) = -2*x + 1. Let c be d(-2). Suppose -c*i = -0*i - 5. Let l(u) = u**2 + 1. Let z be l(i). Solve 0 = -s + 3, -7 = -z*a - 6*s + 5*s for a.
2
Let i(n) = -n + 9 + 2*n + 0. Let p be i(8). Solve 3*v + 5*a = p, 3*a - 2 = -v + 9 for v.
-1
Let l = 1 - -1. Let u = -18 - -26. Let r = -5 + u. Solve -2*j - r = -3*g + l, -5*g + 7 = -3*j for j.
-4
Suppose 2*k - 25 = -3*k - 2*j, 2*j = -4*k + 20. Solve 2*b - k*u + 3 - 4 = 0, -3*b + 10 = u for b.
3
Let k(v) = 9*v**2 - 2*v + 1. Suppose -3*a - a = 0. Let n be (a - (-3 + 2)) + 0. Let l be k(n). Solve 9*r = -3*s + 4*r + l, 0 = -5*s - 5*r + 10 for s.
1
Let s be 74/26 - (-4)/26. Solve 5*o = 4*t - 40, s*t + 6 = -4*o + t for o.
-4
Suppose 2*h = 35 + 15. Let l(o) = o**3 + o. Let r = -19 + 19. Let n be l(r). Solve -3*x - h = 4*y + 2*x, -4*y + x + 5 = n for y.
0
Let i be 530/50 - 3/5. Suppose -i = 4*a - 5*a. Suppose -7*c = -2*c - a. Solve 3*g = 4*m + c*g + 8, -2*m = g + 10 for m.
-3
Suppose -5*b - 20 = -110. Suppose -k + 0*x + 4*x - 10 = 0, -3*x = -5*k + b. Solve -5*p + p + 26 = -5*r, 0 = -3*p - 3*r + k for p.
4
Suppose -2*t + 3*t = 0. Solve m = -1, -3*m - 4 = s - t for s.
-1
Let q be (-1 - -2)*(0 - -1). Suppose 3*n = 8*n - 70. Suppose -q - n = -y. Solve -y = z + 4*z, 4*f - 5*z - 19 = 0 for f.
1
Let i be 22/8 - 1/(-4). Suppose -4*u - i*c + 36 = -u, -4*c = -4*u + 64. Suppose 4*m + 2*a = 5 + 9, m + u = 3*a. Solve 4*o = -5*k - 29, 0 + m = -k + 4*o for k.
-5
Let y(a) = a**3 - 6*a**2 + 7*a - 2. Let l be y(5). Let z = -5 + l. Solve 0 = -2*v - 3*m - z, -v - v - 4*m = 4 for v.
0
Suppose -y = 2*c + 2*y - 5, -5*c + 18 = 2*y. Suppose -x + 21 = 4*q, 12 = -q + 3*x + 1. Solve -17 = c*l - 3*p, 2*l = -q*p - 4 - 10 for l.
-5
Suppose -j + 5*m = 10, -6 = -3*m - 0*m. Solve j = -8*n + 4*n + p - 7, 4*p = -20 for n.
-3
Let p = 11 - 9. Suppose 4*a - a + 9 = -2*n, 2*a - 5 = -5*n. Solve 4*c - 15 = d, -n*c = -p*d - 24 + 9 for d.
-3
Let t = 1 + 0. Let u(w) = 7*w. Let i be u(t). Let s(k) = -3*k - 3. Let h be s(-2). Solve -o - f = -h*f + i, o = -f + 8 for o.
3
Suppose 4 = -0*o + o. Solve -o*d - 2*c = -4*c + 4, 3*d - 2*c = -3 for d.
-1
Suppose 11 = -2*t - t - 2*a, 2*t = a - 12. Let i(m) = m**3 + 5*m**2 - m - 1. Let k be i(t). Solve 2*b = -k*x - 4 - 10, -4 = -x + 2*b for x.
-2
Let s = 45 + -28. Let t = s - -3. Suppose 4*q - t = -q. Solve 15 - 4 = -p - q*h, -2*p + h + 14 = 0 for p.
5
Suppose -2*f = -2*d - 8, -2*f + 0*d + 5*d + 8 = 0. Solve 5*b = -25, -4*s + f*b + 5 = 1 for s.
-4
Let p be 4*1/2 + -1. Let q(y) = -y**3 + 0*y**2 - 3*y**2 + p + 11*y - 12*y. Let l be q(-3). Solve 0 = 3*c + 3*k, -k - 8 = 3*c + l*k for c.
4
Suppose 3*v + 4*m + 5 = -2, 2*v + 3*m + 6 = 0. Solve 2*r - 21 = 5*d, -r - v*r + d + 15 = 0 for r.
3
Let r(n) = 23*n - 3. Let b(o) = -8*o + 1. Let z(s) = -8*b(s) - 3*r(s). Let q be z(-1). Let p be 4/q + (-68)/(-6). Solve 4*i = -12, -j + 4*i - 3 = -p for j.
-3
Let r be 2/(4 + -2) - 0. Let k be 2/r - -1 - -2. Solve k*a - w + 20 = 0, 3*a + 1 + 11 = 3*w for a.
-4
Let k = -60 + 77. Solve -3*b = -2*y + 19, 6*b - b = -4*y - k for b.
-5
Suppose -8*z - 16 = -12*z. Suppose -2*j - 14 = -3*p - p, z*p + 4*j = 20. Solve 0*a + q - 5 = 2*a, -p*q - 15 = -a for a.
-5
Let f(u) = -5 - 6 + 1 - 6*u**2 - u**3 - 10*u - 2*u**2. Let p be f(-7). Solve 0 = -3*k + 5*j + 10, 3*k - p = k - j for k.
5
Let c(t) = 8*t - 3*t**2 - 9 + 2*t + 2*t**2. Let o be c(8). Solve 5*q = 3*u + o, u + 9 = -5*q - 0 for q.
-1
Let r = 20 - 15. Solve -x = -3*m - r, -2*x + 0*x = 3*m + 17 for m.
-3
Let t = -1 - -4. Let h(g) = 5*g - 3*g - 1 + 10*g**2 + 0*g. Let j be h(1). Solve 5*s - 18 = -k, 2*k = s - j + t for s.
4
Let v = 0 + 2. Suppose -a + 7 = v. Solve -5*n = -5*y + a, 2*y - 6 - 1 = -3*n for y.
2
Suppose -o - 8 = -12. Solve 0 = v - 2*p - 5, -3*v - 2*p = -o*p + 5 for v.
-5
Suppose 2*b - 4*h = 26, -4*b + 3*h + 32 = -h. Solve 2*j + b*l = l - 10, -3*l = 4*j + 15 for j.
0
Suppose n + 4 = -8*g + 4*g, n + 3*g = -2. Suppose 3*t + 4*y = 32, -t + 14 = -y + n*y. Let k = -21 - -21. Solve -18 = 4*s - 8*s - 5*u, k = s + 3*u - t for s.
2
Let a(k) = 3*k**3. Suppose -3*g = 5 - 2. Let f = 2 + g. Let o be a(f). Solve 5*p + 9 = -4*q, o*q - 2*p - 2*p = 32 for q.
4
Suppose 2*w = -3*o + 5*o - 4, 4*w = o + 1. Solve -y + 2*m = 0, -o*m + 13 = 4*y + 2*m for y.
2
Suppose -5*j + i + 0*i + 11 = 0, 4*i = j + 13. Suppose 3*g - 21 = -5*o + 13, o = -5*g + 20. Solve -5*y - 4*u = 1, y + g*y + j*u = 0 for y.
3
Suppose 0 = 4*g + g. Let j be 0*(1 + -2 - 0). Suppose u = 3*t - 21 + 4, j = 5*t - 2*u - 30. Solve -4*b = -d + 6, g*b + b = -t*d + 7 for b.
-1
Let b = -8 + 2. Let g be 6/(-9) + b/(-9). Suppose 5*h - 2*y - 16 = g, -2*h = -3*h + 3*y - 2. Solve 2*f + 11 = -h*v + 1, -5*v - 5*f = 20 for v.
-1
Suppose 0 = -2*x + 8, -b + 14 = -0*b + 3*x. Let f = -6 + 34. Suppose -4*l - f = -4*g + g, -4*g + 4*l = -44. Solve j = b*c + 7, -7*c - g = -3*c for j.
-1
Let u = 69 + -65. Solve 20 = -u*b, -4*p + 5 = b + 2*b for p.
5
Let u(j) = j**2 - 2*j - 5. Let f be (-234)/(-15) + 2/5. Suppose 3*y + 4 = f. Let o be u(y). Solve -3*p + 2*w + 5 - 12 = 0, -3*p + 3 = o*w for p.
-1
Let y be 2 + 0 - (-5 + 1). Suppose 4*d + y = 7*d. Solve i = d*i + 5*v + 3, -2*v - 4 = -i for i.
2
Suppose -24 + 14 = -5*g. Let b(i) = i**3 + 0*i + 6*i**2 - 2*i - 4 + i. Let r be b(-6). Solve w - 15 = 6*w, -r*y + g*w = -16 for y.
5
Suppose -3*q - 2*q + 80 = 0. Let f = q - 8. Let g = 106 + -105. Solve -o - g = 2, -j + f = -2*o for j.
2
Let i(f) = -f**3 + 4*f**2 - f. Let p be i(3). Let a = -5 - -8. Suppose 0 = -2*q - 4*k - p, -6*q + 37 = -q - a*k. Solve y - 3*y = -4, -q*y = d - 12 for d.
2
Suppose -x + 168 = 13*x. Solve -2*c - 8 = -m, x = 4*m - 7*m - 3*c for m.
0
Let l(o) = o**2 + o + 1. Let u be l(-1). Let s be (2 + u + -1)/1. Solve -15 = 5*d - s*b, 2*d + 2*b - 5 = 3 for d.
-1
Suppose -12 = -4*q - 0*q. Suppose 2*c = q*c. Solve c = 2*h - 4*j - 0 + 6, -5*h + 5*j = 10 for h.
-1
Let m = -4 - -7. Suppose -4*l + 17 = 2*o + m, -2*l = -o + 23. Let i = o - 11. Solve 2*c - 3*c = 4, 0 = i*h - c + 12 for h.
-4
Let s be (-43)/(-9) - 6/(-27). Solve -4*v - 9 = s*i, 0 = -4*v + 5*i + 3 - 2 for v.
-1
Suppose 0 = -3*s - 15, 4*s - 5 = 2*z - 25. Solve z = -5*c + 5*i, -3*c - 3*i - 4 = -34 for c.
5
Let l(y) = 2*y**2 - 2*y. Let t be l(9). Suppose -2*u - c - 109 = -5*u, -4*u + c = -t. Solve 3 = -2*v + i, -5*i - u = -10 for v.
-4
Suppose -u + 2*r + 8 = 0, -3 = 2*u + 2*r - 7. Suppose -4*x = -3*n - 2 - 18, 3*x - 15 = -u*n. Solve n = 2*y + 2*g - 14, 0 = y + 2*y + 2*g - 17 for y.
3
Let s(c) = -c