Let p(y) be the third derivative of -y6⁄720 + y5⁄12 + y4⁄8 + 2*y2. Let b(w) be the second derivative of p(w). Let q be b(7). Solve -q = 2*k - 7 for k.
2
Let b be (3 - (-30)/(-20))*2*1. Solve 2 + b = s for s.
5
Let w(f) = -f3 - 4*f2 - 4f - 2. Let g be w(-3). Let m be (3 - g)(-3)/(-2). Solve -s + 0*s - m = 0 for s.
-3
Suppose 42*b - 46*b = 0. Solve b = 14*m - 11*m for m.
0
Let y = -26 - -56. Suppose -5*z + 0*z + y = 0. Suppose 3*k = 2*k. Solve -o + z - 1 = k for o.
5
Suppose -1 - 5 = -2*y. Suppose 0*j - 8 = -4*j - 4*b, -3*b - 6 = -y*j. Suppose 9 - 24 = -l - 3*u, -2*u = 3*l - 24. Solve -i + l = j*i for i.
2
Suppose -416*k = -408*k - 32. Suppose 0 = 3*p + p. Solve p*i = k*i for i.
0
Suppose 0 = -3*y + 2*y. Suppose 3*s + s = 0. Let c = y - s. Solve 3*n + 2 - 17 = c for n.
5
Let q be 1 + (-6)/2 + 217. Let f be q/25 - (-6)/15. Solve 0 = -a + 4*a + f for a.
-3
Let n(v) = -v**2 + 7*v - 3. Let i be n(6). Suppose 5*l = -i*t + 49, 4*t = -4*l - 0*l + 60. Solve -3 = -4*m + t for m.
4