6*n + 799. Let y be i(16). Let o = -472/5075 - 32/175. Which is smaller: o or y?
y
Let w = 4187 + -4191. Suppose -4*h + 28 = -2*h. Suppose 0 = 3*z + 1 + h. Which is smaller: w or z?
z
Let j be (4/(-18)*-9)/((-2)/16). Let b be 0 + 16*44/j*-2. Let d be (4/(b/3))/(3/24). Is 0 greater than d?
False
Let v(g) = 6*g + 27. Let b be v(25). Suppose 9*z - b = -6. Which is greater: 1 or z?
z
Let i(k) = 4*k**2 - 25*k + 14*k + 4 - 13 - 15*k**2 - k**3. Let x be i(-4). Which is smaller: -78 or x?
-78
Suppose 11 = -3*m - 4*b, -2*m - 15 = m + 3*b. Let p(n) = -n**2 - 8*n + 13. Let r be p(m). Suppose -h - g = r*g + 26, -3*h = 3*g + 18. Is -3/4 greater than h?
True
Let n = 1 - 0.8. Let c = -1697.133 + 1693. Let z = c + 0.133. Which is smaller: z or n?
z
Let h(b) = 81*b**2 - 8*b + 14. Let g be h(-5). Is g at least 2079?
True
Let w(p) = -5*p - 10. Let s be w(-6). Let m be s*(-4 + 1)/(-6). Which is smaller: 9 or m?
9
Let s = 129320 + -98929816/765. Is s less than 1?
True
Let r = 21302 + -20529. Which is bigger: 3 or r?
r
Let a be 3*(6 - ((-230)/15)/(0 - -2)). Which is greater: 35 or a?
a
Suppose 1050*g - 10530 = 1076*g. Which is bigger: -406 or g?
g
Let v be (21/(-6) - -1)*-14. Let m = -13 - -16. Let l be (6 - 4) + 11*m. Is l at most v?
True
Let v be -3*9/((-1026)/(-4)). Suppose 3*h + 9 = 0, -4*h - 4 - 8 = r. Which is smaller: r or v?
v
Let p be (-3)/1*(7 - 11)/4. Suppose 4*v = 2*x - 156, 0 = -p*v + v + 2*x - 78. Suppose 3*q + q + 160 = 0. Which is smaller: v or q?
q
Let o = -15029 + 15820. Which is smaller: 797 or o?
o
Let m be (-52 - -51)*(-138 - 3). Do 26 and m have different values?
True
Let w(t) = -t**3 + 8*t**2 - 73*t + 93. Let u be w(17). Is -3747 smaller than u?
False
Let o(s) = -341*s + 33. Let m be o(-2). Suppose -5*d + x - 258 = 463, m = -5*d - 5*x. Is d >= -144?
True
Let w = -438 - -426. Which is greater: -4 or w?
-4
Let c = 7120 + -7117.6. Is 5 greater than or equal to c?
True
Let t = 579641/6538422 + 1/10362. Is 1 greater than or equal to t?
True
Let m = 4687 - 1645. Which is greater: m or 3041?
m
Let q = 2031 + -2104. Is q != -58?
True
Let t = 19973 + -19979. Which is smaller: -19 or t?
-19
Let a = 819 - 944. Let c = 279 + a. Which is greater: c or 152?
c
Let d(k) = -2*k**2 - 3*k - 2. Let g be d(-3). Let f be (40/(-441))/(384/448). Let p = f - 8425/756. Is g at least p?
True
Let g(n) = -2. Let a(l) = l. Let o(x) = -5*a(x) - g(x). Let p be o(4). Let d = -2408/3 + 786. Which is bigger: d or p?
d
Let r be 1*4/(-8) - (-186)/12. Let l be 2/(1 + r/20). Is -10 at most as big as l?
True
Let j(i) = -i**3 + 27*i**2 - 28*i + 37. Let w be j(26). Let z be (-11 + -1)/(-4) - -51. Let b be (z/(-8))/((-7)/(-14)). Are w and b unequal?
True
Let a(d) = -d**3 - 21*d**2 + 22*d + 3. Suppose 55 + 33 = -4*m. Let s be a(m). Let b be (s/(45/4))/(285/171). Is b greater than -3?
True
Let b be ((-15)/70)/(9/21). Let k = -0.3 + 2.3. Let r = k - -37. Is b at most r?
True
Let f = 5475 + -6752. Is -1276 at least as big as f?
True
Let v = 8293 - 8146. Which is smaller: v or 148?
v
Let s = -7/68 + 25/119. Let i = s - 17/28. Suppose 65*u = -3*d + 61*u - 7, -d + 1 = -2*u. Which is bigger: d or i?
i
Let s be 0/((12/(-9))/((-8)/(-12))). Suppose -w + 4*p - 23 = s, 7 = p + 2. Which is smaller: w or -0.1?
w
Let f = -3979 + 3988. Which is smaller: f or -240?
-240
Let o = -1571 + 1570.8. Is o at most as big as 2/1297?
True
Let z = 440 - 4846/11. Let y be (-6)/27 - 865/(-45) - -5. Let t be (-2)/(-16) - y/192. Which is bigger: t or z?
t
Let b = 4299 - 4349. Which is greater: 11 or b?
11
Let m = -0.103 - -3.135. Let r = m - 0.262. Is -1 < r?
True
Let v = 173 - 300. Let y = -5967/47 - v. Which is smaller: y or 0?
0
Let u be (2/4)/((-63)/126). Let n = 3986 + -282997/71. Is u smaller than n?
True
Let s = -1/63 - -43/63. Let u = 262 - 119. Let b = 143.22 - u. Which is bigger: s or b?
s
Let h = 0.9 - 1. Let x = -5.25 - -4.89. Which is bigger: h or x?
h
Let b = 6027 - 6026.9. Which is smaller: -471 or b?
-471
Let o = -45 - -48. Let x be (-174)/135 + 1 - (-1)/o. Let g = x + -49/90. Is g bigger than -3?
True
Let d = 14635/24 - 610. Is -9 not equal to d?
True
Let l = 93.21 + 0.79. Let s = l - 94.1. Which is greater: 2.11 or s?
2.11
Let o(r) = -r - 1. Let a be o(-4). Let f(p) = 2*p - 4. Let d be f(2). Suppose d + a = 3*q. Which is smaller: q or 5/32?
5/32
Let b(d) = -2*d**2 + 3*d. Suppose 6*i - i = 10. Let o be b(i). Let g be 5*((-16)/6)/8. Which is smaller: g or o?
o
Let r = 32606 - 32607. Which is smaller: 57/196 or r?
r
Let a = 3 - -1. Let s be (a/6)/(18/(-189)). Let p = -1 - s. Is p equal to 8?
False
Suppose -5*f - 5*a + 40 = 0, -f + 4*f = -a + 14. Suppose -n - 31 = 2*w - w, -f*w - n = 103. Let d = w - -33. Is d at most -7?
False
Let i = 2196 + -2195. Let t = -2/21923 - 43168/7431897. Do i and t have different values?
True
Suppose 5*u + 982 = 2*y, 4*u + 828 = -3*y + 47. Does u = -194?
False
Let v = 15 - 8. Let w = -6 + v. Let a be (7/(-168))/(16/(-32)). Is w != a?
True
Let x = -251 - -284. Let q = x - 35. Is -96 <= q?
True
Let s be -1*15/390*((-4)/455 - 0). Do s and -1 have different values?
True
Let f(s) = -s**3 - 16*s**2 - 30*s - 4. Let w be f(-14). Suppose 0 = -w*r + 21*r - 48. Is -3 greater than r?
True
Let h(k) = 47*k + 11. Let c be h(-1). Let x = -81 - -46. Which is smaller: c or x?
c
Let l = -1298 + 1272. Which is smaller: l or -207/8?
l
Let o(m) = -m**3 - 4*m**2 - m + 9. Let t be o(-4). Suppose -4*r + 53 = -4*y - 19, -4*r + 63 = 5*y. Suppose r = -10*j - t. Is -14/9 at least as big as j?
True
Let c = -44428 + 31943742/719. Which is smaller: c or -1?
-1
Suppose -29*b + 32 = -28*b. Suppose -b*m + 207 = -41*m. Is m != -25?
True
Suppose 3*p = -4*i + 8*i - 38, p + 5*i - 19 = 0. Is -228/35 at most p?
True
Let u = -495/28 - -73/4. Let n(t) = -t**2 + t + 17. Let o be n(4). Suppose 2*x - o*c + 16 = 0, 4*x - 5*c + 14 = x. Which is smaller: x or u?
u
Let v = 810.02 + 16.98. Let j = v - 827.051. Which is smaller: -2 or j?
-2
Suppose 393 = 24*l + 943 + 1346. Is -70 less than or equal to l?
False
Let f be (33 - 127100/60) + (-2)/(-6). Which is greater: f or -2084?
-2084
Let m be 1/(16/(-360)) - ((-6)/(-4) - 1). Suppose g - 4*g - 54 = 4*c, -19 = g + c. Which is smaller: g or m?
m
Let k(s) = s**3 + 5*s**2 + 2*s + 10. Let w be k(-5). Let r be 3/((-12)/8) + -18. Let j be (16/130)/((-8)/r). Do j and w have the same value?
False
Let n be (1 - -5)/(12/64). Let s = 30 - n. Let t be (-4)/s - 16/2. Is t at least 1?
False
Let q be 4/(-7) - (-742)/98. Suppose 17*x = q*x + 950. Let a be 3 + 0 - -95 - 3. Is a smaller than x?
False
Let n = 1.7628 - 0.1628. Let v(l) = l**2 + 4*l + 2. Let m be v(-2). Let w be 4 - (200/(-26))/m. Is n less than w?
False
Let s = -34700 + 31681. Is -3018 at most as big as s?
False
Let g(t) = -t**2 - 3*t + 22. Let k be g(3). Suppose -v = -3*v + k. Let d be 1*(-2)/4*-2. Which is greater: d or v?
v
Let s = 24698 + -24698. Which is smaller: 2/155533 or s?
s
Let r = 138.1 + -160. Let d = -21 - r. Suppose -4*o - 5*q + 21 = -0*o, -27 = 2*o - 5*q. Is d at least o?
True
Let o be 0 + (0/5 - 7). Let u = 87 + -83. Suppose -3*x - 2*l = 26, 3*l + 29 + 7 = -u*x. Are x and o non-equal?
True
Let a(m) = m**3 + 19*m**2 - 25*m + 82. Let l(n) = n**2 + 1. Let j(c) = -a(c) + 6*l(c). Let x be j(-15). Is x < 1/50?
True
Let b be (-6 + 2 - -2) + 0 + -54. Let s be 1/(10/4) - b/35. Let c = 6530/11 - 593. Which is greater: s or c?
s
Let y(b) be the third derivative of -b**5/60 - b**4/4 - 2*b**3/3 + 5*b**2. Let f be y(-1). Is 0 > f?
False
Let k = 6660 - 6661. Let a(x) = x**3 - 5*x**2 + 2*x + 5. Let f = 7 - 3. Let r be a(f). Is k at most r?
False
Let d be 1*299 - (25 + -25). Do d and 299 have different values?
False
Let l = -17 + 3. Let v be 279/(-21) + (-4)/l. Suppose -5*o + 3*b = 4, 0 = -5*o - 12*b + 14*b - 1. Which is bigger: v or o?
o
Suppose 0 = -4*m + 2*m. Suppose -5*u + m*u - 5 = 0. Let b = 17201/9 - 1911. Is u <= b?
True
Let h = -1236 - 57. Is 3 >= h?
True
Let f = -14610976437788/3558611523935 + 1920/47237161. Let a = 2/3965 + f. Is a greater than -4?
False
Let h(w) = w**3 - w + 1. Let q(f) = 5*f**3 + 3*f**2 + 4*f - 11. Let s(l) = 6*h(l) - q(l). Let g be s(9). Suppose r + 6*r = g. Is 60 at least r?
True
Let f be 1*(-14 - -19) - 4. Is f smaller than 1/4702?
False
Let g be (1/1794)/(15435/(-2570) - -6). Let y = g - -1/1