Let w(n) = n3 - 4*n2 - 4*n - 3. Let d be w(5). Suppose z + d = 3*z. Solve -z = 5*k - 21 for k.
4
Let t(b) = -b + 1 + 2*b + 0*b + b*2. Let h be t(0). Let k be h(-6)/(-15)*10. Solve -k = -d - d for d.
2
Suppose 4 = 2*c + 24. Let i be (-4)/c - 2⁄5. Solve i = -p - 2*p + 9 for p.
3
Let a(f) = -f3 - 6*f2 + 3. Let c be a(-6). Let v = 6 + -4. Suppose c*x - v*x - 3 = 0. Solve 2 = -2*u + x*u for u.
2
Let i = -4 + 5. Let w = i + 4. Suppose w*d - 15 = 5. Solve d*h - 18 = -2 for h.
4
Let b = -36 - -41. Solve 0*g - b*g = 20 for g.
-4
Suppose -3*i + 5 = -1. Suppose -i*s = -6*s + 8. Solve s*w - 3 = 1 for w.
2
Let a(o) = -o2 + 4*o - 1. Let z(j) = j2 - j + 3. Let t be z(0). Let d be a(t). Solve -18 + d = 4*k for k.
-4
Suppose -x = -4*x + 9. Suppose 2*p - 3*p = 0. Suppose p*z = x*z. Solve 0 = -i - z*i - 3 for i.
-3
Let h(y) = -y**2 - 7*y - 5. Let p be h(-5). Solve l - p = 2*l for l.
-5