Suppose 1 = 5*h - 4. Let v = h + 1. Suppose -v*x - 6 = -30. Solve -3*t + x = t for t.
3
Suppose 43 = 16*y + 11. Suppose 0*h + 5*h = 10. Solve h*s - s = -y for s.
-2
Let j = 43 + -24. Suppose j + 16 = 5*m + 5*s, -s = -3*m + 13. Suppose -4*y + 5*w - 6 = -y, m*y - 24 = -3*w. Solve y = -2*t - 1 for t.
-2
Suppose 8*w - 3*w - 60 = 0. Suppose -2*l + w = 2*l. Suppose l*b - 1 = 4*b + o, b = -2*o - 5. Solve b = 4*i - 5*i for i.
-3
Suppose 3*k = -k + 20. Suppose -m = -k*m. Let u(o) = -2*o + 1. Let f be u(-1). Solve m = -4*j - 7 + f for j.
-1
Let t(o) be the first derivative of -o3⁄3 - 7*o2⁄2 - 2*o - 4. Let x be t(-6). Solve x - 1 = -v for v.
-3
Let s be (1 - 15⁄6)*-2. Suppose c - 1 + 5 = s*p, 0 = -4*p - 4*c + 16. Solve -o - p = -6 for o.
4
Let i(z) = -10*z - 68. Let k be i(-7). Solve -8 = -3*u - k for u.
2
Let m(k) = -k + 3. Let i be m(3). Let p(b) = -b + 9. Let v be p(i). Suppose 3*u - 34 + v = -5*t, -2*u - 3*t + 16 = 0. Solve -y = -u*y for y.
0
Let c be 6/(-15) + (-321)/(-15). Let n be (1*-3)/(c/(-35)). Solve 0 = -2*o + n - 1 for o.
2