9. Solve 2*k - w = 4*a, -k - 5*a - 13 - 12 = 0 for k.
0
Let z(s) = 24*s + 23. Let k be z(-3). Let h = k - -57. Solve -2*r + 3*c - h = 6*c, -6 = -4*r + 5*c for r.
-1
Let q(w) = w + 18. Let l be q(0). Let o be (-45)/l*(-16)/10. Solve 7 = 5*a + 4*h, o*a + 0*a - 4*h - 20 = 0 for a.
3
Suppose -7*a = -2*a - 25. Let i(d) = d - 2. Let o be i(10). Let c = 12 - o. Solve 14 = l + a*r, l + 4*r - 15 = c*l for l.
-1
Let k(f) = -f**2 - 9*f - 3. Let w be k(-7). Suppose w*p = 7*p + 8. Let j = p + 0. Solve -j*b = -5*b + d + 8, -d + 4 = b for b.
3
Suppose 5 = 2*i + h - 3, 0 = -5*h + 10. Suppose 2*v + 5*b - 33 = 0, 3*v - 3*b = -i - 0. Solve 5*d + 3 = 3*x + v, 5 = -4*x + 3*d for x.
-2
Let x(h) = h**3 - 4*h**2 + 4*h - 2. Suppose 5*f = 49 - 34. Let o be x(f). Let c be (-14)/(-49) - (-19)/7. Solve 0 = -c*b - a + 15, b + a - o = 2*a for b.
4
Let f = 310 + -302. Solve -5*p - 8 = -2*a, -2*p = a + 3*a + f for p.
-2
Let l(r) = r - 3. Let x be l(7). Solve x*h = -h + 3*f - 34, h = 5*f - 20 for h.
-5
Suppose 0 = 3*a - 6. Suppose 5*n = -u + 14, -6 + 34 = 2*u + 5*n. Suppose 5*p - u = -a*p. Solve 2*q = -5*i - 26, q = p*i - 6*i - 19 for q.
-3
Let x be ((-32)/48)/(3/((-54)/3)). Solve -j - 2*v - 7 = 0, j + x*j + 4*v = -5 for j.
3
Suppose 12 = -6*u + 3*u, -3*u + 3 = 5*p. Suppose b - 3 = -3*l, -5*b + 9 = -2*b - p*l. Solve 2*r + 22 = -4*c, b*r - 3*c + 0 + 6 = 0 for r.
-5
Let d(u) = u**3 + 6*u**2 + 6*u + 1. Suppose 0 = 4*i + 16. Let h be d(i). Solve -4*f + 5*a + 17 = -h, 0 = -5*f + 3*a + 26 for f.
4
Let z = -1 - -1. Suppose -8*m + 3*m = -w - 10, -2 = -m - 5*w. Let a = 6 - m. Solve -a = 2*s + 2*d - z, 5*d = 5 for s.
-3
Suppose -2*d - 9*d = 0. Let a be -2*(-2 + d) - 2. Solve -a*v = 2*z - 4, 3*v + 2*z - 2 = -3*z for v.
4
Let u(w) = w**3 - 16*w**2 - 58*w + 22. Let o be u(19). Solve 0 = -i - 2, -3*m = o*i + 3 - 9 for m.
4
Let d(j) = -12*j + 4. Let y(p) = -p**3 - 24*p**2 + 25*p - 3. Let i be y(-25). Let w be d(i). Solve 5*z + 5*x - w = 0, 4*z + 0*x - 17 = -x for z.
3
Let n = 16 - 38. Let h = -21 - n. Solve m + 2*m + h = -5*l, 5*l - 2 = -4*m for l.
-2
Suppose -3*v + x = -17, 5*v + 10*x - 5*x - 15 = 0. Suppose 5*o - 38 = -2*t + v*t, 8 = o - t. Suppose o + 7 = j. Solve f = -a - 3*f - 13, j = a - 5*f for a.
-1
Let g = -2373 - -2375. Solve -4 - 7 = 5*c + g*i, 3*c + i = -6 for c.
-1
Suppose -5 = c - 4*s, 3*c - 6*c + 19 = 5*s. Solve -l + 5*l + n = 10, -3 = -3*l - c*n for l.
3
Let b(j) = 2*j**2 + 26*j + 75. Let m be b(-9). Solve -m*n = 4*u - 2*n - 22, 0 = 3*u - 4*n - 7 for u.
5
Let v be 2/10 - 438/15. Let a = v + 32. Solve x - 5*n - 15 = 5*x, a*n - 8 = x for x.
-5
Let u = 17 - 13. Suppose -j + u = -z, 0 = z - 0*z. Solve o + j*o - 2*p - 18 = 0, -p + 6 = 5*o for o.
2
Let s(b) = -2*b + 28. Let v be s(19). Let l be (-78)/v - (-20)/(-25). Suppose 0 = -4*h - 2 + 18. Solve 26 = h*x - 2*a, -x = -a + 5*a + l for x.
5
Suppose 175*o = 163*o + 60. Solve 0 = -r - y - 0 + 4, 0 = -o*r - 3*y + 20 for r.
4
Let z be 1*6 - (-1 - 0). Suppose -4*l = -1 + 17. Let p = z + l. Solve 3*w - 20 = -5*a - 0*w, -14 = a - p*w for a.
1
Let t = 281 - 276. Solve 5*v = -3*i - 23, 3*v - 5*i + t = -2 for v.
-4
Let v be 2/11 + 212*2/88. Solve -5 = r - v*d + 7, -9 = -r - 2*d for r.
3
Let x(m) = -4*m - 6. Let s be x(-4). Suppose -5*a + 2 = 3*j - 23, -4*a + 20 = -2*j. Suppose 5*i + i - 30 = j. Solve -3*t = -0*t + i*o - 30, -5*o + s = -t for t.
5
Let l = 21 - 41. Let w be ((-12)/15)/(4/l). Let j be (5 + -2)*-3*4/(-18). Solve w*g = 2*z + 22, j*z = -3*g - g + 2 for g.
3
Suppose -p + 114 = c + 4*c, 5*c + 630 = 5*p. Suppose 116 = -4*t + p. Solve -t = v + m - 0*m, 2*m = -3*v - 2 for v.
2
Let q(s) = -3*s + 17. Let h be q(4). Solve 0 = -n + 4*u + h, -4 = -3*n + u - 0 for n.
1
Let s(l) = l**2 + 10*l - 350. Let o be s(-25). Solve 2*u + 5*c + o = 5*u, 4*c = 4*u - 28 for u.
5
Let z(j) be the first derivative of 2*j**2 - 18*j + 2. Let k = -126 + 132. Let w be z(k). Solve -4*m + 13 = -5*c, -2*c - 3*m - m = -w for c.
-1
Suppose -2*s - 60 = -4*n, -3*n + 2*n + 8 = -4*s. Suppose n*f = 4*f + 156. Solve -a - 4*a + 3*o + f = 0, 0 = 4*o - 16 for a.
5
Suppose 12 = p - 2*j, -3*p + 4*j - j = -33. Let f be p*-3*(-2)/12. Solve -f*x - 17 = 3*b, -x = -3*x - 2*b - 6 for x.
-4
Let t = -13 - -19. Suppose 7*m = 4*m + t. Suppose 14 - m = 3*u. Solve k + 2*a = -14, 3*k - 10 = u*a - 2 for k.
-4
Suppose 3*j = -2*j. Suppose -28*c = -24*c. Suppose j = y - c*y - 3. Solve f - 5*n = 23, -y*f - 3 = 4*n + 23 for f.
-2
Let i be (-6)/(54/(-45)) + -2. Let v be 1 - -1*6*1. Solve -m - 6 - v = -3*s, 3*s + i = -3*m for s.
3
Suppose -3*d - 1 = -3*l + 2, -d = -3*l + 1. Let c be (d/(-2))/(6/48). Let g be c + -3 + (0 - -1). Solve -n + 1 = -1, 3*n - 6 = -g*k for k.
0
Let x be 9/(90/(-8)) - (-58)/10. Solve x*d + 15 = 10*d, -4*f - 5*d + 35 = 0 for f.
5
Suppose -8 + 118 = 5*r. Suppose -3*l + 0*l = j + r, 2*l + 12 = -2*j. Let y = 16 + l. Solve 4*g - 19 + 6 = t, g + y = -2*t for t.
-5
Suppose 6*d - 3*x + 27 = 3*d, 2*d - 5*x + 21 = 0. Let p be (-4)/8 - 28/d. Let o be (-2 + 0)/((-2)/p). Solve -2*g + 2*b = 8, 3*g + o*b + 1 = -5 for g.
-3
Let q(l) = 23 - 8 + 16*l - 87*l**2 - l**3 + 73*l**2. Let x be q(-15). Solve 4*a = 5*r + 1, -2*r + x*r + 26 = 5*a for r.
3
Suppose -8*i + 9 = -23. Suppose i - 20 = -4*r. Solve -3*v + 15 = 0, -5*b + 0*b - 5 = r*v for b.
-5
Let u(q) = 5*q**2 + q - 10*q + 3*q + q**3. Let o be u(-6). Solve o*z + 25 = 4*b - z, -2*z = -3*b + 25 for b.
5
Let z(y) = -y**2 + 3*y + 3. Let x be z(3). Let v = -428 - -428. Let b = v + x. Solve -15 = b*i, a - 4*a + 4*i = -14 for a.
-2
Let a = -895 + 898. Solve 5*l + i = -2 + 1, a*l - 3 = 3*i for l.
0
Let d = 15 + -15. Suppose d*b = b - 20. Let v be 12/18 - b/(-6). Solve 4 = -z - v*c, 4*z - c - 1 = 3*z for z.
0
Suppose 0 = 2*j - 5*c + 23, -3*j = -3*c - 3 + 15. Let t(y) = y**3 - y**2 - y + 2. Let v be t(j). Solve 5*q + 2 = 3*s, 3*s + 4*q = -v - 6 for s.
-1
Let v be (-741)/(-114) + (-5)/2 + 2. Solve -v = 3*r + 3*z, -4*r + 3*z = -r + 18 for r.
-4
Let g be (-2)/(-16) - 42/(-48). Let v(y) = 4*y. Let f be v(g). Suppose -l = 3*l + 12, -2*n + 3*l = -17. Solve -q + 7 = f*h + 26, -21 = 5*h + n*q for h.
-5
Let s(k) = 21*k + 14. Let q(h) = -7*h - 5. Let f(c) = 14*q(c) + 5*s(c). Let o be f(8). Let y be 42/o + (-74)/(-8). Solve 4*b = -x + y, -b + 3*x - 7 = 8*x for b.
3
Let h be (8 - 0) + ((-7)/(-1) - 12). Solve h*z + 5*v = 5, -4*z + 3*v - 17 = -43 for z.
5
Let q be (34/(-170))/(2/(-50)). Solve -3 = q*t + 4*n, 3*t - n = -4*n for t.
-3
Suppose 567*q - 565*q = 4. Solve -q = -2*h + h - c, 5*h = -2*c + 1 for h.
-1
Suppose -356 = -4*f - 2*p, -3*p - 45 + 231 = 2*f. Let o be (-3)/12 + f/12. Let v = 11 - o. Solve 0 = v*g - 2*h - 6, g + 3*h = -2 - 0 for g.
1
Suppose 4 = 19*r - 17*r - w, -r = -w - 1. Solve -35 = -4*k + 5*n, -14 = -k - r*k - 2*n for k.
5
Let d = 224 - 222. Suppose -3*b + 7 - 1 = 0. Solve 3*w = l + b, -1 = -2*w + d*l + 3 for w.
0
Let m(g) = 6*g - 8*g**3 - 3 - 8*g**2 + 9*g**3 + 14. Let h be m(7). Let s be h/(-2 + -2)*0. Solve -d + 19 = -3*f, s*d - 6 = 2*f + d for f.
-5
Let b(d) = 5*d**2 + d. Let k be b(1). Suppose -54 = -4*o - 22. Solve 2*q = 3*t - 0*t - k, 4*t - o = 5*q for t.
2
Suppose -2*h + 5*c = -33, -5*h + c + 48 = -0*h. Let z = -7 + h. Suppose 25 = -3*a - z*a, 20 = l - 3*a. Solve -5*i = l*v + 25, -i + 2*v = 4*v + 5 for i.
-5
Let o be (-111)/45*-3 + (-12)/(-20). Suppose -4*r - o = -0, -4*u + 18 = -r. Solve m = 2*w + 4, -m = -4*w + u*m + 4 for w.
-4
Suppose 4*z = 4*m - 12, 3*m - 5*z + z = 6. Solve w = -2*l + m + 2, 3*l = w + 2 for w.
4
Let d(t) = 2*t**2 - 12*t + 5. Let y be d(6). Solve -3*o - y*n = -0*o - 8, 4*o = n - 20 for o.
-4
Suppose 4*z + 8*x - 20 = 4*x, 4*x = -2*z + 6. Solve 2*i + 2*k - z*k + 6 = 0, 5*k = 4*i + 2 for i.
2
Suppose 2*k - 12 = -k. Let x be (3/(-6))/((-7)/336). Solve k*m + 2*u = -x, -5*m - 33 = -0*m + 4*u for m.
-5
Let d = 542 - 540. Solve j - 3*c + 11 = 0, 15 = -d*c + 7*c for j.
-2
Let x(u) = -u**2 + 9*u - 9. Let n be x(7). Suppose 0*t - n*t + 25 = 0. Solve 3*w + 5*q + 0*q = 23, 3*w = t*q - 17 for w.
1
Let r be 2 - -3*1/(-3). Solve -3*y - r - 17 = -3*p, -2*y + 18 = 4*p for y.
-1
Let n = 13 - 8. Let h(w) = w**3 + 13*w**2 + 18*w + 14. Let k be h(-12). Let b = k + 64. Solve l - b = n*t - l, 16 = -3*t - 5*l for t.
-2
Let v be (0 - (-12)/48) + 22/8. Solve 3*c = v*j + 6, -j = -c + 2*c for j.
-1
Let g = -43 + 37. Let w be ((-1)/(g/8))/((-7