solve (| x - 5 | ≥ 3,x)