(expr, assumptions)
Integer**Integer     -> !Prime
Integer**Integer     -> !Prime
Integer ** Integer - > !Prime
def Pow(expr, assumptions):
        """
        Integer**Integer     -> !Prime
        """
        if expr.is_number:
            return AskPrimeHandler._number(expr, assumptions)
        if ask(Q.integer(expr.exp), assumptions) and \
                ask(Q.integer(expr.base), assumptions):
            return False
def Pow ( expr , assumptions ) : if expr . is_number : return AskPrimeHandler . _number ( expr , assumptions ) if ask ( Q . integer ( expr . exp ) , assumptions ) and ask ( Q . integer ( expr . base ) , assumptions ) : return False