Let n(i) = -i + 10. Let g be n(-15). Suppose -g = -3*x - 10. Solve x*m - 6 - 14 = 0 for m.
4
Let h = -8 - 1. Let z = 11 + h. Solve z = 5*l - 13 for l.
3
Let l = 6 + 1. Let f = l + -2. Let o be -1 + (0 - -1)*f. Solve o*u = 2 - 14 for u.
-3
Let a be ((-16)/(-12))/(4/(-6)). Let r be 17⁄2 + a/4. Solve 0 = r*q - 3*q - 5 for q.
1
Suppose -o - 11 = 3*y, -4*o - 6 = 2*y - 2. Let d be o/2 - 1/(-2). Solve -w + d = -0*w for w.
1
Suppose -5*w + 16 = -w. Suppose -28 = -2*p + 24. Suppose 0*b - 5*d = -3*b + p, -2 = -3*b - d. Solve -w + 12 = b*s for s.
4
Suppose 3*v = 3*y + 27, -5*v + 42 - 17 = 5*y. Let m = -4 + v. Solve -m*k = -k for k.
0
Suppose -17*b = -11*b - 12. Solve -2*m + b = -m for m.
2
Let w = -26 - -37. Solve -1 + w = 2*r for r.
5
Suppose 0 = -j - 4*j - 5*s + 15, 3*j = 4*s + 37. Suppose -6 - 3 = -i. Let d = i - j. Solve 3*b + d*b - 10 = 0 for b.
2