Let d be 1 - (-4)/(-8)*0. Solve 4 = -s - d for s.
-5
Let b(y) = y**2 + 2. Let i be b(0). Suppose 0 = -4*k - 5*l + 3, -2*l - i = -0. Solve 2*h - 12 = -k*h for h.
3
Let v = 11 + -8. Solve 4*p - v - 1 = 0 for p.
1
Let i(m) = 2*m - 6. Let n be i(4). Let x be (-168)/(-40) + n/(-10). Solve -o - 25 = x*o for o.
-5
Let h(s) = -s3 - 13*s2 + 14*s + 20. Let v be h(-14). Solve 0 = -3*j + 7*j + v for j.
-5
Suppose 8 = -3*s + 14. Solve 0 - s = 2*y for y.
-1
Suppose 1 = 2*y - 3. Suppose v - 5*a + 8 = 0, v = 2*v + y*a - 6. Solve -1 = -v*r - 5 for r.
-2
Suppose -2*c = -3*k + 9, -4*c - 3 = -5*k + 12. Solve -v - 4 = -k*v for v.
2
Let i be (1 - 2 - 1)*-5. Let r = 15 - i. Solve 20 = r*l - 0 for l.
4
Suppose -4*c = -7*c. Suppose 1 + 1 = -w + 5*f, w + 4*f - 7 = c. Solve w*a - 7*a = 8 for a.
-2