Let r(n) = n3 - 5*n2 + 6*n - 3. Let w be r(4). Suppose -z = -w*m + 3*z + 8, 4*z - 16 = -m. Suppose 0*a = m*a - 16. Solve q - a*q = 12 for q.
-4
Let q® = r - 1. Let l be q(3). Let m be 15 + -1 + l + -1. Solve 4*o = -o - m for o.
-3
Suppose -3*g = -6 - 3. Solve c + g = 1 for c.
-2
Let c(f) = -f**2 - 6*f + 3. Let n be c(-6). Solve -n*r - 2 = -11 for r.
3
Let z = 19 - -14. Let s = z - 15. Let k be (-4)/s - 4/(-18). Solve 0 = -w - 5 - k for w.
-5
Suppose 3*n - 6 = w, -5*n + 0*w = w - 18. Solve 2*h + 5 = n*h for h.
5
Suppose 0 = 11*q - 7*q. Solve q = -8*y + 3*y + 20 for y.
4
Let w(h) = -h3 + 4*h2 + 15*h - 15. Let a be w(6). Solve a = 4*x - 9 for x.
3
Let d = -1 - -5. Suppose 2*s + 3*m = 12, 2*s - d*m + 5 = s. Solve s*k - 2 = k for k.
1
Let r = -31 + 32. Solve -g + 4 = r for g.
3