/17
Let p = 2420355548/57 + -42463769. Let q = 1391 + p. Which is bigger: q or 1?
1
Let b be (-4)/(4 - 8) - (1 - -1). Let q(c) = c**2 - c. Let w(f) = -3*f**2 + 2*f. Let y(n) = -17*q(n) - 6*w(n). Let o be y(-5). Is b <= o?
True
Let s(j) = 251*j - 14. Let b be s(-2). Are -517 and b unequal?
True
Suppose 7*p - 2*p = -20, -3*t - 32 = 2*p. Is -8 bigger than t?
False
Let w(y) = 2*y**3 - 37*y**2 + 15*y + 51. Let x be w(18). Do -7 and x have the same value?
False
Let d = -0.601 + 0.771. Are d and 3/20 non-equal?
True
Let m(b) be the third derivative of 7*b**5/60 - b**4/6 + 5*b**3/6 - 28*b**2. Let t be m(2). Do t and 26 have different values?
True
Let n = 173 - 108. Suppose 22 - 18 = -16*j - 12. Which is smaller: n or j?
j
Let h = 0.1 - 0. Let s = 1/776 + 121/194. Which is bigger: h or s?
s
Let o(i) = -4*i + 1. Let w be o(-8). Let f = 47 - w. Let l be (-3)/7 + (-484)/f. Which is smaller: l or -34?
l
Let q be 1*6*-3 - -1. Let c = q + 12. Which is smaller: -4 or c?
c
Let s(w) = 17 + 21*w**2 - 43*w**2 + 10*w + 23*w**2. Let r be s(-8). Which is greater: r or -1/27?
r
Let l(j) = -2*j**3 + 22*j**2 - 38*j + 19. Let y be l(9). Let n(x) = x - 9. Let w be n(7). Let t be (w/(-3))/(4/6). Are t and y equal?
True
Suppose 2*b = 109 + 3. Let w be ((-5)/(-10))/(4/b). Is w less than or equal to 7?
True
Suppose -6*l = -11*l + 3255. Let y = -22781/35 + l. Is 1 equal to y?
False
Let k be 5 - ((-8)/(-2) - 1). Suppose -24 = 2*c - 0*b + k*b, 0 = 3*c - 3*b + 18. Let y be 21/c*(-6)/(-21). Is y bigger than 0.11?
False
Let f = -23 + 44. Let q = 20 - f. Is -1/3 less than q?
False
Let j(t) = t**2 - 8*t - 101. Let u be j(-7). Is u at least 8?
False
Let w = -0.678 + -0.012. Let x = 0.39 + w. Which is smaller: 0.2 or x?
x
Let p be 3/(-9)*(32/5 - -3). Let q = 14/5 + p. Let v be -2 + 3 - 6/5. Which is smaller: q or v?
q
Let a be (-3)/3 - (-3)/(21/14). Which is smaller: a or -147?
-147
Let u be ((-21)/6)/(4/(-8)). Let c = 8 + u. Suppose 2*h - 7 = r - 0*h, -c = -5*h. Which is smaller: 0 or r?
r
Let x = -6938 - -5141057/741. Which is smaller: -1 or x?
-1
Let o = -91 - -62. Let h = -31 - o. Is -1/19 at most h?
False
Let l = -360 + 360. Which is smaller: l or -5/19?
-5/19
Let y = -102 + 144. Let u be (2/6)/(2/y). Let q be -2 + u/18*3. Which is greater: 0 or q?
0
Let d = -2.15 + -1.85. Let c = -2.8 - -3. Which is smaller: c or d?
d
Let o = 159 - 227. Is o at least as big as -66?
False
Let k = 3519970/611 - 5761. Is k <= -1?
False
Let m be 8 + (3 + (-4)/2)*2. Which is bigger: 3 or m?
m
Let w = 0.0366 + -0.3366. Let h = -0.2 + -0.8. Let v = -1 - h. Which is bigger: w or v?
v
Suppose -j + 4 = 4*n, 5*n - 5 = -5*j + 3*j. Let k be (-3)/(12/(-8)) - 196/99. Which is greater: k or j?
k
Let h be 151/4379 + (-30)/29. Let p = 3147/20 + -519/4. Does h = p?
False
Let w = -25/14 - -275/56. Is w at least 2?
True
Let n(t) = -t**2 + 4*t - 4. Let l be n(3). Let p = 214/5 + -43. Is l at most p?
True
Let j = 13.8 + 0.2. Let a = 13.5 - j. Let p be -1 - -4 - (-1 + 2). Which is smaller: a or p?
a
Let d be 139/28 + 255/340. Do 7 and d have the same value?
False
Let l = -16 - -23. Let t = l + -8. Let b = 4 - 7. Which is bigger: t or b?
t
Let m = -15630 - -15650. Let x be (27/12)/(1/8). Is m smaller than x?
False
Let n = -1.56 + 2.3. Which is smaller: 0.1 or n?
0.1
Let c = -34/5 - -32/5. Let k = -3.727 + -0.073. Is k < c?
True
Let t be (3/2)/(1/4). Suppose w - t*w + 25 = 0. Suppose w = 3*m - 4. Is 2 <= m?
True
Let j = 5.582 + -0.082. Let q = 4.5 - j. Which is bigger: q or -0.17?
-0.17
Let d = 1744/5 - 351. Suppose 6*x - 2*x - 24 = 0. Let h(l) = -l**3 + 5*l**2 + 6*l - 3. Let y be h(x). Is y equal to d?
False
Let x(u) = u**3 - 3*u**2 + 3*u - 4. Let k be x(3). Let n be k - 2 - (1 + -2). Suppose r - 8 = -n. Which is greater: r or 6?
6
Let d be 154/(-240) + 2/3. Let h = -41 - -41. Suppose h = 4*t - 3*s - 4, 0 = -3*s. Are t and d nonequal?
True
Let n = 188 + -249. Do -60 and n have the same value?
False
Let p = 80 - -16. Let u = p - 97. Which is greater: u or -2/309?
-2/309
Suppose -156*l + 165*l + 585 = 0. Which is bigger: -62 or l?
-62
Let k be (9 + -5)*(-75)/(-20). Which is bigger: 11 or k?
k
Let d = -0.3 - -51.3. Are -3/2 and d unequal?
True
Let z = -189 + 100. Let p = z - -89. Is p != -7?
True
Let i = 112 - 148. Which is smaller: -39 or i?
-39
Suppose 273 - 73 = 25*z. Is z <= 70/9?
False
Let q be (4 - (-1 - -7)) + (-204)/10. Does -2/7 = q?
False
Let b = -506 - -216. Which is greater: 1 or b?
1
Let l = -2 + 3. Let t be 510/2975*(-14)/(-32). Which is greater: l or t?
l
Let b = -553 + 2209/4. Which is greater: 3 or b?
3
Suppose 28*l - 84*l + 112 = 0. Let w be ((-25)/70)/(2/(-8)). Which is bigger: w or l?
l
Let d = -0.047 - 3.953. Suppose m + 2 = 0, -2*z + 31 = -4*m + 5. Let l = 12 - z. Which is smaller: l or d?
d
Suppose 0*d = 4*d + 16, 3*d + 20 = 2*v. Suppose 0 = v*i - 0 - 16. Suppose -2*f = 2*g + i, 0 = 5*g - f - 2 - 0. Is g greater than or equal to 3/4?
False
Suppose -8*l = -134 - 266. Let b = l + -152/3. Which is greater: b or 5?
5
Let w be 18/(-3) + (2 - -1). Let b be -3 + 3*w/3. Let g be 208/(-276) - 4/b. Which is bigger: g or 0?
0
Let n be (2/(44/61))/((-6)/(-24)). Which is bigger: 12 or n?
12
Suppose 2*g - 3*g - 13 = -x, -g - 81 = -5*x. Let i = -45 + 32. Let z = x + i. Is z less than or equal to 6?
True
Suppose -4*v + 4*g = -5*v - 21, 4*v - 2*g - 6 = 0. Let l = 11 + -17. Let m = l - -7.4. Which is smaller: v or m?
v
Suppose 25*c + 601 = -28*c + 1873. Let i(r) = r**3 + r**2 - 3*r - 4. Let t be i(3). Which is smaller: t or c?
t
Suppose 0 = 3*h + m - 82, m = 2*h - 6*h + 109. Let l be ((-3)/2)/(h/9). Is -15 at least as big as l?
False
Let f be (-1 - -2)/((-4)/(-4)). Let u be 140/34 + (-3 + 0 - f). Is 2 bigger than u?
True
Suppose 0*h = 2*h. Suppose h = -x + 2*t + t + 9, x - t = 3. Let y = 2 - x. Which is smaller: -1 or y?
-1
Let k be 8/14 + 1200/(-42). Let z be ((-96)/k)/(6/21). Which is greater: 13 or z?
13
Suppose 2*g = 4*n, -3*g - g - 13 = 5*n. Is n != -1/268?
True
Let l = 1278 + -1349. Is -71 at most l?
True
Suppose -83 = -4*o + 13. Let v = -6756 - -87830/13. Are v and o non-equal?
True
Let z = 127/3 - 1775/42. Let u = -1 + 1. Is u less than or equal to z?
True
Let d = -26.81 - -29.6. Let p = d - 2.7. Is -4 smaller than p?
True
Let l = -184.9 - -184.99. Is l <= 0.7?
True
Let l(s) = 5*s**2 - 27*s - 20. Let t(c) = c**2 - 7*c - 5. Let o(h) = 2*l(h) - 9*t(h). Let d be o(-8). Let i = -12 - -8. Which is smaller: d or i?
i
Let l = 68 + -69. Let i be (1/l)/(4 + -4 + -1). Is -1/51 > i?
False
Suppose 7*p + 117 = 5*k + 3*p, -p - 3 = 0. Let y = -20 + k. Which is bigger: y or 0.1?
y
Let l = 9 - -3. Suppose 0 = 3*g - 7*g - l. Let u be g - -10 - 8/(-2). Is 23/2 smaller than u?
False
Suppose 12*l = 7*l + 20. Suppose g = -4*j + 14, -l*j + 9*j - 19 = -2*g. Let q be (-3)/((-3)/6*2). Is g at most q?
True
Suppose -j = j. Let l = -617/4 - -106. Let g = 2507/52 + l. Is j at least g?
True
Suppose 14*c - 12*c = 0. Let t be ((-1)/4)/((-14)/16) + c. Suppose 0 = -4*p + 4. Which is greater: p or t?
p
Let v = 0.16 + 8.84. Suppose 2*t + 6 = 0, -2*g - 5 = 5*t + 4. Is g at least v?
False
Let b = -205/1417 + -1/109. Suppose 8 = 4*q + 4*k, 2*q + 6 = k + 2*k. Is q greater than or equal to b?
True
Let g(v) = 2*v + 13. Let w be g(-6). Let a be (2/8)/(9336/2333 - 4). Let i = a + -146. Is i equal to w?
False
Let k(f) = f**3 - 10*f**2 + 8*f + 4. Let b be k(9). Let t be (-2)/b - ((-784)/315)/1. Which is greater: 3 or t?
3
Let s = 187 - 197. Which is bigger: s or 2?
2
Let i be 37540918/16 + -4 - 1. Let a = i - 422165500649/179928. Let b = 1/1323 - a. Are -1 and b non-equal?
True
Let y be 0/(-3 + 1) + -2. Let q be (-40)/(-78) + y/(-13). Let f = 4 + -3. Is f > q?
True
Let z(b) = -2*b + 10. Let g be z(5). Suppose 5*w - p - 3 = g, 2*w + 2*p - 3 = 3. Are 8 and w non-equal?
True
Suppose -4*j - 4 = 16, -4*v + 5*j + 41 = 0. Let l be ((-15)/(-12))/(1/v). Suppose -13 = 6*b + l. Is b greater than or equal to -4?
True
Let u(r) = -r + 8. Suppose -4*b + 6*b = -8. Let j be u(b). Suppose -5*d + 3*f - 3 = 7*f, -4*d = -4*f - j. Is d bigger than 1/12?
True
Let z = 17.8 + -20. Let v = 2 + z. Let a = 531 + -537. Do v and a have the same value?
False
Let m be 6*((-22)/12*2 - -3). Let n be 6/9 - ((-566)/(-120) + m). Which is smaller: -1 or n?
-1
Let d be (-1)/(-1)*(-2 - -1).