Как сделать генератор простых, но разнотипных головоломок?
Эм, ну генерировать примеры по математике можно при помощи марковских цепей, например.
Вопрос решён с помощью булевой алгебры и "древовидной" генерации различных задач.