%%% Preamble starts here.
\documentclass{math215}

% Include any special packages you might use.  Uncomment the
% following to use Times as the default font insteand of
% TeX's default font of Computer Modern.
\usepackage{times,txfonts}

% The following commands set up the material that appears
% in the header.
\doclabel{Math 215: Homework 6}
\docauthor{Your name here}
\docdate{March 1, 2013}

% I've provided a file (math215extras.tex) with some commonly used extra 
% commands. If you've downloaded it, you can include it in your document
% by uncommenting the line below.  Feel free to make changes to that file.
\input{math215extras.tex}

%%%% Main document starts here.

\begin{document}

\begin{project}{2.35} Compute $\gcd(4,6)$, $\gcd(7,13)$, $\gcd(-4,10)$
  and $\gcd(-5,-15)$.  You do {\bf NOT} have to prove that you have
  found the $\gcd$.  Instead, show that the number you think of as $\gcd(a,b)$
belongs to the set $S_{a,b}$, and exhibit a couple of other elements of 
$S_{a,b}$. In all cases you should exhibit the integers $x$ and $y$ in the definition of the $\gcd$.
\end{project}

\begin{project}{3.1} Express each of the following statements
  using quantifiers.
  \item[(i)] There exists a smallest natural number.
  \item[(ii)] There does not exist a smallest natural number.
  \item[(iii)] Every integer is the product of two integers.
  \item[(iv)] The equation $x^2-2y^2=3$ has an integer solution.
\end{project}

\begin{project}{3.7} Negate each of the following statements
  \item[(i)] Every cubic polynomial has a real root.
  \item[(ii)] $G$ is normal and $H$ is regular.
  \item[(iii)] $\exists ! 0$ such that $\forall x$, $x+0=x$
  \item[(iv)] The newspaper article was neither accurate nor entertaining.
  \item[(v)] If $\gcd(m,n)$ is odd then $m$ or $n$ is odd.
  \item[(vi)] $H/N$ is a normal subgroup of $G/N$ if and only if $H$ is a normal subgroup of $G$
  \item[(vii)] For each $\epsilon>0$, there exists $N\in\Nats$ such that
  for all $n\ge N$, $|a_n-L|<\epsilon$
\end{project}
\end{document}