Suppose -8 = -2*v + b, -9 - 7 = 4*b. Let d be v/5 + (-23)/(-5). Suppose d*n - 7 = 3. Solve 3*z + n*z - 20 = 0 for z.
4
Suppose -2*x - 6 = -20. Solve -13 = 5*c + x for c.
-4
Suppose -5 - 8 = j. Let p = 18 + j. Solve -p*o + 11 = 1 for o.
2
Suppose q + 24 = 2*y - 3, -3*y + 27 = 3*q. Suppose -2*k = -z + 3*z - y, -18 = -5*k + z. Let o(s) = 6*s - 1. Let f be o(1). Solve f*a - 2 = k*a for a.
2
Let z(f) = f + 15. Let v be z(-11). Solve v*w + 12 = -8 for w.
-5
Let m be (-1)/(-3 - (-8)/3). Solve 0 = k - m for k.
3
Let v be (0 - 1)/(3/(-12)). Suppose 17 = g - 47. Suppose 0 = -3*t - 4 + g. Solve v*k = -k - t for k.
-4
Let n = 23 + -18. Solve -4*h + 3 = -n for h.
2
Let s(i) = -2*i - 3 - 7 + 3. Let c be s(-5). Let a = 13 + -8. Solve c*b = a*b for b.
0
Let x(h) = -4*h - 4. Let m(z) = 2*z3 + 4*z2 + 3*z. Let q be m(-2). Let k be x(q). Solve -4*y - y - k = 0 for y.
-4