Let v = 25 - 19. Solve -2 - v = 2*u for u.
-4
Let l(j) = -j3 - 3*j2 - 2*j - 4. Let q be l(-3). Let b be (q/4)/(2/(-4)). Let c = b - -1. Solve 0 = 5*t + 5 - c for t.
-1
Let y = -17 + 17. Solve 3*p + 1 - 7 = y for p.
2
Let o be 12⁄18 + (-136)/6. Let w = 31 + o. Solve 2*g - 1 = w for g.
5
Let m = -6 - -5. Let t = 8 - m. Solve t*g - 4*g = -25 for g.
-5
Let t(y) = -3*y**2 - 30*y + 2. Let x be t(-10). Solve f + x = -f for f.
-1
Let u = 172 - 172. Solve -4*s - 18 - 2 = u for s.
-5
Let s be (-1)/(5 + -3)*-6. Suppose 0 = -s*y + 11 + 10. Solve 0 = -5*u - y - 8 for u.
-3
Let o(v) = -v + 18. Let w be o(18). Suppose -2*k - 5 = -2*c + 7*c, 0 = -k + 3*c + 14. Solve w = -k*y - 21 + 1 for y.
-4
Let r(h) = h - 8. Let o = -8 + 14. Let f be r(o). Let d be f/(-4) - 1⁄2. Solve d = -3*s + s + 8 for s.
4