ΔE 15.6, loose: different enough that you should pick on purpose. Devil Red is a little darker, more saturated, cooler than Coral.
Not as a straight swap; see the closer alternatives below. Loose match (ΔE 16). Devil Red is a little darker, more saturated, cooler than Coral.
The same difference applies the other way round: Coral is a little lighter, more muted, warmer.
ΔE is the colour difference between our two swatch estimates: under about 6 is close, over about 15 is loose. Real paints also differ in finish, coverage and how they thin, so test before you commit.
See Coral on the colour wheel See Devil Red on the colour wheel
All matches: Coral equivalents · Devil Red equivalents