Let v(k) = -k3 - 5*k2 + k - 4. Let b = 5 - 10. Let f be v(b). Let z = f - -25. Solve z = -5*s + s for s.
-4
Suppose 0 = -2*y + 21 + 11. Let l = y + -11. Suppose -3*p + 4*v + 1 = 0, 0 = l*p - 3*v - 3 - 6. Solve -n - p = -1 for n.
-2
Let o = -1 - -4. Let q(k) = k - 3. Let h be q(3). Solve l = -o - h for l.
-3
Let m© = -4*c - 8. Let p be m(-2). Let v(j) = j**2 - j - 4. Let k be v(3). Solve k*g + g + 12 = p for g.
-4
Suppose 12 + 13 = 5*f. Suppose f*o - 3*o = 0. Suppose 2*v - 30 + 0 = o. Solve -2*k = -5*k + v for k.
5
Suppose 4*a - 5 = 7. Solve a*k = -k - 8 for k.
-2
Let q = 30 + -9. Let o be (28/q)/((-1)/(-3)). Solve -6 = z - o*z for z.
2
Let d(h) = h**2 - 1. Let r be d(2). Suppose 0 = g + r*g - 12. Suppose -g*t + 0*t = 0. Solve 3*b + 2*b + 10 = t for b.
-2
Let n(i) = -6*i - 2 + 2*i - 4*i - i2. Let c(o) = -o2 + 16*o + 29. Let z be c(18). Let s be n(z). Solve 0 = -s*f + 5 for f.
1
Let w(s) = s**2 - 7*s + 9. Let z be w(10). Suppose -o + 42 = 4*o + u, 3*o - z = 4*u. Solve -o + 4 = 5*c for c.
-1