9. Solve 2*u = -5*k + 17, j = 2*u + k - 6*k + 13 for u.
1
Let d(m) = m**2 - 2*m + 2. Let v be d(2). Suppose 0 = v*z + 2*z - 16. Solve z*o - 4*c - 4 = 0, c - 4 = -0*c for o.
5
Suppose f = 6 + 13. Suppose 3*x + 2*x + 3*t - f = 0, -3*x + 5*t = 9. Solve w + 4 = 2*j, 0*w + 4*j = -3*w - x for w.
-2
Suppose 3*x - 4*n = 25, 2*n = -x + 7*n + 23. Solve 0 = -k - 4*u - 11, -x*k + 9 = u + 20 for k.
-3
Let p = -2 + 5. Solve -3*y + b = -y, 0 = -3*y - p*b + 18 for y.
2
Suppose -17*f + 16*f = -7. Solve -5*s + 4*k = 3, 4*s + 5*k = -34 + f for s.
-3
Let w be (0 - 4)*(-1)/2. Solve -4*j - d = -8, w*j + 4*d = -1 + 5 for j.
2
Suppose 0 = -5*x - 19 + 49. Suppose 0 = 5*v + 3*b - 12, -4*b = 2*v - 0*v - 2. Solve -2*h - x = 0, -o = o + h - v for o.
3
Suppose 3*n + 4 = -5*l + 2, -l = -5*n - 22. Solve x - 4*i - 4 = -x, 5*i = -l*x + 4 for x.
2
Let s(x) = x - 7. Let t be s(11). Solve y + 0 = b + 5, -t*b - 20 = y for y.
0
Let c(s) = 3*s**2 + s - 1. Let g be c(1). Solve -2 + 6 = 5*h - 3*d, -g*d - 2 = -4*h for h.
2
Let k be 8/(-3)*(-6)/4. Suppose 0 = 5*g + 1 - 16. Let c be (-2 + (-9)/g)*-1. Solve -2*x + 4*j - 12 = 0, 2*x - c*j + 18 - k = 0 for x.
-2
Let c(g) = -g**2 + 14*g + 2. Let j be c(14). Let h = -1 + 2. Solve 0 = -j*o - s + h, -5*s + 2 = -5*o - 3*s for o.
0
Suppose 0 = -3*o - 2*o + 25. Solve o*d = -2*t + 10, -3*d + 3*t - 15 = -4*d for d.
0
Suppose 0 = q + 3, -4*q - q = 3*s - 18. Let w(h) = -h + 31. Let v be w(7). Solve -2*g + 11 = -5*x, -x = 5*g + v - s for x.
-3
Suppose 1 = -m + 3. Solve -10 = i - m*p, 6*i + 2*p + 10 = 2*i for i.
-4
Suppose 2*v = -v + 18. Let b = 0 + v. Solve -2*g = -b, -3*g = y - 7*g + 8 for y.
4
Let f(k) = -k**2 - 8*k - 5. Let x be f(-7). Solve x*n = 4*u - 6, -16 + 4 = u + 4*n for u.
0
Suppose -5*o = -24 - 41. Solve -3*t - 12 = 4*i, -3*i - o + 4 = -3*t for t.
0
Let u = -15 + 18. Suppose -1 = w - u. Solve -d + 10 - w = 2*l, -l = -4*d + 5 for d.
2
Let u be 1/6 - 11/(-6). Suppose -2*s = -u - 10. Suppose 0 = t - s*t + 10. Solve -4 = -4*z - t*j, -5 + 1 = -4*z + j for z.
1
Let c = 35 - 11. Let w be 8/40 - c/(-5). Suppose -2*l + 35 = -5*i, -2*l = 5*i - i - 44. Solve -l = w*h, -q - 2*h = 3*h + 18 for q.
2
Let a(h) = 2*h + 1. Let w(y) = -2*y - 1. Let z(u) = 3*a(u) + 2*w(u). Let t be z(7). Solve -g + t = 5*b, 0*b = -4*g + 3*b - 32 for g.
-5
Suppose 4*p - 43 = 37. Let z(x) = -x**3 + 7*x**2 - 5*x - 5. Let b be z(6). Let u = b + 3. Solve -p = -5*h - 2*c + c, 0 = -u*c - 20 for h.
5
Let a be 0*4/(-8) + 4. Solve -5*n = -20, 3*g - a = -g + 3*n for g.
4
Let d be (-2)/3 + (-26)/(-3). Suppose -19 = -5*u + t, -4 + 3 = 5*u + 4*t. Suppose u*f - d = f. Solve -2*h = -4*h + f*a + 16, 0 = 2*h + 4*a + 16 for h.
0
Suppose -4*v - 25 = -3*o, -30 = -5*o + 3*v - 3. Let r be o - (1 - (-1 - -6)). Let x = -1 + r. Solve -4*h + 0 = b - 2, 3*b + 2*h - x = 0 for b.
2
Let z(b) = b + 19. Let n be z(-15). Solve -3*v - 20 = 4*a, n*a = 5*v + 3 - 23 for v.
0
Let z be 4/(-30) - ((-321)/45 - -4). Solve 0 = -5*w - 5*p - 5, 0*w + z*p = w - 15 for w.
3
Suppose -12 = -3*h + 24. Suppose 4*m = 5*m + h. Let a be (-75)/(-12) - (-3)/m. Solve 17 = -t - 2*u + a, -2*u - 6 = 0 for t.
-5
Suppose -5*d + 0*c = c - 176, -c - 174 = -5*d. Solve y = -0*h + 2*h - 2, 5*h = -5*y + d for y.
4
Suppose 9*q - 4*q = -o - 2, 2*q - 10 = -4*o. Suppose 0 = -4*b - 5*w + 5, 4*w = -3*b + 3*w + 12. Solve z + 5*y = -10, b*y + 10 = -o*z - z for z.
0
Suppose -q = -0*q. Let u = -4 + 3. Let l be u/(-2)*2*0. Solve l = -3*n - s - 9, q = -n + 3*s + 2*s - 19 for n.
-4
Suppose o = l - 0 + 8, 0 = 2*l + 2. Solve -5*d = w - 11, -2*w + w - o = -d for d.
3
Suppose 0*x = -4*x - 52. Let w = -8 - x. Solve 8 = 2*c - w*l, -5*c + 2*c - l - 5 = 0 for c.
-1
Let f = -6 - -9. Let r(h) = h**3 + 9*h**2 - h - 6. Let l be r(-9). Solve -2*z + f = d, l*z + d - 7 = -0*d for z.
4
Suppose -3*d + 6 + 4 = 5*c, -2*d + 5 = 5*c. Let h be (-1)/d + (-22)/(-10). Solve h*j = -2*j - 4*n - 16, 0 = 5*j + 4*n + 17 for j.
-1
Let o(j) = j**3 - 2*j**2 - 3*j - 5. Let z(u) = u**2 - 4*u + 4. Let g be z(4). Let m be o(g). Let x = 7 - 4. Solve -15 = -3*b, 0 = -s - 3*b + m + x for s.
3
Let p(h) = h**2 + 3*h + 3. Let x be p(-2). Let q be x + 2 - (-3 + 1). Suppose -q*u + 12 = -58. Solve -l = 2*a + 2 - 12, -2*a = 2*l - u for a.
3
Suppose z - 8 = -r, r + 0*r - 4*z = -17. Let l = 18 - r. Solve -y - 1 = 2*x + 2, 3*x = 5*y + l for y.
-3
Let c(r) = 0 - 2 - 1 + 7*r - r**2 + 1. Let q be c(6). Let d = 5 - q. Solve -5 = 5*a, 0*a - a - d = -5*v for v.
0
Let d(g) = 2*g - 4. Suppose -2*l - 3*n - 42 = -6*l, 0 = 5*l - 3*n - 51. Let a be d(l). Solve 10 = -3*t - 3*u - a, 4*t = 5*u + 13 for t.
-3
Let z(s) = -s**2 + 3*s + 1. Let c be z(2). Solve 2*b - 5*j = 2, -4 = c*j + 2 for b.
-4
Suppose 2*t - 5*y = 6*t - 64, -2*y - 47 = -5*t. Solve -3*v = -o + t, -3*v + 8*v + 3*o = 5 for v.
-2
Let x = 4 - -1. Solve 3*l = -w + 2*l + 5, l = -4*w + x for w.
0
Suppose -6 = -0*f - 3*f. Let u be -2 - 2*29/(-2). Let r be 33/u + f/(-9). Solve 5*y = 2*j + 8 - 0, 3*j = 2*y - r for j.
1
Suppose 51 = 4*s - 49. Solve -3*n + 8*n - s = -5*g, -5*g = -4*n - 16 for g.
4
Let x = -3 + 4. Let g(c) = -c**3 + 10*c**2 + c - 7. Let l be g(10). Solve -3*m + x = l*d - 8, -3*d = 5*m - 17 for m.
4
Suppose b - 6*b + 15 = 0. Solve 0 = f - 3*i + 2, -3*f + b*i = 0 for f.
1
Suppose -3*s = 2*i - i - 9, -4*i + 8 = 5*s. Suppose -n = s*q + 4*n - 15, 0 = 3*q - n - 35. Suppose 4*v = -v + q. Solve -4*k - f = -5*k - 1, -v*f + 10 = 0 for k.
4
Suppose -3*i + 63 = 5*g, 2*g - 42 = i + 2*i. Solve 3*l - 15 = 0, 0 = -0*f + 2*f + 5*l - g for f.
-5
Suppose 4*b + 6 = 6*b. Solve 15 = 2*t + 2*t + b*g, 5*t = -5*g + 20 for t.
3
Let l = 15 - 12. Solve 0 = j, -l*s = -5*j + 7 + 2 for s.
-3
Suppose 4*c - b - 3 = 0, -13 = c - 4*b + b. Suppose -c*s + 1 = -5. Solve s*g - g + 8 = -t, 0 = t for g.
-4
Let t = -1 + 5. Suppose -t*q - 67 = 25. Let f = q + 39. Solve -2*j + f = -3*s - 0, -16 = 2*j + 5*s for j.
2
Let p = 29 - 24. Solve 0 = -3*j - 2*i + 6*i - 11, -4*j - p*i = -6 for j.
-1
Let t(j) = 1 - 5 + 2*j + 5. Let r be t(1). Let p = 13 - 7. Solve -5*x + y + p + 9 = 0, -r*x + 4*y = -9 for x.
3
Let h = -5 - -8. Suppose -2*n + 2*c - 10 = n, -3*c = 3*n - 15. Let y = h - n. Solve -3*j - 4*l - 13 = 0, -2*j + 3*j = y*l for j.
-3
Suppose 2*l + 0*l + 9 = -3*z, 4*l = 2*z + 6. Suppose -2*j + 10 = -l. Solve -3*m - m - 10 = s, -12 = j*m + s for m.
-2
Suppose 4*y + 8 = 20. Solve 0 = 3*f + 5*g + 30, -y*f + 40 = -8*f - 5*g for f.
-5
Let v be (12/(-10))/((-6)/(-20)). Let r be (-4)/2 - (-2 - -6). Let m = v - r. Solve 4 = 2*w, 5 + 5 = m*g + 3*w for g.
2
Let k(s) = s**2 + s + 13. Let v be k(0). Solve -z - x - 3 = 0, -3*z + 3*x = -8*z - v for z.
-2
Suppose -2*a + 3*q = -19, a - 3*a - 21 = 5*q. Suppose -2*j = x - 14, -2*j + 32 = -0*x + a*x. Solve -u + 3*u - 2*h - x = 0, 3*u - 19 = h for u.
5
Let f be 9 + -6 - 0/(-1). Solve -2 = -2*x + f*h, 0*x - h - 19 = 3*x for x.
-5
Let i = -49 + 83. Solve -2*a = -3*b - 19, -i = 3*b - 5*a - 9 for b.
-5
Suppose -t + 2 + 1 = 0. Suppose t*l - 4 = 5. Let f be (1/l)/(4/24). Solve 5*r + 5 = -2*v, 3*v - 2*r - 31 = -f*v for v.
5
Suppose -5 + 1 = -4*h. Let y be (2/h + -4)*-1. Let a be (-16)/(-6)*6/4. Solve -5*j = -c - 0*j - 7, -y*c + j = -a for c.
3
Suppose 0 = k + 2*t - 1, -3 = -t - 6. Solve k = 5*g - p - 1, g = -5*p + 12 for g.
2
Let a = 7 - 5. Suppose -a*r = -r - 1. Solve 5*i - s - r = -6, 0 = -i + 3*s + 13 for i.
-2
Let f(o) = o**3 - 4*o**2 + o + 1. Let j be f(2). Let w(p) = p**3 + 5*p**2 - 2*p - 6. Let x be w(j). Solve q - 3*i - 7 = 0, q - 2*q = -x*i - 8 for q.
4
Let s = -24 + 27. Solve 5*g + 8 + 1 = s*r, 5*g = -r + 3 for g.
0
Let p(r) = r**3 + r**2 - 2*r + 5. Let g be p(0). Solve -3*k + g*b - 40 = 0, 0 = 4*k - 3*b + 25 + 10 for k.
-5
Let a = 0 + 2. Solve -3*i - 15 = 5*y, -a*i = -y + 6 + 4 for i.
-5
Suppose -2*r = -5*r. Solve 5*n + 2*f = 19, r*n = n - 3*f - 14 for n.
5
Let t be (-108)/(-11) - (-4)/22. Let r be t/4 + (-1)/(-2). Solve 6*s + 5 = s + r*l, 14 = -s - 2*l for s.
-4
Suppose 4*q - 3*q = 0. Let g be q - (1 - (5 - 2)). Suppose j - 2*j - 4*x = -17, 2*j - 4 = g*x. Solve 0 = j*w + 4*r + 23, -10*r - 25 = 5*w - 5*r for w.
-3
Suppose -4*s + 9 = -3. Solve s*b = -5*k + 6, 11 + 7 = -3*b + 3*k for b.
-3
Let r be 1/2 + 5/(-10). Suppose 11*l - 6*l - 20 = r. Solve 2*k - 3*k + 4*c + l = 0, 0 = -2*k - c + 8 for k.
4
Let s be ((-2)/(-2))/((-2)/(-10)). Solve -10 = -s*q, 24 = 5*a + q +