Let n = 1 + -1. Let v(h) = -6*h + 15. Let g be v(2). Solve n = 2*t + 3 + g for t.
-3
Let w = 31 + -11. Suppose 2*n = -3*n + w. Solve 0 = d - 3*d + n for d.
2
Suppose -23*f - 10 = -56. Solve 3*h = f*h for h.
0
Suppose -3*i = -3*y, 4*i + 4 = -5*y + 13. Solve i = -2*d + 7 for d.
3
Let u(w) = -3 + 3*w3 - 2*w + 2*w3 + 4 + 2*w2 - 2*w3. Let c be u(1). Solve -20 = 4*a - c for a.
-4
Let c = -6 + 6. Suppose c = -r + 4. Let q = 8 - r. Solve l + q*l = 25 for l.
5
Suppose -3*j = -8 - 1. Suppose -2*c + 4*f + 10 = -c, 0 = -j*c + 4*f + 14. Solve r = c*r - 2 for r.
2
Let p = 20 - 28. Let d = -5 - p. Let i = -3 + d. Solve -n = -i*n for n.
0
Suppose 2*q = 2*u + 8, 0 = -5*q - u + 21 - 7. Solve 1 + q = 2*w for w.
2
Suppose i = -d - 2*i - 7, -4*d - 5*i = 0. Let h(q) = -q3 + 6*q2 - 6*q + 8. Let f be h(4). Suppose d*s = s + f. Solve 2 = s*g - 6 for g.
2