My question is can I perform elimination or projection without using
Polyhedraand get aJuMPmodel w.r.t.x?
No. JuMP does not contain any built-in functionality for presolve or simplification routines that would project out a subset of the decision variables.