-o*c + 6 + 18 = 0. Is c at least as big as 48/11?
False
Let o = -26 - -26.196. Let n = 0.196 - o. Is -6.8 greater than n?
False
Suppose 691 = -4*k - 5*i, 2*k + 354*i - 352*i + 342 = 0. Is k bigger than -491/3?
False
Let w = 55.63 + -46.93. Which is smaller: -4.6 or w?
-4.6
Suppose 521 = 5*g - 1219. Let z = g - 346. Is z greater than -1/19?
True
Let u be ((-3)/((-351)/(-138)))/(14/(-16737)). Let b = u + -1409. Which is bigger: 1 or b?
b
Let z = -26 - -29. Suppose z*l - 207 = q, -4*l + 4*q = -328 + 60. Let d be (l/(-75))/((-2)/10). Which is bigger: d or 4?
d
Let c = -10175 + 9018. Which is greater: -10402/9 or c?
-10402/9
Let z = -33.75 + 29. Let u = -1797 - -1796.95. Let f = u + z. Are f and 1/2 unequal?
True
Let h(p) = 20*p + 56*p**2 + 41 + 51*p**2 - 108*p**2. Let i be h(22). Let m(v) = -3*v**2 + 1. Let z be m(-1). Is i equal to z?
False
Let s = 0.2 + -0.42. Let g = s + 0.32. Let i be ((-32)/(-100))/(2/5). Are g and i nonequal?
True
Suppose -2*t = 4*f - 458, -28*t = -27*t - 4*f - 211. Which is greater: t or 220?
t
Let o be (-7992)/(-21)*26/(4394/(-91)). Is o less than or equal to -206?
False
Let b = 7139 - 7136. Which is smaller: -0.0495 or b?
-0.0495
Suppose -16*k - 129866 - 80554 = 54*k. Is k at least -3011?
True
Suppose 3*y - 991 = -2*i, -3*y + 2485 = 5*i + 3*y. Is i <= 3017/6?
False
Suppose -102*p + 62012 + 43773 = -7639. Which is smaller: p or 1102?
1102
Suppose -3*s - 7*v + 8*v - 321 = 0, 0 = v - 3. Are 28/3 and s equal?
False
Let h = 254.8 - 971.8. Is h >= 3?
False
Suppose 228*w - 176*w + 500 = 4244. Which is greater: w or 806/11?
806/11
Let t = -751 + 747. Which is bigger: 0.53 or t?
0.53
Let h(o) = 30*o - 64. Let t = -588 + 590. Let n be h(t). Let k = 0.3 - 18.3. Is k less than or equal to n?
True
Let b = 2461.9933 - 2462. Is -1/3 smaller than b?
True
Let g = 1791.2175 + -1789. Let h = g - 0.0175. Is h >= -0.5?
True
Let c be 7836/420*(-5)/(-6). Let u = c + -22/21. Let p = -272.2 - -272.2. Which is bigger: p or u?
u
Suppose 4*b - 8 = -4. Let z be 537/(-387356)*(-16)/6. Which is smaller: b or z?
z
Let b be ((-16)/(-12))/((-8)/(-60)). Suppose 4*u - a - 4*a = 45, 5*u = -3*a + b. Let d(f) = f - 18. Let p be d(17). Which is smaller: u or p?
p
Suppose 0 = -16*b + 20*b. Suppose -5*q - 5*h = b, 3*q - 4*h - 26 - 9 = 0. Let p(i) = i**3 - 7*i**2 + 13*i - 6. Let c be p(q). Is -2 > c?
False
Let g = 366.8 - 363.014. Let a = g + -0.286. Let u = -147/4 - -37. Which is smaller: a or u?
u
Let i be (-130)/8*(-316 - -320). Is -89 less than i?
True
Let y(d) = 23291*d**2 - 27*d + 29. Let c be y(1). Is c at most 23293?
True
Let n be (-6)/(-9)*-6 + 69. Let f = n - 44. Let k be f/(-8) - 9/(-3). Which is smaller: -1 or k?
-1
Let u be ((-1)/(-396))/((-68)/(-306)). Which is smaller: -3/7 or u?
-3/7
Let b(o) = -2*o**3 - 4*o**2 - 31. Let w be b(-3). Which is greater: w or 337?
337
Let r = 3.532 + -3.7. Let l = r + -0.332. Let k be (-3)/(-12) - 6/88. Is l greater than k?
False
Let n = 315 - 89. Let x = -238 + n. Is -12 at most as big as x?
True
Suppose -3*s - z + 45 = 31, -5*s = 4*z - 28. Suppose s*i = -7*j + 3*j - 608, 0 = -2*i + 3*j - 314. Which is smaller: -152 or i?
i
Let t(y) = -4*y + 7. Let z be t(-6). Suppose 57 = 12*a - 27. Suppose -2*i - 5*l - z = 0, -a*l = -2*l + 25. Is -0.04 <= i?
False
Let t = -144 + 196. Let m = t - 8. Let c be 11/m - 7/(-4). Which is smaller: c or 15/14?
15/14
Let w = 31.97 - 32.07. Do -4/159 and w have the same value?
False
Let v = -6890 - -6889.9. Let x = -181.1 + 189. Is v != x?
True
Suppose -48*w + 265101 + 739 = -128*w. Is w bigger than -3326?
True
Suppose 174 = -5283*d + 5312*d. Is d at least -22?
True
Let q = -1842 + 1153. Let t = q - -689.037. Do t and -6 have the same value?
False
Let f = -7983 + 7883.328. Let j = 0.628 - f. Let o = j - 99. Is -0.3 at most as big as o?
True
Suppose -l = -5*i - 135, i - 5*i = 2*l + 94. Let z be i/(-234) + (-187)/225. Which is smaller: z or 0?
z
Let t be 9/(-12) + 5/(-20). Which is smaller: -1/88 or t?
t
Let t = -7995 - -7994. Which is smaller: -20/69 or t?
t
Let y = 31741 + -31803. Is y less than 52?
True
Suppose 0 = -2*k - 2*l - 14, -4*k - 25 = 2*l - l. Which is smaller: -426/59 or k?
-426/59
Let x(h) = 9 - 3 + h**2 + 7 + 7*h + 0*h**2. Let k be x(-4). Let w be -1 + (-15)/10*k. Which is smaller: w or -2?
w
Suppose 3*v = -4*p + 22, -2*v - 2*p + 6*p - 12 = 0. Suppose -4*m = v*z - m + 9, 2*z - 3*m - 9 = 0. Is z less than or equal to -3/118?
False
Suppose -24*s + 31*s = 0. Let a be (9 + -9)/(-9)*(1 - s). Which is smaller: a or 2/165?
a
Let t = 649/7 + -93. Let i = -330 - -328.53. Let d = i + 1.57. Is t bigger than d?
False
Let s(n) = -n**3 - 4*n**2 + 7*n - 2. Let y be s(-5). Let j = 33 - y. Suppose -2*r - r = -j. Does r = 16?
False
Let n be (-14)/(-882)*9 - (-1)/(-7). Is n at most as big as 4/2291?
True
Suppose 0 = s + 5*a + 3, -3*a + a + 15 = -5*s. Let p be (1*(-1)/3)/(7/(-1869)). Let k = p - s. Is k less than or equal to -1/3?
False
Let w = 18 - 13. Suppose 180 + 20 = -w*v. Let r = 40 + v. Is r less than or equal to -4/19?
False
Suppose -10*d - 10*d = -900. Let f be 3003/d + 2/3. Are 68 and f nonequal?
True
Suppose 0 = 2*p + 4*l - 2*l - 2332, -1166 = -p + 5*l. Let c = p + -52459/45. Let t = c - 1/45. Which is bigger: t or 1?
1
Let t(n) be the first derivative of 9*n**2/2 - 81*n + 15. Let u be t(13). Is 37 < u?
False
Let y = 0.39 - 0. Let t = 1616 - 1620. Does y = t?
False
Let m = 100.8036 + -12.8036. Let s = -2.8 - -3. Which is smaller: s or m?
s
Let s = 145 + -40. Let a = s - -115. Let v be (-13 - -9) + a/54. Is v > 0?
True
Suppose -4*t + t + 9 = 0, 2*t - 31 = -5*m. Suppose -14*p - m*f = -17*p - 27, -4*f = -p - 16. Is p <= 2?
True
Let q be (2/6)/(6/990). Let y = q + -53. Which is smaller: y or 7/3?
y
Let z be ((-10)/(-3))/10 - (-442)/(-1254). Let h = -575/2717 + z. Which is smaller: h or -1?
-1
Let s = 927 + -967.08. Let o = s - -4.08. Is o greater than -0.1?
False
Let o be -3*(-39)/45 - 4/(-10). Suppose -o*c - c = -2*c. Let g = -0.483 - -0.47. Which is smaller: c or g?
g
Let u = -237 - -28202/119. Let y = 305/119 - u. Is y <= 2/9?
False
Suppose -2*t + 3*c = -45, -5*t + 4*c + 95 = -0*t. Let r be 34/255 + (-2)/t. Suppose -2*w + r*w = 36. Is -17 != w?
True
Let x = 0.1041 - -0.5305. Are x and 0 nonequal?
True
Let c = -12180 - -12181. Let g(p) = p**2 - 4*p + 5. Let z be g(4). Suppose -z*q - 2*y + 180 = -3*y, -2*q = 4*y - 94. Is c less than q?
True
Let t(i) = -2*i**3 + 4*i**2 + 2*i - 4. Let d = 36 + -32. Let w be t(d). Let f = 61 + w. Is f <= -1/22?
False
Let p = 11715 - 11716. Is p > 1/14836?
False
Let w = 3/13373 - -13361/53492. Is -6894 < w?
True
Suppose -32*w = -5*w. Which is greater: 48/37 or w?
48/37
Let v = 52933 - 64842929/1225. Which is smaller: v or 0?
v
Let o = 0.05765 + 3.21935. Let w = -0.223 - o. Is w != -0.1?
True
Suppose 39*r = 50*r + 11. Let o(c) = -10*c - 9. Let t be o(-5). Which is smaller: r or t?
r
Let g be 30/(-12)*(-14)/5. Suppose 5 + 37 = g*o. Suppose 6*l + f + o = 3*l, -3*l + 3*f + 6 = 0. Is l less than -2?
False
Let b = -49 + -2. Let p = b - -49.3. Let c = -2 - p. Which is greater: -2 or c?
c
Let w be 53973/(-85) + (-2)/10. Let t = w + 635. Let m(h) = -h**3 + 6*h**2 + h - 5. Let i be m(6). Is t greater than or equal to i?
False
Let h(p) = -6*p - 32. Let u be (-4)/(-10) - ((-161)/35 + -9). Let b be h(u). Is -117 at most as big as b?
True
Let p = -18677 - -16080880/861. Do p and 0 have the same value?
False
Suppose -9*m = 4*u - 14*m - 566, -5*u - 5*m = -730. Suppose -4*s + 8*s = u. Which is smaller: -3 or s?
-3
Let b = 101 - 106. Let s be -16 + ((-10)/(-12) - 5/(-30)). Which is greater: b or s?
b
Let p(t) = 27*t + 41. Let m(b) = -13*b - 19. Let f(n) = -13*m(n) - 6*p(n). Suppose 2*h = h. Let q be f(h). Is q > -38?
True
Let g = 29/17 + 61/34. Let n = 17/6 - g. Is n greater than or equal to 40?
False
Let b be 2/(14/349) + 3/21. Let t = -38 + b. Suppose 3*q + 30 = 7*l - t*l, -2*q - 3*l = 19. Is -0.2 greater than or equal to q?
True
Let a = -77 + 75. Let g be ((-1)/(-18))/((-1)/a). Suppose -5*x - 3 = 2. Is x at least as big as g?
False
Let r(p) = -42*p + 2609. Let w be r(62). Is 600 smaller than w?
False
Suppose -2*i + 115 - 53 = -4*r, -92 = -5*i + r. Which is smaller: i or 130?
i
Let k be 200/(-34) + (-8)/68. Let n be -5*(5 + 12/k). Which is greater: n or -32?
n
Let k be (134