st as big as p?
False
Let m(b) = -7*b**2 + 26*b - 117. Let z be m(-10). Is -1075 > z?
True
Let w(h) = h**2 + 6*h - 2. Let l(z) = 2*z + 4. Let c be l(-5). Let a be w(c). Let g be ((-1989)/(-108))/(-13) - 506/(-759). Is g > a?
True
Suppose -1551*b = 1202*b + 178945. Let z(y) = -2*y - 5. Let p be z(-7). Let u = -55 - p. Which is bigger: b or u?
u
Let s = -122 - -121. Suppose 0 = -4*i + 3*i + 5*o - 22, i - 6 = -2*o. Let p be 1*(i/(-1) + (-396)/196). Which is smaller: p or s?
s
Let r be (-2)/(-21) + -14 + 1946/147. Is -0.1 >= r?
True
Let j(o) = 3*o + 104. Let l be j(-36). Let i be (-153)/(-36) + l + (-26)/8. Does i = -17?
False
Let w be ((-59385)/29691 + 11 - 9)/(1/2). Is w > 1?
False
Let d be 27504/30636 + 4/(-46). Is d >= 0?
True
Let z = -141.44 - -142. Let u = z + -17.56. Which is bigger: u or 0?
0
Let t be (-12*(-32)/30)/((-4)/290). Are t and -931 unequal?
True
Let s = 107665 - 1735452137/16119. Which is smaller: 1 or s?
s
Let j be (-16104)/995040*-6 + (9/10 - 1). Which is smaller: j or 5?
j
Let m = -667 - -18004/27. Let h be (52/6 + -9)*3. Is m < h?
False
Suppose f - 5*s = -2, 0 = -5*f + f - 2*s + 80. Suppose -k + d + f = 6*d, -4*k = -2*d + 38. Let w be ((-5)/40)/((-2)/(-112)). Is w at most k?
True
Let t(s) = s**3 - 13*s**2 - 69*s + 646. Let h be t(16). Which is smaller: 301 or h?
301
Let x = -3.866 + -18.134. Is x bigger than 1.7?
False
Let g(t) = 661*t + 5281. Let f be g(-8). Is f != -633/82?
True
Suppose 0 = 4*b + 16, 5*b - 3 + 19 = -4*l. Let z(r) = 15*r**2 - 3*r + 4. Let s be z(l). Suppose 2*w = -s*w. Which is greater: w or -7/25?
w
Let o = -236 - 64. Let w = o + 300.159. Which is smaller: -1/4 or w?
-1/4
Let h be 25/(-10)*2/((-1)/1). Suppose 8 = -h*s + g - 7, 0 = s + 3*g + 3. Let b be ((-6)/10)/(s/((-150)/(-35))). Which is smaller: 2 or b?
b
Let r be (-2)/(-9) - 57/216. Let t be (537/12)/((25/20)/5). Suppose -t*g + 6 = -185*g. Do r and g have different values?
True
Let v = 0.043 + -0.033. Let i = -13643/8 + 1748. Let w = 43 - i. Which is bigger: v or w?
w
Let n = -183 + 182.9949. Let j = 0.0051 + n. Let w be (-32)/(-54) + 2/(-3). Which is smaller: w or j?
w
Let r(s) = -8*s - 3022. Let n be r(-92). Which is bigger: n or -2284?
-2284
Suppose 2016 = -z + 4*i, -2*z - 2*z + 2*i - 8036 = 0. Let n be (-7)/(294/(-84240)) + 30/5. Let v = n + z. Which is smaller: v or 5?
v
Suppose 0 = -4*q - 10*z - 12476, q - 3*z + 5*z = -3122. Which is greater: -3133 or q?
-3133
Let z = 1508 + -884. Suppose -6*r = 216 - z. Suppose -64 = -2*k - 2*w, -2*k - 6*w = -2*w - r. Are k and 30 non-equal?
False
Let k = 10093 - 7315. Which is smaller: k or 2783?
k
Let z = 39 - -130. Suppose y - 4*y + y + 340 = 0. Is z >= y?
False
Suppose -5152 = -16*w - 0*w. Let x = -346 + w. Are x and -0.5 equal?
False
Let w = -124/179 + 245961/355315. Is 1 < w?
False
Suppose 6 = -2*k + 78. Let c be (-5)/(15/9)*(-3)/k. Is c less than or equal to 51?
True
Suppose -8*n + 10*n + 5*t - 449 = 0, -676 = -3*n - 5*t. Suppose -n*b = -230*b - 69. Which is smaller: -43/2 or b?
b
Suppose 4*s - 3*s = -b + 46, -3*s = -3*b - 120. Let c = -82 + s. Is -40 >= c?
False
Let h = -12.9892 - 0.0108. Is 114 greater than h?
True
Let g = -1376893/22 - -62584. Let d(l) = -2*l + 9. Let f be d(6). Which is bigger: f or g?
g
Let j = 660.5 - 533.612. Let x = j - 127. Which is greater: 0 or x?
0
Let y = 5.68 - 5.84. Which is smaller: 384 or y?
y
Let m be (-1)/(-40*(-17)/70448). Which is greater: m or -103?
-103
Let a(r) be the second derivative of -r**4/12 - r**3/6 + 17*r**2/2 + 14*r. Let l be a(-5). Let j be (6/(-12))/(l/(-6)) - -1. Which is smaller: 2/53 or j?
j
Let h(w) = 2*w**3 - 11*w**2 - 4*w + 29. Let r be h(7). Let k be -2*(4/26 - r/(-728)). Which is smaller: 0.3 or k?
k
Let a be ((-3)/((-48)/(-68)))/((-3)/12). Let o be 2*a/8 + 1/(-4). Suppose 0 = -3*d + o*d - 3. Which is smaller: 2 or d?
2
Let o be (18/(-36))/(2 + (-177)/88). Let n be 33/o*(-2 + -2). Let x be (1/22)/(1/(-80)). Are x and n equal?
False
Let d be ((-12)/9 - (-17)/15)/(2/(-10)). Are d and -2/2391 equal?
False
Let b(l) = -61*l + 365. Let a be b(6). Are -2/5413 and a unequal?
True
Let q be ((-1350)/(-126) - 11)*(-3)/(-2). Which is smaller: -0.028 or q?
q
Let o be (6/(-39) - (-8155)/195) + 2/6. Let l be (-4)/3*(-42 - -9). Is l > o?
True
Let v = 1003 - 1015. Let g(q) = -q**2 + q - 12. Let j be g(0). Is j greater than or equal to v?
True
Let o(u) = -u**2 + 86*u - 826. Let f be o(11). Which is greater: f or 1/2081?
1/2081
Let g be 4/(-6)*(-117)/2. Let s = 0 + g. Let i = -70 + s. Which is bigger: -32 or i?
i
Suppose 18*f + 152 + 59 = 49. Let p(i) = -i**2 - 3*i + 2. Let a be p(2). Let m be (34/a)/((-2)/(-4)). Is f at least m?
False
Let a = -4956 + 5015. Which is smaller: a or 179/3?
a
Let j(b) = 3*b**3 + 38*b**2 + 5*b - 21. Let k be j(-13). Let w = -631 - -375. Is k > w?
True
Let d(l) = -l**3 + 54*l**2 + 113*l - 57. Suppose 5*q - 2*p - 272 = 0, -4*q + 3*q + 48 = -2*p. Let f be d(q). Which is smaller: f or -2/1335?
f
Let i = 199865 - 2800671/14. Suppose -4 = -5*g + 911. Let w = i + g. Is w >= 0?
True
Suppose 5*v + 752 = m, 0 = v + 44 - 48. Are m and 772 equal?
True
Let k = -21551 + 21500. Which is smaller: 1/44 or k?
k
Let n = 46.703 - -7.297. Which is smaller: 2/3 or n?
2/3
Let t be (-10)/((-150)/21) - 2. Which is smaller: t or -284?
-284
Let y be 4750/6 + 11 + (-384)/36. Let m be y/114 - (8 + 0). Which is smaller: m or 0?
m
Suppose -9*o = -7*o - 90. Let n be o*(-8)/(-2 + 10). Do -42 and n have different values?
True
Suppose -493 = -5*l + 37. Let z = -114 + l. Let b be (2*4/(-32))/((-7)/z). Is b equal to -77?
False
Suppose 17*c - 518 + 194 = -1956. Is 18 at most c?
False
Let q = -1 + 2. Let p be (108/30 + -3)/((-195)/(-25)). Which is bigger: q or p?
q
Let y(r) = 1258*r + 1260. Let d be y(-1). Let a = -209.07 + 210. Which is bigger: d or a?
d
Let a(t) = -t**2 + 31*t - 68. Let m be a(20). Suppose -4*q + 84 = m. Let v(w) = -w**2 + 2*w - 3. Let s be v(5). Is q greater than or equal to s?
True
Let q = 15.4798 + 66.6712. Let u = -0.151 + q. Let w = u - 82.1. Which is greater: 0.042 or w?
0.042
Let a be 0 + (3 - 31)/7 + 3582/(-21). Is a at most as big as -175?
False
Let v = 13 - 4. Suppose 0 = -q - f + 1, 0 = -2*q + 3*f - v + 26. Suppose -r = -q*w - 7, -2*w = w + 6. Which is greater: r or 1?
1
Suppose 654 + 1154 + 852 = -19*m. Do -131 and m have different values?
True
Let s(t) = t**2 - 2*t - 27. Let p be s(10). Let x = p + -59. Is x at least -13?
True
Let c = -0.186 + 61.186. Let l = c + -71. Which is bigger: l or -0.1?
-0.1
Let q(v) = -2*v**3 + 21*v**2 + 15*v - 32. Let r be q(11). Suppose r*m - 6 = 18. Which is bigger: m or 19/6?
19/6
Let u = 216 - -38. Let s = u - 254.04. Which is bigger: s or 0.17?
0.17
Let q = -4 - 6. Let l = -2 - -6. Suppose -l*a - 36 = -m, -6*a + 5*a = 3*m + 22. Is a >= q?
True
Let k = 17384400111/43567385 - 7/1013195. Let v = -424 + 823. Let q = v - k. Is q not equal to 0?
True
Let s be 356/(-7)*(114 - 149). Is s >= 1780?
True
Suppose -5*w = z - 13, 9*z - 10*z + 3 = 0. Let i be 3/((-9)/(-12)) + (-22)/w. Which is smaller: -33/4 or i?
-33/4
Let t = 3274 + -3251. Is t less than -8?
False
Let i = -74818223/3 + 22146215891/888. Let d = 113261/8 - 14133. Let r = d - i. Are 1 and r equal?
False
Suppose -4*r - 3*x = -3*r + 4, 4*x = 2*r + 28. Suppose 0 = -2*w + 3*g, -47*w - 18 = -42*w - 3*g. Let j be 1 + -45 + (w - (r - -6)). Is j < -45?
True
Let a = -1524 - -21359/14. Let f = a - 8/7. Which is bigger: 0 or f?
f
Let h = -146 + 149. Let a(o) = 7*o - 5. Let l be a(h). Which is smaller: l or 18?
l
Suppose 0 = 5*n - 25, -4*n = 3*u - 4*u - 18. Let r(i) = -23*i - 45. Let m be r(-3). Let l be -4 + 0 + 126/m. Which is smaller: l or u?
l
Suppose 6*f = -4*f - 97590. Let b = f - -3913357/401. Which is greater: b or 0?
0
Let s = -3 + 2. Suppose -j = 4*j - 20. Suppose 5*p - 2 = j*p - y, y = p. Is s greater than p?
False
Suppose -19 = -14*f + 37. Let a be (-4)/(-12) - ((-31)/9 - 0). Which is greater: f or a?
f
Suppose -4*g + 20 = 0, -d - 5*g = -0*g - 94. Let r = 72 - d. Suppose 2 = v - r*n - 0, 3*v - 5*n - 2 = 0. Is v at least as big as -2/105?
False
Let l = 1310.5 + -1341.82. Is -0.02 less than or equal to l?
False
Let j = -982/3 - -330. Let w = 7.93 + 0.07. Which is smaller: w or j?
j
Suppose 5616790 + 3749715 + 4906950 = -745*b. Is b not equal to -19159?
Fal