 - -3)/(-7 + 9).  Is m less than or equal to 3/46? 
True
Let y = -1259 - -1264.  Is -154 bigger than y? 
False
Let j be 18/(-24) - (-38)/8.  Suppose -2*q = -3*q - 5.  Let h = q + j. Which is greater: h or -4/3? 
h
Suppose 13*x - 51*x - 20*x - 58 = 0.  Suppose -4 + 40 = -2*h.  Let m be -2 + 1/(h/(-32)).  Is m less than x? 
False
Let q = -13 + 16.  Let i be 1/(8/66*3).  Is i greater than q? 
False
Let y = -827/3 + 275.  Which is greater: -327 or y? 
y
Suppose -144 = 6*x - 2*x.  Let u be (1 + -2 + 21)*x/(-10).  Which is bigger: u or 71? 
u
Let y(a) = 2*a**2 + 12*a + 2.  Let i be y(-6).  Suppose -i*l + 24 = 16.  Which is smaller: 19/6 or l? 
19/6
Suppose -5*z - c = -24, 2*c = -3*z + 3*c + 8.  Let v be z/120*(14/10 - 2).  Is v > 0? 
False
Let f be 0/32*2/4*-1.  Which is smaller: f or 13? 
f
Let h = 847 + -847.2.  Does h = -40? 
False
Let h = -232 - -233.  Which is greater: 26/21 or h? 
26/21
Let d = -27 - -27.  Let j(n) = n - 3.  Let f be j(d).  Let a be (-14)/f*24/(-8).  Which is smaller: -15 or a? 
-15
Suppose 6*h - 18 + 162 = 0.  Is -174/7 bigger than h? 
False
Suppose 0 = 6*l + 384 + 4638.  Which is greater: -838 or l? 
l
Let i be (5/(-1))/((-37)/36 - -1).  Let a be (i/(-175) + 1)*3.  Which is greater: 1 or a? 
1
Let c = 3.289 - 0.289.  Which is greater: c or 10/29? 
c
Let j = -9 + -78.  Let x be (j/(-12))/((-4)/16).  Let c = 32 + x. Is c less than 3? 
False
Let i = -15873/14260 + 154/155.  Which is bigger: i or -1? 
i
Let p be (1 + 2 + -2)*2.  Let a be (0 + (1 - 1))/p.  Let g be ((-3 - -3) + a)*-1.  Is g not equal to -1/4? 
True
Suppose -14*t = -437 - 977.  Which is smaller: t or 99? 
99
Suppose -5*q = 55 - 130.  Which is smaller: q or 46/3? 
q
Suppose 3*k = -1 + 4.  Suppose -2*d = -i - 3, -5*d + 4*i - k = -16.  Let r be 4*d + 8 + -6.  Is -2 bigger than r? 
False
Let t be (-16)/40 - (2014/5740 - 1).  Let s be (-4)/10 + 537/1230.  Let k = t + s. Is k > -3? 
True
Let t = -2 + 3.  Let d(x) = -x**2 - 6*x.  Let l be d(-6).  Suppose -w = -l*w.  Are w and t nonequal? 
True
Let i be (2/(-142))/(2/(-4)).  Let k = -392 + 393.  Is i less than k? 
True
Suppose -k + 16 = -3*k - 4*z, 0 = -5*k - z - 13.  Let n(y) be the third derivative of y**4/6 - y**3/6 + 3*y**2.  Let r be n(k).  Do r and -9 have different values? 
False
Let d(a) = -a**3 + 6*a**2 + 4*a - 20.  Let z be d(6).  Suppose z*s = 4 - 56.  Is -12 at least s? 
True
Suppose -5*l + 4 = -4*f + 2, 5*l - 3*f + 1 = 0.  Let r be l/(-8)*(-195)/13.  Which is greater: r or -3? 
-3
Let c(h) = -26*h + 5.  Let k be c(-4).  Suppose 6*r + 85 = r + 5*g, 5*r = -g - k. Let x be 3 - (-36)/r - 3.  Which is greater: -3 or x? 
x
Suppose -893*a + 881*a = -7224.  Which is bigger: 604 or a? 
604
Suppose 5*s = 1 + 9.  Suppose 3*x - 2 = 2*r - 6*r, 14 = 3*x + r. Suppose x*k - 20 = k. Are k and s unequal? 
True
Let d(u) = -8*u + 53.  Let n be d(8).  Which is smaller: -0.3 or n? 
n
Suppose -m = -4*m - 30.  Let c = m + 15.  Suppose -c*o - 5*k - 1 = -4*k, -3*o = 5*k - 17.  Is -0.1 at least as big as o? 
True
Let u = 332 - 338.  Which is smaller: u or 0.29? 
u
Let i(s) = 3*s + 42.  Let d be i(-14).  Let u be (-2)/(-53)*9/12.  Let a = -147/424 - u. Do d and a have different values? 
True
Let q = 23.35 - 23.  Let x = q - 0.15.  Which is greater: x or 1? 
1
Let n = -0.07 - -2.07.  Let h = 1.4 - n. Let t = h + 0.1.  Is 0.2 greater than t? 
True
Let p be (10/6)/((-4)/60).  Let y = p + 18.  Is -5 smaller than y? 
False
Let r = 25 - 76/3.  Suppose 3*l + 11 = 2*a + 2, l - a + 4 = 0.  Which is bigger: r or l? 
r
Suppose -9*t - 504 = -4*g - 4*t, 630 = 5*g + t. Is g less than or equal to 124? 
False
Let g(x) = -2*x + 43.  Suppose -2*t + 3*l - 1 = -16, 4*t - 41 = -5*l.  Let p be g(t).  Do 1/4 and p have the same value? 
False
Let h = 375 - 373.  Which is smaller: h or -4.7? 
-4.7
Let g = 10 + -3.  Suppose 0 = -5*p + g*p.  Let i = -2/61 - 57/122.  Which is greater: p or i? 
p
Let c = 555 + -355.  Is 199 bigger than c? 
False
Let c be (99/(-22))/(3/(-16)).  Let g = c - 38.  Which is greater: -13 or g? 
-13
Let r be (-3)/9 - 8/(-33).  Suppose -20 + 41 = -p.  Let j = 21 + p. Which is smaller: j or r? 
r
Let k = -3 + 4.  Let p be -1 + -1 + 14 + -26.  Let a be p/119 - (-54)/170.  Which is bigger: a or k? 
k
Suppose 0*f - 12*f = 60.  Let g be f/(-3) - 1 - 116/(-18).  Is g bigger than 6? 
True
Suppose 4*h - 24 = 4*t, 6*t - 3*t + 9 = 0.  Are 57 and h nonequal? 
True
Let j(g) = g + 13.  Let p be j(-13).  Suppose -k - k - 7 = t, p = -3*k - t - 9.  Let m(w) = w**3 + w**2 - 3*w - 1.  Let i be m(k).  Are 3/8 and i non-equal? 
True
Suppose 0 = 87*w - 80*w + 2688.  Is -384 less than w? 
False
Suppose -4*g - 2*x = -6, 4*g + 5*x - 23 = 2*g.  Let u be (g - (-14)/10)/((-54)/90).  Let p(w) = w**2 - 3.  Let b be p(-3).  Do b and u have the same value? 
False
Let w(c) = -2*c**3 - 4*c**2 + 5*c - 8.  Let h be w(-5).  Which is greater: 114 or h? 
h
Let l = -68 - -33.  Let n = l - -106/3.  Is n >= 2/79? 
True
Let n be ((-1)/1)/(2/(-4)).  Let r be (0 - 0/1)/n.  Let l = 821/2418 - 5/806.  Is r bigger than l? 
False
Let h = 2407/41674 + -11/311.  Which is greater: 1 or h? 
1
Let m = -160 + 94.  Let z = m - -66.33.  Let u = z - -0.17.  Which is smaller: u or 0? 
0
Suppose 3*x - 7*x = -8.  Let k(p) = -1 + 0*p - 10*p**2 - p + 11*p**2.  Let n be k(x).  Is -5 less than n? 
True
Let i = 10 + 8.  Let d = 30 - i. Suppose -d = -2*u - 0.  Which is smaller: u or 7? 
u
Let j = -2322 - -317.  Is -2006 greater than or equal to j? 
False
Let d = 54 + -44.  Suppose 4*y - 5*s + 3*s = -d, 4*s = 2*y - 10.  Which is greater: 2 or y? 
2
Let h = 443/40 - 16803/1640.  Is h equal to 2? 
False
Let t = -0.277 + 0.277.  Which is bigger: t or 15? 
15
Let o = 2602 + -23450/9.  Which is greater: -2/11 or o? 
-2/11
Let b be (-8)/6 - (-10)/3.  Suppose 19 = b*n + 1.  Let t be ((-6)/105)/((-1)/(-5)).  Is t less than or equal to n? 
True
Suppose -14*a + 16*a = 4.  Suppose -4*s - 3 = -4*l - 19, 4*s - a*l - 6 = 0.  Is s greater than or equal to 2/95? 
False
Let d(y) = y**3 - 36*y**2 + 115.  Let j be d(36).  Is j less than 115? 
False
Let m be (1*(-3)/(-9))/(-1).  Let h be (-70)/400 + (-3)/15.  Which is greater: h or m? 
m
Suppose -h - 82 = h - 5*c, c + 205 = -5*h.  Let u = -48 - h. Let d(x) = -6*x**2 + x. Let n be d(-1).  Are u and n unequal? 
False
Let l(g) = -g**3 + 18*g**2 - 21*g + 60.  Let b be l(17).  Suppose -4*t + 9 = -7.  Suppose 47 = -5*n + 2*o, -t*o + 14 = 3*n + 37.  Which is smaller: n or b? 
n
Let o = 122.3 + -118.3.  Do o and 73 have the same value? 
False
Let l(a) = 2*a**2 + 60*a + 58.  Let d be l(-29).  Which is bigger: -39 or d? 
d
Let j = -127447/97727 + -1/4249.  Which is smaller: j or -1? 
j
Let w = -3 - 9.  Let l = w + 11.95.  Is l <= 2/5? 
True
Let g be 6/(-10) - 52/130.  Which is greater: g or 0? 
0
Let x = 3 + -1.  Suppose 47 = -4*t - s - 3, x*s - 44 = 4*t.  Let i be (12/16)/((-3)/t).  Which is bigger: i or 1? 
i
Let p = -14.25 - -14.  Let n = p + 0.05.  Let j = n + -0.8.  Which is bigger: j or 0.03? 
0.03
Let u = 20 - 32.  Let a = -12 - u. Do a and -1/25 have different values? 
True
Suppose -5*r = -5, -3*o + 0*o - 2*r + 2 = 0.  Let a be (-11)/((-77)/273)*(2 - 0).  Let v be 7/((-189)/6) - a/378.  Which is smaller: o or v? 
v
Suppose -7*i = -3 - 25.  Suppose i*v + 3 = v. Let f = 763/12 - 127/2.  Which is smaller: f or v? 
v
Let u = 0.3 - 0.2.  Let h = 2093 + -41859/20.  Which is smaller: u or h? 
h
Let a = -2.4 + -10.6.  Do 2 and a have different values? 
True
Suppose f = u - 2, -u = 5*f - 11 - 3.  Suppose -2*n = 3*n, 5*k + 3*n - 40 = 0.  Suppose k*l = u*l.  Which is greater: l or -3? 
l
Let r(v) = v**3 - 6*v**2 + 7*v - 6.  Let z be r(5).  Suppose -z = -3*s - 7.  Let y be (1 + s)/(-2 - -1).  Which is bigger: y or 2/25? 
2/25
Suppose 6*l - 11 = 19.  Suppose 5*v + 2*z - 3*z = 217, -4*z + 232 = l*v.  Is v greater than 44? 
False
Let t be (6 + (-30)/5)*2/4.  Is t less than -1/30? 
False
Let g = -1.1 + 1.  Let i = 0.1 - g. Let d = 46 + -48.  Do d and i have different values? 
True
Let w = -2409 + 1311.  Are w and -1098 unequal? 
False
Suppose -22 = -5*w + 3*u, 0*u - 27 = -5*w - 2*u.  Let t = w - 16.  Let v be (-10)/55 + (-2)/t.  Which is smaller: v or 4/7? 
v
Let f be -249*(539/273 - 2).  Is 5 at most as big as f? 
True
Let b = 65 + -64.51.  Let i = b - -21.51.  Which is greater: 0 or i? 
i
Let v be (2 - 1)/(10/40).  Suppose -v*y + 2 = 2*k, -2*k + 5 + 5 = -4*y.  Let c be (2/(-10))/((-2)/(-5)).  Which is greater: c or y? 
c
Let n = -215 - -215.02.  Is n less than or equal to -1/9? 
False
Let o = 4288179 - 1710984304/399.  Let n = -4/57 - o. Is n greater than 1? 
True