- 73. Which is bigger: 0.1 or i?
i
Let f = -223 + 213. Let t be 4/f + 2/((-5520)/(-1096)). Which is smaller: -1 or t?
-1
Let c be (-818 - -820) + (-3)/(-2003)*8011/(-6). Is 0 >= c?
False
Let r = 46 + -43. Let m be (2 + -4)*(1 - r). Let h be ((-72)/(-12))/(1/(10/m)). Which is smaller: 16 or h?
h
Let m(r) = -29*r - 15. Let v be m(-2). Let z = 108 - v. Suppose 2*p - z = -15. Which is smaller: 24 or p?
24
Let b be (0 - 2) + (2 - 0). Let u be b/(-1) + -1 + -1. Let z be 146/(-22) + (-11)/(33/(-15)). Which is greater: z or u?
z
Suppose 4*r - 20 = 8. Let q be 6/(-4) + r/(-42)*-21. Which is smaller: 2/3 or q?
2/3
Let c(x) = -4*x**3 + 2*x**2 + 2*x - 8. Let z(r) = -3*r**3 + 3*r**2 + r - 9. Let n(q) = -2*c(q) + 3*z(q). Let m be n(5). Is -8 greater than m?
True
Let u(h) = 2*h**2 - 100*h - 549. Let d be u(-5). Which is smaller: -2/26047 or d?
-2/26047
Let v = -0.26263 + 0.16263. Which is bigger: -16149 or v?
v
Let b be (0 - 0) + (-27)/((-5643)/(-95)). Let r be 2/5 - (-78)/(-120). Is r equal to b?
False
Let b = 51/11 - -298/33. Let z = b - 14. Let n be ((-60)/9)/5*(-66)/44. Which is bigger: z or n?
n
Let p be 6 + -2 - (-83)/(-1). Let i = -80 - p. Which is smaller: i or -10/11?
i
Suppose 0 = 2059*l - 2056*l + 6. Suppose 2*w + t + 59 = 0, -4*t + 0*t + 180 = -5*w. Let h be 18/27 - w/(-3). Which is smaller: l or h?
h
Let t = -123010.947 + 123065. Let w = 0.053 - t. Let d = 16 + w. Which is bigger: d or -0.1?
-0.1
Let s be (-6838386)/(-153)*4/16 - 1/(-6). Is 11173 greater than s?
False
Let v be (-3)/(-4) - (-45)/(-12) - -3. Suppose d + 10 - 5 = v. Is d bigger than 3?
False
Let l = 4.6 - 6.6. Let n = 2 + l. Let m = 0.85 + -0.7. Which is bigger: m or n?
m
Let b = 2/503717 - -3413186382/2518585. Are b and 1356 non-equal?
True
Let r = 33.991 - -0.009. Let o = 60 + -20. Let k = r - o. Which is smaller: -0.3 or k?
k
Suppose 0 = -5*n + 4*m + 1535, 3*n = 5*m - 7*m + 943. Suppose 5*r = 4*u + n, 4*u = -13*r + 8*r + 319. Which is greater: r or 62?
r
Suppose -5*c - 67 - 88 = 0. Suppose -580 = 171*l - 173*l. Suppose -13*b = -23*b - l. Is c greater than b?
False
Let t = -2460 + 2461. Is -43/117 at most as big as t?
True
Let d be 24/9 - 2/3. Let o be 10/(d/2) + -6 + 4. Let k(m) = -m**3 - 9*m**2 - 8*m + 9. Let a be k(-8). Which is smaller: o or a?
o
Let v be 6*1*(-16)/1176. Suppose -177 = -5*q - 792. Let w = 123 + q. Which is greater: v or w?
w
Let f(b) be the third derivative of b**5/6 + 35*b**4/24 + b**3/2 - 8*b**2 + 6*b. Let h be f(4). Is h equal to 302?
False
Let c(o) = -6 - 1 + 2*o**2 + 0 - 2 - 43*o**3 + 7. Let i be c(1). Is -48 at most as big as i?
True
Let v = 0.9728 + 10975.0272. Is 1/4 less than or equal to v?
True
Let c = -14181 + 9761. Is -4421 >= c?
False
Let j be (0 + 1)*(9985/2)/((-151)/302). Which is bigger: -9986 or j?
j
Let s = 457 - 544. Is -97 not equal to s?
True
Let v = -14853/22 - -675. Let x(u) = -u**2 - 11*u - 19. Suppose 5*h + 5*b = -30, 0*h = -h - 3*b. Let g be x(h). Is v greater than or equal to g?
True
Let w = -5877 - -5876.98. Is 3/35 greater than w?
True
Let t = -40.3 + -2.7. Let k = 43.056 + t. Let j = k + -0.196. Which is smaller: j or 0.1?
j
Suppose 672*m + 869*m + 411*m = 0. Let p = -65/4 - -16. Which is smaller: p or m?
p
Let s(i) = -48*i - 3177. Let f be s(-66). Is -151/15 at most as big as f?
True
Let p be -2 + (-4 - -16) - (-465976)/(-46599). Which is greater: -1 or p?
p
Let z = -67 + 70. Suppose -4*x + 25 = z*n - 2*n, -4*x - 100 = -4*n. Let i be 4*2 - (n - 21). Is 4 at least i?
True
Let m be 3310/6 + ((-70)/6 - -12). Suppose 4*s = 10*s - m. Is s at most as big as 89?
False
Suppose -12*n + 11*n = -a + 888, 3*n = a - 878. Are a and 892 nonequal?
True
Let t be (8 - (4 - 1)) + (-10470)/6. Is -1739 at most as big as t?
False
Let n = 106 + -63. Let r = -31 + n. Suppose 46 = -2*y + r. Which is greater: y or -15?
-15
Let i(n) = -6*n**2 + 57*n - 212. Let b be i(7). Are -73 and b unequal?
True
Let t = -134 + 131. Let b be (-8)/20*-5*1/t. Which is smaller: b or 0.2?
b
Let t be (-1)/(-6)*24/3*810/(-340). Is t != 0.1?
True
Let o = 3.18 - -0.44. Let p = o + -0.62. Is p at most -2?
False
Let s(j) = -j**3 - 7*j**2 - 5*j + 8. Let n be s(-6). Let p(c) = -3*c + 10. Let a be p(n). Let i = 1/107 - -1921/535. Which is greater: i or a?
a
Let q = -80 + 92. Suppose 3*j = 5*s + q, -j - 3 = 5*s - 7. Suppose s = -2*v - 4. Which is smaller: v or -3?
-3
Let f(b) = -b**3 + 5*b**2 + 8*b - 7. Let q be f(6). Let p be 8/440*965 + -3 - 11. Which is greater: p or q?
q
Let m be (1 - -1)*(-7)/57673. Is 1 not equal to m?
True
Let t = 18 + 5. Let m = t - 23.185. Let o = 0.115 - m. Is o at most -12?
False
Let l(j) = -5*j**2 + 34*j - 14. Let f(a) = -a**2 + 2*a - 2. Let h(k) = -4*f(k) + l(k). Let t be h(13). Which is bigger: t or 161?
t
Let o = -11482801 - -470818622/41. Let z = -580 + o. Suppose 10*d - 10 = -0. Which is greater: d or z?
d
Let i = 292 + -288. Suppose -i*n = 2*z + 334, 848 = z - 6*z + 3*n. Is z bigger than -170?
True
Let w(i) = -8*i - 9. Let h be w(-2). Let t = h + 29. Let o = 38 - t. Which is bigger: 21 or o?
21
Let k(j) = -2*j**3 - 38*j**2 - 31*j + 26. Let m be k(-18). Which is bigger: -7 or m?
-7
Suppose -4*d - 178 = 6. Let o = d - -60. Let n be ((-2)/o)/(4 - 3). Which is smaller: 0 or n?
n
Let w = 10311/2 + -5155. Are w and -1/239 unequal?
True
Suppose -c - 4*i = 3*c + 24, -5*i - 26 = 4*c. Let j be (1/c)/((-4)/(-48)*3). Is j less than -10?
False
Let p(s) be the first derivative of -s**3/3 - 15*s**2 + 120. Let m be p(0). Which is greater: 1/65 or m?
1/65
Let t = 153 - 149. Let h(q) = -q**3 + 2*q**2 + 2. Let k be h(2). Suppose 2*i + k*i + t*p = -12, 18 = -2*i - 5*p. Which is bigger: 1/27 or i?
i
Let k = -42699 + 332070127/7777. Which is bigger: k or 1?
1
Suppose -5*p - 5*r + 52 - 12 = 0, -5*r = -5*p. Suppose -h - h - 152 = -4*a, 2*a + 334 = -p*h. Let l = 408/5 + h. Is l < -11?
False
Suppose -197*a + 5 = -202*a, -y = 4*a + 6. Which is greater: -123/89 or y?
-123/89
Suppose -863*h - 135524 = -846*h. Which is greater: -7973 or h?
h
Let q be ((-9)/34)/((-3)/(-12)). Let n = -1072 - -1071. Is n less than q?
False
Let z = -241 + 66. Let h(k) = k**2 + 110*k - 4040. Let g be h(28). Which is smaller: g or z?
g
Let n be 33/(-3) + (1 - 3). Let p = 56 - -6. Suppose p = -g - 2*g + 5*d, 6 = g + 5*d. Which is bigger: g or n?
n
Let c(o) = -35*o - 1. Let h be c(-1). Let u(f) = -f**3 + 12*f - 44 - 4*f**2 - 7*f**2 + h. Let q be u(-12). Which is greater: q or -7?
-7
Let y = 3 - 47. Suppose -4*j + 9*j = -215. Which is smaller: j or y?
y
Let u be ((-354)/(-5))/(12/(-60)). Let h = u - -241. Is h greater than -111?
False
Suppose 2*s - 95*u + 90*u = 20, 0 = 3*s + 17*u + 19. Let w be (-4)/6 + (-8)/(-10). Which is smaller: w or s?
w
Let r = 340 - 115. Let p = r + -326. Which is greater: -102 or p?
p
Let z(b) = 2*b + 26. Let u be z(29). Suppose -13*s = -6*s + u. Is 3 != s?
True
Let s(h) = h**3 + 17*h**2 - 24*h - 5. Let q be s(-18). Let o = q - 110. Is 0.3 at least o?
True
Suppose 12*w = 23*w - 57*w - 45494. Is w equal to 4?
False
Let j(k) = k**2 + 176*k - 706. Let x be j(4). Which is smaller: x or -713?
-713
Suppose k = 6*k. Let d = -0.39858 + -417.60142. Which is smaller: d or k?
d
Let q = 1043 + -1041. Which is smaller: 583 or q?
q
Let l be (10/(-55))/(-1) + (-1312755)/(-89034). Let s = l + -284/19. Is s less than or equal to -1?
False
Let k(l) be the third derivative of -l**5/60 + l**4/4 - 19*l**3/6 + 10*l**2. Let s be k(5). Suppose -39 = 3*n + 3. Is n equal to s?
True
Suppose -3*s - 32 = s - 4*z, 16 = -2*s + 5*z. Let m be ((-6)/s)/((-54)/12). Let r = -5.43 - -5.43. Which is greater: m or r?
r
Suppose -r + 3*q = 71 - 3, -209 = 3*r - 4*q. Let g = 184 + -64. Let i be ((-108)/15)/(3*4/g). Is i greater than r?
False
Let r = -29/76 - -12/19. Let f be (-2)/(-2) + 6 - 5. Suppose k + 2*z = -2*z + 19, -f*z = -3*k - 13. Which is smaller: r or k?
k
Suppose -108 = -4*l - 96. Let c be 4*1 - 12/l. Which is smaller: -1/11 or c?
-1/11
Suppose -3*q - 2*w + 25 = 0, -9*w + 10*w = -1. Suppose -h + 3*d - 77 = 3*h, q = 3*d. Which is bigger: h or 16?
16
Let x = 5837.97 + -5838. Do 67 and x have different values?
True
Let s be (-3 - (1 + 1))*((-941098)/155)/(-43). Is s > -4951/7?
True
Let u(p) = 9*p**2 - 52*p - 14. Let o be u(6). Let i be (o/(-4) - 63/6) + -3. Suppose 88 - 28 = -5*l. Which is greater: i or l?
