sympy · GaganMishra305 · Jan 8, 2025 · Jan 9, 2025 · Jan 9, 2025 · Jan 9, 2025
diff --git a/.mailmap b/.mailmap
@@ -620,6 +620,7 @@ G. D. McBain <gdmcbain@protonmail.com>
 Gabriel Bernardino <gabriel.bernardino@upf.edu>
 Gabriel Orisaka <orisaka@gmail.com>
 Gaetano Guerriero <x.guerriero@tin.it>
+Gagan Mishra <70949548+GaganMishra305@users.noreply.github.com>
 Gagandeep Singh <singh.23@iitj.ac.in> Gagandeep Singh <36567889+czgdp1807@users.noreply.github.com>
 Gagandeep Singh <singh.23@iitj.ac.in> Gagandeep Singh <czgdp1807@gmail.com>
 Gagandeep Singh <singh.23@iitj.ac.in> Gagandeep Singh <gdp.1807@gmail.com>
@@ -1613,6 +1614,7 @@ anca-mc <anca-mc@users.noreply.github.com>
 andreo <andrey.torba@gmail.com>
 arooshiverma <av22@iitbbs.ac.in>
 atharvParlikar <atharvparlikar@gmail.com>
+beforeIkillYou <simonsimple305@gmail.com>
 bharatAmeria <21001019007@jcboseust.ac.in> bharatAmeria <147488804+bharatAmeria@users.noreply.github.com>
 bluebrook <perl4logic@gmail.com>
 carstimon <carstimon@gmail.com>

diff --git a/sympy/assumptions/handlers/sets.py b/sympy/assumptions/handlers/sets.py
@@ -53,7 +53,7 @@ def _(expr, assumptions):
         raise MDNotImplementedError
     return ret
 
-@IntegerPredicate.register_many(Add, Pow)
+@IntegerPredicate.register(Add)
 def _(expr, assumptions):
     """
     * Integer + Integer       -> Integer
@@ -64,6 +64,21 @@ def _(expr, assumptions):
         return _IntegerPredicate_number(expr, assumptions)
     return test_closed_group(expr, assumptions, Q.integer)
 
+
+@IntegerPredicate.register(Pow)
+def _(expr, assumptions):
+#     """
+#     * Integer ** Integer       -> Integer
+#     * Integer ** !Integer      -> !Integer
+#     * !Integer ** !Integer -> ?
+#     * Integer ** -Integer  -> !Integer
+#     """
+    if expr.is_number:
+        return _IntegerPredicate_number(expr, assumptions)
+    if ask(Q.integer(expr.args[0]), assumptions) and ask(Q.integer(expr.args[1]), assumptions) and expr.args[1].is_negative:
+        return False
+    return test_closed_group(expr, assumptions, Q.integer)
+
 @IntegerPredicate.register(Mul)
 def _(expr, assumptions):
     """

diff --git a/sympy/assumptions/tests/test_query.py b/sympy/assumptions/tests/test_query.py
@@ -2415,3 +2415,9 @@ def test_issue_25221():
     assert ask(Q.transcendental(x), Q.algebraic(x) | Q.positive(y,y)) is None
     assert ask(Q.transcendental(x), Q.algebraic(x) | (0 > y)) is None
     assert ask(Q.transcendental(x), Q.algebraic(x) | Q.gt(0,y)) is None
+
+
+def test_issue_27450():
+    n = Symbol('n', negative=True, integer=True)
+    exp = 2**n
+    assert exp.is_integer is False