### Can I define a symbolic equation where the variables are concatenating?

Hi,
Can I define a symbolic equation with variable concatenating?

For example:

let $x \in \mathbb{F}_2$

How can I define the following equation:

$11111x1111 = 2*x + 2$

where the x is a digit in the left number.

(The obvious way is by taking the binary exression of that number i.e $\Sigma_{i=0}^{i=n}2^ib_i$)