-y**4/2 - 5*y**3/3 - y**2 - 2*y - 4. Let v be u(-3). Solve -3*b + v = -2*x - 0, -b - 5 = 4*x for x.
-2
Let s be 8/1 - (49 - 43). Solve -s*k = -2*n - 6, 0*n + k = -5*n - 15 for n.
-3
Suppose -4*t - t = -2*u, 4*u = 5*t + 10. Suppose 0 = -4*d - t*a + 6*a + 20, 5*d = -3*a + 17. Solve 6*b - 3*b + 11 = -d*f, 2 = -3*f - b for f.
1
Let x(w) = 5*w. Suppose -2*d = 3*d - 25. Let y be x(d). Solve 3*v + 11 = -4*h - 6, -5*h - y = 0 for v.
1
Let i(w) = -69*w + 69. Let g be i(1). Solve 3*s - 5 = -5*m, g*s + 5*s = -3*m - 13 for m.
4
Let g(o) = -2*o**2 + 16*o - 7. Let b be g(6). Suppose -3 = -18*u + b*u. Let l be (-3 - 5)/(2*-1). Solve 5*k = u*i + 16, -l*k - 4 = -2*i - 16 for k.
2
Suppose 2*n = 5*y - y - 6, -5*n = -y - 21. Solve -b + y*i - 3 = 0, 2*b - 2*i - i = 4 for b.
5
Let u be (-4)/2 + (6 - (-1 + 3)). Let s be u/(-1)*(26/(-4))/13. Solve a - 4*c = -5 - s, -5*a - 3*c = -16 for a.
2
Suppose -2*p + 1 = 5*q - 4*q, -25 = 5*p. Suppose -2 = -4*x + 34. Solve -4*k = 3*m + x + q, 5*k = 4*m - 25 for m.
0
Let a = 991 - 987. Solve 2*t + 5*g = 24, 2*t - 7*g + 8 = -a*g for t.
2
Let l be (-6)/(-27) - 496/(-36). Suppose 18*s - 12 = l*s. Suppose s*g - 11 = 2*u, -9 = -g - 5*u + 3*u. Solve g*h - 17 = -3*t, -t + 2 = 5*h - 7 for h.
1
Let g(p) = 2*p**3 + p. Suppose 3*v = 2*v + 1. Let r be g(v). Solve -4*a = 3 - 11, -2*a - 2 = -r*x for x.
2
Let s be (-7 + (4 - -3))/(-6). Solve 0 = 2*w - 5*l - 0 + 2, s = 4*w - 2*l + 4 for w.
-1
Let u be 8/(-3)*((-1560)/(-32))/(-13). Solve -4*z + 2*c = -u, -5*z - 3*c + 14 = -4 for z.
3
Let q(w) = 5*w + 52. Suppose -5*h - 10 = -4*h. Let l be q(h). Suppose 4*m = 3*m. Solve -3*j = l*u + 1, -5*u = -m*j + 3*j - 2 for u.
1
Let d(k) = 2*k**2 - 2*k - 1. Let q be d(3). Let h = q + -6. Suppose 0 = 3*a - h*a + 8. Solve 1 + 5 = -2*g + 3*j, -8 = a*g - 4*j for g.
0
Suppose -16*d = -36 - 28. Solve 5*o - 2*a = -6 - d, -2*a = 5*o + 10 for o.
-2
Let m(j) = -4*j - 45. Let c(r) = -5*r - 51. Let t(f) = 6*c(f) - 7*m(f). Let l = -4 + 8. Let n be t(l). Solve g = -a + n, 0 = a + 4*g - 1 + 12 for a.
5
Suppose 0 = -0*f - f + 40. Let p be f/7 - (-4)/14. Let b = p + -2. Solve k + 2 = -2*z + 6, -3*z = k - b for k.
4
Let r(a) = -a**2 + 8*a - 16. Let f(g) = 4*g**2 - 24*g + 48. Let c(i) = 2*f(i) + 7*r(i). Let k be c(-10). Solve s - 5*x = k, 2*s + 2*x = 3*x + 8 for s.
4
Let s = -36 - -32. Let f(d) = d**2 + 4*d + 4. Let y be f(s). Solve 0 = -y*b - i - 4, -2*b + 4*i + 0*i = 20 for b.
-2
Suppose 5*g = 2*l - 42, g = -g - 4. Suppose 19*c - 18*c - l = 0. Solve -3*w + 12 = -v, -v - 5*w = -w - c for v.
0
Suppose 5*f + 10 = 55*h - 51*h, 3*h + 4*f + 8 = 0. Solve 4 = -2*w + 2*z, -2*w - z - 4 = -h*w for w.
-2
Let a(f) = 4*f - 5*f - 8 + 13. Suppose 3*l - 6 = 5*w - 0, l - 4*w - 2 = 0. Let b be a(l). Solve 4*m + 2 - 7 = b*n, 30 = 5*n + m for n.
5
Suppose -5*r = 2*t - 38, -t - 9 + 31 = 3*r. Suppose d + 2*j - 33 = -37, -3*d - j + 13 = 0. Let p = d - r. Solve p = 5*i + 15, 2*a - i - 4 = a for a.
1
Suppose -2*s + 3*s + 2 = 0. Let u(w) = w + 4. Let c be u(s). Suppose -4*p + 5*v - 12 = 0, 2*p + 2*v - c = 10. Solve p = -4*y - 6, -2*d - 6 = y for d.
-2
Suppose 7*a - 4*a = 0. Let y be -1*(-1 - -2)*6. Let r = y + 11. Solve -r*h - 10 = -5*p, a*p = 3*p - 4*h - 7 for p.
1
Suppose -6*z = -9 - 9. Solve -z*n = -4*p + 11, -2*p = n + n + 12 for n.
-5
Let h(u) = -10*u. Let k be h(-1). Suppose k = 5*i - 0*i. Solve i*y = s + 13, -3*y - 2*y + 22 = s for s.
-3
Let q be (2 - 4)/(-2) + 6. Solve -f + 1 = -p, 0 = -3*f + q - 1 for p.
1
Suppose -6*o + 10 = -o, 10 = a - 3*o. Solve t = 3*p - a, -4*t - t + p - 10 = 0 for t.
-1
Let l(h) = h - 7. Let c be l(10). Suppose -4*b + 4*d = -40, -d = -c*b - 2*d + 10. Let i = -1 + 18. Solve -i = -y - b*v, 3*y - 9 = -2*v + v for y.
2
Let g(l) = l**3 + 9*l**2 - 51*l + 17. Let w be g(-13). Solve -5*z + 3*f + 10 = 0, -w*z + 7 = -f - 8 for z.
5
Suppose -10*n - 3 = -12*n - 3*i, n - 6 = 3*i. Solve -p = n, -3*x - p + 7 = -x for x.
5
Let k be 1*(0/(-2) + -32). Let j = -645 + 680. Let t = k + j. Solve 0 = q + t*l - 8, -3*l + 16 = l for q.
-4
Let n = -329 - -337. Solve 2*i - 2*d - 14 = -0*d, -2*d = i + n for i.
2
Let v(l) = -l**3 + 3*l**2 + 11*l. Let c be v(5). Suppose 0 = 4*m - p - 23, 0 = m + 2*m + c*p. Solve h + m = -0*n + 2*n, 0 = 5*h + 15 for n.
1
Let q = -176 - -178. Solve -4 = -3*i - q*o, o - 3 = -4*i - 4*o for i.
2
Let k(t) be the second derivative of 1/3*t**4 + 1/20*t**5 - 1/2*t**2 - 1/6*t**3 + 0 - 9*t. Let r be k(-4). Solve 3 = -r*z, -4*b - b - 21 = z for b.
-4
Let t(v) = 3*v + 15. Let y(s) = -s. Let m(u) = t(u) + 2*y(u). Let o be m(-5). Solve j = -r + o, -3*r + 5*j = j + 5 for r.
5
Suppose 6*o - 100 = -88. Solve -5*p = 25, -2*g - 2*g = -o*p - 6 for g.
-1
Let r = 469 + -438. Solve -q - 5*i - 21 = -6, -r = -3*q + 4*i for q.
5
Let v be (1/2)/((10/(-5))/(-92)). Suppose -4*y + 14 = -2. Suppose 22*i = v*i - y. Solve 24 - 4 = i*x + m, -m + 4 = 0 for x.
4
Let l = 607 - 603. Solve -2*y = -2*u - 4, u + l = -3*y + 2 for u.
-2
Let p(k) = -k**2 + 8*k - 14. Let u be p(8). Let i be 17/5 - u/(-35). Solve v = -i*v, -4 = -d + 5*v for d.
4
Let q(n) = 3*n. Let y be q(1). Let f be (9/1 + -1)/2. Suppose -4 = -f*a + 16. Solve -2*d - 2*d + 5*v = 31, -a*v + 3 = y*d for d.
-4
Suppose 4*b = 6*b + 12. Let u = b + 6. Suppose 0 = -4*z - 2*g + 6*g + 20, 4*z - g = 14. Solve -4*s + u - 6 = -z*o, -o + 2 = -2*s for o.
2
Let c(s) = 5*s + 2. Let d be c(4). Let n(j) be the first derivative of -j**2 - 25*j - 9. Let h be n(-14). Solve 2*i - 10 - 6 = -h*v, -3*i - 4*v + d = 0 for i.
2
Let l(u) = -u**3 - u**2 - u + 5. Let i be l(-3). Let n be 2610/65 + (-4)/i. Suppose -7*c = c - n. Solve z + 3*j - 11 = 0, -c = -3*j + 4 for z.
2
Let t = 308 + -304. Solve 0 = t*a - 3*h - 0*h, -a + 23 = 5*h for a.
3
Let w be (-4)/10 - (-1029)/35. Let v = 33 - w. Solve 6 + 1 = -3*q - v*t, 0 = -2*q - 3*t - 5 for q.
-1
Let k be 2 + 3 - 5/5. Suppose 0 = -3*y + b - 24 - 4, -4*y - 5*b = 69. Let m = k - y. Solve -13 = l + u + 2*u, -5*l - 5*u = m for l.
2
Suppose 2*h - 3*c + 9 = 0, 0*h - 12 = h - 4*c. Let l be (-2)/(-4) - 7/(-2). Suppose -l*u + 0*u = h. Solve 2*w + u*o + 3*o = 13, -5*w - 4*o = -29 for w.
5
Let n(u) be the third derivative of u**6/120 - 11*u**5/30 + u**3/3 + 2*u**2. Let a be n(22). Solve -y = -v, a*y + 0*y - 2 = v for y.
2
Suppose -i + 9 = 5. Suppose i*a - 7*a = 0. Suppose a = 2*f - 17 + 5. Solve -3*b = -m + 2, -f = -3*m + 3*b - b for m.
2
Suppose -s + 2 = -0. Suppose g - s*a = 10, -4*g + 0 = 4*a - 4. Solve -4*u = -g*n - 24, 0 = -5*n - 26 + 1 for u.
1
Let h(w) = 6*w**2 + 2*w - 10. Let m be h(2). Solve 0 = -4*u - 2*o + m, -3*o + 3 = -0*o for u.
4
Let x(a) = -a**3 - 12*a**2 - 11*a + 3. Let l be x(-11). Let b = -1426 - -1429. Solve l*q + 1 = b*w - 2, -5*q - 14 = 4*w for w.
-1
Suppose 11*k - k - 6*k = 0. Suppose k = -2*i - 168 + 176. Solve -4*y + 3*l - 29 = 0, -2*y - y = -i*l + 27 for y.
-5
Let u(n) = 33*n - 724. Let g be u(22). Solve -a - 13 = -3*m, g*a + 0*a + 2 = 0 for m.
4
Let c(m) = -m**2 - 3*m - 1. Let n = 10 - 12. Let y be c(n). Let s be (-2)/(-1) + 1/y. Solve -s*q + 2*q - 4*w + 14 = 0, -3*q + 2*w = 14 for q.
-2
Let f = 1459 + -1456. Solve f*x - 4*i = -3*i + 11, -x + 7 = -2*i for x.
3
Let a(z) = -38*z - 109. Let p be a(-3). Solve p*v = -5*h - 10, h = v + 3*h for v.
-4
Let c be (-4 + 3)/(-5 + (-170)/(-35)). Solve -5*w - 6*f + f + 45 = 0, 3*w - f - c = 0 for w.
4
Let d(y) = y**3 - y**2 - 3*y + 3. Let f be d(4). Let z = f - 34. Solve -3*n + z*g = -2, n - 1 + 4 = -2*g for n.
-1
Let s = -79 + 150. Suppose d = -5*b + 107, 0 = -0*b - 3*b - 4*d + s. Solve -5*c - 5*i - b = -i, 2*c + 4*i = -18 for c.
-1
Let m be 4/(-6) - 104/(-12). Suppose 0*u + m*u = 96. Solve -4*j - 3 = w, 4*w + u = -2*j + 4*j for w.
-3
Let y = 244 + -231. Solve -3*l + 2*m = -y, 2*m - 10 = -20 for l.
1
Suppose 0 = 4*j + 3*y - 10, 2*y + 1 = j + 4. Let w be (1 + j + 2)*4. Let d = w + -2. Solve -5*l - 2*m = 28, -2*l = m - 2 + d for l.
-4
Suppose -l = -3*a - 1 + 2, -5*l = 5. Suppose a = 2*c + 13 - 19. Solve j + 6 = 2*h - 3*j, -3*h + c*j = -6 for h.
1
Suppose 4 = -5*n + 4*n - 2*r, 0 = -3*n + 4*r + 8. Solve 0*h + 5*q = -2*h + 20, n = 3*q - 12 for h.
0
Let s = -88 - -100. Solve 4*f + 0*f - s = 0, 0 = -3*m - f + 12 for m.
3
Let f be (7/21)/(10/(-12) + 1). Solve -q + 6*l = f*l - 20, -q + 5*l = -24 for q.
4
Let i(l) = l**3 + 4*l**2 + 3*l + 2. Let h be (3/(-3))/1*3. Let n be i(h). Let u 