
Let o = -0.36 - 5.64.  Does -2 = o? 
False
Let k be (-331)/2680 + (-19)/(-152).  Is k > 0? 
True
Let h be 18/15*20/(-3).  Let n = 10 + -18.  Is h not equal to n? 
False
Let n(p) = p**2 - 17*p - 14.  Let k be n(18).  Let w(t) = -2*t**2 + 8*t + 2.  Let j be w(k).  Suppose -r - 1 = 1.  Are r and j nonequal? 
True
Suppose n = -3*n + 8.  Let g(k) = -2*k**2 - 26*k - 24.  Let d be g(-12).  Are n and d unequal? 
True
Let w be 304/190 - (-4)/10.  Which is bigger: w or -3.4? 
w
Let b be 1300/(-6) - 42/(-63).  Which is smaller: -217 or b? 
-217
Suppose -2*o - 2*b + 2 = 0, 0*b = -b.  Let q be 9*(1 - (-12)/(-15)).  Is o smaller than q? 
True
Let x(u) = -7*u**2 - 21*u + 76.  Let w be x(7).  Is w greater than or equal to -415? 
True
Suppose -4*c + 10*v - 5*v = -16, 3*c - 17 = 5*v.  Is -15/19 > c? 
True
Suppose 2*g - 208 = 2*q + 54, 3*g + 127 = -q.  Which is greater: -129 or q? 
-129
Let g = 10 + -17.  Let l = g + -6.  Let b = l + 17.  Which is smaller: b or 0.2? 
0.2
Let q(k) = -12*k**2 + 184*k - 29.  Let g be q(15).  Which is greater: 24 or g? 
g
Let v(t) = t**2 + 7*t + 14.  Let m be v(-4).  Suppose 0 = -m*i + 4*i - 0*i.  Which is bigger: i or -4? 
i
Suppose -5 = 10*x + 5.  Let p be ((-11)/(-3))/((4 + x)/9).  Are p and 11 nonequal? 
False
Let i(x) = 1 + x + 1 + 3.  Let o be i(-4).  Let k = -69 - -66.  Which is smaller: o or k? 
k
Let d = 8 + -32.  Let a = d - -23.  Which is smaller: 1 or a? 
a
Suppose a - 24*a = 6141.  Which is bigger: -269 or a? 
a
Let d = 5 + -2.  Let f be 0/(12/((-12)/d)).  Suppose 0*i + 4*i + 8 = f. Which is bigger: i or 0? 
0
Suppose -w - 29 = -5*l - 4*w, -w = -4*l + 13.  Let x = -146 + 152.  Which is greater: x or l? 
x
Let b = 35 - 40.3.  Is b at least -2/7? 
False
Let v = 3.96 - -0.04.  Let n = v - 3.7.  Let g be -3 + (-664)/(-220) - (-8)/44.  Which is greater: g or n? 
n
Let t = -315443/109 + 2894.  Let n = 12/95243 + 7511117/103814870.  Let s = t + n. Is -1 < s? 
True
Let z be (-318)/(-4)*13/(-117).  Is -9 smaller than z? 
True
Let w = -11 - -3.  Let l be (4/w)/(3/6).  Are l and 3/37 non-equal? 
True
Suppose -2*b = b - 9, -4 = 2*z + 2*b.  Which is bigger: z or -4? 
-4
Suppose -2*f - 45 = 3*f.  Let n(k) = -k**3 - 11*k**2 - 16*k + 10.  Let m be n(f).  Are m and -7 non-equal? 
True
Let w = 82 - 29.  Let g = 52.9 - w. Which is smaller: g or -0.7? 
-0.7
Suppose 0*j + 12 = 2*j - f, -5*f - 10 = 0.  Suppose -4*i = -2*i - j*i.  Is i < 0? 
False
Let m = 2/17035 - 395214/17035.  Is -22 at most as big as m? 
False
Let w(i) = 3*i - 20.  Let u be w(7).  Let t = 1.2 - 0.7.  Let h = t - 1.  Which is bigger: h or u? 
u
Let i(c) = 2*c**2 - c. Let t be i(-2).  Which is greater: 51/5 or t? 
51/5
Let n(q) = 4*q - 2.  Let j be n(1).  Suppose -2*x + x = 0.  Suppose -1 = -x*h - h. Is j at least as big as h? 
True
Let k = 3079/5665 + 1/515.  Let t(i) = i - 3.  Suppose -3*q = -q + 2*l - 18, -4*q + 1 = -3*l.  Let c be t(q).  Is k >= c? 
False
Let k(f) = -2*f**2 + f. Let n be k(4).  Let c be n/(-42) - (-8)/(-3).  Which is bigger: -16/9 or c? 
-16/9
Let f = -37 + 63.  Let s = f - 32.  Is -0.5 less than or equal to s? 
False
Let t = 6.534 + 0.066.  Let h = -13.6 + t. Let w = -0.1 - -0.1.  Which is greater: w or h? 
w
Suppose -3*f - 2 - 4 = 0.  Let c be (-6)/(-18) + f/6.  Suppose -3*l - 4 + 1 = c. Is l > 2? 
False
Let c be 1 + -2 + (-15 - -693) - 2.  Which is smaller: c or 676? 
c
Let y = -0.4 - -1.  Let j = -2.61 + 1.91.  Let g = y + j. Which is smaller: g or -3/7? 
-3/7
Let n = -2428 + 4965/2.  Is n equal to 0? 
False
Let h = -878.7 + 879.  Let j = 0.43 - 0.4.  Is h >= j? 
True
Let m = 184049/56 - 3287.  Is -1 less than or equal to m? 
True
Let i(k) = 6*k - 7.  Let w(a) = 3*a - 4.  Let t(r) = -4*i(r) + 7*w(r).  Let y be t(-1).  Let q = -3 - -7.  Which is greater: y or q? 
q
Let o(b) = -9 + 4 - b**2 + 14 - 28*b + 18.  Let g be o(-28).  Are g and 27 equal? 
True
Let n be 10/30*((-256)/(-14) + 4).  Do 6 and n have the same value? 
False
Let i(l) = 40*l + 353.  Let q be i(-9).  Suppose -3*j = -8*j + 25.  Suppose 0*n + j*n + 35 = 0.  Are n and q nonequal? 
False
Let o be 16/(-80) + (-27)/(-10) + -2.  Which is bigger: o or 4/105? 
o
Let m(g) = -3*g**2 + 2*g + 1.  Let w be m(3).  Let l be ((-3)/2)/((-15)/w).  Let k be (-8)/32 + l/(-10).  Which is smaller: -1 or k? 
-1
Let v(m) be the second derivative of m**4/12 - 5*m**3/2 + 5*m**2/2 + 47*m.  Let q be v(11).  Is q greater than -37? 
False
Let x be (-4)/((72/(-81))/(6/9)).  Is -95 at least x? 
False
Suppose o - 17 = 4*m, -2*o + 0*m = -m + 1.  Suppose 4*c = q - 1, c = 3*q - 4*c - 10.  Suppose -2*n = -3*r + 30 - q, 4*r = -4*n.  Which is bigger: o or n? 
o
Let n = 79 + -6.  Suppose n = -4*u - 71.  Is -37 at most u? 
True
Let t be (129/6 + 5 + -10)*-2.  Which is smaller: 3/8 or t? 
t
Let n be 2/(-5) - 160/(-275).  Suppose 2*m - 1 = -5*b - 14, 0 = -3*b - 3*m - 15.  Which is smaller: b or n? 
b
Let f = 5202 - 2392917/460.  Which is smaller: 1 or f? 
f
Let k = -249.983 + 250.  Which is bigger: -1/4 or k? 
k
Let r(y) be the second derivative of -y**4/12 + y**3/3 + 12*y.  Let v be r(0).  Let n = 3 + -2.6.  Is n >= v? 
True
Let g = 1/11 - 16/55.  Suppose -5 = -5*k - 0.  Which is smaller: g or k? 
g
Suppose 0 = -5*b + 7*b - 446.  Is 223 less than b? 
False
Let y be 8/16*(-1 + 1).  Let k(h) = h**2 + h + 3.  Let a be k(-4).  Suppose y*o - 5*o + a = 0.  Are o and 2 non-equal? 
True
Suppose -304*o = -305*o + 1.  Which is greater: 3/206 or o? 
o
Let a be 3 + -1 - (2 - 0).  Suppose -4*p - u - 5 = a, -3*u = -0 + 3.  Let x be (1 - -6) + (85/(-9) - -2).  Which is bigger: p or x? 
x
Let x = -1 - -18.  Let k(h) = -h**3 + 13*h**2 - 11*h - 6.  Let g be k(12).  Let s be 13/(-52) + g/(-40).  Which is bigger: s or x? 
x
Let i = 58 - 57.91.  Let d = i - -0.41.  Which is greater: d or 6? 
6
Let q = 962.7 + -963.  Are -33.9 and q unequal? 
True
Let x be (1 + 0)/(2 + -3).  Let o = -1 + x. Let l be -1*2*(-13)/o.  Is -12 less than or equal to l? 
False
Let b = -0.06 + 3.06.  Let l = -1.521 + -60.779.  Let m = l + 62.  Is m less than or equal to b? 
True
Let n = -4.8 + 4.41.  Let w = n - -0.59.  Is 18 >= w? 
True
Let j be -145*(-12)/(-150)*125/4.  Is j <= -362? 
True
Let h = -6 + 9.  Suppose -h*q + 1 = -4*q, g - 2*q - 5 = 0.  Suppose l = g*l.  Which is greater: 3/8 or l? 
3/8
Let z(o) = -6*o - 30.  Let b be z(-5).  Which is greater: 2/45 or b? 
2/45
Let f be ((-6)/12)/(-1 + 65/(-6)).  Suppose -2*y + 8 = -0*y - 2*g, 15 = 3*y - 4*g.  Which is smaller: f or y? 
f
Let f(o) = o - 9.  Let w = 20 + -16.  Suppose w*t - 46 + 6 = 0.  Let m be f(t).  Is m > 0.8? 
True
Let l = 2 + -2.8.  Let w = -2.2 - l. Suppose 5*y = 3*u, 3*y + 4*u - 2*u = 0.  Is w greater than y? 
False
Let g(c) = 544*c + 2721.  Let b be g(-5).  Suppose x + 105 = -0*x.  Let w = -1049/10 - x. Which is bigger: b or w? 
b
Let i = 237 - 238.  Is i at least 8/27? 
False
Suppose -9 = c - 6*u + u, u - 3 = -c.  Let v be 2/(-24)*1/(-5)*6.  Which is smaller: v or c? 
v
Suppose 3*k - 21 = 3.  Suppose k*i - 4*i = 0.  Let j = -4 + i. Are j and 2 unequal? 
True
Let y be -6 - -13 - 988/68.  Which is bigger: -8 or y? 
y
Let h = -77 + 82.  Suppose -9*m - h = -14*m.  Is 30/13 < m? 
False
Suppose 2557 = -4*g - 407.  Is -741 > g? 
False
Let p = 4.11 - 4.43.  Which is smaller: -0.3 or p? 
p
Let x = 46 + -133/3.  Let a = 51 - 155/3.  Which is greater: x or a? 
x
Let s be 2/6*3 + 14.  Let n = s - 1.  Suppose 4*j + 5*p = -0*j + n, 0 = -5*j + 3*p + 36.  Is j less than 6? 
False
Let q be (3/(-6))/(5512/(-2742) - -2).  Let x = -362/7 + q. Let t = 5 - 8.  Is x < t? 
False
Let a = 3282 - 13211/4.  Which is smaller: a or -21? 
-21
Suppose -79 = p - 23.  Let a be (-186)/p + -1 - 3.  Let l = -3/7 - a. Is 1 ! = l? 
True
Let z be -14*(2 - 1)*12/(-8).  Let f be 6/4*56/z + -1.  Is f equal to 2? 
False
Suppose -23 = -y + 23.  Let k be (y/(-6))/(2/6).  Are -20 and k nonequal? 
True
Let j(o) = -2*o**3 + 137*o**2 - 66*o - 146.  Let t be j(68).  Suppose 0 = -m + 2*p - 14, 5*m + 62 = 4*p - 2*p.  Do t and m have different values? 
True
Suppose 2*v + 2*p = 256, 4*v + 0*p = p + 537.  Let n = 82509 - 909064/11.  Let h = n + v. Is 0 <= h? 
False
Suppose -23*n = -22*n - 4.  Suppose 4*s - n = -g + 4*g, 5*g = 20.  Is 1 < s? 
True
Let x be ((-48)/99)/((-44)/66).  Do 1 and x have different values? 
True
Let a(g) = g**3 - 2*g**2 + 1.  Let l be a(1).  Suppose 4*d = -4*c + 3*c + 10, 4*d - 8 = l. Let u be c/6 - 7/24.  Which is smaller: 0 or u? 
0
Let s be 3/5 + 52/(-20).  Suppose -2*v + 14*v - 36 = 0.  Suppose -2*j = -v*y + j - 18, -3*y - 5*j = -14.  Is s at most y? 
True
Let n = -339 + 337.  Let l be -2 + (-6)/9*-6.  Is n bigger t