e (3/54)/(2/(-8)).  Which is bigger: r or y? 
r
Let c = -4 + 4.  Let b be c + 0 + 1/(-1).  Let z be 2/(-4)*4/(-6).  Which is greater: b or z? 
z
Let h = -78 - -76.  Let m = -2 - -4.  Suppose j + 9 = -m*j.  Is h less than j? 
False
Suppose -8 = -3*a + 19.  Which is greater: 10 or a? 
10
Let m = 18 + -16.  Let h = -53 - -213/4.  Are m and h unequal? 
True
Let c = 0 + -1.  Let g be (-2)/(-20)*(-1 + c).  Let t be ((-2)/3)/(4/6).  Which is smaller: t or g? 
t
Let f = 128/7 + -18.  Are f and -1/4 equal? 
False
Let n = -37 - -36.  Is n < -4/41? 
True
Let o be -2*((-5)/2)/(-5).  Let w be 4/10 + (-34)/10.  Let q be 2/(-6) - (-2)/w.  Is q < o? 
False
Let a = 669 + -1973/3.  Let m = a + -11.  Which is smaller: m or 1? 
m
Let u = -82 + 325/4.  Which is bigger: 2/3 or u? 
2/3
Suppose 4*z = -5*p - 13, -p - 3*p - 5*z - 14 = 0.  Let k be p*(11/9 + -1).  Let q = -32/13 - -314/117.  Is k >= q? 
False
Let i(t) = 5*t - 1.  Let q be i(-1).  Let o = q - -2.  Which is smaller: o or -3? 
o
Let d(r) = -r**3 + 2.  Let a be d(0).  Suppose 4*l = -5*j - 15, 3*l + 5 = -a*j - 1.  Suppose 0 = -q - u - 1 - 0, 1 = -3*q - 2*u.  Is l at most as big as q? 
True
Suppose -4*w - 5 = -1.  Suppose 0 = 5*s - 2*p - 20, -6*s + 4*p = -4*s - 24.  Let g = -1 - s. Are g and w equal? 
False
Let u be 2*1/4*12.  Suppose -4*l - 24 = 4*v, 3*l + u = l. Which is smaller: 1/4 or v? 
v
Suppose 0 = 5*l - 5, -4*l - 2 = 3*v + 3.  Let u = -271/2 + 133.  Which is bigger: v or u? 
u
Let y(g) = g**2 - 12*g - 11.  Let b be y(13).  Is b less than or equal to -40? 
False
Let c be (27/21)/((-3)/2).  Is 1/2 at least as big as c? 
True
Let m(k) = -k**3 + 7*k**2 + 8*k + 5.  Let o be m(8).  Suppose -2*b = -i - o, -i + 5*i = -5*b - 7.  Which is greater: i or -2? 
-2
Suppose -4*c = -0*c.  Let h be (0 + c + -2)/(-2).  Is -2/19 greater than h? 
False
Let d = 5 + -6.  Let k = -3 - d. Let j = -4 - k. Which is smaller: j or 1? 
j
Suppose v = -b + 7, 4*v - 15 = -3*b - v. Suppose 0 = 4*y + 6 - b. Is -1/11 less than y? 
True
Let l = -4.7 + 5.3.  Which is bigger: 0.1 or l? 
l
Suppose -20 = -2*y - 0*y.  Let f be (2/y)/((-28)/35).  Is f >= 0? 
False
Let y be ((-6)/(-28))/(6/(-8)).  Suppose 0 = -0*u + u + 2*u.  Which is bigger: y or u? 
u
Suppose b - 62 = -63.  Let w(h) = h**2 - 4*h + 2.  Let l be w(4).  Let p be 1/(l + -5 - -1).  Is p greater than b? 
True
Let t = 2 + -3.  Let c = -0.6 - 5.4.  Let k = 4 + c. Which is smaller: k or t? 
k
Let v = 0.1 - -2.2.  Let d = v + 1.7.  Are 1 and d non-equal? 
True
Let f = 8 - 12.  Let u = -8 - f. Let y be u*1/2*1.  Is -2 equal to y? 
True
Let p = -1079 - -707.  Let q be (-2)/(-7) + p/28.  Which is smaller: -2 or q? 
q
Suppose 14 = 10*b - 36.  Suppose 0 = -3*a - 2*x + 26, 4*x - 22 = -3*a + 2*a.  Is a ! = b? 
True
Let x(f) = -f - 17.  Let n be x(-16).  Let p be 2*(0 + -3 + 2).  Which is bigger: n or p? 
n
Let v(f) = f**2 + 29*f + 60.  Let t be v(-27).  Is 7 >= t? 
True
Let u = -0.143 + -0.057.  Is u smaller than -9? 
False
Let i(z) = z + 31.  Let a be i(0).  Which is smaller: 32 or a? 
a
Suppose -945 = -3*a + 8*a.  Let v = a - -1321/7.  Let f = -5 + 4.  Is v < f? 
False
Let a be -1 + -1 + 1 - -5.  Which is bigger: 2 or a? 
a
Let k = -11 - -6.  Let a = k - -5.  Let j = -53/20 - -19/10.  Is a > j? 
True
Let t(p) = p**2 + 2*p - 7.  Let b be t(-5).  Let h be 14/8 + (-6)/b.  Which is greater: 2/3 or h? 
h
Let a = 27 - 19.  Let l(k) be the third derivative of -k**4/12 + 2*k**3 - k**2.  Let z be l(a).  Is z > -3? 
False
Let u be 4/(-960)*98 - (-2)/6.  Which is bigger: u or 1? 
1
Let v = -0.6 + 0.5.  Is v equal to 2/19? 
False
Suppose -7*h - 21 = -77.  Which is bigger: 10 or h? 
10
Let v = 1837/4524 - -4/377.  Suppose 5*h - 3*f = -5*f + 8, 0 = -4*h - 4*f + 16.  Which is bigger: v or h? 
v
Let o be 1/2*32/(-504).  Which is smaller: o or -1? 
-1
Let p be 1 - (-60)/18*(-6)/(-4).  Let m(n) = 7*n - 1.  Let c be m(1).  Is p less than or equal to c? 
True
Let d(x) be the third derivative of 0 + 0*x + 2*x**2 - 1/60*x**5 - 5/3*x**3 - 1/2*x**4.  Let c be d(-11).  Which is greater: 0 or c? 
c
Let c(v) = 4*v - 16.  Let o be c(5).  Which is smaller: o or 2/17? 
2/17
Let o = 63 - 63.  Which is smaller: o or 3/28? 
o
Let w(f) = 2*f + 4.  Let r be w(0).  Let s be (6 - r)*(-22)/(-4).  Which is bigger: s or 12? 
12
Suppose k + k = 4*v + 10, 0 = -k + 4*v + 11.  Is 25 greater than k? 
True
Let u = 109/136 - 5/8.  Are 0 and u equal? 
False
Let n = 88 + -87.993.  Which is greater: n or 1/4? 
1/4
Let b(h) = h + 1.  Let x be b(1).  Suppose -x*o + 9 = -3*l, -6 = 5*l + 9.  Suppose -6 = 4*k - 2*t, 5*k - t + 0 + 3 = o. Which is greater: -1 or k? 
k
Let y = 256 + -2041/8.  Let s = -5/8 - y. Is s less than or equal to 1? 
True
Let t be -2*5*4/(-8).  Suppose -3*a - 2*a + 75 = 0.  Suppose 5*q - g - 3 = -0, -t*q - 5*g = a. Is -2/21 equal to q? 
False
Let z = -4 - 10.  Let v be 91/z - 6/(-4).  Let y be ((0 - 1)*v)/(-2).  Is -3 at least as big as y? 
False
Suppose 0 = -0*t - 3*t - 9.  Suppose -3 = -5*a - 18.  Is t smaller than a? 
False
Let v = -55.2 - -55.  Let o = -0.04 - -2.04.  Let n = o - 2.1.  Which is greater: n or v? 
n
Let y(m) = 51*m**2 + 4*m + 3.  Let n be y(-1).  Is 51 less than n? 
False
Let q = 4 - 24.  Which is smaller: -21 or q? 
-21
Let f = 2 - 6.  Let s be 0 - -3 - (-149)/f.  Let w = 34 + s. Is -1 bigger than w? 
False
Let p = -5.86 - 0.14.  Let q = 7 + p. Is q greater than or equal to 1? 
True
Let l be (24/10)/(-2 + (-18)/(-10)).  Which is bigger: l or -10? 
-10
Let p = 2/25 - -53/275.  Are p and 0 equal? 
False
Let k be ((-6)/4)/(8/(-16)).  Suppose 7*g = k*g - 4.  Do g and 3/8 have different values? 
True
Let h = -69/95 - -10/19.  Let f be -3 - (-1 + 2/2).  Let l be (1 - 1) + f/3.  Is h equal to l? 
False
Suppose 3*h + h = 0.  Suppose 0*g - 4*g - 8 = h. Is 0 at most g? 
False
Let v be ((-4)/4 - 1) + -7.  Which is greater: -1 or v? 
-1
Suppose 0 = 2*w + 5 - 9.  Is 8/11 less than or equal to w? 
True
Suppose 0 = -3*l - 6*w + 2*w + 23, -3*l = 2*w - 13.  Which is smaller: 1/3 or l? 
1/3
Suppose -9*o = -17*o - 160.  Is o greater than -37/2? 
False
Suppose 4*k - 4 = -2*r, 3*r - r + k - 4 = 0.  Which is smaller: r or 5? 
r
Suppose 0 = 3*k - 3*n + 9, 5*k + 2*n + 1 = 14.  Let s be -2*k/2*-1.  Suppose -s + 5 = 4*p.  Which is smaller: p or -2/5? 
-2/5
Suppose -18*d = -6*d.  Let w = -2 - -2.  Let q be w + 2/(-11) + 0.  Which is smaller: q or d? 
q
Let o = -31 + 28.96.  Let y = o - -0.04.  Are y and 0.2 unequal? 
True
Let t(m) = -m**2 + m - 1.  Let v be t(0).  Suppose 2 = -j - j. Is v bigger than j? 
False
Suppose -12 = 2*u - 4*b, 0*u = -3*u + 4*b - 12.  Let o be (-2 - -1)*u/(-1).  Let a be (3/(-4))/(14/8).  Is a bigger than o? 
False
Let p(n) = -n**2 + 9*n + 3.  Let j be (4 - 1)/((-9)/(-27)).  Let c be p(j).  Which is smaller: -1 or c? 
-1
Let n(u) = -2*u**3 + 8*u**2 + 11*u - 10.  Let g be n(5).  Which is bigger: g or -4? 
-4
Let j = -29 + 28.  Suppose -3*f = -3*l + 15, 2*l + 2*f - 6 = 4.  Which is smaller: j or l? 
j
Suppose -1 - 1 = k. Suppose 0 = c - 2*c.  Suppose c = -x - 2 - 2.  Is x >= k? 
False
Let q = 5 - 2.  Suppose 1 = o - 1.  Let d be 23/(-3) + o/q. Is d >= -6? 
False
Let j be 10/4 - 1/2.  Suppose c + 10 = j*a, 0 = -a - 4*a - 3*c + 36.  Let k be (-1)/4 - a/(-88).  Which is smaller: 2/5 or k? 
k
Let n = -11 + 8.  Let z be (-2)/(-12)*(-24)/18.  Is z <= n? 
False
Let i be (-9)/(-2)*(-56)/(-42).  Which is smaller: i or 7? 
i
Let r be 10/24 - 2/3.  Let y = -0.4 - -4.4.  Let v = -3.6 + y. Is v less than r? 
False
Suppose -2*w + 2*n = -8, 5*n + 12 = 2.  Let k = -5 + 8.  Suppose -w*v + k*v - 1 = 0.  Which is bigger: v or 0? 
v
Let u = 39 - 23.  Suppose u = 13*a - 9*a.  Is a > 5? 
False
Let y = 27 - 29.  Which is smaller: y or 6? 
y
Let w be (-22)/4*(6 + 0)/(-3).  Are 14 and w nonequal? 
True
Let k(c) = -c**2 - 7*c - 5.  Let i be k(-6).  Let h = 110/153 + -16/17.  Which is bigger: h or i? 
i
Suppose -4*y + 4*t + 80 = t, -3*y = -t - 60.  Let i be 8/3*(-5)/y.  Is -1 smaller than i? 
True
Suppose -4*v - 19 = -4*w - 3, -5*v = 4*w - 25.  Let b be 1/3 + (-2)/(-6).  Which is smaller: v or b? 
b
Let s(j) = j**2 - 7*j + 2.  Let t be s(7).  Suppose 2*c + 3*c = 3*n - 2, -2*n = 2*c + 4.  Let d be (t - n)*4/(-6).  Is d less than 1? 
True
Let j = -3.24 - -0.34.  Let s = j + 3.  Is -1 <= s? 
True
Suppose -2 = -7*g + 6*g.  Which is greater: g or 1? 
g
Let g(o) = -o + 6.  Let a be g(-10).  Suppose -2*d = 2*f + 6 + 2, -4*d = 3*f + a. Which is greater: 1/7 or f? 
1/7
Suppose 16*n + 4 + 12 = 0.  Do -11/6 and n have different values? 
True
Let x = 15527 + -2375674/153.  Let m = 3382/17 + -199.  Let y = x - m. Which is greater: 1/