SMS app to mass delete texts based on starting number?

[slag]

I get tons of pages a day from work and the number varies due to how their paging works, but they all start with the same first 4 digits. It slows my messaging app down horribly. I'd like to find a way to search through all my messages with a 3rd party app and delete all texts that come from XXX or 1234 for example. Anyone heard of such an app? I have an android 9 device and use the stock messaging app for SMS messages.