Let t be (-1 + 1⁄1)/3. Solve -2*q = -t*q for q.
0
Let w = -8 - -10. Suppose 0 = 3*b + w - 14. Solve 3 = -b*s + 3*s for s.
-3
Let c® = -r + 8. Let v be c(-7). Suppose 0 = -2*z + p - 5 + v, 4*p = -16. Solve -z*h - 1 = -4 for h.
1
Let r = -39 - -41. Solve -r*o - 3 = -o for o.
-3
Let i = 12 + -17. Let v(z) = z + 9. Let q be v(i). Solve 0 = r - q + 6 for r.
-2
Let s = 21 + -17. Solve 0 = s*x + 3 + 13 for x.
-4
Let h = 6 + -6. Suppose h = -0*s - 2*s + 4. Solve -s = -5*t + 8 for t.
2
Suppose -4*f - 6 = 10. Let y = f + 13. Solve y + 16 = 5*g for g.
5
Suppose -4*f - 5 = -2*p - 3*p, -f = -p. Suppose 12 = f*o - o. Solve 0 = -o*j + 2*j - 2 for j.
-2
Suppose 4*v + 28 = -4*h, 2*h - 3*h = -4*v - 48. Let f be (8 + v)*4/(-6). Solve m + f*m = 0 for m.
0