e 2*5/((-105)/72). Is i bigger than m?
True
Let y = -5807 - -5807. Which is bigger: 2/15013 or y?
2/15013
Suppose -166*w + 161*w + 25 = 0. Suppose -7*l - w*l - l = 0. Which is bigger: l or 143?
143
Let v = 10288/7 + -10285/7. Which is greater: -100 or v?
v
Let r = -0.356 - -0.154. Let p = -0.218 + r. Is p != 2?
True
Let z = 5315 - 5352. Which is bigger: -39 or z?
z
Let a = 1069 - 1074. Which is smaller: a or -54/11?
a
Let j be (30/(-29950))/(4/(-520)). Let a = j - 255868/1955735. Is a not equal to 0?
True
Suppose 76 = 5*f - f. Let n be 112/5 - (-6)/(-15)*1. Suppose -n*m = 5*m + 27. Is f < m?
False
Let l = -620.8 + 693. Let d = 29.2 - l. Which is smaller: -0.1 or d?
d
Suppose -1168872 - 460667 = 31*z - 114*z. Which is smaller: -1 or z?
-1
Let z = 52/213 + -421/852. Is 1/307 < z?
False
Let c = 290.0491 + -0.0491. Let q = 289 - c. Which is bigger: -1/4 or q?
-1/4
Let i(n) = -106*n**3 - 5*n + 6. Let x be i(1). Let f be (18/x*(-5)/3)/(-1). Let q = -0.1 + -0.05. Are q and f non-equal?
True
Let l = 838.6 + -951. Let n = -112 - l. Which is bigger: -0.22 or n?
n
Suppose -11*i - 477 + 863 = -1286. Which is smaller: i or 153?
i
Let g = -175472.022 + 175624. Let w = g - 152. Which is greater: -1 or w?
w
Suppose -8 = -24*v + 22*v, -3*v - 544 = 2*z. Which is bigger: z or -3630/13?
z
Suppose 0*w - 2*w = -2*m + 44, 44 = -2*w + 4*m. Let n = 1246 - 1224. Let v = w + n. Which is smaller: v or 5/6?
v
Let n = -2/1295 + -264/185. Let i(s) = -s**3 + 20*s**2 + 225*s - 29. Let z be i(28). Which is smaller: n or z?
n
Let j = 4/33 - 9/44. Let c be (-8)/(-28) + (-46)/14 - 1. Let v be (-1 - c/3) + (-16)/12. Which is bigger: v or j?
j
Let w(j) = -j**3 + 24*j**2 - 43*j - 20. Let n be w(22). Suppose -n*t - 7*r - 34 = -8*r, 0 = 2*t + r + 42. Are -18 and t nonequal?
True
Let g = 0.233 + 4.727. Let j = -2000.04 - -2000. Let n = j - g. Which is smaller: 1 or n?
n
Let a(r) = r**2 - 1. Let b be a(-3). Suppose 6*q + 0 = 54. Let y be (5 + 161/(-21))*q/(-4). Is b less than or equal to y?
False
Let l = -0.783 + -2133.217. Is 8 smaller than l?
False
Let g = 183/40 - 26/5. Let l be 3 - (-7 - -1)/(-2). Suppose 0 = 6*w - l + 6. Are w and g non-equal?
True
Let v = 83.4 + -39.4. Let i = -43 + v. Do i and 45 have different values?
True
Let m(r) = -10*r - 4*r + 18*r + 30 - r. Let q be m(8). Let k(x) = 13*x**2 + x + 4. Let s be k(-2). Is q at least as big as s?
True
Let o = -0.48 - 1.72. Let f = o - -2.3. Let x = -8.851 - 0.149. Is x greater than f?
False
Let j(s) = 2*s**3 + 2*s + 1. Let d be j(2). Suppose -91 = 19*a - 20*a. Suppose -4*p + a = r, 4*p = r + 60 + 25. Which is smaller: p or d?
d
Suppose 9*y - 771 - 219 = 0. Suppose 0 = 94*h - y*h + 16. Are -373 and h equal?
False
Suppose -2*d + 0 - 3 = b, 1 = b + d. Let x = -6089/42 + 383/3. Let a = x + 103/6. Is b less than a?
False
Let d be 924/24 + (-2)/4. Let h = d + -41. Suppose 2*q = 3*q + 4. Do h and q have the same value?
False
Let h = -623/10 - -116497/1870. Is h smaller than 1?
True
Let c = 0.0259 - 0.1259. Which is bigger: c or -90?
c
Let x = 41 + -279. Let h = x - -1199/5. Which is greater: 3 or h?
3
Let s = 29456 - 28133. Which is greater: 1321 or s?
s
Let x(i) = 2*i + 3. Let z be x(-4). Let q be (0 - 4) + 12*472/180. Let n = 83/3 - q. Which is greater: n or z?
n
Suppose 5*q - 4*c + 11503 = 0, 8337 = -3*q - 4*c + 1416. Is -2303 smaller than q?
False
Let h be ((-25)/2)/((-19)/(-5396)). Is -3555 at most h?
True
Let q(u) = -84*u**2 - 2*u - 3. Let l be q(-1). Let c = -52 - l. Let j be 0 - (2 - 0 - 33). Are j and c equal?
False
Let u = 190 - 621. Let b = -417 - u. Is b bigger than 14?
False
Suppose 4*q + 14092 = 17*q. Let n be 10*(4 + q/(-272)). Which is greater: 1 or n?
1
Let d(q) = 58*q**2 + 210*q - 209. Let o be d(1). Which is greater: o or -14?
o
Let d(z) = z**3 - 37*z**2 + 36*z + 2. Let f be d(36). Suppose 2*r + 9 = -2*t - r, -3*t - 6 = 3*r. Let j = 4 - t. Are j and f equal?
False
Let l = 2.593 - 2.88. Let m = -6.387 - l. Which is smaller: 3 or m?
m
Suppose -62376 = -40*f - 12*f + 8032. Which is smaller: 6768/5 or f?
6768/5
Let o = -1043.14 + 1052. Let y = o - 0.86. Is 2 at least as big as y?
False
Let a be (-1 + 0)/(3/24). Let z = -21 - a. Suppose -27 = 3*t - 2*u, -1297*t + 1302*t = 3*u - 49. Is t equal to z?
False
Let y be (-342)/1254 + (834/1045)/2. Is -1 less than y?
True
Let d = -11 + 12. Suppose 4*y + y + 435 = -5*p, 4*y + 373 = p. Is y at least d?
False
Suppose -4*x = 16, -2*p - 12*x = -16*x - 14. Let q(h) = 2*h**3 + 3*h**2 + h + 2. Let r be q(-2). Let y be r/129*3/2. Is p >= y?
False
Let k be 42 + (2 - -2) + 0. Suppose 2*f - k = 14. Let m be (-22)/f + (-1)/(-3). Which is bigger: -1/10 or m?
-1/10
Let w be (8 - 9/1)*(1 + 0). Let u be -5 + (-10 + 6 - (w - 14)). Which is smaller: -43 or u?
-43
Let k = 3752 - 3935. Which is greater: -165 or k?
-165
Let z be (-6)/(-12) - (0 - (-297)/517). Is z greater than 0?
False
Let i = 3715/18 - 1337/9. Let l = -8591/3 + 17507/6. Let v = i - l. Which is greater: v or 1/4?
v
Let g(o) = 19*o**2 + 201*o - 656. Let q be g(25). Is 0 at least q?
False
Let p(o) = -o**3 + 20*o**2 - 18*o - 21. Suppose 5*k - 67 = 2*w - 6, 0 = -w + 2*k - 32. Let s be (-1 - -2)/((-230)/w + -6). Let x be p(s). Is x at least -9?
True
Suppose -4*g = -4*q - 156, 0 = -3*q + g - 90 - 27. Is 0 less than q?
False
Let w = -124 + 126. Suppose -w*n = 0, 5*i = -3*n + 3 + 2. Is 15/8 > i?
True
Let i = -11343 + 11391. Is -39/10 < i?
True
Let y be ((-1008)/8288)/(3/116 + 0). Which is smaller: y or -6?
-6
Let m = -5 + 8. Let z = 8524591/8 - 1064144. Let r = z + -1428. Is r >= m?
False
Let f = -24354/7 - -3486. Let o = -743 + 355. Let c = 387.9 + o. Which is smaller: c or f?
c
Let h = 1/5940 + 11293/3486780. Suppose -37*s + 41*s = 256. Suppose t - s = -64. Are t and h non-equal?
True
Let r = -99 - -122. Which is smaller: -23 or r?
-23
Let m = -3 + 10. Suppose -5*p - 23 = 3*l - 0*l, -l + m = -2*p. Let b = 2839/36569 - 2/2813. Is b greater than l?
True
Let m(z) = -z**3 - 7*z**2 - 6*z - 12. Let w(y) = -y**3 + 11*y**2 + 12*y - 6. Let n be w(12). Let t be m(n). Let h = -11 - t. Which is greater: h or -4/15?
h
Suppose 4*n - 4*g - 65 + 105 = 0, -2*g + 62 = -5*n. Which is bigger: n or -38?
n
Suppose 3*v + 5*r - 81 = 35, 0 = 2*r - 8. Let h = v + -29. Suppose f = h*f - 2. Which is bigger: -2 or f?
f
Let u = -2.41 - -0.41. Let v(d) = -d**3 + 23*d**2 + 3*d - 68. Let w be v(23). Is w at least u?
True
Let b = -2821 - -2820. Which is bigger: 4/801 or b?
4/801
Let j = -771 - -1181. Suppose -130 = -8*d - j. Are d and -34 non-equal?
True
Let z(s) = 4*s**2 + 47*s - 12. Let f be z(-12). Which is smaller: 1/1477 or f?
f
Let b = -67 + 467/7. Let u = -1368.6 - -1347.202. Let p = u - 0.602. Is b <= p?
False
Let h(g) = -g**3 - 6*g**2 + 6*g + 3. Let f be h(-7). Let s = f - 12. Let p be (-9)/90 + (5 - (-268)/(-40)). Which is greater: p or s?
p
Suppose 51 + 25 = -2*o. Suppose 394*h = 385*h + 54. Let i be o/(-34) - h/51. Is 1 <= i?
True
Let b = -0.138 - 0.036. Let o = 0.158 + b. Which is greater: -0.1 or o?
o
Let c(p) = 9*p**2 + 6*p - 25. Let g be c(3). Let x be 140/(-77) + 2 - g/(-198). Is 0 greater than x?
False
Suppose -3*y + 2*t = -40, 3*t + 45 = 4*y - 10. Let c = -12 - -8. Let s be (-15)/(-35)*c/6. Which is smaller: y or s?
s
Let d(g) be the third derivative of -g**6/60 - g**5/4 + 29*g**4/24 - 4*g**3/3 + 230*g**2. Let o be d(-9). Let t = 9/11 + -56/55. Are o and t equal?
False
Let i be 16/10 + 4/10. Suppose a - i = m, -2*m + 7*m - a = 2. Let k be (-3)/12*(m - 0). Is k >= 3/5?
False
Let p = 87656633/639163 - -1/91309. Let w = p - 137. Is -11 equal to w?
False
Let v = 9079/120 + -913/12. Which is smaller: v or 1?
v
Let r(q) = -9*q + 99. Let d(t) = 26*t - 300. Let k(a) = -3*d(a) - 8*r(a). Let x be k(18). Is -13/36 bigger than x?
False
Let z = 12 + -5. Let q = 13 + z. Let y = -19 + q. Which is greater: -1/49 or y?
y
Let g = -88765/2 + 45745. Are g and 1363 non-equal?
True
Suppose -4*j + 5*c - 1248 = 0, 0 = 4*j - 0*c + 3*c + 1280. Let d be j/(-8) + (396/(-32))/(-33). Which is smaller: d or 41?
d
Suppose 79*l = 73*l + 30. Suppose -3*s + g = -137, -l*s = -2*g - 66 - 164. Are s and 44 nonequal?
False
Let f(x) = -2*x - 15. Let s be f(-8). Let v = 1044270 + -1585201939/1518. Let y = v - -1/46. Which is greater: y or s?
s
Let o = 28615 - 28567. Which is smaller: 0.116 