90553. Let z = -323 - b. Suppose 5 = -2*d + 7*d. Is d <= z?
True
Let h = 8183.37 - 8130. Let t = 56 - h. Which is smaller: t or -0.1?
-0.1
Let g be -770 - ((-3)/2 + (-7)/(70/25)). Which is smaller: -778 or g?
-778
Let z = -4.87 - -5.07. Suppose 7*y + 64 = 3*y. Let f be (-7 - -9) + y/26. Which is bigger: z or f?
f
Let m = -1/14546 - 47777/247282. Which is smaller: 1 or m?
m
Let t(i) = 1190*i + 269833. Let l be t(-227). Let d be -1 - -1 - (297 - -1). Is d >= l?
False
Let g = 3/97006 - 303117/391225198. Which is bigger: 1 or g?
1
Let k be (-6 - 338)/(-3 + -31) + -10. Are 1013 and k non-equal?
True
Let t = -24.911 - 4.089. Which is bigger: t or 37?
37
Let b = 803 - 878. Is -1.4 != b?
True
Let d(a) = -8*a**2 + 7*a**2 + 388*a - 405*a - 53. Let z be d(-4). Is z at least as big as -2/1367?
False
Let o(b) = -13 + 12 - 19*b + 9 - 34 - 18. Let h be o(-9). Is 3 equal to h?
False
Let x = -7.97 + 3.97. Which is smaller: x or -0.0603?
x
Let r = -316 - -308. Let k(s) = s**3 + 3*s**2 - 43*s - 11. Let p be k(r). Which is bigger: 12 or p?
p
Let z(k) = -k**2 + 11*k - 9. Let h be z(9). Let s be -27 + h/12*4. Let j = -27 - s. Which is smaller: -9/4 or j?
j
Let v = 15740 + -15344. Is v not equal to 0.2?
True
Suppose 0 = 10*i - 9*i - 3*n - 14, 0 = 4*i - 5*n - 28. Let s be (-8)/30 - (-4)/18. Let m = s - -229/90. Which is smaller: i or m?
i
Let s be ((-7)/(140/(-72)))/((-5)/25). Let l be ((-4)/s*9)/(2 + -4). Are l and -0.243 unequal?
True
Let q be (1*-161)/(-16 + (-26129)/(-1632)). Do -15455 and q have the same value?
False
Let j = -373.77607 - -0.07607. Let g = j + 357.71. Let s = g - -16. Which is bigger: -1/6 or s?
s
Suppose -4 = 4*k - 5*k. Suppose 0 = -3*l + o - 3, -k = 2*l - 3*o + 5. Suppose h = -h. Is l bigger than h?
False
Let v(p) = -3*p**3 + 5*p**2 + 36*p - 174. Let u be v(4). Which is greater: u or -139?
-139
Let w(d) = 4*d + 76. Let p be w(-4). Let q be 16/28 - p/56. Let b = 6 + -5.74. Which is greater: q or b?
b
Let a = 6697/126 + -741/14. Which is greater: -6830 or a?
a
Let a = 3 + -3. Let u = -1 + a. Let t be (-5 + 1)/((-26)/(-4)*3364/(-377)). Is t at most u?
False
Let m(l) = -l - 8. Let z be m(-9). Let o(k) = 11*k**3 - 6*k**2 - 26*k - 14. Let j be o(7). Let x be j/(-4452) - (-3)/4. Is z equal to x?
False
Let f = -1800 - -638. Let v = -2963/2 - f. Which is smaller: v or -319?
v
Let s = 55 - 38. Suppose 0 = -5*o + 5*r - 2*r + 270, 4*r = 3*o - 151. Let g = 75 - o. Which is greater: s or g?
g
Let m(x) = -x**3 - 5*x**2 - 3*x + 2. Let r be m(-4). Let p(d) = -d**2 - 5*d + 64. Let g be 2/(-14) - (117/63 - 8). Let z be p(g). Is z greater than r?
False
Let p = 2 + 0. Let f = p - 1. Let z = 49.47 - 40.47. Is f less than z?
True
Let c = 2/531 + 503/7434. Let n(q) = -q**2 + 6*q - 3. Let y be n(5). Is c greater than y?
False
Let w be (-8)/(-8) - (-1 - 3094). Let h be 6/21 + w/140. Let l = h + -22. Which is smaller: l or -1?
-1
Let z be (-60)/(-90) + 1 + 0. Let p = 36 - 35. Does z = p?
False
Let d be (-1980)/63*(-84)/117. Is d not equal to 23?
True
Let t = -124 + 124.118. Let i = 2.882 + t. Which is bigger: 0.07 or i?
i
Let m = -361 - -360.808. Let o = -2.192 - m. Is o at least as big as 15?
False
Let v = -46.952 - 0.048. Let s = v + 82. Let k = -1284 + 1283. Which is greater: k or s?
s
Suppose 1866 = 5*w - 1124. Let n be (w/184)/(1/4). Which is smaller: n or 17?
n
Let n = -19169 - -18868. Let v = -0.8 + -0.2. Which is smaller: v or n?
n
Let y = 88 - 99. Let o(x) = x - 1. Let t be o(5). Suppose 45 = -5*f - 3*d - 0, 2*d = t*f + 58. Which is smaller: f or y?
f
Suppose -675 = 4*t - 1979. Let a = t - 327. Is a bigger than -6?
True
Let k = -46363552/291333 + -2/41619. Are -158 and k nonequal?
True
Let s(r) = -r + 3. Let w be (48/(-42))/((-3)/21). Let x be s(w). Is x at most -15?
False
Let q = -2015 - -1647. Is q <= -370?
False
Let a = -5991767526/14771 - -405644. Is a < 1?
True
Let i = -0.25 - -0.05. Let o = 0 + i. Let b be (261/(-2233)*11)/(1*3). Is o less than or equal to b?
False
Let i = 14419 - 14419. Let b be (2/(-25))/(19*-1). Which is greater: i or b?
b
Suppose 18618 = -19*l + 283288. Let h be 1/(-4)*3 + l/18424. Are h and 1 equal?
False
Suppose -21*j = -40 - 44. Let x be j/(-144) + 4/(-18). Which is smaller: -2/57 or x?
x
Let s = 3095.8 + -3096. Which is greater: 129 or s?
129
Let p = 904445/103 - 8781. Let y(x) = x**2. Let i be y(0). Which is bigger: p or i?
p
Let g be (-2 + (-10)/(-4))*0. Suppose -j - 246 = -81. Is j smaller than g?
True
Let m = 85.548 + 0.452. Let d = 0.211 - 87.211. Let b = m + d. Which is smaller: -1/49 or b?
b
Let x = -117 - -233. Let k = x - 2317/20. Are k and -0.2 equal?
False
Let k be 41*1*(6 + -10 + 3). Suppose -4*g = 2*i + 162, 3*g + 4*i - 54 = -183. Which is greater: k or g?
g
Suppose 0 = 20*j + 8*j + 61937 + 2407. Is -2297 >= j?
True
Suppose -w + 87*x - 10 = 92*x, -3*w = -4*x - 27. Let j be w/10 + (-98)/180. Which is smaller: -1 or j?
-1
Suppose -3*n + 5*p = 100, -156 = 5*n - p - 2*p. Let i = -836 + 884. Let u be (12 - 14)/(3/i). Is n less than or equal to u?
False
Suppose -2*a + 36 + 44 = 5*g, 0 = -5*g - 5*a + 80. Suppose x + s = 3 + g, -4*s + 46 = 2*x. Which is smaller: x or 19?
x
Let r = -157/46 + 247/69. Is r greater than or equal to -448?
True
Let d(z) = -7*z - 76. Let k be d(-11). Let b be (-2)/(-4) + 9/(-2). Let j be b + 5 - (k + 7). Is 2/3 greater than j?
True
Let p = 10966 + -10964. Which is smaller: -3430/13 or p?
-3430/13
Suppose 2*q + 6417 = -i, -q - 16*i = -14*i + 3204. Is q equal to -3210?
True
Let o = -0.58805 - 470.43195. Let x = o + 471. Which is greater: x or 13?
13
Let i be ((-189)/(-54))/(2/52). Let n be (-52)/i*(-14)/4 + 3. Is n > 10?
False
Let g(k) = 405*k - 465. Let j be g(-33). Is -13830 >= j?
True
Let q(r) = -2*r - 10. Let j be q(-7). Let b be 8*((-21)/27 + j/(-18)). Let m = 12 + -20. Is m less than b?
False
Let j be 126/145 + 8/(-10). Suppose 4*g + 4*h + 175 - 711 = 0, g - 4*h = 114. Let p = 129 - g. Which is smaller: j or p?
p
Let u(p) be the third derivative of p**4/12 - 12*p**3 - 16*p**2 + 2. Suppose 0 = -2*d - 0*d. Let q be u(d). Do q and -72 have different values?
False
Let s = 18790 - 21084. Is s smaller than -2293?
True
Let x = -12 - -9. Let c be 6 - -1*(-4 + 4)/5. Let j be ((-9)/(-21) + 0)*(c + -14). Which is bigger: x or j?
x
Let g = -26 + 38. Suppose -g*p - 35 = -19*p. Suppose -5*n = -10 - 5, 3*n = p*j + 34. Which is bigger: j or -3?
-3
Let b be 20/6 + ((-252)/36 - 8/(-2)). Which is smaller: b or 650?
b
Let r(d) = 37*d**2 + 60*d - 124. Let j be r(2). Is j <= 140?
False
Suppose d - 26 = 5*a, -24*d - 4*a - 16 = -20*d. Is -2/10801 > d?
False
Suppose 0 = 13*g - 14*g - 90. Let o = g - -78. Let c(p) = 2*p. Let s be c(o). Which is smaller: 0 or s?
s
Let b be 4*-2 - -45*(-34)/(-170). Let m(o) = o**3 - 2. Let y be m(0). Let i be (-10)/y*(-1 - -2). Which is smaller: b or i?
b
Let u(b) = -b**3 - 18*b**2 + 10*b + 72. Let i be u(-18). Let g be (i/(-40) - -1)*24/(-2). Which is smaller: g or -44?
g
Suppose -526*c = -772*c - 17220. Are -1/9 and c non-equal?
True
Suppose 0 = 98*y + 36 + 160. Which is bigger: -671 or y?
y
Let l be ((-210)/49)/15 - 1*936/(-3178). Let b(v) be the first derivative of -v**4/4 - 5*v**3/3 + 5*v**2/2 - 5*v - 3. Let u be b(-6). Which is smaller: u or l?
l
Suppose 131 = -o - 53. Let l be (50/(-6) + -4)/(89/1335). Which is smaller: o or l?
l
Let p = 17 - 16.5. Let z = p + -0.6. Do 0.2 and z have the same value?
False
Let z be 1/(-13)*1*48/(-4). Let w be ((-8)/(-40))/(1/5). Which is smaller: w or z?
z
Let a be 1056/78 + -1 + 3 + -6. Let g = -4177/442 + a. Which is bigger: g or 2/15?
2/15
Let d = 203.68 + -28.78. Let j = 175 - d. Let n = 9 + -2. Which is bigger: j or n?
n
Let z = 6567.58 - 6568. Is 22 at least as big as z?
True
Let q = 5.3747 + -5.4. Let d = q - -0.0293. Is -0.1 not equal to d?
True
Let x = -1265 + 1322.1. Let i = -57 + x. Is -0.23 at most i?
True
Let w(x) = x + 32. Let o be w(0). Let n = 43 - 15. Suppose -n = -4*z + 104. Which is greater: o or z?
z
Let s be (-3)/(108/(-10))*(-4773)/17. Let b = s + 78. Which is greater: b or 0?
b
Suppose -91*y = -10*y. Let s = -50 + 50. Do s and y have different values?
False
Let b(q) = 2*q**3 - 15*q**2 + 2*q + 13. Let v be b(7). Let r be ((363/v)/11)/(18/8). Is 0.1 at least r?
True
Suppose -s + 341 + 14680 = -10*s. Is -1667 < s?
False
Let t(