Let v = 2 + -2. Let u be 4 + -1 - (0 + v). Solve u - 5 = 2*f for f.
-1
Let g = -12 + 13. Let y be -1 + (4 - -1) + g. Solve -2 = -y*s + 3 for s.
1
Let q(l) = -l3 + 6*l2 + 3*l - 17. Let d be q(6). Solve -2*t + 3 = d for t.
1
Let t be 2⁄6 + (-4)/(-6). Let o be (19 - t) + 2*1. Suppose -3*l - 15 = 0, x - l + 0*l = o. Solve 0*r = 5*r - x for r.
3
Let s(v) = v3 + 6*v2 - 3*v - 14. Let i be s(-6). Solve -2*c + i = 2*c for c.
1
Suppose -z - x - 4*x = 15, z = -4*x - 10. Suppose z = 5*s - 0*s - 3*q, -s + 3*q + 2 = 0. Suppose 0 = -6*c + 4*c. Solve c*t - t = -s for t.
2
Let w = 7 + -3. Solve -2*l + 0 = -w for l.
2
Suppose 1 = 4*c - 3, -c = -5*b + 4. Let m be 0/(b - 1/(-1)). Solve -5*s + 11 + 14 = m for s.
5
Suppose s = h + h - 14, s = 3*h - 12. Let k be (-68)/s + 4⁄18. Solve -b - k = -1 for b.
-3
Let w® = r + 3. Let m be w(-1). Solve 9*h + m = 7*h for h.
-1