DO NOT use a voltage divider circuit as a power supply, certainly not for a device like a satellite radio receiver. That is horrible advice. For one, you simply can not figure out the necessary resistors without knowing the operating resistance of the "load" which is your sirius receiver. My experience with satellite radios is that they consume quite a bit of power, far more than a negligible amount. Even if you knew what that resistance was and could calculate the necessary ratio to come up with a 5V output, it would be a terribly inefficient power supply as it would shunt quite a bit of current down the drain. Then comes voltage; voltage divider circuit are very sensitive to varying loads. Different stations alone could impart a change in current draw. With each change in current, the voltage will likewise shift. Most digital circuits require a stable 5V supply. You simply won't get it with a voltage divider circuit unless it is used to power, for example, a transistor bias circuit which consumes in the milliamps. Do some research on voltage divider power supply first, you'll find this to be true. A far better solution is to simply devise a voltage regulator circuit instead. This can drop the voltage safely from 12V (or almost anything a boombox can provide) to 5V and provide a stable supply at that. You can use either a simple voltage regulator IC (i.e. 7805) which requires only a modest number of complimentary support components or buy an off the shelf "buck converter regulator." These are small postage stamp sized regulator modules that you can get on ebay for only a few dollars. The IC regulator is a simpler circuit and more reliable with low noise compared to the buck converter regulator which being a switching circuit could potentially introduce noise. On the other hand, buck converters are cheap, requires no designing on your part, and simple to integrate into your circuit.
Lastly. You can test voltage in a divider circuit with a meter. Just keep in mind that actual voltage will change once a load is placed into the circuit. For example, if you test a voltage divider circuit with no load and come up with 5v, watch as the voltage drops way way down the moment you connect the radio, perhaps even to zero. You can reduce this effect by using low value resistors, but they will shunt a lot of current to ground, and the lower the resistance rating, the higher the resistor wattage. Have you seen how large 1w, 2w, 5w resistors are? In any case, regardless of resistor value, unless the draw is tiny and the resistors are extremely low value, the radio will always cause the supply voltage to drop once connected. However, if you have a voltage regulator circuit that is suitably sized (amps), the output voltage will always be maintained spot on regardless of current consumption as long as consumption is within range of the regulator. If you decide to use a voltage regulator, keep in mind that many regulators will not be stable without a load. Therefore, it is recommended to maintain a small load which you can add by using a resistor to ground, about 1.5k to 2k should do it. This will provide somewhere around 1.5 - 2.0 mA of load to maintain stability. To be sure, you can always look up the regulators datasheet.