2. Which is smaller: p or 1?
p
Let n be 166/(-7) + 6/(-21). Let m be -2 + ((-71)/n - 1). Let h = -451691 + 451690. Is m greater than h?
True
Let i = 165866 - 21230983/128. Is i at least 0?
False
Suppose 0 = -3*r - 12, -f + 81 = -3*r + 41. Which is greater: f or 515/19?
f
Let h = 246 - -23.8. Let u = h + -270. Suppose q - 4*v = 3*q - 18, v = 3. Is q less than u?
False
Let p be ((-28)/((-1990940)/(-5)))/(1 - -1). Which is bigger: p or 0?
0
Let u be (-1)/(2/36*1). Let s be 111/u*(3 - -1). Let g(r) = -r**2 - 169*r - 4716. Let k be g(-134). Is s not equal to k?
True
Let j = -5278227344674/473 + 11159047015. Let o = 4003 - j. Which is smaller: o or 1?
o
Suppose 110*u + 47 - 40 - 227 = 0. Is u <= -0.9126?
False
Let o(u) = u**2 - u - 2. Let h be (-9)/(135/(-20)) + 4/6. Let f be o(h). Let d be ((-9)/276)/((-6)/(-4)). Which is smaller: f or d?
d
Let z = -41 - -41. Let n be 2*(-2)/16 - 3550/(-14360). Which is bigger: z or n?
z
Let m = 3021 + -3021. Is m < -16/19?
False
Let y be -2 - 1*(-2 + -1). Let i be -3 - ((-56)/(-4) + y). Let s(p) = -18*p**3 + p**2 - 20*p + 19. Let x be s(1). Is i > x?
False
Let t be 2/8 - (-819)/1092. Let r be (-39)/(-27) + (-1)/3. Which is bigger: r or t?
r
Let o be (-15)/6*(3 - (-156)/(-20)). Let x(p) = -2*p - 13. Let a be x(o). Is a less than -37?
False
Let q be 11 + (-1)/((-9243)/(-101667)). Which is smaller: 1 or q?
q
Let y = 41 - -114. Let w = 154 - y. Let t be 30/34 - -1 - 2. Are w and t equal?
False
Let k = 17.2 - 10.9. Let x = k + -6. Let i = 4181/7565 - 231/1513. Is x greater than i?
False
Let i be 126/126*2/6. Are i and 2/13 non-equal?
True
Let y = -32141.941 + 32060. Let q = 80.9 + y. Let c = q + 0.041. Is -30 at most c?
True
Suppose 0 = 3*d - 2*d - 3*i - 3, 0 = i + 2. Let n be 1393 + ((-1)/d)/(5/(-6)). Let j = n + -1387. Is j equal to 7?
False
Let q = -9.673 + 0.173. Let k = 9.4 + q. Is -24 less than or equal to k?
True
Let f = -643 + 646. Suppose 3*y + d - 37 = 0, 5*y - 4*y + 1 = -f*d. Do 102/7 and y have the same value?
False
Let n be (-2962)/(-18) + (-40)/(-90). Let f be 1306/8 - (-4)/(-16). Is n bigger than f?
True
Let s = -180131/396 - 3501/44. Is s <= -535?
False
Let p(h) = 10*h + 39. Let b be p(-11). Let j = -54 - b. Suppose 0*y = t + 2*y - 9, t - 14 = -y. Which is smaller: t or j?
j
Let g = 58 - -86. Let o = -143.94 + g. Is 32 at most as big as o?
False
Let w be 8/2 - (4 + -2). Let h(l) = -6*l - 23 - l**2 - 11 - 11 - 21*l. Let f be h(-25). Is w at most as big as f?
True
Suppose 0 = -29*b + 22*b - 252. Let j = -32 - b. Let f be 5 + (3 - 1 - 3). Is f bigger than j?
False
Suppose 54 = -49*y + 58*y. Suppose -10 - 8 = -y*i. Which is greater: 19/12 or i?
i
Let j = 23939 - 23940. Suppose -39 = -2*r - 9. Which is greater: r or j?
r
Let s = -6.834 - -1.834. Which is smaller: s or 256?
s
Suppose 1 = 3*n - 4*y - 28, -n - 25 = 3*y. Is -67/84 >= n?
True
Let i = 204 + -207. Let n(v) be the first derivative of -2*v**3/3 - 2*v**2 + 6*v + 17. Let g be n(i). Which is greater: g or -1/12?
g
Let a = 2081.5 - 2081.43. Which is greater: -486 or a?
a
Let a be (-1 - 1)*10/4. Let t(l) = -12*l - 57. Let u be t(a). Suppose 3*v = u*h - 6, -h - v = 3*h - 33. Which is greater: h or 10?
10
Suppose -51*j + 21 = 13 + 59. Let i be (0 + -2)*2/194. Is i <= j?
False
Let j be (-2)/6 + 172/12 + 0. Suppose 3*k = 3*y + 3, -2*k - 2*y + j = -0*y. Is k greater than 4/9?
True
Let n be 1532/18 - 15/(-27). Which is greater: n or 87?
87
Let k(f) = f + 16. Let i be k(-12). Suppose 248 = -5*s - i*y, 193 = -4*s - 6*y + y. Let j = s + 570/11. Is -1 at least j?
False
Let d(g) = -g**2 + 26*g + 409. Let x be d(-11). Let m(s) be the first derivative of -s**2/2 + 2*s + 1. Let u be m(x). Is u less than -9/8?
False
Let u = -302.6582 - 0.2418. Let f = u - -303. Is f > -2/87?
True
Let a(o) be the third derivative of o**6/120 - o**5/15 - o**3/6 + 9*o**2. Let j be a(4). Let d be j - (8 + -4 - 3). Which is smaller: d or -5?
-5
Let u(v) = -32 - 2*v**2 - 9*v + 19 + 6. Let t be u(-4). Is t != -7?
True
Let k be 546/8 + 5/(-20). Suppose k - 8 = 4*c. Let i be 4/2*34/(-16)*-4. Which is greater: c or i?
i
Let x = 16 + -14.4. Let n = -1.71 + x. Suppose -56*a + 0*a = 56. Which is greater: a or n?
n
Suppose 2*l + 11*n - 15*n = -8, 2*l = -3*n - 1. Which is smaller: 262/3 or l?
l
Suppose -8*k = -4*k. Suppose -3*g - 114 = 5*c, c + 3*g + 18 = -k*c. Let i be (-6)/9 + c/(-45). Do 0 and i have the same value?
False
Let i(p) = -3*p - 16. Let z be i(-6). Let g be ((-5)/z)/(-1)*(-15)/75. Let n be (-15)/(-160)*3/(-9). Which is smaller: n or g?
g
Suppose 0 = -0*r + r - 35. Let u(i) be the third derivative of -i**4/12 + 41*i**3/6 - 4*i**2 - 11. Let t be u(4). Which is smaller: t or r?
t
Let w = 1485533788/5851 - 253894. Which is smaller: -1 or w?
-1
Let n be 8 - 3 - -2*((-5848)/11728 - 2). Which is greater: -1 or n?
n
Let c be (-4)/(-6) + (-120)/183. Let o = 121 + -120. Which is greater: o or c?
o
Let u = 1352.35 - 1352.25. Let m = -0.054 + 244.054. Does m = u?
False
Let f = 60.49 + -1563.49. Which is smaller: f or 0?
f
Let m = -149.32 - -3.32. Let b = m + 144.22. Which is bigger: 0.1 or b?
0.1
Suppose -3*k - 2*j - 17 = 33, -4*j - 20 = k. Let w be (21/14)/(6/k). Let v be ((-8)/(-3))/(1/(-3)). Which is smaller: w or v?
v
Let d(c) = c**3 + 8*c**2 + 2*c + 19. Let o be d(-8). Let w(v) = -30*v**3 - 2*v - v - 10*v**2 - 2 + 29*v**o. Let s be w(-9). Which is smaller: 1 or s?
s
Let f = 16622/7857 - 210/97. Let m be ((-3)/9 - 0)*-3. Is m < f?
False
Let q(o) = 3*o**2 + 56*o + 27. Let n be q(-20). Let a = -268977 + 4574429/17. Let h = a - n. Is -1 less than h?
True
Let v = -1496 - -1521. Which is smaller: 35 or v?
v
Let a be ((-4820)/(-16))/((-30)/(-48)). Let p = -461 + a. Which is greater: 11 or p?
p
Suppose 2*i = f + 68, f - 3*i + 5*i + 84 = 0. Let h = f - -40. Let g be 12*-3 + (-2)/2. Do h and g have the same value?
False
Let l = 38029/69548412 + -8/11283. Let c = l - 11335/6120852. Are -1 and c non-equal?
True
Let q = -456 - -456. Suppose 2*o + 3*x - 193 = q, 5*o - 2*x = 3*x + 520. Are 100 and o equal?
False
Suppose -1452 - 2176 + 806 = -34*u. Is u != 17?
True
Let r be 36/(-270) + (-2)/12*-10958. Is 1826 at least r?
False
Let z = -14776 + 8392771/568. Which is smaller: -3 or z?
-3
Let n(a) = a**3 + a + 6. Let w be n(0). Let c be (2/w)/(6/54*3). Which is smaller: -80 or c?
-80
Suppose 0 = -2*r - m - 280, 154 = -2*r + r + 3*m. Let g = -104 - r. Which is smaller: 37 or g?
37
Let y be ((-9 - -7)/(-8))/((-1)/4). Does y = -3039?
False
Let o(a) = -2494*a - 182. Let b be o(-7). Let c be (-5)/(-10) + (b/8)/(-7). Is -308 >= c?
True
Let h be (-2538)/(-78374)*((-106176)/(-52) + 1). Let g = -1/39187 + h. Let p = g + -66. Which is smaller: p or 3?
p
Let h be (-4)/(-14) - (-130)/84. Let m = 16686 + -16684. Which is greater: h or m?
m
Let i = 47.22 - 47.22. Which is greater: 117 or i?
117
Suppose 7*b = 14*b - 42. Let w be (-18)/5*(-2 - (-2)/b). Which is smaller: 29/6 or w?
29/6
Suppose m = -4*m + 30, m - 9 = 3*g. Let o be (6/4)/((-6)/(-8)). Let w be g/(3*o/(-6)). Which is smaller: 4/41 or w?
4/41
Suppose -34*x - 12 = -38*x. Suppose x*w + 2*f = 857, -2*w + 405 = -f - 157. Which is bigger: w or 282?
w
Let s be (737/(-198))/(15/(-6)). Let g = -14/45 - s. Which is bigger: -2 or g?
g
Let w(c) = -c**3 - 11*c**2 - 19*c - 7. Let g be w(-9). Suppose -14 - g = 16*t. Which is bigger: t or -77?
t
Let b = 1/1506 + 1001/4518. Which is bigger: -0.1017 or b?
b
Suppose v + c = 12, -4*c - 47 = -4*v - 15. Let d be -4 + v + -4 - 0. Let r be -3 + 0 - d/(116/(-178)). Is r smaller than 0?
False
Let i = 144 - 140. Suppose -12*c + i*c = 8. Let k be c/1 + 52*(-11)/(-580). Is k less than or equal to 0?
True
Let z be 10/3*3/(-2). Let q be 3/z - (-14421)/(-665). Let l = -22 - q. Are l and 1 equal?
False
Suppose -51 - 124 = -5*l. Let j = -6 + l. Suppose -4*f + 44 = -2*d, j + 1 = 2*f - 3*d. Is f greater than or equal to 10?
False
Let d be -1066 + -27*(-8)/(-24). Which is smaller: d or -1074?
d
Suppose -185*f + 1 = -193*f - 7. Which is greater: f or -78/155?
-78/155
Let y(o) = -8*o**2 + 28*o - 72. Let a be y(-8). Is -803 < a?
False
Let k = 46.3 + -53. Let n = -5.9 - k. Suppose 1 + 5 = -2*f - b, 4*b + 6 = f. Which is bigger: f or n?
n
Let o(z) = -z**3 + 15*z**2 - 14*z. Let p be o(14). Suppose -i + 0*i - 156 = p. Are -158 and i nonequal?
True
Suppos