Let s(z) = z + 5. Let u be s(-5). Suppose 2*m + 3*d = -d - 54, u = -2*m + d - 29. Let q = m - -25. Solve -q + 0 = -4*i for i.
2
Let a(p) = -p**2 + 6*p + 2. Let b be a(3). Solve -1 + b = -2*r for r.
-5
Suppose -2*k + 31 = -9. Suppose 7*q = 2*q + k. Solve 8 = -q*u - 4 for u.
-3
Let a(q) = -q**2 + 8*q + 3. Let r be a(7). Let f be (-3)/2*r/(-3). Solve f*y = 3 + 2 for y.
1
Suppose 0 = 4*a + 8, -2 = 4*q + q + a. Solve 4*y - 11 - 9 = q for y.
5
Let z = -8 - -2. Let l = 40 + -28. Let i be ((-6)/l)/(1/z). Solve 0*o + 9 = -i*o for o.
-3
Let a(v) = v3 + 13*v2 - v - 8. Let f(y) = -2*y3 - 13*y2 + 2*y + 8. Let u(n) = 3*a(n) + 2*f(n). Let k be u(13). Solve 4*c - k = 7 for c.
3
Suppose 2*i = i + 1. Solve i = 3*v + 7 for v.
-2
Suppose 0 = -6*k + 5*k. Suppose -29 = -4*v - k*v - z, 50 = 5*v + 4*z. Solve 4*c = 6*c + v for c.
-3
Let o be 29⁄3 + (-2)/3. Suppose -4*i = -o*i + 10. Solve t = -t - i for t.
-1