Let q = -94 + 94. Solve q*r = -3*r + 6 for r.
2
Let z(h) = -h3 + 21*h2 - 18*h - 39. Let d be z(20). Solve -3*a - d - 2 = 0 for a.
-1
Suppose 4*c - 4 = 4*k, 0 = -k - 4 + 5. Solve c*l = -0*l for l.
0
Suppose 2*j = 2 + 14. Solve -j = -w - w for w.
4
Let u(a) = 4*a - 2. Let m be u(1). Suppose -m*l + 2*r = -46, 2*l = 3*r + 2*r + 55. Solve -4*c = c - l for c.
4
Let q = -24 + 27. Solve -q*n - n = 8 for n.
-2
Let l(x) = x**2 - 6*x + 3. Suppose -3*t = -28 + 7. Suppose s - t = -1. Let q be l(s). Solve -12 = q*u + u for u.
-3
Suppose 0 = 2*w - 18. Suppose 5*q = 5*i + 15, 4*i + 2*q + 3 - w = 0. Suppose i = 3*u + u. Solve u*l - 12 = -4*l for l.
3
Suppose 3 = -5*v + 8. Let o© = c**2 + 9*c - 50. Let w be o(-13). Let x be (0 - -2)*w*v. Solve -x*t + 8 = -2*t for t.
4
Let r be 112/(-84)*27/(-4). Solve 0 = -3*q - 0 - r for q.
-3