Let k(n) = -120*n + 601. Let o be k(5). Let t be 1/(-82)*(1 - 5). Which is smaller: o or t?
t
Let o = 22 - 33. Let p = -52 - -41. Let w = o - p. Do w and 2 have the same value?
False
Let f = 11995/7 + -1705. Which is greater: f or 10?
10
Let m(v) = 7*v - 109. Let n be m(16). Which is greater: -1 or n?
n
Let a = -34.9 - -26.9. Do 2 and a have different values?
True
Let n be (135/(-35))/9 + (-202)/(-14). Is 2 greater than or equal to n?
False
Let r be 1*(-12)/(-6) - -69. Which is smaller: r or 72?
r
Suppose -2*k + q = -504, -151*q + 149*q = 0. Which is smaller: 250 or k?
250
Suppose -21 = -2*q - 29. Let t be -3*5*9/(90/q). Which is smaller: t or -0.2?
-0.2
Suppose 24*c - 45765 = -3*c. Which is smaller: 1696 or c?
c
Let g = -38.092 + 0.092. Let i = g + 41. Which is greater: i or 5?
5
Suppose 0 = 4*d - 4*g + 4, 5 = -5*d + 4*g + 3. Let w be (75/(-30))/(1/d). Is w >= -5?
True
Let a = -158 - -806/5. Let o = -4.789 - -0.089. Let t = 4.7 + o. Is t bigger than a?
False
Let i(p) = p**2 - 10*p - 11. Let j be i(11). Which is greater: -3/508 or j?
j
Let m = -1/1846 + 125535/12922. Is m at least 10?
False
Let l = 97 + -76. Which is bigger: 1 or l?
l
Let f(b) = 47*b + 85. Let k be f(-5). Which is bigger: -3 or k?
-3
Let j(b) = -6*b - 3. Let t be j(1). Let x be 7/(-4) + t/36. Is 1 at least as big as x?
True
Let l = 276/11 + -307/11. Which is bigger: -2 or l?
-2
Let i be 6/(-27)*-42*(-2 + -13). Which is greater: i or -139?
-139
Let d be ((-24)/(-10))/((-30)/(-200)). Let s = -12 + d. Let r = 3 - s. Which is smaller: r or 2/9?
r
Let n(q) = -q**3 - q**2 - 2. Let c be n(-2). Let a be c + 2/2 - 54/14. Which is greater: a or -1?
a
Let r be 234/(-27)*155*(-3)/(-1). Let t be ((-2)/(-4))/(-1) - 1963/r. Is 0 at least as big as t?
True
Suppose 5*c = -16 + 6, 3*c + 114 = -3*u. Let w = 35 + u. Is 4/37 less than w?
False
Let o = 1887 - 2075. Is -1 at least as big as o?
True
Let l be 941/(-4655) + 152/(-40) + 4. Which is greater: l or 1?
1
Let i = 6 + -31/5. Let a = 164 - 154. Let p be (4/(-6))/(a*(-7)/42). Is i greater than p?
False
Let g be (6 - 4)*-7 - -3. Which is greater: g or -14?
g
Let u = -67/155 - -1/31. Are u and 8.9 nonequal?
True
Let t be (-1)/4 - 6/(-24). Let v(j) = -j**2 - 8*j + 10. Let q be v(-9). Let l = t + q. Is l at most as big as 4/15?
False
Let r be (-97)/5 - (-2)/5. Suppose -17 = 2*n - 55. Suppose -13*p + 12*p - n = 0. Are r and p nonequal?
False
Let v = 0.96 + -1.96. Which is bigger: v or -17?
v
Suppose 0 = -o + q - 2, -4*o + 2*q - 7*q + 37 = 0. Suppose o*s - 4*b = 40, s - 2*b - 62 = -4*s. Is 11 bigger than s?
False
Let o = -10 + 46. Let v be -42*(-36)/84 - 20. Which is smaller: o or v?
v
Let d = 210/368927 - 615399469/699485592. Let o = d - -1/237. Which is smaller: o or 2/5?
o
Let a be 42/(-72) - 2/(-6). Let m = 10 - 11. Is a less than or equal to m?
False
Suppose 6*a = -2*a + 136. Let b(f) = f - 5. Let w be b(8). Suppose -2*c - w = -2*z - 31, 0 = -5*c + 4*z + 74. Which is smaller: a or c?
a
Let v(y) = -29*y - 24. Let h be v(-11). Let s = h + -3243/11. Is s >= 0.02?
True
Suppose 0*b - j + 31 = 2*b, -73 = -5*b + 2*j. Suppose -4*q = 2*g + q - 25, -b = -g - 5*q. Let u(v) = -3*v + 4. Let w be u(-2). Do g and w have the same value?
True
Let x be ((-2)/(-3))/((-36)/(-27)). Which is bigger: x or -5/7?
x
Let o = 124 + -89. Let a = 0.06 + -0.16. Is a smaller than o?
True
Let f = -1.61 + 1.41. Let i = -0.9 + 1.1. Which is greater: f or i?
i
Suppose 3*x - 2*i + 74 = 0, -3*x + 86 = -6*x + 5*i. Let t = 49/2 + x. Which is smaller: t or 2?
2
Suppose -24*p - 35 = -17*p. Which is smaller: p or -6?
-6
Let k = -73 - -21. Let o(d) = -3*d**2 + 20*d + 10. Let l be o(9). Which is smaller: k or l?
l
Let c be ((-27)/(-12))/3*(-18)/243. Which is smaller: c or 0?
c
Let f(u) = u**2 - 7*u - 9. Let s be f(8). Let m be 6 + -4 - s*(-6 - 1). Which is smaller: m or -2?
m
Suppose -12 = -q - 5*c, 2 = -4*q + 6*c - c. Suppose m = -3*i + 8, 3*i = q*m + 1 + 1. Are 3 and m unequal?
True
Suppose 4*x - 6 = k, -4*x + 6 = 2. Which is smaller: -22/13 or k?
k
Let l = -0.1848 + 5.8248. Which is smaller: l or -1?
-1
Suppose 3 + 2 = 5*b. Let f be (0 + (b - 2))/(-1). Let j = -121 - -117. Is f greater than j?
True
Let t = 71 + -131. Let x be (-12)/t + (-8)/(-10). Which is smaller: x or 1/3?
1/3
Let k(o) = o**2 + 6*o - 2. Let v be -1 + -3 - (-8)/(-4). Let d be k(v). Let f be ((-220)/15)/(-2)*1/(-4). Is d at least as big as f?
False
Let x = 11014/265 + -208/5. Let t be 9*((-8)/3)/(-4). Suppose -b + 2*k = -t, 2*k - k + 3 = -4*b. Is x equal to b?
False
Let k = 317671/33 - 9611. Let q = k - 168/11. Which is smaller: q or 0?
0
Suppose 1023*l = 1037*l. Let w be 2/(-3)*3/(-4). Let v = -7/10 + w. Which is smaller: l or v?
v
Let q = -0.0374 + 46.0374. Which is greater: -1 or q?
q
Let d be (-774)/548 + (-4 - (-44)/8). Let w = d + -723/3562. Which is greater: 1 or w?
1
Let b be 6/((-2)/(-2)) - 3. Suppose -5*n - 15 = -5*t, 6*n + 5 = t + b*n. Let i = t + -7/2. Are -0.2 and i equal?
False
Let d = -1/757 - 1493/15897. Suppose 0 = 2*c - 3*c + 14. Suppose 0 = 10*y - c*y. Is d greater than y?
False
Suppose -4*u + 113 = -r, 4*r + 0*r + 155 = 5*u. Let c be 34/3 + (-9)/u. Which is bigger: c or 21/2?
c
Suppose 0 = -2*x - 2*g - 672, 0 = -x - g - g - 336. Let u be 32/x*(6/14 - 0). Which is greater: 0 or u?
0
Suppose -70 = -5*q + 110. Suppose -34*d + q*d = 0. Let a = -7/24 + 185/552. Is a at least d?
True
Let m = 0.05 + -40.05. Let j = m - -39. Which is smaller: j or -24?
-24
Let y(m) = m**3 - 19*m**2 - 2*m + 36. Let t be y(19). Which is smaller: t or -9/13?
t
Let h be ((-2)/(-9))/(8/(-93)). Let k = -367/4 + 94. Let p = k + h. Which is greater: 0.07 or p?
0.07
Suppose 2*c - 4 = -0*c. Let t be (-583)/33 + c/(-6). Let h = t + 18. Is 4 >= h?
True
Let p be 10/30 + 22/6 - 86. Is -82 at most p?
True
Let w be 35/(-25) + (-4)/(-10). Let s be (w - 7/((-28)/(-8)))/(-267). Are s and -1 non-equal?
True
Let h = 328 - 331. Suppose 0 = -2*a - 0*a - 4*j - 4, -2*j = -3*a + 18. Let l be (5 - -7)*(-2)/a. Which is smaller: l or h?
l
Let b(w) = 13*w**2 + 4*w + 6. Let t be b(-1). Let i(y) = 2*y - 1. Let l be i(7). Is t < l?
False
Suppose 0 = 5*u - 21*j + 26*j - 15, 2*j = 10. Which is greater: u or -1?
-1
Let z = -22.3 - -20.3. Are z and -0.1 equal?
False
Suppose -2*k + 165 = -5*o, o - 6*o = k - 45. Let n = 31 - k. Is -38 < n?
False
Suppose -9*b + 2*b = 0. Suppose b = -2*k + 5 + 13. Is k equal to 10?
False
Suppose 25*w - 20*w + 37 = 3*a, 4*w - 4*a = -36. Are -83/14 and w equal?
False
Let n = -535 + 541. Do n and 120/23 have the same value?
False
Let q(j) = 75*j + 2. Let f be q(1). Let n = f - 76. Which is smaller: 5/39 or n?
5/39
Let x = 9 + -8. Let t be x/2 + (-35)/10. Let l be ((-6)/(-2))/t*5. Is l greater than -5?
False
Let d = 2327/45 - 253/5. Let r be -3*(-1 + 2/3). Let q be 0 + 1 + r - 2. Is d equal to q?
False
Let y = 107926 + -970264/9. Let i = y - 119. Which is smaller: i or 1?
i
Suppose 14 = 5*y + 4. Suppose -4*g + 28 = 2*f, 4*f = -g + f + 2. Let a be y*g/12 + -2. Is a at most as big as -0.1?
True
Let r(y) = -2*y**3 + 11*y**2 - 4*y - 3. Let p be r(5). Suppose -p*h = 5*h - 35. Is h <= 6?
True
Let c = 15 - -32. Let v = -47 + c. Let f be 2/(-4)*(-4)/22. Do v and f have the same value?
False
Let u(p) = 2*p**3 + 3*p**2 - 2. Let o = 7 + -9. Let g be u(o). Let y be (3 + -4)*g/(-8). Is -1 at least as big as y?
False
Let l = -550578/11 + 50154. Which is smaller: l or 102?
l
Let r(y) = -3*y + 17. Let n be r(-6). Let z be (n/10 - 3)*2. Is 1/32 less than or equal to z?
True
Let o = 1/178 - -125/9434. Suppose -13*f + 1 = -12*f. Is o less than f?
True
Suppose -8*t = 1287 - 1199. Suppose -3*j = -2*j + 10. Which is greater: t or j?
j
Let z be (-10)/(-3)*(-24)/15. Suppose 4*f - 12 = 6*f. Is z bigger than f?
True
Let d = 126 + -116. Which is smaller: d or -0.04?
-0.04
Let n(p) = p**2 + 7*p - 19. Suppose 5*s - 20 = 0, 0 = -t + 4*s - 3 - 22. Let c be n(t). Which is bigger: 2/53 or c?
2/53
Suppose -k - 4*d - 39 = 0, 0 = 2*k - 2*d + 52 + 66. Is k equal to -57?
False
Let p(m) be the second derivative of -m**4/12 - m**3/2 + 35*m**2/2 + 19*m. Let n be p(-9). Which is greater: -20 or n?
n
Let y = -2.81 - -2.353. Which is greater: y or -1?
y
Let o(f) = f**2 + 2*f**2 - 7*f + 4 - f**2. Let g be o(4). Suppose -g = 4*h - 0. Which is smaller: -1/4 or h?
h
Suppose -3*