let mathd-algebra-113 = `!x. x pow 2 - &14 * x + &3 >= &7 pow 2 - &14 * &7 + &3`;;