#!/usr/bin/env python3
from z3 import *

a,b = Ints('a b')

print (simplify(And(Not(a < b), Not(a > b))))