Suppose 4*q + 7 = r, r + 0*q - 7 = 3*q. Let o = 3 - 8. Let l = o + r. Solve -d = -l*d for d.
0
Let c(h) = h - 4. Let t be c(6). Solve -t*y - 4 = -0*y for y.
-2
Let o = 18 + -18. Solve 5*m - 5 + 15 = o for m.
-2
Let k(z) = z3 + 5*z2 + z + 6. Suppose j - 15 = 4*j. Let w be k(j). Solve -f - 4 = -w for f.
-3
Let o(u) = u**2 + 5*u - 4. Let v be o(-6). Solve v*i - 5*i = 12 for i.
-4
Let a be 101⁄8-4. Let z = -5 - a. Suppose -3*y = 2*b - 21, z*y + 22 = -b + 5*y. Solve b = -d - 0 for d.
-3
Let t = 544 + -544. Let s = -9 + 24. Solve t = -2*y - y - s for y.
-5
Let q be 4⁄6 - (-155)/15. Solve 3*u = 2 - q for u.
-3
Let y = -13 - -29. Suppose -4*z - z = -k + 4, -4*k = -4*z - y. Let v = 3 - z. Solve n - v = -0 for n.
3
Let n be 5 - (4 + -3)*2. Let l be (-1)/(n/(-6)) + 1. Suppose 2*d = l*d - 4. Solve 0*w + d*w = 16 for w.
4