2 + a/(-8) - 11/(-4). Let d be ((-52)/n)/((-10)/15). Is 1 <= d?
True
Suppose 0*w = -2*w + 2. Let l = -13920 + 2658714/191. Is w < l?
False
Suppose 72862 + 61050 = 21*x + 17*x. Is x >= 0?
True
Let i be 27/(-42)*(-21)/(-18)*(-15792)/126. Is 933/10 less than i?
True
Let h = -7397 - -7370. Suppose 8*t + 52 = 6*t. Which is smaller: h or t?
h
Suppose -207 = -5*h + 4*k, -16 = -4*h - 4*k + 164. Is h greater than or equal to 621/14?
False
Let u(x) = x**2 + 19*x + 95. Let m be u(-10). Suppose 6*i - i = 3*q - 528, 524 = -m*i - q. Is i != 4?
True
Let o(s) be the second derivative of -s**6/180 - s**4/12 + 14*s**3/3 + 38*s. Let x(b) be the second derivative of o(b). Let l be x(-2). Is 2 < l?
False
Let i = 128 - 126. Suppose i*f - 152 = -2*f. Let s = f - 52. Which is smaller: -13 or s?
s
Let u = -465242609/6962 - -66826. Which is bigger: u or 0?
u
Let b = 676 - 495. Let w = 181 - b. Suppose 116 + 34 = 5*u. Is w bigger than u?
False
Let c = -2.442 - -1958.442. Let i = 1951.845 - c. Let y = -0.155 - i. Does 8 = y?
False
Let i be 2*((-1)/3 - -1). Let t = -0.043 + 7.483. Let m = t + -7.34. Is i bigger than m?
True
Let q = 110.9 - 111.2. Is -1024 less than or equal to q?
True
Let z = -30588 - -30587. Let t be 2/8 - (-118)/(-88). Let o = -49/55 - t. Which is bigger: z or o?
o
Let p = 380 + -119. Is 265 > p?
True
Let o(r) = -4*r - 28. Let s be o(-7). Suppose -8*f = -2*q - 3*f - 56, s = q - 3*f + 26. Let b = q + 76. Which is smaller: 39 or b?
b
Suppose 3*a - 35 = 4*r + 8*a, -r + 3*a = -4. Let v be (2188/(-9))/(14/21). Let g = 361 + v. Is g bigger than r?
True
Let o = 2.01115 - -0.00785. Let w = o + -0.019. Let r be ((-2)/354)/(2/(-12)). Which is bigger: w or r?
w
Let j be (-4)/(-5)*495/(-6666). Suppose 17 = -7*d + 17. Is d smaller than j?
False
Let o = 25 + -33. Let g(x) = x**2 + 9*x + 14. Let c be g(o). Suppose 2*v + 4 = -2*u - c, -v - 4*u + 1 = 0. Is v greater than or equal to -28/5?
False
Let k = -2724.1 - -2724. Is -5193 > k?
False
Suppose 399 = 17*y - 4259. Suppose 377 = 7*q - y. Which is smaller: 95 or q?
q
Let y(p) = -p**2 - 5*p + 18. Let x be y(-4). Suppose 8*u = x*u - 84. Are -5 and u unequal?
True
Let k = 725 + -7983/11. Suppose -2*f = 7 - 15. Let c = f + -4. Which is smaller: c or k?
k
Let r = -14269 - -14269. Which is smaller: r or 2/32645?
r
Suppose -17*a + 2218 = 7803 + 5142. Is -629 > a?
True
Suppose 856*q - 290071 = 839*q. Is q at most 17063?
True
Let t = -1740 + 6919/4. Let w = 10 + t. Does w = 0.4?
False
Suppose 4*y = 2*i - 6, -7 = -4*y - 3*i + 2. Suppose 0 = -2*h - 3*d + 28, -3*h + y*d = -3*d - 72. Suppose 0 = -4*m - 34 + 114. Is m bigger than h?
False
Let j = 100 - 100. Suppose 2*i - 8 = -j*i. Which is smaller: i or 7?
i
Suppose w - 2 = 0, 0*w = 3*i + 2*w - 4. Suppose 5*n + u + 74 = -i*u, -5*n - 77 = -2*u. Let p = n - 9. Is p less than -24?
False
Let k(q) = -q**2 - 5*q - 6. Let b be k(-3). Suppose b*z + 2*z = -5*m - 5, 4*z - 2 = 2*m. Let u be (-450)/12 + (-3)/(-2) + m. Which is bigger: -36 or u?
-36
Let i(o) = -174*o + 2. Let x be i(-2). Let j be 63/(-98)*1*x/(-24). Which is smaller: 9 or j?
9
Let f = 964 - -286. Which is greater: f or -1/3?
f
Let b = 2254 + -2415. Which is greater: -162 or b?
b
Let h = -6 + 16. Let r(v) = 27*v**2 + 2346*v - 244. Let p be r(-87). Which is greater: p or h?
p
Let y(a) = -a**2 + 18*a - 33. Let r be y(16). Is 4/1163 not equal to r?
True
Suppose 3*x = 2*t + 134, t = -3*x - t + 130. Let j be ((-6)/4 + 1)/(x/352). Is -27/8 > j?
True
Let i = -2.1741 - -0.1741. Which is bigger: -3/38 or i?
-3/38
Let f = 1408.3 - 2288.3. Is -0.07 at most as big as f?
False
Let q = -49/3 - -31/2. Let x be 76/20 + 2/10. Suppose -5*i + f - 5 = 0, -x*f + 16 = -4. Which is greater: i or q?
i
Let y = -143 - -88. Let q = y - 87. Let a = 151 + q. Is a equal to 14?
False
Suppose -6*w + 15 = -11*w. Let m be 3/(-18)*2*w/(-3). Let a(g) = g**3 - 4*g**2 - 5*g - 1. Let r be a(5). Is m < r?
False
Let q = 1149.94 + -1150. Which is bigger: q or -251?
q
Let v be -1*(-118 + (-5 - -8))/107. Is 0 < v?
True
Let a be (174/1)/2*(341/11 - 13). Is a at least 1566?
True
Let w(l) = l**2 - 6623*l + 39722. Let c be w(6). Let x be (-1 + 1)*(-2)/4. Suppose -3*n = -4*o - 2*n + 68, x = o - n - 14. Is c less than or equal to o?
False
Let s = -7480 - -6996. Do -483 and s have the same value?
False
Let m(n) = -n**3 - 16*n**2 + n - 14. Let y be m(-16). Let k = y + 39. Let j be (0 + (-3)/k)*-6. Which is greater: j or 7/6?
j
Let z be (-1953)/42 + -47 + (0 - 2/(-4)). Which is smaller: -103 or z?
-103
Let t = -7163.969 - -7164. Which is bigger: t or 82?
82
Let m be (3 + -4 - 2) + -60. Let c be 12/m*(-1 + (-2522)/4). Let j = c + -120. Which is smaller: 0.7 or j?
j
Let g = -7724 - -7166. Are g and 16 non-equal?
True
Let j(z) = 182*z + 2560. Let b be j(98). Do b and 20396 have different values?
False
Let i(f) = f. Let r(d) = 3*d + 20. Let o(s) = -2*i(s) + r(s). Let j be o(7). Let k = -28 + j. Which is smaller: -8/5 or k?
-8/5
Let f be 12/(-32) + (-16775)/(-40). Let m = -423 + f. Is m smaller than -35/12?
True
Let l be (366/549)/((-4)/6)*0. Suppose -4*w - 5*f = 311, 3*f = -3*w - 0*f - 231. Let y = 443/6 + w. Which is greater: l or y?
l
Let q(d) = -d**3 - 10*d**2 - 10*d - 8. Let x be q(-9). Let t = -35 + 35.28. Let u = -10.28 + t. Is x greater than u?
True
Suppose 0 = -l + i + 4, 43*i - 16 = -2*l + 47*i. Is -5/29 greater than or equal to l?
False
Suppose -132*w - 123405 = 30*w + 123*w. Is -4758/11 greater than w?
True
Suppose g + 4 = 0, -4*g - 29 = 3*p + g. Let w be (-1)/9*p + (-130)/330. Suppose 0 = 3*v - 2*x - 4, -v + 0*x = -3*x - 6. Which is smaller: v or w?
w
Let c(p) = -p - 20. Suppose 34*j = 28*j - 150. Let a be c(j). Suppose 6*o - 3*o - 2*g - 34 = 0, a*g = -25. Are o and 2/13 nonequal?
True
Let g = -10672/9 - -330805/279. Are g and -21 equal?
False
Let r be 0/(5*7/(140/8)). Suppose j - 2 = r, -5*l - 1 = -j - 4. Let x be (-2)/20 + l/10*-4. Is 1 at most as big as x?
False
Let b = 642 + -619. Let z(c) be the third derivative of 11*c**5/30 - c**4/24 + c**3/6 + 2*c**2. Let u be z(1). Which is smaller: b or u?
u
Let u(m) = m**2 - 3*m - 1. Let r be (-2)/(-15)*24 - 12/(-15). Let b be u(r). Let a be ((-3)/(-4))/(b + 125/(-40)). Is -3 >= a?
True
Suppose 36*f - 30*f - 35 = 37. Which is smaller: 1781 or f?
f
Let s = 7.07 + -0.07. Let i = 61.6 - 64.49. Let q = i + 8.89. Does s = q?
False
Let k = 3 + -3.9. Suppose -193*u + 17 = -188*u + 3*v, -2*v = 5*u - 13. Which is smaller: k or u?
k
Let o = 17669/9 + -1963. Which is bigger: o or 0?
o
Let a = 1411/8 + -176. Let d = 50442 - 50442. Which is smaller: a or d?
d
Let u be -40*92/(-69)*-17. Is u not equal to -908?
True
Suppose -182*q = 65*q + 20995. Is -101 >= q?
False
Let q = -110 - -110.03. Let n = -18.03 + q. Is n greater than 1?
False
Let g be 3/9 - (-4)/24. Let x be (-170)/(-25)*5/(-1). Let m = -42 - x. Do m and g have different values?
True
Let j(w) = w**3 - 13*w**2 + w + 27. Let d be j(13). Let s be 85*(13/4 + (-10)/d). Let t be -1 + 4/(940/s). Is t less than or equal to 0?
False
Let c be (8/(-2) - 93/(-21)) + (-11333)/25872. Which is smaller: 1 or c?
c
Suppose 21*f = -1168 - 1163. Let k = 651/2 - 3251/10. Which is greater: k or f?
k
Let m = 331899 + -331892. Let p = 2545 + -12686/5. Is p > m?
True
Let u be 1 - 0 - 95/35. Let i = 106 - 122. Which is bigger: i or u?
u
Suppose 23 = 4*o - 5*b, o + 4*b - 3*b = 8. Suppose 3*l = -4*j - 17 - 85, 2*l - 44 = 2*j. Let w be (j/30)/(4/(-30)). Which is smaller: w or o?
w
Let j = 192 + -3069/16. Let u(m) = m**3 + 10*m**2 - 42*m**2 + 6*m**2 + 22*m + 13*m**2 - 1. Let r be u(11). Which is greater: j or r?
j
Suppose 0 = -4*n + 66 + 10. Suppose -408 = n*j - 15*j. Let q = -80 - j. Is q < 45/2?
True
Let t(u) = 364*u + 3495. Let k be t(-10). Which is greater: k or -144?
-144
Let g be ((-5506)/(-38248) - (-1)/(-7))/(16/(-128)). Is g at least 1?
False
Let t = -42.9 + 43. Let j = t - 0.22. Let f(u) = 18*u - 309. Let q be f(17). Which is smaller: j or q?
q
Let a = -0.12873 + 13.82873. Let c = -0.14 - -2.14. Which is smaller: a or c?
c
Let h(f) = 52*f**2 + f - 5. Let l be h(-3). Suppose 4*o - l = -v, -5*v - 7 - 338 = -3*o. Which is smaller: 114 or o?
114
Let o be ((-1448)/(-5))/((-864)/(-60) - 14). Is o less than or equal to 722?
False
Let h = 30470000/827 + -36844. Is 2 > h?
True
Suppose f + 14 - 22 = 0. Let j(u