Let w(s) = 3*s**2 + s + 1. Let z be w(-1). Suppose 0 = -z*l - h + 1, -4*h + 4 = 3*l - 2*l. Let y = 11 - l. Solve 4*m - y + 3 = 0 for m.

2

Let y be (213 - 2)*-3. Let n = y + 41. Suppose p + 22 = -5*z, 7*z = 2*p + 3*z - n. Solve -p*i + 6 = -i for i.

3

Let h be (-63)/(-13) + (-801)/117 + 7. Solve -4*i - 7 = h for i.

-3

Suppose 2*i = 4*l - 10, 3*l - 6*l + i + 9 = 0. Solve -7 = l*u + 9 for u.

-4

Let f = 2 + 0. Let m = f + 1. Suppose 0*q = 4*q. Solve q - m = -w for w.

3

Suppose u + 4 = 5. Solve u = -2*q + 5 for q.

2

Let i(t) = t3 + 5*t2 + 5. Let a be i(-5). Suppose a*z - 9 - 6 = 0. Let p be (z/4)/(936). Solve -o = -p + 4 for o.

-1

Let f(y) = y**2 - 7*y + 9. Let j be f(6). Let a be ((j - 5) + 3)*5. Solve -n + 2 = a for n.

-3

Let m(j) = j**2 + 12*j - 45. Let i be m(-15). Solve -l = -2 - i for l.

2

Suppose -2*m = 3*m - 25. Solve 0 = m*p + 7 + 3 for p.

-2