Suppose -s - 4*m + 4 = 0, -2*m + 2 = -2*s - 0*m. Let n be (-7)/((-21)/30) + s. Solve 0 = 5*k - n - 5 for k.
3
Let o = 27 + -15. Solve 0 = -0*y - 3*y - o for y.
-4
Let s be (-2)/(-4) + 9⁄2. Suppose -2*u = f - 8, -f - f + 19 = s*u. Solve t = -u*t - 4 for t.
-1
Let s(a) = -a + 29. Let y be s(17). Solve -4*t + y = -0*t for t.
3
Let g = 2 + 3. Suppose 3*i + 15 = -2*o + 40, i + 15 = 4*o. Suppose 11 = i*w - 4. Solve -4*y = -g*y - w for y.
-3
Suppose -9 = -3*t + 3. Solve 5*l + 6 = -t for l.
-2
Suppose -6*a = -2*a - 20. Solve a*j - j = -20 for j.
-5
Let k = -25 + 45. Solve 0 = 4*n - k for n.
5
Let x = 14 + -12. Solve b = -b - x for b.
-1
Suppose 4*q - 29 = -q + l, 3*q = -l + 11. Solve -p + q*p = -4 for p.
-1