Set Theory Problem Solver