Let d(v) be the first derivative of -v**2⁄2 - 9*v - 3. Let p be d(-11). Solve 0 = -p*z + 4 for z.
2
Let t(j) = -j3 + 11*j2 - 9*j - 5. Let v be t(10). Solve 0*z - v*z + 5 = 0 for z.
1
Let g(l) = -2*l + 1. Let m be g(-1). Suppose -m*r = -5*b + 2, -3*b + 2 = -2*r + 1. Suppose 0*u - r = -u. Solve -2*h + u = 5 for h.
-2
Let q = 1 + -1. Suppose -6 = t + t - 4*v, 0 = -4*t - v + 6. Let g be (13 + -4 + t)/2. Solve q = -g*z + 4 + 6 for z.
2
Let s = 8 + -4. Suppose 5 + 6 = -3*d - s*y, 4*y + 17 = -d. Solve 0 = -2*t - d*t for t.
0
Let c(n) = n**2 + n - 5. Let t(y) = 1. Let r(p) = c(p) + 5*t(p). Let b be r(1). Solve 0 = g + 2 + b for g.
-4
Let u = 10 - 10. Solve u = 3*g - 2*g - 4 for g.
4
Suppose z = -2*q + 56, 2*q - 3*z - 32 = 16. Suppose -3*r = -0*r - 3*a - q, -2*r = 3*a + 2. Solve -4*j + r*j = 0 for j.
0
Suppose -b + 0*t - 2*t + 14 = 0, t = 5*b - 103. Solve -2*h - b = -7*h for h.
4
Let q = 25 + -23. Suppose -q*z - z + 36 = -3*x, 4*z + 2*x = 24. Solve -z*o + 3*o = -15 for o.
3