ich is greater: x or c?
x
Let y(h) = -36*h + 216. Let t be y(6). Which is greater: t or -4/53?
t
Let y be (-4)/(-20) + 62/(-10). Let d be y/14 - 508/(-336). Let w = 2568 + -2566. Which is greater: w or d?
w
Let a be 0*4/8*(-5)/5. Let y be (-377)/(-125) - (3 + 0). Is y > a?
True
Let v = -3503 + 1841. Which is greater: -1664 or v?
v
Let w = -47 + 102. Let t = 54 - w. Let m = 2259/13 + -174. Which is smaller: m or t?
t
Suppose 0 = -4*h + 3*a + 2, -2*a = -h + a + 5. Suppose -7*x + 526 = 715. Which is bigger: h or x?
h
Let f = -412/993 - -27/331. Which is smaller: f or 100?
f
Let l be (-10)/(-3)*12 - (17 - 15). Which is smaller: 196/5 or l?
l
Let c(m) = -m**2 - 4*m + 6. Suppose 2*a + 2 = -8. Let q be c(a). Suppose d = 5 - q. Which is smaller: d or 30/11?
30/11
Let y(j) = 156*j**3 + 5*j**2 - 16*j + 11. Let r be y(1). Which is bigger: 1083/7 or r?
r
Let w = -49 - -48.44. Let z = w + -0.76. Is z < 0?
True
Suppose 0 = 4*c - 0*c + 12. Let h be (-5 - -2)*c/(-768). Let z = h + -1765/2304. Which is smaller: z or -1?
-1
Let y be (10 + -13)*(6 + -3 - 10772/(-3)). Does -2 = y?
False
Let w be (-6)/(0/(-7) - 1). Suppose 0 = c - 2*o - 1 - 5, -c + 4*o + w = 0. Which is smaller: c or 70/11?
c
Let m = -8/1345 + 5564/30935. Let k be (4/6)/((-8)/12). Are m and k unequal?
True
Let x be 40/180 + 70/9. Let d be x/(-28) - 1105/(-119). Is 8 at least d?
False
Let k(c) = -c**2 - 13*c - 97. Let v be 225/90*3*-2. Let j be k(v). Which is bigger: j or -128?
j
Let c = 12426 + -12427. Which is bigger: -5/176 or c?
-5/176
Let m(v) = 23*v + 127. Let j be m(17). Let o = j - 161. Is o <= 356?
False
Let f = -121 + 603/5. Let g = 3/111485 - 82164571/4682370. Let o = 52/3 + g. Is f <= o?
True
Let m = -278 + 287. Suppose 0 = m*h - 44 - 271. Are h and -3 non-equal?
True
Suppose -x - 3*x + 424 = 4*b, -2*b + 521 = 5*x. Let v(w) = w**3 + 19*w**2 + 82*w + 54. Let a be v(-8). Which is greater: a or x?
x
Let c = 0.0421 - 0.0971. Let y = -0.255 - c. Is 0.26 greater than or equal to y?
True
Suppose -5*p + 5*x - 50 = 0, -2*p - 59 = 5*x - 4. Suppose -3*y - 28*y - 496 = 0. Which is greater: p or y?
p
Suppose 0 = 15*o - 14*o - 20. Suppose -2*t = 24 - o. Let f be ((-9)/7 - -3) + t. Are -0.08 and f non-equal?
True
Let o = 490782 + -490783. Let i = 91 + -8825/97. Is i bigger than o?
True
Let f = -5217 + 5231. Is f less than or equal to -20.6?
False
Let c = -0.048 + -0.142. Let h = -0.4098 - -17.2198. Let j = h - c. Is 1 at least j?
False
Let x = 1432 - 1227. Is 226 less than or equal to x?
False
Let o(y) = -2*y**3 - 3*y**2 + 4*y - 7. Let p be o(2). Let i be (5 - (-3 - -5))*(-9)/p. Is -1/568 <= i?
True
Let t = -2609 + 70442/27. Is -0.324 not equal to t?
True
Let u = 12 - 7. Suppose -2*t - u*o - 4 = 0, -5*t = -3*o + 17 + 24. Let i = -2022 - -2016. Does t = i?
False
Let p = -24680 + 24695. Is p greater than or equal to 153?
False
Let b = -948 - -852. Do -87 and b have the same value?
False
Let a = -116 - -117.75. Let s = 665.1 - 665. Which is smaller: s or a?
s
Let s(c) = 85 + 43*c - 148*c + 2*c**2 + 83*c. Let b be s(7). Does b = 26?
False
Suppose 0 = 34*r + 1888 + 1852. Is -10 greater than r?
True
Let l = 126.484 + 0.056. Let i = l + -0.54. Let q = i - 126.1. Which is smaller: 0.063 or q?
q
Let c = -20 - -50. Let h be (-616)/20 + (-2)/10. Let v = h + c. Is v greater than or equal to 3?
False
Let m be (-4 - -5)*(-1 - 0) - (11 - 195). Which is greater: m or 14?
m
Let d = -3081.2 + 1401.2. Which is smaller: -0.2 or d?
d
Suppose 0 = -89*j + 652 + 1573. Let h = 38 - 54. Let f be 101/4 - (-4)/h. Is j bigger than f?
False
Suppose 2*d - v = -0*v + 5, 0 = 5*d + 4*v - 6. Let z(c) = -6 + 2*c - 13 + 10. Let i be z(5). Which is bigger: i or d?
d
Suppose 145*w + 7*w + 4*w = -4680. Suppose 0*p = 4*u + 5*p + 19, 7 = -u + p. Let x(v) = v**2 + 12*v + 5. Let l be x(u). Which is smaller: l or w?
l
Let t be 1/4 + (-59)/(-4). Let k = t - 2. Let r be 56/(-42)*(-3)/(-4). Is k at most as big as r?
False
Suppose -3 = -0*o + 3*o. Let y(p) = 8*p**2 + 4*p + 18. Let h be y(-3). Let r be (-8)/(-14) + h*(-78)/10794. Which is smaller: r or o?
o
Let u be (1 - -59)*(-6)/(-9). Let g = -87 + 154. Suppose 5*y = 4*n - 161, -3*y - g = -n - 25. Which is smaller: u or n?
n
Let f = -16752 + 16751.67. Which is greater: 183 or f?
183
Suppose 779 = -35*h + 989. Which is smaller: -155 or h?
-155
Let d = 4751 + -5002. Which is smaller: -250 or d?
d
Suppose -4*n + 5*r - 17 = 0, 3*n + 9*r - 7*r = 16. Which is greater: n or 1597?
1597
Let p = -8689.1 + 8689. Is p bigger than -94/13?
True
Let z be 2 - 2 - (-11)/132*-12. Which is bigger: 1/2098 or z?
1/2098
Let u be (145/15 + -5)*(-524)/35. Which is smaller: -69 or u?
u
Let h be 429/44*3/99 + (150/55)/(-5). Suppose -2*o = -4*o - 18. Do h and o have the same value?
False
Let t(p) = 7*p + 42 + 6*p - 6*p - p. Let j be t(-8). Let x = 0.43 + -0.03. Is x >= j?
True
Suppose -1134 = 2*u - 2*g, -3*u - 3*g + 0*g = 1713. Which is greater: u or -568?
-568
Suppose -4*o - 2*f - 1068 = 820, -3*f + 1434 = -3*o. Is o greater than -473?
False
Let h = -154.41 + -169.59. Are h and 5 equal?
False
Suppose 14101 = 29*c + 3081. Which is smaller: 377 or c?
377
Suppose -6 = 3*b - 3. Let x be (b - -1)/(2 - 1). Let o = 3217 + -324918/101. Is o greater than x?
False
Let h = 43 - -954. Let n = h + -997.1. Let v = 12 - 5. Which is greater: n or v?
v
Suppose -11*v - 3264 + 34546 + 64418 = 0. Which is bigger: v or 8701?
8701
Let a be 2/4 + (18/4 - 2). Suppose a = -2*x + 7, 13 = 5*f - x. Suppose 5*q - f*k = -14, -4*q - 8 = -k - 1. Which is greater: -2/123 or q?
-2/123
Let h be ((-2)/(-336))/(77/66). Which is smaller: h or -0.02?
-0.02
Let a(p) = -p**3 - 2*p**2 + 6*p - 8. Let x be a(-4). Suppose 5*m - 4*s - 101 = -x*m, 0 = 5*m + 4*s - 109. Is 21 at least m?
True
Let y = -1762 + -2104. Is y > -3865?
False
Let v = -380 - -467. Let n = 36 + v. Which is smaller: n or 121?
121
Let r be (-316)/(-10) - 14/(-35) - -2. Which is smaller: -2 or r?
-2
Let p be (-134)/17 + (13 - 8). Which is greater: p or -3?
p
Let n(q) = 3*q + 34. Let w be n(-6). Let t be 2/w - 2130/(-240). Let l = t + 0. Which is bigger: l or 7?
l
Let r = -14.423 - -0.223. Let y = r - -13.2. Is -18 at most as big as y?
True
Let l = -1374574 - -1375242.049. Let n = -668 + l. Which is smaller: 1 or n?
n
Suppose 4888 = 22*j - 9*j. Let w = -365 + j. Is -16 greater than or equal to w?
False
Suppose -1392 = 31*p - 43*p. Let x(a) = -a**2 + 9*a + 9. Let c be x(10). Which is smaller: p or c?
c
Suppose 3*v = -9, -2*d + 6*v = 3*v - 11. Let f be ((-1326)/(-884))/(0 + (-6)/8). Are d and f equal?
False
Let b = 2104 - 2089. Is 125/8 bigger than b?
True
Let x = -1.148 + 20.1156. Let i = x + 0.0324. Are 5/4 and i nonequal?
True
Let y = 9401867/8817 + -3199/3. Let d = y + -3069/191035. Which is smaller: 0 or d?
d
Let y(r) = -2*r**2 + 33*r - 14. Let d be y(16). Let v be (0 + d)/(1 + -3). Let l be 44/(-4)*1/7. Which is smaller: l or v?
l
Suppose -5*g + 3*y - 6 = 0, -9*g - 4 = -11*g - 2*y. Which is smaller: 12/17 or g?
g
Let b = 689 + -8939/13. Let t = -2.95 + 3. Let p = t - 0.15. Is p greater than or equal to b?
False
Let p be 12/(-24) - (-3)/10. Let s = -62.092 - -0.092. Is s at most as big as p?
True
Let t be 293 - 509 - 1*4. Are -1097/5 and t unequal?
True
Let h(y) = y**2 - 5*y + 4. Let c be h(-10). Suppose 3538 = -22*f + 73*f - 4316. Are f and c nonequal?
False
Let g(a) = 12*a**3 - 11*a**2 - 83*a + 622. Let b be g(8). Which is greater: b or 5397?
b
Let f = 65 - 65.2. Let q = f + -17.8. Let a = 11 + q. Is -4 bigger than a?
True
Suppose -11 = 4*y + 2*i - 331, y = -4*i + 66. Suppose x = 4*g + 2*x + y, -3*x = -5*g - 94. Let v be (44/(-10))/(2/10). Which is greater: v or g?
g
Let j be 301/14*(-2)/(-1). Suppose q + 39 = j. Is -4 bigger than q?
False
Let v = 75 - 55. Suppose 0 = 6*q - 2*q - v. Let k = -9 - -8.8. Which is smaller: q or k?
k
Let i(a) = -3*a**2 + 3*a + 30. Let o be i(-8). Let u = o + 331/2. Are -20 and u non-equal?
True
Suppose 9*i - 14*i - 143 = -148*i. Which is smaller: i or 4/1197?
4/1197
Let i = -0.04 - -0.1. Let o = -52 + 59. Suppose o*s + 9*s - 16 = 0. Is i greater than s?
False
Suppose -2*i + 5*b = 2*i + 92, 2*i = b - 40. Let q be i/4*(-200)/75. Are 13 and q equal?
False
Suppose 1860 = -26*g + 2328. Which is smaller: 93/5 or g?
g
Let m = -1.65 - -1.78. Let p = -0.54 + m. Do 0 and p 