Let o® be the first derivative of r**2 - 2*r - 1. Let d be o(2). Suppose -d*m - 2 = -10. Solve 0 = m*i - 2*i - 2 for i.
1
Let m = 4 + -3. Let u = m + 3. Solve -v - u*v = 20 for v.
-4
Let t(o) = o**2 + o + 2. Let z be t(0). Let w be 3/(-18)*z*0. Solve 5*h - 6*h = w for h.
0
Let y® = -r + 3. Let i be y(1). Suppose -i*k - 3 = -v + 1, -2*k - 4 = -5*v. Solve 2*w + 10 = -v*w for w.
-5
Let v(k) = k3 - 21*k2 - 23*k + 27. Let l be v(22). Solve 1 = -l*f - 14 for f.
-3
Let d(j) = -j + 4. Let v = -1 + 5. Let f be d(v). Solve f = -6*y + y - 10 for y.
-2
Let b® = r**2 - 3*r - 16. Let l be b(6). Solve 3*t + l = 11 for t.
3
Suppose u - 2*k - 23 = -5*k, 0 = u - 5*k + 1. Let w = u - 8. Solve 7*m = 4*m + w for m.
2
Let p(m) = -m - 16. Let t be p(-13). Let u be 6⁄2 - (4 + t). Solve 3*v - u = 2*v for v.
2
Let a(g) = g + 4. Let j(o) = -o3 - 4*o2 - 4*o - 3. Let d be j(-3). Let y be a(d). Solve 0*i = y*i for i.
0