Passive voice is much more difficult to symbolize that active voice.
Suppose the domain is the set of non-negative integers.
‘Some number is divisible by every number’: .
‘Every number is divides some number:
Now on the domain the first statement is false, no number is divisible by zero.
But on that domain the second statement is true, 1 divides every number.