Translate the sum of a number and 9 is at least 23

n + 9 ≥ 23