P6123 [NEERC 2016] Hard Refactoring

对于一个变量 $x$，给出一些约束条件，形如 $x \geq a$，$x \le a$ 这些约束条件之间用```||```连接，然后你需要将这些约束条件简化，最后输出简化后的约束条件。

输入不超过 $10^3$ 行，每行要么是两个用 ```&&``` 连接的约束条件，要么就是单个的约束条件。 如果一行有两个约束条件，第一个约束条件总是 $x \geq a$ 的形式，第二个约束总是 $x \leq a$ 的形式。 除了输入的最后一行，每一行末尾都有一个 ```||```。 并且所有的字符（除了`>=`，`

输出若干行，表示最简的约束条件的形式（也就是使输出的行数尽量少），其余格式与输入格式保持一致。 输出的若干行可以不按照特定的顺序输出。 特别地，如果对于任意的 $x∈[-32768,32767]$，$x$均能满足约束条件，仅输出一行```true```，反之，若对于任意的 $x∈[-32768,32767]$，$x$均不能满足约束条件，仅输出一行```false```。

对于所有在这一题中出现的数字（包括 $x$），都$\ge -32768$（$-2^{15}$） 且 $\le 32767 $（$2^{15}-1$）。