Noncommutative symmetric algebras of two-sided vector spaces First-order definability and algebraicity of the sets of annihilating and generating collections of elements for some relatively free solvable groups. 