Let a be (2 + 13)*1⁄3. Solve 0 = a*r - r - 8 for r.

2

Let o® = r**2 + 3*r + 1. Let n be o(-5). Suppose -4*p + 4 = -4*q, -3*p + n = 5*q + 32. Let k = 7 + q. Solve 0 = -f + 1 - k for f.

-3

Suppose -4 = -2*y - 0. Let w© = 0*c - 2 + 2*c2 + y*c - c2. Let i be w(-3). Solve 0 = -b - 0*b - i for b.

-1

Let v(s) = s3 - 10*s2 - 8*s - 30. Let b be v(11). Solve -2*n + b = 5 for n.

-1

Suppose -9*t + 20*t = 0. Suppose 5*v = -2*a + 29 + 8, 5*v = -a + 31. Solve -3*g = a - t for g.

-2

Let d = 24 + -20. Solve -d*m + 0*m = 4 for m.

-1

Let p = 15 - 22. Let y = 23 + p. Solve 0 = 5*h - 9 - y for h.

5

Let d(o) = -o**2 - 6*o + 3. Let w be d(-3). Suppose -3*u - 2*x - 4 = -4*x, 4*x - w = 4*u. Suppose -4*a = u - 10. Solve a*l = l - 1 for l.

-1

Suppose 0 + 21 = -2*y + 5*p, p - 3 = y. Solve 0 = -j - y*j for j.

0

Suppose -3*c = -2*p + 8, -4*p + 6 = c - 2*c. Let q(h) = h**2 + 5*h - 5. Let v be q(-6). Solve -l + v + p = 0 for l.

2