[math-fun] Integer sequence True or False?

If a sequence of integers is periodic modulo every positive integer, then it obeys a linear or bilinear recurrence with constant coefficients. E.g., if s(n):= somos4(n)^2, then - 4 s(n - 6) s(n - 1) + 29 s(n - 5) s(n - 2) + 116 s(n - 4) s(n - 3) s(n) = -------------------------------------------------------------------- s(n - 7) --rwg IN REALITY LINEARITY IMPERIALIST PRIMALITIES