Sistema algebraico de computación

Hola Profe.

Usando un sistema algebraico de computación, comprueba que las funciones que se representan, son soluciones de las siguientes EDO, anotando claramente el procedimiento.

$$\begin{align}&x^3 y´´´+?2x?^2 y´´+20xy´-78y=y=20(\cos?(5lnx))/x+3(sen(5lnx))/x\\ &\\ &y´´´´-20y´´´+158y´´-580y´+841y=?xe?^5x cos2x\\ &\end{align}$$