Во дворе стоит 9 красных машин, а синих машин в 3 раза меньше, чем красных. Сколько синих машин стоит во дворе?