Let x(v) = 4*v + 6. Let a be x(2). Solve -2 = -4*w + a for w.

4

Let v = 3 - 3. Suppose -c + v + 2 = 0. Solve -5*u - c = 18 for u.

-4

Suppose -5*o - 20 = 3*z - 6*z, o + 1 = 0. Suppose 0*t + z*m - 25 = -5*t, 0 = 3*m. Let v = 22 - 15. Solve -t*x - v = 13 for x.

-4

Let p(u) = -2*u3 - u2 + 2*u. Let r = -5 + 3. Let m be p®. Suppose 0 = b - 3*b + m. Solve -b*w + 5*w = -3 for w.

-3

Let s(n) be the first derivative of n**2⁄2 - 1. Suppose -2*f = h - 4*f - 2, -2*h = -2*f - 14. Let p be s(h). Solve 2*i = p - 2 for i.

5

Suppose -5*m - 3*k + 45 = 0, -2*m + 5*k - 2 - 11 = 0. Solve s + m = -2*s for s.

-2

Suppose 0 = -2*t + 2*x + 8, 0 = 4*t - 5*t + 3*x. Suppose t*k = 2*k. Solve 4*f + 16 = -k*f for f.

-4

Suppose -x - 6 = -4*x. Solve -x*o = -0 + 2 for o.

-1

Let p = -48 - -68. Suppose -p = -3*l + 4. Suppose -l = -r - 0. Solve -17 + r = -3*z for z.

3

Let s = -6 + 18. Solve -2*m - 2*m = -s for m.

3