Let m be (-1)/5 + (-147)/15. Let r be (-2)/4*(-4 + m). Solve -1 + r = 3*u for u.
2
Suppose -4*w = -2*u, 0 = 2*u - w - 2 - 7. Solve 3 - u = 3*g for g.
-1
Let t(i) = -i + 26. Let n(q) = -1. Let z(d) = -n(d) - t(d). Let s be z(0). Let r be (12⁄15)/((-2)/s). Solve -4*m - m + r = 0 for m.
2
Let g(v) = -v**2 - 5*v + 9. Let j be g(-6). Suppose 0 = z + j*z. Let k = 11 - 8. Solve 0 = k*f - z*f + 9 for f.
-3
Suppose 3*f + f = -28. Let r = 12 + f. Suppose -3*q = -r*q. Solve q = 3*c - 2 - 4 for c.
2
Suppose r + 0*r - 5 = 0. Solve -r = -0*b - b for b.
5
Let w be 2/(-5) + (-11)/(275/(-10)). Solve p + p - 6 = w for p.
3
Suppose -3*r = -r - 6. Let a(l) = l3 - 5*l2 + 6*l - 4. Let z be a(4). Suppose -4*x + 3*f - 6 = 0, -2*x + f = z*f - 6. Solve x = -r*m - 3 - 12 for m.
-5
Let j(u) = u3 - 4*u2 - 3*u - 7. Let m(q) = q**2 - 2*q - 3. Let a be m(4). Let d be j(a). Let v be (-2)/d - 26/(-3). Solve -4*s = -v*s - 12 for s.
-3
Let m = -4 + 4. Suppose m - 2 = -2*p. Solve p = -4*c - 11 for c.
-3