Let n = 6 + -6. Solve -4*j - 4 - 4 = n for j.
-2
Let v(z) = -z3 - z2 + z + 2. Let h be v(0). Let q = h + 2. Solve q*x = 3*x + 4 for x.
4
Suppose d + 3*p + 1 = -d, d = -5*p - 11. Solve -3 = d*b + 1 for b.
-1
Let h = -65 + 65. Solve h = -0*y + y for y.
0
Let k = -27 + 51. Suppose -6*d = -3*d - k. Solve i - 3*i = d for i.
-4
Let g be 3*((-32)/(-6) - -2). Let m = g + -2. Solve -a = 3*a - m for a.
5
Suppose 11*q + 15 = 16*q. Solve -q*n + 20 = -8*n for n.
-4
Let m = -3 - -5. Suppose 2*q - 5*y = 73, -3*q - 3*y + 57 = -0*q. Let k be 2 - q/(-3) - 2. Solve -k - 2 = m*i for i.
-5
Suppose 6 = 3*g - 3. Suppose 22 = 3*y + 1. Suppose w + 8 = 3*c + g*w, -w = -4*c + y. Solve 0*l = -l - c for l.
-2
Let r(u) = -u**2 - 7*u + 10. Let i be r(-7). Let j be (-2)/i + 16⁄5. Suppose 0*c - 4*c + 2*p = -24, -4*p = -4*c + 28. Solve c - j = 2*x for x.
1