>>282

それは無理ですね．自分で数式処理するか，CLPを使うかですね．

SICStus Prologでは，以下のようになりました．

?- use_module(library(clpfd)).
?- 4 * (2 - 2 * X) + 8 * X #= X / 2 + 6.
X in 4..5 ?

Xは，4または5だそうです．
良く見ると，いじわるな問題ですね．