 is bigger: -2/2283 or t?
-2/2283
Suppose 2*a + 71 = 3*x + 6, -x + 35 = -4*a. Let c be 12410/12 - (3 + 68/(-24)). Let d be c/55 - (-1)/5. Are d and x equal?
True
Let i = 5/2499008 + 133816880159/112455360. Let a = 1190 - i. Let k be ((-1)/1)/(4/4). Which is smaller: k or a?
k
Let x = 0.67 - -47.13. Let u = -45.8 + x. Is u at most -151?
False
Let k = -3.3 + 3. Let b = 33219 - 33223.3. Which is greater: k or b?
k
Suppose -477 - 1347 = 4040*j - 4078*j. Is 0.091 bigger than j?
False
Let w = -5483 - -5486.8. Is w less than or equal to 19?
True
Suppose 10*j - 14*j = 12. Suppose 39 = 2*u - h, h = u + 4*h - 23. Let c be 65/u + j + 0. Which is smaller: 0 or c?
0
Let u = -322 - -620. Suppose 142 = 10*t - u. Are t and 43 non-equal?
True
Let s = -19234 + 19233. Which is smaller: s or -3409?
-3409
Let x = -226 - -182. Let r be (-2)/6*(-33)/x. Is r smaller than -13?
False
Let p(h) = -h**3 + 6*h**2 - 8*h + 17. Let q be p(5). Suppose 48 = -q*z - 4. Which is smaller: -27 or z?
-27
Suppose -8*m = 4*m - 60. Suppose -9*q + 265 = -4*q. Let l = 62 - q. Is m at most as big as l?
True
Suppose -212*b - 18 = -206*b. Is b < -244?
False
Let d = 151.69 - -0.31. Let g = -152.15 + d. Is -5 <= g?
True
Let w be ((-30)/(-35))/((-18)/(-84)). Let n be 20*(-184)/(-728) - (-4)/(-14). Which is smaller: n or w?
w
Let p be ((-4)/6)/(30/135). Which is greater: -94 or p?
p
Let j = 12 - 13. Suppose 0 = -17*h + 12*h - 140. Let g be (5/(-25))/(h/12). Which is greater: g or j?
g
Let g(m) = m**3 + 5*m**2 + 6*m + 1. Let j = -26 - -28. Let n be (4*(-2)/3)/(j/3). Let x be g(n). Is -5 smaller than x?
False
Let l be (2 + -5)*5/(-3) - -70. Suppose -75*u + 80*u + l = 0. Which is smaller: -18 or u?
-18
Let a = 0.92 - 0.22. Suppose 0 = -4*m + 5*b - 11, 4*b + 1 = 13. Which is smaller: a or m?
a
Let w = 41034 - 41014. Let o = -34 + 59. Which is smaller: o or w?
w
Let j = -0.14159 - 48.85841. Is -72 bigger than j?
False
Suppose -5*c + 19 = -3*p, 13*p - 5*c + 29 = 15*p. Are -748 and p non-equal?
True
Let t be (((-484672)/(-20))/(-4))/(-2) - -2. Let o = t + -3081. Is o >= -51?
True
Let c(z) = z**3 + 9*z**2 + 4*z - 25. Let i be c(-8). Let r be (16/i)/((-14)/(-49)). Which is bigger: r or -14?
r
Suppose 138862 = 81*j + 34453. Which is greater: j or 1284?
j
Let p(o) = -3*o**2 + 5*o - 4. Let m be p(1). Let g be (-8*m/(-4))/((-6)/66). Are g and 46 equal?
False
Let i be -2*1*1512/3852. Is 0 bigger than i?
True
Let b be (-104)/(-78) - ((-4)/(-26) + 368/312). Which is bigger: b or 8/5639?
8/5639
Let j = -3.3899 - -3.7899. Is 0.396 at least j?
False
Let y(s) = s + 8. Let q(h) = -h - 1. Let l(b) = -2*q(b) - y(b). Let u be l(7). Suppose -214*n - 281 = -67. Which is smaller: n or u?
n
Suppose -295*r + 15*r + 5136 = 148*r. Suppose b + c - 8 = 0, 5*b - 19 - 45 = c. Is r greater than b?
False
Let g = 0.8 + -0.2. Let k = -0.4 - g. Let w = -288 - -274. Which is smaller: w or k?
w
Suppose 7*r - 4*r - 5*o = -10, 0 = 2*r + o - 2. Let y be (-1889 - -1888)/(46/26). Is r != y?
True
Let a be 941238/(-162) - (-15)/135. Are a and -5810 non-equal?
False
Let w(l) = 86*l**2 - l + 5. Let n be w(-3). Let b = n - 6225/8. Let v = b - 431/136. Is v greater than 1?
False
Let z(q) = 150*q + 712. Let j be z(23). Is 4163 bigger than j?
True
Suppose -4*n + 35 - 11 = 0. Suppose 5*l - f + 0*f = n, -2*f = 2*l. Let u be 294/(-784) + (-141)/(-248). Is u bigger than l?
False
Suppose 5*u - 21325 = -g, -u - 3*g = -4652 + 373. Let s be (3/(-4))/(585/u). Are -5 and s equal?
False
Suppose 0 = 2*m + m + 3*b - 618, 0 = 2*b. Let u be 4/(-6) - m/(-3). Let q be (-269 - 7)/((-152)/(8 + 30)). Which is bigger: q or u?
q
Suppose -w + 8 = -348*f + 351*f, -4*f + 5*w = 21. Which is smaller: 1/1911 or f?
1/1911
Let x = 1.813 + -10142.813. Which is smaller: x or -0.1?
x
Let v = 14 + -7. Suppose -v*a = -4*a. Is -1/90 greater than or equal to a?
False
Suppose -p = -4*w - 23, 7*w + 12 = 4*p + 11*w. Suppose -18*r - 25 = -p. Let u = 5/131 - 821/917. Are r and u unequal?
True
Let r(h) = h**2 + h - 4. Let p be r(-4). Let j be 7/(-28) + 2/p. Do j and 5 have the same value?
False
Let k = 633 - -6793. Is k at most -1?
False
Let n(h) be the third derivative of -13*h**4/24 + 85*h**3/6 - 290*h**2. Let c be n(7). Which is greater: -72/13 or c?
-72/13
Let v = -1242733/120 + 82851/8. Suppose 3*p - 2*p - 2 = 0. Are p and v nonequal?
True
Let f = 106 - 184. Do f and -78 have the same value?
True
Suppose -3*x + 2*x = 45. Let k be (-4 + 3)*(-3)/x. Suppose -5 = -131777*f + 131782*f. Is k < f?
False
Suppose -3*x = 4*g + 2*x - 1177, 3*x + 1169 = 4*g. Let d = -2047/7 + g. Let j = d + -50/63. Which is greater: 0 or j?
0
Suppose -5*b - 3*a - 22 = 0, -25*b + 26*b + 5*a = -22. Is 112 != b?
True
Let x be (-2)/((-6)/883) + 349/(-1047). Is 288 greater than or equal to x?
False
Let k be 2580/(-20)*(-5565)/111. Let h = k - 6467. Is 1 at most as big as h?
False
Suppose -4*a + 473 = -4*g - 7099, -5*g = -3*a + 9481. Which is smaller: -0.3 or g?
g
Let h be 66/6*((-3 - -56) + -4). Suppose -f + o = -281, 2*f - 51 - h = -5*o. Is 283 at least as big as f?
False
Let l(k) = 2*k**2 - 24*k + 3. Suppose 29 = y - 3*b, 2*y - 3*b + 2*b = 38. Suppose y = 3*o - 19. Let p be l(o). Which is smaller: 1 or p?
1
Let v(n) = n**2 + 22*n + 1922. Let d be v(48). Is d greater than or equal to 5282?
True
Suppose -5*j = -0*j - 80. Suppose -2*a + 2*u - j = -2*u, -3*a - u - 3 = 0. Let l be (a/(-7))/(15/3885). Is l less than 75?
True
Let g(c) = 223*c - 224. Let o be g(1). Is 11/1513 smaller than o?
False
Let u = -709 + 682. Suppose -l - 6 = 4*c + 39, 2*c + 135 = -5*l. Which is greater: l or u?
l
Let x = 0.319 + -420.319. Let u = 420 + x. Does u = 1/16?
False
Suppose 436*q - 479*q = -2021. Which is smaller: -6 or q?
-6
Suppose 0*p - 3*p = 3. Let i = 591.7 - 592. Let b = i - -41.3. Which is smaller: p or b?
p
Suppose 0 = -30*i + 24*i. Suppose -j - a = 5, 3*j - 2*j + 3*a + 7 = i. Let z be (-35)/56*40/6. Is j < z?
False
Let p be (18/99)/((6552/4620)/((-6)/15)). Suppose 0 = l, 4 + 1 = -5*k + 3*l. Let x be 2 - k/(-1)*1. Is p > x?
False
Let j be (-48)/54 + 576466/990. Is 581 at least as big as j?
False
Let z = -783/4 - -197. Let p(t) be the first derivative of t**4/4 - 14*t**3/3 + 7*t**2 - 12*t - 7. Let h be p(13). Is z less than h?
False
Let i(j) = -76*j + 424. Let r(m) = -25*m + 141. Let y(k) = 4*i(k) - 11*r(k). Let t be y(5). Are 7/58 and t unequal?
True
Suppose -4*v + 6*v - 3*h + 104 = 0, 0 = 2*v + 2*h + 84. Let c = 72 + v. Are 20 and c equal?
False
Let i be (-1)/7 + (-1545)/(-721). Is 81/31 at most i?
False
Let j(p) = -2*p**3 + 3*p**2 + 2*p - 12. Let w be j(3). Is -33 greater than w?
False
Let g(b) = b**3 + b**2 - 44*b + 154. Let m be g(4). Which is greater: 59 or m?
59
Let s be (-9)/((-7434)/936 + (-32)/(-4)). Are s and -162 equal?
False
Let v be (-2)/(-4)*(-40 - 14). Let g = -7 + 3. Which is smaller: v or g?
v
Suppose 0 = 3*r - 5 - 22. Let v = 266 + -268. Which is smaller: v or r?
v
Let o be 312/(-3*(-2)/(-6)). Let x = -309 - o. Is x at least -11?
True
Suppose 0*a - 85 = -5*a. Suppose 39*p + 3393 = -7254. Let v = p + 292. Which is smaller: a or v?
a
Suppose 20*h - 18 = 11*h. Let k = h - -10. Let y be (-45)/(-6)*(-1 + 4/k). Is -8 at most y?
True
Let l(t) = -2*t**2 - t + 5. Suppose 6*s = 2 + 10. Let h be l(s). Let x(m) = m**3 + 4*m**2 - 5*m - 16. Let i be x(h). Is i smaller than -19?
False
Let r(g) = g**3 + 27*g**2 + 39*g + 172. Let j be r(-27). Is j bigger than -878?
False
Suppose 2*g - 6 = -0. Suppose 2*h + 0*h = 4*f + 14, g*h = -2*f - 11. Let w be ((-3)/(-34)*1792/168 - 0)/(-2). Is w < h?
False
Let h(m) = m**2 + 142*m + 917. Let d be h(-7). Is d less than -726/25?
False
Let d = 6757/139359 + 1/3399. Which is greater: -0.35 or d?
d
Let l = 10511 + -11190. Which is bigger: -28 or l?
-28
Let c = -30961 - -30960. Let a = 12.76 + -13. Which is bigger: c or a?
a
Let p = 166 + -166. Suppose 5*u = 3*c + 3 - 83, 4*u - 8 = p. Is -2 at most c?
True
Let s = 16.05 - 16.35. Which is smaller: s or -266?
-266
Suppose -b - 747 = -787. Let n be 63/35*b/24. Which is smaller: -0.25 or n?
-0.25
Suppose 3*v - 27 = -3*h, 0 = -4*v + 3*h + 2*h. Suppose 39 = -v*s + 14. Is 2 greater than s?
True
Let s(n) = -n**2 - 14*n - 12. Let z be s(-14). Let m = 1217 + -1228. Which is smaller: m or z?
z
Let r be (1 - 2)/(1/1) - -166. Let i = r - 263. Is i greater th