The three digits of a number add up to 20

The three digits of a number add up to 20. The number is divisible by 5. The leftmost digit is double the middle digit. What is the product of the three digits?

This problem repeats another one in the library (at most with different numbers), so it's left out of browsing.

AQuA-RAT — Algebra Question Answering with Rationales (Ling et al., DeepMind, 2017) · train #86766