et p be 2867/(-3642) - 60/432*-6. Which is bigger: -1 or p?
p
Let r = 8015 - 8014. Is -2/2233 >= r?
False
Suppose 11184 = -373*m + 349*m. Are m and -466 equal?
True
Let k be -72 + 74 + (-15)/(-3) + -3. Does 0.595 = k?
False
Let g be (26/(-208))/((-2)/1072). Which is smaller: g or 60?
60
Suppose -7*r = 7094 + 3917. Do r and -1573 have different values?
False
Suppose -177 = -2*n + 63. Suppose 3*p = -2*p + n. Suppose -106 + 10 = -4*y. Is y >= p?
True
Suppose -3*q - 2*y + 204 - 178 = 0, -4*q = -4*y - 108. Let x be (-149)/(-9) + (-2 - -1). Which is bigger: q or x?
q
Let c(o) = -o**3 - 2*o**2 + o - 6. Let h be c(-3). Suppose h = -5*n + 5*x - 5, -n - 5 = 3*n - 5*x. Let z be -42 - n*2/(-6). Are z and -83/2 non-equal?
True
Let o be (-27)/(-225)*5/(-2128)*4. Are 1 and o nonequal?
True
Let c(w) = 6*w - 2. Let d be c(-3). Let m = -407 - -219. Let u = m - -167. Which is smaller: d or u?
u
Let c be ((-16)/40)/(((-30)/25)/3). Which is greater: 2/4131 or c?
c
Let h be (-1755)/(-5) + -3 + (0 - 6). Let i = -426 + h. Do i and -84 have the same value?
True
Let g be 2/(-5)*(-2)/(32/(-10)). Let r(n) = n - 21. Let v be r(29). Suppose 3*h + 4*o + 42 = 0, -6*h - 4*o = -v*h - 8. Is h at most g?
True
Let t = 86 - 85. Which is greater: t or -13/199?
t
Let o = 249 - 237. Suppose 0*u + 72 = 5*f - u, 3*u = -6. Let j = -3 + f. Is o at most as big as j?
False
Let c(g) = 7*g - 17. Let p be c(7). Suppose -3*d = -4*h + p, 3*h - 9 = 4*d + 22. Let n be (d - 60/(-14))*7. Is 7/4 less than or equal to n?
True
Let o = -1.916 - -2.116. Are -6/725 and o equal?
False
Let b = 80387/5 - 16076. Is b less than 0.018?
False
Let t = 1537 + -2433. Let c = -981 - t. Which is greater: -86 or c?
c
Let o = -559 - -562. Let k be ((-4)/o)/(7 - 11)*-3. Is k at least as big as -5/12?
False
Let m = -0.0552 - -280.0552. Let u = -280.1 + m. Is -5.1 at most u?
True
Let n(t) = -7*t**3 - 5*t + 4. Let s be n(3). Let u = 93556 - 93755. Is s at least as big as u?
False
Let i = 3 + 0. Let o = 688 - 689. Let f be 11 - i/(2 - o). Is 11 smaller than f?
False
Let n = 0.094 + 107.906. Let u = n + -108.18. Is u less than -1?
False
Suppose -138*j - 12*j = -12*j + 40848. Let a = -322 + 27. Which is bigger: j or a?
a
Let f be (5 + (2 - 1))/(-39 + 23310/595). Suppose 35 + 1 = -2*c. Let n = f + c. Is n < -2?
False
Let l = -2084/5 + 87523/210. Are l and 12 unequal?
True
Let t(b) = -b**3 - 9*b**2 - 6*b - 30. Let d be t(-9). Suppose 0 = -16*m + d*m. Are 4/187 and m unequal?
True
Suppose 188 = -45*x - 2*x. Which is greater: 112 or x?
112
Let r be (-913)/((10 - 6 - 16) + 13). Which is smaller: r or -8?
r
Let k = 6443.69 - 6444. Which is smaller: k or -60?
-60
Let t be (-78)/(-104)*(-20)/15. Which is bigger: t or 3/3668?
3/3668
Let c = 15 + -7. Let n = -2.869 + 2.899. Which is smaller: c or n?
n
Let z = 218.15 - -4.85. Let x = -186 + z. Is 0.3 greater than x?
False
Let b = 20 - 30. Let k = 484.89 + -477.89. Which is smaller: b or k?
b
Let y = -0.3 - -0.2. Let r be 12*(-10)/(-28)*(-84)/(-24). Let i be (180/(-8))/r*1/(-14). Which is smaller: i or y?
y
Let x = 156124 - 319117473/2044. Which is smaller: 0 or x?
x
Let n(z) be the first derivative of z**4/2 - 7*z**3/3 - 11*z**2/2 + z + 140. Let c be n(5). Is c not equal to 20?
True
Suppose 310*c = 17*c. Is c less than or equal to 4/4185?
True
Let k = -7021/2 - -3510. Is k > 480/11?
False
Let z(u) = 376*u + 5271. Let r be z(-14). Which is greater: r or 590?
590
Let z be ((-137)/(-1918))/((-4)/(-70)) - (-59338)/(-47464). Is -1 > z?
False
Suppose l - 139 = 3*h, 5*h + 19 = 2*l - 212. Which is bigger: -56 or h?
h
Let z(w) = -2*w**3 - 48*w**2 + 55. Let k be z(-24). Let a = -168 - -223. Is a at most as big as k?
True
Let q be (2905/249)/(10/(-12)). Are q and -624/41 equal?
False
Let x(u) = u**3 + 12*u**2 - 10*u - 140. Let r be x(-14). Which is greater: -388 or r?
-388
Let v = -258 + 1531/6. Let n = 7/3 + v. Is n less than -11?
False
Let i = -0.832 + 0.8998. Let p = -55.8678 + i. Let j = p - 1.2. Is -0.2 less than j?
False
Let l(y) be the first derivative of -y**4/4 - 14*y**3/3 + y**2/2 + 16*y - 34. Let g be l(-14). Suppose -48 = z + g*z. Which is smaller: 0.3 or z?
z
Let m be 30/9*(-144)/(-15). Let b = m - 92/3. Let i = 92 - 93. Is i greater than or equal to b?
False
Let c be (-95700)/1275 + (-42)/3. Is -88 > c?
True
Suppose -2*r + 4*r - 3*y + 405 = 0, 0 = -5*r + 2*y - 1040. Which is greater: r or -1265/6?
r
Let j = 0.801 + -1.272. Let c = 35.429 - j. Let m = c + -36. Which is greater: m or -16?
m
Let w = 28511/1300 + -3587/100. Is -15 greater than w?
False
Let r = 0.3 + -0.2. Let x = 632 + -631.32. Which is smaller: r or x?
r
Suppose 1115409 = -172*w + 39*w - 30*w. Which is smaller: w or -6842?
w
Suppose 0 = -6*k + 2*k. Suppose k = -0*l + l. Let b = 14233/119 - 836/7. Is l at most b?
True
Let m be ((-102)/(-30) + -1)/(15 - 1323/90). Let j = 251/77 - -37/7. Is j <= m?
False
Let v = 169 - 516. Let l = v - -342. Which is greater: l or -14/3?
-14/3
Let y be (-1158)/24*((-4)/(-5) + (-704)/80). Is 0.1 at least as big as y?
False
Let f = -24689/3128 + 7/391. Suppose 0 = 5*c - 151*q + 150*q + 46, -3*c - 60 = -6*q. Which is bigger: f or c?
f
Let j(d) = -d**3 - 8*d**2 - 4*d - 16. Let n be j(-7). Let q be (-2)/(-6)*-3 - -6. Suppose 5*i + 5 = 0, -q*i = 2*k - k + 41. Which is bigger: k or n?
k
Suppose 264*w - 271*w = -14. Let a be (2 - -4) + -3 + w + -72. Let n = -0.2 + 0.2. Are n and a non-equal?
True
Suppose 109 = 3*m + 133. Let y be 42/9*(-36)/m. Is 21 at least y?
True
Let r = -3251 + 2993. Is r at least -262?
True
Let o = -21367 - -21328. Let i = 0.3 - -0.7. Does i = o?
False
Suppose 0 = -4*x - 5*h - 1 - 16, 2*x = -h - 13. Let j = x - -10. Let z be -3 + (1 - (-27)/6). Which is greater: z or j?
z
Let o = -2483 - -2511. Let s = -0.027 - -29.027. Let m = o - s. Do 2 and m have the same value?
False
Suppose -46*d + 22 = 22. Let b be (4*(-12)/15)/((-194)/10). Which is smaller: d or b?
d
Let o = 1714 - 1710.308. Let a = -3.7 + o. Let k = a - -4.008. Which is greater: k or 1?
k
Let m(d) = -5*d - 48. Let h be m(-11). Let t be (-28)/(-280)*2*h. Is t less than 2/3?
False
Let c(g) = -989*g - 559. Let x be c(-4). Which is bigger: 3396 or x?
x
Let y = 7.943 + 0.057. Let w = y + -47.4. Let v = -39 - w. Which is bigger: v or 7/6?
7/6
Suppose -3*a - 12 = 0, w = -w - 5*a - 42. Let g = 313/2 + -156. Which is smaller: w or g?
w
Let l(i) = -835*i**2 - 7*i + 7. Let v be l(1). Which is bigger: v or -0.1?
-0.1
Let o be 4/6*(-4290)/(-44). Let d = 66 - o. Which is greater: -3/74 or d?
d
Let w(y) = -30*y - 58. Let z be w(-8). Suppose 0 = -8*o + 38 - z. Which is smaller: o or 0.3?
o
Let i = -0.86 + -106.14. Let r = i - -85. Is r != 0.4?
True
Suppose 6*z + 65 = 509. Suppose 0 = 4*v - m - z, 0 = 8*v - 6*v + 2*m - 42. Are v and 22 unequal?
True
Suppose 5*m = -3*i + 2*m - 360, -m - 486 = 4*i. Let j = i + 123. Which is smaller: -2/191 or j?
-2/191
Let x be ((-6)/(-1944))/((-6)/(-4)). Let s = x - -5785/22842. Is 1 < s?
False
Let g = -908.465 - -909. Is -4 bigger than g?
False
Let x(f) = -f**3 - 8*f**2 + 19*f - 14. Suppose 5 = t + 3*y, y - 21 = t - 6. Let z be x(t). Is z > -39/14?
False
Let b = 29 + -11. Let i be (b/12)/(-3)*-2. Is i > 2/165?
True
Let x be 364/7 + 3 + (4 - 10). Let a(q) = -2*q**2 + 5*q + 2. Let l be a(4). Let b be ((-12)/l)/((-5)/(-200)). Which is smaller: x or b?
b
Let z be ((140/(-210))/(1 - 10/6))/(-1). Which is bigger: 1/70 or z?
1/70
Let h = -113936 - -113923. Let n = 0.24 - -11.76. Is n less than h?
False
Let b(y) = y**3 - 33*y**2 + 254*y + 120. Let i be b(20). Is -2/2589 at least as big as i?
False
Suppose 0 = -30*k + 73 - 43. Which is smaller: k or -2/10673?
-2/10673
Let u = 35886/79135 + -1/1862. Let c = u + 4/85. Which is smaller: c or 16?
c
Let q = 0 - 3. Let s(a) be the second derivative of -a**4/6 - 5*a**3/6 - 2*a**2 + 17*a + 11. Let i be s(q). Is 3 <= i?
False
Suppose 21*k - 3 = -84 - 66. Which is bigger: k or -576/79?
k
Suppose 4*a - 392 = 4*f, 3*f + 19 = 7. Which is smaller: a or 150?
a
Let a = 179 - 165. Let j be 2/(-14) - (7 - 156/a). Are 4 and j nonequal?
False
Let p be ((20/3)/((-6)/(-9)))/1. Let b be (190/24 - 8)*p/33. Which is greater: 1 or b?
1
Let g = -71 - -75. Let v = -14 - -5. Let d be (-12)/v*g/16. Is -24 <= d?
True
Let c be 2/(-7) - (4 + (-36460)/8505). Let u = -141179/3402 - c. Whi