 -30789. Let l = -0.0431 - k. Is l >= 2/9?
False
Let k = 473 + -105. Suppose 11*j - k = 3*j. Do 42 and j have the same value?
False
Let h(v) = -v**3 - 7*v**2 - 11*v - 18. Let g be ((-21)/14)/(((-1)/4)/(-1)). Let t be h(g). Let s be ((-8)/t)/((-6)/(-9)). Is s greater than 1?
False
Suppose 0 = 6*w - 874 - 386. Suppose 0 = -16*h + 11*h + w. Let c = h + -19. Is 25 not equal to c?
True
Suppose u - 2 = 0, 83*z + 4*u - 2945 = 86*z. Is z bigger than -981?
True
Let q = 12.69 - 99.29. Which is bigger: -1/2 or q?
-1/2
Suppose 1638*a - 1633*a + 2*c = -365, 2*a - 3*c = -146. Which is smaller: a or -78?
-78
Let j(o) = -o**3 - 35*o**2 + 32*o - 55. Let t be j(-36). Suppose -7*c + 355 = t. Which is greater: c or -0.1?
c
Suppose 7*z = 8*z + 2, k + 4*z + 7 = 0. Is -8/73 > k?
False
Suppose -33799 = 56*w - 6023. Is -496 > w?
False
Suppose -10*l - 231 = l. Let s be ((-1)/3)/(l/(-63)). Is s at most -1/261?
True
Let d be (-8 + 6)/(4/(-46)). Suppose -3*a = o, 4*o - d - 7 = 3*a. Suppose -7*i - o = -i. Which is smaller: 1 or i?
i
Suppose -25*n + 10 = -27*n, 4*s - 4*n - 11976 = 0. Which is smaller: s or 2988?
2988
Let w = 0.92533 + 0.07467. Is w equal to -9?
False
Let b = -766 - -765. Which is bigger: b or -1/540?
-1/540
Suppose 19*d = -4*v + 22*d - 51, -4*v = d + 63. Let n be (22/(-5) + 4)/(6/v). Which is smaller: 4/95 or n?
4/95
Let f = -1.68 - -1.9. Let j = f - 0.42. Let t = -11 + -8. Which is greater: j or t?
j
Let b = -32506913/632 - -51435. Which is bigger: 0 or b?
b
Let x(p) = 2*p**2 + 244*p + 241. Let b be x(-121). Is -2/46533 greater than or equal to b?
True
Let h be -2 + (2 - 352746/(-195)) + -5. Let p = h + -1804. Which is smaller: p or -1?
-1
Let g(q) = -11*q + 198. Let x = -37 - -55. Let h be g(x). Which is greater: h or 3/382?
3/382
Let j(u) = 22*u - 205. Let f be j(8). Let p = 15 - 12. Suppose -9 = 5*o - w, -5*w + 0*w + 23 = -p*o. Which is smaller: f or o?
f
Let j = -5345.01 - -5345. Let h = 11 + -18. Are j and h equal?
False
Let j be (2 - (-7)/(-2)) + (-6)/(-4). Suppose -4*h + 4 + 7 = -5*p, 5*h - 5*p - 10 = j. Let u = -27 - -32. Which is bigger: h or u?
u
Let c be 9/(36/8 + -4). Let f = 18 - c. Let a = -33 + 163/5. Are f and a equal?
False
Suppose 12 = u - 0*m + 5*m, 4*u + 3*m = 14. Let l be (-8)/u - (-26 + 19). Suppose -8*r - l = -5*r. Which is bigger: 2/7 or r?
2/7
Let o = -53/926 - -72881/1338070. Are o and -1 unequal?
True
Let c(b) = -b**2 - 17*b + 83. Let o be c(4). Which is smaller: -1/184 or o?
o
Let y(p) = 35*p**2 + 29*p**3 - 27*p**3 + 2 + 506*p + 526*p - 1017*p - 14. Suppose 4*r + 4 = -64. Let k be y(r). Is k bigger than 24?
False
Let v = -757.88 - -1.88. Let l = v + 755.808. Is -2/5 equal to l?
False
Let j = -558 - -561. Let n be 1*-61*(j + -1 + 0). Is n greater than -121?
False
Suppose 3*x - 3 = -2*d, 5*x + 33 = -0*d + 3*d. Suppose -10 = -d*z + 38. Which is smaller: 132/17 or z?
132/17
Suppose -z - 89 = 91. Let b be (-24)/z + 3/15. Which is smaller: b or -10/7?
-10/7
Let w = 196.95 - 197.9. Is -2 smaller than w?
True
Suppose 2*x - 4*p = 0, 4*x - 3*p + 4*p - 18 = 0. Suppose -5*j = x*j + 9. Is 2/977 equal to j?
False
Let t be 72/(-1151340)*(-1 + 2 + -2266). Let q = t - 9609906/129621695. Let i = q - 2/193. Which is smaller: 0 or i?
0
Suppose -21 = 17*u - 4. Let k be (-557 - u)/(-3*14/(-21)). Which is smaller: k or -279?
-279
Let m be 1842/26 - 18/(-117). Let i be 11/((-132)/(-856)) + 4/4. Is m at most as big as i?
True
Let w be 1 - (-3 + (-5 - -4)) - 19. Let n be (w/(-6))/(42/(-126)). Is 0 smaller than n?
False
Let a be 7 - (-8822)/(-733458)*582. Is 1 > a?
True
Suppose 1215 = 2*w - h, -5*h = w - 8*h - 595. Let u be (-20)/(-50) + (-1 - w/(-975)). Is u at least 1?
False
Let x be (50/6)/((-1)/3). Let a be (-8)/6*((-1215)/(-18))/(-9). Suppose 0 = -21*p + a*p - 22. Which is bigger: p or x?
p
Suppose 166 = -4*b + 310 + 132. Suppose 0 = -7*s + s + 438. Is b > s?
False
Let k = -44400 + 44393. Is 628 != k?
True
Let r = 32155 + -900113/28. Let p = 55/7 - r. Suppose -8*o + 3*o = 0. Which is smaller: o or p?
p
Let l = 121 - 82. Let w = -35 + l. Suppose -x + 4*x - 3*j - 3 = 0, 4*j = -w*x - 12. Are x and -3 nonequal?
True
Suppose 10*l + 60 = -5*i, -5*i + 14 = -4*l + 60. Let v = -126676/113 + 1121. Is v smaller than l?
False
Let w = 4 - 3.3. Let j = -39.3772 + -0.0228. Let p = 39.4 + j. Which is smaller: p or w?
p
Let b = 303.27 - 303. Let z = -0.07 + b. Which is bigger: 2/25 or z?
z
Let q be (-15)/40070*(-56)/(-42). Is -1 >= q?
False
Suppose -2700 = 4*b + 4*r, -3381 = 5*b - 32*r + 31*r. Let l be (b/(-80) + -9)/((-2)/8). Which is smaller: l or 2?
2
Let t = 329/30 - 3/10. Let w(j) = 11*j**3 - j**2 + 6*j - 5. Let o be w(1). Which is bigger: o or t?
o
Suppose 5*v + 0 = -4*q - 11, -4*v - 16 = -4*q. Let m be (234/338)/(v/(-2)). Let g = -4 + 3. Which is greater: m or g?
m
Let a(t) = t**2 - 3*t - 1. Let v be a(3). Let o = 39.27 + 7.03. Let p = o - 24.3. Do v and p have the same value?
False
Suppose -11*t - 42 = -42. Suppose -5*g + 175 = -t*g. Let j be g/80*(-8)/(-28). Is j at least as big as -2/5?
True
Suppose -2*d + 335 = -4*c + 271, -4*c = 4*d - 164. Suppose 0 = -3*x + 67 + 44. Which is smaller: d or x?
x
Let u be 17/3 - 9/(-54)*2. Let x(v) = 4*v**2 - 2*v + 4. Let a be x(4). Suppose -u*o + o = -a. Are o and 14 nonequal?
True
Let x be 138/18 + (-2)/3. Suppose -x*d = -10*d + 3. Suppose 3*f - l + 46 = 0, 3 = l - d. Does -11 = f?
False
Let w = -541 + 540. Let d be -1*22/(-6)*9. Let h be d/(-2)*(5/3 + w). Is -10 at most h?
False
Let g = -665 - -129. Let y = 572 + g. Let i = -0.1 - 0.9. Which is bigger: i or y?
y
Suppose -4*i - 6 + 6 = 0. Let r be 13/24 + (-33)/(22 - -77). Are r and i unequal?
True
Let v be (6/(-12))/(2/(-4)). Let l be 276/(-14) - (-5)/5 - v. Which is greater: -19 or l?
-19
Let w = -1756/3 + 2305655/3939. Which is smaller: w or 1?
w
Suppose -3*x - 5 = 1. Let b be (-141)/(-3)*(3 + x). Suppose 512 - 3661 = -67*i. Is i at least b?
True
Suppose -120 = 20*n - 160. Suppose 0 = -4*j - 3*b - 11, 0 = 5*j - n*b + 3*b. Which is greater: j or 16/45?
j
Suppose -88 = -4*i + 8*i. Suppose -k + 887 = 949. Let q = k + 41. Is i > q?
False
Suppose 5*y = 4*x + 627, 5*y + 5*x - 532 = 68. Suppose 7*b + 81 - y = 0. Is b greater than 8?
False
Let s = 207 + -160. Let b = s - 67. Let a = -16/7 - -2. Which is smaller: a or b?
b
Let h = -168 + 152. Let b(r) = 2*r**3 - r + 1. Let c be b(2). Let m = c + h. Is m greater than 0.07?
False
Let n(i) = 3*i**2 + 25*i - 25. Let k be n(-9). Suppose -4*o - 3*x = -0*o - 17, 3*o - 16 = x. Suppose o*t + 19 = -6. Is k <= t?
True
Let s(x) = -x**2 - 11*x. Let r be s(-10). Let a be (-158)/2 - 10/r. Let d be (-5)/a*(3 + -1). Is d less than 2?
True
Suppose 0 = 5*k - 3*b + 8 - 42, -4*k + 5*b + 35 = 0. Let r be (1 - 4) + (k - 3). Which is greater: r or -5/42?
-5/42
Let z = -2 - -4. Let i = 7861 + -7865. Let t be 2*(z/i + 1). Which is smaller: 3/10 or t?
3/10
Let m be 20/(2 - -2) - (-1 + -116). Let s = m - 78. Which is greater: s or 0?
s
Let j be ((-16)/(-6))/((-44)/(-4782)). Let x = j + -290. Let i = 6748 + -101222/15. Which is smaller: x or i?
x
Let z(q) = 370*q + 1916. Let f be z(-5). Is f equal to 0.64?
False
Let t be (-18)/(-99) + 1624/22 - 2. Let l be (-7764)/t - (-1)/(-6). Which is smaller: -107 or l?
l
Let n = 12204 + -12168. Which is smaller: 18 or n?
18
Suppose y - z = -63, 0*y + z = 5*y + 299. Let d(b) = b**2 - 14*b - 10. Let p be d(11). Let q = y - p. Is q greater than -3?
False
Suppose -6*s - 8*s + 28 = 0. Suppose -3*t - 102 = 5*y, 0 = -s*y - 2*t - 26 - 14. Is -4 >= y?
True
Suppose 27 + 39 = -6*q. Let f be (-4)/(-22) - (-211)/q. Let o = f - -97/5. Which is greater: -8 or o?
o
Suppose -2*h - h = 0. Suppose 4*v + 2*g + 8 = h, g = -3*v + 3 - 10. Let t = 63024 - 63022. Which is greater: t or v?
t
Let w be ((-345)/(-25))/(-23) - 137/30. Suppose 0 = 3*u - 4*u, -j - 3*u - 4 = 0. Which is greater: w or j?
j
Let i = -198 - -177. Let o = -0.2 - 1.4. Let l = o - -1.6. Which is greater: i or l?
l
Let g = 10994/19 - 25197/95. Which is bigger: 312 or g?
g
Let a(z) = z**2 + 4*z - 1. Let r be a(3). Suppose 0 = -3*o - 4*c + 112, -2*o + c - 38 = -3*o. Let k = -22 + o. Does k = r?
False
Let x(w) = w**3 - 7*w**2 + 6*w + 5. Let o be x(5). Let r be (-2)/(-4) - o*(-1)/6. Let i be r*2 + 135/5. Is i at most as big as 23?
True
Let s(n) be the second derivative of 5