2(6x + 5) + 2 > 255 - 15x