 9. Let t = -113 - -113. Suppose t*q = -12*q + 48. Solve -4*f + 2*k = -0*f - 24, 0 = y*k + q for f.
5
Suppose 0 = -2*r - 5*n - 64, 0 = -6*r + 3*r - 3*n - 96. Let z(b) = 2*b + 69. Let g be z(r). Solve 0 = -w + 4 - 1, 31 = -4*k + g*w for k.
-4
Suppose 0 = 149*r - 515 + 68. Solve -4*s + 4 = -3*w, 4*s - 3*s - 16 = -r*w for s.
4
Suppose -213 = 8*d + 59. Let l = d - -36. Suppose 2*s + a = 2, -2*a - a - 2 = l*s. Solve -3*m + 5 = c, -5*c + s*m = -3 + 29 for c.
-4
Let o be (-26)/(-11) - 420/1155. Solve -4*m - o = a, -a = -3*m + 45 - 43 for a.
-2
Suppose -h - 67*a + 62*a = 791, -4*h + 5*a = 3214. Let g = -798 - h. Solve -4*u - 25 = -0*v - g*v, 3*u - v = -15 for u.
-4
Let c = -1221 + 1223. Solve c*h - 12 = 2*v, -4*h + 6 = 6*v - 4*v for h.
3
Let b = 27 + -18. Solve -j = t, b*j + 5*t + 14 = 2 for j.
-3
Let y(q) = -2*q**2 + 18*q + 49. Let s be y(11). Suppose 11 = 2*z - s*k, 111*z - 106*z = -3*k + 12. Solve -i - 16 = 4*v, -20 = 2*v + z*v + 5*i for v.
-4
Let y = -19205 + 19313. Solve -3*g = 12, -5*u - 115 + y = 3*g for u.
1
Let g be (-12)/4 - (-15)/45*15. Solve 7*b + 31 = -g*l + 2*b, 0 = b + 5 for l.
-3
Let w be 23 - -6 - (-12)/(0 - 3). Let b(o) = 6*o - 145. Let r be b(w). Solve d = r*h + 20, -2*d + 12 = -3*h - 7*d for h.
-4
Let n(z) = z**2 - z - 237. Let i be n(-15). Solve 4*u - 20 = -2*s, 0 = -i*s + u - 12 - 0 for s.
-2
Let y be ((-75)/36 + 0 - (-70)/40)*-15. Solve t = 4, -3*t - 32 + 19 = -y*n for n.
5
Suppose -54 = -3*q - 2*l - 14, -q + 20 = 4*l. Solve -2*u - 18 = -4*v, -5*v + 10*u = q*u for v.
2
Let a = 13391 + -13387. Solve f = -2*z + 15, -a*f + 7*f = 3*z - 18 for f.
1
Suppose -11*q = 6*q - 34. Let o be ((-1573)/(-6))/11 - q/(-12). Let u be 8*((-18)/o)/(-3). Solve 0 = -2*t - 3*t - f + 6, 5*t - 3*f - u = 0 for t.
1
Let b be -1 - (-1 - -4 - 0). Let z(u) = 3*u**2 - 129*u + 8. Let m be z(43). Let k be m - (-8)/(-6 - b). Solve 4*f + 8 = -k*j, 4*f + 2*j + 0 + 2 = 0 for f.
1
Suppose -38*j + 170 = 18. Suppose j*s = -599 + 635. Solve -h - s = -2*a, -4*a + 24 = 3*h + h for a.
5
Let c(i) = -22*i**2 - 2*i - 27. Let j be c(-5). Let d = j - -572. Solve 5*b + 9 = 4*m, d*m - 4 = -4*b + 3*b for m.
1
Suppose -3*w - 36 = w. Suppose 5*s - 11 = -16. Let n be s*15/w*3. Solve 0 = -5*t - n*r + 10, 4*t + 4*r = -r + 9 for t.
1
Let p = -504 + 520. Let n be (p/24)/((-8)/(-252)). Solve -n = z + 5*c, -c - 9 = -5 for z.
-1
Let a(l) = -5*l**3 - 233*l**2 + 98*l + 194. Let k be a(-47). Solve -9*g + k*g + 11 = -2*z, 0 = g - 1 for z.
-4
Let h(p) = 22*p**2 - 5*p + 11. Let w be h(2). Let m = w - 74. Solve y + 4 = 2*j + 10, 5*j + m = 0 for y.
0
Let w = -5950 + 5955. Solve 0 = h - 3*y - 10, w*h + 9*y - 20 = 14*y for h.
1
Let c be (-9)/(-21) + 277/7. Let d = c + 0. Let x be (-59)/(-8) + (-15)/d. Solve -x*l + 3*l = -4*h + 8, l + 5*h + 2 = 0 for l.
-2
Let s(x) = x**3 + 7*x**2 + 5*x - 6. Let r be s(-6). Let z = r - -5. Let p be 99/759 - (-2352)/483. Solve 6 = 5*v - w, p*v - v + 1 = -z*w for v.
1
Let w(k) = -2*k**3 + 9*k**2 - 14*k + 54. Let z be w(4). Solve z*x = 4*o + 18*x + 24, -5*x - 25 = 0 for o.
-1
Let n = -9 + 9. Suppose -3*p - 4*k + n*k + 100 = 0, -3*k = 4*p - 138. Let o be ((-32)/6 + 4)/((-1)/3). Solve -5*w + 0*w = -4*a + p, -4*w = 5*a - o for w.
-4
Suppose -b + 3*p - 4*p = -5, 2*p = -5*b + 37. Suppose 5*f = b*f - 8. Solve -w = w + 3*z + 1, -w + f*z + 3 = 0 for w.
1
Suppose -4*q = 3 + 13, 2*q - 1564 = -3*c. Let l = c + -522. Solve l*h = -3*a + 19, 0 = h - a + 2 - 4 for h.
5
Suppose g = 5 + 12. Suppose 12 = -i + g. Let q(h) = -h + 2. Let a be q(-1). Solve a*t - 2*n = -i, 4*t - n + 10 = -0*t for t.
-3
Let x be 5/(-30)*2*0/(-50). Solve -4*d + v + 19 - 12 = x, 4*v = -3*d + 29 for d.
3
Let w be (7*(-25)/(-525))/((1 - 3)/(-6)). Solve -5*d + 20 = -2*o + w, 0 = 5*o + 3*d - 30 for o.
3
Let i(q) be the third derivative of q**5/30 - q**4/6 + q**3 + 10*q**2. Let p be i(4). Let x = 62 - p. Solve o + 3*o - 4*k = -x, -5*k = -3*o - 40 for o.
-5
Let a be ((-3)/(-2))/(2 + 13/364*-35). Suppose -36 = b - 4*b. Suppose 0 = -n + 4*f - 6*f + b, -2*f + 4 = -n. Solve -8 = 4*u + g - a*g, n*u = -g for u.
-1
Let m be (13 + -46)/((-6)/8*2). Suppose -3*f - m = 5. Let r be 1/9 - 35/f. Solve 3*x + 5*c + 3 = r, -c = -x - 5 for x.
-3
Let h(f) = f + 60. Let b be h(-22). Let i(n) = n**3 - 3*n**2 - n - 4. Let l be i(5). Let y = l - b. Solve 3 = -z - 2*q - y, -4*z - q = -11 for z.
4
Suppose 0 = 13357*t - 13366*t + 27. Solve 10 = 5*f, 2*h + 5*f = -t + 7 for h.
-3
Suppose 0 = i - 5 + 4. Let v = -220 - -286. Suppose v = 43*p - 37*p. Solve -2*n = -t + p, 0 = 4*t - i - 3 for n.
-5
Suppose -2*f = -f - 3*y - 7, y = -4*f + 2. Suppose 4*l + o = 19, -5*o + 14 + f = 4*l. Solve 7 = -4*s - u - 15, -19 = l*s - 3*u for s.
-5
Suppose -19*j = 83 - 159. Solve -j*u + 32 = 5*k, 5*u = 2*k - 12 + 19 for u.
3
Let a be (42/4)/(96/8192). Let p = -893 + a. Solve -5*g + 2*i = p - 2, 3*g + 3*i - 12 = 0 for g.
1
Suppose 4*f = -3*l + 33, -5*f + 5*l + 27 + 58 = 0. Suppose -5*u = -4*u - 5. Let b = -1797 + 1800. Solve n + b = -0*n, -u*w + n = f for w.
-3
Let q = -1121 - -499. Let p = q + 626. Solve -s = -2*g - 3, -p*s = -3*g - g - 8 for g.
-1
Let z be ((-4)/10)/(-1) - 354/(-15). Suppose d - z = -h, 5*h - 91 - 35 = -2*d. Solve -5*y - h = -0*b - 4*b, -22 = 3*y - 4*b for y.
-2
Let n be -21 - -99 - (-2)/4*6. Suppose 11*t = 114 - n. Solve 5*q = t*g - 10 + 22, -8 = q + 2*g for q.
0
Let j = -371 + 401. Solve -4*l + 3*h + 11 = 0, l + j = 4*l + 5*h for l.
5
Let z = 213 + -215. Let m be (-2)/(-4) + ((-7)/z)/(-7). Solve m = 4*t - 3*v + 26, 5*t - 3*v = v - 33 for t.
-5
Suppose o + 11 + 1 = 3*z, 3*z - 3 = -2*o. Solve -t = -4*m - 1, 0 = -5*m - 2 - z for t.
-3
Let d = 79 + -69. Let o be (-44)/(-20) - 3 - (-98)/d. Solve 4*u = y - 0*u + o, -u = -1 for y.
-5
Let t = 10476 + -10473. Solve -5*b + 14 = -s + 5*s, -b = -t*s + 20 for b.
-2
Let r be ((-2)/((-8)/(-15)))/(2925/(-3900)). Solve 10 = 2*a - 3*a + b, -b = 2*a + r for a.
-5
Let a be 110*(-8)/(-240)*-21. Suppose 4*y + 338 - 18 = 5*w, -3*w = -3*y - 240. Let l = a - y. Solve 6 + 4 = 5*q, 5*f - 31 = -l*q for f.
5
Suppose 23 = 63*f - 166. Solve -f*g + 6 = -3*p + 9, 4*g = 2*p + 2 for p.
3
Suppose 3*j = 15, 3*i - j - 5 = j. Suppose -4*m = -5*s - 1, i*s - 4*m + 22 = 7*s. Suppose -35*v = -34*v - s. Solve v*c + 6 = -5*b, -c = 4*b + 1 + 1 for c.
-2
Let k(i) = -i**2 - 129*i - 3692. Let a be k(-86). Solve -2*h + y + 3 = 0, -a*y + 4*y - 6 = h for h.
0
Let q be (-4)/(-18) - 13937/(-99). Let v = 101 - q. Let b = v - -45. Solve -4*p - 21 = 3*y, 2*y + 2*y - b*p - 3 = 0 for y.
-3
Let b = 98 - 101. Let m be 6 + 2 + -4 + b. Solve -5*l = -3*o + 22, -o + l = m - 5 for o.
-1
Suppose 0 = -1986*s + 1966*s + 80. Solve 0 = j, s*n - 4 + 0 = j for n.
1
Let p = -3 - -5. Let j = 893 + -879. Suppose 3*k + p = j. Solve 0 = -3*n + i + k*i - 10, i - 20 = -3*n for n.
5
Suppose 297 - 147 = 6*k. Let i = -23 + k. Solve 2*f - i*g = -6*g - 22, 2*f - g = 3 for f.
-1
Let d = -10487 + 10507. Solve -42*f - 8 = -44*f, 2*p - 5*f + d = 0 for p.
0
Let m = -13667 - -13687. Solve 12 = v - 4*r + m, -r + 1 = 0 for v.
-4
Let g(k) = k**2 - 30*k - 296. Let c be g(-8). Solve 2*a + 3*w + 10 = 0, -4 = 10*w - c*w for a.
-2
Suppose 0 - 15 = -3*c. Let o(i) = -10*i - 1357. Let g be o(-136). Solve -b - g*v + 9 = -v, 0 = -c*b - 3*v + 31 for b.
5
Let b be 81/135*(-10)/(-3). Let o(x) = -x**3 + 3*x**2 - 2*x. Let h be o(b). Solve 2*v + h*n = n + 6, 0 = -5*v - 5*n - 15 for v.
1
Suppose 9520 = 9*i + 9412. Solve -12*x + 13*x - i = -3*y, 0 = -3*y + x + 18 for y.
5
Suppose -2*z = -4*n - 12, z + 13*n - 16*n - 10 = 0. Let s be 4*z/12 + (-42)/(-9). Solve 14 = 5*d - s*q - 2, 0 = 4*q + 16 for d.
0
Suppose -4*m + 6*m - 4*b + 586 = 0, 5*b = -3*m - 846. Let g = m + 290. Solve -7 = 4*v + 3*x, -x = -2*v + g*v + 3 for v.
2
Suppose 22*k = -10*k + 221 + 355. Solve 14 = -k*p + 20*p + 8*t, -t + 4 = p for p.
3
Let j be (-76)/(-16) + 1/4. Let k be 9/1*(84/18 - 4). Let w be 20/3*k/j. Solve -2*v = -6*c + 2*c - 12, -5*v = c - w for v.
2
Let n(x) = -x**3 - 8*x**2 + 10*x + 28. Let c be n(-10). Suppose -4*o - 48 = -2*m, 4*o + c = 5*m + 14. Solve 2*d + 5*p + m = d, -3*p - 27 = -4*d for d.
3
Let c = 332 - 330. Suppose 4*s - 4*v = 0, 21 = c*s + 15*v - 10*v. Solve 13 - 1 = 3*h + s*j, 3 = -3*h + 2*j for h.
1
Let q = -99 + 103. Suppose 0 = -q*f + 5*j - 6 + 2, -4*j + 12 = -f. Suppose -f*z - 12 = -8*z. Solve o - 3*o = -5*c + 