Правильно: не спится, не лежится. Не с глаголами пишется раздельно.
Эта аббревиатура склоняется. Правильно: лечиться от СПИДа.
Оба варианта возможны.
Внутри сочетания не то что запятая не ставится. Корректно: Вот раньше манеры были не то что сейчас! (если после были предполагается пауза, то высказывание нужно разделить на два: Вот раньше манеры были! Не то что сейчас!); Он на пятерки учится, не то что ты!
Правильно без запятой.
Оба варианта возможны. Выбор каждого из них может иметь несколько обоснований: смысловых, грамматических, стилистических. Например, ждали некое абстрактное чудо, но его не произошло: чуда не случилось. В другой ситуации не дождались конкретного позитивного результата: чудо не случилось. Гипотетическое рассуждение в рамках «если» допускает, как представляется, абстрактное и конкретное понимание чуда.
Возможно как слитное, так и раздельное написание. При слитном написании утверждается неясность, при раздельном – подчеркивается отрицание (отрицается ясность).
Эти этих вариантов следует выбрать первый.