\documentclass[12pt]{article}

\usepackage[margin=0.5in,top=0.7in,dvips]{geometry}
\usepackage{fancyhdr,lastpage}
\usepackage{amsmath,amsthm}
\usepackage{tikz}
\usepackage{multirow}
\usepackage{substr}
\usepackage{pgfplots}

\makeatletter
\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
  \hskip -\arraycolsep
  \let\@ifnextchar\new@ifnextchar
  \array{#1}}
\makeatother

% Include "solution" in your filename to make sure the right mode is
% used below.

\IfSubStringInString{\detokenize{solution}}{\jobname}{%
  % Solutions
  \newcommand\qfill{}
  \newcommand\qpage{}
  \newcommand\qonly[1]{}
  \newcommand\answer[1]{#1}
  \newcommand\question[1]{{\em #1}}
}
{%
  % Problems
  \newcommand\qfill{\vfill}
  \newcommand\qpage{\newpage}
  \newcommand\qonly[1]{#1}
  \newcommand\answer[1]{}
  \newcommand\question[1]{#1}
}

\pagestyle{fancy}
\lhead{MATH 311--01}
\chead{Problem of the Day\answer{ solution}}
\rhead{}
\lfoot{}
\cfoot{\answer{Page \thepage\ of \pageref{LastPage}}}
\rfoot{due Thursday, September 4, 2014}

\begin{document}
\question{The following set of premises are adapted from a logic puzzle devised by Lewis Carroll:
  \begin{enumerate}
  \item The only articles of food that my doctor allows me to eat are not very rich.
  \item Nothing that agrees with me is unsuitable for supper.
  \item Wedding cake is always very rich.
  \item My doctor allows me to eat all articles of food that are
    suitable for supper.
  \end{enumerate}
  Let $U$ be the set of all foods, and the propositions $P(x)$,
  $Q(x)$, $R(x)$, $S(x)$, and $T(x)$ be respectively the claims ``food
  $x$ agrees with me'', ``food $x$ is allowed by my doctor'', ``food
  $x$ is suitable for supper'', ``food $x$ is very rich'', and ``food
  $x$ is wedding cake''. In terms of these named propositions, write
  all four premises symbolically with universal or existential
  quantifiers.

  Taking these premises to be true, if a particular item of food is a
  wedding cake, what else can be said about it?}

\answer{
  
}
\end{document}