Let b(f) = -6*f**3 + f**2 + 2*f + 1. Let z be b(-1). Let y = z - 1. Solve h + y - 2 = 0 for h.

Let p be 2 + (-12)/(-4*1). Solve 2*o - p*o = -9 for o.

3

Suppose 0 = -0*h + 5*h - 3*d - 22, -2 = 5*h + 3*d. Suppose 0 = -2*b + 5*w + 1, -h = -4*b + 4*w + 6. Let r = -2 + 3. Solve b*i = 4*i + r for i.

-1

Suppose 0 = d - 4 - 0. Suppose d*w - 4 = 2*w. Let s(l) = 2*l - 1. Let y be s(w). Solve 7 + y = -2*g for g.

-5

Suppose -5*v = 5*d, v - 3 = d + 5*v. Let x = 2 + d. Solve -6*a + x = -3*a for a.

1

Suppose 0 = 5*x + 5*l - 5, -3*l = -l + 10. Suppose -v + 9 = 5*p - 26, 4*p + 2*v = 22. Suppose -c + q = 3, -p - 7 = -3*c - 5*q. Solve -x = -2*j - c*j for j.

3

Let x© = 7*c - 1. Let z be x(1). Suppose -7 = -3*b + 14. Let o = b + -4. Solve 3*t + z = o for t.

-1

Suppose 54*o - 50*o = 0. Solve -3*c + 2*c + 1 = o for c.

1

Let o(y) = -2*y + 4. Let t be o(2). Let l(z) = -z3 - z2 + 9. Let r be l(t). Solve 5*i + r = -1 for i.

-2

Let r = 0 - -3. Let v = 72 - 47. Suppose -5*d + v = 0, 0 = 5*p + 5*d - d - 30. Solve -p*h = -h - r for h.

3

Let r be ((-6)/(-4))/(⁶⁄₈). Suppose -r*g + 13 = 3. Let b = g + -4. Solve 5*y - b = -6 for y.

-1