Let t(q) = -q**3 + 14*q**2 + q - 11. Let p be t(14). Let h(k) = k - 1. Let u be h(p). Solve x - u = -x for x.

Suppose v + 0 = 1. Suppose -v = -4*q + 11. Suppose 0 = q*p + p + l - 5, -2*p - 8 = 4*l. Solve 0 = p*z + 8 - 0 for z.

-4

Let d be -1*8/(-6)*3. Solve v - 2 = -d for v.

-2

Suppose 0 = -k - 1 + 10. Let n be ¹⁄₂*(k - 3). Solve n - 1 = -c for c.

-2

Let j(h) = -1 - 5 - 2*h - 4 + 3. Let y be j(-5). Solve -b + 12 = y*b for b.

3

Suppose -2*s = s + 4*y - 15, 0 = -s - 5*y + 16. Solve 2*h = -5 - s for h.

-3

Let c = -4 - -6. Let g be c/((6/(-75))/1). Let k = g + 39. Solve k = 3*b + 2 for b.

4

Let s = -183 + 199. Solve 0*b = -4*b - s for b.

-4

Let i = 3 + -2. Let h = 1 + i. Let z = -18 + 30. Solve -p - h*p = -z for p.

4

Suppose 0 = -m - 3*m. Suppose 3*u + 16 - 67 = m. Solve -5*h + u = -3 for h.

4

Suppose -7*p = -2*p - 5. Solve 1 + p = c for c.

2