can the square root of 12 times tan pi over three be written as the quotient of two integers?
tan( pi / 3 ) = sqrt( 3 )
So, the answer is "no."
