Let y(v) be the second derivative of v5⁄20 + v4⁄2 - v3⁄2 - 9*v2⁄2 - 2*v. Let b be y(-6). Let o(s) = 2*s - 13. Let h be o(b). Solve -r - h = -2*r for r.
5
Let p(k) = 4*k - 3. Let b be p(6). Suppose 2*x + 1 = b. Let d = x + -7. Solve 0 = -3*t + 3 + d for t.
2
Suppose 0*f + 4*f = 24. Let q be 6/(-9) - (-130)/f. Suppose -3 + q = 3*y. Solve -16 = -y*n + 2*n for n.
4
Suppose 18 = 2*o - 24. Suppose -36 = -4*b + 4*y, -3*y - 16 = -4*b + o. Solve -u + 3*u = -b for u.
-5
Let o be -3*4⁄12 + 12. Solve -o + 3 = -2*c for c.
4
Suppose 3*y = -1 + 13. Let r(f) = f**2 - f + 5. Let h be r(0). Suppose 0 = n + 4 - h. Solve c + n + y = 0 for c.
-5
Let w = -19 + 22. Solve -w*n + 8 = -7*n for n.
-2
Suppose 3*k - 11 = -2. Suppose 3 = -w - 8. Let x(q) = -q**2 - 11*q. Let n be x(w). Solve -p + n*p = -k for p.
3
Let q be -1-2(1 - 0). Suppose 3*m = 3*o + 24, -2*m + o = 1 - 12. Suppose -m*y + y = -q. Solve -13 + y = 3*n for n.
-4
Suppose -3*n + 4*n = 15. Suppose 0*b = -b + 4. Solve -a - b*a = n for a.
-3