Input System:
  VAR
    a ~ 0.5,
    b ~ 1,
    c ~ -1
  IN
    a = b * b AND
    a = c * c AND
    b = 1 + c
  -> SKIP
  END
Solution Found:
  a = 0.25
  b = 0.5
  c = -0.5