We prove that there exist bipartite, biregular Ramanujan graphs of every degree and every number of vertices provided that the cardinalities of the two sets of the bipartition divide each other. This generalizes the main result of Marcus, Spielman, and Srivastava [14] and, similar to theirs, the proof is based on the analysis of expected polynomials. The primary difference is the use of some new machinery involving rectangular convolutions, developed in a companion paper [5]. We also prove the constructibility of such graphs in polynomial time in the number of vertices, extending a result of Cohen [8] to this biregular case.