On the complexity of quantified linear systems