Let f(k) = k3 + k2 - k. Let o be f(0). Solve 1 = -y - o for y.
-1
Suppose -6 = -5*s + 9. Suppose 0 = s*p + 2*o, -p - 2*o - 2 = p. Suppose -p*c + 0*c = 0. Solve m + 4 = -c for m.
-4
Suppose -48 = -v - 2*v. Suppose 4*y + 2*s - 4*s = 40, -4*y + 36 = -3*s. Let b be ((-6)/(-4))/(y/v). Solve -4 = -2*u - b for u.
1
Let v(u) = -u**2 - 10*u - 16. Let h be v(-7). Solve h*x + 1 = -9 for x.
-2
Let r be (-18)/15*5/(-2). Solve 0 = 2*s - r*s + 1 for s.
1
Let t be (24/(-5) - -4)*-5. Solve 0*n = -n - t for n.
-4
Let c = 0 - -2. Solve c*t - 4*t - 8 = 0 for t.
-4
Suppose 0*l - 15 = -l. Let i be (-1)/5 + 63/l. Solve b = -3*b + i for b.
1
Let t be 2⁄7 + 1102⁄14. Let g = t + -43. Suppose 0*l + g = 2*l. Solve -5*m + 2 + l = 0 for m.
4
Suppose 0 = -2*n - z + 1, 3*n - 18 = z + 3*z. Let r be ((-1)/((-3)/48))/n. Solve -5*v = -3*v + r for v.
-4