Let b(f) be the second derivative of 1⁄20*f5 - 1⁄2*f3 + 0 + 1⁄2*f2 - f + 0*f4. Let w be b(2). Solve a + w = 8 for a.
5
Let v be (0 - 1)*(4 - 6). Suppose 6*c = -3*a + c + 1, -4*c = -v*a + 8. Solve 3 + 1 = -a*k for k.
-2
Let q(g) = 8*g**2 - 3*g - 2. Let l be q(-2). Suppose r = -3*r + l. Suppose -6*d + 32 = c - d, -d = -2*c + 9. Solve r = c*p - 4*p for p.
3
Let r(j) = 16*j3 - j2 + 2*j - 1. Let m be r(1). Solve 3*g - m = -g for g.
4
Suppose 0*l - 3*l + 6 = 0, -4*z - 4*l = -16. Suppose -8 + 0 = z*v. Let f(o) = o3 + 4*o2. Let k be f(v). Solve 0 = -k*m + m - 2 for m.
2
Let r(m) = m3 - 3*m2 - 6*m + 2. Let k be r(4). Let c be 42⁄8 - k/8. Solve p - c = 4*p for p.
-2
Let b(f) = f. Let p be b(2). Suppose p*o - 5 = o. Suppose 5*u - o = -0. Solve -5 = -2*l - u for l.
2
Suppose f = -5*u - 4*f + 5, 20 = -5*f. Solve -u*k + 6*k + 2 = 0 for k.
-2
Let j(p) be the first derivative of -2*p + 2 - 1⁄2*p**2. Let s be j(-4). Solve 2*t = t - s for t.
-2
Let u(q) = -2*q + 1. Let y be u(3). Let l = y - -6. Let a = 0 - -3. Solve -4*w - l = a for w.
-1