Text this: On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories