Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
As a demonstration of difficulty, a counter-question: Is this a 3-manifold fundamental group, and if so, which one?
$$\langle a, b | a^2b^{-1}a^{-2}ba^{-1}ba^{-2}b^{-1}a^2b, a^{-1}b^{-1}a^2ba^{-4}ba^2b^{-1}a^{-1}b^{-1}a^2ba^{-2}ba^2b^{-1} \rangle$$