Let x(w) = w**2 - w + 2. Let r be x(2). Solve v - r = -3 for v.

1

Let w(v) = -v - 3. Let h = -15 - -11. Let d be w(h). Solve a - 2*a = d for a.

-1

Suppose -4*u + 2 = -58. Solve 0 = -7*k + 12*k - u for k.

3

Let c = -95 - -102. Solve -c*r + 20 = -2*r for r.

4

Suppose -9 = -i + 4*i. Let h be 5 - 1 - (i + 5). Solve 0 = -2*g - h*g - 8 for g.

-2

Let u = -7 + 14. Suppose 3*h + 12 = -4*t, -3*t + u*t = -5*h - 20. Solve t = -0*o + 2*o + 2 for o.

-1

Suppose -2*f + f - 4*w + 17 = 0, -2*f + 8 = -5*w. Solve -f + 24 = 3*g for g.

5

Suppose 0 = -2*c - c + 5*c. Let b be 1667 - (-2)/7. Suppose -5*w + 20 = 3*r, 3*w - 7*w = 4*r - b. Solve -r*x + c*x = 0 for x.

0

Suppose 5*b = 0, 0*s - 4*b + 25 = 5*s. Suppose s*c + 2 - 12 = 0. Solve -7*t + c*t - 5 = 0 for t.

-1

Suppose 11*w + 60 = 23*w. Solve 4*a - 7 - w = 0 for a.

3