Let i = 1 + 2. Suppose -2*c + 10 = i*c. Suppose m = r - 6 - 0, 4*m = -4. Solve 4*j = r*j - c for j.
2
Suppose 17 = 4*j + 5. Solve -2*o - 9 + j = 0 for o.
-3
Suppose 0 = -2*d + 5*w - 9, 5*d + w - 4*w = 6. Suppose -4*a = -5*p + 8, d*p + 10 - 4 = -3*a. Solve -c + 3 = -p for c.
3
Suppose -18 - 6 = -6*h. Suppose 5*k + 20 = h*y, -4*k + 9*k = 2*y. Solve -2*m - y = -0*m for m.
-5
Suppose 0 = 9*w - 5*w. Solve -f + 2*f + 2 = w for f.
-2
Suppose 33 - 9 = 4*c. Suppose d + c = 3*g, -4*d - 9 = -3*d - 4*g. Solve o + d = -0 for o.
-3
Suppose 3*o = -2*o + 5. Suppose -w - o = -3. Suppose 3*u = -5*f + 20, 0 = -w*u + 4*u + 3*f - 13. Solve 2*y = 7*y - u for y.
1
Let r = 3 + -3. Suppose r - 1 = -3*k - g, 0 = -g + 1. Let w(i) = -i**3 + 2. Let s be w(k). Solve -y = s*y for y.
0
Suppose 4 = -2*v - 2*b, v - 3*b - 1 - 5 = 0. Suppose v*w - 2 = w. Let x be 1 - (-1 - w/(-1)). Solve x + 0 = d for d.
4
Let d = 53 - 37. Solve 3*w = -w + d for w.
4