let n = 3 in {? true if 2 divides n, false otherwise ?} :: false :: []