Let j(d) = d3 - 7*d2 + d + 2. Let f be j(7). Solve 4 = 5*l + f for l.

-1

Suppose 3*h - 32 = 2*x, 0 = 5*x + 9 + 11. Let w be (-8)/(-12) - h/(-6). Suppose -4*f + u + 33 = 0, 5*u = -4*f - 0 + 3. Solve 1 = -w*v + f for v.

3

Let t = 47 - 31. Suppose -3*f - t - 23 = -3*j, f - 35 = -3*j. Solve -3*a - j = a for a.

-3

Let b = -39 + 41. Solve 0*u + b*u = 10 for u.

5

Suppose 0 = 6*y - 11*y. Solve y = 3*v + 3 for v.

-1

Let u be (-3)/(-6) + 126⁄4. Let m = -12 + u. Solve -5*k + k = m for k.

-5

Let m© = c**2 + 4*c - 4. Let r = 3 - 8. Let x be m®. Solve -x = -z - 0 for z.

1

Let b = 72 - 66. Solve 0 = 3*r - b for r.

2

Suppose -2*t - 3*v + 14 = -t, 0 = -5*t + 3*v + 16. Suppose 0 = b + t*x + 6, -3*b - 2*x = -5*b + 12. Solve -b = 2*g - 3*g for g.

4

Let n(y) = -y**2 + 7*y - 1. Let m be n(6). Suppose c = m*c - 24. Solve f - 2 + c = 0 for f.

-4