Em uma repartição pública, há 30 computadores, alguns têm instalado o sistema operacional Windows e outros têm instalado o sistema operacional Linux. Sabe-se que o número de computadores com o sistema operacional Windows é 50% maior em relação ao número de computadores com o sistema operacional Linux. Quantos computadores têm instalado o sistema operacional Linux, sabendo-se que cada computador tem um único sistema operacional?