-3 = x/4 + 5 using replacement set {-32, 8,32}