Let x(z) = -z + 11. Let q be x(5). Let v be ((-4)/3)/(6/(-9)). Solve q*w + 4 = v*w for w.
-1
Suppose -77*y + 73*y = -12. Solve 0 = 2*d - 1 + y for d.
-1
Suppose 0 = -2*m + 66 - 16. Solve s - m = 6*s for s.
-5
Let n© = 3*c - 19. Let v be n(8). Let l = -2 + v. Solve 3 = -l*q - 12 for q.
-5
Let v = 1 + -2. Let l be 2/(-1) - (v - 3). Solve -r + 1 = -l*r for r.
-1
Let t(h) = -2*h - 21. Let g be t(-11). Solve 3*l - g = 2*l for l.
1
Let r(h) = -h**2 + h + 2. Let x(u) = -u + 8. Let p be x(8). Let o be r(p). Solve 4*s = o*s for s.
0
Let h(q) = -25*q - 1. Let f be h(-1). Suppose -3*w + 5*v - 13 = 0, -f = -w - 0*w - 4*v. Solve 5*n = n - w for n.
-1
Let c = -11 + 14. Solve -2*g = -g - c for g.
3
Let c(p) = -p3 + 6*p2 - 5*p + 7. Let w be c(5). Let o(u) = u - 3. Let i be o(w). Solve i*j - 1 - 15 = 0 for j.
4