Let k = -1 + 1. Let r(q) = -q + 4. Let c be r(k). Suppose b = c*i - 12, -4*b - 25 = -3*i - 3. Solve -3*m + 4 = -i*m for m.
4
Let n(t) = -t - 1. Let p be n(-5). Suppose p*k + 7 + 13 = 2*w, 2*k = -4*w - 10. Solve w*g = -g + 4 for g.
4
Suppose -5*h + 11 = -3*k, 2*k + 17 = 5*h + 3. Solve -h*q = -5*q for q.
0
Let c = -11 + 15. Let x(z) = -z3 - 7*z2 + 3. Let s be x(-7). Suppose s*m + 5 = -2*i - 3, 0 = c*m + 4*i + 16. Solve -5*u + m*u = -20 for u.
4
Let o(m) = -m3 - 6*m2 + 8*m + 10. Let j be o(-7). Solve 5*b - j - 7 = 0 for b.
2
Let w be -3 + 1 - (3 - 8). Solve w*r - 8 = r for r.
4
Suppose 2*f = 3*f - 14. Suppose -2*i = 6 - 4, 0 = 5*j + i - f. Suppose 0 = -j*w - 5*p, 0 = -w + 3*w + 4*p. Solve w = -c - 3 + 2 for c.
-1
Suppose 0 - 4 = -2*o. Suppose 3*s - 38 = -3*y - s, -5*s + 25 = 0. Suppose y = m - 0. Solve o*v - m*v = 8 for v.
-2
Let m = 143 - 140. Solve m = -4*f + 19 for f.
4
Let x be (5 + -2)/((-3)/(-1)). Let c = x + 5. Suppose c*r = r. Solve r = u - 1 for u.
1