Let c(g) = -2*g**3 + g + 4. Let s be c(0). Solve -6*f + s*f + 8 = 0 for f.
4
Let y(v) = v3 + 12*v2 - v - 7. Let j be y(-12). Solve 10*c + 15 = j*c for c.
-3
Let y(v) = -2*v3 + 9*v2 + 7*v - 7. Let u be y(5). Solve -u*g + 5*g = -8 for g.
-4
Let b(v) = -2*v - 3. Let r be b(-2). Suppose 5*d + 2 = -3*s, -d - 2*s - 5 - r = 0. Suppose p + p = -2*h, 5*p + 14 = d*h. Solve 8 + 0 = h*i for i.
4
Let x(w) be the third derivative of -1⁄2*w3 + 0*w + w2 - 1⁄24*w**4 + 0. Let i be x(-4). Solve -p = -i - 2 for p.
3
Let n = -99 + 103. Solve -t = n - 0 for t.
-4
Let h(t) = t**2 + 1. Let w = -3 - -3. Suppose -2*g - 2*g + 4 = w. Let i be h(g). Solve 0 = -f + i*f + 2 for f.
-2
Suppose y = 4 - 1. Solve j + y = 1 for j.
-2
Suppose 0 = s + 2 + 2, s + 24 = 4*l. Solve -x + 20 = -l*x for x.
-5
Let m be (1 - 0)*(-60)/5. Let d(l) = -l - 2. Let u be d(m). Solve 0*j + u = -5*j for j.
-2