Let r(k) be the first derivative of k3⁄3 + 3*k2⁄2 + 4. Let u be r(-3). Solve -4 = -x - u for x.
4
Suppose 7*f = 3*f. Suppose f = i - 4. Solve -a = -0*a + i for a.
-4
Let r = 4 + 11. Suppose -i + 3*i - 17 = -3*k, 0 = -3*i - r. Solve -2*l + 5*l + k = 0 for l.
-3
Let v = -11 - -3. Let n = -3 - v. Solve n = -9*d + 4*d for d.
-1
Suppose 3 = -4*v - y, 5*y + 15 = -4*v - 0. Solve v = -3*d + 5*d + 8 for d.
-4
Let q(k) = k2 + k + 2. Let l(w) = -2*w2 - 2*w - 5. Let h(u) = 2*l(u) + 5*q(u). Let m be h(-2). Let i = -8 - -11. Solve i*x = 11 - m for x.
3
Let k = 14 + 5. Let p = k - 11. Solve p*i = 3*i for i.
0
Let f be (-12)/(6⁄15 + 48/(-20)). Solve 2*g - f = -16 for g.
-5
Let i be ((-6)/9)/(4/(-18)). Let o = 10 + -8. Solve 0 = i*a - a + o for a.
-1
Let a(z) be the first derivative of -z4⁄4 + 8*z3⁄3 + 3*z - 2. Let f be a(8). Suppose 4*b = -8, -x - 3*b - 5 + f = 0. Solve x*u + 20 = -u for u.
-4