(-2). Let h = -382 - -4212/11. Which is smaller: h or i?
i
Let o = 165 - 121. Is o bigger than 43?
True
Let g be (-8)/(-6)*9/88. Let l be 2/((-16)/4)*0. Is l > g?
False
Let x(b) = 9*b + 9. Let f be x(-12). Are f and -99 unequal?
False
Suppose -3 = -4*x + 5*x. Let g be 58/(-6) - 4/(-6). Let f = g - -6. Is x != f?
False
Let s be ((-15)/5)/6 - 30/4. Let f be (12/9)/(s/(-90)). Are f and 3 non-equal?
True
Suppose -3*k - 116 = 3*x - 509, 4*x + k = 530. Which is smaller: 134 or x?
x
Let v = -22 + 2. Let r = 27 + v. Is r smaller than 5?
False
Let z(q) = -q + 4*q + 5*q**3 - 4 + 34*q**2 - 4*q**3 - 29*q**2. Let i be z(-3). Suppose 3*p = -9, i*f + 4 = -p + 1. Do -2/59 and f have the same value?
False
Let y be ((-45)/(-18))/(89/(-2)). Is 1 greater than or equal to y?
True
Let l = 0.04 + -13.04. Let n = l + -9. Is n bigger than 0?
False
Let t = -181/93696 + -13/512. Let o = t - 434/4209. Is o smaller than -2/7?
False
Let i(v) = v**2 - 33*v + 104. Let r be i(30). Which is greater: 4 or r?
r
Let p = 0.245 + 0.055. Which is smaller: -5.4 or p?
-5.4
Suppose -67*n = -5*n - 372. Is n < 44/9?
False
Let a = 806187/103 - 7827. Let d = a - -370/721. Is 0 at most d?
True
Let f = 0.0618 + 2.4382. Is f != 0?
True
Let h(s) = -s**2 - s + 1. Let k(c) = 2*c**2 + 23*c + 24. Let a(v) = 3*h(v) + k(v). Let u be a(19). Is u > 47?
False
Let h = 17 + -8. Let u = 7 - h. Let c be (u - (1 + -2))*2. Which is bigger: -3 or c?
c
Let j = -23.9 - 2.1. Let g = j + 26.7. Is g greater than -5?
True
Let p = 395315/74 - 5342. Do -1 and p have the same value?
False
Let x = 0.27 - 0.37. Is x <= 17/10?
True
Let c = 2 - 2. Let y = -178/175 - -6/7. Which is greater: c or y?
c
Let d = -6 - 16. Let j = -324 + 301. Which is greater: j or d?
d
Let q = -16 + 16.06. Let s = q - 0.08. Let w = 12 + -12. Which is greater: w or s?
w
Let k be 9/24*8 - -407. Is k bigger than 410?
False
Let w(m) = -4*m - 2 - 3*m + m + m**2 + 3*m. Let f be w(4). Which is greater: f or -1?
f
Let p = -0.041 + -44.959. Let u = -40 - p. Is u equal to 4/5?
False
Suppose 13 = 2*q - z + 36, 4*z - 56 = 4*q. Which is greater: -24 or q?
q
Let z be ((-8)/14)/((-8)/28). Suppose 3*l - l = 4*c - 4, 4*l + z = 2*c. Does 2 = c?
False
Let b = -20.5 - -20.5. Let l = 32 - 54. Is b >= l?
True
Let i = -261.7 - -211. Which is bigger: -0.1 or i?
-0.1
Suppose j - 2*j = 6. Let b = -9 - j. Let t = b - -2. Which is smaller: -2 or t?
-2
Let p be 10*(-3)/(-6)*1. Suppose p*q + 20 = -2*c - 0, 4 = q + 2*c. Let a be 98/176 + q/33. Are a and 0 non-equal?
True
Suppose -3*k - 2*k - 5*w + 15 = 0, -23 = -3*k + 4*w. Suppose -k*d = -4*d + 1. Is d less than 1?
True
Let d(a) = -a + 6. Let q be d(9). Let c = -10/3 - q. Let m = 0.11 + 0.09. Which is bigger: c or m?
m
Suppose -144*f + 153*f = 0. Suppose -4*o - 9 = -7*o. Which is greater: o or f?
o
Let q = 0.2 + 0. Let n be ((-80)/6)/((-9)/(-108)). Let v = n - -158. Is q >= v?
True
Let x = 230.9 - 231. Is 85 less than x?
False
Suppose -5*q = -3*q - 12. Let o(j) = j**3 - 4*j**2 - 6*j - 14. Let i be o(6). Let v = i - 15. Which is greater: q or v?
v
Let t = -289 + 289. Let r be (7/12)/(5/(-81)). Let k = r + 46/5. Is t bigger than k?
True
Let d(o) = -4*o + 3. Let s be d(-3). Let y be (-50)/4*12/s. Let g be 85/(-25) + (-4)/y. Which is greater: -5 or g?
g
Let d = -3.6 + 4.6. Let w = 24.36 + -24. Is w greater than d?
False
Let h be (-2)/(-1)*3/6. Let t be (h + (-10)/14)*7. Suppose -t*k + 2*j - 2 = 0, -3*k - 4*j = k - 4. Is k greater than -6/7?
True
Let r = -284 + 854/3. Which is greater: -0.85 or r?
r
Let o(q) = q**2 + q + 8. Let n be o(0). Let h be (4/n)/(2/12). Which is greater: h or -0.1?
h
Let y(h) = -h**3 - 12*h**2 + 1. Let t be y(-8). Let p be (8/(-20))/(-3*1/t). Do -34 and p have different values?
False
Let f = 343 - 341. Is f <= 2/9?
False
Let w be 6/6 + -29*4/(-24). Which is smaller: w or 6?
w
Let b(a) = 16*a + 312. Let r be b(-20). Let c = -12 - -7. Which is greater: c or r?
c
Let l be 4*((-30)/(-8) - 3). Suppose 34 = 3*v - v + 4*f, -l*f + 15 = 0. Suppose 4*d - 4*a - 4 = 0, d + 26 = -4*a + v. Is -4 <= d?
True
Let u be (-2)/28 - 140033/3262. Which is smaller: -8 or u?
u
Let m be (-6 - (-795)/130)*(-2)/(-39). Is m > -1?
True
Let d = 0.163 - 0.2. Let o = d + 0.837. Which is bigger: o or -2?
o
Let o(w) = -13*w + 75. Let x be o(-6). Is x <= -1?
False
Let k = -2396 + 2160. Which is smaller: k or -234?
k
Let g be (-6 + -1)*2684/(-854). Let r = -29 - -49. Is g greater than r?
True
Let c(y) = -2*y**2 + 88*y + 62. Let a be c(45). Is a <= -146/5?
False
Let z = 5/503 + 473/3018. Which is bigger: z or 58/7?
58/7
Let y be -2 + (-8346)/(-72) + 3/9. Is 113 at most as big as y?
True
Suppose -4*n + 7*n + 93 = 0. Let w = -33 - n. Is -4/15 not equal to w?
True
Suppose o = -11*o + 180. Suppose o*j - 18*j + 3 = 0. Is -3/53 != j?
True
Suppose w + 2*w + 277 = -5*p, 220 = -4*p - 4*w. Let f be 184/p - (-6)/(-2). Let k = f - -558/91. Which is greater: -1 or k?
k
Let n = -736 - -737. Is n < 472?
True
Let y be 3/377*(-5774)/3. Let n = y - -200/13. Which is bigger: n or -1?
n
Suppose 25 = -3*w - 2*w. Let f = 13 + w. Suppose -4*k = 2*a - f, 5*a + 0*k - 31 = k. Is a less than or equal to 6?
True
Suppose n - 5*x + 2 = 76, -5*n = 5*x - 220. Is n <= 41?
False
Let k(x) = 2*x**3 + 6*x**2 + 6*x + 19. Let v be k(-5). Which is bigger: v or -109?
-109
Let h = -113 - -129. Let v = h - 18. Is v < -17?
False
Let q be ((-21)/35 - 0)*-5*11. Is q > -7?
True
Let f(t) = t**2 - 4*t - 2. Let b be f(5). Suppose 4*w + v = 181, b*w - 3*v = v + 112. Suppose 7*p + 2*q = 3*p - w, 3*q = 4*p + 24. Is p bigger than -8?
False
Let b(v) = v**2 - 10*v + 3. Let p be b(11). Suppose 0 = -p*x + 10*x - 12. Let m = x - -18. Which is bigger: 14 or m?
m
Suppose 18 = -3*g + g. Let t be g/(-10) + (-2)/5. Let r = 327 - 327. Is r at least as big as t?
False
Let y = -25.3 - -29. Let h = 3.7 - y. Is h <= 1.7?
True
Let x = -15 + 15. Suppose -2*n = 5*j + 50, 0 = -4*j - 7*n + 2*n - 40. Is x <= j?
False
Let q be 12/(-5) - 8/(-20). Let b be 25/(-1)*q/5. Suppose 4*z - b + 2 = 0. Which is smaller: 3 or z?
z
Suppose 3 = -y + 4. Let r be 3 - (1 - y*-4). Suppose -11 = -7*h + 3. Which is smaller: h or r?
r
Let x = 2.68 - 0.28. Let y = 2 - x. Let l = -0.3 - y. Which is greater: 0.2 or l?
0.2
Let c = 2331 - 2301. Which is greater: c or 38?
38
Suppose 5*z - 4*u = -0*u - 362, -u - 207 = 3*z. Which is greater: -72 or z?
z
Let m = -469 + 469. Let t(z) = z**2 - 6*z - 1. Let v be t(6). Let o = 1 - v. Is o less than m?
False
Suppose -4*x - 10 = 5*o, 3*x - 6*x = 5*o + 10. Is o >= 8?
False
Let d be 120/32*108/(-45). Is d != -11?
True
Let x be 9*((-5)/(-45) + 0)*-14. Is 2 greater than or equal to x?
True
Let g = -754734882185113358/145323339791 + 5/3091985953. Let o = g + 5193701. Let w = 214 - o. Which is greater: w or -1?
w
Let y = 1168 + -52558/45. Which is smaller: y or 2?
y
Let w(u) = 2*u**2 + 23*u + 4. Let l be w(-10). Which is bigger: l or -27?
l
Let w = 184 + -731/4. Let r(y) = -y**2 + 4*y - 3. Let p be r(3). Suppose b - 5*n - 17 = p, 2*b = -n - 4*n - 11. Is w less than or equal to b?
True
Let y = -89 + 89.98. Let p = 0.6 - y. Let b = p - 0.62. Which is smaller: b or 4?
b
Let u = -59 + 189. Is u at most as big as 0.2?
False
Suppose -5*h = -3*g - 48, -4*g - 3 - 1 = 0. Let x be 12 - (-2 - (2 - 5)). Is h equal to x?
False
Let f = 5 + -5. Suppose f = -3*x + 10 + 2. Let m be 5/3 - x/6. Which is greater: 3/10 or m?
m
Let l = 5.1 + -5. Let u be (-10)/(-55) - ((-245)/286 - -1). Which is smaller: u or l?
u
Let k = 487/6 + -81. Suppose 0*g - 2*g = -m + 5, g + m - 5 = 0. Let t be 4/2 + (-2 - g). Which is greater: t or k?
k
Let j = 7/5 + -16/15. Let v = -91.08 + 2.08. Let i = v - -89.5. Which is smaller: j or i?
j
Let c(l) = -l**2 - 5*l + 171. Let t be c(0). Is t less than 169?
False
Suppose -9 - 3 = -2*w. Let y = -583.4 + 583. Is w less than y?
False
Let a be (-139)/(-3) - 5/15. Let g = a + -461/10. Which is greater: 1 or g?
1
Let l(j) = 2*j**3 - 2*j**2 + 7*j + 10. Let t be l(-6). Let q = 6974/13 + t. Which is greater: q or 0?
q
Let c = -3 - -12. Let j = -246 + 245.9. Which is smaller: c or j?
j
Let b = -1565.9 + 1566. Are b and -12/7 equal?
False
Let b(v) = 29*v + 2. Let w be b(-1). Let k be 29/9 - (-6)/w. Suppose k = t + 5. Which is smaller: -2/3 or t?
t
Let p be (14388/3600 + -4)/((-30)/(-9)). Which is smaller: -1 o