 or o?
-4
Let w = -24 + 26. Suppose 0 = -5*r - f + 6*f + 25, 0 = 5*r + 3*f + 15. Suppose r = -y - 3*o - 15, y + w*y + 87 = 5*o. Is y at least as big as -25?
True
Let y(r) = 21*r + 177. Let i be y(-8). Suppose -5*l - 670 = 5*h, 3*h + i = 6*h. Is l greater than or equal to -138?
True
Let k(j) = -9009*j - 360361. Let g be k(-40). Let w = -12050/299823 - -22/719. Is w greater than or equal to g?
True
Let z be (5/(-30))/(66/(-99)). Is -2.68 at least z?
False
Let n = 165/26 + -443/78. Which is bigger: 2.21 or n?
2.21
Let o = 589 + -859. Let y = o - -269. Which is smaller: -72 or y?
-72
Let i be -146 - 3*(-64)/24. Which is smaller: i or -689/5?
i
Suppose -346*d + 219765 = -185*d. Which is greater: 1367 or d?
1367
Suppose 0 = 5*u - 21*u + 304. Suppose t = -3*b + 13, 3*t + 2*b = u - 8. Which is greater: t or -6/47?
t
Let f = -1128887/3 - -10224496/27. Let g = f - 2389. Which is bigger: g or -1?
g
Suppose -5*w + 303 = -2*m - 6*w, 0 = -5*m - 2*w - 757. Let l = -174 - m. Which is smaller: l or -29?
-29
Let l = -31883 + 30447. Is l < 0.1?
True
Let o = -33 - -43. Let j = 3019/255 + -104/51. Which is bigger: j or o?
o
Suppose -274*o + 82336 = -440*o. Is o > -5468/11?
True
Suppose -3*h - 2640 = -8*h - 6*h. Which is bigger: h or -9?
h
Let x be (-526*(-5)/25)/(1/5). Which is smaller: 525 or x?
525
Suppose 5*k = -167 + 107. Let x be (-8)/(-24) - 80/k. Is 51/7 not equal to x?
True
Let w(g) = 6*g**2 + 18*g - 8. Let m be w(-6). Suppose -2*y - 3*j = 205, -3*y + 4*y + j = -m. Let f = 95 + y. Is -1/171 at most as big as f?
True
Suppose -4*j + 154 = 5*q, 14*q + 3*j = 11*q + 93. Let f be 156/130 - 29/q. Which is smaller: 1 or f?
f
Suppose 1333*m + 8096 = 1349*m. Is 502 smaller than m?
True
Let z be 711/(-7) + 84/(-196). Is -97 at most as big as z?
False
Suppose 3*n - 2789 = -4*w, 2*w + 5*n = 1908 - 517. Suppose c - 1018 = -5*k, 114 + w = 4*k + 2*c. Let s be (2/4)/(2/k). Is s at least 50?
True
Let k = 0.35193 + 0.04807. Is 1427 equal to k?
False
Suppose 4*q = -78 + 82. Let p be 1008/(-4935) + q/5. Which is smaller: -1 or p?
-1
Let c be (1344/(-280)*90/(-14))/(84/(-392)). Let k be (0 - 5)/((-1)/(-29)). Which is bigger: c or k?
c
Let p be 56 - (-18)/7*84/(-24). Which is smaller: -23 or p?
-23
Let m be (-8)/20 + 70/50 + 13. Suppose -c - 4*c + y = -5, 2*y = 2*c - 10. Suppose 0 = 2*o - 3*u - 35, o - 8*u + 3*u - 28 = c. Is m smaller than o?
False
Let f = -607 - -2395. Is 1788 >= f?
True
Let g be -14333 + -4 + 1 + 2 + -2. Let t = -186242/13 - g. Let i = -15472/1599 + t. Which is smaller: i or -1?
-1
Let d be ((-533)/(-1066))/(102/4). Are d and 10/11 non-equal?
True
Suppose 8*i - 2*i - 846 = 0. Let t = -130 + i. Let y = 16 - 5. Is t equal to y?
True
Suppose 34*z + 37488 = -12*y + 30*z, 2*y = 3*z - 6237. Is y at least -3123?
True
Let t(z) = 2*z**3 + 21*z**2 - 12*z - 11. Let h be (-1)/3 - (-550)/(-33). Let a = 6 + h. Let y be t(a). Which is smaller: y or 1/20?
y
Suppose -2*f = -5*o + o - 250, 2*f + 6 = 0. Suppose 2108 = 719*l + 48843. Which is smaller: l or o?
l
Let b = -437 + 441. Is b at least 47/17?
True
Let q = -8604 - -8604.1. Are -1887 and q equal?
False
Suppose -o + 61*o + 12900 = 0. Which is bigger: o or -217?
o
Let b = -284.443 + -0.557. Let f = 368 + b. Do f and 0.5 have different values?
True
Let s(b) = 7*b**2 - 30*b + 9. Let w be s(4). Let f be 0*w/(-4 + 7). Which is smaller: 24 or f?
f
Let h = 20 - 16. Let u = -76.713 - -0.813. Let m = -77 - u. Is m >= h?
False
Let h = -680.32 + 666. Let s = -1.32 - h. Is s at least 1?
True
Suppose -2*q + 2 = -x - 1, 4*x = -3*q - 23. Let w = 69107382937/6831 + -10116730. Let f = w + -2/253. Which is smaller: q or f?
q
Suppose -2*v = -2 + 4, -5*k = -4*v - 109. Suppose -5*s + k = 41. Let c(b) = -b**2 - 4*b - 1. Let q be c(s). Which is smaller: q or -3/5?
q
Let w = -30222/29 - -1042. Suppose 5*o - 3*h = -5*h + 988, 2*h = -o + 196. Let l = 199 - o. Is w > l?
False
Let v = -759 - -345. Do v and -417 have different values?
True
Let g = 49123/6 - 8223. Suppose -4*n - 15945 = -3*n - 15910. Do g and n have the same value?
False
Let x(p) = 2*p**2 - 29*p + 45. Let s be x(13). Suppose -s*u - 363 = 87. Which is smaller: 1/4 or u?
u
Suppose -382*y = -538*y + 181272. Is y bigger than 1161?
True
Let i(s) = 6*s + 170. Let j be i(-23). Suppose 13*l + 6 = j. Are l and 2/241 nonequal?
True
Suppose 0 = 5*y - 4*x + 7, -4*y + 0*y - 4 = -4*x. Let c(g) = -g**3 - g**2 + 4*g + 2. Let r be c(y). Let v = 0.278345 - -0.021655. Which is smaller: r or v?
v
Suppose -26 = -5*a - 4*z, 7 = 2*z - 1. Let h be 447/(-1043)*(39/(-18))/13. Which is smaller: a or h?
h
Let f(w) = -2*w**2 + 3*w + 366. Let c be f(0). Suppose 15*l = 17*l + c. Which is smaller: l or -184?
-184
Let t be (-9360)/(-117)*(2/(-5))/((-96)/(-200)). Let y be (70 - 2)/(-1*1). Is t != y?
True
Let k = -0.58 - -1. Let x = 37.9 + -37.6. Let a = x - k. Which is greater: -1/3 or a?
a
Let x = 0.086 + -0.243. Let u = 0.106 + x. Let m = 2.949 - u. Is -1/4 less than m?
True
Let j = -611 - -611. Suppose -p + 88 = -5*f - 143, j = 5*p - 5*f - 1055. Which is greater: p or -1?
p
Let w be 24 - (-2048)/(-80) - -2. Suppose -4*i = i - 3*z - 444, -2*z = -2*i + 180. Is i smaller than w?
False
Let c be 1 + (-22)/33*6 + (-35)/(-11). Which is smaller: c or 341/6?
c
Let h be 2/(-2 - (-60)/35). Let t be 1/((2 + h)/85). Let z = 0 - -2. Which is smaller: z or t?
t
Let b = 1561 + -1561. Is b greater than 85/58?
False
Let s = -8186 + 57314/7. Let i = 14 - 2. Let j = 12.2 - i. Which is smaller: s or j?
j
Suppose -5*c = -3*m + 1920, -21*c + 2606 = 4*m - 20*c. Is 653 at least as big as m?
True
Let k be (19/6 + (-29 - -26))*3236. Let x = k - 539. Which is bigger: x or -57/4?
x
Let l = -22 - -25. Suppose -o - l*o = -o. Suppose -4*y = 3*q - 12, -4*q - 2*y + 4 + 2 = o. Is 1/14 less than q?
False
Let v = 189 + -189.225. Let f = v + -37.775. Are 1/5 and f equal?
False
Let i = 46.33 + -3.93. Let q = i + -46.4. Let m(h) = h**3 + 5*h**2 + 5*h + 4. Let x be m(-3). Do q and x have different values?
True
Let b = 3954 - 3953. Is b bigger than 1/4262?
True
Let b = -108801 - -152865399/1405. Is 0 less than b?
False
Let u(i) = -364*i - 7843. Let b be u(-19). Are b and 4 unequal?
True
Let i = -5909 - -5911. Do 339/11 and i have the same value?
False
Let b = -3.387 + 3.287. Is b >= -5779?
True
Suppose 7 = -9*q - 35*q + 51. Are 5/38 and q non-equal?
True
Suppose -72*c + 83*c + 216 = -334. Is -50 greater than or equal to c?
True
Suppose -3*s + 0*s = 537. Let b = -5909/33 - s. Let p = 0.1 + -0.1. Which is smaller: b or p?
b
Let o be 12/(-20) + (-90)/(-25). Suppose 0 = -3*h + 2*x + 1 - o, 0 = 2*h - 5*x + 5. Which is bigger: h or -6/55?
h
Let m = 6107 + -6110.438. Is m at least as big as 0?
False
Let f(x) = -16*x**2 + 161*x - 11. Let p be f(5). Which is smaller: p or 389?
389
Let j = 2/11 - 15/88. Are j and 6 nonequal?
True
Let k be ((-5395)/(-52))/(5135/104). Is k at most 1?
False
Suppose -16*n + n - 150 = 0. Let l be 3/((-15)/n) + 460/25. Does -0.1 = l?
False
Suppose -20*b + 6500 = 30*b. Suppose -8*q - b = 5*q. Are q and -9 equal?
False
Let r(a) = a - 15. Let g be r(6). Let s be 6/10*(g + 4) - -100. Let y = -98 + s. Is y > -8/9?
False
Let t = 126 + 84. Let x be (-5516)/t + 9/15. Is -25 less than x?
False
Let v(q) = q**2 + 12*q - 5. Let c be v(-11). Let w be -4*(-12)/c*-1. Let z be -3 - (2 + (-16)/w). Is z < -1?
False
Let j(x) be the third derivative of x**6/720 - x**5/30 + 5*x**4/6 - 27*x**2. Let l(y) be the second derivative of j(y). Let b be l(3). Is -3/43 != b?
True
Suppose 5*t - 16*t = -24167. Suppose -23*p - t = 517. Is -117 < p?
False
Let r = -0.9669 - -12.9669. Which is smaller: r or -2.11?
-2.11
Let u be (0 + 2)*3/(-6)*-7. Suppose u = -3*t + t + 5*o, 3*t + 39 = -2*o. Are t and 21 equal?
False
Suppose -5*l - f + 13 + 1 = 0, -4*l + 4*f + 16 = 0. Suppose -l*b + y = 2*y - 24, -3*b + 24 = 3*y. Suppose -13 = b*m - 21. Is -1/8 at least as big as m?
False
Let a(u) = -4*u**2 - 4*u + 3. Let k be a(-5). Let v = 0.066215 + -1.066215. Is k smaller than v?
True
Let k be ((-12648)/(-18))/31*(-36)/(-8). Which is smaller: 143 or k?
k
Let f = 78 - 73. Suppose f*y + 2*g + 0*g = 0, 5*g = 0. Suppose y = 2*b - 47 + 161. Are -57 and b unequal?
False
Let n be 634/(-12) - (-3 - -7 - (-230)/(-60)). Which is smaller: n or 9?
n
Let o = 2465 - 1669. Is o at least 0?
True
Let 