Suppose 0 = 3*m - 9 + 3. Solve 7 - m = u for u.
5
Suppose -2*u + 4 = -6*u. Let k be (-2 + -1)/(u + 0). Solve -15 = -2*j - k*j for j.
3
Let h = 120 + -104. Solve -5*l + l - h = 0 for l.
-4
Let t be (-24)/(-14) + (-13)/((-455)/10). Solve -3 - 3 = t*o for o.
-3
Let w(g) = 2*g + 3. Let f = -4 - -7. Let d be w(f). Suppose -3*l + 5 + d = 4*m, 2*m = 5*l + 20. Solve 0*u + m*u = -10 for u.
-2
Let z = 23 - 20. Solve k = -0*k + z for k.
3
Let t = -7 + 34. Suppose t = 3*d - 18. Solve c - d = -2*c for c.
5
Let i be (-4)/(-5)*105⁄6. Let r be i/(-21) - 8/(-3). Solve -3 = r*k - 13 for k.
5
Suppose 3*b = -2*c, -2*b - c + 1 = -0. Suppose 2*u - 3*z - 12 = z, -2*z - 6 = b*u. Solve h + 0*h + 5 = u for h.
-5
Suppose 5*i = -3*n + 19, 0 = -2*i - 5*n + 7 + 12. Solve -2*y = i + 2 for y.
-2