= -5*l - 23, -s = l + 5*j + 1 for l.
-5
Let k(o) = o - 4. Let n be k(6). Suppose -5*d + 2*r + 149 = 0, -3*d - 37 = -4*d - n*r. Let m = d + -22. Solve 0 = b - 4*t + m - 0, -2*t + 8 = -4*b for b.
-1
Suppose -4*z - p - 211 = z, -5*z = -4*p + 206. Let k be (-2)/4*z/3. Solve 3*a = 2*i + 2*i - 31, 2*i + 3*a = -k for i.
4
Suppose 0 = -27*b + 22*b + 80. Let r = 4 + 1. Solve -b = -r*f - 2*j - 0*j, -4*j + 8 = 4*f for f.
4
Suppose -5*d = -t - 0*d + 12, -3*d = -t + 8. Solve t*n = 3*a - 3*n + 37, a - n + 9 = 0 for a.
-4
Let g = 43 - 41. Solve -4*q + g*u - 26 = 0, -q - q - 2*u + 2 = 0 for q.
-4
Let y = 7 - 2. Suppose 0 = -4*r - y*b + 31 - 5, 2*b - 20 = -4*r. Solve w - r*c = -2*w - 4, 4*w + 2*c = 24 for w.
4
Let i be 0 + 0 - (-10)/2. Let t(s) = -2*s - 4. Let z be t(-3). Solve f + 4*f = -i*m, -z*f + 15 = -3*m for f.
3
Let m = -32 + 20. Let c be ((-36)/(-10))/(m/(-30)). Solve -4*a - c = -4*g - 45, g - 15 = -5*a for g.
-5
Let c = 4 + -2. Suppose 9*p - 4*p - 5 = -5*t, c*t - 2 = 0. Solve 2*y = -2*s - 2*s - 10, p = 5*y - 15 for s.
-4
Let m(d) = d**2 + 5*d - 4. Let c be m(-6). Suppose 3*z + 0 = 15. Suppose -5*h - c*a = -15, z*h = 3*a + 14 + 1. Solve 5*u = h*u + q - 1, 2*u = 5*q + 19 for u.
-3
Let d be (16/12)/(4/6). Suppose d*h - 12 = 2*k - 6*k, 9 = h + 5*k. Solve h*q - 3*f - 17 - 12 = 0, -4*f = 12 for q.
5
Let x = -16 - -31. Suppose -8*b + x = -3*b. Suppose k - 29 = -5*w, -2*k + 5*w - 11 = -k. Solve -k - 5 = -2*l + b*o, -l - 3*o = 11 for l.
1
Let t = 10 - 14. Let q be (-6)/t*(-8)/(-3). Solve 2*h - q*h - 3*x = -7, 4*h + x - 9 = 0 for h.
2
Let b be 2/4 - (-5)/(-10). Let f be (2 - 4)*(b + -1). Solve -3*r + 2*z - 4*z = f, -3*r + 3*z - 12 = 0 for r.
-2
Let u be (8/(-12))/(2/(-24)). Suppose u = z + z. Solve 0*s - 2*y = -3*s + z, 5*s - 2*y = 0 for s.
-2
Suppose -3*z = -6*z - 4*y + 1, 11 = 3*z - y. Solve 2*l + 7 = -w, -19 = -z*w + 4*l - 0 for w.
1
Let n(o) = -o**3 + 4*o**2 - 2*o. Let k be n(3). Suppose 0 = k*x + 12 + 9. Let w(z) = -4*z - 9. Let b be w(x). Solve 0 = 5*f - 4*t + t - b, -1 = f + t for f.
2
Let w = -81 - -85. Solve 20 = w*r + 4*s, 2*r + 1 = 3*s - 4 for r.
2
Suppose 0 = -b - 4 + 14. Solve 0 = 2*t - 4, -3*s - t + 3*t - b = 0 for s.
-2
Let h(j) be the third derivative of -1/60*j**5 - 2*j**2 - 1/6*j**3 + 0*j - 7/24*j**4 + 0. Let u be h(-6). Solve -9*v = -4*v + u*o + 30, 4*o = 5*v - 6 for v.
-2
Suppose -2*v - 12 = -3*j - v, -12 = -3*j - 4*v. Solve 0 = -2*w - 8, 3*w + 11 = j*y - 21 for y.
5
Suppose 2*u - 9 = -3*h, 3 = 4*h - h. Suppose -25 = -3*d + 128. Suppose b + 5*y - 2 = 27, 2*b - d = -3*y. Solve -u*a = 3*m - b, 10 = 2*a + m - 2 for a.
4
Suppose -3*t = -2*t + 1. Let a = 2 + t. Suppose 6*r - 4*r = 3*b - 8, -5*r + 26 = 4*b. Solve -2*f = -5*s - b, 4*f - 5*s + a + 1 = 0 for f.
-3
Suppose a + 4*k - 10 = 0, 1 - 3 = -2*k. Let t(q) = 0*q**3 - q**3 - a*q + 6*q**2 + 3*q - 6. Let b be t(5). Solve 0*g - 5 = b*j + 3*g, 5*j + g + 20 = 0 for j.
-5
Let a be (1 - 3)/2*-2. Solve -a*q + 3*u = 16, 3*q + 2*u + 10 = 3*u for q.
-2
Suppose -v = -6*v + 25. Suppose -2*t + 0 = -4. Let o be 69/15 + t/5. Solve -o = 3*x + 4*w, 3*x - v*w + 2 = -12 for x.
-3
Suppose -5*x + 10 + 0 = 0. Solve -24 = -5*w + 3*z, -w - 3 = -0*w + x*z for w.
3
Let d = 3 - 1. Suppose -o - 12 = -3*u, -d + 19 = 4*u - o. Solve -5*t = u, 2*f - 3*t - 7 = -2*f for f.
1
Let r(v) = 2*v**2 - 4*v + 2. Let k = 18 - 16. Let q be r(k). Solve c + 5*j = 9 + 1, 3*j = -q*c - 1 for c.
-5
Let z = -2 + 7. Let q be (6/(-8))/(z/(-120)). Solve -x = m - 6*m - q, -5*x - 30 = 5*m for m.
-4
Let x be (24/28)/((-1)/(-7)). Suppose -x*w + 5 = -w. Solve k = -4*a - 6, -a + w = 3 for k.
2
Let z = 24 - 22. Solve -j = w - 2, z*j - 5*j - 14 = -w for j.
-3
Let r(z) = -z**3 + 19*z**2 - 17*z - 16. Let y be r(18). Solve y*f = -10, -4*n - 3*f + 3 = -2*f for n.
2
Suppose 5*y - 7 = 13. Let i(v) = 5*v - 40. Let l be i(9). Solve 4*n + 16 = 2*c, -y*c = 4*n - l*n - 11 for n.
-3
Suppose 0 = -i - 5, 3*o + 2*i + 3*i = -10. Solve 0 = -3*r + 3*w + 2*w - 5, 30 = -4*r - o*w for r.
-5
Let g = 3 + 1. Solve -2*k = 5*x + 5, -x + g*k = -0 + 1 for x.
-1
Let v = 150 + -147. Solve y + 3 + 12 = -4*j, 3*y - 30 = v*j for j.
-5
Suppose -4*r - 5*g + 115 = -57, 0 = 2*g + 8. Let h be (-4)/(-18) - r/(-27). Solve 7 - 16 = h*o + 5*w, 0 = -5*o + 2*w + 21 for o.
3
Suppose 2*f + 3*h - 4*h - 8 = 0, -2*h - 12 = -3*f. Solve 2*v + 14 = -f*m, -6 = 3*v + 4*m - m for v.
3
Let a(g) be the third derivative of -g**6/60 - g**5/20 + 2*g**2. Let z be a(-2). Let s = -8 + 27. Solve 4*x + 3*u = s - z, 14 = 4*x + 2*u for x.
3
Let z be 10 - (-1 - -4) - 0. Let s = z - 3. Solve -5*u = 3*j - 10*u - 10, -22 = -s*j - 2*u for j.
5
Suppose -2*d = -5*d + 42. Suppose 0 = -3*b - p + d, 2*b - 2*p = 5*b - 19. Let a be 2/(-3) - (-23)/b. Solve -4*w - a*l + 2*l = 20, 3*l = 0 for w.
-5
Suppose 0 = -20*y + 16*y + 20. Solve s - 2*p = -7, 5*p - y - 16 = -s for s.
1
Let g be 3*4/((-48)/(-20)). Solve k - 5*k = v + 5, -7 = v + g*k for v.
3
Let a = 4 - 4. Suppose a = -5*f + 5 + 5. Suppose 0 = r - 1 - f. Solve r*h - 7 = 2*s - 2*h, 2*s = -2*h for s.
-1
Let h(r) = -r**2 - 6*r + 2. Suppose -1 - 3 = -2*j, 5*j = -2*d - 2. Let k be h(d). Suppose k*z - 2 = 4. Solve 3*t - 3 = -z*i - 2*i, -4*i - 2*t + 4 = 0 for i.
3
Suppose -h = 2*f - 5, 2*f + 3*f = -5*h + 25. Suppose 0 = h*p + 10 + 50. Let v = p - -17. Solve 37 = 5*c + 4*o, 2*c - v*o - 5 = -2*c for c.
5
Suppose -2*f + 6 = -18. Suppose 2*h + 12 = 2*t, 5*t - 3*h - f = -4*h. Solve -3*j = -l + 2, -t*j + 7*j + 1 = 3*l for j.
-1
Let i(j) = -j**3 + 10*j**2 - 8*j - 8. Let x be i(9). Let d = 1 + x. Solve 0*p - d*p - 14 = 2*q, -18 = 4*q - p for q.
-5
Let o(z) be the first derivative of -5/2*z**2 - 2*z - 1/3*z**3 + 2. Let m be o(-4). Solve f - 8 = -3*k, -2*k - k + 7 = m*f for f.
-1
Suppose -80 = -5*t - 11*t. Solve 4*s = 7 - 3, -i - t*s = -8 for i.
3
Suppose 3*o = -4*w - 12, w + 4*o - 2 = -18. Suppose -l = -w*l. Solve 5*t = l, 1 = a + 5*t + 5 for a.
-4
Suppose 5 = 3*t + 2*t. Suppose t = 5*r - 9. Solve 4*z + 3*k - 13 = r*k, 2*z = -4*k + 10 for z.
3
Suppose 0*d + 42 = -3*d. Let h = -10 - d. Let q(r) = 2*r**2 - r + 1. Let k be q(3). Solve 0 = -5*p + 5*v, -k = 3*p + h*v + v for p.
-2
Let t(u) = -u - 6. Let a = 5 + -11. Let i be t(a). Solve 2*k = 2*m + 4, i = 2*k - 4*k - m + 7 for k.
3
Let u = -4 + 4. Suppose 0 = -4*x + 5*i + 10, -4*x - 2*i + u*i - 4 = 0. Solve -c - 11 = 4*c - 2*z, x = 4*c + 3*z + 18 for c.
-3
Let u = 76 + -41. Solve -5*q = 5*l + u - 5, 3*l + q = -12 for l.
-3
Let u(n) = 2*n - 10. Let w be u(7). Suppose f = 3*y + 5*f - 3, 0 = w*y - 5*f - 35. Solve 0 = 5*h + 5*j, y*h + 2*j - 3*j + 24 = 0 for h.
-4
Let o(v) = v**3 + 6*v**2 - 3*v - 6. Let n be o(-3). Solve -g - j = 0, -3*g - n = -5*j + 2*j for g.
-5
Suppose 5*z + 4*k - 8 = 0, 3 = 2*z + z + 3*k. Solve 0 = -4*s - 12, 3*d + 9*s = z*s - 18 for d.
-1
Let b(s) = -s**3 + 6*s**2 + s + 4. Let q be b(6). Suppose 0 = -5*c - 4*h - 6, -c = -2*h - q. Solve g - 3*g = c*o - 2, -3*o - 5*g = -3 for o.
1
Let f be (3 - 2)*1*2. Let q be (-1 - f) + 1 + 2. Solve 0 = h + 1, 4*o + 5*h - 2*h + 7 = q for o.
-1
Suppose 5*w - 2*s - 6 = 10, -4*s - 4 = -3*w. Suppose 4*x - 10 = -t, w*t - x + 5*x - 16 = 0. Solve 0 = -4*o + 8, -3*g = t*g - o - 3 for g.
1
Suppose -18 = -3*p - 3. Solve -4*j = 2*q + 6, q + p = -4*j - 4 for q.
3
Let t(s) = -s**2 + 6*s + 3. Suppose 9 = 3*n - 6. Let l be t(n). Solve 28 = 3*z + 4*r, -2*z + r + 3*r - l = 0 for z.
4
Suppose 4*w - 11 = -5*g + 29, 0 = g + 4*w - 24. Solve 0 = g*c - 2*c - 4*d - 20, -5*c - 4*d = -8 for c.
4
Suppose 2*l = 3*l + 20. Let t be l/(-15) - (-2)/(-6). Suppose -u + 4 + t = 0. Solve u*n - 4 = 3*a, 3*a + 5*n - 6 = 10 for a.
2
Let q = 17 + -12. Solve -o - 16 = -3*d, 0 = q*o + d - 0*d for o.
-1
Let m = 6 + -4. Let x be 6/m - (2 + -1). Solve -x*v + p = -7, 6*v - v + 4*p = 11 for v.
3
Let b(w) = 3*w - 1. Let p be b(1). Solve 20 = 4*r, p*n - 3*r = n - 13 for n.
2
Let c be -2 + -1 + 3 + 18. Suppose d = 4*d + c. Let y = d - -15. Solve -5*t - 13 = -4*u + y, 0 = 2*u + 3*t for u.
3
Let y = 24 - 20. Solve 2*k - y*m + 5 = -5, -5*m = k - 23 for k.
3
Let f = 15 + -12. Solve u = -h + 2, 5*u - u - 11 = -f*h for h.
-3
Suppose -5*d = -7 - 3. Suppose -5*p + d = -3*p. Solve -i - p = 5*o, -3*o + 2*i = 3*i - 1 for o.
-1
Suppose -4*h - 5*c + 2 = 14, 4*c = h - 18. Suppose l = 3*l - h. Solve -4*i = -3*w - l + 6, 2*w - 1 = 5*i for w.
3
Let r be 10*(1 - 0/(