 Solve v*f - f = s*w + 22, -41 = -5*f + 4*w for f.
5
Let v(w) = -w**3 - 5*w**2 + 6*w + 5. Let t be v(-6). Suppose 0*c - t = -c. Suppose 13 = c*l - 2. Solve -b - 4*s + l + 0 = 0, -12 = -4*b - 3*s for b.
3
Let v(d) = d**2 - 5*d + 2. Let r be v(5). Let n = -7 - -10. Suppose n*w - 27 = -3*j, -2*j + 4*w = -4*j + 26. Solve r*u - 14 = 2*o, -j*u + 4 = -21 for o.
-2
Suppose 20 = 22*m - 18*m. Solve -m*j + 3*n - 14 = 0, 4 = -4*j + 4*n - 4 for j.
-4
Suppose 7*n - 3*n - 50 = -5*s, -3*n - 2*s = -34. Let u = 10 - n. Let p be 2*(-1)/2 + 18. Solve u = -3*k + 4*r - 11, -4*r + 15 = 4*k - p for k.
3
Let x be -1 + 1 + (3 - -2). Suppose 0 = -3*q - 3*z + 48, -4*q + 75 = -5*z - 25. Solve -p - 4*h = p - 8, -q = -x*p + 3*h for p.
4
Suppose -27 = -10*m + 7*m. Let x(v) = v**2 - 9*v + 4. Let b be x(m). Solve p + 5 = 4*f, -f - b*p = -2 - 12 for f.
2
Suppose -4*p + 12 = 5*r - 0*p, -5*p = 10. Solve 0 = -r*t + 5*h - 4, -4*t = -h - 3*h for t.
4
Suppose -2*w - 2*w = 0. Solve -7*z + 2 = -2*m - 3*z, 4*z = w for m.
-1
Let u = -132 - -204. Let d be (-4)/18 + 160/u. Solve -2*a + 2 = 3*q - 2, 0 = -4*q - 2*a + d for q.
-2
Let o(c) = -24*c - 2. Let h be o(-1). Let v = h + -21. Solve -t = -4*l + v, 1 = t - 2*l + 2 for t.
-1
Suppose -p + 40 = 4*p. Suppose 0 = 2*m - 5*m + 30. Solve 4*l + l = -3*h + m, -5*h + p = 4*l for l.
2
Let n = -7 - 8. Let d be ((-6)/(-5))/(3/n). Let c be 27/d*(-4)/6. Solve j + w = -c*w + 2, -2*j = 3*w - 4 for j.
2
Suppose -30 = -h - 4*h - 5*z, -3*z - 3 = 0. Let a(n) = -n**3 - 3*n**2 + 3. Let c be a(-3). Solve 2*p + c*s - h = 0, 11*s - 6*s = 3*p + 37 for p.
-4
Suppose -6 - 4 = -2*s. Let z = -1 + 1. Suppose -5*k - 4 + 14 = 0. Solve o - k*t + 6 = z, -3*o = -s*t - 0*t + 16 for o.
-2
Suppose -30 = 4*d + 2. Let r = d - -18. Suppose 3*p = p + r. Solve 3*i - k + 4 = 0, -2*i = 2*k - p*k + 5 for i.
-1
Let y = 14 - 4. Solve -5*t + 2*f = 10, 10 + y = 3*t + 4*f for t.
0
Suppose -8*h + 20 = -3*h. Suppose -3*s - 2*g + 1 = 0, s - h*g + g - 15 = 0. Solve 5*j + 22 = s*q, 3*j + 3 = 2*q - 10 for q.
-1
Let f(a) = -2*a + 1. Let q be f(-1). Let m(i) = -i**2 + 12*i - 7. Let r be m(8). Suppose q*n = r - 1. Solve 12 = 4*x - 4*b, x + 5*b + 7 = -n for x.
0
Suppose 3*l + 2*l = -4*o + 55, 0 = -2*l - 2*o + 22. Suppose 4*r + 14 = -2*a + 32, -5*a - l = -4*r. Solve 0 = -s + 4*b - 10, s - 3*s = -b - a for s.
2
Suppose 7*y + 130 = 2*y. Let f = -16 - y. Solve 0 = -4*u + 3*a + 2, a + f = -4*a for u.
-1
Suppose 4*q - 5*z = 105, -2*z - 3*z - 25 = 0. Suppose -3*r - 4*g = -29, 32 = -r + 5*r + 4*g. Solve 2*t + 2*t - q = -m, -r*m = 4*t - 28 for m.
4
Let j be 2/10 - 2/10. Suppose j = 4*n - 9*n + 45. Solve -c = 2*z + z - 3, n = -3*c for z.
2
Let l = -153 - -155. Solve -l*c = 0, 4*d = 5*c + 12 - 32 for d.
-5
Suppose 0*n + 3*n - 27 = 0. Let q = -6 + n. Suppose 2*o = -q*o + 25. Solve -u - v = -2, 4*v - o + 1 = -2*u for u.
2
Let m = 4 - -6. Let g be m - -1*(-1)/(-1). Solve -4*q + 13 = n, -4*q - 4*n + 17 = -g for q.
2
Let t(h) = h**3 + 15*h**2 + 1. Let g be t(-15). Let y be 11 - (-1 - (g + 1)). Solve -u - y = 2*q + 3*q, -4*u - 2*q = 2 for u.
1
Suppose 0 = 5*d + 20, -5*g - 4 = 2*d - 16. Suppose 0*m - g = -m. Solve -m*q - 2*a = a + 5, -5*q - 4*a - 5 = 0 for q.
-5
Suppose 23 = 4*j + 2*m - 5*m, -20 = -5*j + 2*m. Solve 4*h = -2*g - 10, -g - j*g - 11 = 5*h for g.
3
Suppose 5*v - 8 = -2*u, 4*v + u + 9 = 8*v. Suppose -3 = -a - 12. Let r = 14 + a. Solve 0 = f, -v*o = 2*f + 13 - r for o.
-4
Suppose 0 = -0*s - 3*s. Suppose s = -4*z - 0*z - d + 20, 3*z = 5*d + 38. Solve 3*a - 10 = 5*f, f + 3*a + z = 22 for f.
1
Let c(m) = m**2 - 8*m + 3. Let w be c(8). Solve 0 = w*t + 2*n + 4 - 17, 0 = 4*t + 2*n - 16 for t.
3
Let n = 58 + -49. Solve -2*w - 2*o = -5 - n, 5*w + 4*o - 33 = 0 for w.
5
Let v be 1*(-1 - -3 - 0). Suppose 0*c = 3*c - 24. Let h be (4/(-5))/(10/(-25)). Solve -v*d = d + h*i - 5, 4*i = -c for d.
3
Let p = 5 + 1. Suppose -4*u - 6 = 3*o - 0, 3*o = -p. Suppose -3*r - 2*r + 10 = u. Solve 3*j = 5*b + r*j + 29, -2*j + 28 = -4*b for b.
-5
Suppose 4*g + 3*p - 18 = 0, 3*g + 0*p = -4*p + 17. Suppose 2*i - 9 = -g*o + 6*i, -12 = -4*o + 2*i. Solve -3*j + 4*h - 3 = 0, 2*h - o - 11 = 4*j for j.
-5
Let f be (-1)/3*(-8 + -1). Let p be 13/f - 14/(-21). Solve -4*h = -4*v - v - 13, -p*h = -2*v - 12 for v.
-1
Let g be 3/(-12) - (-33)/4. Let r = g + -13. Let s = r + 17. Solve s = -4*z + f - 5, 4*z - 13 = -5*f for z.
-3
Let f = -7 - -11. Let w be (-24)/(-2) + (4 - 4). Suppose -w = -5*c - 4*b, c + 0*b = 3*b + 10. Solve 5*s - s = 4*a + c, 4*a + f = -s for s.
0
Let u = 15 - 11. Suppose 0 = -5*p + u + 11. Solve -4*d - 1 = d + 3*l, -p*d = -2*l - 7 for d.
1
Let l = -2 - 1. Let k be -5 - 2*l/(-6). Let x be (-15)/k*8/10. Solve 4*j = -2*s, 11 = s - x*j + 3 for s.
4
Suppose 4*w + i + 0*i - 2 = 0, 0 = -4*w + 2*i - 4. Suppose -2 = -o - w*o. Solve 0 = 3*d - o*g - 10, -5*d - 3*g - 14 = 1 for d.
0
Let w be 5/(-2)*(-164)/205. Let c(n) = -n**3 + 2*n**2 - 1. Suppose 5*x - 8 = -3. Let v be c(x). Solve 2*j = -2, -6 = -w*z - 4*j - v*j for z.
5
Let p(a) = a - 5. Let d be p(8). Solve -5*z + 11 = -7*j + d*j, 0 = 3*z - 2*j - 5 for z.
-1
Suppose 0*t - 2*t + 16 = 0. Solve -5*f + 3*o + 2 = 0, -4*o + t = -0*f + 4*f for f.
1
Suppose 23*x - 28*x = -20. Solve x*r + f - 12 = 0, 3*r - 5*f + 14 = -0*r for r.
2
Suppose 5*o = -d - 71 + 211, -5*o - 3*d = -150. Solve 5*z + o = 4*u, 0*z = 4*u + 5*z + 3 for u.
3
Let q = 55 - 55. Solve q*c + 5*c + 34 = -3*p, -2*c = 2*p + 16 for p.
-3
Suppose -x + 3*x = 0. Suppose x = u - 3*u. Solve 0*p - p + 2*l = u, 2*p = l - 6 for p.
-4
Let q be (-2 + 2)*(-4)/(-8). Suppose 5*w + q*w = 20. Solve -2*z = h - 0*z - w, 5*z = -4*h + 4 for h.
-4
Let i(h) = -h**3 + 17*h**2 - h + 19. Let b = 35 - 18. Let q be i(b). Solve -7*c + 15 = -2*c, -q*u = 5*c - 5 for u.
-5
Let u = 60 + -58. Solve -u*l + 7 = -0*l + r, -4*l + 20 = 4*r for l.
2
Let d = -9 + 17. Let a(v) = v**3 - 8*v**2 + v - 4. Let b be a(d). Solve 4*m + n - 10 = 2, 16 = -b*n for m.
4
Suppose 3*m - 5*m + 10 = 0. Solve 0 = 5*b - m*n - 20, 0 = -4*b + 3*b + 3*n + 6 for b.
3
Suppose -4 = 2*k - 0*l - l, -4*k = -l + 8. Let z = -1 + 1. Let n = z - k. Solve 5*q + 26 = n*r, 0 = q + 4*r - 7 - 1 for q.
-4
Suppose 0 = -4*q - 4*g - 0 - 12, -4*g = 2*q + 16. Suppose 0 = q*d - 10. Let p = -4 + d. Solve 5*h + 3*s - 17 = 0, 0 = 5*h - 3*s + p + 6 for h.
1
Suppose 0 = 3*p - 10 - 5. Solve -2*y + 3*k = -0*k + 7, -5*k = p*y + 30 for y.
-5
Suppose -3*x = -11 + 2. Let z be x - -1*(3 + -2). Solve 2 = -2*a + z*d, -18 + 0 = -3*a - d for a.
5
Let a be (-192)/(-30) + (-2)/5. Let d be (4/a)/((-1)/(-6)). Solve d*n - 18 = -2*u, -3*n - 4*u = -9 - 7 for n.
4
Let l(a) = a**2 - 5*a - 2. Let v be l(7). Let j be 2/6*6 - -2. Solve -3*g - 2*g = -j*k + 21, 4*k + 4*g - v = 0 for k.
4
Suppose 0*t = -4*t - t. Solve 5*r - 2 = -0*i + 3*i, 3*r - i - 2 = t for r.
1
Suppose 5*h = -1 + 11. Solve 0 = h*f - 3*n - 11, -3*f + f = -5*n - 21 for f.
-2
Let i = -6 + -7. Let l = -9 - i. Solve 14 = -3*w + 5*j, 5*j - 1 - l = 0 for w.
-3
Let o be -3 - (3 - 0 - 10). Suppose 4*g + 0 = o. Solve -5*m = -20, g - 13 = -3*l - 3*m for l.
0
Let d be (1 + (1 - 2))/(-2). Suppose -4*l + 18 = -j, 4 = -2*l - d*l. Let n be (j/(-4))/((-1)/(-2)). Solve 3*y - n = 2*s, 2*y = -1 + 7 for s.
-2
Let l = -132 - -142. Solve -5*u - 5*p = l, -2*u - 12 = -3*p + p for u.
-4
Let v(n) = -n**2 + 7*n - 4. Let g = -8 + 14. Let o be v(g). Suppose 4 = o*h - 0. Solve 0*z - 5*f + 21 = h*z, f = 2*z + 9 for z.
-2
Suppose l = -2*l + 6. Suppose 3*w - m - 8 - 5 = 0, 0 = -l*w - 5*m - 14. Solve -w*x + 5*o = 2*x + 35, o = 5 for x.
-2
Let r(p) = -8*p + 1. Let f be r(-1). Let x(j) = 2*j - 2. Let z be x(-2). Let w = z + 9. Solve 4*h - 4 = -4*m + 4, w*h - f = -2*m for h.
5
Let g = 0 + 4. Suppose 0 = g*w - 0*w - 60. Suppose f + 3 = -4*y - 12, -f + 2*y + w = 0. Solve -5*r = -5*h - 18 + 58, f*r = 3*h - 32 for r.
-4
Let u = 3 - 3. Solve g - 4*x - 16 = 0, 10 = 4*g - u*x + 2*x for g.
4
Suppose -d - 1 = -2*d. Let r(l) = 6*l. Let w be r(d). Let y = 8 - w. Solve -4*h = -y*c - h - 2, 3*h = -5*c - 5 for c.
-1
Let i = -35 - -37. Solve -i*a = 4*o - 2, 24 = -a + 4*o + 7 for a.
-5
Let t(v) = 34*v**3 + 2*v**2 - v. Let f be t(1). Solve 0*k - 5*n - f = -5*k, 2*n = -6 for k.
4
Suppose 0 = 5*d + 5, 3*r + 4*d + 0 = 14. Let o = 11 - r. Solve 3*m - m = 4*y, m + o = -3*y for y.
-1
Let o(h) be the first derivative of h**4/4 + 5*h**3/3 -