Circle Theorem Solving