161)/14 - -10)/((-3)/(-676)). Let b = j + 119989/355. Which is smaller: b or 1?
b
Let a = -11 + 16.3. Let s = a - 5. Let u = 44263/6 + -14753/2. Is s greater than or equal to u?
False
Suppose 252*l + 55260 = 267*l. Is 1/3 > l?
False
Let l be (66660/(-462))/((-68)/21). Is l at most 46?
True
Suppose -3*q = -7*x + 3*x + 99, -2*x + 179 = -5*q. Let l(k) = k + 2 - 23 - 17. Let a be l(0). Which is greater: a or q?
q
Suppose 704 = 5*g - 704 + 1408. Is g > -3/353?
True
Let d = -34 - -261. Suppose -d*n + 9 = -226*n. Let z = 17 - 6. Which is smaller: n or z?
n
Suppose 1 + 2 = 3*o. Let m be (65428/(-18))/o*27/342. Let t = m - -287. Is t greater than -1?
True
Let f = -226.48 + 226.58. Which is smaller: f or 5698?
f
Let p = 12957 - 12961. Which is smaller: -820 or p?
-820
Let t = 23263/106 - 439/2. Let k(j) = j**3 - 6*j**2 - 13*j + 35. Let h be k(7). Let i be 3/h + (-10)/(-7). Is t greater than i?
False
Let j be (1 - 66/52)*4. Let x(y) = y**2 + 28*y + 50. Let o be ((-468)/126)/((-1)/(-7)). Let s be x(o). Which is greater: j or s?
j
Let h = 4894 - 5055.4. Which is greater: -1 or h?
-1
Let u = 30 - 28. Suppose -40 = -u*r - 6*r. Let b be -3*r/(-15) + (-22)/14. Which is greater: b or 9?
9
Suppose -32 = -d - 3*d - 4*j, -3*d - j + 14 = 0. Suppose 6*h - d*h - 24 = 0. Suppose 0 = -32*i - 39104 + 39296. Is h equal to i?
False
Let z = 43 - 43. Suppose z*d + 13 = -d. Let y = d - -13. Is y smaller than -1/7?
False
Let r = 12620.9307 - 12621. Is r != -1?
True
Suppose 0 = -6*o - 190 + 514. Suppose o + 68 = -5*j + 3*r, -3*j + 3*r = 78. Is j at least -1?
False
Let s = -0.50006 + -0.09994. Are 14/11 and s equal?
False
Let u be 554*(407/(-22))/37. Is u at least -20?
False
Let g = -9 + 20. Let q = 17 + g. Suppose -3*c + q + 5 = 0. Which is smaller: 5 or c?
5
Let d(l) be the third derivative of -l**6/120 - l**5/12 + l**4/8 - 98*l**2. Let j be d(-2). Suppose 80 = -2*k - 2*k. Which is smaller: j or k?
k
Let q = 180.08 + -223. Let l = -0.92 - q. Let v = l - 69. Is 2/3 < v?
False
Suppose -25*s - 50 + 25 = 0. Is s < 2/4523?
True
Suppose 5*s - 114 + 34 = 0. Suppose -10 - s = 4*b + 2*q, -25 = 3*b - 4*q. Let t = 12830/7 - 25751/14. Which is bigger: t or b?
t
Let h be (-3)/(-8)*74/2109. Suppose -5*f = 3*d - 5, -2*f + d + 2 = -0*d. Is h less than or equal to f?
True
Let d(z) = z**3 + 6*z**2 - 13*z - 40. Let k be d(-7). Suppose -2*t + 3*x = 2, -2*t + 4*x - 4 + k = 0. Which is bigger: t or 4/29?
4/29
Let u = 123/17 + -564/85. Is u greater than 0?
True
Let i = -4.17 - -1.5. Are i and 3/5 equal?
False
Let j(i) = 131*i - 523. Let p be j(4). Which is smaller: -3/731 or p?
-3/731
Let m be (-1 + -38)/((-34)/136)*(-1)/1. Is m >= -153?
False
Let t be ((-2)/3)/((-50)/1794). Let i = t - 398816/16675. Let h = 22664/4669 + i. Is 6 > h?
True
Let d(t) be the second derivative of 4*t**3/3 - 58*t**2 - 174*t. Let k be d(14). Is -63/16 at least k?
True
Let v = -2 - -2. Let t be (-2)/(-5) + -6 + 438/30. Let j be (-6)/40*(0 + 88/t). Which is smaller: j or v?
j
Let n be (2 + 9)*1 + 3/3. Let x(o) = o**2 - 12*o + 1. Let h be x(n). Is 42/25 smaller than h?
False
Let f = -8 + 0. Let c = -15 - f. Let m = -460 + 460.1. Are c and m equal?
False
Let z(h) = -h. Let a(v) = -v**2 + 6*v + 14. Let m(f) = -2*f - 3. Let r be m(-2). Let x(y) = r*a(y) - 6*z(y). Let w be x(14). Which is smaller: -15 or w?
-15
Suppose -4*h = -19 - 1. Suppose -2*y = 3*x - 53, -h*x - y = y - 83. Suppose -x = -0*q + 5*q. Is -11 < q?
True
Let u be (-10216)/(-86258) - ((-12)/21)/((-782)/161). Is u less than or equal to 1?
True
Let x = 21572 + -21571. Is x >= -382?
True
Suppose 0 = -8*w - w + 612. Let a(v) = -3*v**3 + v**2 + 7*v + 1. Let c be a(-3). Is c less than or equal to w?
False
Let z = -49.09 - -48.97. Do 112 and z have the same value?
False
Suppose 17 + 18 = -18*d + 53. Let j = -17 - -17.115. Which is bigger: j or d?
d
Let r = 114.5893 - 0.5893. Which is smaller: r or 1/3?
1/3
Let g be (2 - 0)*-2*-4. Suppose 3*i - 390 = -342. Are i and g equal?
True
Let r = -745 - -746. Let u = -20 - -8. Let c = 29 + u. Is r at most c?
True
Let u = -100 - -59. Let w = u + 114. Let g = -73 + w. Which is bigger: 2/9 or g?
2/9
Let o = 37769/46 + -1767299/1794. Let r = 164 + o. Is 1 greater than r?
True
Let k(z) = z**3 - 17*z**2 - 13*z + 44. Let m be k(18). Let v = 4021/30 - m. Which is smaller: v or -1?
-1
Suppose 2*w - 8 = 0, w + 10 = 3*n - 1. Suppose -273 + 43 = 5*i. Let u = 46 + i. Are u and n non-equal?
True
Let j be 0 - (-2 - (-178)/88). Let p(k) = 6*k - 65*k**2 - 5*k + 3 - 4*k + 68*k**2 + k**3. Let t be p(-4). Which is smaller: j or t?
t
Suppose -69*a + 330 = -84*a. Let s = a + 8. Which is smaller: s or -140/11?
s
Let n be (30/(-75))/(-2 + (-236)/(-120)). Suppose 4*o = 3*r - 11, 0 = -3*o + 4*r - n - 5. Which is bigger: o or -2/99?
o
Let z = 23376 - 7176454/307. Is z < 0?
True
Let k(u) = 536*u + 2682. Let y be k(-5). Is 28 at most y?
False
Let t be (21280/784)/(6/21). Suppose -376 = -3*c - 88. Is t != c?
True
Suppose -3*q - 19985 = 4*h, -2*h = -15*q + 19*q + 10010. Is -4991 > h?
False
Let b = -23.98 - -24. Let f = b - 39.02. Let r = f + 39.1. Do -1.1 and r have the same value?
False
Let f = 18.7 + -5.7. Let j = 35 - f. Is -1 < j?
True
Let j = 0.565 + -0.205. Let o = j - 0.41. Is o greater than -0.6?
True
Let y be 18455/(-150)*(-3)/(-174). Let a = 62/29 + y. Let j = -20 - -21. Does j = a?
False
Suppose m + 2*k = -2*m + 751, 4*k = -4*m + 1004. Let j = 247 - m. Which is smaller: -1.15 or j?
j
Let i(y) = 409*y - 1516. Let s be i(4). Is s < 201?
True
Let w(u) = -3*u**2 + 334*u - 2099. Let q be w(89). Which is smaller: 3866 or q?
q
Let h = -657854/13 - -50404. Which is bigger: h or -201?
h
Let m = 3 + -4.2. Let j = 270 - 268.9. Let y = j + m. Which is greater: y or -0.06?
-0.06
Suppose 4 = -3*f + 10. Let w = -1 + f. Let n be (((-93)/(-18))/31)/((-3)/((-9)/12)). Which is smaller: w or n?
n
Let z = -215 + 180. Let h = 33 + z. Is 1/4 equal to h?
False
Let l = 4.6 - -19.7. Let y = l - 23. Let n = y - 1.2. Is 2.6 > n?
True
Let u be 23850/(-540) - (-5)/(-6). Let f(l) = l**3 + 8*l**2 - 5*l - 8. Let q be f(-9). Is u != q?
True
Let x be -58*(0 - -2)*(-38)/(-95). Are -45 and x unequal?
True
Suppose -4*a + 2*s + 3732 = 0, -2*s + 1860 = 20*a - 18*a. Which is smaller: -2/3 or a?
-2/3
Let y = 1561/12 - 259/2. Suppose -5*o = -o - 5*q + 17, 0 = -4*o - 4*q + 28. Is y at most o?
True
Suppose 0 = -84*w + 6604 - 2236. Is 57 greater than w?
True
Let k be 10 - ((-2)/(-75))/(468/174447). Are k and 14 equal?
False
Let m = -15.6 + 18.88. Is 2/7 >= m?
False
Suppose 0 = q + 4*n - 17, 0 = n - 14 + 13. Let b = -15 + 29. Let v = q - b. Do v and -25 have the same value?
False
Suppose 11 = 2*n - 4*v - 7, -3*n + v = -17. Let p(t) = 46 - 2*t - 57 + n*t. Let o be p(-8). Is o at least -35?
True
Let j = -36 - -21. Which is smaller: 100 or j?
j
Let f = 10/109577 + -1377273483/1862809. Let q = f - -739. Let t = 233/34 + q. Which is bigger: 8 or t?
8
Let z(o) = o**2 - 3*o - 10. Let u be z(-3). Let t be (-90)/18 + 1 + u. Let m be 12/158*t/(-6). Is 1 greater than m?
True
Let z = 85.17277 + -0.17277. Let d = 0.2 - 0.1. Is d at least z?
False
Suppose 5*k + 3*u + 30 = 8*k, k + 3*u + 10 = 0. Suppose -4*y - h = 35, -4*y + 3*h = -5*y - 6. Let o = -3 - y. Is k at most as big as o?
True
Suppose 2*v - 21 + 7 = -3*f, 1 = f - 3*v. Suppose 2*r = -c - 34, f*r + 56 = r - 4*c. Let h be (r/(-80))/((-1)/5). Which is smaller: 0 or h?
h
Let g(m) = m**2 - 14*m - 12. Let p(v) = 3*v**2 - 2*v - 3. Let s be p(3). Let a be g(s). Let y = -67 + a. Which is greater: y or -9?
y
Let g = -215 + 220. Suppose g*n - 4*u = -31, 2*n + 7*u - 6*u = -15. Which is smaller: -4 or n?
n
Let q be (-5)/(-1) + ((-261025)/(-204580))/((-2)/8). Which is greater: q or 0?
0
Let b = -6 - -3. Let l = 4 + b. Let a be (-2)/2 + (22 - (-15 - -42)). Which is bigger: l or a?
l
Let c(p) = -3*p**3 + 11*p**2 + 62*p - 337. Let r be c(5). Which is smaller: r or -110?
r
Let r be (-638690)/(-455) + 2*2/14. Suppose 0 = 18*i - 22*i - 3*s - r, -4*i - 4*s = 1400. Do 1 and i have different values?
True
Suppose -2*a = o + 653, 5*o = -a - 13*a - 4561. Which is bigger: -973/3 or a?
a
Let a = -4.67 - -4.57. Let l = 161/5 + -319/10. Is l at least a?
True
Let h be ((-27)/135)/(((-1)/(3 - 8))/(-1)). Do h and -1/4208 have the same value?
False
Let b = 4233 - 4236. Is b less th