+ 4*b, -5*k + b - v*b = -26 for k.
4
Let g = -141 + 142. Let v be (g/(-2))/(-9 - (-710)/80). Solve 5*l + 20 = -5*u + 5, 33 = v*u - 5*l for u.
2
Let t = 85 - 209. Let b = t + 132. Suppose -b = -8*v + 32. Solve 0 = -0*i - 4*i + m, -i = v*m + 21 for i.
-1
Let j be (3/(-3) + 2)*11. Suppose 0 = -4*h + j*l - 12*l + 3, 4*l + 26 = 3*h. Solve -4*o = m + 16, -h*m + 2*o - 14 = 4*o for m.
-4
Let r = 40 - 36. Suppose 0 = -4*w - 12, 0 = -0*x + 2*x - 2*w - 14. Suppose 2*n - 96 = -x*n. Solve -2*t - r*a = -10, -3*a = a - n for t.
-3
Let t(b) = 3*b + 3. Let n be t(4). Suppose 2*f = 6*f - 236. Let q = f - 55. Solve -q*i + 4*p = -i + 35, -4*i - n = p for i.
-5
Let w be (-3 - 0) + -1 + 7. Suppose -w*c = 8 - 23. Solve -y - 20 = 5*p, c*p = y + p - 16 for y.
0
Suppose -r - 12 = -2*y - 2*y, 0 = -4*r + 4*y - 12. Suppose 5*m + 4*x = 32, -5*x + 14 = -1. Solve -4*c - 2*a = -20, m*a - 20 = -3*c - r*a for c.
4
Let i(p) = 11*p - 35. Let x be i(7). Suppose 0 = 2*r + 12*r - x. Solve -r*c = 2*z - 10, -5*c + 25 = 3*z + 9 for z.
2
Let p(z) = -608*z + 613. Let t be p(1). Solve j - 14*y + 10 = -9*y, 2*j = 5*y - t for j.
5
Let f(g) = -g**2 - 10*g - 3. Let u be f(5). Let d be ((-10)/(-4))/((21/u)/(-7)). Let o = 73 - d. Solve 2*l - 3*w - o = 0, -5 = -l + 2*w - 0 for l.
1
Suppose -10*p = -8*p - 74. Suppose z + 33 = p. Suppose -4*c + z = 4*k, 0*k - 5 = -k + c. Solve 0 = s - k*d - 11, 2*s + 17 = 3*s - 5*d for s.
2
Suppose 7*t - 5 = 6*t, -2*t + 20 = 2*c. Solve 10*q + 4 = 7*q - r, q - 22 = -c*r for q.
-3
Suppose 0*y + 2*y = 4*f - 10, -y = -1. Solve -5*a = 4*l + 4, f*a + 5 = -0*a - 5*l for a.
0
Suppose -174*l = 12*l - 60*l + 103*l. Solve 20 = -4*m - 4*x, l = -m + 5*x - 12 + 7 for m.
-5
Let f = -264 - -267. Let r(h) = -5*h + 2. Let y be r(-1). Solve 3*s + 3*c - 2 = 5*c, -f*s + c + y = 0 for s.
4
Let g be (-15)/(-4*60/48). Solve -5 = r + 4*r - g*s, -2*s - 22 = 3*r for r.
-4
Let g(a) = -2*a**3 - 16*a**2 + 2*a - 142. Let u be g(-9). Let s = -1 + 3. Solve b + s*o + u = 0, 3*b = 9*o - 7*o - 14 for b.
-4
Let m(p) = 171*p + 12529. Let r be m(-73). Solve 2 = 4*j + 2*l, -r*l - 7 = -2*j - 41*l for j.
1
Suppose 65 = 9*i + 25 - 5. Solve i*p = -0*r - 2*r - 24, 5*r + 30 = -5*p for r.
-2
Suppose 0 = 16*u - 84*u + 204. Solve 28*f - 2*h = 25*f - 7, u*f - h = -5 for f.
-1
Let y(a) = -54*a + 14. Let k be y(-6). Suppose 2*m + k - 346 = 0. Solve -4*x + 7*x = m*n - 16, 12 = 3*x + 3*n for x.
0
Let r(v) = v**3 + 5*v**2 - 63*v - 18. Let c be r(6). Suppose s = -3*s + x + 21, -5*x = -s + 10. Solve -5*k = 5*y - 35, -s*k - y + c*y = -15 for k.
2
Suppose 0 = -m - 63*h + 60*h + 20, 0 = m - h + 4. Let w = 5 + 25. Solve -w = -4*o - 0*o + m*g, -3*o = -g - 20 for o.
5
Suppose -186 = -5*a - 3*p - 71, 0 = -p. Solve 4*m + 15 - a = -4*w, 3 = -m for w.
5
Let h be ((-78)/(-4))/(180/(-40) + (-5)/(-1)). Solve -h*w = -34*w + 2*v - 4, -2*v = -4*w - 4 for w.
0
Let o be (((-75)/30)/((-1)/4))/2. Solve 4*l + 18*f = 13*f - 3, 9 = o*l + 2*f for l.
3
Let x(d) = d**3 - 18*d**2 - 19*d + 8. Let h be x(19). Let u(k) = -k**3 + 6*k**2 + 18*k - 14. Let o be u(h). Solve -5 = -5*l + 4*a - a, -3*a - 11 = -o*l for l.
-2
Suppose 0 = -5*y + 2*d + 119, 3*d + 128 = 5*y + 4*d. Suppose 8*j + 9 - y = 0. Solve -k = l - 1, -3*k + l = -k - j for k.
1
Suppose 5660 = -4*k + 5676. Solve k*b - 11 = 9*f - 6*f, 1 = 3*b + 5*f for b.
2
Let a be -98 + 95 - 15/(-3)*1. Solve 7*c = 2*o + 2*c - 9, a*o = -4*c for o.
2
Suppose 4*l + 18 = c, -4*c - 2*l - 171 = -189. Solve -4*y - 3*b = 14, 3*b = y + c*b - 1 for y.
-5
Let y(q) = 11*q + 179. Let l be y(-16). Suppose -2*u - 3*u - 5 = l*i, -12 = -u + 2*i. Solve 3 = -5*z + u*n + 11, 2*z + 4*n = 8 for z.
2
Let s(m) = 205*m + 412. Let d be s(-2). Solve 4*z = -5*n - d, n - 7*z + 3*z - 14 = 0 for n.
2
Let q(o) = 24*o + 159. Let s be q(-10). Let h = -77 - s. Solve 0 = -h*i - i - 3*p - 10, 4*p + 8 = -4*i for i.
-2
Suppose -8*b = -3*b - 15. Let n = -905 + 921. Solve g - 3*i = b*g - 17, 4*g = 4*i - n for g.
1
Suppose -165*h = -167*h - 2*y + 8, -17 = -3*h - 2*y. Solve -10*p - 5*d + 19 = -13*p, -2*p - d = -h for p.
2
Let k(b) = b**3 + 37*b**2 + 230*b - 54. Let r be k(-29). Solve 8 = r*f, -7*l + f = -3*l + 2 for l.
0
Suppose -3*m + m + 6 = 0. Suppose 0 = u + 5*j + 25, -u + m*j = -8 - 7. Suppose -5*y - 19 = -3*l, l - 4*y - 198 = -187. Solve u = k - l*w - 15, -15 = 3*w for k.
0
Suppose 40 = 11*b + 117. Let v be b/42 - 870/(-36). Solve -3*x = -5*n + 11, -4*n = x + 5 - v for x.
3
Let w be 12/(-66) - 444/(-22). Suppose 39*c = 31*c + 40. Let k(n) = -n**2 + 10*n - 13. Let b be k(8). Solve -m + 4*r = -w, -r = -b*m - 0*r + c for m.
0
Let a = -545 + 579. Suppose -4*y + 18 = -a. Solve -3*f = -2*r - y, 4*f + r - 14 - 7 = 0 for f.
5
Suppose -3*h - h + 4 + 8 = 0. Let d(l) = -l**2 - 4*l. Let x be d(-3). Solve h*k = -x*r - 30, 4*k = k + 4*r + 5 for k.
-5
Let z = 5 - -134. Let c = z - 250. Let t = 117 + c. Solve 14 = 4*m + 3*r, -m = 2*r - t*r - 13 for m.
5
Suppose -33*g + 20*g = 36*g - 294. Solve -g = -z + 2*q - 1, 5*q = -3*z - 40 for z.
-5
Let w(d) = -79*d + 98. Let s be w(1). Solve 0 = u - p + 2 - 9, s = 3*u - 2*p for u.
5
Let t(q) = q. Let y be t(5). Suppose v - 28 = -5*g, -3*v + 40 = y*g + 2*v. Let h(w) = 2*w - 7. Let j be h(4). Solve -g*r = o - 2*o - j, 5*r + 3*o + 3 = 0 for r.
0
Suppose -143*w + 225 + 1205 = 0. Solve -15*t = -17*t + 4*v - w, t - 5*v + 11 = 0 for t.
-1
Suppose 40 = 4*n + 4*h, 84 = -3*h + 105. Solve -5*v + n*j + 17 = 0, 3 = -5*v + 4*j - 6*j for v.
1
Let p(n) = 2*n**2 - 2*n + 5. Let b be p(-7). Let i = -112 + b. Solve m = -2*d + i*d + 15, -2*m = -2*d - 10 for m.
0
Suppose 4*d = -d - 3500. Let a be 4/(5*(-8)/d). Let n = a + -37. Solve 0 = s - 3, -4*s - 6 = 3*y - n for y.
5
Let c(x) = 2*x**2 + x + 18. Let f be c(-7). Let g = f - 86. Suppose 0 = -7*i + 5 + g. Solve 0 = 2*z - 0*z - 2, 22 = i*d + 2*z for d.
5
Suppose -3*s = i - 13, -4*s = -s - 3*i - 33. Suppose 154*k - 5*g + 29 = 155*k, -3*k = -3*g + 3. Solve -4*n + 4 = -k*p, 3*n = p + s*n - 11 for p.
2
Let a be -1 + 7/((-42)/(-18)). Let i be a/7 + (-18)/14 - -4. Solve 0 = 5*w - p - 6 - 7, -p - i = 0 for w.
2
Let g = 72 + -51. Suppose 1508 = -g*w + 8*w. Let q = -114 - w. Solve -7*z = 3*m - 3*z - 12, -q*m - 5*z = -8 for m.
4
Suppose -102 = 8*f - 142. Let u(d) = -3*d**2 + 19*d - 10. Let a be u(f). Solve a = -5*z - 3*o, 4*o = 2*z - o + 4 for z.
-2
Let x = 442 + -434. Suppose -40 = -8*f - x. Solve 5*h + 4*g - 21 = 0, -f*h = g - 3 - 16 for h.
5
Let j(u) = u**2 + 61*u + 332. Let p be j(-55). Solve 4*n + p*q = -1 - 17, 3*n - 14 = 4*q for n.
-2
Let b = 4 - -1. Suppose 0 = -18*w + 99 - 9. Suppose -5*r - 2*j = -3*r - 38, 3*r - w*j = 17. Solve -5 = b*s + g, s + 4*g = -2*s + r for s.
-2
Suppose 0 = -19*a + 17*a - 28. Let l = a - -19. Let h = l - 0. Solve 9 = 5*u + 3*p, -3*u + h = -2*u - p for u.
3
Let v(h) = 852*h**3 - h**2 - 3*h + 3. Let a be v(1). Suppose -148 - a = -37*s. Solve -w - 2*z - 31 = -6*w, -s = -3*w + 4*z for w.
5
Let x = 14225 + -14215. Solve -2*i = v + x, -4*i + v + 1 = 15 for i.
-4
Let x(s) = 8*s**2 - 174*s - 24. Let h be x(22). Solve 8 = 5*d + 2*j, d + h = 2*d + 5*j for d.
0
Let t be (-12)/(-9) + (-32)/(-3). Let r be ((t/9)/(-4))/(12/(-180)). Suppose -r*p = -p - 20. Solve 3*s + 16 = -3*f - 2, -3*s = p*f + 26 for s.
-2
Let n(i) = -2*i**2 + 370*i - 2479. Let v be n(7). Solve -3*a + 4*w - 26 = -0*a, w = 4*a + v for a.
-2
Let t be 5 + 33*(-5)/5. Let v be (t/(2*-1))/(19 - 21). Let y(q) = 4*q + 30. Let i be y(v). Solve 15 = 3*x - i*w + 1, 2*x - 3*w - 11 = 0 for x.
4
Let z(c) = c + 2. Let a be z(2). Suppose -6*f = -5*f - 20. Let v be 2 + (f - 1) + a. Solve d + 2*d - 2*i = -v, -d - 10 = -i for d.
-5
Let h(x) = -8*x**2 + 9*x + 20. Let r be h(-1). Solve -r*v + 15 = -9*i + 6*i, 4*i = -2*v - 20 for i.
-5
Let g be (-5 + -34)/(3/(-2)). Let u be (-65)/g - 82/(-4). Solve 4*i - 6 = r - 3*r, -u = 5*r - i for r.
-3
Let i(h) = -11*h - 15. Let s be i(-11). Let l = s + -104. Solve -l*n + 7*n = 2*j - 22, -3*j + 19 = -4*n for j.
1
Let y(q) be the third derivative of q**5/60 + 5*q**4/8 + q**3/2 - 11*q**2. Let m be y(-14). Let v = m + 15. Solve 5*c + 16 = 3*a, -a = -v*c + 2*c - 6 for c.
-2
Let s be (-10)/(((-24)/9)/4). Solve 0 = w + 3*b + s + 1, 0 = -w - 5*b - 30 for w.
5
Let t(y) = 2*y**3 - 7*y**2 - 4*y. Suppose -19 - 29 = -12*a. Let w be t(a). Solve -2*h - 2*h - 3*s - 17 = w, -5*s - 17 = h for h.
-2
Suppose -95