Is 3 times the square root of 15 divided by 3 simplified?