Let y(n) be the second derivative of n3⁄6 - 3*n2 + 2*n. Let x be y(4). Let i(b) = b**2 + b. Let a be i(x). Solve 0 = -d - d + a for d.
1
Let q(k) = k + 6. Let l be q(0). Let r = -28 - -41. Let x = 33 - r. Solve -y = -l*y + x for y.
4
Suppose 2*a + 2 + 8 = -3*m, 2*a = -m - 10. Solve -4*z + 5*z - 2 = m for z.
2
Suppose -f + 3 + 0 = 0. Suppose 16 = -f*s + 4*t, t - 8 = -5*s - t. Solve x + x = s for x.
0
Suppose 5*m - 5*d = -25, m + d - 5 = -0*d. Solve m = -5*k - 5 for k.
-1
Suppose 0 = -5*g + g + 4. Let s be (0*1/(-3))/g. Suppose s*c = -2*c. Solve 2 = -f - c for f.
-2
Let w(m) = m**2 - 6*m + 5. Let o be w(5). Let d = o - 11. Let q = d - -21. Solve -p - p = q for p.
-5
Let h = 44 - 39. Solve 4*i + 3 = -h for i.
-2
Suppose 3*o + 4 = -3*q + 1, -5*q = -4*o - 13. Solve v + q - 3 = 0 for v.
2
Suppose 0 = 3*r + 4 - 13. Solve -3 - r = -2*k for k.
3