b in range(a, b + c, c). Не знаю, что это вообще делает, выводит True или False, но по какому принципу?

По очень простому.
То, что Вы написали - логическое выражение. Соответственно, его значение всегда либо True, либо False.
Принцип очень простой. Если a < b < b+c то True, иначе False .
Подставьте, например a=1, b=10, c=1 - получим True. Подставьте a=1, b=10, c= -1. Имеем False. При a=1, b=-1, c=5 - тоже False.