Let n(b) = -b**3 + 4*b**2 - 4. Let s be n(4). Let h be -1 + 0 + -2 - s. Solve 0*v - h = -v for v.

Suppose a + 4*a - 4 = -h, -4*h + 16 = 2*a. Solve 2*j - 10 = -a for j.

5

Let k = -10 + 10. Suppose 0 = -k*q + q. Solve q*a - 1 = -a for a.

1

Let t be (-4)/(-14) - ²⁄₇. Let w = t - 0. Solve w = 4*l - 9*l for l.

0

Let t(g) = g**2 + 10*g + 12. Let d be t(-9). Solve d*y + 0 = -6 for y.

-2

Let x(w) = -w**2 + 3*w - 1. Let q be x(2). Let t be ³⁴⁰⁄₁₆ - q/4. Suppose -3*y + 3 = -t. Solve -k = k + y for k.

-4

Suppose -31*i + 23*i + 8 = 0. Solve 0 = -5*a - 4 - i for a.

-1

Let h be 1/(⁵²⁄₁₂ + -4). Solve 0 = 8*u - h*u for u.

0

Suppose -31 = -2*c - 7. Suppose 3*l = l + c. Solve 4*v + l + 10 = 0 for v.

-4

Suppose 0 = 3*y + 4*s - 29, -19 = -2*y - 4*s + s. Solve -5 = 4*x + y for x.

-4

Let n be (-1 + (-1 - -2))*1. Suppose 2*f - 4 = -n. Solve 0 = 2*x + f*x for x.

0