<s>[INST] Solve $x^2+5x+6 \equiv 0 \pmod{\!11\cdot 17}$ Solve $x^2+5x+6 \equiv 187 \mod 187$
Solution
$$x^2+5x+6 \equiv 187 \mod 187$$
$$ (x+\frac{5}{2})^2 \equiv \frac{1}{4}$$
$$ 4(x+\frac{5}{2})^2 \equiv 1$$
$$ y:= x+\frac{5}{2} $$
$$ 4y^2 \equiv 1 \mod 11 \wedge 4y^2 \equiv 1 \mod 17  $$
$$ ( 2y \equiv 1 \mod 11 \vee 2y \equiv 10 \mod 11 ) \wedge ( 2y \equiv 1 \mod 17  \vee 2y \equiv 13 \mod 17)  $$
$$ ( y \equiv 6 \mod 11 \vee y \equiv 5 \mod 11 ) \wedge ( y \equiv 9 \mod 17  \vee y \equiv 15 \mod 17)  $$
Combining that from CRT I got:
$$ y \in \left\{49, 60,83,94 \right\} $$
and for example:
$$ x+\frac{5}{2}  \equiv 94 \mod 187$$
$$ 2x  \equiv 183 \mod 187$$
some calculus and get...
$$x \equiv 185 $$
And the same thing for each other case.
Question
Is there any faster (or smarter) way to solve equations like that?
 [/INST] $$x^2+5x+6\equiv187\equiv0 \pmod {187=11\times17}$$
$$(x+2)(x+3)\equiv 0 \pmod {11  , 17}$$
$$x\equiv-2 \text { or } -3 \pmod {11, 17}$$
Now use the Chinese Remainder Theorem.
</s>