t t be (75/125)/((-56)/(-5)).  Is t at most as big as 1? 
True
Suppose 4*q = 3*k + 30, -6*q + 2*q = 0.  Suppose -30*u + 32*u = -3*t - 32, -3*u - 4*t = 45.  Which is smaller: k or u? 
k
Let k(l) = 11*l + 471.  Let i be k(-43).  Let m = 164001 + -1809374/11.  Let q = 487 + m. Which is smaller: q or i? 
i
Let x(s) = 40*s - 3.  Let q be x(-2).  Let y = q + 71.  Which is bigger: y or -11? 
-11
Let y = -16.26 - -0.26.  Let s = y + 16.1.  Which is smaller: s or 3/13? 
s
Let w(s) = s + 2.  Let o be w(-11).  Let v be -4 + (-8 - 6) + 7 + -1.  Which is smaller: o or v? 
v
Let r(h) = -h**3 - 9*h**2 + 24*h + 2.  Suppose 0 = -2*n - 26 + 4.  Let a be r(n).  Which is smaller: -21 or a? 
-21
Suppose 52 = 2*w - 5*a, 4*a = 8*w - 9*w + 26.  Which is greater: 24 or w? 
w
Let c be -3 + (-3)/(-3) + 3.  Suppose -c = -2*n + 17.  Is n not equal to 7? 
True
Let b(g) = -8*g - 79.  Let a be b(-10).  Let y = 2/15 + 1/5.  Does a = y? 
False
Let p = -13611/41 - -332.  Suppose -2*v - v + 12 = 0.  Let l be (v - 4)*3/(-9).  Is p > l? 
True
Let x = 1027/6 + -122165/714.  Is x greater than or equal to 0? 
True
Let w = -7825 + 923343/118.  Are w and 0 non-equal? 
True
Let i = 50 + -34.  Let n = -16.2 + i. Which is bigger: n or 5? 
5
Let b = 1545/11 - 141.  Is -1 greater than or equal to b? 
False
Let f = -5/21 + 1/6.  Suppose -c = 5*h + 19, -5*c + 4*h = 7 - 28.  Does f = c? 
False
Let i be 48/(-192) - 126/8.  Do -16 and i have the same value? 
True
Let b(q) = 2*q**2 + q**3 + 4*q**3 + 2 - q - 3*q**3.  Let r be b(-2).  Let u = -63/22 + 4/11.  Which is bigger: r or u? 
u
Let r = -2801 + 2837.  Is -5 at most as big as r? 
True
Let p = 55 + -38.  Suppose 3*b - 5*t - p = -5, 3*b + 5*t = -18.  Is b <= -3/2? 
False
Let n(u) = u**3 + 8*u**2 - 3*u - 18.  Let k be n(-8).  Let s be -5*(0 - k/(-15)).  Which is smaller: s or -3/2? 
s
Suppose 5*q + 58 + 22 = 5*u, -u + 52 = -4*q.  Which is smaller: q or -53/4? 
-53/4
Let s = 27805/3 + -9402.  Let c = -135 - s. Suppose -2*f - 19 = -4*q + q, 2*f = -3*q + 11.  Is f smaller than c? 
True
Let o = 525 - 533.84.  Let j = o - 0.16.  Let u = 8.6 + j. Which is smaller: u or 2? 
u
Let a = -0.1 - -0.1.  Let b = 10.96 + -37.96.  Does b = a? 
False
Let a(u) = -u**2 - 7*u - 1.  Suppose -m + 2*f = -f + 20, -m = -2*f + 15.  Let l be a(m).  Which is smaller: 10 or l? 
l
Let b(g) = 5*g + 9.  Let n = 21 + -27.  Let i be b(n).  Let a = i + 21.  Which is smaller: a or 2/41? 
a
Let k = 3/188 - 597/2068.  Suppose 0 = d + s - 4, 0*s + 4 = -d + s. Which is bigger: d or k? 
d
Let y = 13 + -34.  Let s = 75 + -53.95.  Let m = s + y. Which is bigger: m or 0? 
m
Suppose 4*j - 10 = 5*l - j, 22 = 4*l + 2*j.  Let q be (1 - 4/10)/(l/(-2)).  Is 23 greater than or equal to q? 
True
Let p = 261/280 + -19/20.  Is 0 greater than p? 
True
Suppose s = -43 + 150.  Let o = s + -23.  Which is smaller: 83 or o? 
83
Let t = 0.2 + 2.4.  Let x = -2.76 + t. Let h = 0 + x. Is -1 greater than or equal to h? 
False
Let b = -9 - -13.  Suppose r = b*z - 4, 0 = z + 3*z - 5*r + 12.  Let j = z - 5.  Does j = 2? 
False
Let o be (-2)/16 + 212/(-352).  Suppose -j - 5 = 2*s + 4, -2*j - 5*s - 22 = 0.  Is j smaller than o? 
True
Let h be (1 - 2) + (-50)/(-51).  Let i be (-1)/((1 + 2)/(18/6)).  Is h < i? 
False
Let o = -3348 - -3340.  Suppose -5*g = 2*t + 2*t - 15, 2*g = -2.  Suppose -2*n = -4*u - 8, 2*n - n = -t*u - 3.  Is u at least as big as o? 
True
Let r = 6 + -7.  Let k be 0/(-5 + 2 - r).  Is k > -2/7? 
True
Let r = -102.4 - 8.6.  Which is smaller: -2 or r? 
r
Let v = -505.7 + 529.  Let a = -22 + v. Let u = a + -1.  Is 2/3 at least as big as u? 
True
Suppose 5*h = 3*t + 12, -5*t + 5*h = 4*h + 20.  Let p be 590/385 + t/(-22).  Let u(k) = k**3 + 21*k**2 - 24*k - 43.  Let v be u(-22).  Which is smaller: v or p? 
v
Let a = -42 + 83.  Let o = a + -41.04.  Which is smaller: o or -0.1? 
-0.1
Suppose 4*m = -4*p - 504, -4*p + 0*p + 2*m - 486 = 0.  Let j = p + 121.  Suppose 2*h + 9 = -h.  Is h bigger than j? 
False
Let g = -0.863 + 0.737.  Is g > 4? 
False
Let b = -27.86 + 29.46.  Is b less than -4? 
False
Let x(b) = b - 1.  Let v be x(4).  Let j be 3 + v/(-24)*65.  Let i = j + 631/120.  Is -1 <= i? 
True
Let q be 20596/57 + (-4)/(-6).  Is -2/3 at most q? 
True
Let a = 243 - 326.  Is 1 at least a? 
True
Let p = 0.3 + -2.  Let j = p - -1.77.  Which is greater: -2/9 or j? 
j
Let y = -9.12 - -9.02.  Are 104 and y unequal? 
True
Let r = 20 - 18.  Let m = r - 5.  Which is greater: m or 1? 
1
Let u = -534/11 - -548/11.  Is u smaller than 1/4? 
False
Suppose 0 = 2*k - 3*y - 9, -3 - 62 = -5*k - y. Let u be (-4)/3*k/8.  Which is greater: u or 0? 
0
Let z be 11/(198/(-28))*(-2)/4.  Let d(l) = -l**3 - 2*l**2 + 1.  Let q be d(-1).  Is z less than q? 
False
Let k(h) = -2*h**3 - 5*h**2 + 1.  Let w be k(-2).  Let r be w + 76/(0 - -4).  Is 15 at least r? 
False
Let n = -10 + 9.  Let q = n - -2.  Let h be 16/40 + (-6)/(-10).  Do h and q have different values? 
False
Let j = 375659/21105 + 2/4221.  Let c = j - 1671/95.  Which is greater: c or 0? 
c
Let o(r) = -r**3 + 10*r**2 + 34*r - 212.  Let h be o(10).  Is 133 equal to h? 
False
Suppose -5*i = -5*o - 115, -5*o + 60 = 7*i - 5*i.  Let a = i + -11.  Is 14 <= a? 
True
Let o = 463 + -806.  Which is greater: o or -345? 
o
Let y be (21/8)/(63/462).  Let j = -37/2 + y. Is 0 greater than or equal to j? 
False
Let n be 1 + 10/(-8) - 1995/(-140).  Let s = n + 12.  Is 26 smaller than s? 
False
Let t be ((-2)/5)/((-110)/(-125)).  Let f(v) = -v**2 - 4*v - 3.  Let i be f(-3).  Which is smaller: i or t? 
t
Suppose 0 = 3*c - 4*u - 28, 2*c + 0*u - 2*u = 16.  Let i = 18 - 21.  Let p = i + c. Is p greater than or equal to 2? 
False
Let f(y) = -y**2 - 3*y + 2.  Let z be f(3).  Suppose 37*x - 66 = 4*u + 40*x, -u + x - 13 = 0.  Which is greater: u or z? 
u
Let p = -3.6 + 3.11.  Let k = p - 7.51.  Do k and 5 have the same value? 
False
Let k(i) = -133*i + 77.  Let y(l) = -7*l + 4.  Let n(q) = -3*k(q) + 56*y(q).  Let f be n(2).  Suppose f*w = 4*w - 3.  Which is greater: w or -5/7? 
-5/7
Let l be (27/6)/(1 - -2).  Let h = -23 + 23.1.  Let k = -0.1 + h. Which is bigger: k or l? 
l
Let k be ((-2)/8 - (-3)/6)*(-804)/(-18).  Suppose -4*t + 16 = 2*c, 5*c + 3*t - 46 = -t.  Is k > c? 
True
Suppose -y - 8 = -3*y.  Suppose y*k + 3*t = -26, 5*k - 4*t = -20 + 3.  Which is smaller: -4 or k? 
k
Suppose -g + 3 + 1 = 0.  Suppose 6 = -z + g*z.  Suppose -z*x - l + 0*l = -5, 3*x = -4*l - 5.  Is 4 greater than x? 
False
Let b = 1 - 7.  Let v(f) = -2*f**2 + 19*f - 4.  Let h(z) = 6*z**2 - 55*z + 12.  Let q(g) = -6*h(g) - 17*v(g).  Let y be q(4).  Does y = b? 
False
Suppose 2*r = -3*q - 62, -r - 13*q + 10*q - 34 = 0.  Which is smaller: -2 or r? 
r
Let u = -1519321/42 + 36178.  Let r = 23/6 - u. Which is greater: r or 0? 
r
Let z be (6 - 4)/(-68)*13.  Let g = -1/34 - z. Let f = g - 29/34.  Is -7 at least as big as f? 
False
Suppose 0 = -18*d + 117*d - 33858.  Is d ! = 342? 
False
Let g be -1*(-14)/(-91) + 38/(-260).  Which is smaller: g or -17? 
-17
Let p be (-2)/(-2)*-4 + 1.  Let c be p + -46*(-1)/14.  Let d = -25/76 - -3/38.  Are d and c equal? 
False
Suppose 4*b + 13 = 5*t, -5*t - 2*b - 4 + 5 = 0.  Let s be (6/(-8))/(t/4).  Suppose 5*v + 12 = -8, 0 = -4*o - v - 8.  Which is smaller: o or s? 
s
Let o = -26 - -26.  Let u be ((0 + -1)*(o - 1))/3.  Let m be (-6)/2*8/(-6).  Which is smaller: u or m? 
u
Let w be (-50963)/164 + 3/4.  Are -2 and w equal? 
False
Let z = -12 - -16.  Suppose 0 = -4*t + z. Let o = -38 - -37.  Which is smaller: o or t? 
o
Let i = 79 + 6.  Let y be (80/i)/(1*2).  Which is smaller: 0 or y? 
0
Let n = -103 + 105.  Suppose 0 = 2*v - n, -7*v + 2*v - 63 = 4*x.  Is x greater than -19? 
True
Let g = -9 + 1.  Let c = -1 - g. Suppose -c*f - 10 = -2*f.  Which is greater: f or 0? 
0
Let a = -1.5 - -2.  Let p = -0.5 - a. Is p at least as big as -11? 
True
Let j = 2 + 1.  Suppose 2*s - 9 = s + 4*k, 3*k = 5*s - 28.  Suppose s*c + 19 = g, -11 = j*c + 1.  Is g > -1/2? 
False
Let d(h) = -2*h**2 - h. Let z(v) = -v**2 - v - 1.  Let k(w) = -2*d(w) + 3*z(w).  Let n be k(3).  Let l = n - 17/5.  Which is smaller: -8 or l? 
-8
Let u be 132*(5/(-10))/(-1).  Let i be 3/(-9) + u/9.  Is i greater than or equal to 8? 
False
Let g be (308/(-5) - -2) + 14/(-35).  Let x be (0 + (-8)/6)*(-345)/g.  Which is smaller: -2 or x? 
x
Let g be -2 + 3 + -31*1.  Let p be ((-4)/5)/(g/(-225)).  Let c be 27/p - 8/(-16).  Which is smaller: -5 or c? 
-5
Let w be (4/14)/((-24)/70).  Let v(d) = d**2 - 7*d - 3.  Let s be v(8).  Suppose -2*t - 16 = 4*x + 2*t, -s*t = 15.  Which is bigger: x or w? 
w
Suppose 0 = 55*l - 0 - 55.  Which i