-16.8. Are 2 and y unequal?
True
Let g be (-1181)/4382 - (-9)/(-21). Let y = 3495655/4382 - g. Let w = y + -797. Which is smaller: 1 or w?
1
Let i = -5923 + 5919. Which is bigger: 52/3 or i?
52/3
Let r = -4/57407 + 7004378/10390667. Which is smaller: 1 or r?
r
Let h be 3/(-5 + 924/184). Let d = -144 + h. Do d and -5 have the same value?
False
Suppose 2 = 2*t, 138*t = 10*x + 135*t + 1183. Which is smaller: x or -126?
-126
Let v = -1863.1 - -1861. Which is smaller: 58 or v?
v
Let c be (-121)/(-726)*(6 - 2). Which is smaller: c or -7/141?
-7/141
Suppose -11*m + 4 = -150. Let a be m + (-15 + 21)*4/(-6). Let n = 5 + 2. Is n equal to a?
False
Let m(h) = 3*h**2 - 86*h - 14. Let n be m(29). Suppose -n = -5*x, -7*f = -10*f + 3*x + 132. Is f > 46?
True
Let t = -17.75 - 0.25. Let w be -1*((-198)/27 - -7). Is t greater than w?
False
Let n(o) = -24*o**2 + 458*o - 37. Let p be n(19). Is p greater than -14/263?
True
Let n = -10 + 4. Let o = n - -8. Let h = 1408 + -4226/3. Is o at least as big as h?
True
Let s = 6127 - 3224. Which is smaller: s or -0.2?
-0.2
Suppose -4*g = -2*y - 182, -6*g + 2*y + 50 = -5*g. Let f = g + 204. Let j = f - 1249/5. Is j greater than 2?
False
Suppose -3*g - 12 = 0, 0 = -5*n + 32*g - 29*g + 1032. Let y = n + -210. Which is greater: y or -9?
y
Let x be (24 - 26)*((-45035)/(-33774) - (-116)/(-87)). Which is bigger: 1 or x?
1
Suppose -85*d = -80*d + 5*a + 13290, -2*a + 2649 = -d. Which is greater: d or -13273/5?
-13273/5
Let p(o) = o**2 + 111*o + 1206. Let q be p(-12). Are 738/43 and q equal?
False
Let t = 7 - 19. Let m(w) = -w**2 - 25*w - 118. Let v be m(-20). Let p be t/10*45/v. Which is greater: p or 2?
p
Suppose 0 = -4*k - 8*j + 13*j - 574, -j = 4*k + 610. Is -2/33 not equal to k?
True
Let i = -13007 - -13036. Is 634/21 less than or equal to i?
False
Let d(s) = -2*s**2 + 204*s - 1153. Let u be d(96). Are 27/224 and u equal?
False
Let h(k) = k**2 + 35*k + 99. Let m be h(-32). Suppose -4*s + 49 = -3*s - a, m*a - 45 = -s. Is s at most as big as 48?
True
Let u(x) = 4*x**3 - 10*x**2 - 29*x + 247. Let p be u(9). Is p at most 2091?
False
Let w(q) = 3*q**2 + 8*q + 5. Let j be w(-4). Suppose -2*x - 4 = -j*f + 20*f, -4 = x - f. Which is smaller: 3/169 or x?
x
Let m = 0.63 + -0.57. Let j = 2.16 - 1.95. Are j and m equal?
False
Let i = 33/37 - 1031/1073. Suppose 0 = -180*k + 179*k. Which is greater: k or i?
k
Let n = -22.97532 - 0.02468. Which is smaller: n or 0.25?
n
Let s be (1424/(-48))/((-1)/(-9)). Let l = s + 274. Which is smaller: l or -0.08?
-0.08
Let j be ((-39)/(-9))/((14/6)/7). Suppose -3*k - j = 3*s + k, 0 = 2*k + 8. Let f be (-14)/4 + 2 - 43/(-29). Is s at least f?
True
Suppose 0 = -137*a + 5*a - 84744. Is a smaller than -635?
True
Let f be 527 + 3/(9 - 372/40). Which is bigger: f or 1031/2?
f
Suppose 665*u = 662*u - 483. Let i = 9822/61 + u. Which is smaller: i or 1?
i
Let y(k) = 19*k + 13*k**2 - 22 + k**3 + 2*k**3 - 2*k**3 - 2*k**3. Let c be y(14). Which is smaller: c or 50?
c
Let p = -134 - -191. Let n = p + -55.8. Let v = 1.1 - 0.1. Which is smaller: v or n?
v
Let i = -22 - 17. Let f be i/(-65) - (1 + (-14)/10). Suppose 5*c + 51 = f. Is -7 > c?
True
Let w be -27 + (12 - ((21 - 10) + 6)). Is w greater than -58?
True
Let r be ((-25)/(-75))/(21/(-36)*-2). Is -99 at least r?
False
Let n(g) = -24*g**3 - 5*g**2 + 3*g + 2. Let z be n(2). Let q = z + 206. Let h = 1 - -0.2. Do h and q have the same value?
False
Let g = -77641 + 471203228/6069. Which is greater: 0 or g?
0
Suppose 58*d - 53*d - 6945 = 0. Let k = d - 26401/19. Which is smaller: k or 2/3?
k
Let u(y) = y**3 - y**2 - 11*y - 4. Let x be u(-3). Which is bigger: x or -6?
-6
Let w = -22117 - -16957. Which is smaller: 0.2 or w?
w
Let p be ((-2)/(-6))/(5/(18750/14)). Let f = -89 + p. Which is smaller: -1.3 or f?
-1.3
Let b(r) = 3*r**3 + 26*r**2 + 7*r - 1. Let p(l) = -2*l**3 - 19*l**2 - 5*l + 1. Let s(q) = 5*b(q) + 7*p(q). Let d be s(-1). Which is smaller: -50 or d?
-50
Let y = -245 - -521. Let p = y + -274. Is p smaller than -7/12?
False
Let t be ((-116)/(-8) - -2)*933/(-9). Is -1712 bigger than t?
False
Suppose 16 = -2*h + 6, -5*c - 5*h = -55. Let s be (-22)/5 + (-24 - 366/(-15)) - -8. Which is greater: c or s?
c
Let w be ((-8)/7)/((-27)/(-63)). Let q(j) = -j**2 - 18*j + 8. Let h be q(-18). Suppose h*v = 9*v + 4. Which is greater: v or w?
w
Let q = 0.5295 - 1.5295. Is 0.379 < q?
False
Let c = 2/2781 + -929/2781. Is c at most as big as 3.128?
True
Suppose l - 16 = -11. Suppose 2*g = 2*x - 28, g + 15 + 63 = l*x. Let f = 19 - x. Which is smaller: f or 14/9?
14/9
Suppose -176*r + 6067 = 26483. Is r at most -112?
True
Suppose 0 = a + 6 - 2. Let i be 356/10*(-10)/a. Suppose 12*u + 7 = -i. Is u greater than or equal to -11?
True
Let w be 1 - (-8)/(-10) - (-15113)/85. Suppose -20*i = -302 - w. Which is smaller: i or 26?
i
Suppose 32*x = 45 + 179. Let y = x + -113/13. Is -2 bigger than y?
False
Let i be 1 + -5 + (-266)/(-126). Let x be (-1859)/(-684) - (-25)/(-20). Let h = i + x. Is -1 bigger than h?
False
Suppose o = z + 2408, 3*o = -0*z + 4*z + 7219. Let p be 3/(-5) + o/(-95) - 3. Let a be 1 + (-190)/6 - 12/(-36). Which is greater: p or a?
p
Let w be (-6)/(-27) - 384347/(-1773). Are 208 and w unequal?
True
Let v = -776/19 - -32348/779. Is 1 less than or equal to v?
False
Suppose 47 = 2*t - 1. Suppose 4*v = 9*v + 15, 3*h + 5*v = -6. Suppose -5*s + 44 = -h*s + y, -3*s + 4*y + 66 = 0. Is t not equal to s?
True
Let r = -414 - -412. Let g be (r + 2994/1488)*(1 + 11). Is g greater than 1?
False
Suppose 807*l - 143 = 664*l. Are l and 61/318 nonequal?
True
Suppose 0 = -90*w + 121*w - 66340. Is w greater than or equal to 2142?
False
Let f = -793 + 794. Which is smaller: -11.29 or f?
-11.29
Let h(m) = -1 - m**2 - 13*m + 2 - 5 - 13*m**2 + 6*m**2. Let b be h(-2). Which is smaller: -18 or b?
-18
Let p be ((-5)/8)/((-4775)/764). Is -421 less than or equal to p?
True
Let m be 0 + 0 + 323733/237. Let b = -1366 + m. Suppose 366*u - 237 = 129*u. Which is greater: u or b?
u
Suppose 4*m - 4*t + 9941 = 901, -m - 2255 = 4*t. Let i be (-30)/(-65)*m/(-2). Let z = i + -521. Which is bigger: z or 1?
1
Let p = -8513 - -7552. Does p = -969?
False
Suppose 0 = 3*l - 2*a + 3022, 17*a = -5*l + 20*a - 5035. Is l <= -997?
True
Let l be 0/(9/3) - -5. Suppose -s - l*s = s. Is s greater than or equal to 1/30?
False
Suppose 5*f = -3*o + 3*f + 45, -3*o + 54 = 5*f. Suppose -z = -3*x - o, -2*x = z + 10 + 2. Let h = 29 + -47. Which is smaller: h or z?
h
Suppose -4*z = -2*d - 70, -266*z + 21 = d - 261*z. Let s(v) = 2*v - 2. Let i be s(3). Let u be (5/i)/5 + -18. Is d less than u?
True
Let t = -502 + 499.89. Let s = -2.01 - t. Let q = -0.25 + 0.59. Which is greater: q or s?
q
Let z(h) = -2*h**2 - 11*h + 65. Let t be z(-10). Let p = 0 + -21. Is t at most as big as p?
True
Let y(t) = 2*t - 6. Suppose -4*s + 9 = 3*j, 13 = -5*j + 8. Let n(r) = -r + 7. Let g(u) = s*y(u) + 4*n(u). Let w be g(-5). Which is smaller: w or 6/11?
w
Suppose -3*f + 11 + 25 = 4*s, 5*s = 5*f + 10. Let d = 39 - 79. Let m be 5/s - (-5)/(d/12). Is m less than or equal to -2/81?
True
Let b = -12 - -11. Let m = -2 + b. Let l = -171 - -170.8. Is l < m?
False
Let j(o) = -2*o**2 + 14*o - 12. Let t(r) = 7*r**2 + 6*r + 5. Let h be t(-1). Let l be j(h). Suppose 3*x = l, v + 6 = -x - 14. Is v at least -22?
True
Let w be (-257)/(-4) - 12/(-16) - -4. Let u = w - -4. Which is smaller: u or 72?
72
Let m be (8/14)/2 - 0. Suppose 24*f - 23*f - 5 = 0. Let a be (252/384)/(1 - f/4). Is a at most as big as m?
True
Let y(m) = -9*m + 95. Let n be y(9). Let j(i) = -2*i - 6. Let l be j(-7). Suppose -l*z - 18 - n = 0. Is z at most as big as -6?
False
Suppose -n - 15 = -6*n. Let m = -76 - -74. Let g be 1 + 1 + m/12. Which is smaller: n or g?
g
Let m = -1.2 + 1.9. Suppose -2*i - 18 - 4 = -4*z, z - 3*i = 3. Let n be (5/(-5) + 2)/(z/(-18)). Do n and m have the same value?
False
Let l = 29346 - 29304. Let m = -0.2 - -0.1. Let f = m + 0. Is f smaller than l?
True
Let n = 596264/41 + -14541. Let h = n - 26393/12997. Is h less than 0?
True
Let s = 11647605/298 - 39086. Is s at most -1?
False
Let h = 27012 - 28591. Which is smaller: -17374/11 or h?
-17374/11
Let b be (-31)/155 + 326/5. Suppose -42 = -59*h + b*h. Which is smaller: -72/11 or h?
h
Let b be (((-4)/5)/((-36)/90) + -2)/2. Let a = 