Let v(j) = 2*j**2 - j + 1. Let z be v(3). Suppose -z = d - 3*d. Solve 4 = -c + d for c.
4
Suppose 0 = 2*p + x - 9, 0*p = -p + 4*x - 9. Suppose u + 6 = p*u. Suppose 2*c = u*c - 3. Solve 6 = c*w - 6 for w.
4
Suppose -2*j + 10 = -4. Suppose 2*v - j*f = -2*f + 18, 4*v - 14 = -f. Let w be 5/(10/v) + -1. Solve 1 = -z - w for z.
-2
Let q be -2 + 1 + (1 - 0). Suppose -w + q = -4. Suppose -w*t + 5 = -3. Solve t*i - i = 2 for i.
2
Let i(x) be the third derivative of 0 + 0*x - 1⁄8*x4 + 3*x2 - 1⁄2*x**3. Let z be i(-2). Solve 0 = -m + z*m for m.
0
Let l(s) = s + 21. Let v be l(-15). Suppose -2*r - 2*r - 4*u - 8 = 0, 4*r - 17 = u. Solve -v*p - 12 = -r*p for p.
-4
Let r(t) = -4*t + 2*t + 4*t + 2. Let n(w) = 7*w + 9. Let i(z) = -2*n(z) + 9*r(z). Let j be i(1). Solve -5*y = -j*y - 4 for y.
4
Let l(d) = d3 + 5*d2 + 2*d - 3. Let x be l(-4). Suppose x*z + 20 = 2*t, 0*z - 16 = 5*t + 4*z. Solve 1 + t = -n for n.
-1
Let r = -15 - -17. Solve 0 = -r*j + 3*j for j.
0
Let o = -22 - -26. Solve o*v + 0*v = 0 for v.
0