Let z = -16 + 21. Solve -z = c - 3 for c.
-2
Let i(o) = -o + 7. Let t be i(5). Let m = 23 + -20. Solve y = -t*y + m for y.
1
Let i = -12 - -17. Solve 2 = u + i for u.
-3
Let u = 17 - 9. Let s be ((-48)/15)/((-4)/30). Suppose f = -2*r + 3*f, -4*r = 4*f - 32. Solve -r*w = -s + u for w.
4
Let k be -2*(28/(-8) - -1). Suppose 2*q + 3*q = k. Solve -7 = -4*r + q for r.
2
Let p(n) = n**2 + 9*n + 11. Let a be p(-9). Let f = -11 + a. Solve -4*d + 0*d + 20 = f for d.
5
Suppose 21 = -0*y + 3*y. Let l(d) = 2*d + 5. Let f be l(y). Suppose -9 = r - 4*r. Solve r*z + f = 4 for z.
-5
Let p be (-2)/2 - (6 - 2 - 8). Solve p*n + 8 + 7 = 0 for n.
-5
Suppose 6*d - 15 = d. Suppose -z = d*z - 8. Solve -z*a + 4 = -4 for a.
4
Let k be (5/(-4))/(1 - (-20)/(-16)). Solve -k*l + 1 + 4 = 0 for l.
1