Let m(f) = 4*f - 1 + 2*f**3 - 3*f**2 - 2 - f**3 + 0*f**3. Let u be m(2). Suppose u + 4 = 5*z. Solve 4*t + z + 7 = 0 for t.

Let u = 3 + -2. Suppose z = -0*z. Suppose 2*p - 7*p + 10 = z. Solve -u = -w - p for w.

-1

Suppose -4*f + 2*r + 7 - 1 = 0, -r = -f + 2. Solve -3 = 2*z + f for z.

-2

Suppose 6*w = 7*w. Solve -6 = -3*s - w for s.

2

Let z = -6 + 9. Solve 3 = -z*t - 0 for t.

-1

Let v be ((-6)/5)/(2/(-5)). Suppose 0 = v*l - 2*l. Let r(m) = -m3 - m2 + 3*m. Let u be r(-3). Solve -3*y + 3 + u = l for y.

4

Suppose 2 = i - 8. Solve 5*l - i = -25 for l.

-3

Suppose -4*g - g + 15 = 0. Suppose -g*d = -5*d + 4. Solve 0 = 7*a - d*a for a.

0

Suppose -7*m + 4*m + 12 = d, 5*d - 21 = -2*m. Solve d*o = -0*o - 12 for o.

-4

Let m© be the third derivative of -c⁴⁄₂₄ + c³⁄₆ + 4*c**2. Let f be m(1). Solve f + 10 = -2*b for b.

-5

Let z = -10 + 15. Solve -4 = -z*p + 6 for p.

2