Let p(o) be the first derivative of o**2⁄2 + 9*o + 4. Let k be p(-9). Solve -6 = -3*i - k for i.
2
Let z = -1 + 2. Let d be -12*((-2 - 0) + z). Suppose 14*v = 21*v + 25*v. Solve v*x = 4*x - d for x.
3
Suppose 4*a = -4*f - 4, -f - a + 14 = -5*a. Suppose g = -f*g. Solve -2*k - 10 = -g*k for k.
-5
Let u be (3 - (0 + 3))/1. Solve u*t = -t + 3 for t.
3
Suppose -4*v = -v - 30. Solve -7*c + v = -2*c for c.
2
Let d = -73 + 73. Solve 0*k + 4*k - 12 = d for k.
3
Suppose -2*l = 4*c - 0*l - 24, 0 = -2*c + 5*l. Solve 3*z - c*z + 8 = 0 for z.
4
Let u(o) = -2*o + 2. Let y be -1*1 - (2 - 8). Suppose -4*l = y + 3. Let b be u(l). Solve -b = -k - k for k.
3
Let b be 9 - 4*(-3)/(-6). Solve -2*i - b = 3 for i.
-5
Let y = 0 - 0. Solve y = p + 2 + 2 for p.
-4