Let c® be the third derivative of r6⁄120 - r5⁄60 - r4⁄12 - 2*r2. Let j(h) = -h**2 + h + 2. Let s be j(0). Let a be c(s). Solve a = -2*p - 2*p for p.
0
Suppose 5*o - 2*o = 9. Let m = 3 - -3. Solve m*x - 6 = o*x for x.
2
Let w(s) = s**2 - 8*s - 13. Let y be w(11). Solve 4*o + y = -o for o.
-4
Let i(g) = g**2 - 11*g + 14. Let b be i(10). Suppose 8 = 3*m - b. Let a(y) = -y. Let n be a(0). Solve 2*k = -n*k + m for k.
2
Let m(z) = z + 11. Let c be m(-8). Let t® = r**2 - 3*r + 2. Let n be t(2). Solve n = -2*x - 1 + c for x.
1
Let u(s) = 2*s - 12. Let t(k) = -2*k + 25 - 3*k + 0*k. Let z(x) = -3*t(x) - 7*u(x). Let c be z(-5). Solve -5*m + c*m = 3 for m.
-3
Let j = -31 - -35. Solve 0 = -r - j for r.
-4
Suppose -4*o - 2*t + 36 = 0, 7 + 13 = 4*o - 2*t. Suppose g - 2*z = -5, -2*z + 3*z + 36 = -5*g. Let b = g + o. Solve b*v + v = 0 for v.
0
Let k(g) = -g - 11. Let r be k(-11). Solve r = 4*u - 0*u for u.
0
Let c be 2/(2⁄10*2). Suppose h = c*h. Solve -t + 6*t + 20 = h for t.
-4