Let i be -1 + (-2 + 2 - -1). Solve -u = -i*u for u.
0
Suppose -l - 1 = -2*i, -4 = -4*i + 4*l - 0. Solve i*o - 3 = -o for o.
3
Suppose 3*d + d = 0. Let l(t) = -t + 1. Let f be l(0). Suppose 9 - f = 4*r. Solve d = -0*g + r*g + 4 for g.
-2
Suppose 0 = 2*o + 4 - 12. Solve 0*q - q + o = 0 for q.
4
Let m = -132 - -135. Solve 0 = -m*h + 9 + 3 for h.
4
Suppose 120 = -4*y + 4*n, -3*y = 2*y - 3*n + 144. Let d = -17 - y. Let p = -7 + d. Solve -a - p = -2*a for a.
3
Let x(f) = f2 + 6*f + 6. Let w(g) = -g2 - 5*g - 6. Let z(j) = 3*w(j) + 4*x(j). Let p be z(-7). Let n = 10 + p. Solve n*b = 6*b for b.
0
Let t(b) = -3*b - 15. Let u be t(-7). Solve 5*w + 31 - u = 0 for w.
-5
Suppose 36 = 2*l - 5*l. Let p be ((-6)/(-4))/(l/(-16)). Suppose b - 30 = -p. Solve 5*k - 3 = -b for k.
-5
Let v be 1/((-2)/(3 + -5)). Let d = v - -3. Solve -d*b + 4 = -12 for b.
4