 2*3/(-36). Is 0 smaller than u?
False
Suppose 3*n + 6 = 0, 175*x - 2*n = 179*x + 27780. Which is greater: -6945 or x?
x
Suppose -242 = -21*l - 746. Which is bigger: 5 or l?
5
Let h = 8822 + -7006. Is 1/3 != h?
True
Let c(f) = 17*f**2 - 19*f + 6. Let j be c(-10). Suppose -21*y = 351 + j. Let p = 112 + y. Does p = 27/5?
False
Let u = 0.253 - 0.023. Let x = 172735 - 172734.2. Which is bigger: u or x?
x
Let p = 0.04953 + 0.05047. Are 1373 and p equal?
False
Let b be 3/30 + 4/10. Let i = 385 + -381. Let h be i + (-5)/(-5) - 4. Is h <= b?
False
Suppose -12*w - 528 = 24. Let a = w - -61. Is a bigger than 61/4?
False
Let j = 19135 + -1569073/82. Which is greater: -1 or j?
j
Suppose -d + 24 = 4*s - 24, -2*d + 114 = -s. Suppose 2*l + 0*l - d = 0. Let j = l + -29. Is 15 equal to j?
False
Let r = -21377 - -16413. Is -4962 at least r?
True
Suppose -4*a + 1 = -5*w - 169, w - 78 = -2*a. Suppose 43*x - 1661 = 489. Suppose 5*t - x = -a. Do 6/5 and t have the same value?
False
Let a = 13852/2347955 - -8/1955. Which is greater: a or -1?
a
Let z = 0 + -0.1. Let v = 4.2458 - 50.2458. Is z less than v?
False
Let v = 82.6 - 503.6. Let d = 426 + v. Is d < -5.3?
False
Suppose -3*o - 152 = -5*x, -7*x - 200 = 5*o - 2*x. Let l = o - -92. Let z(d) = 6*d + 89. Let y be z(-7). Is y equal to l?
False
Let d = 851 - 1312. Let y = 853 + d. Which is smaller: -2/3 or y?
-2/3
Let o be (-456)/(-399) + -1 + 5. Is -1/2 != o?
True
Suppose -30*p - 106 = 2084. Suppose -2*k = -4*l + 8, 4*l - 11 = -4*k - 3. Suppose 9 = -3*i, -l*s = -5*s - 4*i - 234. Is s not equal to p?
True
Let y be 1 - -6 - 546/114. Suppose -2*r - 13 - 3 = -5*j, 0 = 2*r + 5*j - 24. Is y less than r?
False
Let d(r) be the third derivative of r**5/40 - 3*r**4/2 + 19*r**3/6 + 9*r**2. Let k(h) be the first derivative of d(h). Let c be k(12). Is 4 at least c?
True
Let b = -36362/11271 - 4/867. Let s(d) be the third derivative of -d**4/24 - d**3/6 - 12*d**2. Let i be s(3). Is i smaller than b?
True
Suppose 0 = -108*m - 5181 - 975. Is -28 less than or equal to m?
False
Suppose 2*v - 19*v + 9 = -8. Let c be ((-1)/(-33))/(8/3). Let r = 7/132 - c. Is r at most v?
True
Let y be 9/(-9) + (165 - 2). Let c = y - 159. Which is smaller: 34/9 or c?
c
Let o be (-878)/6 - (-2 + 5/3). Let j = -141 - o. Let g = -12 - -12.2. Which is greater: g or j?
j
Let c = -0.459 - 537.541. Let o = c - -551.05. Let q = 13 - o. Is q less than -1?
False
Let h = 6366 + -833954/131. Is 1 at least h?
True
Let f = 235 - 242. Let b be (-1 + f/(-14))*(-26)/1. Which is smaller: b or 18?
b
Suppose -4*x + 6*x - 8 = 0. Suppose x*f + 2*f = 0. Let b = 1 - 2. Do f and b have different values?
True
Let y(m) = -m. Let k be y(-2). Let n be ((-10)/(-42))/((-688)/7488 - (-147)/637). Does n = k?
False
Suppose -2*w - 63 = -5*n, 5*w + 106 = 2*w - 4*n. Let c be (-17)/w*2/21. Which is greater: c or -1/16?
c
Let t be (3435 + (10 - 6))/(-138). Let q = -149/6 - t. Let x = 3.07 - 0.07. Is q greater than x?
False
Suppose 28 = -23*r - 64. Let f be (-3)/20*r - (-386)/15. Is f equal to 25?
False
Let u(i) = -8*i**2 - 55*i - 114. Let p be u(-8). Which is greater: -10 or p?
-10
Let v(i) = -i**3 - 8*i**2 - 2*i - 12. Let x be v(-8). Suppose -3*h = -4*m - 35, -x*h - 5*m - 3 + 29 = 0. Let a be (h - 5) + 108/(-26). Which is greater: a or 2?
2
Let d = 200 + -282. Let y be d/(-205)*(-30)/88. Which is smaller: 1 or y?
y
Suppose 0 = 4*y + 1091 - 895. Let g = -71 + 23. Which is smaller: y or g?
y
Let p(t) = -t**3 + 13*t**2 - 10*t - 24. Let z be p(12). Suppose -2*w - 106 = -f, z*f - 5*w = f - 92. Is f at least as big as 102?
True
Suppose -29*k = 4*k + 33. Let o be (k/(-2))/(9/(-287 - 10)). Let f be ((-12)/40)/(12/(-10)). Is f bigger than o?
True
Let u = 20911 - 21094. Is -2388/13 at most u?
True
Suppose -85*m - 55556 = -108*m + 22069. Is 3375 less than or equal to m?
True
Let c be 6 + -4 - -1 - 0/4. Let q be c/(-2)*(10 - 12). Is 2 less than or equal to q?
True
Let p(w) = -w**3 - 2*w**2 + w + 3. Let z be p(0). Suppose -2*g = 2*m + g - 1, 0 = -3*g - z. Let h be m/(-8) - 15/(-80)*4. Is -1 > h?
False
Let y = 42721042/405 + -105484. Is y > 1?
False
Let c = 18.02 - 0.02. Let g be 12 + (-230)/30 + (-1 - 4). Which is bigger: c or g?
c
Let p be 15 - 10 - (-3077)/6. Let l = p - 517. Let s = -1289/10 - -129. Which is greater: s or l?
l
Let y be 1020 - (0 - -9 - 10). Which is smaller: 1019 or y?
1019
Let n = -164 - -163.9. Let r(h) = -7*h + 9. Let c be r(14). Let l = 169/2 + c. Which is smaller: l or n?
l
Suppose -7*d + 11*d = 0. Which is greater: d or -3/187?
d
Let f be -2 - (6 - (36/3)/3). Let u be ((f/(-12))/((-3)/27))/1. Is u less than 0.34?
True
Let j = -4.90691 + -0.09309. Which is greater: j or 444?
444
Suppose 15*g - 1493 = 3952. Let a = -21415/59 + g. Which is greater: 1 or a?
1
Let v(t) = -15 + 4*t - 9 + 8. Let h be v(7). Let y be (-18)/(-21)*56/h. Is 3 >= y?
False
Let w = 11 - 11. Let v = -3 - w. Let g = 72.4 + -73.4. Which is greater: g or v?
g
Let z = -0.45 - -0.98. Let b = -5.87 - z. Let f = b - -5.6. Which is greater: 1/4 or f?
1/4
Let y = -30714.889 + 30748. Let f = 0.889 + y. Which is bigger: f or -4/9?
f
Let x = -28 - -48. Suppose -x + 29 = 3*d. Suppose 0 = -d*n - n + 12. Which is smaller: n or -0.2?
-0.2
Suppose -4*j = 2*p - 342, -5*p = -40*j + 38*j - 795. Which is bigger: p or 164?
164
Let d be 2/(-31) + 2280400/620. Suppose 32*n - 254 = -d. Which is bigger: n or -106?
-106
Let f = 455 - 152. Let w = f + -262. Is 41 <= w?
True
Let v = -32.9 + -219.1. Let p = -25293/2 + 12647. Which is bigger: v or p?
p
Suppose -3*y - 2*y + 15 = 4*z, 2*y = 4*z + 6. Let a be 748/(-85)*(21/6 - 1). Let c be a/(-121)*((-2)/16 - z). Which is smaller: 1/4 or c?
c
Let w(g) = -24*g + 1. Let v(q) = q**3 - 10*q**2 + 8*q + 8. Let t be v(9). Let y be w(t). Suppose -y + 102 = -7*n. Is -11 < n?
False
Let u = 237.01 + 4.79. Let a = -238 + u. Which is greater: a or -1?
a
Let v be 3/((-27)/(-49)) - 1. Suppose 18*b + 3*q = 87, 183*b - 4*q = 186*b - 11. Are v and b nonequal?
True
Suppose 4 - 17 = -h + 3*r, -13 = 3*h + 4*r. Let l = 15/568 - 961/47144. Is l != h?
True
Let i = -2.06 + 0.06. Let t = -2.4 - i. Let x = -5.63 + 5.53. Which is bigger: x or t?
x
Let g be 25/5*2848/40. Which is greater: g or -17?
g
Let s(k) = -k**3 + 11*k**2 - 7*k + 14. Let c be s(7). Suppose 20*l = 27*l + c. Are -22 and l equal?
False
Let t be 2 - 12750/(10/(-1)). Is t smaller than 1/3?
False
Let h(b) be the second derivative of -2*b**4/3 - 5*b**3/2 - 16*b**2 - 7*b + 11. Let n be h(-2). Which is smaller: -38 or n?
-38
Let p be 272 + (1 - (-3)/(-1)). Let m be 3/15 + 529/p*-1. Let w = m - -1/108. Which is smaller: w or 1?
w
Let u be (3699628/396)/(2*(-15)/(-18)). Let b = 61613/11 - u. Let d = b + 62/15. Which is bigger: -1 or d?
d
Let i(m) = -m + 4. Let u be i(6). Let k be 48/(-1008)*4/(-538). Let t = k + -135602/73437. Is t smaller than u?
False
Let z be 84/63 - (199/312 + 1). Let g = z + -3/104. Is g != 7?
True
Let t = 6067 + -11186. Which is smaller: t or -5118?
t
Let o = -76 - -76. Suppose -5*h + 0*h + 15 = o. Let b be h/2*-6*(-5)/270. Which is greater: -1 or b?
b
Suppose 0 = 5*h - 2*a + 2, -5*h - 1 = -4*a + 3. Let l(u) be the third derivative of u**4/24 + 13*u**3/2 - 538*u**2. Let j be l(h). Which is smaller: j or 38?
38
Let z = -1827 + 1747.3. Let o = -81 - z. Let f = -182 - -1272/7. Which is smaller: o or f?
o
Suppose -99*x + 57822 = -65928. Is x bigger than 1249?
True
Let h = 3908 - 703. Is 3202 at least h?
False
Let y = -9224 + 9224. Which is greater: y or -4/2305?
y
Let c = -2.8 + 2.7. Let w = -0.3 - c. Let r = -93.6 + 94. Which is bigger: r or w?
r
Let t = -469/6 + 570767/7302. Which is smaller: t or 0?
t
Let l be (-9 - -11)*552 - -16. Is 0 at most as big as l?
True
Let t be 3*25/(-90)*-5*9/75. Let z = 4.08 - 0.08. Is z not equal to t?
True
Let t be (-3 + 3 + 0)/2. Let f be (-3*(-6)/27)/(712/48327). Which is smaller: f or t?
t
Let t be -8 - (-3*(-4)/(-18))/(7/21). Suppose -y - l - 7 = 0, -4*l = -6*l - 10. Let g be (y/(-1))/(-2) + t. Which is smaller: 3 or g?
g
Let s = 98.79 - 4.79. Let d = -99 + s. Which is smaller: 15 or d?
d
Suppose -17*f + 17*f + 11*f - 2981 = 0. Which is smaller: 270 or f?
270
Let g(o) = -o**2 - o + 10. Let p be g(2). Let d be 715/4800 - p/30. Which is smaller: 1 or d?
d
Let g(q) = 8*q**2 + 13*q + 11. Let u be g(-3). I