greater: m or t?
t
Let h be (1687/21)/((-21)/(-14) - 2). Is -161 at most as big as h?
True
Let i be 0*19*(-13)/(-2964). Let k = 3883 - 128149/33. Which is smaller: i or k?
k
Suppose -5*h - 16 = 9, -5*d = 3*h + 65300. Let k = 91594/7 + d. Which is smaller: k or 29?
k
Let y be (-3138)/(-206) - 1515/101. Which is bigger: y or 1?
1
Let p be (-28964)/390 + 6/9 + 0. Which is bigger: 3 or p?
3
Let u be 1*(-9)/(-135)*5. Let l = -50 + 49.69. Let c = l + 0.11. Is c smaller than u?
True
Suppose 0 = -15*x + 18*x - 41645160. Let v = x - 7579415321/546. Let k = -101/14 + v. Are k and 1 nonequal?
True
Let j be 9/(180/(-11312))*15/3. Is -2829 >= j?
False
Let z = -76.98 - -77. Let m = z - 0.24. Let y = m + 0.23. Is y less than 1?
True
Suppose -28 = -2*p - 2*z, 5*p - 85*z - 70 = -88*z. Is 25 greater than p?
True
Let i be 1304/(-12)*-12 - (7 - 16). Is 1313 at most i?
True
Let m = 3 + -3.04. Let i = -156.54 - -156. Let t = m - i. Which is smaller: t or 1/5?
1/5
Let t = -3577 + 17734/5. Let y be (4/(-3))/2*6960/160. Is y bigger than t?
True
Let m be (-39 + 0)/(-5 - -20 - 14). Let y = -2.9 - -3. Which is greater: y or m?
y
Let n = -39.9 - -0.9. Let b = 29743 - 29743.3. Are b and n equal?
False
Let p(d) = d**3 - 27*d**2 + d - 154. Let i be p(27). Is i < -130?
False
Let h = 59167 - 40608. Is 18558 at most h?
True
Suppose 131 = 5*w + 3*b, 2*w + 0*b = 2*b + 46. Let i = w - 30. Which is bigger: i or 0.7?
0.7
Let t be 22/137181*(21 + -3)/(-6). Is t not equal to 0?
True
Let n = -7.5 - -8. Let r = -9079 + 9078. Is n >= r?
True
Let h be ((30/12)/(-5))/(1/14). Let m be 2 + 21/(-9) - (-7)/15. Is h >= m?
False
Let u = -2.5 - 14.5. Let b = -3.19 + 1.19. Is u < b?
True
Suppose 4*a + 127 = 5*y, -25 = -y - 5*a + 12. Suppose 17*h - 7 = y. Suppose 4*s + h*s - 30 = 0. Is s less than or equal to 2?
False
Let w = -8/175 + 4217/126700. Is w not equal to -1?
True
Let o(a) = 2*a**2 - a - 4. Let q be o(6). Let n be (-58)/(-261) + 2/(-12)*5560/(-15). Is q less than n?
False
Let o = -8252 - -4083. Which is greater: o or -4170?
o
Let c = -12 - 63. Is c at least as big as -68?
False
Let o = 21354 - 21356. Is -27/29 != o?
True
Suppose 664*l + 1102*l - 55*l - 1526 - 10451 = 0. Let m(a) = -a + 1. Let d be m(6). Let y be (6/5)/((-1)/d). Which is bigger: y or l?
l
Let t = -2323 - -2326. Which is greater: 284 or t?
284
Let z = 10709 - 10705.1. Does z = -13/8?
False
Let v(j) = 2*j + 10. Let s be 2*(-4)/(-16)*-14. Let r be v(s). Let l(c) = -c**2 - 5*c - 5. Let d be l(r). Is -2/5 greater than d?
True
Let y = -2033/47 + 2083827/48175. Is y at least as big as -1?
True
Let o = 224 - 218. Suppose 0 = -o*r + r - 315. Which is smaller: -66 or r?
-66
Let j(x) = x**3 + 1. Let l(f) = -5*f**3 - 5*f**2 + 6*f - 3. Let u(c) = -4*j(c) - l(c). Suppose 0 = -9*m - 1288 + 1234. Let o be u(m). Is o not equal to -2?
True
Let d = 1013937/823 - 1232. Is 0 > d?
False
Let c be 6/(-2) + 348/108. Which is smaller: c or -3272?
-3272
Let o = -1350 - -1394. Which is smaller: -6 or o?
-6
Let n be (((-20)/(-5) - 4) + 1)*-3. Let l be -4 + 67 + (-3)/n. Is l at least as big as 66?
False
Let n(z) = 2*z**2 - 82*z - 16. Let o be n(41). Let m be 4/6 + 7/3. Let j be m*12/o - -3. Which is smaller: j or -1?
-1
Let i be 4 + ((-4)/2)/(-1). Suppose 29*m - i = 27*m. Suppose 4*l = -m*v - v, v = 3*l. Is l bigger than -2/37?
True
Let j be (-7655)/1140 + -3 + -2 - -1. Let u = -43/4 - j. Is 0 bigger than u?
True
Suppose -4*y + 2*a - 10 = 0, 5*y + 192*a = 197*a + 20. Let p(o) = -2*o**2 + 5*o + 1. Let d be p(4). Which is smaller: d or y?
d
Let d be ((-32)/18)/8 + 16608/1836. Which is smaller: 8 or d?
8
Suppose -j + 4*c = 0, -12 - 5 = -4*j - c. Suppose j*l - 9*k = -10*k - 777, 3*k - 9 = 0. Is l at most -196?
False
Let x be (30/(-6) - 11) + 5 + 4. Suppose -5*k - 20 = 0, r + 27 = -2*r - 3*k. Let t be (-1 + 0)/((-1)/r). Which is smaller: t or x?
x
Let k = -1.57 + 127.57. Let s = -113 + k. Let j = 4 - 4.1. Is s greater than j?
True
Let g = 872/15 + -58. Let j = 72.68 - -0.32. Let u = 73.5 - j. Is u at most g?
False
Let a = 2770/11 + -252. Let v be 4 - (1 + 1430/481). Is a at least v?
False
Suppose n = 3*q + 10383, 0 = -3*q - 4*n - 1915 - 8498. Which is greater: -3462 or q?
-3462
Let s(p) = -p**3 - 46*p**2 - 81*p - 500. Let l be s(-50). Which is smaller: -0.1 or l?
-0.1
Let k be (22/6)/((-1144)/(-312)). Which is bigger: k or 1124?
1124
Let o(r) = -3*r - 1. Let d be o(0). Let m be 1/(-6)*(d - -7 - 3). Let g = -4 + 3. Is m != g?
True
Let i be (5/(-3))/5*-12. Suppose -3*t + l + 17 = 0, 4*t - 8 - 4 = -i*l. Suppose 2*s + t*m - 13 = 0, -2*m + 7 = s + 2. Which is smaller: s or -3/11?
s
Let q(d) = d**2 + 11*d - 12. Suppose -5*f = 3*p + 31, 3*p = p - 2*f - 22. Let a be q(p). Which is bigger: a or 2/1655?
2/1655
Let v be ((-88)/2508)/(2/12). Which is smaller: -0.5 or v?
-0.5
Let f = -0.273 - 0.067. Let n = 0.06 - f. Let l = 16.4 - n. Is 1/2 at least l?
False
Let p = 8203 + -8254. Are 0.077 and p non-equal?
True
Suppose 10*i + 2256 = 1936. Which is bigger: 0 or i?
0
Let i(v) = -629*v**3 + 6*v**2 - 2*v - 5. Let m be i(-1). Which is smaller: m or 637?
m
Suppose 2*b = 4 - 14, 685 = -5*q + 3*b. Let n = q - -159. Is n < 18?
False
Let r be (4/6)/((-7)/(-630)). Let d be -100*(37/45*-1 - (-448)/2016). Is d at least r?
True
Suppose 4*n - 2 = 4*p - 6, 2*p - n = 1. Suppose 15*q - 14*q - 6 = p. Suppose 3*l + q*l + 414 = 0. Which is bigger: 0.1 or l?
0.1
Suppose 6*s = 470 + 4. Suppose -5*l - 8*d = -3*d - 110, 4*l = 5*d + s. Is -2 >= l?
False
Let b be (-21416)/9*(-18)/(-96)*4. Is b at least -1785?
True
Let n(r) = 19*r - 171. Let i be n(9). Suppose 14*x + 90 + 36 = i. Which is greater: 9 or x?
9
Suppose 6*y = 2*s + y - 99, -5*s + 4*y + 222 = 0. Let n be 232/12*s/4. Let w = n + -5889/29. Which is greater: w or 2?
2
Let d(t) = 126*t**3 + 24*t**2 - 23*t + 1. Let c be d(1). Which is smaller: 6 or c?
6
Suppose 4*o + 4*c - 23268 = 0, 71*o - 70*o + 3*c = 5813. Is o at most 5818?
False
Let r = -334 + 333. Which is smaller: r or -692?
-692
Suppose -4*c = -y - 266, 0 = c - 5*y - 27 - 68. Is c at most as big as -22?
False
Let v be (4/(-22970))/((-145)/(-50) + (-9)/6). Which is bigger: v or 1?
1
Let o = -1 + 0.998. Let g = -4799.002 + 4800. Let u = o - g. Is 3 not equal to u?
True
Let y = -595 + 603. Let d = -663 - -663.3. Are y and d non-equal?
True
Let k be ((-138)/(-456) + 2/(-38))/1. Let l be 1 - 265 - 0 - -1. Which is smaller: k or l?
l
Suppose 0 = -5*i + 4*q + 8130, -5*q = -0*q. Let n be (i/(-342))/1 - (0 - 5). Is 1 bigger than n?
True
Suppose -18*o + 3771 = -963. Which is greater: 1318/5 or o?
1318/5
Let y = 441835/71316 + -223/36. Which is smaller: 1 or y?
y
Let i(s) = -198*s + 195*s + 24 + 1. Let r be i(7). Let z be r/(-14) - (-10)/(-14). Which is bigger: 1/11 or z?
1/11
Let q = -1253735261/36969413 - -220122/6487. Let m = 3/533 - q. Let k be -14 + 9 + (4 - 0/2). Is m equal to k?
False
Suppose 795 = -21*j + 18*j. Let h be ((-159)/j)/(-1 - 14/(-10)). Which is smaller: h or -4?
-4
Let o(p) = p**2 + 19*p - 7. Let c be o(-13). Let u = 75 - c. Let b be -3*(6/(-14) - u/(-210)). Are b and -2/23 nonequal?
True
Let f = -1929 + 1928. Let d = 24 - 24.6. Is d at most as big as f?
False
Suppose 551 + 289 = 12*o. Let y be -3*2/27 - o/9. Which is smaller: -29/4 or y?
y
Let i be (-84)/(-2) - (-56420)/(-1085). Let j be -2*3/2*3. Which is greater: j or i?
j
Let t = -0.41 + 0.11. Let w = 919 + -904. Is w smaller than t?
False
Let p be (-15)/(-6) - (-2)/(-4). Let j be (-4 + -57*p/(-24))*20. Let f be (j/(-5) + 80/26)/2. Is f at most as big as -1?
False
Let q be (-29)/(58/(-8)) - (-3)/(-3). Is -8.5 smaller than q?
True
Suppose -40*p = -42*p - 5*a - 310, 2*p - 4*a + 346 = 0. Are p and -165 non-equal?
False
Suppose 5*v + 270 = -v. Let a be (-20)/v - (-2372)/(-234). Which is smaller: a or -11?
-11
Let h = 97 + -96. Let i be h/(2/(15 - -1)). Is i less than or equal to 6?
False
Let o(y) = -y**3 - 6*y**2 - 7*y. Let b be ((-12)/6 - -1) + -2. Let c be o(b). Which is smaller: c or 2?
c
Let k = -12996 - -10798. Which is bigger: -2199 or k?
k
Let i(f) be the third derivative of -f**5/60 + f**4/4 + 17*f**3/2 - 6*f**2 - 4*f. Let m be i(10). Is 2 >= m?
False
Suppose -5*f = s + 58, 229*f - 228*f - 64 = s. Which is smaller: s or -812/13?
s
Let k be (-19 + (-2 - -5))*(2 - 1). Suppose -h - h - 36 = 0. Which is smaller: h 