02 `>=`(`+`(x, `/`(`*`(20), `*`(`+`(x, 6)))), 6).