\documentclass[12pt]{article}
\newcommand{\PS}{ExponLog}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage[T1]{fontenc}
\usepackage[sc]{mathpazo}
\usepackage{fancyhdr}
\usepackage{boxedminipage}
\usepackage{polynom}
\usepackage{asymptote}
\usepackage{wrapfig}
\usepackage{enumerate} % Lets me letter questions.
\usepackage{arcs} % For circular arc symbol
%\usepackage{showkeys}
\newtheorem{theorem}{Theorem}
\newenvironment{proof}{\textbf{Proof:} }{}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{observation}[theorem]{Observation}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{assumption}[theorem]{Assumption}
\newcounter{exercise}[subsection]
\newcounter{problem}
\newcounter{solution}
\newcommand{\TODO}[1]{}
\newenvironment{exercise}{\begin{center}\par\smallskip \begin{boxedminipage}{.95\textwidth}\refstepcounter{exercise}\textbf{Exercise \arabic{section}.\arabic{subsection}.\arabic{exercise}:}\par}{\end{boxedminipage}\bigskip\end{center}}
\renewcommand{\theexercise}{\arabic{section}.\arabic{subsection}.\arabic{exercise}}
%\newenvironment{sproblem}{\noindent\textbf{Problem: }}{\par\bigskip}
\newenvironment{sproblem}{}{}
\newenvironment{problem}{\addtocounter{problem}{1}\noindent\textbf{Problem \arabic{problem}: }}{\par\bigskip}
\newenvironment{solution}{\addtocounter{solution}{1}\noindent\textbf{Solution \arabic{solution}: }}{\par \bigskip}

\pagestyle{fancy}
\rhead{EXPONENTS and LOGARITHMS}
\begin{document}
\input{OCW\PS}
\end{document}