Let with the relations

: for every there exists such that

True or False

the problem is made up by me and i have some reasons (no proof) to believe that it is true!

note that if at least one of three variables does not appear in then the statement is trivially true.

this could be a good undergraduate project - or maybe it's too hard?