9/2?
u
Let r = 281 + -277.71. Let t = r + 21.71. Is t > -1/2?
True
Let c(y) = 34 - y + 1 - 3*y + 11*y**2 - 2*y**3 + 3*y**3 + 43. Let x be c(-12). Is x at most -18?
True
Let n be (72/(-42))/((-1)/35). Suppose -3*j - 368 + 14 = 0. Let s be j/(3 + (-1 - 4)). Which is greater: s or n?
n
Let u be (-6 - -7)/((-1 - -2)/21). Suppose 0 = -4*g + n - 28, -4*g + 3*n = u - 1. Suppose k + 56 = -6*k. Is k < g?
False
Let o(c) = c**3 + 27*c**2 - 14*c + 256. Let v be o(-28). Suppose 136 = -3*j + 2*j. Is v greater than j?
False
Let t = -34469.5 - -34471. Which is smaller: 5.2 or t?
t
Let s = -11248/275639 - 1/1631. Is s < 0?
True
Let u = -0.2222 - 56.9078. Let a = -57 - u. Let z = 0.03 - a. Is 1 greater than or equal to z?
True
Suppose -5*c = -337 - 753. Let u = c - 218. Is 4/147 < u?
False
Let l be 9/(-4*12/32). Let f be l/10 - -79*4/260. Let o be (-1 - -1)/(2 + -4). Which is smaller: o or f?
o
Suppose 163 = 5*x - 2*s, 3*x - 42 = s + 55. Let l be (1/(-4))/(x/124). Which is smaller: -1/11 or l?
l
Let x = -3311 - -5216. Let j be x/25 + (-1 - 3). Let s = 72 - j. Which is greater: s or -1/3?
s
Let g be (-39)/(-60) + (-4)/10. Let q = 51.3933 - 80.3966. Let h = -0.0033 - q. Does h = g?
False
Suppose 17*j - 3421 - 17132 = 0. Which is greater: 1208 or j?
j
Suppose -2*u = -6*u - 3*s + 27, -2*s = -4*u + 2. Suppose l - u*l = -2*w - 30, -3*w + 81 = 4*l. Let i be (-9)/42*6/l. Are 0.1 and i equal?
False
Suppose -14*t + 72 = -15*t - 4*d, -3*t - d - 271 = 0. Which is bigger: 10 or t?
10
Suppose g + 3 = -12*w + 16*w, 4*g + 12 = 4*w. Suppose -153 = -3*f - w*f. Suppose -2 = -2*s + 100. Is s > f?
False
Suppose -4*i + d - 8 = 0, -4*d + 36 = 20. Which is bigger: i or -4/4767?
-4/4767
Let z be (-4)/(-6 + (-28)/(-16)). Let n = 2463/2635 - z. Which is smaller: n or 1?
n
Let h be 8772/(-86)*((-11)/6)/1. Is h less than or equal to 557/3?
False
Let q = 2926/9 + -9626/45. Which is bigger: 110 or q?
q
Suppose -11 = 5*p + 4. Suppose 2*h - 12 = -4*q, 0*h - 2*h = 5*q - 17. Let t be (6/q - -2) + p. Which is greater: t or -1?
t
Let c be (-106)/24 - 1/4. Suppose 8978*h - 435 = 9065*h. Is h equal to c?
False
Let x = 8771 + -8770. Is x at least as big as 22/203?
True
Suppose -981 = 37*c + 1387. Is c less than or equal to -4/7?
True
Let r(v) = -373*v + 85. Let z be r(3). Let o = z - -653. Which is smaller: -380 or o?
o
Let n = 174 - 315. Let w = 139 + n. Which is greater: w or -51?
w
Let j be -2 - ((-136)/22 - (2 - 6)). Suppose -5*i = i - 192. Let n = 31 - i. Are n and j non-equal?
True
Let t = 366364741/5348 + -68505. Which is smaller: 0 or t?
0
Let g = 281 + -171. Let l = g + -88. Let s = 22.2 - l. Which is greater: s or -6?
s
Let j = 61 + -36. Let o = 2/31003 - 62016/155015. Is j greater than o?
True
Let i = -11564 - -11565. Are i and 24/883 non-equal?
True
Let o be 4*((-348)/(-72))/29*(-36 - -3). Let n(p) = p**3 - 6*p**2 + 4*p + 1. Let h be n(4). Which is bigger: h or o?
h
Suppose 8*k = 5124 + 284. Let u be k/20 - (-5)/25. Which is smaller: u or 33?
33
Suppose 3*n = 4*n + 20. Let g be (-2302)/119 - (15104/2176 + -7). Is n < g?
True
Let g = -5088 - -2516. Is g at least -5141/2?
False
Let q = 330.54 + 3.46. Let z = 332 - q. Is -39 > z?
False
Let w be ((-18)/21)/(6/(-28)). Suppose -w*c + 4*m = -0*c + 16, -m + 1 = 0. Let g be ((-1)/c)/((-2)/(-1302)*7). Which is smaller: 29 or g?
29
Let j = 32 - 22. Let t be 1*-15*(-8)/j. Let y(n) = 839*n + 18471. Let w be y(-22). Which is smaller: w or t?
t
Let g be ((-4125)/(-110))/((6/(-392))/1). Let d be -12*5/g*-7. Let b = 2 + -3. Do d and b have different values?
True
Let r be (-1)/(-15) - 102236/(-3660). Suppose -4*l + v + 167 = 0, -2*l + v + 76 = -v. Let c = 72 - l. Is r bigger than c?
False
Let g = 2174/35 + -926/15. Let u = 0.4 - -0.6. Which is smaller: u or g?
g
Suppose -59*n + 8*n = -5*n + 46598. Is -1007 less than n?
False
Let p = 43 + -201. Let o(i) = 19*i + 71. Let h be o(-12). Which is bigger: h or p?
h
Let o = 148 + -145. Suppose -7*m = -o*m - 32. Is -5 at least m?
False
Let m be (1476/14)/((-348)/1624). Which is bigger: 1 or m?
1
Let t = 238 - 73. Let f = -163 + t. Which is bigger: -4.3 or f?
f
Let v be (-12 + (-28)/(-10))*-75. Which is greater: v or 4836/7?
4836/7
Suppose -12 = -5*n + 3*x, -x - 1 = -3*n + 7. Let w be (-3 + -1 - n)*9. Which is bigger: -61 or w?
-61
Let f = 37 - -24. Let x = f + -23. Which is smaller: x or 40?
x
Let u be (-340)/(-12)*192/(-160). Is u at most -2?
True
Let g(b) = 24*b - 5. Let j be g(-3). Let u be (34 + 4)/((-24)/48). Are u and j non-equal?
True
Let c = -22041 + 19802. Which is smaller: -3 or c?
c
Let y = -1501 + 2942. Which is greater: y or 1/5?
y
Let w(b) = 5*b**2 - 23*b + 24. Let s be w(6). Let m(y) = -y**3 - 5*y**2 - 11*y - 37. Let l be m(-6). Are s and l non-equal?
True
Suppose -y + 523 - 622 = 2*l, 5*l - 253 = 3*y. Which is greater: -73 or y?
-73
Let j be (-30)/(-8)*(-22)/(-1023)*31. Is -44 equal to j?
False
Let q be (-20)/105*3 + (-3310)/(-35). Suppose 3*v + q = 2*g, 5*g - 49 = -v + 169. Suppose 58 = 4*t - 2*r - 102, 0 = -r + 4. Which is greater: g or t?
g
Let f(k) = 98*k - 129. Let n be f(6). Is n > 461?
False
Let b be -4 - (15/5 - 10). Suppose 10 = 2*s - b*h - 17, 3*s + 2 = -4*h. Let a(j) = -j - 2. Let v be a(-3). Which is smaller: s or v?
v
Let b = 4799.94 + -4799. Is b at least as big as 5.9?
False
Suppose 0 = 5*l - 2*l - 5*j + 5, j - 1 = -l. Let i = 305 + -308. Let h be i/8*1*186/(-1395). Which is smaller: h or l?
l
Let u(r) = -3*r - 11. Suppose 0*a = 2*a + k + 8, -2*k = -3*a - 12. Let v be u(a). Let x be (-1 - 18/(-14)) + (-18)/56. Is x bigger than v?
False
Let p(h) = h**2 + 4*h - 5. Let m be p(-5). Suppose -b + 0*z + 3*z - 11 = m, 5*b - 40 = -4*z. Suppose -b*w = -12 - 0. Which is smaller: 9/4 or w?
9/4
Suppose -l = 2*g - 366, g + 2*l = 4*g - 563. Let y(t) = -20*t + 14. Let s be y(-5). Let z = g - s. Which is smaller: z or 72?
z
Let l = -29755/3186 - -480/59. Is l < -2?
False
Suppose -28*j = -21*j + 602. Let w = j + 87. Which is greater: 31 or w?
31
Let v = 15144 - 15147. Which is bigger: 2607 or v?
2607
Suppose -q = 146*z - 144*z - 189, -4*q + 4*z + 696 = 0. Is -13 less than q?
True
Let a = 18154/11 - 1649. Let m = 0.0368 - 0.1368. Which is smaller: m or a?
m
Let t be (0/(-2))/(11/((-22)/(-6))). Let n be 12/3 + (5 - (t - 8)). Which is smaller: 35/2 or n?
n
Let l = -13 + 8. Let t be ((1/2)/((-8)/16))/1. Let o be t/(2/(-36)*-4). Which is smaller: l or o?
l
Let y be (-23 + (-27 - -54))*(-331)/4. Which is smaller: -4308/13 or y?
-4308/13
Let t be 4*(2840/(-16) + 4). Let g = -693 - t. Is g greater than -3/178?
True
Let v = 37964 - 37961.8. Is -2/253 at most as big as v?
True
Suppose g + 1311 = 2*q, -2*g - 763 = -q + 1865. Let c = g + 51289/39. Let p = c - -50/273. Which is bigger: p or -0.1?
p
Suppose -4*p = 142 + 1002. Let l = p - -367. Is l < 81?
False
Let y be ((-482834)/(-53647) + -9)*(-4)/30*3. Which is smaller: y or -1?
-1
Let t be (9 + 4890/(-20))/(7/(-14)). Do 468 and t have the same value?
False
Let o = 61 + -55. Suppose 2*h + 8 = 3*w, 2*h = -4*w + o*w - 8. Let b(f) = -f**2 - 4*f - 3. Let y be b(-4). Which is smaller: w or y?
y
Let a be 1138*(-4)/56 - (-12)/42. Let v = a + 142. Which is greater: v or 60?
v
Let m be (166/83)/(-2 - 0/4). Let k = -9748912 - -22198272221/2277. Let p = k - 1/207. Which is greater: p or m?
p
Suppose -4*n = 2*k - 24, -16 = 2*n - 12. Which is bigger: -0.186 or k?
k
Let n = 2671 - 2653. Which is bigger: n or -2?
n
Let w(o) = -o**3 + 109*o**2 + 112*o - 1732. Let t be w(110). Which is bigger: t or -1518?
t
Let k be (-1)/(0 - (-3)/2). Let h = -11628 - -11619.8. Which is greater: h or k?
k
Let z = 161 + -132. Suppose 2*w - 4*j + 24 = 5*w, 3*j = -5*w + z. Suppose w = -3*m - 4*o, m = -5*o + 16 - 21. Is m bigger than 1/136?
False
Let q = 0.165 - -25.235. Let c = q - 25. Suppose 0 = -11*b + 2*b - 36. Does c = b?
False
Suppose -16*l - 443 = 1125. Which is greater: l or -49?
-49
Let r = 3237 - 3266.11. Let n = 29 + r. Let p = -427/5 - -85. Are p and n nonequal?
True
Suppose 14*k - 247 - 3911 = 0. Suppose 8*d = -d - k. Let o = 3 - 36. Is d greater than o?
False
Let s = -65619 - -65499.004. Let q = s - -120. Is q >= -2?
True
Let y be (-6)/4*((-21)/9 - -3). Let o be 35 - (3/(-5 + 2) - y). Does 36 = o?
False
Let n be -1 - (3 + -1) - -4. Let k(h) = 4*h**2 + 5*h - 4. Let g be k(n). Suppo