Refere-se à aplicação "Solve" ou à utilização linha de comandos - algo do género de solve(3x+3y-4z=-3 and -x+2y+5z=18 and 8x+4y-7z=-5,{x,y,z}) ?