34
Let g be 1 + -2 + (-63)/14.  Which is bigger: g or 0.1? 
0.1
Suppose 12 = -4*w + 4*c, 2*w + 26 = -2*c - 0*c.  Are -7 and w equal? 
False
Let f = 4 - 3.  Let z be -1*2*f/2.  Let p = 1/56 + -67/616.  Is z greater than p? 
False
Suppose 33 = 77*l - 66*l.  Suppose 3*n = 3 + 6.  Is l smaller than n? 
False
Suppose 38*h = 26*h.  Let y be 1/2 + 54/(-124).  Is y at least h? 
True
Let d(a) = -a**3 - a**2 - a + 3.  Let f be d(0).  Suppose -w + o = -6, -o - 1 = f*w - 3.  Suppose w = -q + 3*q.  Which is greater: q or 2/5? 
q
Let a = -18 + 17.  Is 2/11 bigger than a? 
True
Let u = -4 - -7.  Suppose u*t - 4 = -1.  Let h be 2/2*1/3.  Which is smaller: t or h? 
h
Let k(r) be the second derivative of r**5/20 - r**4/4 - r**3/6 + r**2 + 3*r.  Let a be k(2).  Are -3 and a unequal? 
True
Let r(a) = 3*a + 58.  Let y be r(-19).  Let p = 0 - 1.  Let h be -2*p/(-6)*-6.  Is h < y? 
False
Let m = -9.7 - 25.3.  Is m at least -2/7? 
False
Let a = 0.7 + -0.6.  Which is bigger: a or -1? 
a
Let u be (-8)/(-44) + 32/(-297).  Is u < 0.1? 
True
Suppose -2*w + 12 = -3*q - 5, 4*w - 14 = 2*q.  Suppose 2*l - 5 = w. Are 12/5 and l nonequal? 
True
Suppose 0*t - t = 5*j + 1, -t = j - 7.  Let s be (-2)/t*(-3)/1.  Is 0 <= s? 
True
Suppose -x = -k + 4, -k + 5*k - 9 = -3*x.  Suppose -t + k*q - 4 + 1 = 0, -q = 2*t + 6.  Which is smaller: t or 3? 
t
Let r = -0.2 + 1.2.  Is 1 bigger than r? 
False
Let a = -188159/83 - -2267.  Does a = -1? 
False
Let n = 4 - 4.  Let y be n - -3*4/(-6).  Which is bigger: y or -3? 
y
Let y be -1 - 1/(3/9).  Let i = -8 + 5.  Let a = i - y. Which is smaller: 1/8 or a? 
1/8
Let x be (-4)/14 - (-48)/42.  Which is smaller: 2 or x? 
x
Suppose 4*d = -13 - 3, -3*d = -t + 16.  Let n be (8/10)/(4/(-20))*-1.  Is n at least t? 
True
Suppose -3*g - 3*g = 174.  Which is greater: -28 or g? 
-28
Suppose -3*l - 4*c = -17, -3*l + 6*l - 2*c = 23.  Let b be (-10)/(-35) + (-2)/l.  Is b <= 0? 
True
Suppose -6*j = -j.  Let o be 11/9 + 4/(-18).  Is j equal to o? 
False
Let h be 3 + -3 + 2 + 32.  Let o = h + -103/3.  Let r = 1.01 - 1.  Which is smaller: o or r? 
o
Let o(x) be the first derivative of 5*x**3/3 + x + 3.  Let i be o(-2).  Let b be ((-2)/3)/((-14)/i).  Is b at least as big as 2? 
False
Let k(r) = -2*r.  Let c be k(5).  Is -11 bigger than c? 
False
Let z = 7 + 7.  Suppose -3*b + 4*r + 21 + 29 = 0, 0 = 3*b - 5*r - 52.  Is b <= z? 
True
Let d be (-39)/(-27) - 3/(-3 + 6).  Let u(y) = y - 2.  Let z be u(3).  Which is bigger: d or z? 
z
Let y be 0*(-2)/(-6 + 4).  Suppose y = -4*a + 3*a - 20.  Is -19 not equal to a? 
True
Let w = 120.3 - 120.  Which is greater: 3 or w? 
3
Let o(s) = s**3 - 4*s**2 - 6*s + 3.  Let i be o(5).  Let h be ((-4)/i)/(-12 + 34).  Suppose 0*f = -5*f + a - 3, -5*f + 5*a = 15.  Which is smaller: f or h? 
f
Let q(x) = 10*x**2 + 2*x + 1.  Let f be q(-1).  Let t = f - 6.  Which is smaller: t or 5? 
t
Let c = -5579/244 + 68/61.  Let b = c + 22.  Which is greater: b or 2? 
2
Suppose -3*p + 53 + 10 = 0.  Does p = -1? 
False
Let c(n) = 2*n - 1 - 5*n + 4*n.  Let b be c(1).  Which is smaller: -1 or b? 
-1
Suppose j = 2*j - g - 3, -4*j + 5*g + 17 = 0.  Let o be 1/j - (0 + -1).  Is 0 > o? 
False
Let l be ((-2)/(-6))/((-3)/27).  Which is bigger: -1 or l? 
-1
Let n be ((-12)/(-10))/((-18)/(-45)).  Let w be (6/n)/((-28)/6).  Is 1 bigger than w? 
True
Let j be (-2 - (2 - 2)) + -14.  Let c = j - -69/4.  Suppose -2*n - n - 18 = -3*y, -3*n - 6 = 3*y.  Is y greater than or equal to c? 
True
Let u = -109 - -34.  Let o be u/(-10)*(-2)/3.  Suppose -h + 1 = 5.  Are h and o non-equal? 
True
Suppose 4*n - 8*n = 44.  Let t be (2 - 1) + 8 + n. Is t > -1? 
False
Suppose -2*a + 3 = 2*a - 3*c, -3*a = -2*c - 1.  Let p be a*(8/(-21))/4.  Is 3/2 at most as big as p? 
False
Suppose -5*b - 1 + 6 = 0.  Is b at most 2/3? 
False
Let i be (135/40 - 3)*2/(-9).  Which is bigger: 1 or i? 
1
Suppose -3*i + 3 = -6.  Let r be (2/(-6))/((-2)/i).  Let z(f) = -f**3 - 6*f**2 - 4*f + 7.  Let j be z(-5).  Is j at least r? 
True
Let o be 33/15 - (-6)/(-9)*3.  Let g be -2 - 2*(-9)/6.  Is o less than g? 
True
Let o = -2 - -2.  Which is greater: -13 or o? 
o
Let g(c) = c**3 + 9*c**2 + 2*c + 11.  Let j be g(-9).  Which is greater: -13/2 or j? 
-13/2
Let o = 0.2 + -1.2.  Let k = 10 - 4.  Let y = 4 - k. Which is smaller: y or o? 
y
Let r = -4 + 7.  Let k = 2 - r. Let p = -27 - -82/3.  Is p > k? 
True
Let g be 10/12 + 3 - 3.  Let h = -324 + 9721/30.  Let r = h - g. Do r and 0.1 have the same value? 
False
Suppose -2*x = -4*m - 6*x - 8, -5 = 3*m + 2*x.  Which is smaller: m or 0.7? 
m
Suppose -5*d + 16 = -4.  Let o = 7 - d. Suppose o*j = -1 + 7.  Is 4 < j? 
False
Suppose 3*d = -2 + 11.  Is d < -1? 
False
Let l = 18 - 20.1.  Let h = l - -2.  Let s(o) = o + 5.  Let i be s(-4).  Which is smaller: i or h? 
h
Suppose n = 4*t + 9, 8*n + 4*t + 3 = 3*n.  Let q = 6/11 + -25/66.  Do q and n have different values? 
True
Let m be (-4 + 4)/(-1 - -2).  Is m at most as big as -1? 
False
Let m = -6/17 + 86/51.  Are m and 2 equal? 
False
Let x be 7 + -2 - 1/1.  Let d(h) = 5*h**2 + 2*h + 5.  Let u(y) = -4*y**2 - 3*y - 4.  Let z(a) = x*u(a) + 3*d(a).  Let m be z(-6).  Is m at most as big as 0? 
True
Let k(i) = -i**2 - 7*i + 13.  Let g be k(-9).  Let q = -9 + 3.  Which is smaller: q or g? 
q
Suppose -2*q = 2 - 6.  Suppose b + 3*b = 2*y + 6, -5*y = q*b + 3.  Let c be 2*b/(-10)*-2.  Does c = -1? 
False
Let t = -1 + 2.  Is t greater than -2/119? 
True
Let v = 3/4 - 23/28.  Is v at most -1? 
False
Let z = 195 - 3703/19.  Which is smaller: z or 9? 
z
Suppose 0 = 3*b + b, -3 = 3*d - 5*b.  Suppose 5*m = -6 - 4.  Do m and d have the same value? 
False
Let v = 0.02 - -0.28.  Let g = 0.43 + -0.03.  Let a = g - v. Is a at least -2/7? 
True
Let p be 3 - -1*3/(-1).  Let i(m) = -m**2 + 3*m - 3.  Suppose -2 = -2*s + 2.  Let k be i(s).  Are k and p equal? 
False
Let n(x) = 3 - 3 + x. Let w be n(2).  Suppose -m + w*f - 2 = -0, 2*f = 0.  Which is bigger: -3 or m? 
m
Suppose 22 = -d + 4*y, 0 = -4*d + 3*y - 17 - 6.  Let b = d - -4.  Let p be -6*2/(-4) - 2.  Which is greater: b or p? 
b
Suppose 5 = 5*p - 0*p, 0 = -5*r - 3*p - 107.  Which is smaller: r or -20? 
r
Let u be 4/(-10)*10/8*-20.  Do u and 2 have the same value? 
False
Let x = 1 + -1.  Let m = x - -1.  Is m < 3/8? 
False
Let f = -3.1 - -3.  Let m = -0.01 + 5.01.  Let w = 7 - m. Does w = f? 
False
Let q be 3/2 - 1/2.  Suppose -q = -m - 0.  Which is greater: m or 1/8? 
m
Let h be (-3 + (-166)/(-52))*426.  Let f = 82 - h. Is f not equal to 1? 
True
Suppose 0 = 3*z + 5*t, 3*z = 8*z - 3*t.  Which is smaller: -1/2 or z? 
-1/2
Let b = 1.1 - 0.1.  Let u = 199 + -196.01.  Let k = u + 0.01.  Which is smaller: k or b? 
b
Suppose 0*a - a = 3*a.  Which is bigger: 8/7 or a? 
8/7
Let o = -19 + 11.  Let g be (-2)/(-6) + o/6.  Is g < -2/45? 
True
Let g be 226/14 + (-3)/21.  Suppose -4*s = 16 + g. Let c = 3 + s. Which is greater: -3 or c? 
-3
Let x be 2 + 0 - (-20)/(-11).  Suppose 4*s = -4*j - 0*s - 4, 3*s - 6 = 0.  Let g(o) = o + 2.  Let b be g(j).  Which is smaller: x or b? 
b
Let f = 1 - 3.  Which is greater: f or 3? 
3
Let s(m) = m**3 + 2*m**2 - 3*m + 2.  Let r be s(-3).  Suppose r*k = 2*c, 3*k + c + 2 = 2*k.  Is 1/7 greater than or equal to k? 
True
Let s = 19/46 - -2/23.  Let q = -0.4 + 0.39.  Let g = -3.01 - q. Do s and g have the same value? 
False
Let d(b) = b**2 + 3*b - 5.  Let x be d(-4).  Let m = -10 - -14.  Is x ! = m? 
True
Let t(y) = -y - 1.  Suppose -25 = -3*k - 2*u, 4*u - 20 = -0*u.  Suppose -2 = k*n + 3.  Let p be t(n).  Which is smaller: 6/5 or p? 
p
Let u be 2 + -5 - 2435/(-815).  Let y = u - 646/489.  Which is bigger: -2 or y? 
y
Let t(k) = 2*k**3 - 2*k**2 + 2*k - 1.  Let s be t(1).  Which is greater: -2 or s? 
s
Let x(b) = b**2 - 4*b + 2.  Let r be x(6).  Let f = r - 10.  Let g(i) = i. Let c be g(4).  Is c less than or equal to f? 
True
Suppose 0*b - 52 = -3*h - 4*b, -2*h = -4*b - 8.  Is h less than or equal to 11? 
False
Let l be (8/130)/(2/5).  Let h = -25 - -24.  Which is greater: l or h? 
l
Suppose 9 = 2*l - 5*z, 4*l + 32 = 2*z + 10.  Let a = l - -13.  Suppose 0*j = -a*j + 25.  Which is greater: 4 or j? 
j
Let n = 172 + -263.  Let z be 28/n*2/4.  Does 1 = z? 
False
Let h = -632601/1081094 - 6/2491.  Let c = 1/62 + h. Is c smaller than -1? 
False
Let f be (3 + 156/(-54))/((-2)/(-12)).  Which is greater: f or -3/2? 
f
Let o be 6*-1*(-25)/10.  Which is smaller: 14 or o? 
14
Let c = 65 - 651/10.  Do 1 and c have the same value? 
False
Let p be (-4)/(-12) - 8/6.  Let x = -1 - p. Let c be (-10)/(-5) + 10/(-4).  Which is greater: c or x? 
x
Let w = 165 - 657/4.  Is 2 at most w? 
False
Le