Let f(w) = -2*w3 - 3*w2 - w - 1. Let c be (-2 - (0 - 1)) + -1. Let u be f©. Suppose u*s = -2 + 7. Solve -a + s = 4 for a.
-3
Suppose 4*f = 3*f. Let g be 5 - (8/(-2) - (5 - 6)). Solve f = 3*m - m + g for m.
-4
Let b® = -3*r - 2. Let m(d) = -4*d - 1. Let q(t) = 3*b(t) - 2*m(t). Suppose -3 = 3*k, -2*k + 26 = -4*c + 4. Let x be q©. Solve -6*p + x*p + 16 = 0 for p.
4
Suppose 4*s - 16 = 0, 0 = -z + 5*z - 5*s. Suppose -z*o = -o - 20. Solve -o*d + 10 = -3*d for d.
5
Let y be (9/(-15))/(2/(-30)). Solve -2*i = -5*i - y for i.
-3
Let r be (-66)/24*(2 - 6). Solve r*l + 12 = 8*l for l.
-4
Let g be (4/(-8))/(2/(-16)). Suppose q + q - g = 0. Solve 0 = -2*d - 6 + q for d.
-2
Suppose 0 = -6*z - 0 + 6. Let h be (1 + 3)*z - 2. Solve 5*n + 3 = h*n for n.
-1
Let u = 16 + -8. Solve 5*t - u = 7 for t.
3
Suppose -u - 3*a = -2, u - 6*u = -5*a - 10. Suppose 2*c = p, -u*p + 2*c = 1 + 3. Let t be (18⁄12)/((-2)/p). Solve 4*f - t = f for f.
1