Воспользуйтесь окном «Искать на Грамоте».
Допустимо написание Великая теорема Ферма и Малая теорема Ферма с прописной буквы, поскольку это собственные названия теорем, хотя в специальной литературе малая теорема Ферма чаще всего пишется со строчной буквы. Остальные понятия следует писать со строчной буквы: метод факторизации Ферма, спираль Ферма, точка Ферма, числа Ферма.
Слова про машинки могут выступать в роли пояснения («та игра, а именно игра про машинки») и обособляться: Из готовых работ пока имеется та игра, про машинки, с урока информатики.
Но это необязательно. Если пояснительной интонации нет, то запятые не нужны: Из готовых работ пока имеется та игра про машинки с урока информатики.
Орфографический словарь
Словарь трудностей
Правильно: инженерно-производственная фирма.
Правильно: мини-ферма, но мини молочная ферма. По правилам недопустимо слитное или дефисное написание с приставкой или первой частью сложного слова, если вторая часть представляет собой сочетание слов. В этом случае необходимо раздельное написание.
