Является ли решением неравенства \(2x+3\gt 6x-17\) значение \(x\), равное 4?

После решения неравенства получим \(x \square \square\).

Значение \(x\), равное 4, [является|не является] решением неравенства.