9. Solve -4*k - 5*y - 9 = h, 5*k + 2*y - 30 = 4*y for k.
4
Suppose 2*k = -p - 1, -54*p + 49*p = 5*k - 5. Let z(f) = -f**3 - 2*f**2 - f + 1. Let b be z(-2). Solve -5*m + r - 17 = 0, -3 = -p*m + 2*r + b*r for m.
-4
Suppose 2*j + 3*v = 67, -2*j = -3*v + 7*v - 72. Suppose 0 = -3*c + j + 1. Solve c = -3*a + h, -4*a - 2*h = 2 + 10 for a.
-3
Let u(z) = 36*z**2 - 1439*z - 38. Let y be u(40). Solve 0 = -5*x, 3*x - 6 = -y*o - 4 for o.
1
Suppose r + 19 + 33 = 2*c, 3*c + 4*r - 56 = 0. Let q be (-5 + c/3)/1. Solve -3*a + 4*i = -0*a, 3*i = q*a for a.
0
Let u be ((-40)/(-90))/(2/9). Suppose 0 = -5*s + u*v + 4, 2*v = -15*s + 10*s + 16. Solve s*q = -5*j - 26, 2*q - 3*q = -2*j - 5 for j.
-4
Let g(n) = 2*n - 30. Let y be g(15). Suppose y*s - 5*s - 80 = 0. Let f be (-6)/(-16) + (-10)/s. Solve -i = -4*h - 23, -h + f - 3 = i for h.
-5
Suppose 113*s = 85*s. Solve -5*q + 6*q + 3*f = -9, s = 4*q + 3*f for q.
3
Let r(f) = 91*f**3 + 7*f**2 - 19*f + 11. Let i be r(1). Solve -2*p - 4 = 4*q, -2*q - i = -p - 84 for p.
2
Let k(j) = 2*j + 82. Let v be k(-35). Solve -7*c + v*c + 3*h = -8, -4*c = 3*h + 4 for c.
-4
Suppose -3*u = -u - 6. Suppose -g - 78 = 2*h - 4, 5*h + g = -182. Let m = -32 - h. Solve -16 = -5*i + s, 0 = u*i - i + m*s - 2 for i.
3
Suppose -n + 13 = -0*n. Let j be 67/1 - 20/(20 + -15). Suppose 68*x - 25 = j*x. Solve f - n = -5*s, -f - s + x*s = 14 for f.
-2
Let p(v) = v**2 + 29*v + 44. Let c be p(-28). Suppose 128*j = 129*j. Solve 2*q - 5*i = 23, -4*q + j*i = -4*i - c for q.
-1
Suppose 2*u - 10 = 0, -5*n + 0*u + 4*u = 0. Let z(p) = p**3 - 86*p**2 - 347*p + 55. Let i be z(-4). Solve 4*j = 2*r - n, 4*r - 14 = i*j - 1 for j.
1
Let l(s) = -s**2 - 62*s - 827. Let g be l(-42). Solve r - g = -4*v, -3*r - 4*v + 0*v + 23 = 0 for r.
5
Suppose -c + 497 - 494 = 0. Solve u = -c*p + 1, 2*u - 4 = -2*p - 6 for p.
1
Let n(r) = -28*r**2 - 839*r + 32. Let q be n(-30). Solve -q*a = u, 12*u + 22 = 7*u + a for u.
-4
Let p be 8/(-6)*132/(-16). Suppose -5*r + 32 = -b + p, 3*r = -4*b + 8. Solve 5*d = -5*h + 35, r*d - 5*h = -h + 12 for d.
5
Suppose 105*y - 76 = 86*y. Solve 2*c + 0 - 11 = -3*g, -3 = -c - y*g for c.
7
Let h be -3 - (-8 + 4*(-9)/(-12)). Suppose 3*a = -3*v - 4 - h, -5*v + 14 = -3*a. Suppose v + 6 = 7*q. Solve -i = -0*w + 3*w + q, -4*w - 5*i = 16 for w.
1
Let o be -14 + 7 + -7 + 14. Solve -5*n - 3*s + 4 = 0, o = -12*s + 9*s + 9 for n.
-1
Let l = 373 + -264. Let h = 104 - l. Let x(m) = m**2 + 7*m + 10. Let z be x(h). Solve 3*j = -j + 4, z = 3*r - 5*j + 11 for r.
-2
Let m = 96 - 160. Let b = -74 - m. Let z be (b/2 - 1)*14/(-28). Solve z*o - 2*c = 17, o = 3*o - 2*c - 12 for o.
5
Let u = -274 - -385. Let d = -37 + u. Let j = d + -70. Solve 5*o - 14 = -i, -6 = -4*i - 2*o - j for i.
-1
Let x be ((-2)/(-1))/(-7 + 52/8). Let i = -22 - x. Let s be (i - -19)*(6 - 1). Solve s*v + 41 = 3*z + 7, -v - 5 = 0 for z.
3
Suppose -3*t + 3 = 5*d - 4*d, -t + d - 3 = 0. Let j = -5 - -18. Solve 0 = 5*i + 4*q - j, t*i - 5*i - q = -7 for i.
1
Let r = 3264 - 3251. Solve 4*s + 11 = 5*v, -7*s - r = -5*s - 5*v for s.
1
Let q be (-18)/(-4) + 2/(-4). Let s be 1 + (3 - 52/14) - 192/(-112). Solve -q*j - 2*b = -10, -b + 12 = 5*j + s*b for j.
3
Let s be (-27)/36*16/(-6). Let a(w) = 3 + 4*w**2 + 14*w - 10*w - 3*w**s. Let c be a(0). Solve -2*f + 5*x - 11 - 1 = 0, 5*x = -c*f + 32 for f.
4
Let b be -39*9/108*20. Let x be (-1)/(b/185) - (-2)/13. Solve -4*v - 8 - 28 = -5*l, -4 = -4*l - x*v for l.
4
Let s be (-3 - -4)*(-7)/((-21)/45). Let g be (-9)/18 - s/(-6). Solve 0 = -2*d + 4*m + 2, 3*d + 4*m - g*m = -21 for d.
-5
Let w = -371 - -215. Let r = w - -161. Let q(i) = i**2 - 2. Let y be q(-2). Solve -5*o + 5 = -r*x, -y*o - 3*x - 3 - 5 = 0 for o.
-1
Let g(f) = -f**2 + 38*f + 200. Let x be g(-4). Solve -3*v - o - 12 = 0, 5*o - x - 3 = 4*v for v.
-5
Let k = -449 - -772. Let m = -322 + k. Solve 3*n + m = -d - 8, n + 3 = -d for d.
0
Let q be 18 + (364/(-39) - -13)*-3. Solve 0 = 3*o + 2*i - 13, 0*o - q = -2*o - i for o.
1
Let u = 103 + -71. Let c = -254 + 271. Suppose -3*m = -u + c. Solve -o - m*j - 11 = 0, -j + 2 = 5 for o.
4
Suppose -3*y + 3 + 0 = 3*h, -2*h - 16 = -4*y. Suppose b + b - 16 = -4*i, 2*b = -y*i + 13. Solve c = 3*c + b*d, -5*d + 6 = 3*c for c.
-3
Let l be -7 + 5 + 20 + -1 + 4. Let a = l + -17. Suppose a*u = -3*i - u + 55, -u + 71 = 3*i. Solve 5*x - 4 = 2*h - i, -h = -2*x - 9 for h.
3
Suppose 5*h - 25 = -5*t, -t - 4*h + 58 = 38. Solve 2*c - 5*m - 6 = 19, t = c - 3*m - 15 for c.
0
Let o(x) = -7*x**2 + 177*x - 736. Let i be o(20). Solve -6*n = i*h - 2*n - 16, 0 = h + 3*n - 6 for h.
3
Let y be -3 + (-7 - 0 - -12). Let q(x) = x**3 + 5*x**2 - 6*x - 1. Let i be q(-6). Let c be (5 + -3)*(3 + i). Solve -2*a + 18 = -c*v, 2*a + y*v - 4*v = 12 for a.
3
Suppose 49*q - 8 = 51*q, 4*t - q = -248. Let c = -245 - -168. Let x = t - c. Solve 4*j + 3*s + 8 = -3, x = 4*j - 2*s for j.
1
Let r be 13/3 + (-1)/3. Suppose 5*c + l = 5, 70 = -3*c - 17*l - 173. Let j = -1 - -4. Solve -4*v - 8 = -j*y, -y + r*v + c = 2*v for y.
0
Let g be 1/2*(134 + (-4 - -2)). Let z(n) = -61*n**3 + 2*n**2 - 2*n + 1. Let q be z(1). Let c = q + g. Solve 3*s - c = -u - u, -6 = -3*u - 3*s for u.
0
Let l be 1 - (-7)/(-6) - (-57)/18. Solve 0 = -5*f + 25, l*r - 4*r + f = 9 for r.
-4
Suppose 0 = 28*c - 666 + 218. Solve -i + c = -4*h, 0 = 3*h - 7*h + 5*i for h.
-5
Let f = -84 - -83. Let o be ((f - -3)/(-6))/((-12)/144). Suppose -2*y + 5*c = -16, o*y - 4 - 10 = c. Solve y*s = 5*u + 13, -1 - 4 = 4*u + 3*s for u.
-2
Let b(u) = -12*u - 1531. Let v be b(-130). Solve -4*q = j - 5, 0 = -q + v*j - 31*j - 11 for q.
3
Let s(m) = m**3 + 5*m**2 - 4*m + 14. Suppose 4*t = 6*t - 12. Suppose -9*r - 48 = t. Let o be s(r). Solve -5*c - 24 = -3*c - 5*i, c - 6 = -o*i for c.
-2
Suppose -u + 0*u = 169. Let p be (-1)/6 - u/78. Solve -f + 3*g = -8, p*f + 10 = 6*f - g for f.
2
Let r(o) = -60*o - 296. Let n be r(-5). Let b(k) = 3*k - 4. Let y be b(2). Solve y*q = n*s, -4*q + 24 = 2*s + q for s.
2
Let f(p) = 17*p + 94. Let n be f(-4). Suppose 21*g + 25 = n*g. Solve 2*z = 5*z - 15, -2*z = g*l - 10 for l.
0
Let o = -13615 + 13630. Solve o = a + 3*h, a + 8*h - 4*h - 18 = 0 for a.
6
Suppose -22*w + 216 = -4*w. Suppose 17 - 1 = 2*x + 2*d, 0 = -x + 4*d - w. Solve 3*k - 6 = -n + 2, -x*n = -k + 20 for n.
-4
Suppose -134*f = -17*f - 468. Solve -8*z + 10*z + 3*y = -7, 4*y + 36 = f*z for z.
4
Let b(v) = v**3 - 10*v**2 - 11*v + 5. Let o be b(11). Suppose 0 = -o*z + 20 + 15. Let q = -38 - -43. Solve -q*w = 2*s - 35, 5*w - z*s + 3*s - 5 = 0 for w.
5
Let f be (2 - (3 - 1))*(-7)/21. Suppose 6*o = -f + 18. Suppose 0 = 5*x - o*x - 4. Solve 11 = 2*u - 5*w, 6*w = 3*u + x*w - 13 for u.
3
Let d(i) = 3*i + 30. Let k be d(-17). Let a = k + 1. Let y be (a/(-40))/(-1 - (-22)/20). Solve -y*s + q = -q - 10, 8 = 4*s - 4*q for s.
2
Let g = 173 - 231. Let s = 60 + g. Solve 0 = 5*i - 5*z + 10, z = -s*i + 6 - 16 for i.
-4
Let m = 2380 + -2376. Solve 2*h + m*f = f + 4, -3*f = -3*h - 24 for h.
-4
Let p(l) = -l - 10. Let w be p(-13). Suppose w*j - 27 + 30 = 0. Let z = 5 + j. Solve 2*d = -f - z*f - 12, 3 = 5*d - 4*f for d.
-1
Suppose -l - 3*l = 0. Let x(p) = p + 4. Let g be x(l). Let j = -156130 + 156132. Solve -g*o - 2 = -4*r + j, -1 = -3*o + 4*r for o.
-5
Let a = 12622 + -12620. Solve 5*h + 35 = -40*q + 35*q, -a*q - 24 = 4*h for q.
-2
Let c(j) = 38*j - 149. Let v(f) = -3382*f + 13262. Let x(p) = 266*c(p) + 3*v(p). Let d be x(4). Solve 2*q - 2*g - 8 - 4 = d, -5*g = 5*q + 10 for q.
2
Let x = 204 + -202. Suppose -x*f - f = 2*n - 22, -37 = -3*f - 5*n. Solve 2*m = -3*g - 2*m - 1, 0 = -f*g - 4*m for g.
1
Let a be (-14 - 330/(-24))*-16. Solve 0 = a*b + 3*s + 1, -b + 0*s + 6 = 2*s for b.
-4
Let d = 41843 + -41829. Solve -5*q - 3*t = 2, -19*q = -d*q + 4*t + 6 for q.
2
Suppose -5*r - 4*z = -64, 57*z = -2*r + 51*z + 30. Solve -1 = r*f - 10*f + m, -f + 3*m - 4 = 0 for f.
-1
Let u = 28 - 25. Suppose u*m - 15 = -2*m. Let z = 128 + -124. Solve -31 = z*x - m*w, 5 = -0*w + w for x.
-4
Let o be 348/66 - 4/(528/36). Solve 0 = 3*p - o*t + 13, -t = 4*p - 8*p - 6 for p.
-1
Let p = 9 - 9. Let m(n) = 0 + 0 - 3 - 7*n + p. Let u be m(-1). Solve -3*t - 3*j = 0, -u*t - 5 = -5*t + 4*j for t.
1
Let d be (781/22 + -35)/((-2)/(-16)). Solve -5*k - 1 = -r + 20, d*k = 2*r - 18 for k.
-4
Let f(k) = -k**2 - 23*k - 128. Let g be f(-11). Suppose 0 = g*p + 16 - 