Suppose 0 = -4*t + 2 - 14. Let k be (t/(-1) + -1)*2. Let b = -9 + 15. Solve b*w - k = 2*w for w.
1
Suppose 0 = -6*k - 0*k + 42. Solve -k*y = -3*y + 4 for y.
-1
Suppose -5*d + 9 + 4 = -h, 0 = -5*h + 2*d + 50. Let s = h + -8. Solve 5*x - 6 = s for x.
2
Let w be (1 - 10⁄5) + 4. Solve 0 = -d - 0*d - w for d.
-3
Let r(u) = -5*u + 59. Let s be r(11). Solve 2*m - 4*m - s = 0 for m.
-2
Suppose 0 = 4*v - 1 - 7. Let c(g) = g3 + 6*g2 + 7g + 6. Let b be 15⁄10(-8)/3. Let x be c(b). Solve -4*s = -x + v for s.
2
Suppose 0 = 2*s - 2 - 4. Suppose 4*l - 7*l + s = 0. Solve 3*d - 4*d = l for d.
-1
Suppose 3*a + m - 6 = 4*m, -3*m + 8 = 4*a. Solve -a*f + 3*f = -1 for f.
-1
Let a be 7⁄2 + (-1)/2. Solve 0 = -b + a*b + 6 for b.
-3
Let g(u) = -u - 31. Let z be g(-16). Let v = -15 - z. Solve t + 4*t + 10 = v for t.
-2