#eval (5 > 2) == true
#eval (2 > 5) == true

variable (b : Bool)

#check (5 > 2) == b