I guess I'm a simpleton, I always preferred a theorem stated memorably:
Theorem 1. Even numbers are interesting.
Theorem 2. If $x$ is an even number, then $x$ is interesting.
...which is long-winded; or...
Theorem 3. Given an even number $x$, $x$ is interesting.
Theorem 3 also has odd consonance (writing "...$x$, $x$ is ..." seems like bad style).
Theorem 4. For all even numbers $x$, we have $x$ be interesting.
This also suffers from peculiar consonance ("we have $x$ be interesting" is quite alien, despite being proper grammar).
Theorem 1 has a quick and succinct enunciation ("Even numbers are interesting"), the proof can begin with a specification "Let $x$ be an even number. Then [proof omitted]."
Also we see theorem 1 has additional merit: it avoids needless symbols.
There is one warning I should give: each theorem is different. Some theorems can be stated beautifully without symbols (e.g., theorem 1). Others cannot be coherently stated without symbols. There is not "iron law" on how theorems should be formulated; it's a case-by-case problem.