Suppose 13 = 5*o + 4*z, -4*o - 3*z + 6 = -o. Solve o*n - 32 = -7 for n.
5
Let d be 32⁄12*(-6)/(-4). Suppose -2*r - 2*r + 4 = 0. Solve -r = d*t - 9 for t.
2
Suppose 0 = 5*x + 2*a + 2 - 10, -5*x + 11 = -a. Solve q = -x*q + 12 for q.
4
Suppose 7*p + 6 = 9*p. Solve 0 = h - p*h for h.
0
Let p = 7 + -3. Suppose -p*h + 5 = 1. Solve 0 = -3*y + h + 2 for y.
1
Let j(w) = -3*w - w - 2 - w. Let q be j(-6). Suppose 3*i = 2*d + 32, 3*i + 0*d - q = -2*d. Solve i = 3*f - 5 for f.
5
Let c(s) = s**2 + 4*s - 4. Let o be c(-5). Solve 2*w + 7 = -o for w.
-4
Suppose -4*b = -5*p - 14 - 3, 4*b = -p - 13. Let u = p + 10. Suppose u*n = 3*n + 8. Solve -2*f + n*f - 6 = 0 for f.
3
Let d(v) = -v3 + 2*v2 - v. Suppose 0 = 4*f - 2*u + 2, 0 = 2*f + 5*u - 11 - 6. Let b be d(f). Solve g + 0*g - 4 = b for g.
4
Suppose 3*m + 2 = 2*m + 4*x, 0 = 5*m - 4*x - 22. Let r = m + -4. Suppose 4*c = r*c + 18. Solve 2*o + 1 + c = 0 for o.
-5