Let m = -15 - -16. Solve -4*r = -7 - m for r.
2
Let i be 2/(0 - (-6)/(-15)). Suppose f + 2*f - 12 = 0, 11 = -5*z - f. Let v = z - i. Solve -v*x + 4 = -0*x for x.
2
Suppose -10*m + 5*m + 5 = 0. Let w = -4 + 6. Solve m + w = -n for n.
-3
Let c(n) = -3 - n + 0 + 0. Let x be c(-5). Suppose -4*v = -5*g + v - 15, x = -4*g + 2*v. Solve 3*l = 8 - g for l.
2
Let a(i) = 5*i - 1. Let b = -28 - -18. Let h be b*1/(-2) + -3. Let v be a(h). Solve -4*u = -v*u for u.
0
Let p(y) = 4*y**2 - 6*y + 8. Let n be p(2). Solve 2*w - n = -2*w for w.
3
Let s be (-12)/8 - (-171)/6. Let f = s + -22. Solve 4*v = -f + 21 for v.
4
Suppose -u - 10 = -3*u. Let h be -2 - -1 - 4/(-2). Suppose 8 = j + p, j + u*p = 11 + h. Solve j*o + 15 = 2*o for o.
-3
Suppose -4*q + 8*h = 4*h + 4, 4*h - 4 = q. Let y be q + 5/(0 - -1). Suppose 0 = 5*o - y. Solve m + 4 + o = 0 for m.
-5
Let r = 16 + -8. Let o = r + -5. Solve 4*d + 9 + o = 0 for d.
-3