Is the following language context-free?
$$ \{u\#v\in\Sigma^* \mid u\not=v \text{ and } u,v\in\{0,1\}^*\} $$
You can assume $\{0,1,\#\}\subseteq\Sigma$.
Unnecessary background information: I am grading papers, and a student cited that this language is context-free to state that it is decidable. My intuition says that the language is not context free, but if someone could confirm this for me or even point me to a proof, that would be fantastic.
