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.