\documentclass[english]{article}
\usepackage{amsmath,amsthm,amssymb,marvosym,enumitem,makeidx,hyperref} % Only needed to generate dummy text for sample.tex
%
\renewcommand{\le}{\leqslant}
\renewcommand{\leq}{\leqslant}
\renewcommand{\geq}{\geqslant}
\renewcommand{\ge}{\geqslant}
\newcommand{\ideal}[1]{\left\langle\, #1 \,\right\rangle}
\newcommand{\subgp}[1]{\left\langle\, #1 \,\right\rangle}
\def\p{\varphi}
\def\isomorphic{\cong}
\def\Gal{\text{Gal}}
\def\im{\text{im}}
\def\normal{\vartriangleleft}
\usepackage{comment}
\usepackage[colorinlistoftodos]{todonotes}
%% For students:
%\excludecomment{hint}
%% For faculty: Lines 33 and 34 should be inversely commented out, e.g., if line 33 is commented out, line 34 should not, and vice versa.
%\excludecomment{proof}\excludecomment{answer}\excludecomment{solution}
\newenvironment{solution}[1][Solution]{\begin{trivlist}\pushQED{\qed}\item[\hskip \labelsep \bfseries #1{}.\hspace{10pt}]}{\popQED\end{trivlist}}\renewcommand{\qedsymbol}{$\checkmark$}{\newenvironment{answer}{\renewcommand\qedsymbol{$\blacklozenge$}\begin{proof}[Answer]}{\end{proof}}}\newenvironment{answer}[1][Answer]{\begin{trivlist}\pushQED{\qed}\item[\hskip \labelsep \bfseries #1{}.\hspace{10pt}]}{\popQED\end{trivlist}}\renewcommand{\qedsymbol}{$\lozenge$}
%\excludecomment{facnote}
%\excludecomment{additionalproblem}
%\excludeversion{hide}
% First, provide some data about this document
\title{Scribe Template}
\author{Your name}
\usepackage{multicol}
\def\lcm{{\text{lcm}\,}}
\usepackage{cancel,color}
\def\q#1{{\color{red} {#1}}}
\newenvironment{hint}{\startimportant}{}
\def\startimportant#1\end{[{Hint:} #1]\end}
\newenvironment{facnote}{\startfacnote}{}
\def\startfacnote#1\end{\margintext{{\sc Note:} #1}\end}
%% Setting up theorems
\usepackage{tikz}
\usetikzlibrary{trees,shapes}%,detheoremations}
\renewcommand*\textcircled[1]{\tikz[baseline=(char.base)]{\node[shape=circle,draw,inner sep=2pt,color=red] (char) {#1};}}
\tikzstyle{mynode} = [text centered]
\newcommand*\crossout[1]{\tikz[baseline=(char.base)]{\node[mynode, cross out,draw] (char) {#1};}}
\theoremstyle{plain}
%% A nice way to TeX sets
\def\set#1{\left\{ {#1} \right\}}
% \def\setof#1#2{{\left\{#1\,\middle\rvert\,#2\right\}}}
\def\setof#1#2{{\left\{#1\,\colon\,#2\right\}}}
%\newcommand{\ideal}[1]{\left\langle\, #1 \,\right\rangle}
\def\C{{\mathbb C}}
\def\Z{{\mathbb Z}}
%\def\F{{\mathbb F}}
\def\bF{{\mathbb F}}
\def\Q{{\mathbb Q}}
\def\N{{\mathbb N}}
\def\R{{\mathbb R}}
\def\h#1{{\textbf{#1}}}
\begin{document}
\maketitle
Problem/Theorem \#:
\begin{proof}
Insert proof here.
\end{proof}
\end{document}%