It seems there is a mix up of equals between:-
assignment equals [shift]: shown as a colon plus equal sign
comparison equals [ctrl]= shown as a bold equal sign.
Solve blocks are sensitive to values used as guesses so trial and error is often necessary.
Here is one solution after changing some comparison equals to assignment equals to define functions.
Prime 9 file enclosed: