In addition to saving you time, you’ll have a professional working on your finance project. The truth value of formulas of Skolem arithmetic can be reduced to the truth value of sequences of non-negative integers constituting their prime factor decomposition, with multiplication becoming point-wise addition of sequences. From Feferman-Vaught theorem for first-order logic, the truth value of a first-order logic formula over sequences and youtu.be pointwise addition on them reduces, in an algorithmic way, to the truth value of formulas in the theory of elements of the sequence with addition, which, in this case, is Presburger arithmetic.
Benvenuto!
