Solve {l}{cos(2x)=0}{y=sin(2x)-1}{z=y}{a=z}{b=a}{text{Solvefor}ctext{where}}{c=b}

$$\left. \begin{array} { l } { \cos(2 x) = 0 }\\ { y = \sin(2 x) - 1 }\\ { z = y }\\ { a = z }\\ { b = a }\\ { \text{Solve for } c \text{ where} } \\ { c = b } \end{array} \right.$$

Solve for x, y, z, a, b, c

$$x\in \cup n_{1},\frac{\pi n_{1}}{2}+\frac{\pi }{4}$$

$$\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{2}\in \mathrm{Z}\text{ : }n_{1}=2n_{2}\right)\right)\right)\right)\right)\text{ and }\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }b=0\text{, }a=\left(-1\right)^{n_{1}}-1\text{ and }z=0\right)\right)\right)\right)\right)\text{, }\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }z=\left(-1\right)^{n_{1}}-1\right)\right)\right)\right)\text{ and }\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }b=\left(-1\right)^{n_{1}}-1\right)\right)\text{ and }\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{2}\in \mathrm{Z}\text{ : }n_{1}=2n_{2}\right)\right)\right)\right)\right)\right)\right)\text{ and }\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{2}\in \mathrm{Z}\text{ : }n_{1}=2n_{2}\right)\right)\text{ and }\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{1}\in \mathrm{Z}\text{ : }\left(\exists n_{2}\in \mathrm{Z}\text{ : }n_{1}=2n_{2}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\text{, }n_{1}\in \mathrm{Z}\text{, }y=0\text{, }c=0\text{ and }a=0\text{ and }z=0$$