2*(A056855(n))/(phi(n)*n)

[Leroy Quet]

In sequence A056855 we have:

Product [k] *sum[1/k], where both the product and the sum are over those 
positive integers k, where k <= n and GCD(k,n) = 1.

1,1,3,4,50,6,1764,176,4968,300,...

Now, if we take the sequence

2 * (A056855(n)) /(phi(n)*n)

we have

2, 1, 1, 1, 5, 1, 84, 11, ...

(And this sequence is not in the EIS, but I am submitting the few terms 
above.)

(phi() is the Euler phi function.)

I asked this question years ago, but is
2 * (A056855(n)) /(phi(n)*n)
always an integer?

I conjecture it is.

Regarding EIS etiquette:
And what about sequences only conjectured to be completely of integers?
Should they be submitted to the EIS with a note that there might be 
nonintegers in the sequence at some point?

thanks,
Leroy Quet