 a?
True
Let r = 284.8 + 49.2. Let i = r + -361. Which is greater: i or 1/5?
1/5
Let d(s) = 1189*s - 3560. Let c be d(3). Is 24 greater than c?
True
Let q(g) = g**2 + 6*g + 4. Let l be q(-6). Let s = 251 + -267. Let p be 2 - l/s*-4. Is p at most as big as 4/25?
False
Let o(m) = -323*m - 2908. Let z be o(-9). Is z less than 21/548?
True
Let w be (-212)/(-21783)*(42/24)/(-7). Suppose -2*z + 4*z - 2 = 0. Which is smaller: w or z?
w
Let t be (81/36)/((-7)/(-28)). Are 136/15 and t unequal?
True
Suppose q - 161 = 2*n, 2*n + q + 62 = -85. Are n and -88 equal?
False
Let w = -2339256/5 + 465290. Which is smaller: w or -2561?
w
Let x = 183 + -179. Suppose -21 = 3*p + 2*a - 76, -80 = -x*p - a. Which is bigger: p or 22?
22
Let u(x) = -x**2 - 7*x + 2. Let l be u(-6). Let f be 1/2*l/(-26). Let b = 172044 - 172043. Are f and b equal?
False
Suppose -r + 8 = 3*j + 63, r = -1. Let w be (9 + 69/(-6))*(0 - -6). Is w smaller than j?
False
Let r(m) = -m**2 - 12*m - 28. Let z be r(-4). Suppose z*t = 5*k + 2 - 37, -k = 3*t + 50. Is -14 smaller than t?
False
Let k = -55835 - -345786151/6193. Which is greater: 1 or k?
1
Let w be ((-280)/12)/(297/6). Let s = -16/27 - w. Let n(l) = 15*l**2 - 46*l + 3. Let m be n(3). Which is smaller: s or m?
s
Let s be (0 + 112/35)*10/4. Suppose s*h - 13*h + 990 = 0. Is h bigger than 198?
False
Suppose 8 = 2*r, 5*s - 9*r + 2 = -6*r. Is 141/8 at most as big as s?
False
Let a = -163.63 - -1.73. Let o = 148 + a. Which is smaller: -1 or o?
o
Let j be (595/(-476))/((-1)/144)*4/(-35)*1. Let g be ((-6)/15)/((-2)/(-110)). Is j at most as big as g?
False
Suppose q - 9 = -0. Suppose b + q = 43. Suppose 2*w = 3*v - 108, 50 - 7 = v - 3*w. Is v < b?
False
Let u be (7/25)/((12259/115)/13). Is 0 < u?
True
Let t = 11/11402 + 143623/16589910. Which is smaller: t or 1?
t
Let c be (-4 - (-64)/20) + (7 - (-579960)/(-93675)). Which is greater: c or 1?
1
Let m = 2390 + -1714. Is 5 > m?
False
Let n(l) = l**2 - 9*l - 6. Let z be n(10). Suppose 4*t + 0 = z. Suppose 3*u = 4*b + t, -u = -7*b + 2*b - 4. Is -1 at least as big as b?
True
Let o = 3981 - 27519/7. Let c = o - 346/7. Which is smaller: c or -0.09?
-0.09
Let t(a) = a - 5. Let w be t(4). Let g be (2 - 1)/(w + -4). Let u be 14/16 - (-5)/40. Is g greater than u?
False
Suppose -301 = -5*k - 31. Let i be 2/(20/k) + (-36)/90. Let q be (i/9)/(58/261). Which is bigger: q or -0.1?
q
Let y = -341/7950 - -10/159. Let q = 1002.972 - 1002. Let h = q + 0.028. Which is smaller: h or y?
y
Let y be ((112/20)/(-7))/((-4)/2890). Is 2 < y?
True
Let z be (6226/849)/((-2)/(-138)). Are z and -1 equal?
False
Let c be (139 + -1)/(-20 - -21). Suppose -c*x + 1092 = -142*x. Which is smaller: -272 or x?
x
Let l = 1 - 3. Let m = -355 - -386.6. Let o = m + -31. Which is bigger: o or l?
o
Suppose 1 = -a - 0. Suppose 0 = -22*p - 5*p - 54. Let j be (-616)/126 - (p/2 - 4). Which is greater: j or a?
j
Let q(t) = 7*t**2 + 8*t - 287. Let w be q(-7). Let i be (-78)/190 - 5/(-25). Which is bigger: w or i?
w
Let b(k) = -3*k**3 + 37*k**2 - 12*k - 6. Let c be b(12). Let g be -136 + -1 + 2*1. Let q be g/c*(-3 + 0)/15. Do 0.3 and q have different values?
True
Suppose 0 = 2*o + 2*o. Let f = 1584 + -26948/17. Let s = f + 448/323. Which is bigger: o or s?
s
Suppose -52*z = -101*z - 128*z + 177. Does -2 = z?
False
Let l be (-117)/27 + 6 + (-67)/(-3). Let p(x) = 2*x - 36. Let h(v) = -2*v + 37. Let z(n) = 4*h(n) + 6*p(n). Let q be z(l). Which is greater: q or 27?
q
Let o be (274 + -269 + 289/5)/(2/(-120)). Is o < -3768?
False
Suppose 3*d = 690 + 711. Suppose 64*i - 1368 = -3*u + 67*i, 7*u - i - 3252 = 0. Is d <= u?
False
Let m = -1995.1 - -1994.7. Let q = 9 - 16. Which is greater: q or m?
m
Let v(g) = -3 + 1 + 3*g + 230*g**2 - 232*g**2. Let b be v(1). Which is bigger: 2/259 or b?
2/259
Let s = 176.57 + 3.43. Which is greater: 0.4 or s?
s
Suppose 3*w = -3*j + 18, -101 + 83 = -w + 3*j. Is 21 <= w?
False
Suppose 0 = 3*c - 56044 - 28391. Is c bigger than 28145?
False
Let p = -211.9 - 0.1. Let f = -244 - p. Which is smaller: 1/2 or f?
f
Let l(x) = -2*x**3 + 18*x**2 + 45*x - 406. Let r be l(9). Which is greater: 1/32559 or r?
1/32559
Let p = 9745/2 - 4873. Is -43 at most p?
True
Let i be -3*(-7)/63 + (-1 - 77540/(-116250)). Which is smaller: i or -1?
-1
Let a(j) = 33*j + 991. Let m be a(-30). Is 1/994 greater than m?
False
Let t = 1297234/7 - 185895. Which is greater: t or -576?
t
Let t(a) = 3*a**3 + 2*a**2 - 3. Let w be t(2). Let d = 17 - w. Which is smaller: -10 or d?
d
Let t be 1 + ((-6)/6)/((-62)/(-86)). Let n = 1538/3813 + t. Let p(a) = -a**3 - 5*a**2 + 6*a. Let x be p(-6). Which is smaller: x or n?
x
Suppose 6*m = 2*m + 312. Suppose 389 = 5*a + 2*y, -a = -5*y + 11 - 78. Is m equal to a?
False
Let p be -43*(0 - 22/2). Let b = 27310 + -26838. Is p at least b?
True
Let u(b) = -20*b + 1720. Let z be u(86). Which is greater: z or 2/4907?
2/4907
Let z be ((-15)/((-495)/(-22)))/(188/(-3)). Let x be 6*1 - (-26)/(416/(-112)). Which is bigger: x or z?
z
Let s = -8777 - -4366. Is s >= -4411?
True
Let k(j) = -j**3 - 15*j**2 - 6*j + 5. Let z(a) = -2*a**3 - 2*a**2 - 1. Let i(x) = -k(x) + 2*z(x). Let o be i(4). Is o >= 1/78?
True
Let u = -0.16845 + -82.34155. Let a = u + 83. Let j = a + -0.39. Are j and -10 non-equal?
True
Let o = 10.6 + -11.675. Let h = -273.925 + 274. Let g = o + h. Which is greater: -0.4 or g?
-0.4
Let b = -436666798/3721 - -117352. Is -1 less than or equal to b?
True
Suppose 0 = -6*r + 11*r - 95. Suppose -4*l + r = -3*v - 1, -v = -4*l + 20. Let x = v + -3. Is x bigger than -7?
True
Suppose 3*n - 2*q + 1549 = 0, 7*n - 1529 = 10*n + 2*q. Let r = 58856/39 - 2987/3. Let o = n + r. Which is smaller: o or 0?
0
Suppose 3*u - u - 12 = 0. Let w be (-5)/15 - (-14)/u. Let c be ((-936)/128)/(-13) - 0. Is w at most as big as c?
False
Suppose 1933 = -d - 3*m - 213, 4*d + 8507 = -m. Which is bigger: -2126 or d?
d
Let r(n) = 2*n**3 - 7*n**2 + n + 15. Let m be r(5). Let u = m - 148. Let k = -369/7 - u. Which is greater: k or 15/2?
15/2
Let d = 354 - 354. Let l be 16/(-3*(-6)/9). Suppose -4*h - 4 - l = d. Which is bigger: -2 or h?
-2
Suppose -4 = -3*j + 5. Suppose -n = -3, -n = 3*q + j*n - 45. Let v = q + -13. Which is smaller: v or -11?
-11
Suppose 5*t + 2*c - 595 = -552, 24 = 3*t + c. Let a = -661/154 - -92/11. Which is smaller: a or t?
a
Let w(t) = t**3 + 35*t**2 - 108*t - 1469. Let j be w(-37). Which is smaller: -220 or j?
-220
Let u = -3103/10 - -311. Suppose 50*o - 37 = 13*o. Which is smaller: u or o?
u
Let r be (-5 + 6)*(-7 - (10 - 11)). Which is bigger: -877 or r?
r
Let n = -2199 - -2198. Which is greater: n or 7/20?
7/20
Let c = 1150 + -603. Let m = -557 + c. Is -18 bigger than m?
False
Let a(r) = 28*r - 237 + 147 - 7*r. Let q be a(7). Let l(y) = 13*y**2 + 3*y - 2. Let o be l(2). Which is bigger: o or q?
q
Let k = -11.2 - -11. Let x = -10.26 + 0.22. Let d = x - -0.04. Is d < k?
True
Let p = -2/78647 + 83977/209594255. Which is bigger: p or -1?
p
Let m = -250 + 383. Suppose -53*r = -3*o - 52*r + 398, r = 2*o - 266. Is o equal to m?
False
Suppose 41*b + 24*b = 76*b - 1023. Is 100 < b?
False
Let w = -26103 - -29717. Which is smaller: w or 3618?
w
Let z be 6/(73749/(-6266) - -12). Is 26 equal to z?
False
Let r = 168 - 179. Let w be 6 + r + 5 - 1/10. Which is smaller: w or 7?
w
Let o = -364439726/465 + 783742. Let k = -1/1818 - 3481/281790. Let p = o - k. Is p smaller than -3/7?
False
Let t be 0*(-1)/3 - 0. Let r = -78 - -22. Let s = r - -58. Which is greater: t or s?
s
Let v(y) = -5*y**3 - 129*y**2 - 4*y + 3. Let u be v(-26). Let i = -106872111 + 24687638512/231. Let j = i - u. Is 0 at least j?
True
Let u(l) = 2*l**2 - 164*l - 1439. Let c be u(90). Let s be (-6)/2*208/(-12). Let r be (-4)/(-16) - 5/s. Which is smaller: c or r?
r
Let o = -8429 - -16262. Does o = 7833?
True
Let k = 73.482 - 74. Let p = -0.318 - k. Which is bigger: p or 92?
92
Let x = 13 - 3. Let q(l) = 13*l**2 - 6*l**3 + 12*l**3 - 8 + 3*l - 4*l**3. Let o be q(-6). Is o >= x?
True
Let u(b) = -2*b. Let i be u(5). Let q be (91/35)/((-4)/i)*-8. Let o = q - -51. Is o greater than or equal to -2?
True
Suppose -18 = q - 63*n + 67*n, -2*q - 12 = 2*n. Let f(d) be the third derivative of d**6/120 + d**5/60 - d**4/12 - d**3/3 - d**2. Let y be f(q). Is -3/4 < y?
False
Let t = 2087 - 2087. Let m be (4/(-96