A program that proves when subgroups in n-tinas by solving a bunch of equations