2 > 3 ;; 
not (3.1415 ** 2.0 < 10.0) ;; 
8 mod 3 = 2 ;; 
3 + 4 + 5 = 4 * 3 ;;