Still, I’m also wondering: Can awk or any other standard tool do something like “for deciding whether to print this line, look at the next line”?
I don't know enough about awk to think this through to the end, but a trick from functional programming, which you might be able to apply here, is to 'zip' the list with itself, offset by one.
So, it might then look like this, for example:
140,141
141,145
145,180
180,190
190,
Of course, in Bash you would probably need to implement the zipping yourself, so it might not save you much effort here...