Let z = n + 81.781. Which is greater: z or 2?
z
Let v = -44999/85120 - -1/12160. Is -2 at most v?
True
Let m = 0.1 + 0.1. Let t = -8.443929 + -0.356071. Does m = t?
False
Let b = -0.84 - -54.84. Let g = b + -53.7. Let k = g - -1.7. Does k = 2?
True
Let d = -1516 - -1515.894. Which is greater: -1 or d?
d
Let n be (-561)/(-121) + -5 + 849/429. Let v be 8/6 + 3/(-9). Which is greater: n or v?
n
Let i = 4633 + -4633.52. Do i and -0.1 have different values?
True
Let b(x) = -x**2 + 1. Let i(z) = -z**3 + 4*z**2 - 20. Let s(n) = -3*b(n) - i(n). Let j be s(0). Let a = -0.088 - 0.012. Which is bigger: j or a?
j
Let k = -27154/5 - -5431. Is 34.7 >= k?
True
Let w = 472 + -297. Let x = w + -200. Does x = -26?
False
Let i be 4 + 2/((-2)/(-2)). Let p(g) = -g**2 - 12*g - 10. Let a(r) = r**2 + 9*r + 9. Let h(n) = -5*a(n) - 4*p(n). Let o be h(i). Is -23 at most as big as o?
True
Let v = 520 - 772. Is -1758/7 at most v?
False
Let x = 20 - 18. Suppose -3*g = -x*u, 0*u + 2 = 4*u - 5*g. Let q be (-14)/(u/3)*6/(-21). Is 2 equal to q?
False
Let l = 2039 - 2049. Is l > -10?
False
Let y = -1063421 - -8485401/8. Let p = 2742 + y. Which is smaller: -1 or p?
p
Suppose 0 - 21 = -3*h. Let y be ((-16)/3)/(h/(-3)). Suppose -5*w + 30 = 5*o, 5*o - 2 = 18. Is w >= y?
False
Let g = 189.2 + -189. Which is smaller: g or -1/134?
-1/134
Suppose -4*f - 3*j + 6 = 0, 0*f - 5*j = 4*f - 10. Let u = -6995599/4494 + 21793/14. Let g = u - 4/107. Which is smaller: f or g?
g
Let s = 1/357 + 2843/4641. Suppose 4*z - 7*g = -5*g, -5*g = -z. Let y(b) = b**3 + b**2 - 4*b + 2. Let v be y(z). Which is bigger: s or v?
v
Let w = 42 - 133. Let s = -87 - w. Let c be s/(-18)*7/(-833)*-7. Is 0 > c?
True
Let r(h) = -154*h**3 + 6*h**2. Let f(w) = -308*w**3 + 11*w**2. Let m(n) = -6*f(n) + 11*r(n). Let p be m(1). Which is bigger: 153 or p?
p
Let n = -10229 - -10279. Is 203/4 equal to n?
False
Let v be (34/(-3))/(-58 - 64). Which is smaller: v or -1?
-1
Let k(w) be the second derivative of -w**4/12 - w**3/2 - 10*w**2 - 28*w. Let t be k(-7). Let f be ((-30)/100)/((-4)/(t/(-9))). Is f equal to 6?
False
Let o = -6775 + 8513. Which is smaller: o or 0?
0
Let y = -206 - -305. Let l = 100 - y. Which is bigger: 1/2 or l?
l
Suppose -8*o = -13*o - 20, -2*p - 5*o = -2696. Is 1359 < p?
False
Let k = -1030 + 982. Which is bigger: k or -85?
k
Let i = 0.0685 + 0.2315. Let m = 2 + -1.99. Let k = 4.01 - m. Is i smaller than k?
True
Let k be 15/(225/105) - (8 - 2). Suppose 0*n = -3*n - 12. Let y be 1/(-26)*n/(-4). Is k != y?
True
Suppose 6*j - 6 = -2*j + 2*j. Which is smaller: 2/107687 or j?
2/107687
Let w = -177 + 184. Suppose -1078 - 630 = -w*n. Which is bigger: n or 245?
245
Let v be ((-343)/4)/((-24)/(490 - 10)). Which is smaller: v or 5147/3?
v
Let f be -1 - (-7)/6*2. Let m = 9.72 + -442.72. Let o = -433 - m. Which is smaller: f or o?
o
Let q(x) = -2*x**2 + 27*x + 13. Let i be q(14). Let j be (2/(-24))/(18/(-8)). Which is greater: i or j?
j
Let f = 6918 - 7045. Is f less than -2?
True
Let c be (23 - 3 - 1)/1. Let b(o) = -6 - o**3 + 28*o**2 - 17*o**2 - 9*o + c. Let l be b(10). Which is bigger: l or 22?
l
Let h be (-1)/(-9) - 348/(-27). Suppose 4*q = -2*a + h + 1, a + 9 = 2*q. Let i be (-3)/(-12) - (-91)/(-224). Is i >= a?
True
Let f = 52 + 26. Let s = -71.44 + -1.56. Let h = s + f. Which is smaller: 3/2 or h?
3/2
Let u be 784/(-44) - 6/33. Suppose 0*v + v = 0. Suppose 2*n + o - 5*o + 24 = 0, v = 2*n + o + 39. Is u bigger than n?
False
Let i be (-12)/(-18) - (-3)/(27/30). Let v(w) = 50*w - 117. Let m be v(i). Do m and 82 have the same value?
False
Suppose -55*r + 8 = -53*r. Let j be 4*(-9 - -11 - 603/r). Let t be (63/j)/(3/(-10)). Is t >= 0?
True
Let n be (1/(-10))/(9/954). Let b(a) = -1 + 8*a**3 + 14 - 9 - a**2 - 5. Let f be b(-1). Which is smaller: f or n?
n
Let n be (-4529)/(-616) + 0 + -7. Is n > 0?
True
Let k = 22061 - 22063. Which is greater: k or -120/229?
-120/229
Let r = 452 - 454. Let m be (-6)/r + 490/(-182). Is -2/7 not equal to m?
True
Let t = 205316/1075 - 4862/25. Are -2 and t equal?
False
Let f(l) = l**3 + 32*l**2 - 30*l + 99. Let y be f(-33). Let n = -0.08 + 0.012. Is y smaller than n?
False
Suppose 11*g - 5*j + 23833 = 9*g, g + 4*j + 11871 = 0. Which is smaller: g or -11897?
g
Suppose 37*u - 13*u = -240. Let i(x) = -5*x - 24. Let s(h) = -h + 1. Let j(t) = -i(t) + 3*s(t). Let a be j(u). Is 7 at least as big as a?
True
Suppose 11*x = 72 - 17. Suppose -3*i = -w + 4*w + 6, x*w = -10. Which is smaller: -1/480 or i?
-1/480
Let c be (-10)/(-4)*(-32)/(-40). Let a be (-98)/(-24) + c/(-8). Suppose -6*f - 12*f = -90. Which is smaller: f or a?
a
Suppose 2*r - 115 = -11. Let o = r - 50. Let x = -31 + 39. Which is bigger: x or o?
x
Let p be (-1 - 1137/345) + 21/(147/14). Which is smaller: p or -3?
-3
Suppose -36*k = -32*k + 8900. Let u be ((-356)/k)/(-2*1/5). Is -13 bigger than u?
False
Suppose 29*j = 24*j + 30. Let m = 33 - j. Let g be 3/(m/15) + 2/(-2). Is g != -12/5?
True
Let j = -33582 + 335289/10. Which is bigger: j or -54?
j
Let n(a) = a**3 + 4*a**2 + 3*a. Let v be n(-3). Suppose 3*l = 5*w - 11, v = 2*w + 5*l + 13 - 5. Let h be (34/(-4))/(w/(-2)). Is 16 >= h?
False
Let j = 302 + -454. Let h = j - -105. Is -1/6 bigger than h?
True
Let f be (-5 + 69/6)/(-5 - 236/(-48)). Which is greater: f or 2?
2
Let l be (-17 - -1) + (3 - -4) - -3 - -20. Let a = 60 + -42. Are l and a unequal?
True
Let k = -236 - -242. Suppose -3*o + o = -3*d + 5, -2 = 2*d - 4*o. Let c be d/((-1845)/k)*-5. Is 0 < c?
True
Let b be -1 - (-5 - -4)*-7*7. Let h = b - -60. Let f be ((-3)/(-18))/(5/(-15)). Which is smaller: f or h?
f
Let x be 22000/108500 + 1/(-5). Which is bigger: x or -1?
x
Suppose -3 = 5*y + 2, -3*j = 4*y - 530. Let k(v) = v**2 - v + 23. Let l be k(13). Do l and j have the same value?
False
Let k = -2.811 - -3.411. Which is smaller: 2.17 or k?
k
Let n = 33.06 - 42.06. Do -1/5 and n have the same value?
False
Let x(u) = -u**3 + 30*u**2 + 52*u - 253. Let p be x(32). Which is bigger: p or -641?
p
Let n be 140/6*-1*6/(-2). Suppose r + 70 = n. Which is greater: r or -2.1?
r
Let j(y) = y**3 - 24*y**2 - 816*y - 23. Let p be j(-19). Let a = 4 - 0. Suppose -103 = a*b + 61. Do p and b have different values?
True
Let f be (584/4161)/(-1*(-1)/51). Which is bigger: 7 or f?
f
Let b be (-1)/4 - ((-14)/(-6) + 1125/(-540)). Which is smaller: -2705 or b?
-2705
Let v = -702 + 570. Let t be v/(-56) + 6 + (-1 - 6). Which is greater: t or 2?
2
Let z = 833.5063 + -794.508. Let h = 0.0017 + z. Are 1 and h nonequal?
True
Suppose b = -3*c + 19, -2*c + 16 = c - 2*b. Let z be 3 - (c/12 + 14/4). Is z at least 1/34?
False
Let w = 863 + -836. Let v = -82.2 - -55.145. Let m = v + w. Which is smaller: m or 0?
m
Let x = 9477.9 - 9475. Which is bigger: -188 or x?
x
Let i(h) = -99*h - 6930. Let u be i(-70). Is 3/8869 less than or equal to u?
False
Let g = -13062412975212/4103821295 + 180/16750291. Let q = g + 3183. Is q smaller than 0?
False
Let n be 6/(-8) + (-105)/(-28). Let d(q) = -q**3 + 8*q**2 - 5. Let x be d(n). Let f = -0.943 - -1.143. Which is greater: x or f?
x
Let l be (-66)/10*(3 - 8). Let p = 33 - l. Let g be (-2541)/264 + (-18)/(-2). Which is bigger: g or p?
p
Suppose -5*m + 421 - 408 = -2*c, 45 = -11*c + m. Let p = -22 - -49. Is p greater than or equal to c?
True
Let v = -29.252 - -210.162. Let l = v + -181. Which is greater: l or 3/5?
3/5
Let c = 1920 - 2332. Which is smaller: 0.1 or c?
c
Let m(z) = -z**2 - 11*z + 9. Let o be m(-10). Let c be o - ((1 - 1) + -3). Suppose 98 = -8*y + 282. Do y and c have different values?
True
Let n be (-1821 - 0)*(-9 + (-44)/(-6)). Let g = n + -57679/19. Is -1 >= g?
False
Suppose 0 = -4*x - 5*z + 329, -206*x - 5*z + 157 = -204*x. Is x < 1/12?
False
Suppose -55*t + 43*t = -1956. Suppose 1403 + 379 = 11*w. Which is greater: w or t?
t
Let u(f) = -f**3 + 15*f**2 + 11*f + 41. Let j be u(16). Let r = j + 115/3. Let i = -2123/53204 + -3/1132. Which is smaller: i or r?
r
Suppose v - 19459 = 7*k - 3*k, -6*k - 2*v - 29164 = 0. Is -4864 equal to k?
False
Let h be 290983/898040 - ((-50)/(-16) - 3). Let i = h - -2/2041. Which is smaller: i or 0?
0
Suppose -p - 310 = 2*s - 45, 0 = 2*p - 4*s + 554. Let r = -363 - p. Is r greater than 2/3?
False
Let n = -0.4154 + 0.2835. Is -7 greater than n?
False
Suppose -101*g = -36815 + 103879. Are 