k, 2*m - 5*k = -29. Let l be (2/10)/(m/35). Is l at least -2/741?
False
Let z = 19410.3 - 18689. Is z equal to 1?
False
Let a = -123 - -324. Let y = -2639 + 2840. Does y = a?
True
Let h = 8006 + -7119. Which is greater: h or 888?
888
Let w = 6699873979 + -154067015859/23. Let b = w + -1308372. Let h = b - -300. Which is bigger: 3 or h?
3
Suppose 2*u - s + 7 = 0, 13*u + 11 = 12*u - 2*s. Is -65 bigger than u?
False
Let s = 52 + -52.43. Let i = s - 1.57. Which is greater: 19/3 or i?
19/3
Suppose -1 = -q - 2. Let z = -80.983 - -81. Let v = z + -2.017. Is v > q?
False
Let q(c) = c**2 + 81*c + 451. Let l be q(-6). Is l bigger than -1/4400?
True
Let x = 1.486 - 1.1. Let w = 0.156 - x. Let d = -2.05 + 0.05. Which is greater: d or w?
w
Let q = -98 + 98. Suppose 8*d + 2*d - 20 = q. Which is smaller: d or -0.108?
-0.108
Suppose -4*c + 24 = 4*m, 3*c - 16 = -2*m - 0*m. Let i(f) = -3*f**2 - 2*f**3 + 2 + 3*f**2 - c*f**2. Let r be i(-1). Which is smaller: -2/39 or r?
-2/39
Suppose -27*m + 30*m + 127188 = 21*m. Is m at least 7066?
True
Let g(u) = -u**3 - 52*u**2 - 89*u + 548. Let t be g(-50). Which is bigger: t or 1799?
1799
Suppose 8 = 4*b - 3*o, 0 = -2*b - 0*b + o + 2. Let q(l) = 2*l + 1. Let a be q(b). Let y be ((2 - a) + -2)/((-1)/(-24)). Is y less than 23?
False
Let t be 10/(-35) + (183/(-21) - -1). Let k(i) = i**2 + 9*i - 4. Let c be k(t). Is c >= 4?
False
Let t be 2 + 261/(-42) + 0 + 4. Let l = -0.042 - 0.148. Let g = l - -0.29. Which is greater: g or t?
g
Let x = -533 + 445. Let f be x/143*2/84. Is 0 < f?
False
Let v = 2841 - 3424. Which is smaller: v or -584?
-584
Let l = 21878 + -38920960/1779. Which is greater: l or 1?
1
Let m = 444 + -139. Let r = m - 307. Which is greater: r or -3/20?
-3/20
Let g = 53 - 160. Let t = 95 + g. Let n = 0.3 - 0.3. Which is smaller: n or t?
t
Suppose -2116 - 904 = 38*i - 740. Which is smaller: -59 or i?
i
Suppose 0 = -4*p + q - 6168, 6184 = 113*p - 117*p + 5*q. Which is smaller: -1540 or p?
p
Let j(q) = q**3 - 3*q**2 + 7*q - 4. Let n be j(2). Let c = 7085 + -7084.82. Is c greater than or equal to n?
False
Let w = 1 + 0. Suppose r - 93 = -91. Let o be 345/1350 - r/10. Which is greater: o or w?
w
Suppose 5*n + 250 = 5*v, 2*v + 3*n - 70 = 25. Which is bigger: v or 149/3?
149/3
Suppose -39 = -6*z + 165. Let t = 26 - z. Let r(u) = u**3 + 7*u**2 - 4. Let o be r(-7). Which is greater: t or o?
o
Suppose 4*k - 15 + 103 = 0. Let p be 2/1 - 2 - k/418. Which is smaller: 0 or p?
0
Let o be (36/(-9) + 2)*(-1)/(-4793). Let r = o + -311537/19172. Which is smaller: -15 or r?
r
Let q(h) = 47 - 2*h - 19*h + 0*h - 26*h + h**2. Let f be q(46). Which is bigger: 4/201 or f?
f
Let h = -788/3 + 4216/15. Let d = 838/45 - h. Is -2 < d?
True
Let x be ((-8 - -2) + -2)*(-7)/28. Suppose 0 = o - x*p + 6, 3*p - 4*p = -o - 10. Let j be 4/10 - (-72)/(-5). Is o greater than j?
False
Let x be (26 + -26)*(1 + 1/(-2)). Which is bigger: 2/8717 or x?
2/8717
Let t = 27.5 + -50. Let r = 27 + t. Let b = r - 2.7. Which is bigger: b or 2/3?
b
Let n = -929/442 + -88/221. Let i(j) = -j**2 + 3*j - 3. Let s be i(3). Which is smaller: s or n?
s
Let c(t) = -2*t**2 + 13*t + 2. Let z be c(7). Let k = 40 + -42. Let v be -4*(-5)/8*k. Is z greater than or equal to v?
True
Suppose -2*v - 8069 = -7577. Which is smaller: -253 or v?
-253
Let u(w) = 3*w**2 + 3*w + 14. Let g be u(-4). Let o = -74 + g. Let q be (-1)/2*1 + o/(-64). Which is smaller: -7 or q?
-7
Let t = -0.4 - 0.6. Let v be ((-3)/(-2997))/(-12 - 730/(-60)). Which is smaller: t or v?
t
Let t = 931/186 - 26/31. Let i(g) = -1273*g + 63653. Let n be i(50). Which is bigger: n or t?
t
Let y = 2295/10311958 - 1/68632. Is -1 less than y?
True
Let y = -12 + 10. Let p = 170 + -138. Let q = 31.9 - p. Is y smaller than q?
True
Let l = -468.9 - -899.9. Which is bigger: l or 2?
l
Let o = 1627315 - 1627317. Let x = -3 - -2. Let c be (x/26)/((-1)/16). Which is smaller: c or o?
o
Let x = 171082/87555 + -1/6735. Is 3 at least x?
True
Let i = -15.76 + 15.56. Let r be ((-342)/40)/9*10/4. Which is bigger: i or r?
i
Let c be ((-8)/12)/(8/36). Let p be (-6280)/32*(-2)/c. Let x = -132 - p. Which is bigger: 0 or x?
0
Let r = 30491 + -26771. Which is greater: r or -4?
r
Suppose -17*o = -4*o + 6*o. Let m be ((-2)/(-22))/(3/(-822)). Let z = 50712/2035 + m. Is o not equal to z?
True
Let q = 641 + -641.02. Let v = 90.3 + -95. Let u = v - 2.3. Is q < u?
False
Suppose 820 = -4*k + 8*k + k. Which is bigger: k or 7?
k
Let w = 55 + -9. Let o = w + -70. Which is bigger: -23 or o?
-23
Suppose -t + 10 = 5*h - 15, -h = -2. Suppose 6 = t*m - 10*m + 2*n, -4*m + 4*n + 16 = 0. Is 2 >= m?
True
Let i = 181 + -182. Let t be ((-26)/(-26))/(i/(-2)). Which is bigger: t or 9/17?
t
Suppose 84*q + 25 = 89*q, 0 = -4*a - 3*q + 19. Which is bigger: -5/43 or a?
a
Let s(t) = -t**3 + 42*t**2 + 62*t + 679. Let b be s(36). Which is smaller: b or 10686?
10686
Suppose -1603 = y + 2*z, 0 = 61*y - 56*y - 2*z + 7991. Is -1590 bigger than y?
True
Let a(r) = r**3 + r**2 - r. Let s(u) = 2*u**3 - 7*u**2 + 10*u + 71. Let w(b) = 3*a(b) - s(b). Let l be w(-11). Are l and -48 nonequal?
True
Suppose -243*a - 2132 = -325*a. Is a less than 0?
False
Let z(w) = 2*w**2 + 26*w + 30. Let i be z(-12). Suppose -i*g - 90 = -3*g. Let h = g - -328/11. Which is bigger: -1 or h?
h
Suppose -2*v = 3 - 9. Suppose 0 = -7*d - 11 - v. Let a be (-1)/3 - (-8 + 9). Which is bigger: d or a?
a
Let j be (-4)/42 + 92110/(-12810). Are j and 99 nonequal?
True
Let a = 8.77 - -0.23. Let p(q) = -2*q**3 - 100*q**2 - 100*q - 82. Let v be p(-49). Which is smaller: v or a?
a
Let v be ((-19)/456)/(144/3349) - -1. Let m = -15/128 - v. Is 0 > m?
True
Let j = 44 + -29. Let s = j - 12. Let q = -4 + s. Is 18 bigger than q?
True
Let z = 85 + -111. Let f = -28 + z. Is f at least as big as -54?
True
Let f = 17220 + -15746. Is 1472 at most f?
True
Let d = 3808 - 3830. Does -618/29 = d?
False
Let m = -35.26 + 0.06. Let u = -276.2 - -241.2. Let s = m - u. Which is smaller: -14 or s?
-14
Let j be ((14 + -14)/(-3 - -1))/1. Suppose 5*i + i + 18 = j. Let q be (-160)/30*(-9)/(-28). Which is bigger: i or q?
q
Let j = 27/5 + -2712/505. Which is greater: 38 or j?
38
Let l be (1 - 1)/(0 + -2). Let i be (-116)/8*4*6/(-12). Let h be 32/56 + i/(-63). Which is greater: l or h?
h
Let g be ((-162)/(-2))/(57/(-38)). Let r = -757 + 703. Is r smaller than g?
False
Let x(k) = -9*k - 3. Let z be x(-3). Let c = 70 - 65.6. Let n = 4.5 - c. Are n and z equal?
False
Let o(w) = -w**2 + 7*w - 4. Let a be o(8). Let v = -1438 + 1437. Are v and a nonequal?
True
Let k(z) = -94*z - 357. Let d be k(-13). Let q = d - 4323/5. Is -226 less than q?
True
Let r = 25.65 + -26. Let l = 0.15 + r. Let g = -0.2 - l. Which is bigger: 2.1 or g?
2.1
Let t be 11/((-627220)/14259) - (-1)/4. Let m = t - -57287/3806085. Is m at least as big as 0?
True
Let s = -22965 + 21235. Which is smaller: -1729 or s?
s
Let x be 1350/160*((-6)/8 + 102/200). Is x greater than -1?
False
Let o be ((-168)/(-105))/(1*(-2)/140). Are -1009/9 and o non-equal?
True
Let a(x) = x**3 + 2*x**2 - 2*x - 3. Let f be a(-2). Let i = 60 - 56. Suppose 0 = -i*r - 3*q + 4, q + 3 = 4*r - f. Which is bigger: -6 or r?
r
Let g = -8374/31365 + 2/6273. Is -798 bigger than g?
False
Let z = -332.6 + 322. Let w = -10.2 - z. Is w smaller than 2?
True
Let z = -44637/28 + 1594. Let f = z + 241/1036. Suppose -5 - 32 = -3*k - 4*y, -3*y = -5*k - 35. Which is greater: k or f?
f
Let z(a) = -7429*a**2 + 8 + 7433*a**2 + 7 - 19*a. Let k be z(8). Which is smaller: 118 or k?
118
Let q = 79 - -117. Let d(v) = -18*v**2 + 204*v - 45. Let s be d(10). Which is bigger: q or s?
q
Suppose 8*s = 3*s + 30. Let c = -246342275/33 + 7466048. Let n = -3377/3 + c. Which is smaller: s or n?
n
Let u be 495/108 + 1/(-4). Let t(q) = 53*q - 582. Let a be t(11). Are u and a unequal?
True
Let n be 5/(-15) - (-161)/525. Suppose -4*h = -2*f + 12 + 32, 2*f + 3*h = 37. Suppose -21*a = -f*a. Which is greater: n or a?
a
Let f = -304.06 - -301. Let s = f - -2.8. Let t = s - -19.26. Is t at least -2/7?
True
Let v be ((-368)/(-36) + -10)/((-2)/(-342))*32. Which is greater: 1213 or v?
v
Let b = -173 - -243. Suppose 2*s + 68 = 2*r, 6*r - 8*r = -3*s - b. Is r >= 32?
True
Let r be 60/9 - (-4)/12. Suppose -i = 5, j + r = 2*i - 3. Let y be 28/j - (-1)/(5/2). Which is greater