3x 8 leq 23