Let j = -121 + 9. Let l = j - -111. Is l bigger than -34/9?
True
Let x = 0.362 + 0.684. Let b = -1943 - -1942.954. Let w = x + b. Which is smaller: w or 1/3?
1/3
Let t = 254 + -368. Suppose -21*d = -14*d + 210. Let n = d + -83. Which is bigger: n or t?
n
Let f = -4189 + 4190. Is f greater than -0.1339?
True
Let r be -6 - (-4 + 0) - (-121 - 0). Let x = -143 + r. Which is bigger: -23 or x?
-23
Let q = -29.596 + 11.6377. Let v = 0.0417 - q. Is 2/7 bigger than v?
False
Let u = -174.008 + 174. Which is smaller: -6 or u?
-6
Let j be 6 + (246/(-6))/(9/27). Suppose 4*w = 4*s - 444, 3*w = -5*s - 326 - 47. Which is bigger: j or w?
w
Let u = -525 + 533. Suppose 3380 = -u*z - 1140. Which is smaller: -564 or z?
z
Let n = -66 + -183. Let d = n + 263. Let x = -0.6 - -0.5. Which is smaller: d or x?
x
Let u = 21931 - 87725/4. Is u greater than or equal to -1267?
True
Let p(s) = 20*s**2 - 2*s. Let f be p(-2). Suppose -2*x - 4*x - 834 = 0. Let m = f + x. Is m >= -55?
True
Let b = -4026 - -878. Which is greater: b or -3147?
-3147
Let q = 523 + -855. Is -333 <= q?
True
Suppose 562 = 2*c + 4*a, 3*c - 3*a + 280 = 4*c. Let r = -284 + c. Is 3/266 at most as big as r?
False
Let y(b) = -4*b + 42. Let g be y(10). Let j be g*(2 + 0)*(-3 - -5). Suppose -4*a - j = 3*p, 0 = a + a + 2*p + 6. Is a > -3/79?
True
Suppose -3806 = -10*t - 54016. Let v = 95447/19 + t. Is 4 at least v?
True
Let n(u) = -u**2 + 28*u + 11. Let m be n(28). Suppose 10*p - m*p + 1 = 0. Let g = 10 - 41/4. Which is bigger: p or g?
p
Let h(o) = -32*o + 353. Let p be h(11). Is p <= 38/135?
False
Suppose 0 = -p + 28 - 11 + 64. Suppose 0 = i - 4*f - 82, -i + 4*i = 4*f + 246. Which is bigger: i or p?
i
Let m = 612 + -612. Suppose 21*r + m*r = 0. Does r = -1/55?
False
Let h = 3.479 + -3.279. Which is greater: h or 2.3?
2.3
Let z = 26.78505 - -0.21495. Which is greater: z or -261?
z
Let f be (-4)/(-6) - 178/(-3). Suppose -x + 2*i = -50, 4*i = -3*x + 3*i + 164. Let a = x - f. Is -6 >= a?
True
Let u = 17732 + -17716.3. Let s = 0.2 - 0.1. Which is bigger: s or u?
u
Let v = 18 - 1. Suppose 27*s + 21 = 20*s. Let b(p) = -3*p**3 - 7*p**2 - p - 1. Let n be b(s). Which is smaller: v or n?
v
Let r(o) = -o**3 + 1885*o**2 + 0*o**3 - 1 - 1890*o**2 - 4*o. Let n be r(-4). Which is bigger: n or 5/12?
5/12
Let v = -7379/77 - -1062/11. Suppose a - 2*a = -2. Suppose -a*c = 3*c + 4*j, -4*j = 3*c. Is v greater than c?
True
Let k = 121 + -116. Let v be k/3*(-1 + 4)*1. Suppose -a = -6*a - h - 7, -v*h = -2*a + 8. Which is smaller: 2/287 or a?
a
Let a(g) = -g**2 + 13*g + 15. Let s be a(14). Suppose 5*b + 42 = -o, 0*o + o = -2*b - 30. Let u be o/(-33) + 64/(-78). Are s and u unequal?
True
Let g = 398 - 158005/397. Which is bigger: 0 or g?
g
Let d = -242 + 245. Suppose -41 = -d*v - 62. Let k be 2 - 0 - (-37)/(-4). Are v and k equal?
False
Let o = 275 + -270. Suppose -17 + o = -4*m, 5*m - 1149 = 3*k. Is k at most as big as -378?
True
Suppose 0 = 3*h + 88 - 133. Suppose h*d - 562 = -37. Suppose 0 = 2*p + 3*s - 56, -3*p - 2*p + 166 = s. Which is greater: d or p?
d
Suppose -s - 26176 = 7*s. Let y = 1887943/577 + s. Let k = 2293/8655 - y. Which is smaller: 1 or k?
k
Suppose 9*j - 5*u - 180 = 12*j, 3*j = -2*u - 171. Let t = j + 48. Let i be (-13)/(2 - (1 - 1)). Which is greater: t or i?
i
Let w be 7844/(-18) + 40/(-180). Let c = w - -55366/127. Which is smaller: c or 0?
c
Let s be (-10 + 8)*(440/32 + -12)*4. Let r = -45 + 25. Which is smaller: s or r?
r
Let b = -59414293/348 - -170731. Let s be ((-7083)/2349 - -3)*9/6. Let u = b + s. Is -2/9 >= u?
False
Let f be -1*2/2 + -5 + 87. Which is smaller: -5 or f?
-5
Let g = -1/2493 + 2495/4986. Which is greater: g or 0.04295?
g
Let o = 710/119751 + 2/223. Let w = -3701/68199 + o. Which is smaller: -1 or w?
-1
Let q = 288.95292 + 0.04708. Which is smaller: q or -1?
-1
Let o = -2761.699 - -2762. Which is bigger: 5/6 or o?
5/6
Let c be 4/(-14) - 30/525*-5. Which is bigger: c or 5/184?
5/184
Let f(q) = -q**3 + 7*q**2 - q - 23. Let c be f(7). Let k = c + 26. Are -23 and k nonequal?
True
Let n = 3.28 + -134.28. Let l = n + 132. Is 41/3 < l?
False
Suppose -o - 5*m = -1050, -2*o - 503*m + 2100 = -504*m. Is o > 1053?
False
Let m be (-5)/(-130)*(-3)/6. Let h = 43/208 + m. Let x be -7 - 12*(-7)/14. Which is greater: h or x?
h
Suppose -11 + 16 = -5*f. Let j be (8/6 + 1)/(f + 2). Let m(g) = 2*g - 3. Let a be m(3). Which is greater: j or a?
a
Let s(o) = -2*o**2 - 52*o + 63. Suppose -2*j = -q - 32, -2*q + 5*q = -5*j - 52. Let v be s(q). Are 157 and v unequal?
True
Suppose 51 = 9*x + 429. Let c be (-18)/6 - x/11. Is 2 greater than or equal to c?
True
Suppose 3*t - 1016 + 335 = 0. Let v = 200 - t. Let r = -3 + -23. Which is bigger: v or r?
r
Suppose 2*z + 2*d = 30 + 18, 0 = -2*z - d + 50. Let w be (380/(-138) - 8/(-92))/z. Suppose x + 2*x = -3. Is x > w?
False
Let f = -2655/3542 + 15/154. Let v be 18/(-1035)*(-885)/4. Let m = f - v. Which is smaller: -4 or m?
m
Let c = 1517.9 + -1603. Let v = c + 85. Which is bigger: v or 125?
125
Let s = -365.1 + 369. Let g = -62.9 + s. Which is smaller: g or 0?
g
Let a = 73960492/245 - 301880. Are -1 and a non-equal?
True
Let f(c) = -5*c - 51. Suppose 5*b - 1 = 6*b - 3*g, 0 = 2*b + g + 16. Let y be f(b). Is -19 != y?
True
Let g be 0/(-10 + 5 + 3) + 40. Let z be (45/6)/5 + (-44)/g. Which is bigger: z or 9/22?
9/22
Suppose -90*h = -101*h + 11. Which is bigger: 41 or h?
41
Let m be 3198/2385 + ((-2)/6 - 1). Let h be 5/15 - (-16)/6. Suppose -h*b + 0 - 3 = 0. Is m bigger than b?
True
Let i(r) = -9*r - 196. Let u(y) = -10*y**2 + 23*y - 2. Let n be u(3). Let x be i(n). Is x at most as big as 4?
False
Suppose 1518 = -4*l - 2*d, l + 131 = 4*d - 262. Is 0.1 smaller than l?
False
Let s(b) = -17*b - 849. Let p be s(-50). Is -4/609 >= p?
False
Suppose 2*x = 3*y - 14, 0 = 5*y - y - 2*x - 16. Suppose y*u - u - 4*k + 19 = 0, -4*u + 2*k = 6. Let d = -13/35 - -17/140. Is u at least d?
True
Let b = 1/462 - -115/231. Let s be (2 - -57) + (0 + 4 - 0). Which is smaller: b or s?
b
Suppose -4*w - 5*x - 14 = 0, -6*w + 11*w = -3*x - 11. Is w greater than -0.0143?
False
Suppose -5*r + 4*u = -0 - 1, 5*u = r - 17. Let i be 1/r + 0 + (-3029)/39. Let y be (0 + 2)/6 - i/(-198). Is -1 at most as big as y?
True
Let z(w) = -2*w**2 - 6*w - 13. Let y be z(-4). Let s = -21 - y. Suppose 0 = -s*r - 2*r + 2*u + 4, -5*r + u + 22 = 0. Is 4 >= r?
False
Suppose -17*s - 53*s = -37*s. Which is bigger: -12/943 or s?
s
Let r(b) = -b**3 + 13*b**2 - b + 10. Let v(l) = -3*l**2 + l. Let a(g) = r(g) + 4*v(g). Let w = -8 - -11. Let y be a(w). Is 7 bigger than y?
True
Suppose -342*t + 333*t - 243 = 0. Is -256/9 at least t?
False
Let c = -0.37053 - -3.37053. Is c greater than 4374?
False
Let u be (22/(-8))/((-4)/(-4)). Let b be ((-6)/(-1))/(10 + -13). Which is greater: b or u?
b
Let k = 44 + -52. Let q(w) = -5*w - 43. Let z be q(k). Let v be ((-3)/8)/((-759)/(-252) + z). Which is smaller: -33 or v?
-33
Let m = 25662 + -410731/16. Let g = -6057/688 - m. Let z = -118/645 - g. Is 0 >= z?
True
Let q = -60.7 - -3.7. Let x = -60.79 - q. Let g = -0.79 - x. Which is bigger: -12 or g?
g
Let x = -57.979 - 0.021. Let r = 228 - 227.8. Which is smaller: r or x?
x
Suppose -2*k + 5*k - u - 48 = 0, 0 = 3*k + 4*u - 48. Suppose 4*d + 4*a = k, -4 = -7*d + 2*d - a. Is d smaller than -33?
False
Let d be (-18)/(-54) - 58/(-6). Let h be 8/20 + 0 + 196/d. Let q be 2/h*(-6)/30. Which is smaller: 0 or q?
q
Suppose 3*u + 17 = 5*p, -14*p + 3*u = -16*p - 10. Which is bigger: 2/29417 or p?
p
Let a(h) = 30*h**2 - 27*h - 89. Let d be a(-9). Suppose 2592*j + 128 = d*j. Let n(l) = l**3 + 2*l**2 + 2*l + 2. Let b be n(-3). Which is bigger: b or j?
b
Suppose -5*c - 2*q = -106, 3*c - 5*q = c + 25. Let v be (6/(-6))/((-2)/((-184)/c)). Which is smaller: v or -5?
-5
Suppose 3*o = -c - 9, -2*c + c = 4*o + 12. Let y = 0.1768 + 0.0042. Which is smaller: y or c?
c
Let d = -2.2 + 0.2. Let c = -0.1338 - 57.7662. Let v = c - -73.9. Which is bigger: v or d?
v
Let i be ((-35)/2)/(-7) - ((-488)/(-16) - 3). Is i smaller than -72?
False
Let u = 34911946/62882347 - 1020/1837. Which is smaller: u or 0?
u
Let n(y) = -2*y**2 - 40*y + 44. Let k be n(-21). Suppose 193 = k*t - 305. Suppose -5*r + 4*r = 5*p - t, -p - 5*r + 45 = 0. Which is greater: p or 49?
p
Let a be 4/(-18) + 512/36. Let n be 