symbols builds unknowns. Eq is an equation, not assignment.

Goal

Build x, y and print an Eq.

import sympy as sp
x, y = sp.symbols('x y')
print(x + y)
print(type(x))

import sympy as sp
x = sp.symbols('x')
print(sp.Eq(x ** 2, 4))

import sympy as sp
n = sp.symbols('n', integer=True, positive=True)
print(n.assumptions0)

import sympy as sp
t = sp.symbols('t')
print(sp.Eq(2 * t, 10))