let algebra-sqineq-36azm9asqle36zsq = `!z:real a:real. &36 * (a * z) - &9 * a pow 2 <= &36 * z pow 2`;;