Let l = 1 + 1. Suppose -4*k = w - 5 - 9, -l = w. Solve -12 = -k*o + o for o.

4

Let o = -30 + 47. Let f = o - 16. Solve 0 = -4*n + 5*n - f for n.

1

Suppose -2*s + 18 = 5*d, 0 = 4*s - 0 - 16. Suppose -5*c = 2*t - 25, t - d*c = -7*c + 20. Solve -t*f + 5 = -0 for f.

1

Suppose 2*h + 32 = -2*h. Let m be 23⁄5 + h/(-20). Solve 0*l - m*l = 5 for l.

-1

Let i(o) = -6*o + 1. Let c be i(-4). Suppose -5*a + c + 0 = 0. Solve 0 = a*r - 3*r + 6 for r.

-3

Let j = 2 - -2. Solve 0*q + j = -q for q.

-4

Let r(j) = j. Let b be r(-7). Let w = 7 + b. Let k = 19 + -13. Solve w = 5*u - k*u + 4 for u.

4

Let s = -18 - -25. Suppose s*c - 20 = 3*c. Solve -p = -c*p for p.

0

Suppose 3*d - 5*i - 28 = 1, -4*i + 47 = 3*d. Let u = d + -5. Solve -u = -3*f - 20 for f.

-4

Let q be 6⁄33 + 159⁄33. Solve 0 = -q*d + 3*d for d.

0