Let d = 8 + -5. Solve -d - 1 = -g for g.
4
Let t(w) = w**2 - w + 1. Let f be t(0). Suppose 2*o = -3 + 23. Suppose -f = v - o. Solve 0 = 4*p - v - 7 for p.
4
Let d be 180⁄24*8⁄6. Solve -2*t - 3*t - d = 0 for t.
-2
Suppose 3*w + 0*w = 0. Suppose w = -2*m - 3 + 11. Suppose -2*f - 2 = 5*n, 0*n = -5*n - 10. Solve -2*v + f = -m for v.
4
Let o(g) be the first derivative of g**2⁄2 - 4*g + 1. Let i be o(4). Solve r + i*r - 4 = 0 for r.
4
Let p(v) = -v**2 + 2*v. Let c be p(0). Solve c = 2*n - n + 1 for n.
-1
Let o be 0 - 48/(-20) - 6⁄15. Solve y = -o*y for y.
0
Suppose 2*d - 2 = 2. Suppose -d = -2*v + 2. Solve -v = 4*q + 2 for q.
-1
Let d be (2 - 2) + 1 - 7. Let r = d - -10. Let s be (-4)/(-8) + (-2)/r. Solve s = f - 0 + 5 for f.
-5
Let f = 83 - 71. Solve 2*u + u - f = 0 for u.
4