Let b = -6 - -16. Solve -3*d + b = 2*d for d.
2
Suppose -10 = f - 3*f + z, 4*z = -16. Suppose -u - y - 3*y = f, -2*u - y = -1. Let s = u - -5. Solve -s + 4 = -o for o.
2
Let n(o) = -o**2 + 3*o + 4. Let k be n(4). Let b(i) = 2*i + k - 3*i - 1. Let l be b(-6). Solve 17 = 4*m + l for m.
3
Let n = -12 + 15. Let w(o) = -o + 3. Let x be w(n). Solve 4*k + x - 8 = 0 for k.
2
Let y(u) be the third derivative of u6⁄120 + 2*u5⁄15 + u4⁄3 + 5*u3⁄3 - u**2. Let z be y(-7). Suppose -z*b + 7 = -2. Solve 6 = b*t - 3 for t.
3
Let t = 0 - 9. Let s = t + 13. Solve -s*f + 8 = -0 for f.
2
Let n(m) = 3*m3 - 11*m2 + 8*m + 16. Let t(u) = 8*u3 - 33*u2 + 23*u + 48. Let w(h) = 11*n(h) - 4*t(h). Let o be w(-11). Solve 8 - o = -4*r for r.
5
Let i = 4 - 0. Let g be -3 + 4 + (6 - 1). Suppose 5*y - i = g. Solve 4*c - y = 10 for c.
3
Suppose 3*m - 11 = -5. Solve 3 = m*l + 1 for l.
1
Suppose 0*l = l - 5*a + 22, 0 = -4*l + a + 7. Solve -l = -3*t + 6 for t.
3