Let m(k) = -k + 3. Let p be m(0). Suppose -x - 5*s + 17 = 0, -p*x = x - 3*s + 1. Solve 4*c - 6 = -x for c.
1
Let n(y) = -y - 8. Let q be n(-8). Suppose 0 = -q*c - 2*c. Solve 0 = -c*m - m for m.
0
Suppose 0 = 4*w + 2*w + 48. Let i(a) = a3 - 6*a2 - a. Let x be i(6). Let m = x - w. Solve 0 = -2*y + 6 - m for y.
2
Let y(i) = 3*i - 7. Let x be y(5). Let l(p) = p**2 + 5*p - 1. Let q be l(-4). Let u = x + q. Solve u*s + 2 = -1 for s.
-1
Let i = 10 - 5. Suppose -y - 3 = -8. Solve y - 15 = i*r for r.
-2
Let v = -7 + 24. Solve -5*b = v + 8 for b.
-5
Let q(n) = n**2 + 5*n - 3. Let s be q(-6). Solve 3*v - 2*v = -s for v.
-3
Suppose 14 = 3*s + 5. Suppose 0 = -s*m - 0*m. Suppose -4 = -t - 2. Solve d + d + t = m for d.
-1
Suppose 5*k - 8 - 7 = 0. Suppose -4*i = 2*p - 2, -4*i = k*p - 2*p - 3. Solve -i = -5*n - 11 for n.
-2
Let l(i) = -6*i. Let p be l(-1). Solve -3*a = -p*a for a.
0