Let q(y) = -y3 - 10*y2 - 9*y + 12. Let b be q(-9). Let t = 23 + -23. Solve -3*f + 0*f + b = t for f.
4
Let z be (18/(-27))/(4/(-6)). Solve 2*p - z = -7 for p.
-3
Suppose 3*l + 0*l = 0. Suppose 3 = s - l*s. Suppose s*v - y - 3 = v, 3*v = 3*y. Solve b = -v*b + 16 for b.
4
Let v = 16 + -16. Let x© = -2*c + 4. Let w be x(v). Solve 5 - 13 = w*n for n.
-2
Let l(n) = -3*n + 60. Let g be l(18). Solve -k - g = -4*k for k.
2
Let b(s) = s + 14. Let z(v) = -v3 - 7*v2 - 9. Let x be z(-7). Let h be b(x). Solve -4 = -h*c - 14 for c.
-2
Let x = -6 - -6. Suppose 2*u + u = x. Solve 2*t - t + 4 = u for t.
-4
Let o be 3/(-12) - 4/(-16). Solve -h + 2*h + 3 = o for h.
-3
Suppose 5*q - 3*q + 42 = 0. Let l = 31 + q. Solve -2*s = 3*s - l for s.
2
Let l = -3 - -11. Solve 0*j + 4*j = -l for j.
-2