Let z be 6 + (-2)/(-1)*-1. Suppose -16 = -0*m - z*m. Solve -m = k - 2*k for k.

Let b = -21 - -23. Let h = b - -3. Solve h*u - 3 = 4*u for u.

3

Suppose 0*h = 2*h, -2*h + 2 = 2*g. Solve -g = -b + 1 for b.

2

Let i(f) = 2*f3 - 2*f2 - 2*f + 1. Let y be i(2). Suppose 3*a + 6 = y*a. Solve -a*x + 5 = -2*x for x.

5

Let c be (-7 + 3)*(0 - 1). Let q be ³⁸⁄₂ - (-4 + 4). Solve q = -c*o - 1 for o.

-5

Let n(w) = 8*w3 + 2*w2 - 1. Let b be n(1). Suppose -5*p - 32 = -b*p. Solve 0 = -u - u - p for u.

-4

Suppose 3*w + w + 3*m - 4 = 0, 0 = -4*w - 4*m. Solve -w*b = -b - 9 for b.

3

Suppose 4*r + 0*r - y - 9 = 0, 0 = -3*y - 3. Suppose 4*l + r*v = 6, l + 1 + 0 = 2*v. Solve 5 = -u + l for u.

-4

Let c = 0 + 0. Let m be -4 - (c + 1 - 1). Let k = 2 - m. Solve -o - k = -3 for o.

-3

Suppose -16 = 3*y + 4*v - 0*v, -3*y + v + 4 = 0. Suppose -2*w = -o - w + 1, y = -o - 4*w + 6. Suppose 16 = 5*x - 14. Solve -o*g = -4*g + x for g.

3

Let p(f) = f3 - 3*f2 + 3*f - 2. Let s be p(2). Suppose 0 = -s*y - 3*y + 60. Suppose -z + 6*z - y = 0. Solve z*c + 8 = 28 for c.

5