The answer seems to be yes by
Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
by Kevin Woods, John Goodrick, and Tristram Bogart. DOI:10.19086/da.1254v2
The solution to your specific problem may have been known earlier, see the references [2,3] in the linked paper.