Jose types 5 pages in the same amount of time that Betzaida types 7.5 pages. How many
pages can Jose type if Betzaida types 15?