Let m = 139 + -134. Solve 4*w - m*w + 2 = 0 for w.
2
Let q = 5 + -5. Let v be (-1)/2 - (-28)/8. Solve -3 + q = -v*j for j.
1
Suppose 0 = -0*s - 2*s + 3*k + 10, -3*k = 5*s - 4. Suppose x + 10 = -x. Let y = x - -6. Solve -b - y = -s for b.
1
Let i = 10 - 7. Let q be 0 + (1 - 0) + 1. Solve -4 = -q*s + i*s for s.
-4
Suppose 4*q - 11 = -3. Solve -x - 12 = q*x for x.
-4
Let p(y) = -y3 - 12*y2 + 12*y. Let t be p(-13). Solve 9 = 2*x + t for x.
-2
Let p = 102 - 101. Solve -16 + p = 3*a for a.
-5
Suppose -6 = -2*w - 2. Let n(y) = -y3 - 5*y2 + 5*y - 5. Let o be n(-6). Suppose -4*a + 16 = 4*s, 3*s - 6 - o = 2*a. Solve s*k = w*k for k.
0
Suppose -c = -11 - 0. Solve 5 = 4*w - c for w.
4
Let r be -15 + 21 + 2⁄1. Solve 4 = -2*w + r for w.
2