Clique em Lab 2 - Computação Simbólica em Python para abrir o recurso.