?
False
Let a = -28 + 28.009. Let k be (-4)/3 - (80/(-280))/((-2)/(-14)). Which is bigger: k or a?
k
Let f be 41848/73320 + 2/(-3). Let b = f + 9/65. Is b greater than 0?
True
Let m be 151/1 - 2/(-7)*-7. Let g be (0 + 0)/((-1)/(-1)). Let t be (g - m/74) + 2. Which is smaller: 1 or t?
t
Let s = 3308 - 3324. Is s <= 29?
True
Suppose 0*p + 2*p + 14 = 4*m, 4 = m - p. Let j(w) = -w**m + 3*w + 4 + 12 + 9*w**2 - 16*w. Let d be j(6). Is d greater than 45?
True
Let k = 27927 - 27930. Let a = 1 + -1. Suppose a = 2*d - 7*d. Which is greater: d or k?
d
Let g be (332/8)/((-6)/4). Let z = 28 + g. Let j = 3695.29 - 3695. Are j and z unequal?
True
Let v be (-3 + 11)/(((-6)/18)/(2/44)). Which is bigger: v or 4/23?
4/23
Let h be 138/(-28) - (0/17 - 5). Is -984 at least h?
False
Let l = -8/203 + -3/29. Let j be (-52)/(-24) - (-2)/(-12). Suppose -j = 4*f + 2. Do f and l have the same value?
False
Let c be (-880)/99 - ((-3 - -3) + 0). Which is smaller: c or -18?
-18
Let v(f) = f**3 + 13*f**2 + 13*f + 23. Let r be v(-12). Let q = -16.1756 - -0.1756. Which is greater: r or q?
r
Suppose 0 = -80*j - 77*j + 61*j + 152352. Is 1583 greater than or equal to j?
False
Let s = -58862317/5917 - -9948. Is s greater than or equal to 0.1?
False
Let m = 6800 - 6668. Is m bigger than 139?
False
Suppose 5*p - 4*o + 724 = 0, -5*p + 5*o = 405 + 315. Let x be 2/24*p/3293. Is x smaller than 0?
True
Suppose 4*j = 4*p - 648, -2*j = 14*p - 9*p - 824. Let r = 151 - p. Is -14 bigger than r?
False
Let h = 1201 - 1192.91. Let r = 7.09 - h. Are 1/117 and r unequal?
True
Let g be (-3)/15 - (-2)/10. Let s = 662198135/497 + -1332390. Let i = s + -3/71. Is g < i?
True
Let k be (-46)/(-6) - (143/(-33) - -5). Let n be k + 0/2 - 12. Let f(z) = -2*z**2 - 3*z + 3. Let t be f(-3). Do t and n have different values?
True
Let k = -8953 + 8878. Which is smaller: k or -19?
k
Let f be -24*30*(-6)/(-810). Suppose 3*t + 20 = -v + 4*t, -5*v - 4*t = 55. Let g = v - -9. Is g < f?
True
Let g = 7 + 2670. Which is smaller: g or 2/5?
2/5
Let b = 271.34 - 8142.34. Is -2/3 equal to b?
False
Let b be (-1008)/(-49)*56/12. Let w be ((-1)/(-111))/(32/b). Is -6 smaller than w?
True
Let s = -34189 + 10427656/305. Which is greater: -1 or s?
s
Let a = 9528 - 47798/5. Let r = a - -32. Which is smaller: 18/35 or r?
r
Let h(d) be the second derivative of -d**3/2 - 10*d**2 - 41*d + 2. Let y be h(-3). Is y bigger than -72/7?
False
Let r be 6/(-8) + (-5)/20. Let h = 29.98 + 0.02. Is h > r?
True
Let i = -5649.52 + 5788. Let h = -138 + i. Is h greater than 1?
False
Let k be (-1053)/165*-13 - (32/(-40))/2. Is 83 < k?
True
Let o = -13 - -30. Let t = -4 + o. Let m be (2 + 2)/((-153)/(-117) - 1). Is m > t?
False
Let l be 0 - (-12)/(-39588)*2. Is 1 > l?
True
Suppose 27*d - 72*d = 60*d - 30870. Which is greater: 250 or d?
d
Let v = -1350 + 1322. Which is smaller: -17.8 or v?
v
Let h = 148 + -70. Let k = 77.808 - -0.092. Let v = h - k. Which is smaller: v or -6?
-6
Let i = -0.1493 + 0.4493. Which is smaller: i or 39?
i
Let s = -39.203 + 0.203. Let f = 40 + s. Is f less than or equal to -46?
False
Suppose 3*o = -2*i + 5*i + 18, 4*i + 20 = 0. Let b be 2/11 - (353418/(-33))/13. Let h = 1645/2 - b. Are h and o nonequal?
True
Let w be ((2/7)/1)/(-16 + (-18720)/(-1168)). Do 10 and w have different values?
True
Let t = -25408 - -25413. Is t at most as big as 198?
True
Suppose -250*z + 582*z = -4001596. Do -12054 and z have the same value?
False
Let y = -428 - -578. Let n = y - 150. Do n and -2/3 have the same value?
False
Let t = -1.503 + -0.257. Let h = t - 0.24. Which is bigger: 43 or h?
43
Let s(d) = 3 - 13 + d**3 - 14 + 50*d + 17*d**2. Let r be s(-13). Which is greater: 6 or r?
6
Let d(i) = 2*i**3 - 5*i**2 + 26*i - 5. Let u(x) = x**3 + x**2 + 2*x - 1. Let p(w) = -d(w) + 3*u(w). Let j be p(-9). Is 305/3 at most j?
False
Let u be (-58)/4 + (-1)/2. Let s = -12420 + 12403. Is u < s?
False
Let h = 140 + -140.242. Let w = h + 12.242. Which is smaller: w or -4/3?
-4/3
Let i(h) = -h**3 + 7*h**2 + 181*h + 297. Let u be i(18). Suppose 4 = -4*t - 3*o, o = 3*o + 8. Suppose 0 = -t*f - 5*y - 24, 0 = y + 4. Is u <= f?
True
Suppose -4*l = -5*l + 2. Let i = -1547 - -1487. Let g be (-165)/i - (-1)/l. Which is smaller: g or 2?
2
Let x be (-4)/(-48)*-298 + 16/(-96). Let l(f) = f**2 + 29*f + 107. Let o be l(x). Is 7 < o?
False
Suppose 3*g + 107*p + 39444 = 110*p, 13156 = -g - p. Which is smaller: g or -13150?
g
Let g = -6.08 + 0.08. Let m = g + 96. Let a = m - 91. Is 9/7 smaller than a?
False
Let f = -150.818 + -0.182. Let g = f - -139.1. Let h = g - -12. Which is smaller: h or -0.3?
-0.3
Let h be -3 + (-1)/(-3) + (-6)/(-9). Let g be (-2)/(h + 5 - 2/4). Let o = -201/7 + 29. Does g = o?
False
Let v = -0.021 - 135.979. Let w = -134 - v. Let l = 0.4 - -3.6. Which is smaller: w or l?
w
Let n = -35 + 34. Let b be (-147)/(-4) - n/4. Let j = 36 - b. Is -3/2 < j?
True
Suppose 2*q + 972 = -4*q. Let o = -108 - q. Let w be (-1705)/(-33) - (-12)/9. Which is smaller: o or w?
w
Suppose -2*i + 5*j - j - 4 = 0, -2*i - 1 = -3*j. Suppose -8*f = -i*f + 24. Let l = -1/307 + -1225/921. Is f > l?
False
Let v be (768/(-180))/((-18)/243). Is v smaller than -6?
False
Let b = -8169 - -8383. Is b at most as big as 224?
True
Let v be (-2580)/(-75) - 2/5. Let h be (-10)/8 + 0 - (-34)/v. Is h greater than or equal to 1?
False
Let n be ((-22)/220)/(4/10). Which is greater: 8/71 or n?
8/71
Suppose 0 = 5*t - j - 60, 3*t - 2*t = -3*j + 12. Suppose -2*v = n - 8, -2*v = v - 4*n - t. Let b be 7/(-10) + v + -3. Which is bigger: b or 1?
1
Let q = 11872 + -11871.919. Is q at least as big as -2/43?
True
Let b(l) = -5*l - 6. Let w be b(-6). Let y be (4/(-3))/(440/w). Suppose 23*t + 6 = -9 + 15. Is t != y?
True
Suppose 34*x = 97 + 5. Suppose 3*w + 0 = 2*d + 12, -8 = x*d - 2*w. Let r = -48/2375 - -42/125. Which is smaller: d or r?
d
Suppose 0 = 37*m - 30*m - 3199. Let o = -4109/9 + m. Is 0.7 <= o?
False
Let s = 594 + -626. Let a be (-10)/40 - (-4 - (-57)/12). Which is smaller: s or a?
s
Let z = 75 - 75. Suppose -3*x - w + 16 = z, 4 = 2*w + 14. Suppose 0 = -2*g + 2*i + 12, -i - 4 + 2 = 0. Is g less than or equal to x?
True
Let d be 7/((-14)/(-4))*-4. Let x = -7.75 + 7. Let c = x + 0.55. Is d < c?
True
Suppose -3*l = -4*q - 199 - 234, 6 = 2*l. Let g = q - 4. Which is smaller: g or -111?
-111
Suppose -6*g - 365*k - 4812 = -370*k, 4*g + 3*k + 3208 = 0. Which is bigger: g or -790?
-790
Suppose 0 = -2*r + 4*k - 234, -4*r - 2*k = -3*k + 433. Let q = r - -103. Let c be (-1 - 0)*(22 - (q + 7)). Is c smaller than -21?
False
Let q be 3 - -6*(-16)/66 - 2. Let b(s) = -3*s**3 + 22*s**2 - 35*s + 1. Let g be b(5). Which is smaller: g or q?
q
Let k = 300 - 298. Let t be ((-4)/4)/(173/(-86) + k). Are 86 and t nonequal?
False
Let l = -4533 - -4653. Is l at least as big as 112?
True
Let u(v) = -41*v - 56. Let z be u(-6). Suppose 0 = -16*g + 590 - z. Is 25 < g?
False
Let f be 3/(-3)*69/(-5). Suppose -748*o + 741*o + 7 = 0. Suppose -111 = -8*i + o. Which is smaller: f or i?
f
Suppose 0 = 12*o - 260 - 208. Suppose 2538 = 3*j - 6*j. Let i be -1 - 15/(-21) - j/21. Which is smaller: i or o?
o
Let i be (-1)/4 + (-609)/12 + -4. Suppose q + 68 = -3*z, z + 141 = -q - q. Let l = 17 + q. Which is bigger: l or i?
l
Let o be 340/(-204) - (-1 + -1)/(-6). Let y be (o + 6/4)/((-2)/(-4)). Is 2/327 at least y?
True
Let y = 5624 + -2097750/373. Suppose -2*v - 3 = -0*v + 3*r, v - 2*r = 2. Is y <= v?
False
Let h = -30.5 - -31.5. Let o = -0.45 + 1.25. Which is smaller: o or h?
o
Let w = -173 + 166. Let y = -7.1 - w. Are y and -48/11 non-equal?
True
Let d(c) = c**2 + 14*c + 46. Let v be d(-6). Let w be 1 + v/(-4) - (-3490)/(-20). Which is smaller: w or -174?
-174
Let q(v) = v**2 - 6*v - 14. Let n be q(8). Let i be ((-1930)/30)/(n/3)*8. Let j = -13901/18 - i. Is 0 at most j?
False
Let l(q) = q**3 - 2. Let t be l(2). Let a(j) = -11*j + 20. Let r be a(t). Let i = r - -46. Is i less than -1/46?
False
Let h = -22.061 + 22. Let w = h - -2.061. Let t = w - -11. Which is greater: -0.1 or t?
t
Let a be 13/(-65) + (-48756)/20. Is -2437 <= a?
False
Let v = 35.58 + -35. Let p = 0.42 + v. Is p at least -3/62?
True
Let i = -41 + 178. Let p = i + -173. Let u be (35/2)/(3/(-6)). Is u != p?
True
Let l be 142/8 - (15/4)/(-15). Suppose h - 5*j = l, -5 = 3*j + 4. Sup