8 - 4. Let r = 3/2428 - 305/1214. Is r at most as big as p?
False
Let y(w) = -3*w**2 + 209*w - 210. Let h be y(1). Which is smaller: 1760/3 or h?
h
Let z(l) = 3*l + 11. Let t(k) = -3*k - 12. Let n(m) = 3*t(m) + 4*z(m). Let g be n(2). Let q be 1/(-2 + g/6). Which is greater: q or 12/7?
q
Suppose 2*i - 5 = 3*u, i = -4*u + 5*i - 8. Let r be 6*1 + -91 + 84. Let p be 70/154 + (0/3)/r. Which is greater: u or p?
p
Let o(u) = 3*u**3 + 4*u**2 - 5*u - 6. Let k be o(6). Suppose 181 - k = -23*z. Let r = -1 + 0.9. Is z >= r?
True
Let c(m) = -5*m + 25. Let d be c(6). Let n be d*2/(-30) + (-7546)/(-6). Let x = n - 8788/7. Are x and 3 nonequal?
True
Let b(u) = 908*u - 199. Let n be b(-15). Let o = -124541/9 - n. Which is greater: o or -19?
o
Let s be ((-5)/5)/(1/14). Let l be -1*(-56)/(-7) - -4*21/(-14). Is l at most s?
True
Let m(t) = -t**3 + 10*t**2 + 51*t - 136. Let n be m(13). Which is smaller: -14 or n?
-14
Let y = -19528 + 19518. Let i = -5 + 0. Let j = -9 + i. Which is smaller: j or y?
j
Let a = 22 + -58. Let b = a - 37. Let z = b + 84. Is -0.2 > z?
False
Let y be (-85)/(-3) + 5/(-9)*-3. Let p be (-15)/y - (-382)/44. Do 8 and p have the same value?
False
Let n = 2021 - 18227/9. Let j(l) = -16*l**2 - 209*l - 11. Let z be j(-13). Is n greater than z?
False
Let p = 16307 + -16267. Is -3/2 equal to p?
False
Suppose -5*m - f = 11 - 21, -2*m + 16 = -2*f. Suppose 0 = m*r - 385 - 233. Which is smaller: 204 or r?
204
Let d = 7280 - 2708. Are d and 4573 equal?
False
Let o = -5494 + 7416. Which is smaller: 1924 or o?
o
Let h = 14 + 9. Suppose 0 = -13*z - 19*z + 736. Do z and h have the same value?
True
Let d be -7*(8 - -109)/(-13). Which is bigger: 3 or d?
d
Suppose 4*u = 2*u + 64. Let x = 67 - u. Let i be ((-2)/(-7))/((-5)/x). Which is bigger: i or 1?
1
Suppose -37*m + 42*m = 0, 248 = -4*d - 2*m. Which is smaller: -66 or d?
-66
Suppose 59*a = 43*a + 9568. Let h be 2/(-6)*3 - a/(-594). Is 0 < h?
True
Let h = -318/263 + 2752/1841. Let m = -2.8 - -2.59. Is h less than m?
False
Let q be 6*1*11/3. Suppose -5*i - 5*u - q + 182 = 0, -u = 3. Is 106/3 <= i?
False
Let u = -350.5055 - -350.45. Is 1/12 at least u?
True
Suppose 22*g = 24*g + 4. Let d be (g/12)/((-35)/(-63)). Is 1 equal to d?
False
Suppose -11*v - 18561 + 4432 = 33259. Is v > -4308?
False
Let h = -23484 + 23361. Which is smaller: h or 68?
h
Let j = -5932 - -6739. Is 807 greater than or equal to j?
True
Let k be (-12)/(-9 - 264/(-32)). Suppose k*i - 8*i = 8. Let n be -1*4/(-6) + -1. Is i > n?
True
Suppose 2*u - 1088 = 4*n, -8*u - 3*n - 540 = -9*u. Is 549 not equal to u?
True
Let z(g) = 2*g - 50. Let p be z(13). Suppose -5*f + 39 = 14. Suppose 5*s + 97 = 2*s + f*o, 4*s - 2*o + 106 = 0. Is s >= p?
True
Let t be 11849/(-2132) + (-3)/4. Is t greater than -5?
False
Suppose 2*y + 5*s - 30 = 0, 595*s = 5*y + 598*s - 18. Which is smaller: 1/1042 or y?
y
Let f be (-9)/(-4) - (-1)/(-4). Suppose 0 = -2*s + 2*b + 26, 3*s - f*b + 0*b - 36 = 0. Let k be 63/(-64) + (s - 9). Which is bigger: k or -1?
k
Let c be 5285/(-2114) - (0 + 1 - -144). Is c not equal to -2?
True
Suppose -207 = 4*s - m, 0 = 5*s + 2*m - 0*m + 262. Suppose -216 = 10*f + 460 - 156. Is s > f?
False
Let q = 38/25 - -23/100. Let u = 8.5538 + -8.0538. Is u bigger than q?
False
Suppose -787 = 3*u - 193. Let q be (-4 + 0/(12 + -6))/(4/200). Which is smaller: u or q?
q
Let d = 17.4580144 + 0.0419856. Let y be (2/(-8))/((-18)/(-16)). Is d < y?
False
Let h be (3/(18/177))/((-21)/(-378)). Let k = h - 532. Is 2/749 at least k?
True
Let n be -21 - (-4 + 4) - (-1 + 1). Let d = -23 + 3. Let m be (-4)/d*-22*5. Which is bigger: m or n?
n
Let o be 355/90 + 4/16*-6. Let k = 563/234 - o. Is k < 1?
True
Let i(s) = s**3 + 8*s**2 + s - 14. Let u be i(-8). Let g = 51 + u. Let w = g - 28. Which is smaller: 8/7 or w?
w
Let a = 42 + -41. Let m be -2 - -6 - 6*a/2. Let k be -4 - (-4 + 1/m) - 0. Do -6 and k have the same value?
False
Let n(z) = 9*z + 30. Let c be n(5). Let s be (-5)/4 + 1 + c/12. Which is smaller: 3 or s?
3
Let z = -127 + 248. Suppose -5*c + 2*b = -614, 20*c = 16*c + 2*b + 492. Which is smaller: c or z?
z
Let t be (-94)/(-235) - 34/10 - 6/(-2). Which is bigger: 892 or t?
892
Let z = 1122.99 - 1117. Let f = 6 - z. Let i = -81.9 - -81.8. Is f bigger than i?
True
Let j = 8.17 + 4.83. Let p be ((-6)/(-2))/(-45)*8/4. Is j at most p?
False
Let n be (-6)/33 + 35060/(-22)*49/98. Which is smaller: n or -800?
-800
Let a(d) = 2*d**2 - 14*d + 25. Let i be a(3). Which is smaller: -3/64 or i?
-3/64
Let r = 272 - 328. Let t be -4 + r/(-35) - -6. Let j(u) = -2*u**3 - 2*u**2 + u - 2. Let g be j(-2). Which is bigger: t or g?
g
Let n = -631 + 430. Let k = n - -200.1. Which is smaller: k or -0.6?
k
Let y = 1/3703 - -5655/6483953. Which is bigger: 0 or y?
y
Let v(k) = 468*k**2 - 465*k**2 + 7 - 4*k**3 + 8*k + 2*k**3. Let j be v(4). Is -17 less than j?
False
Suppose 0 = -3*j + 236*r - 232*r + 247, r = 11. Let u = -3 + 3. Which is smaller: u or j?
u
Suppose 13 = 8*m - 3. Suppose q - 3*r = 3, -2 = -q + m*r - 0. Is q bigger than 3/35?
False
Let p = 8 - 7. Let r be 1/(-2)*-1*(-1068)/(-3115). Is r >= p?
False
Let s be 2146/18241 + (-47)/255 - 217/(-3030). Let o = -3 - -2. Is o smaller than s?
True
Let a(o) = 14*o - 70. Let k be a(5). Let u be (-2)/8 + (-27)/(-12). Suppose u*b + 15 - 17 = k. Which is smaller: b or 6/11?
6/11
Let b(u) = -u**3 - 51*u**2 - 268*u + 91. Let k be b(-45). Which is smaller: k or -2/56889?
-2/56889
Let v = 1888 + -1887. Which is smaller: v or -0.727?
-0.727
Suppose 22*b - 27 = 17. Which is greater: -153 or b?
b
Suppose -5*d + 4 + 21 = 0. Let v be d*-1*((-56)/245)/(-4). Are -36 and v equal?
False
Let i = -55.824 - 0.176. Let o = i + 106. Let j = 25 - 24. Is o greater than or equal to j?
True
Suppose -s + 142 = 2*t, -5*t = -s + 38 + 132. Let y = -161 + s. Which is greater: -16 or y?
y
Let z = -2.69615 - 119.24085. Let p = z - -122. Let c = p - -0.037. Do 0.33 and c have different values?
True
Let n be 34 - (20 - 0) - (161/69)/((-1)/(-3)). Let a be -1 - (25/(-4) + -2). Which is bigger: a or n?
a
Let h be ((-4)/(-250))/((-64)/96). Let m be (-135)/18 + 8 + (-8)/(-16). Is m > h?
True
Let s be 11 + -3 + 63/7. Are s and -5 unequal?
True
Let w = 9753 - 9754. Which is smaller: w or -19/131?
w
Let h(f) = f**3 + 2*f**2 - 4*f + 1. Let p be h(-4). Let m = -164 + 69. Let a = 94.9 + m. Which is bigger: p or a?
a
Let d = 46.5 - 127. Let u = d + 38.7. Let b = u + 42. Which is bigger: b or -2?
b
Let o be (1150/(-125) + (-1)/(-5))*6/(-9). Are o and 0.213 equal?
False
Let d(q) = 22*q - 6. Let i be d(-5). Let x = -2501/22 + 46/11. Let v = x - i. Do 6 and v have different values?
True
Let o be 4/(-6)*(-333)/2. Suppose -1 = m - o. Let j be (m/35)/1 - 3. Do j and -0.2 have the same value?
False
Suppose -4*x + 0*x + 2920 = 4*m, 4*m - 1450 = -2*x. Suppose -8*s - 7*s + x = 0. Suppose -7 - 42 = -i. Is i equal to s?
True
Let p = 1550 - 1531. Let t(s) = s**3 + 6*s**2 - 9*s + 5. Let f = -16 + 9. Let o be t(f). Is o < p?
False
Let a = 1 + -104. Let c = 46 + a. Is -58 at most as big as c?
True
Suppose -20*s = -24*s + 60. Suppose -20*r + s*r + 25 = 3*x, 3*x = -2*r + 10. Is x at least -10/119?
True
Let f(l) = 12*l**2 + 556*l - 2707. Let i be f(5). Which is smaller: i or 378?
i
Suppose 6*w + 2989 = 1033. Let f = -977/3 - w. Which is smaller: -1 or f?
-1
Let g = -940 - -939. Let x = -1.8 - 17.2. Let q = x + 17.8. Is g at least q?
True
Suppose 2*u - 168 = 4*r, 18*u + 10 = 23*u. Which is smaller: r or -930/23?
r
Let d(h) = h**2 + 6*h + 1. Let g be d(-6). Let o = -629887 - -8818419/14. Is o at most g?
True
Let k(l) = -4*l**2 + 370*l + 950. Let w be k(95). Which is bigger: 14/3539 or w?
14/3539
Let i = 1.4 - 0.4. Let g be 8/36 - (-112)/(-18). Let t = -101 - g. Which is smaller: t or i?
t
Suppose -200*j - 12 = -212*j. Is -14 < j?
True
Suppose 2*i - 14 = 3*j + 4*i, -3*j + 3*i = -6. Let w = -72232 - -72250. Are w and j non-equal?
True
Let h(l) = 103*l - 28. Let m be h(7). Let a be 2/(-18) - (2 + (-2255)/m). Which is bigger: a or 1/4?
a
Let y(g) = -g - 4. Let f be y(-12). Suppose 4*v = f*v - 12. Suppose v*d = -3*x - 108, 4*d - 84 = 2*x - 0*d. Does -37 = x?
False
Let q be (-6 - -8) + (1 - 0/1). Suppose 5*v + 41 = -4*r, -5*v - 20 = -v. Is q < r?
False
Let r be 49419/3990*(-40)/(-24). Which is smaller: r or 20?
20
S