(((p&(q/-q))-->r)&r-->(s/t))&(t-->s)&s-->u)&(u-->v/x)&p)-->(v/x)

Is this correct? Answer yes or no.
Answer here