Skip to main content
2 of 2
added 116 characters in body

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.