Let o(z) be the first derivative of z3⁄3 + 3*z2⁄2 + 3. Let w be o(-3). Solve w = k - 6*k - 20 for k.
-4
Suppose 12 = 4*w + 4*m, m + 14 = 4*w + 4*m. Solve 15 = -5*c + w for c.
-2
Suppose -5*x - 3*i + 16 = 0, 4*i - 11 = -3. Solve 0 = -x*f - 3*f - 5 for f.
-1
Let f(q) be the third derivative of -q6⁄120 + q3⁄2 - 2*q**2. Let i be f(0). Let y = i + -3. Solve y = -a - a - 4 for a.
-2
Let a(j) = 2*j - 3. Let m be a(4). Let q be 8/(-36) + (-11)/(-9). Solve -q + m = -d for d.
-4
Suppose 3*p = 2*l + 19, p = -0*p - l - 2. Solve -p = -2*v + v for v.
3
Let s(l) = -l3 + l2 - l + 8. Let h be s(0). Solve -c + h = 4 for c.
4
Let s = -5 + 7. Suppose 5*b = 2*b - n + 10, 0 = -s*b - n + 7. Let a be 8/b + 2/(-3). Solve -6*x - 8 = -a*x for x.
-2
Suppose 2 = y - 3. Suppose 5*s = -5*l + 25, -y*s - 20 = -4*l + 9. Let x = 6 - l. Solve c + 0 - 3 = x for c.
3
Suppose -3*p = -2*n - 3, 3*n + 2 = 5*p - 4. Solve -t + n*t - 6 = 0 for t.
3