 29643/160 + -741/4. Let a = u - -361/2080. Is -2 smaller than a?
True
Suppose -4*t - 2*v - 184 = 0, 7*v = -t + 4*v - 41. Is -0.044 < t?
False
Suppose -x = -4*x + 2*j + 49, 0 = -2*x - 3*j + 24. Are -22 and x non-equal?
True
Let l = 0.38141 + 0.01859. Is l bigger than 16?
False
Let b = -204 + 279. Let m = b + -148. Do m and -71 have different values?
True
Let q = -72 - -100. Suppose 2*i - q = 9*i. Is -4 at most i?
True
Let x(t) = -211*t**3 + 0*t + 0*t + 210*t**3 + 3. Let s be x(0). Suppose 0 = 2*r + 1 - s. Which is bigger: -4.2 or r?
r
Let q(t) = 520*t - 5131. Let l be q(26). Does 8387 = l?
False
Let y be 13/42 + (-1)/3. Let t(v) be the third derivative of v**5/60 + v**4/2 + 7*v**3/2 - 37*v**2. Let b be t(-10). Which is smaller: b or y?
y
Let o = 1757327/124 + -14172. Which is greater: o or -9/7?
o
Let x = 690 + -1809. Let b = x - -2241/2. Suppose 3*u - 6*u = -9. Which is greater: b or u?
u
Let z be 19168/(-64)*8/(-4). Which is smaller: -5 or z?
-5
Let b = -14500 - -9924. Let u be (-6)/(-33) - (-854)/b. Let v = 2603/624 + u. Is v <= 4?
False
Let x = 16 - 8. Let g be (0/(-2))/(x/2). Let a = -360/2509 + -2/193. Which is greater: a or g?
g
Let v = -1118.823 - 0.177. Let n = v - -1060.1. Let k = 59 + n. Which is greater: k or 62?
62
Suppose -5*b - 10*k = -5*k + 475, -3*k = 0. Suppose -2*u = -10, -2*d - 175 = -2*u + 5*u. Is d != b?
False
Let v(y) = y**2 + 8*y + 8. Let o be v(-7). Let x be (-2 - (-4)/(-16))/(19/(-4)). Which is smaller: x or o?
x
Let o = -2.02 - -2. Let x(v) = v + 2. Let m be x(0). Suppose -15*k - m = -16*k. Are o and k unequal?
True
Let g(w) = -73*w**3 + 5*w**2 - 2*w - 4. Let a be g(2). Let f be 481/a + 2/22. Which is bigger: -23 or f?
f
Let h(i) = -i - 13. Let p be h(-10). Let n be 1 - p/((-6)/(-2)). Suppose -n*u + 2 = m, -3*u - 1 = 2*u + m. Is 3/32 > u?
True
Suppose -8 = 13*a - 9 + 14. Is a bigger than -4/1929?
False
Let y be (-1 - (3 + -2)) + (-12)/2 + -859. Which is smaller: y or -866?
y
Let k be (142553/(-8973) + -3)*18/12. Let x = k - 3/997. Let b = x + 29. Is 2/11 equal to b?
False
Let y = 4354 - 4351.776. Which is greater: y or 0?
y
Let j be (-3)/((-36)/364) + -4. Let r = -27 + j. Suppose 2*w + h = -94, -5*w + 6*h = 5*h + 221. Which is greater: w or r?
r
Let m = -15 + 21. Let d be (-483)/(-441) - (52/42)/13. Is m greater than or equal to d?
True
Let s = 126.9 - 123. Let j = 4.1 - s. Let t = 1.8 - 0.3. Are j and t nonequal?
True
Suppose -71 = -5*a + 69. Suppose -82 = -3*r - u, -5*r - u - 310 = -16*r. Is a bigger than r?
False
Suppose -2*m + 24 = 22. Let l be (-4)/(-5)*(4 + 1)*m. Let w be 254/84 + (-5)/30. Which is smaller: l or w?
w
Let t be 1773/6*(-532)/(-114). Let w = -1381 + t. Suppose 2*a - 22 = -4*j, 5 = -2*a + 3*a. Is w greater than or equal to j?
False
Suppose -2*w + 2*c = -272 + 10, 0 = -7*w - 5*c + 1001. Is 150 greater than w?
True
Let h = -121 + 187. Let p = 68 - h. Which is smaller: p or 25?
p
Let d = 223 + -192. Suppose -22*y + d*y = 9. Which is greater: 2.3 or y?
2.3
Suppose 0 = -25*l + 30*l + 5*q + 25, -4*l + 4*q + 20 = 0. Is -1/7049 > l?
False
Let b = -6101 - -8175. Is 2078 at least b?
True
Let k be (60/(-27))/((-14)/63) - 11. Let g be 7497/380 + 2 + -2. Let t = g + -79/4. Which is smaller: t or k?
k
Let j = -177 - -10. Let r = -169.6 - j. Is r > 1?
False
Let x be ((-24)/(-10))/2 - 348751/287730. Which is greater: 0 or x?
0
Let v = -118 - -114. Let m be ((-3)/v - 1)*-4. Let x = 8401/30 - 280. Which is bigger: m or x?
m
Suppose -2*n = -b + 11, 0 = -b - 2*n - n - 4. Suppose -2*s + 5*x = -b*s + 18, 4*s + 3*x - 13 = 0. Let p be (2/(-105)*-3)/(12/18). Is p smaller than s?
True
Let c be 3 + (-33)/9 + (-3680)/(-5484). Let j = 750 + -749. Which is smaller: c or j?
c
Let d = 13/12 + -217/156. Let i = d - -463/1547. Suppose 340*b - 118*b - 6*b + 216 = 0. Which is bigger: i or b?
i
Let b be (-14)/63 - (13400/(-36) + -2). Let p = b + -398. Let i = -2 - -2.1. Which is bigger: p or i?
i
Suppose 17*s - 259 + 242 = 0. Let w = -286 + 3721/13. Does s = w?
False
Let p = 424 - 1286/3. Suppose -4*h - 32 = 2*n, 10*n + 2618*h - 2613*h + 85 = 0. Is n less than p?
True
Let b(z) = z**2 + 952*z - 16505. Let t be b(17). Let a be (14/8)/((-2)/36). Is a at least as big as t?
True
Suppose 6601 = -160*c + 137*c. Is -297 not equal to c?
True
Let f = 1099 - 2240. Let p be 0 - (-21)/(-6)*(-1)/f. Are p and 1 equal?
False
Suppose 2*u + 4*i = -1412, 15 = 3*i - 0. Is -716 greater than u?
False
Let w be 4/(12/6 + -1). Suppose -w*z - z + 2*u = 822, 2*z + 324 = -4*u. Is z >= -165?
True
Let p = -451 - -215. Let k = p - -236. Which is smaller: k or -4/19?
-4/19
Let p = 341030 - 340998. Suppose -8 = -5*x - l, -4*x = -0*x - 2*l + 2. Which is bigger: x or p?
p
Let b be (-18)/174*(22/18 + -1). Suppose -p + 5 = -4*r, 0 = 5*p - 4*r - 18 - 7. Suppose 4*f + x - p*x + 4 = 0, 2*f + 1 = x. Which is smaller: b or f?
b
Suppose 0 = 8*f - 3 - 5. Let v = f - 3. Let i be v*2/(-28)*-2. Is i at least -0.2?
False
Let y be (-2)/5 + (-6)/45*-3. Suppose q = y, -52 = 2*c + 2*q - 4*q. Let w(s) = -s**3 - 2*s**2 + 6*s + 3. Let k be w(3). Which is smaller: c or k?
c
Let m be (-17)/(-5) - (-2)/(-5). Let n = 29 - 21. Suppose 5*y + w + w = -n, 5*y + m*w = -12. Is 3 less than or equal to y?
False
Suppose 0 = -308*x + 312*x, 3*d = 4*x - 246. Let c = 16.8 - 17. Is d greater than c?
False
Let k be (-31)/7 + (-43 - -45). Is k not equal to -20?
True
Suppose -6*z + 1129 = -3*z + 2*f, 0 = 5*z - f - 1860. Let q = 350 - z. Suppose -25 - 23 = 2*o. Do q and o have the same value?
False
Suppose -7*f = 13 - 6. Let n be (2 + -3)*f + 30/(-45). Let w = 69 + -34. Is w bigger than n?
True
Suppose 0 = -5*y - 1 - 4. Let l = 8805/46 - 385/2. Which is greater: y or l?
y
Let s = -6686 + 13635/2. Let c = s - 1327/10. Which is smaller: -2 or c?
-2
Let b be (4/(-20))/(-1) + (-4586)/(-20). Let y = 6653/29 - b. Which is smaller: -1 or y?
-1
Let k = -20352 + 20351. Which is smaller: 2/2299 or k?
k
Let k = 439 + -554. Let o = k + 114.8. Which is greater: o or -4/5?
o
Let h = 2479625/4716 + -47/1179. Is h smaller than 526?
True
Suppose 237*u - 235*u = -3*j - 3008, 5*u = 5*j - 7420. Is u at most -1493?
False
Let q = 2/13545 - -31583/148995. Is 6 less than q?
False
Let z = 43 - 58. Let l be (z/2)/(-1)*3/30. Which is bigger: -0.08 or l?
l
Let i = 1.6 - 1.64. Let y = -327 + 325.6. Which is smaller: y or i?
y
Let u = -44 + 44.19. Let x = 164869/21 - 7849. Let s = 18/7 - x. Which is greater: s or u?
s
Let q = -246 + 419. Is 8 < q?
True
Suppose 4*d + 8 = 9*z - 8*z, 0 = 5*d + 5*z + 35. Suppose -4*g = -3*g. Let w = -6 + g. Is d greater than w?
True
Let h(s) = 4*s**2 + 11*s - 36. Let d be h(6). Suppose 12*b - 13*b + d = 0. Which is greater: b or 173?
b
Let r be (0 - -1)/((-1)/7). Let x be 1138/(-18) + (122/(-18) - r). Do x and -62 have the same value?
False
Let o be 5 + 1 + (13 - -30) + -12. Which is smaller: 43 or o?
o
Let b be ((-1068)/(-14))/3 + (216/(-63) - -3). Let r be (-1 - (0 + -3)) + 45. Let d = 71 - r. Is d at least as big as b?
False
Let h(l) = -l**3 - 2*l**2 - 4*l + 7. Let o be h(6). Suppose 59*r + 31824 = -83*r + 38*r. Which is greater: o or r?
o
Suppose -18*n = -143410 + 52888. Which is bigger: n or 5027?
n
Suppose -3*i + 33 = -0. Let j(m) = 6*m**2 + 25*m - 58. Let k be j(2). Which is greater: k or i?
k
Suppose 5*h + 37*w - 34*w = -954, 0 = 2*h + 5*w + 393. Which is smaller: h or -1329/7?
-1329/7
Let b = -10 - -34. Let v(o) = o**2 - 18*o - 47. Let p be v(b). Let i = p - 99. Is -5/3 at least as big as i?
True
Let f = 265691714533/6975 - 38092002. Let t = 1/279 - f. Is -0.3 at most as big as t?
True
Suppose f + 3*l = 6, 0 = -2*f - 2*l + l + 2. Let x = f - 6. Let v(o) = 7*o**3 - o**2 + 7*o + 7. Let c be v(-1). Which is greater: x or c?
x
Let p = 40 - 73. Let l = 46 + p. Let t = -1.05 + 2.05. Which is greater: l or t?
l
Let a be 48/26 + (-64)/(-416). Suppose -3*v - 9 = 5*i - 23, 5*i = v + a. Which is smaller: v or 24/13?
24/13
Let u be (-180235)/110 - 3/(-2). Which is greater: -1639 or u?
u
Suppose -36*n = -62*n. Which is bigger: n or 5/207?
5/207
Let g(a) = 18*a**3 - 3*a**2 + 2*a - 9. Let b be g(3). Suppose -39*w = -33*w + b. Which is bigger: w or -75?
-75
Let l = -50.35 + 51.35. Which is smaller: 873 or l?
l
Let i = 9414 - 9458. Which is greater: i or 7?
7
Let r(i) = 2*i**2 + 1300*i + 1299. Let l be r(-1). Do