ayuda con un problema del mathematica

wenas gente en la empresa nos estan dando un cursillo de mathematica y nos an propuesto esto k no se cm sacar la solucion

la funcion y=1-cosx-2senx es solucion del problema de valores iniciales
y'-2y=5senx, y(0)=0

verdadero o falso?