Let n(v) = v. Let h(z) be the second derivative of 2*z3⁄3 - z2 - 2*z. Let q(y) = h(y) - 3*n(y). Let x be q(6). Solve x*o - 6 - 6 = 0 for o.
3
Let c be (-1)/4 + 2⁄8. Let y be (-2)/4*c/1. Solve -6 = -y*d + 3*d for d.
-2
Let n(x) = 2*x**2 - 2*x + 1. Suppose 0 = -2*z + 3 + 1. Let t be n(z). Solve 3*a + t = -2*a for a.
-1
Let a(w) = w**2 - w + 4. Let c be a(9). Let g be c/18 + 2/(-9). Solve 0 = h - 5*h + g for h.
1
Suppose -3*a + d = -1 - 6, 5*a - d = 15. Let h be 0 + 7/(14/a). Solve -3 = k - h*k for k.
3
Suppose 0*f + 3*f = 9. Solve 0 = s - f - 0 for s.
3
Suppose -4*c + 30 = -22. Suppose 0 = 3*a - 10 - 11. Suppose h - 3*h + 5*q = -3, -4*h = -5*q - 11. Solve -c = -h*x + a for x.
5
Let f(i) = i3 + 7*i + 8 - 9*i2 - 16 + 0*i**3. Let y be f(6). Let x be (-4)/14 - y/14. Solve 0 = -x*w - 1 + 26 for w.
5
Let g(o) = -2*o**2 - 5*o - 7. Let z be g(-5). Let w = 59 + z. Let d = -7 + w. Solve -b - d = -6*b for b.
4
Suppose 0 = -v - v - c + 2, 6 = -3*c. Solve v = y + y for y.
1