I don't think you can really decrypt your formula because the remainder of a number divided by 10 can change. However, you can list the possibilites of the decrypted formula, since you know that 0 will give seven, 1 will give nine, 2, will give one, etc.
For example, 9135 could decrypt to:
1234
1239
1284
1289
... and so on.