12 > y - 5

12+5 > y-5+5

17 > y