diff --git a/compiler/noirc_evaluator/src/ssa/ir/instruction/binary.rs b/compiler/noirc_evaluator/src/ssa/ir/instruction/binary.rs
index e491807995b..9099268ace9 100644
--- a/compiler/noirc_evaluator/src/ssa/ir/instruction/binary.rs
+++ b/compiler/noirc_evaluator/src/ssa/ir/instruction/binary.rs
@@ -171,21 +171,6 @@ impl Binary {
                     return SimplifyResult::SimplifiedTo(one);
                 }
 
-                if operand_type.is_unsigned() {
-                    // If we're comparing a variable against a constant value which lies outside of the range of
-                    // values which the variable's type can take, we can assume that the equality will be false.
-                    let constant = lhs.or(rhs);
-                    let non_constant = if lhs.is_some() { self.rhs } else { self.lhs };
-                    if let Some(constant) = constant {
-                        let max_possible_value =
-                            2u128.pow(dfg.get_value_max_num_bits(non_constant)) - 1;
-                        if constant > max_possible_value.into() {
-                            let zero = dfg.make_constant(FieldElement::zero(), Type::bool());
-                            return SimplifyResult::SimplifiedTo(zero);
-                        }
-                    }
-                }
-
                 if operand_type == Type::bool() {
                     // Simplify forms of `(boolean == true)` into `boolean`
                     if lhs_is_one {