In this paper, we present an algorithm which can prove algebraic relations involving -quotients, where is the Dedekind eta function.