LaTeX converter bug

[kidherofun]

Litex code:

"""
To solve the system of equations:
2x + 3y = 10
4x + 5y = 14
"""

let x R, y R:
    2 * x + 3 * y = 10
    4 * x + 5 * y = 14

2 * (2 * x + 3 * y) = 2 * 10 = 4 * x + 6 * y
y = (4 * x + 6 * y) - (4 * x + 5 * y) = 2 * 10 - 14 = 6
2 * x + 3 * 6 = 10
2 * x + 18 - 18 = 10 - 18 = -8
x = (2 * x) / 2 = -8 / 2 = -4

LaTeX code:

\documentclass{article}

\usepackage{amsthm}
\usepackage{amssymb}

\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem{assumption}{Assumption}
\newtheorem{example}{Example}
\newtheorem{checkFacts}{Check}
\newtheorem{claim}{Claim}
\newtheorem{proveCaseByCase}{Prove Case By Case}
\newtheorem{proveOverFiniteSet}{Prove Over Finite Set}
\newtheorem{proveByMathInduction}{Prove By Math Induction}
\newtheorem{import}{Import}

\begin{document}

To solve the system of equations:
2x + 3y = 10
4x + 5y = 14
"""

\begin{definition}[Object(s)]
$x$ $\in$ $\mathbb{R}$, $y$ $\in$ $\mathbb{R}$. Assume object(s) satisfy: $2$ $*$ $x$ $+$ $3$ $*$ $y$ = $10$, $4$ $*$ $x$ $+$ $5$ $*$ $y$ = $14$.
\end{definition}

\begin{checkFacts} We check:

The following objects are equal: $2$ $*$ $2$ $*$ $x$ $+$ $3$ $*$ $y$, $2$ $*$ $10$, $4$ $*$ $x$ $+$ $6$ $*$ $y$.

The following objects are equal: $y$, $4$ $*$ $x$ $+$ $6$ $*$ $y$ $-$ $4$ $*$ $x$ $+$ $5$ $*$ $y$, $2$ $*$ $10$ $-$ $14$, $6$.

$2$ $*$ $x$ $+$ $3$ $*$ $6$ = $10$

The following objects are equal: $2$ $*$ $x$ $+$ $18$ $-$ $18$, $10$ $-$ $18$, $-1$ $*$ $8$.

The following objects are equal: $x$, $2$ $*$ $x$ $\div$ $2$, $-1$ $*$ $8$ $\div$ $2$, $-1$ $*$ $4$.\end{checkFacts}

\end{document}

There is some issue in converter when processing multi-line comment.