Let q be -2*(1 + (-1)/2). Let w = q + 6. Solve 3*c + w = -7 for c.
-4
Suppose -4*w = -0*w - 16. Solve w*v - 3*v + 4 = 0 for v.
-4
Let p be 5/(10/(-4)) - 7. Let s be 2*(-2)/(12/p). Suppose 4*b - 2*k - 29 = k, -13 = -5*b - 4*k. Solve -n - b = -s for n.
-2
Let i(k) = -k - 1. Let f be i(-5). Let z be (-3 - -10) + 0 - f. Solve 3*g = 6 + z for g.
3
Let w(j) = -17*j**2 + 5*j - 3. Let v be w(1). Suppose 2*h = -3*h - 45. Let q = h - v. Solve 0 = 2*o + q + 4 for o.
-5
Suppose -4*f - u + 19 = 0, -f - 5*u = -12 - 7. Let r(l) = -l**3 + l. Let a be r(0). Solve -12 = -f*h - a*h for h.
3
Suppose 0 = k - 0*k - 2*b + 4, 0 = -k + 5*b - 13. Suppose 2*x - 2*n + k = 0, 3*x - 3*n - 1 = -x. Solve x = t + 2 for t.
2
Suppose -5 = -2*r + 9. Let g = r - -11. Solve -4*o = -2 - g for o.
5
Let v(u) = -u + 7. Let x be v(4). Solve 2 = f - x for f.
5
Suppose -l = l + 2*o, -5*l - 3*o = -8. Let d = l - 4. Let t be d + 6 + -4 + 3. Solve w + 0*w = t for w.
5