\batchmode
\documentstyle[alltt]{article}
\makeatletter

\topmargin 0.9 in                                   \textheight 7.3 in        \textwidth  5.25 in       \oddsidemargin  0.5 in    \evensidemargin 0.5 in    \marginparwidth 1 in      \parindent 0.25 in        

\newcommand{\ip}[1]{{\it #1}}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\begin{document}
\pagestyle{empty}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\newpage

{\samepage \clearpage $n$
}


\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\newpage

{\samepage \clearpage \begin{alltt}?- {\it d( x^2, x, Result ).}
Result = 2 * 1 * x ^ (2 - 1)
\end{alltt}
}


\newpage

{\samepage \clearpage \begin{alltt}?- {\it d( x^2, x, Result ), simp( Result, SimplifiedResult ).}
Result = 2 * 1 * x ^ (2 - 1)
SimplifiedResult = 2 * x
\end{alltt}
}


\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\newpage

{\samepage \clearpage $N$
}


\newpage

{\samepage \clearpage $F$
}


\newpage

{\samepage \clearpage $L$
}


\newpage

{\samepage \clearpage $L1$
}


\newpage

{\samepage \clearpage \begin{alltt}(1) \(\mbox{fib}(N)=F\).
(2) \(L1 = \{ (N',\mbox{fib}(N')) \mid N' \epsilon \{1 \ldots N \} \} \).
(3) \(L \subset L1\).
\end{alltt}
}


\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\newpage

{\samepage \clearpage $x=\cos(y/2)$
}


\newpage

{\samepage \clearpage $y=2 \arccos(x)$
}


\stepcounter{section}
\newpage

{\samepage \clearpage $\log(x+1) + \log(x-1) = c$
}


\newpage

{\samepage \clearpage $\log(x+1)(x-1) = c$
}


\newpage

{\samepage \clearpage $\log (x^2-1) = c$
}


\newpage

{\samepage \clearpage $x^2-1 = e^c$
}


\newpage

{\samepage \clearpage $x^2 = e^c + 1$
}


\newpage

{\samepage \clearpage $x = \pm \sqrt{e^c + 1}$
}


\newpage

{\samepage \clearpage $x$
}


\stepcounter{section}
\stepcounter{section}

\end{document}
