. Let d(y) = 4*y**3 + y. Let l be d(-1). Let n be o(l). Solve 4*s + 3*h - 28 = 0, s - 3*s + n = h for s.
4
Let q = 84 + -84. Solve 3*m - 4*w + 11 = q, 0 = -4*w + 3*w + 5 for m.
3
Suppose 3*b - 5*a + 4 = 0, 2*a + 2*a = 4*b - 8. Let n(s) = s**3 - 6*s**2 - 5*s - 9. Let h be n(b). Solve j = -3*t - 3*j + 4, 5*t = h*j - 5 for t.
0
Let r(u) = 2*u**3 - 2*u**2 - 2*u - 2. Let q be r(3). Suppose -4*c = 4*m - 52, 5*c - 1 = 4*m + q. Let l = c - 4. Solve 4*h + 4 + 23 = -l*d, -h = -3*d - 6 for d.
-3
Let p(t) be the first derivative of -t**2 - 2. Let o be p(-1). Suppose 0 = -2*a + 5*y - 6, o*y = 5*a - 3*y. Solve -8 = -4*s, q - 4 = a*s - 5*s for q.
-2
Let p(x) be the second derivative of x**3/6 + 3*x**2/2 + 2*x. Let d be p(4). Suppose 2*t = d*t. Solve t = -3*c + 2*o - 6 + 15, -4*c + 12 = 5*o for c.
3
Let y be (2/(-4))/((-3)/6). Suppose 2*b - 5 = -y. Solve b*h + 3*q = -6, -3*h - 9 = -0*h + 3*q for h.
-3
Let j(f) = -f**2 - 11*f - 5. Let h be j(-7). Suppose -5*u - 5*k + h = -3*k, -2*u = 2*k - 8. Solve -3*n + 8 = u*s, 5*n - 3 + 2 = 4*s for s.
1
Let l(i) = i**3 - 2*i**2 + i. Let p be l(2). Solve -p*q - q = -5*g - 9, 2*g + 4 = q for q.
-2
Suppose 14*i - i = 39. Solve 10*c + 24 = 5*c + 4*k, 3*c + 9 = -i*k for c.
-4
Let p be (-40)/16*(-6)/5. Solve -5*d = p*a - 2*d + 21, -2*a = 4*d + 24 for a.
-2
Let t = 42 + -40. Solve 3*c - 23 + 3 = 4*x, t*x = -2*c - 10 for c.
0
Let f = 108 + -108. Solve 3*p + 4 = h - f, -2 = h for p.
-2
Let c(k) = 2*k - 6. Let w be c(4). Solve -4*o + 4 = 0, w*o = 4*p - o + 15 for p.
-3
Let o = 86 - 77. Solve -2*v - o = 3*g, -5*v + 0*g + g = -3 for v.
0
Let s be (-1*(5 - 5))/(-1). Solve -4*p = -c - 11, s = -0*p - p + 5*c + 17 for p.
2
Let u be (4/(-5))/(4/(-10)). Let y(o) be the first derivative of -o**2/2 + 5*o - 7. Let s be y(0). Solve u*j + l - 23 = -2*j, s*j - 28 = -l for j.
5
Suppose -2*b = -3*m + 24 + 24, 0 = m - 4*b - 16. Suppose 3*y = y + m. Solve -12 = 4*l + 5*k + y, 2*l + 5*k = -10 for l.
-5
Let f = -7 + 13. Solve -2*s - 2*h - f = h, 0 = -3*s + h + 13 for s.
3
Suppose 2*z = -4*r + 24, 5*r + 16 = 1. Suppose 4*s - 26 = -4*x - s, z = 2*x + 5*s. Suppose -19 = -x*c + 1. Solve 0*q = 3*p - 4*q + 20, -25 = p - c*q for p.
0
Let q(b) = b - 1. Let w be q(5). Suppose i = 4*y - 13, 4*i = -y + 2*i - 8. Solve -4*l + 16 = 2*x, w*x = -y*l - x for l.
5
Let a be 1/(-3*4/(-24)). Suppose -3*o - j = -23, -3*o + 2*j = -29 - 6. Let p be (1 - -4)/(-1)*-1. Solve -2*h - a*s + 6 = 0, 0*s - p*s = -h - o for h.
1
Let m be ((-3)/6)/((-4)/184). Solve -r - 6 = u - 0*u, 4*u + 3*r + m = 0 for u.
-5
Suppose -p - 2*r + 0*r - 13 = 0, -2*r + 2 = -4*p. Let j be 2/((-8)/4) - p. Solve 0 = g - 2*z - 14, -j*g - 16 = 5*z + 1 for g.
4
Let c(d) = d + 10. Let p be c(-5). Suppose -3*i = -11 + p. Let h be -4 + i - (-25 + 0). Solve 4*n + 12 = 0, -2*y + n + h = 2*y for y.
5
Let a(x) = 3*x + 4. Let j be a(3). Let n = j + 27. Suppose -25 = -3*z - 2*z, 3*t = -5*z + n. Solve 18 = -4*c - 2*s, -t*s + 14 = -5*c - 16 for c.
-5
Let j be (-1)/((-1)/(-4)) - -4. Solve -4*r - u - 13 = j, 4 = -r + 2*u - 3*u for r.
-3
Let r = -13 + 30. Let y = -12 + r. Suppose 0 = -s + v - 0 + 2, -y*v - 1 = -2*s. Solve -3*p + 5*i - 20 = 0, 12 = -5*p + 3*p + s*i for p.
0
Let o be ((-192)/112)/((-2)/7). Let c be (o/15)/((-1)/(-5)). Solve -c*l + 6 = -k + l, -3*k = -4*l + 8 for k.
0
Let k = -64 + 69. Solve l - 3 = -5*i + 6, -k*i - 4*l = -21 for i.
1
Suppose l = -v - 3 - 1, 4*l = -v - 16. Let h = v - -13. Suppose -4*n + 7 = -h. Solve 2*g + 2*t - t + n = 0, -5*t = -g - 19 for g.
-4
Let a be (-1)/3 - 3/(-9). Let q be (-7 - 3)/(-5) + 0 - 2. Solve a = -5*j - 5*o + 50, -o = 2*j - q*j - 15 for j.
5
Let q(r) be the first derivative of -r**4/2 - r**3 - r**2/2 + 3*r + 1. Let p be q(-3). Suppose -3*y + p = -0*y. Solve 0 = 4*h - k + y, h = -k - 0 + 1 for h.
-2
Let i(q) = -q**2 + 12*q - 11. Let l be i(9). Solve -3*d = d + 20, -b - l = 4*d for b.
4
Suppose 5*d - 8*d + 6 = 0. Solve 0 = 3*b - u + 8, -d*u = -5*b + 3*u for b.
-4
Let k = 18 + -14. Solve 4*j + 50 = 5*u + 14, -k*u + 4*j = -32 for u.
4
Let b(o) be the second derivative of -1/12*o**4 - 2*o**2 + 0 - 7/6*o**3 + 4*o. Let n be b(-4). Solve n*m + 23 = 2*p + 3*m, m + 11 = 2*p for p.
4
Let w(x) = x**3 + 2*x**2. Let j be w(-3). Let p = -7 - j. Solve -u + c = -0 + 1, 7 = -p*u + 3*c for u.
4
Let j(o) = 25*o - 2. Let v be j(1). Let l = -21 + v. Solve -4*n - r - 9 = l, n + 5*r = 2 for n.
-3
Suppose -2*c + 5*q = 27, 5*c + q = 5*q - 42. Let m(a) = -a - 2. Let k be m(c). Suppose 0 = 4*v - 11 - 37. Solve -h = 3*b + v, k*h - 8*h = -4*b for b.
-3
Let y be ((-6)/3 + 7)*1. Solve -2*o = -5*z + 6*z + y, z = -3*o - 6 for o.
-1
Let f = -4 + 5. Let q be (0/(f - 0))/(-2). Solve q = -3*r, -2*b - 4*r = -r + 6 for b.
-3
Let s(q) = 2*q**2 + 2. Let a be s(2). Suppose -3*h + 125 = 2*h. Suppose 5*m - 5*b = h, 3*b + 25 = -m + 6*m. Solve 4*o + m*p - a = -o, o + 5*p + 10 = 0 for o.
5
Let n be (-2 + 1)/(5/(-10)). Solve -f = -3*l - l - 13, n*l + 2 = -4*f for l.
-3
Let t = -9 + 12. Let k = 6 - 16. Let z be k/(-6) + (-1)/(-3). Solve 4*u - 3*x + 18 = 0, -z*u - 4*x - 7 = t*u for u.
-3
Let q be (-2)/(-9) + 736/414. Solve 4*b - 3*o = -12, -q*b = -0*o + 2*o + 6 for b.
-3
Suppose -12 = -2*p - 0*p. Suppose -3*o = -2*o - p. Suppose -o*z + 2*z = -20. Solve -3*h + u = -7, -3*h - 4*u = -2*u + z for h.
1
Suppose -3 - 3 = -2*w. Let l = 7 - w. Solve l*z - 8 = -3*h, -2*z + 15 = 4*h + 1 for z.
-1
Suppose -5 = 5*z - 15. Suppose 4*o = 2*m + 8, 4*m - 19 = -z*o - 5. Solve d = 3*g + 4, 0*d = -o*d - 2*g - 10 for d.
-2
Suppose 6*r - 9*r = 39. Let h(k) = k**2 + 14*k + 17. Let q be h(r). Solve -w - q*w = 5*j + 5, 5*w + 4*j = -8 for w.
-4
Let z be (5 - -1)*2/4. Let d be (0 - -1)*5*2. Solve -4*n = 2*f + 12, 3*f + z*n + d = f for f.
-2
Let z be 696/(-16)*2/(-3). Let a = z - 15. Solve -3*w + v - a = 3*v, -w = 4*v + 8 for w.
-4
Let i(r) = r**2 - 3*r - 2. Let y be i(4). Suppose 5*q + 5*h = 5, 5*q + 1 = -h + 10. Solve 2*s + q*w - 3*w + 3 = 0, 4*s + y*w = -18 for s.
-3
Let x(r) = -r**2 - 3*r + 9. Let m be x(-4). Solve -m*g = 5*k + 20, 0 = -2*g - k - 4 - 5 for g.
-5
Suppose 0*v - 2*v = -8. Let p be -1 + -1 + -3 - 3. Let l = 13 + p. Solve -3*u = -l*k + u, 4*u = -v*k for k.
0
Let l be (-865)/(-45) + 2/(-9). Let u be -1 + -1 - (0 - 9). Solve 2*h + o = -u, 0*h - l = 4*h + 3*o for h.
-1
Let a be ((-2)/(-4))/((-1)/(-6)). Let z = a + -3. Solve 4*r = j - z*r + 17, -5*r = -4*j - 24 for j.
-1
Suppose 5*q - 5*o - 25 = 0, -4*o - 25 = 5*q - 10*q. Solve -s + g - 14 = -5*s, 21 = q*s + 3*g for s.
3
Let f = 163 + -158. Let s = -102 + 160. Suppose 0 = -5*x - 4*o + s, -o + 0*o - 18 = -2*x. Solve 0 = -5*j - i + 22, -3*i + x = f*j + 2*i for j.
5
Let q be (6/(-9))/(4/(-30)). Let r be 4 + (-6)/(-3) - 2. Let w = r - -1. Solve -5*v + 1 = -q*j - 4, -w*v + j + 9 = 0 for v.
2
Let a = 3 + 2. Suppose -5*w + 4*q + a = -1, 0 = -w - 2*q + 4. Solve 4*k + 32 = 4*f, -3*k + 4*k - w*f = -11 for k.
-5
Let p(u) = u**3 - u**2 + u + 17. Let i = 1 - -5. Let b = i + -6. Let a be p(b). Solve 3*n + 5 = -5*v - a, -4*v + 5*n - 25 = 0 for v.
-5
Let u(o) = o**3 + 8*o**2 + 6*o - 5. Let j be u(-7). Suppose 4*f - 3 - 3 = -3*w, -3*f = -3*w + 6. Solve -4*d = g - w*g - 16, -4*g = j*d - 26 for d.
5
Let b(n) = -9*n - 1 - 3 + 1. Let w be b(-2). Solve -5*i = -2*i, 3*y - 3*i = w for y.
5
Let s(w) = 0*w**2 + 7*w**2 + w**3 + 2*w**3 - 2*w**3 + 6*w. Let p be (4/(-10))/((-3)/(-45)). Let z be s(p). Solve 4*x - 7 = j, -5*j - 5 + 30 = z for x.
3
Let p(i) = i**3 + 4*i**2 + 3*i + 2. Suppose 4*v + 4 = -8. Let d be p(v). Solve -4*j - 2*q - 10 = 0, -q + 6*q - 35 = d*j for j.
-5
Let h be (-1)/(-3) - (-47)/3. Solve -5*o + 0*g = -3*g - 19, 2*o + 3*g = h for o.
5
Suppose -10 = 9*g - 14*g. Solve -v - 2 = g*q + 3, -2*q - 10 = 2*v for q.
0
Let o(q) = q - 7. Let w be o(10). Suppose 0 = -5*p - 2*n - 4 + 15, 6 = -3*n. Solve k = 3*k, -p*u = -w*k for u.
0
Let d = -10 + 19. Suppose -d*k = -8*k. Solve k = 2*m - 5*i + 13, 0*i - 7 = 2*m - 3*i for m.
1
Suppose -5*y + 0*y = -20. Suppose -y = 2*w - 3*w. Suppose 3*v = -v - 3*j + 23, j - 9 = -2*v. Solve -v*p + 3*n = 5, 0 = -p + w*n + 1 - 6 for p.
-1
Let a be 9/3 + -1 + -2. Let l be (2 + a)/((-3)/(-6)). Solve n = -3*r - l, -4*n - r - 6 = r for n.
-1
Suppose 12 = 2*l + 10. Solve 0 = 2*v - v - q - l, 14 = -4*v - 2*q for v.
-2
Suppose -4*h + 0*h + 20 = 0. Solve -20 = -5*x - 0*x + h*j, -x = 3*j for