Let u(x) = -4*x**3 + x + 1. Let f be u(-1). Let n be (0 - -1)*f/1. Suppose -n*s + 0*s = -32. Solve s = -r - r for r.
-4
Let w(n) = n3 - 6*n2 - 16*n + 6. Let k be w(8). Solve 0 = -v + k*v + 5 for v.
-1
Let m(g) = -g**2 + 7*g - 10. Let n be m(3). Solve 0 = n*i - 0*i + 6 for i.
-3
Let n(o) = -6*o - 1. Let z be n(-7). Let b = 61 - z. Solve 0 = 3*l + 2*l + b for l.
-4
Suppose -f - 2 = -0*f. Let t be (2⁄3)/(f/(-15)). Let p = -2 + 2. Solve t*v - 4*v = p for v.
0
Let o(p) be the second derivative of -p4⁄12 - p3⁄6 + 2*p. Let w be o(-1). Solve w = -3*m - 0*m + 12 for m.
4
Let b = 2 + -1. Let y = 3 - b. Suppose 2 = 2*g - 0*g + 2*r, 3*r + 9 = g. Solve -u + g*u = -y for u.
-1
Let d(l) be the second derivative of l4⁄3 - l3⁄6 + 5*l. Let v be d(-1). Solve -6*x - v = -x for x.
-1
Suppose d + 3*n = -6, 2*d + 4*n = 8*n + 18. Suppose -r + d*r - 4 = 0. Let x = 1 - -5. Solve -4*j + r*j + x = 0 for j.
3
Let t(z) = 2*z3 + z2 - z. Let h(l) = -l - 4. Let v be h(-5). Let s be t(v). Solve 3*j + s*j = -10 for j.
-2