229. Is u >= f?
False
Let a = -656 + 647. Let j = 51.6 - 30. Let p = -22 + j. Which is smaller: p or a?
a
Let h = -39 - -38. Let o be 1/((h + -2)/(-3)). Let r be 1/(7*(-4)/(-16)). Is r less than or equal to o?
True
Let j = -35 - -38. Suppose -2*o - 40 - 18 = 0. Let r = o + 28. Are j and r equal?
False
Suppose -14*r = 2184 - 28910. Is 11455/6 greater than or equal to r?
True
Let x = -26 - -82. Let c be 97/14*10 - x/196. Let q be ((-46)/c)/((-4)/30*-1). Which is greater: q or 4?
4
Let f = 72519/16 - 4533. Let g = -30 - -30. Which is smaller: f or g?
f
Suppose 72*o + 3716 = -77140. Let r = o - -10109/9. Let u = 2.69 + -2.8. Is r > u?
True
Let g = -25098 - -21509. Which is greater: -3586 or g?
-3586
Let l be (0 - 22)*(-2)/12*3. Let d be (-18)/(-99) + 42/l. Let c be (d + 1 + -2)*-5. Is c < -14?
True
Suppose -5*q - 172 = 3*s, 151 = -63*s + 59*s + 9*q. Which is greater: -28 or s?
-28
Let x(g) = -254*g + 12468. Let f be x(-35). Is 21357 at most as big as f?
True
Let k = 34329 + -32168. Is 2161 greater than k?
False
Let o = -1.0432 + -42.9568. Is o at most 4/5?
True
Let q = -7202 - -7193. Which is greater: -8 or q?
-8
Let m = -19 + 20. Let z be (5 - 6)/(m/(-5)). Suppose -40 = z*l - 25. Is l less than or equal to -3?
True
Let f = -0.1879 + 0.1269. Which is bigger: -1.3 or f?
f
Let d = 0.77 + 7.93. Let w = d - 2.7. Let g be -1*(18/15 - 1). Which is smaller: w or g?
g
Suppose 0 = 36*r - 48978 + 122025 + 176001. Is -6918 at least r?
True
Let d be (-6)/1 - (-6 - (-3)/1). Suppose 25 = 2*c - 5*z - 3, -8 = 4*z. Do c and d have the same value?
False
Suppose 0*q + 5*q = -20. Let p be (-19 - q)/3*3*-1. Let k = -14 + p. Is k at most -1/19?
False
Suppose 127191 + 5787 = -37*j. Is j greater than or equal to -3596?
True
Let f = -2361.4 + -9299.6. Which is smaller: 1 or f?
f
Let a = -787583/26 - -30288. Let o = a + 2/13. Let m = -37109 - -37106. Which is greater: o or m?
m
Let u be (-5)/(-487)*(-616)/(-1540). Is u smaller than -0.1?
False
Suppose -4*y + 3*s + 7997 = 0, 11*y - s = 7*y + 7999. Is y at most -2/5?
False
Let y = -114 + 118. Suppose p - y*h + h - 35 = 0, 3*p = 3*h + 99. Is 123/4 less than p?
True
Let j be 402/(-18) + 8 - -14. Which is greater: j or 1236/7?
1236/7
Let x be 40/(-3)*(-126)/84. Suppose -4*q - 4*c = -226 + 26, 5*q - c - 232 = 0. Suppose r = -4*j + 34 + q, 0 = 4*j + 3*r - 75. Which is bigger: j or x?
j
Suppose -108 = 27*f + 9*f. Let c be ((-92)/12)/(10/(-18)*f). Is c less than -5?
False
Let b = 0.12 + -0.02. Let o = -30.7 - -66.1. Let c = o - 8.4. Is b at least c?
False
Let h = 1/4 + -29/108. Let x = h + -16033/270. Are -59 and x unequal?
True
Let t = -628289 - -628289. Let w be (-8)/1950*(-5)/(-6). Which is smaller: t or w?
w
Let w = -209803/2 + 107220. Do 2318 and w have different values?
True
Let h = 15 - 29. Let u = h - -17.74. Let r = u + 0.26. Is -1/6 at least as big as r?
False
Let s be (2 - 2) + (-5)/(-20). Let v = 0.07 - 4.97. Let u = -3 - v. Is u > s?
True
Let d = -13/4 + -365/28. Is d at least -7?
False
Let j be (50835/(-4))/15 - 12/16. Which is smaller: j or -862?
-862
Let x = 229672/3445 + -866/13. Does -1 = x?
False
Let s be ((-8)/(80/6))/((-9)/30). Suppose -v - 8 = -s*b, 11 + 0 = -4*v + b. Which is smaller: v or -24/19?
v
Let b = 23.959 + 0.041. Let s = b + -66. Let q = 42.4 + s. Which is smaller: q or 0.02?
0.02
Let l = -367/4 + 92. Let n = 4735 + -4815. Is l greater than or equal to n?
True
Suppose 0 = -317*x + 322*x - o + 27, 2*x + 15 = o. Let a = 2 - 2. Let l = -5 - a. Is x <= l?
False
Let t(f) = -410*f - 5648. Let p be t(-22). Are 3370 and p nonequal?
True
Let o = 183 + -189. Let c be ((-108)/48)/(o/8). Which is bigger: c or 7?
7
Let i = -64 - -63.9. Let t be (-1)/(-2) - 2/(1008/249). Are t and i unequal?
True
Let c(l) = -2*l - 16. Let j be c(-11). Let d be (-12)/54 + 148/18. Let m be (d - j)*6/40. Is m less than or equal to 0?
False
Suppose -11*t + 168 = -15*t. Suppose -5*d = 9*y - 4*y + 235, 4*y - 3*d = -160. Do t and y have different values?
True
Let i be (-3)/(-1) - 5 - 37/((-119917)/6860). Which is smaller: i or 1?
i
Suppose 0 = 26*v + 198 + 114. Let y(s) = s**3 + 16*s**2 - 17*s + 74. Let f be y(v). Which is smaller: f or 853?
853
Let x = -70 - -75. Let q be 5 + -5 + (x - 5). Is 1 less than q?
False
Let r = 0.04 + 1.96. Let w = 5.31 - 5.2. Let t = w - 24.11. Which is greater: t or r?
r
Suppose 4*b = -3*r + 2*r + 29, 0 = 2*r + 6. Suppose -x - b = -12. Let q = -421 - -421. Which is smaller: x or q?
q
Let u = -44733 - -20890301/467. Is u at most 3?
True
Let u be 1244/(-16)*-1 - 5. Let z = 74 - u. Which is smaller: 14 or z?
z
Suppose -3*n - 3*d = 159, -4*d - 224 - 45 = 5*n. Let v = -68 - n. Is v less than -13?
False
Let t = -47851/41519712 - -1/31008. Are 0 and t unequal?
True
Let x(k) = -k**2 - 17*k + 232. Let o be x(9). Are -70/39 and o unequal?
True
Let t be (2 - -13)*39*38/1235. Suppose 17 = -s + 42. Is t smaller than s?
True
Suppose 0 = 2*w - 4*k - 20, 3*w - 20 = 5*k + 7. Suppose 4*y = -3*o + 55, 0*o - 70 = -w*y + 2*o. Suppose -y*j - 12 = -20*j. Do 3/2 and j have the same value?
False
Let m = 5 - 20. Let n = -14.982 - m. Let u = n + -0.048. Is -2/9 < u?
True
Suppose -14925 = -5*p + 5*q, -3155 - 5788 = -3*p - 3*q. Which is greater: 5967/2 or p?
5967/2
Let x be 0/((4 - 5) + 3). Suppose 35*v - 49*v - 350 = x. Which is smaller: -33 or v?
-33
Let d = -82 - -81. Let o be d*(10/5 - 1). Let i be 3*9/(207/(-2)). Which is smaller: o or i?
o
Let b = -17 + 15. Let d be (b - -3)/((-35)/(-19) - 2). Let u = 1 + d. Which is bigger: u or -5?
-5
Let u be (-1)/(-2) - (-90)/(-212). Let s(t) be the second derivative of t**4/12 + 7*t**3/6 + 7*t**2/2 + t. Let x be s(-6). Which is smaller: u or x?
u
Let p(v) = -272*v - 13872. Let u be p(-51). Which is smaller: -2/24657 or u?
-2/24657
Let y be (1748/120)/19 + 6/(-60). Let k = -0.5 - -0.47. Which is smaller: k or y?
k
Suppose -m - 4 = 3*m. Let h be (5 + m + -1)*(-2)/(-3). Is 15 at most as big as h?
False
Let l = -66/193 - -3640/11773. Are -0.076 and l non-equal?
True
Suppose 2*j + 21 - 221 = 5*p, -6 = -3*p. Which is smaller: j or 102?
102
Suppose -z + 399 = 5*w - 5*z, 3*w + 3*z = 261. Suppose -90 = -w*n + 89*n. Which is bigger: -17 or n?
n
Let u = 345 + -165. Let n = u + -182. Let s(r) = r**3 + 6*r**2 - 6. Let g be s(-6). Which is bigger: g or n?
n
Let j(k) = k + 560. Let h be j(6). Is 566 smaller than h?
False
Suppose 1259 = 16*u - 2821. Suppose 250*p - u*p + 900 = 0. Is 179 != p?
True
Let f be (-10)/36 + 4/(-18). Suppose 2*l - 3*b - 64 = -4*b, -3*b + 6 = 0. Let x be 18 + -25 + l/5. Which is bigger: f or x?
f
Let n(f) = -87*f - 1754. Let u be n(-20). Which is greater: -235/18 or u?
-235/18
Let b(w) = -2*w**2 - 132*w + 133. Let t be b(1). Which is smaller: t or 2/9249?
t
Let u be 160/76 - (-6)/(-57). Suppose -u*y - 68 = 9*l - 7*l, 2*l = -4*y - 126. Which is greater: y or -89/3?
y
Let w be -4 + (-7)/(2408/(-1650072)). Let u = 4793 - w. Which is smaller: u or 0?
0
Let s(m) = -m**2 - 8*m - 5. Suppose g = -3*g - 32. Let q be s(g). Let u = -608 - -3011/5. Which is greater: q or u?
q
Let y = 5661/2 + -2829. Is -29.5 bigger than y?
False
Let l = 3168 + -3008. Suppose 2*v - 2 = 0, -3*h + 69 + 414 = 3*v. Is h <= l?
True
Let s = -7626 + 7744. Which is bigger: s or 119?
119
Let g = -1 + 0.8. Let u = 5126.47 - 5125.97. Is g greater than u?
False
Suppose -2*z = -5*d - 96, 45 - 5 = -5*d. Suppose -3*k = 2*k - 10. Suppose 2*m - 5*g - 88 = -k*m, -2*m = -3*g - 42. Are m and z unequal?
True
Let j = 1883 - 3683/2. Suppose 3*b - 8*b - n = 5517, -b - 1089 = 5*n. Let u = b - -1145. Are j and u unequal?
True
Let r(f) = 16*f + 24. Let d(b) = -34*b - 48. Let t(u) = -3*d(u) - 7*r(u). Let x be t(4). Let m = -5.3 + 4.3. Which is bigger: m or x?
m
Let i be -1*(-1 + 1)/11. Which is bigger: i or -10/19?
i
Let v be 0*(-46 - -25 - -19)/(-10). Let u = -3 + 4. Which is smaller: u or v?
v
Let i(z) be the first derivative of -3*z**4/2 + 26*z**3/3 + 2*z**2 + 5*z + 26. Let d be i(5). Let s = d + 6. Do -70 and s have the same value?
False
Let o be ((-18)/45)/((-118)/(-10)). Let m = -2204 - -2203.9. Is o < m?
False
Let f = 11 + -5. Let t(h) = 40*h - 56. Let r be t(0). Let v be r/(-15)*((-14)/(-21) - -1). Is f less than v?
True
Suppose 14*f = 152 - 278. Which is greater: f or -1/67?
-1/67
Suppose -4*j + 414 = -3*u + 423, -j - 8 = 5*u