. Suppose 0 = -2*j + 707*m - 702*m, -3*j + 84 = 3*m. Is j less than u?
False
Let h = -51.9 + 564.9. Let x = 513.08 - h. Let n = 2.5 + -2. Are x and n equal?
False
Let y = 11573 + -162023/14. Is -1.42 equal to y?
False
Let m = 3861.7 - 3862. Is 0.163 at most m?
False
Let o be 192/(3 - -5) - (0 + 0). Suppose 3*k + m - 3 - o = 0, 5*m + 18 = 2*k. Let b(h) = 10*h - 1. Let u be b(1). Is k != u?
False
Suppose 0 = i + q + 51, 3*i + 5*q + 147 = -0*q. Let f be 312/i + 6 + (-286)/(-9). Is 32 > f?
False
Suppose 0 = -4*v + 5*n + 1, -v - 8 - 3 = -5*n. Are v and 141/55 nonequal?
True
Let x(o) = -27*o**2 + 3*o - 3. Let u be x(2). Let p(c) = c**2 - 58*c + 440. Let n be p(9). Does u = n?
False
Suppose 3*p = -3*p - 40050. Let n = -2075922/311 - p. Which is greater: 0 or n?
n
Let g be (18 - 11) + -6 - (-75604)/(-75612). Is 0 smaller than g?
True
Let k = -76/1335 + 3191/1335. Let y = -164 - -1142/7. Does y = k?
False
Let n = 14 - -5. Suppose -n + 10 = z. Let r be 9/(-4) + ((-36)/16)/z. Is -3/5 > r?
True
Let d be -10*2*2/5. Suppose -17 = -r + 4*o, -15*r = -16*r - 2*o + 11. Let u be r/(-52)*550/15. Are d and u non-equal?
True
Let s = 0.2584 + 3.7416. Which is smaller: s or -41/9?
-41/9
Let b = 52 - 8. Let y = 235630 - 235627. Which is smaller: b or y?
y
Suppose -7*h = -19 + 5. Suppose -h*k = -y - 4*k - 8, -5*y + 12 = -3*k. Let j be (-230)/(-70) + 6/(y + -2). Which is smaller: 0 or j?
0
Let l = -64 - -64.096. Let d = -0.456 + l. Which is smaller: 0.1 or d?
d
Suppose 0 = -3*u - 2*u - 190. Let o = u - -36. Let j be o*2/(-8)*6/1. Is j smaller than 3?
False
Let p be (-4)/6 + 232/24. Suppose 0 = 4*v - p - 7. Suppose -4*l = v*j - 44, -5*j - 3*l = -15 - 32. Which is smaller: 8 or j?
j
Let z(v) = -3*v**2 + 72*v + 1. Let y be z(24). Is y greater than -3/1207?
True
Let h = 36517 + -36617. Is -706/7 at least as big as h?
False
Let h = -18 - -12. Suppose 8*v - 89 - 151 = 0. Suppose -262*s = -257*s + v. Is s at most h?
True
Let o(m) = 8*m + 2. Let d be o(0). Let v be 1*(3 + d/(-1)). Is -2/283 smaller than v?
True
Let d be ((-4)/(-8))/(1/(-2)). Let y be -3 - 0/5 - (2072/161)/(-4). Which is greater: d or y?
y
Let c be ((-85 + 86)/(1*-6))/(46/3). Let w = 3 + -2. Is c > w?
False
Suppose 5*z - 5503 = -823. Let l be (-2)/6 + 330/z. Let c = -0.09 - -0.19. Which is bigger: c or l?
c
Suppose -4*k - 183 = -3*r - 12382, 0 = k - 3*r - 3043. Which is smaller: k or 15253/5?
15253/5
Let k be 139/142 + (5 - (1 - -5)). Let c = k + 1531/213. Let h(g) = -g**2 - 9*g - 10. Let o be h(-6). Which is greater: o or c?
o
Let p be ((-104)/(-14) - 7)/((-15)/(-175)). Is 470/91 < p?
False
Let s = 9 - 4. Suppose -3*l - s*d = -26, 2*l = -3*l - d + 14. Let q be (-50 - 2)*l/4. Which is smaller: q or -25?
q
Let k = 816 - 426. Let y = k + -389.35. Which is smaller: 1/2 or y?
1/2
Let d be 272 - -2*(77/55)/(6/(-15)). Do -14 and d have different values?
True
Let q be 4 + 2 + -2 - -1. Let l = 14/3 - q. Which is smaller: l or -32?
-32
Let i(u) = 6*u**3 - 20*u**2 + 5*u + 45. Let r(d) = 5*d**3 - 21*d**2 + 4*d + 45. Let c(g) = -6*i(g) + 7*r(g). Let j be c(-27). Is 99 smaller than j?
False
Let h be (-2)/3 + (-8000)/(-120). Let z = h - 124. Does z = -59?
False
Let f = -3.7 - 0.3. Suppose 5*p - 4*p = 6*p. Let x be p*1*((-4)/(-3) + -1). Is f < x?
True
Let c = -109.747 - 0.253. Let a = -167 - c. Let h = a + 59. Which is greater: -0.05 or h?
h
Let i be (-9)/(-18) + (6 - (-5 - 92/(-8))). Is i bigger than -43/312?
True
Let a(g) = -g**2 + 2*g + 1. Let t be a(3). Suppose -454 = -7*o + 92. Let d be o/18 + ((-28)/(-6) - 4). Does d = t?
False
Let n be ((-329)/(-1974))/(2/4 - 1). Is n at most -560/3?
False
Suppose -9 + 17 = 2*o. Suppose 0*j + 2*j = o*m + 56, 20 = 5*j. Which is greater: -13 or m?
m
Let p(h) = -h**3 + 13*h - 28. Let d be p(4). Let z be d/(-247) + 13 + (-835)/65. Which is smaller: 0 or z?
0
Let m = 1831.1 - 1831. Which is bigger: 1/760 or m?
m
Let t(s) = 4*s**3 - 5*s**2 + 4*s - 2. Let n be t(3). Suppose 18*c = 4911 + 6177. Let g = c + -543. Is n < g?
False
Let f = 19873294/235 - 84567. Do f and -1 have different values?
True
Let m be (-1 + 2/2)/1. Suppose -5*o - 152 = 3*o. Let z be (m/4 + 1)*o. Is z at least as big as -18?
False
Let x(w) = 25*w**2 + 3*w + 2. Let s be x(-1). Let t be 20/2*(-4)/(-8). Suppose t*k = 8*k + s. Which is smaller: k or -7?
k
Suppose -3*f + a + 119 = 0, 79 = 4*f - 2*a - 77. Suppose -458*w + 454*w = -12. Which is smaller: w or f?
w
Let t = 2/4213 + -8436/21065. Let k = 223 + -116. Is t not equal to k?
True
Suppose 3*a + 28 - 22 = 0. Let j be (-43)/a + 31/(-62). Is j at most 18?
False
Let u be 1 + 3 + (-4)/1 + 4. Suppose 3*b - 61 = -u*q, -19 = -5*q + 4*b + 34. Is 117/10 <= q?
True
Let h = 99.906 + -100. Let l = -41.094 - h. Let v = 46 + l. Is 0 < v?
True
Let g be (-14)/49 + -3*232/(-84). Suppose 2*i - 9 = -3*h, -3*h = -g*h + 5. Is i greater than 40/11?
False
Let y = -22.13427 + 0.05427. Is y at least 0?
False
Suppose 0 = -3*q + 18, 2*a + 36*q + 1460 = 34*q. Is -736 less than a?
False
Let b = 2.54 + -2.74. Which is bigger: b or 6.98?
6.98
Let g = 5 + -5. Let k = 31/27 + -7355/6453. Let b = 368/13145 + k. Is b greater than g?
True
Let s be (11 + -13)*(-53)/2. Suppose -3*i + 41 = -o - 0, -4*i = -o - s. Is 6 >= i?
False
Let v be ((-2)/4*0/8)/((-24)/(-12)). Is -7/369 smaller than v?
True
Let d be ((-6)/(-8))/(-3) - (-2282)/4200. Is d less than or equal to 0?
False
Let r = 22137/4 - 509855/92. Which is bigger: r or -9?
r
Suppose 2*r + 0*r = 0. Suppose 10*c + r*c = 2*c. Which is greater: c or -5/44?
c
Let a be (-1)/5 + (-25549)/(-145). Suppose 300*j - 304*j = -a. Let i = -108 + 152. Is i less than or equal to j?
True
Let y = -1324516/96129 - -8/10681. Suppose -23 = 2*w + 5*h + 17, 3*h = -6. Is w smaller than y?
True
Suppose -121*a + 35 = -116*a. Suppose 6*y + 18 = 4*i + a*y, 0 = -3*y + 6. Suppose -3*r - i*r = -r. Which is smaller: 2/49 or r?
r
Let n be 9 + -8 + (-125)/(-1) + -1. Suppose 127*s = n*s - 2. Let a be -8 + 7 - 30/26*s. Which is greater: a or 2?
2
Let r(n) = -3*n**2 + 5*n + 7. Let z be r(-2). Let j be (-1141)/(-315) - 9/z. Is 3 at least j?
False
Let h be 368/92*(-4358)/(-8). Is h > 2180?
False
Let z be 216/81 + 2765/(-480) + 3. Which is smaller: 3 or z?
z
Let h(z) = -44*z - 131. Let b be h(-3). Let n be (8 - 0) + -10 - (0 + b). Which is greater: n or -6?
n
Suppose -3*x = -8*x + 2*v - 120, -v = 0. Let p = 81 - 100. Let j = x - p. Is j smaller than -1?
True
Let k be (20 - 5 - 40) + -2 + 3*-1. Let r be 2/10 + (-724)/20. Is r at least k?
False
Let g = 2471 + -246. Let t = g - 2224.95. Suppose -3*f - 2*f + 70 = 5*j, -8 = -2*f + 3*j. Is f at least t?
True
Suppose 5*h = -5*m - 4 - 6, h - m - 6 = 0. Suppose h*l + 71 = 73. Which is smaller: l or -2.88?
-2.88
Let p be (-65)/((-195)/(-18))*(-2)/2. Suppose 4*k - 1 = t - 4, 5*k + 4*t = 12. Let l = 0 + k. Are l and p equal?
False
Let i = -301 - -504. Let z = 204 - i. Which is greater: z or -3/23?
z
Let p = 35387/35 - 1011. Which is greater: p or -23?
p
Suppose -778 + 3196 = -39*o. Which is smaller: -50 or o?
o
Let t = 4 + -10. Let p be t/(-3)*(-31684)/(-44). Let v = p + -1444. Which is smaller: -5 or v?
-5
Let k be ((-16536)/54)/(-13)*2*(-2)/(-96). Is 0 >= k?
False
Let p = -0.249 - -1.249. Let h = -19.5 + 3.5. Let w = h - -9. Is p at least w?
True
Let o(v) = -v**2 - 16*v - 1. Let j(q) = q. Let y(x) = -j(x) - o(x). Let b be y(-15). Is -1/106 >= b?
False
Let x = 10 + -19. Let m = -3260 - -3247. Does x = m?
False
Let s(h) = 42*h - 10. Let a be s(2). Let f = a + -77. Is f greater than or equal to 10?
False
Let g be (-1)/(-4) - 29197/95060. Which is greater: -56 or g?
g
Let x = -26806 + 29598. Which is smaller: x or 2793?
x
Suppose a + 261 = -v - 2124, -6 = -2*v. Let w = -241192/101 - a. Is 0 bigger than w?
True
Let h = 31005594/917 - 33812. Which is smaller: h or 1?
h
Let f = 760 + -9875/13. Let d be ((-5)/(5/3) - -3)/(-3). Which is smaller: d or f?
d
Let c = 191.37 - 190. Let s = -0.63 - c. Let k = 32.862 + 0.138. Do s and k have the same value?
False
Let u be (-126)/54 - (-16968)/12456. Which is smaller: u or -2?
-2
Suppose -5*q = -q - 264. Let x be 5/4 - (-79483)/1220. Let y = q - x. Is -1/3 greater than y?
True
Suppose -199 = 4*x - 19. Let k be 6 - (x/30 + (-6)/(-4)). Is 8 < k?
False
Let z = 8 + -2. Let j = 279 - 279. Suppose 2*a - z*a - 8 = j. Which is big