"Is F irreducible?"
true
"Value of F on hypersurface"
0