Let z be 6*1 + (-4 - -3)*1. Solve -4*k = k - z for k.
1
Suppose -12*x = -16*x + 16. Solve 3 = -x*p - 5 for p.
-2
Let r be (-1)/(-5) - 4⁄20. Suppose -7 = -2*u + 1. Solve r = -u*a - a for a.
0
Suppose -3*z + 1 = -5. Let u(i) = -3*i3 + i2 + i. Let q be u(-1). Suppose -z*d = -q*d. Solve -2*s - 3*s - 10 = d for s.
-2
Let i(a) = 3*a**3 - 1. Let w be i(1). Suppose 4*r - w = 22. Solve 0*x - r = -2*x for x.
3
Let q be 6 + 5 + 0 + -6. Solve 5 + q = 2*w for w.
5
Let o(u) = -u3 + 3*u2 + 2*u - 1. Let r be o(3). Let c(w) = 2*w3 - 2*w2 - 4*w. Let a be c(3). Solve -r*y = -a + 4 for y.
4
Let n be ((-2)/(-4))/(1/(-12)). Let k = 14 + n. Solve -17 = -5*m + k for m.
5
Let j(q) = -q. Let v be j(0). Suppose v = 2*m - 3*f + 10 - 4, 3*f - 6 = -5*m. Solve -6 = -2*s - m*s for s.
3
Let z = -3 - -8. Let t = z + -2. Let n be -1 + (5 - 0 - t). Solve -2*g - 5 = -n for g.
-2