We call a positive integer $n$ $\textit{sixish}$ if $n=p(p+6)$, where $p$ and $p+6$ are prime numbers. For example, $187=11\cdot17$ is sixish, but $475=19\cdot25$ is not sixish. Define a function $f$ on the positive integers such that $f(n)$ is the sum of the squares of the positive divisors of $n$. For example, $f(10)=1^2+2^2+5^2+10^2=130$.

(a) Find, with proof, an irreducible polynomial function $g(x)$ with integer coefficients such that $f(n)=g(n)$ for all sixish $n$. ("Irreducible" means that $g(x)$ cannot be factored as the product of two polynomials of smaller degree with integer coefficients.)

(b) We call a positive integer $n$ $\textit{pseudo-sixish}$ if $n$ is not sixish but nonetheless $f(n)=g(n)$, where $g(n)$ is the polynomial function that you found in part (a). Find, with proof, all pseudo-sixish positive integers.
1. **Part A: Finding the Irreducible Polynomial \( g(x) \)**

   We need to find an irreducible polynomial \( g(x) \) such that \( f(n) = g(n) \) for all sixish \( n \). By definition, a sixish number \( n \) can be written as \( n = p(p+6) \), where \( p \) and \( p+6 \) are prime numbers. The divisors of \( n \) are \( 1, p, p+6, \) and \( p(p+6) \). Therefore, the function \( f(n) \) which sums the squares of the divisors of \( n \) is given by:

   \[
   f(n) = 1^2 + p^2 + (p+6)^2 + (p(p+6))^2
   \]

   We need to express \( p \) in terms of \( n \). Note that:

   \[
   n = p(p+6) = p^2 + 6p
   \]

   Solving for \( p \):

   \[
   p^2 + 6p - n = 0
   \]

   Using the quadratic formula:

   \[
   p = \frac{-6 \pm \sqrt{36 + 4n}}{2} = -3 \pm \sqrt{9 + n}
   \]

   Since \( p \) is a positive integer, we take:

   \[
   p = \sqrt{n + 9} - 3
   \]

   Substituting \( p \) back into the expression for \( f(n) \):

   \[
   f(n) = 1 + (\sqrt{n+9} - 3)^2 + (\sqrt{n+9} + 3)^2 + n^2
   \]

   Expanding and simplifying:

   \[
   (\sqrt{n+9} - 3)^2 = n + 9 - 6\sqrt{n+9} + 9 = n + 18 - 6\sqrt{n+9}
   \]

   \[
   (\sqrt{n+9} + 3)^2 = n + 9 + 6\sqrt{n+9} + 9 = n + 18 + 6\sqrt{n+9}
   \]

   Adding these together:

   \[
   f(n) = 1 + (n + 18 - 6\sqrt{n+9}) + (n + 18 + 6\sqrt{n+9}) + n^2
   \]

   \[
   f(n) = 1 + n + 18 + n + 18 + n^2 = n^2 + 2n + 37
   \]

   Therefore, the irreducible polynomial \( g(x) \) is:

   \[
   \boxed{g(x) = x^2 + 2x + 37}
   \]

2. **Part B: Finding Pseudo-Sixish Numbers**

   A pseudo-sixish number \( n \) is a number that is not sixish but still satisfies \( f(n) = g(n) \). We need to find all such numbers.

   From part A, we have:

   \[
   f(n) = n^2 + 2n + 37
   \]

   We need to check if there are any non-sixish numbers \( n \) such that \( f(n) = n^2 + 2n + 37 \).

   **Case I: \( n \) has one prime factor**

   If \( n = p^k \) where \( p \) is a prime and \( k \) is a positive integer:

   - If \( k = 1 \), \( n = p \) is prime. Then \( f(n) = 1 + p^2 \neq p^2 + 2p + 37 \).
   - If \( k = 2 \), \( n = p^2 \). Then \( f(n) = 1 + p^2 + p^4 + p^2 = 1 + 2p^2 + p^4 \neq p^4 + 2p^2 + 37 \).
   - If \( k = 3 \), \( n = p^3 \). Then \( f(n) = 1 + p^2 + p^4 + p^6 \neq p^6 + 2p^3 + 37 \).

   **Case II: \( n \) has two distinct prime factors**

   If \( n = p_1^{k_1} p_2^{k_2} \):

   - If \( k_1 = k_2 = 1 \), \( n = p_1 p_2 \). Then \( f(n) = 1 + p_1^2 + p_2^2 + (p_1 p_2)^2 \neq (p_1 p_2)^2 + 2(p_1 p_2) + 37 \).

   **Case III: \( n = 27 \)**

   For \( n = 27 \):

   \[
   f(27) = 1^2 + 3^2 + 9^2 + 27^2 = 1 + 9 + 81 + 729 = 820
   \]

   \[
   g(27) = 27^2 + 2 \cdot 27 + 37 = 729 + 54 + 37 = 820
   \]

   Therefore, \( 27 \) is a pseudo-sixish number.

   After checking all possible cases, we find that \( 27 \) is the only pseudo-sixish number.