#!/usr/bin/python

import sys
from z3 import *
import math

filename = sys.argv[1]
file = open(filename, 'r')
num = file.read(1)
x = float(num)

s = Solver()
s.add(x.is_integer())

print s.check()

06e4a028e8dd877a5314e4a680b4209ec969312a
#!/usr/bin/python

import sys
from z3 import *
import math

filename = sys.argv[1]
file = open(filename, 'r')
num = file.read(1)
x = float(num)

s = Solver()
s.add(x.is_integer())

print s.check()
