<s>[INST] The sum of the interior angles of a polygon with n sides is given by the formula $180(n-2)$. If 15 different polygons have a total of 2030 degrees, what is the average number of sides these polygons have?[/INST]