What’s the mathematical expression for “five times x is fewer than 12”