Let y(x) = x**3 + 8*x**2 + 5*x - 3. Let u be y(-7). Suppose 0 = -5*d + u + 14. Solve -f = 4*f - d for f.

Let d be 3 + 16 - (0 + -1) - 4. Solve -5*k + k = d for k.

-4

Let c = -4 + 4. Let u be (¹⁄₂)/(³⁄₃₀). Let r = u + -2. Solve c = y - r + 5 for y.

-2

Suppose 5*g = 2*g + 30. Let b = -4 + 8. Suppose c = -b*c + g. Solve 2*m = -8 - c for m.

-5

Suppose 0 = l + 6*l + 28. Let h(p) = p2 + p - 8. Let g be h(l). Let d(u) = -u3 + 2*u**2 + 3*u - 3. Let z be d(2). Solve -z*v + g*v = 0 for v.

0

Suppose -4*j = -5*b - 19, 6 = -6*b + 5*b + 3*j. Let l(p) = -p**2 - 6*p. Let a be l(b). Let m = -4 + a. Solve -m*r - 14 = 11 for r.

-5

Let g = -5 - -9. Suppose 2*r = -d + 3 - 1, g*d + 2 = 2*r. Let p = 1 - r. Solve -3*v - 7 + 19 = p for v.

4

Let x = -35 + 45. Solve -5*p = -x*p - 20 for p.

-4

Let r(o) = -o + 5. Let p be r(5). Let j be -1 + 1 + 2 - 0. Suppose p*y = y - j. Solve 0 = w + 3 + y for w.

-5

Suppose -n = -2*n + 3. Suppose 0 = -p - n*p + 36. Suppose 5*i + 5*w - 20 = 0, -2*w + 4 = 3*i - 5*i. Solve p = -2*j + i for j.

-4

Suppose -3*y = -2*j - 107, 0 = -2*y - j - j + 58. Suppose y = 4*t - n, 6*t = t - n + 30. Suppose -3*f - 24 = -t*f. Solve p - 3*p = -f for p.

3