?
True
Let x(c) = 6 + 1724*c**2 + 5 - c - 11*c - 1710*c**2 + c**3. Let m be x(-15). Is -33 at least as big as m?
True
Let c = 185510159/1373 + -135113. Is 1 <= c?
False
Let c = -21317 + 101039/5. Is -1110 greater than c?
False
Let n be (4 + (15/2)/(-3))*1/101. Is n at most as big as -1/4?
False
Let m(t) = -713*t - 4. Let i be m(-1). Suppose -2*o - 85 = -3*b + i, -o - 1062 = -4*b. Let a = -2125/8 + b. Is 0 at least a?
False
Suppose -8*q = -4*q - 8. Suppose -u + 12 = q*u - 3*o, -3*o = -5*u + 12. Let d = 304/3 + -10030/99. Is d < u?
False
Let z(n) be the second derivative of -11/2*n**2 + 1/12*n**4 - 1/3*n**3 + 0 - 29*n. Let r be z(-3). Which is bigger: r or 21/8?
r
Let w = 19/436 + -691733/436. Which is smaller: w or 1?
w
Let i = -27559 + 27559. Which is greater: 1787 or i?
1787
Let a = -117 - -586. Let g = a - 463. Are g and 3 non-equal?
True
Let s = -29520100/13 + 18154702549/7995. Let u = 10/123 + s. Let o(y) = y**3 + 8*y**2 + 5*y + 19. Let w be o(-8). Which is bigger: w or u?
u
Let z = -7.411 + 116.551. Is z at least as big as 2/7?
True
Let a(s) be the third derivative of s**6/120 - s**5/12 + s**4/24 + 13*s**3/6 - 6*s**2. Let l be a(4). Let q be 3*((-4)/l + (-520)/(-30)). Is 38 bigger than q?
False
Suppose 4*w = -994*b + 992*b - 8, 3*b + 5 = w. Let k be (-1)/370*373 + 1. Which is smaller: w or k?
w
Let k = 4/7 + -1. Let m(a) = -2*a - 27. Let j be m(-16). Suppose 25 = -j*d - 4*t, t - 4*t - 13 = -2*d. Is d less than or equal to k?
True
Let c = -1791959216/6185530869 - 8/1763767. Let a = 2/501 + c. Let t(h) = -h - 4. Let l be t(-6). Which is smaller: a or l?
a
Suppose 4*u = -j + 27, -2*j - 10 = -u + j. Let a be (-3)/u + 320/(-70). Let c be a/130*(-14 - -2). Which is smaller: -1 or c?
-1
Let z = 23 + -24.17. Let l = -0.17 - z. Let c be 4/8*2 - 0. Are l and c equal?
True
Let a(s) = -26*s**2 + 107 - 30 - 17*s + 19*s**2 + s**3. Let p be a(8). Is 5 less than p?
False
Let h be 128/384 + 1/(-21). Which is smaller: h or 2.692?
h
Suppose -15 = -5*z - 10. Let c be (45/180)/(z/4). Which is bigger: -4/175 or c?
c
Let m be (-1)/(13/20943*9). Is m bigger than -175?
False
Let y = 1196.98 + -880. Let m = -317 + y. Which is smaller: -0.08 or m?
-0.08
Suppose 4*k - 3*b + 10 = 0, 2*k - 11*b + 7*b = 0. Suppose 4*a - a + 25 = 5*x, -4*x = -3*a - 23. Suppose -x = d - 0. Does d = k?
False
Let k = -6006 - -6006. Is k at most as big as 2/4141?
True
Let n(h) = h**3 + 4*h**2 - 8*h - 8. Let s be n(-5). Suppose 4*u = -4*o + 12, 2*o - s = -1. Let m be ((-20)/(-8) - 4)/(u + 6). Which is bigger: -5 or m?
m
Let l = 240565/4 + -60141. Let z be 9/(-12)*(-2)/3. Which is bigger: l or z?
z
Let l = -52.16 - -68.4. Let s = l + -16.2. Do s and -0.5 have the same value?
False
Let t = 240 - 238. Suppose -t*h + 4*s - 6 = 0, -3*h - 2*h - 2*s - 3 = 0. Are h and -1 nonequal?
False
Let j = -0.8 + 0.772. Let g = 4923 - 4922.972. Let w = g + j. Do w and 28 have the same value?
False
Let n(t) = -2*t + 2. Let f be n(7). Suppose -6*h - 124 = -58. Is h != f?
True
Let g = 50059 - 5005941/100. Let o = g + 1/100. Are o and -2/17 unequal?
True
Let z = 8 + -7.997. Let r = z + -36.003. Let f be ((-5)/10)/((-10)/8). Do r and f have different values?
True
Suppose -5*r + 2*r = 27. Let h = -19/44 + 511/572. Let k = -8/39 - h. Which is greater: r or k?
k
Let s(v) = -2*v**3 - v**2 - v + 2. Let w be s(0). Suppose 7*t - 2*t + 63 = 3*k, 0 = w*t + 2*k + 22. Let d be ((-8)/t*96)/((-3)/3). Are -63 and d equal?
False
Suppose 86*j - 56 - 40 = -10. Let u(a) = 9*a + 1. Let y be u(1). Suppose y = -s + 1. Is j less than s?
False
Let z = -302.2 + 311. Let f = z + -4.8. Which is smaller: 12 or f?
f
Let b be ((-135)/20 + 3)*(-24)/(-9). Let d be 56/3*(-1 - b). Let a = -79 + d. Is a less than or equal to 89?
True
Let c be 36*-3*3/(-18). Suppose -t + 4*r = -25, -4*t + t = -r - 20. Suppose t*f = n + 2*n - 29, 0 = f - 5. Does n = c?
True
Suppose 67*o = -38*o + 105. Which is smaller: -5/782 or o?
-5/782
Let i = -1206 + -1193. Let x = -122354/51 - i. Is x >= 1?
False
Suppose 17*n - 171 = -154*n. Which is greater: -13/543 or n?
n
Let s = -27.214 - -17.544. Is s at least as big as 5/4?
False
Let i be (1/4)/(-46 - -44)*-8 - -23. Which is greater: -7 or i?
i
Let n(z) = 19137*z + 0*z**2 - 19110*z + z**2 + 73. Let t be n(-23). Is -15 greater than or equal to t?
True
Suppose 0 = -36*j - 11 - 25. Suppose -2*l + 0*b = -4*b - 18, 4*l + 2*b = 6. Let d be (j + 6 - 7)*(-61)/l. Is 41 at least d?
True
Let x = -4.395 - -3.395. Which is smaller: x or -5392?
-5392
Suppose 0 = -3*w + 9, -3*a = -7*a + w - 7367. Let m = a + 7225/4. Is m greater than -34?
False
Let b = 3153/89 + -81949445/2313199. Are b and -1 non-equal?
True
Let o(d) = 18*d**2 - 108*d - 2. Let u be o(5). Is u at most as big as -92?
True
Let h = -70 - -89. Let x = -32 - h. Let n = 47 + x. Which is smaller: 4 or n?
n
Let f(z) = 1115*z + 917. Let t be f(-2). Which is greater: 0 or t?
0
Suppose 0 = -2*o - 88*p + 93*p + 28, -3*p = -4*o + 56. Let v = -11549/9 - -1297. Is v >= o?
False
Suppose -4*p + 11*x = 10*x - 8, 5*p - 25 = 5*x. Does 1/8427 = p?
False
Suppose -2*n - c = -1, 2*n + 3*c + 17 = 6*n. Suppose 3*t + n*d + 6 = 4*d, -2*t = 4*d - 12. Let i = -1/1330 + 4001/14630. Which is bigger: t or i?
i
Let n = 387/155 - -28/31. Suppose 4*a - 1025 = -153. Let q = a + -216. Are n and q non-equal?
True
Let a = -330 - -384. Does a = 77?
False
Let p = 22 - 21.835. Let j = -28.165 + p. Which is smaller: j or -2?
j
Let f = -30.984 + 31. Let k = -22.984 - f. Let p = 23.1 + k. Which is smaller: p or 1.6?
p
Let j = 274574 - 274573. Let u = 1 + -3. Let f be (-134)/62 + 4 + u. Does f = j?
False
Let g(b) = 9*b + 199. Let x be g(-19). Suppose 6*z = -z + x. Which is smaller: z or 22?
z
Suppose 27 = 5*n - 4*i + 117, 0 = -4*n - 4*i - 72. Let s = -73/4 - n. Let h = 44.3 - 32.3. Is h <= s?
False
Suppose 2*h - 7295 = -0*r + 5*r, 3*r = -5*h - 4408. Which is smaller: -1459 or r?
r
Let i = -8403 + 8418. Which is bigger: 4.07 or i?
i
Let p be 14/80*(-22)/(-539). Let x = -11/28 - p. Let o be 12/(-5)*(-6)/8. Is x smaller than o?
True
Let j be 2/16*2/8. Suppose -2*f + 221 = x + 2*x, -3*x = -3*f + 369. Let n = f - 118. Which is bigger: n or j?
j
Suppose 5*x + 18129 = -4*y, 3*x + 13*y - 14*y + 10908 = 0. Is -3634 <= x?
True
Suppose 24*z = 10*z + 44*z + 27*z. Is -6/203 > z?
False
Let w = -3007651/119 - -25274. Is 1 at most w?
False
Suppose 0 = 5*o - 10, -o = -3*q - 2 + 12. Suppose 5*j + 10 = 0, 0 = -q*u - 0*j - 4*j. Suppose -3*h + 1 = -11. Do h and u have the same value?
False
Let x be (2 - -4)/(6/304). Suppose 0 = -4*g + 5*g - 4, -4*g = -4*u - x. Let h = u + 136. Which is smaller: h or 63?
63
Let n = -29.56 - 24.44. Which is greater: 48 or n?
48
Let x be (-242)/8 - 2/(-8). Suppose -31 = -6*t + 5*t + v, v = -t + 31. Suppose 3*d - 57 = 3*w + 36, d = -w - t. Does x = w?
False
Let g be (-6)/(-2) - (8 - (-7 - -11)). Let k = 69/11 - 11534/1837. Which is bigger: g or k?
k
Let m = -34/27 - -103/189. Is m greater than 1.8?
False
Let u = 58 - -106. Let i = -183 + u. Which is greater: i or -12?
-12
Let g = 11986 + -11987. Do 2/15957 and g have the same value?
False
Let a(w) = -7*w**2 - 50*w - 88. Let m be a(-9). Is -200 >= m?
True
Let x(a) = -14*a + 22. Let j be x(-5). Suppose 3*o = -z - 16, -4 = -o + 2*o. Let b be (7/z)/((-23)/j). Are b and 7 unequal?
False
Let v be 0 - ((-112)/38 + 3). Let y = -2194 - -2194. Is y at least as big as v?
True
Suppose -b = -p - 35, 6*b = 3*b + 5*p + 103. Let r be 2 + -3 - b/(-4). Suppose 0 = 4*d - h + 5*h - 40, 2*h - 32 = -4*d. Are r and d unequal?
True
Suppose -3035*x = -3004*x - 3410. Which is greater: 29 or x?
x
Let u(y) = y**3 - 6*y**2 + 5*y. Let t be u(4). Let c be (-3)/t - 6/(-8). Let p be (-20)/(-4) - (-4 + c). Is 7 at least as big as p?
False
Let y = 111 - 111.053. Let n = y - -0.383. Let k = -3 - -2.9. Which is greater: n or k?
n
Let x = 25462 + -25243. Which is smaller: 143 or x?
143
Let u = 7 + -7.08. Let y = u + -0.03. Let x = 2/7 + 3/14. Are y and x equal?
False
Suppose 0 = -71*z - 369 - 341. Is z bigger than 1.01?
False
Let u = 30.42 + 1654.58. Which is smaller: u or 1?
1
Let o = 4356 - 4357.6. Are o and 0.05 nonequal?
True
Let p = -1343 + 2407. Which is smaller: p or 1062?
1062
Let q(t) = 5*t - 42. Suppose 5*w = 20, -2*w = u - 7*w - 65. Suppose u = 12*o - 23. Let y be q(o). Is 3/2 sm