Text this: On the symbolic manipulation for the cardinality of certain degree polynomials