7057. Is r smaller than 0.15396?
False
Let t be (22 - 25) + 6/(-10494)*-5121. Is 0 at least t?
True
Let o = 33203 + -33202.955. Is o >= 31.6?
False
Let z(a) = -a - 43. Let u(l) = -l - 44. Let q(y) = 2*u(y) - 3*z(y). Let v be q(-21). Suppose -9*h + v = -88. Is 54/5 less than or equal to h?
True
Suppose -167*o - 56 = -181*o. Let k be 6/o*(-180)/945. Is k bigger than 360?
False
Let t(v) = -4*v - 24. Let w be t(-8). Let i be (-1)/(-3)*(328/(-32) + w). Which is bigger: -0.2 or i?
-0.2
Let n be 0 + ((-3)/2)/((-6)/28). Let m be 3/(-6)*(n + -9)*-260. Are -261 and m unequal?
True
Let f be (38/(-76))/(20/(-7856)*1). Which is bigger: f or 197?
197
Let z(l) = -18*l + 127. Suppose 2*i - 7 = -3*n, 3*n - 14 = 4*i + 17. Let d be z(n). Which is greater: -1 or d?
d
Let h(o) = 7*o + 94. Let w be h(-13). Suppose w*c = 3*v - 201, v + 2*c = -15 + 70. Which is bigger: 65 or v?
65
Suppose 0 = 3*f - 2*o + 4832, -8*f - 3221 = -6*f - o. Let c be (-128)/(-160) + 1284/f. Does c = 0?
False
Let j(k) = 10*k**2 + 4*k - 2. Let i be j(-2). Suppose 4*v - 23 = -m, -3*m + 6*m - v - i = 0. Let n be ((-16)/(-56))/(-2*(-1)/m). Which is greater: n or 2?
2
Let o(j) = j + 10. Let l = -22 + 18. Let r be o(l). Let g(v) = -v**3 - 6*v**2 + 5*v - 8. Let z be g(-7). Is z != r?
False
Suppose 186*y - 35236 = 94*y. Are 381 and y equal?
False
Let o = 273860/3456679 - -12/8707. Is o <= -1?
False
Suppose 18 = -3*s + 6. Let g(m) = -9 - 5 + 3*m**2 + 10 - 20 + m. Let a be g(3). Is s < a?
True
Suppose -4*b + 2*u + 182 = 0, -67 = -3*u - 70. Is b < 62?
True
Let h be (-136)/(-85)*(-4275)/(-30). Let l = -45 + 272. Are l and h non-equal?
True
Let k(l) = 952*l**2 + 6*l - 4. Let r be k(1). Let v be (-15 + 3)/(-3) - r/238. Which is greater: v or 1?
1
Let i(w) = 35*w - 3354. Let h be i(96). Is h smaller than 6?
False
Let m = -97 - -98. Let w be (-2)/(-4)*152/m. Let b be (14/21)/(2/231). Which is greater: b or w?
b
Suppose -5*u + 120 = 10*u. Suppose -t - 7 = -u. Which is smaller: -1/169 or t?
-1/169
Let k = -5966.798 - -5970. Which is smaller: k or -2?
-2
Let y(k) = 3*k + 2. Suppose -5*a + 5*q = -45, -q = -2*a + 3*a - 11. Suppose -g - 14 = 5*z, z - 3*g = -0*g + a. Let s be y(z). Is -6 equal to s?
False
Let m = -3282 - 994. Let c be (5 - (-5)/(4280/m))*2. Which is smaller: -0.2 or c?
-0.2
Let x = -40 + -27. Let z = 4222/63 + x. Which is greater: 1 or z?
1
Suppose -11*a - 148 + 948 = 448. Is 34 > a?
True
Let p(u) = -3 - 26 + 72*u + 75*u - 145*u. Let r be p(14). Is r greater than or equal to -2/3?
False
Suppose 0 = -134*y - 60804 - 176108. Is y smaller than -1768?
False
Let m(s) = s**3 + 9*s**2 + 5*s - 2. Let q be m(-6). Are 0.013 and q equal?
False
Let g(o) = o**3 + 29*o**2 + 55*o - 304. Let r be g(-27). Which is smaller: r or -319?
r
Let c(t) = t**3 + 10*t**2 + 9*t + 5. Let h be c(-9). Suppose -h + 14 = -d - 2*j, -j = 4. Let x = 110959/3 - 36987. Which is bigger: d or x?
x
Let o be (5*(-12)/(-330) + (-684)/495)/4. Is -3 at least o?
False
Let a(x) = -x**3 + 29*x**2 - 22*x - 639. Let n be a(27). Which is greater: 216 or n?
n
Let q = -96 - -97. Let z be (((-3)/q)/3)/((-3)/21). Suppose 42 = -0*r + z*r. Is r bigger than 6?
False
Let v(p) = -p**3 + 17*p**2 - 16*p + 29. Let u be v(16). Suppose -17 + 21 = -4*j. Let a(l) = -29*l**3 + l**2 + l + 1. Let c be a(j). Which is smaller: c or u?
u
Let t = -52 + 28. Suppose 205*l - 610 = 222*l - 219. Which is bigger: l or t?
l
Let k = -244.8 - -241.3. Is k < 37?
True
Let b be 2/(66/(-58) - -1). Let o = -22911 - -22897. Is b greater than or equal to o?
False
Suppose 0 = -89823*n + 89811*n - 6084. Which is bigger: 0 or n?
0
Let g = 10642 - 10643. Which is bigger: 3/5753 or g?
3/5753
Let z be (3 - (-33)/(-6))*-2. Let g(p) = -p**2 - 34*p + 32. Let t be g(-35). Let y be (t + (-22)/(-8))*(14 + z). Is -4 smaller than y?
False
Suppose -108*p + 237463 + 745229 = 0. Is 18199/2 < p?
False
Let d be (6*14)/4*2/(-2). Let q be (-3)/(3/3) - (9 - 3). Let u(h) = -h**3 - 9*h**2 + 2*h - 1. Let j be u(q). Which is smaller: j or d?
d
Let y be -8 + 7 - (-2 + 141*2). Let j = y + 277. Which is greater: -51/11 or j?
j
Let h(i) = 2*i**3 - 18*i**2 + 29*i - 8. Let b be h(7). Is b smaller than -3/304?
True
Let n be 81860195/(-2514900) - 3/12. Let r = n + 2/25149. Are -34 and r equal?
False
Let q = 9065/6402 + -196/291. Which is greater: q or 2?
2
Let q = -1 + 1.1. Let k(m) = -302*m**2 + 3*m + 5. Let s be k(-1). Let d be 2/(-5) - 1470/s. Are q and d non-equal?
True
Let k(q) = -331*q - 5626. Let p be k(-17). Is 38/21 != p?
True
Suppose 0 = 4*f - 21 + 17. Let s be 30/(-6)*(0 + f). Which is smaller: s or -4?
s
Let u = 48418/7 - 6904. Let r = 331 + -314. Suppose r*j = 147 + 74. Which is greater: u or j?
j
Let j = -8491 - -8616. Is j > 2138/17?
False
Let l = -16 - -23. Suppose -4*q = -2*x - 1930, -x + 2395 = l*q - 2*q. Let z = 51841/108 - q. Which is bigger: 1 or z?
1
Let t = 7213 - 6541.45. Let l = -672 + t. Which is bigger: -0.1 or l?
-0.1
Let c be 4 + (-17 + 0)*-1 + 4. Let z(h) = h**2 - 24*h - 1. Let j be z(c). Let d = -1266/5 + 5529/20. Is d < j?
True
Let i be 0 + -1 + ((-252)/520 - -1). Let a = i + -1/65. Which is smaller: a or -2/9?
a
Suppose -4*n + 2*m - 60 = 0, 12*n - 3*m + 25 = 11*n. Let d be (-7 + 9)*(1 + 12/n). Is d < 79?
True
Let v = -31471 + 31322. Let r = -0.27 - -0.07. Which is smaller: r or v?
v
Let h = 2568 + -2567. Is -1/1491 < h?
True
Let j = -72 - -69. Let r = 137/78 - 1/156. Do j and r have different values?
True
Let b be 607/203 - (-12)/(-4). Suppose -8*k + 0*k + 3*k = -7*k. Do b and k have different values?
True
Let b = 272 - 290. Let h = b - -21. Is h < 7/6?
False
Let q(a) = -2*a**2 - 51*a - 111. Let j be q(-23). Suppose 0 = -6*f + 2*f + 12, -5*f + 43 = j*z. Which is smaller: 2 or z?
2
Let f(h) = -6*h - 66. Let s be f(-12). Let j be 42/21 - (1 - s). Is 15 at most as big as j?
False
Let c = -308 - -55. Let r = c + 253. Which is smaller: 1.58 or r?
r
Let o = -5175 - -5173. Which is smaller: -0.67 or o?
o
Let z = -36.4 - -36. Let y = 10.4 + z. Let d = -10.04 + y. Which is smaller: -0.2 or d?
-0.2
Let z = -6.1636 - -7.1636. Let u = 0.9 + -1.24. Which is bigger: u or z?
z
Let w = -72592/649 - -1890/59. Which is smaller: -80 or w?
-80
Let d = -130 - -111. Let l(c) = c**3 + 18*c**2 - 22*c - 55. Let m be l(d). Which is smaller: 21/10 or m?
m
Let w = 93.68 - 95.3. Which is smaller: w or 0.6?
w
Let v(d) = d**3 - 9*d**2 - 16*d + 9. Let a be 216/20 - (-1)/5. Let h be v(a). Suppose -5*n + 0 + h = 0. Is n > 16?
False
Let z be (-30)/(-100) + (773/(-275))/(462/55). Are z and -3 unequal?
True
Let z = 1173 + -1170.5. Which is bigger: z or -254?
z
Let y = -61 - 67. Let l = -127.9 - y. Let b = -3 + 11. Are b and l equal?
False
Let c = -57 - -65. Suppose -c = -8*h + 4*h. Let z be (-3 - 5/(-10))/(h/4). Is -19/5 >= z?
True
Let v be ((-2)/6)/(1726/(-207120)). Suppose b - 29 = -5*i + 2, 2*i + 45 = b. Which is smaller: v or b?
v
Suppose 2 = -2*w, -2*k + 2*w = -5*k + 10. Suppose -5*x - k*b - 27 = 0, -3 = -2*x - x + 4*b. Let h be (-1)/x - (-1 + (-140)/(-78)). Which is greater: 1 or h?
1
Let t be 10/(-645)*18/4. Let z = 101/215 + t. Let d be (2 + 15/(-6))*-10. Which is bigger: d or z?
d
Let n be (189/(-243) + 2/(-9))*-4. Is -23 less than or equal to n?
True
Let p(n) = 3*n + 44. Let m be 1/(21/(-6)) + (-68)/7. Let i be p(m). Let z be (-480)/(-280) - 1/(i/(-4)). Which is smaller: 1 or z?
1
Let a(n) = 4*n + 218*n**2 + 5*n - 219*n**2. Let x be a(7). Which is smaller: 104/7 or x?
x
Let g = -114.9 - -125. Let c = -10.017 - -0.017. Let w = c + g. Which is smaller: -0.17 or w?
-0.17
Let j(z) = -83*z - 413. Let l be j(-5). Are l and -1/131 nonequal?
True
Let m = -0.071 - 65.929. Let d = 10 + 53. Let k = d + m. Which is bigger: 0.2 or k?
0.2
Let z = -11357.48 - -11358. Which is smaller: -19/5 or z?
-19/5
Let q be 6/11 + 4428222/8074. Are q and 3847/7 nonequal?
True
Let b = -19341 - -19006. Is -671/2 at least as big as b?
False
Let o(r) = -r**3 + 14*r**2 + 15*r - 14. Let p(k) = k**2 + 1. Let v(h) = -o(h) + 2*p(h). Let z be v(13). Let q = 0 - -0.1. Which is smaller: q or z?
z
Let o(g) = g**2 - 9*g - 24. Let b be o(11). Let s be (b/4)/((-8)/(-6080)*-5). Let r be (3*2/9)/(s/(-171)). Is -3 greater than r?
False
Let j(t) = -4*t + 21. Let y be j(21). Let f(l) be the third derivative of l**6/120 + l**4/24 - 32*l**3/3 + 22*l**2 - l. L