?
False
Let q be 1*1/11*219. Let v = 21 - q. Is 0 at least v?
False
Let k(q) = 107*q - 4494. Let n be k(42). Let x be 12/3968*(-1)/3. Is n at least x?
True
Let j = 107.18 - 109.38. Let p be 1/(-3) + (-24)/(-45). Is j equal to p?
False
Let s = -22733 - -2477846/109. Are s and -1 equal?
False
Let a = 431.4 + 827.6. Is -0.1 smaller than a?
True
Let y be 41*3/(-33) - -4. Suppose -a = -3*l + a + 15, 0 = 2*a. Suppose l*t = 7*t. Is y > t?
True
Let i be -2 + 38/6 - 1/3. Suppose i*y + 2*k - 24 = 22, 4*y = 3*k + 41. Suppose y*a - 22 = 55. Does a = 1?
False
Let q = -3994.8 + 4151.8. Is q != 0.52?
True
Let m = 1644 + -1508. Let w = -82 + 80. Which is greater: w or m?
m
Suppose -83*o - 44 - 39 = 0. Which is greater: 2/2359 or o?
2/2359
Let d = -7903 + 7902.71. Let w(c) = c**3 - 11*c**2 - 12*c - 1. Suppose 3*k + 18 = 2*i, -2*i = -4*k + 3*k - 22. Let o be w(i). Is o >= d?
False
Let m = 798.84 - 800. Let d = m + 4.16. Is d at least -10.6?
True
Let b = -1656 + 819. Which is smaller: b or -4178/5?
b
Let s(q) be the third derivative of q**5/60 + q**4/4 - 5*q**3/6 + 16*q**2. Let a be s(-5). Let l = a - -29. Is 16 less than l?
True
Let c be (30/14)/((-7378)/(-1666)). Are c and -1 unequal?
True
Suppose -31*s + 10*s = -14*s + 11060. Which is smaller: 0.1 or s?
s
Let l = 2734 - 2745.9. Is 3 less than l?
False
Let w = 3.46 - -39.04. Let o = -43.5 + w. Which is smaller: -0.179 or o?
o
Suppose 0 = -31*m + 27*m + 72. Let a be m/30 - (-12309)/135. Let k = a + -92. Is k at least as big as -1?
True
Let t = 3/1117 - 657928/5585. Which is smaller: -7 or t?
t
Let x = -0.00691 + 0.00691. Is x at least 36/151?
False
Let r be (-4 + 33)*2*(-3)/(-2). Let z = r - 3. Let c = z + -82. Which is bigger: c or 0.6?
c
Let t = -3.31 + 0.61. Let z = t + 1.7. Suppose -17*x - 404 = 310. Which is greater: x or z?
z
Suppose -1251*l - 14 = -1265*l. Which is smaller: -10/889 or l?
-10/889
Let p(t) = -14*t + 2. Let m(s) = 2. Let b(o) = -3*m(o) - p(o). Let i be b(-4). Which is greater: -125/2 or i?
-125/2
Suppose 17*t - 6106 - 9238 = 3*t. Is t greater than or equal to 2/19?
True
Let k be ((-31)/(310/60))/(-4). Let t(i) = -4*i + 3. Let p be t(-3). Suppose 0*v = -5*v + p. Is v > k?
True
Let u(v) = v - 14. Let a be u(10). Let d(r) be the first derivative of -r**4/4 - 2*r**3/3 + 7*r**2/2 - 4*r + 1. Let k be d(a). Is 1/7 less than or equal to k?
False
Suppose -11*w + 12*w = 0. Suppose w = -s - 18 + 22. Let a(b) = -b - 1. Let n be a(-1). Which is greater: s or n?
s
Let d be 3 - (-18 + 14 + (-226)/(-32)). Let v = -11/112 - d. Is -1 > v?
False
Let d = -0.32 + -36.68. Let l = -37.1 - d. Let m be 2/(-4)*14 + 0 + 4. Which is greater: m or l?
l
Let o be 6/(-21) + 108/(-14). Let s be 50/14 - o/(-2). Let q be (-8)/20 + 8/20. Which is smaller: s or q?
s
Let c = 255 + -250. Let k be (42/c)/(6*(-2)/(-80)). Is k at least 56?
True
Suppose 20*h + 2*b = 22*h + 212, -2*b = 5*h + 509. Is -103 at most h?
True
Let g = 2.904 + -2.804. Which is bigger: g or -140?
g
Let i = 3376.6 - 3193. Is -1/4 smaller than i?
True
Let a = 1185/32683 + -2/1127. Let q be 6/14 - 19*270/14. Let t = 366 + q. Are a and t equal?
False
Let w be ((7 + -2)*-1)/(-1). Suppose -42*b + 84 = -21*b. Suppose -w*v - 2*n + 18 = -b*v, -2*v + 18 = -5*n. Is v at most as big as 12?
False
Let g = 0.18 + -0.1. Let i = -1.696 - 7.304. Which is smaller: i or g?
i
Let s = 14826 + -14828. Which is smaller: -225/97 or s?
-225/97
Let x(w) = -w**2 + 38*w + 63. Let s be x(36). Let f = 130 - s. Which is bigger: 0.9 or f?
0.9
Let s = -159 - -624. Let p be 1/1 - s/15. Is p greater than -86/3?
False
Let n(g) = g**3 + 11*g**2 - 10*g + 5. Let i(c) = c**3 - c**2 - 3*c - 1. Let y(x) = 2*i(x) - n(x). Let s be y(9). Do -296 and s have the same value?
False
Let f = 16659 + -16658. Which is greater: 7/3718 or f?
f
Let g = -1.593 - -1.333. Let u = 0.1 + -0.2. Is u less than or equal to g?
False
Let j = -699 + 721. Suppose -y - 39 + j = 0. Is -0.11 at least as big as y?
True
Suppose -1680 = -88*p + 60*p. Are p and 63 nonequal?
True
Let a = 30101/3 + -9921. Let n = 34150/303 - a. Do 0 and n have the same value?
False
Suppose i = -q + 6*i + 18, 0 = -5*i - 20. Let c be (-3)/q*(-6)/45. Are 0.12 and c unequal?
True
Let j be (-2)/(-10) + 2 + 10580/(-25). Suppose 0 = -13*z + 975 - 6461. Are j and z nonequal?
True
Let l(d) = -5 + 3 + 4 - 35*d - 28*d - 6*d. Let n be l(-6). Which is bigger: n or 417?
417
Let b = -4249.7 + 4249.7. Let d = 5.916 + -6. Is d less than or equal to b?
True
Let q be 1*317 - (-39 - -37). Let i(w) = -157*w + 4. Let j be i(-2). Is q equal to j?
False
Let j = -11235 - -13805. Which is greater: -1 or j?
j
Let r(f) = -f**3 + 6*f**2 + 2*f. Let c be r(6). Let o = c + -7. Let n be 100/135*45/(-75)*-1. Which is smaller: n or o?
n
Let w(q) = -q**3 + 2*q**2 + 5. Let m be w(0). Let r = 26 + m. Suppose -68 = 5*f - 213. Which is smaller: r or f?
f
Let u be (((-16)/(-1582))/(-2))/(42/(-147)). Which is greater: 152 or u?
152
Let p = -34645/1691 + -65/1691. Let r = -1589/95 - p. Let w = 18 - 13. Is w greater than r?
True
Let t = 2048 - 1400. Let g = t + -628. Is g >= 16?
True
Suppose s - 8 = -7*s. Let m be (-6)/(2 - s) + 4. Let h be (-4)/(-14) - (-80)/(-84). Is h less than or equal to m?
False
Suppose 1086 = 46*f - 18. Which is greater: 434 or f?
434
Let v be 17852*((-130)/(-325) - (-26)/(-40)). Is -4463 greater than v?
False
Suppose 827 - 4528 = 9*m + 3049. Which is bigger: -748 or m?
-748
Let y = -867 + 924. Suppose p + 0*p = -r + 55, -p + 4*r = -65. Do p and y have different values?
False
Let a = 110 + -100. Let h be (-4)/a + 2/((-50)/2115). Which is smaller: -82 or h?
h
Let o = -4581 - -3467. Is o > -1114?
False
Let h = -1957/235173 - -4/849. Let q = 1950/3047 + h. Which is greater: 2 or q?
2
Let j be (-4918)/(-22) - (-279 + 286). Which is greater: j or 218?
218
Let u = 1861.296 + -1851. Let a = 111.276 - u. Let r = -101 + a. Is r not equal to 0?
True
Let t = -0.0394 - 78.9606. Which is smaller: 0.02 or t?
t
Let c = -2561 - -3878. Is 1319 at most c?
False
Let s be -3*(-35)/84*18/(-135). Let b = 4 - 5. Do s and b have the same value?
False
Let t(k) = 98*k - 783. Let s be t(8). Which is bigger: s or -5/724?
s
Let v(f) = f**3 + 2*f**2 + 2*f - 2. Let c be v(2). Let m be 6/15*(23 - 8). Let k(n) = n**3 - 4*n**2 - 5*n - 26. Let p be k(m). Does c = p?
False
Let n = 10.836 - 10.9. Let x = n - -0.133. Let j = x + 0.031. Which is bigger: j or -0.1?
j
Let s = -41 - -13. Let m be (62/3)/(120/(-180)). Which is smaller: s or m?
m
Suppose -61 = 8*i + 91. Let x = 52 + i. Suppose 0 = 35*a - x*a + 60. Which is bigger: a or -32?
a
Let o = -0.5 - -0.7. Let n be 4/(-16) - (-452)/(-96). Let v = n - -13/8. Is v greater than o?
False
Let m = -1595166304596017/92395402657038075 - -4/32128870533. Let w = m - -2/16433. Is w less than 0?
True
Suppose -6*o = -10*o + 32. Let i be o/24*(-2 - -8)/(-2). Which is bigger: -4/85 or i?
-4/85
Let p = -4357 + 4282. Is p greater than -371/5?
False
Let d be (-6)/(-2) + (4 - -1). Let r be -6 + (d/(-3))/((-8)/12). Is r <= -78/23?
False
Let k be ((-564)/(-20))/((-142)/710). Is -93 less than or equal to k?
False
Let l be 1 - (-1 + (-30)/(-8)). Let h = -7480 - -7477. Which is smaller: l or h?
h
Let i be (-17)/(3230/19) + (-33)/270. Let z = -0.01 + 0.21. Is i less than or equal to z?
True
Suppose -k = -a + 22, 3*a - 5*k - 31 = 45. Let j = -932 - -940. Which is smaller: a or j?
j
Let i(d) = -d**2 - 12*d + 29. Suppose -6*n - 52 - 32 = 0. Let p be i(n). Which is bigger: p or -1/579?
p
Let p = -1095 - -649. Let d = 445.3 + p. Is d at least -32?
True
Let p(h) = -h**2 - 11*h + 86. Let k be p(-16). Let z be (5 + 0/2)/(75 - k). Do z and 0 have the same value?
False
Suppose 11*l + 5*l - 96 = 0. Let o be -4 + l/18 + (-14)/(-6). Which is greater: -9/16 or o?
-9/16
Let h = 138 - -55. Let r = h - 381/2. Do 2 and r have the same value?
False
Let y(m) = -35*m**3 - 23*m**2 - 14*m - 8. Let h be y(-9). Let t = h - 641650/27. Let l = t - 1672/135. Is -8 smaller than l?
True
Let a = 1354 + -1179. Does 171 = a?
False
Let m = 30 - 27. Let b be (1 - 12) + m*(2 - 3). Let j = b - 14. Is 1/2 at least j?
True
Let x = -0.15781 - -7.15781. Let z = 0.98 + -1. Is z smaller than x?
True
Let o = 86 + -88. Suppose 0 = -4*z + f - 73, 3*z + 29 = z - f. Let j = 25 + z. Are j and o equal?
False
Let z be 6/(-8)*(-