Let c(o) = -o**2 + 8*o - 7. Let k be c(6). Suppose 4*b - k - 7 = 2*v, 0 = 3*v. Solve b*h + 2*h = -15 for h.

Let r be ((-3 + 3)/(-3))/4. Solve 3*c + 0*c + 3 = r for c.

-1

Let p = 10 - 5. Let y(u) be the third derivative of u⁵⁄₆₀ - 5*u³⁄₆ + 2*u**2. Let k be y(-5). Solve r - k = p*r for r.

-5

Suppose y - 1 = 5*n, 0 = -n + 4*y - 1 - 3. Solve -4*g - 4 = -n for g.

-1

Suppose 4*s = r - 11, -r - 3*r + 11 = -5*s. Suppose 4*w = -4*w - 24. Let l = r - w. Solve -6*n + 12 = -l*n for n.

3

Let j = 2 + -4. Let h be (0/1 - j) + 1. Suppose 1 = -h*b + 10. Solve b*u = -2*u - 15 for u.

-3

Suppose 4*a - 3*a - 7 = -3*v, 2 = -2*v - 4*a. Suppose -4*c = 5*l - 8*l - 12, -3 = -c. Let s(q) = q**2 - 5*q + 6. Let o be s(6). Solve l*z - o = -v*z for z.

4

Let l(j) = -j3 - j2 + j + 1. Let z be (-12)/(-9)*(-6)/(-4). Suppose z*c - 4*c - 2 = 0. Let g be l©. Solve -10 = 5*o - g*o for o.

-2

Let y = 12 + -2. Suppose 2*g - y - 6 = -3*z, -4*g + 22 = z. Solve -z*o + 3*o = 4 for o.

4

Let j = -22 + 28. Let z = 12 + -6. Solve z = -3*p - j for p.

-4

Let u = -20 + 59. Suppose 3*z = u + 3. Solve z = -3*p + 2 for p.

-4