 - 10*d. Let h be g(-3). Suppose 2*k = 4*r + 84, 2*k + r + 155 - 219 = 0. Which is greater: k or h?
k
Let g be (-3)/(-3) - 9/(27/2418). Let i = g + 1754. Let l = i - 36059/38. Are 0 and l equal?
False
Suppose 2*o - 5*k = 13, 2*o + 4*k + 16 = 4*o. Let y be 84/14*(-76)/(-6). Let m = y + -62. Is m smaller than o?
False
Let x be 235/225*((-8)/(-16))/(3/156). Which is greater: 26 or x?
x
Suppose 2*k + 439 = 5*y - 85, -3*y + 3*k = -318. Let i be (14 - 10)/(y + 2). Let p be 1*(0 + -1)*-1. Is p at least as big as i?
True
Let p = 10251 + -10245.585. Which is bigger: p or 2?
p
Let c = 6 + -2. Suppose -90 = 4*v + f, 8*v - 9*v = -3*f + 16. Let t be 4/v - (-1392)/638. Is c at most as big as t?
False
Let w = -122 - -133. Let d = 10.94 - w. Let n = 0.33 + -0.03. Which is smaller: n or d?
d
Let x = 4112/357 - 42/17. Does 10 = x?
False
Let v be -4 + (0 - 2/2). Let d(s) = -3*s - 2. Let y be d(v). Suppose y = -3*k - 2. Is -6 not equal to k?
True
Let b be -3 + 25/9 - (-650)/(-234). Let l be 0*(1/(-4 - b))/(-2). Which is smaller: l or -3/184?
-3/184
Suppose -2*w + 3 = -2*j + 11, 0 = 4*w. Let g be (-2)/j*6/3. Let d be g/3 + (-91)/(-21) + 2. Is d <= 9/2?
False
Let r = -2/1079 + 3216/570791. Which is smaller: 8 or r?
r
Let f be 3/(-2) - (-27)/6. Suppose -f*z + 807 = 2*k, 2*k + 708 = 5*z - 653. Which is greater: 2/3 or z?
z
Let w = 74.8 + -64. Let s = w - 11.17. Let m = s - 8.63. Which is smaller: -3/5 or m?
m
Let p = -132 + 65. Suppose -5*y + 4*m - 348 = 0, 5*m = -2*y + 3*y + 78. Which is smaller: y or p?
y
Suppose -1719*k + 1736*k = 595. Let l = 14 - -21. Are k and l equal?
True
Let h = 285 - -59. Let f = h - 344. Are 15/49 and f nonequal?
True
Let d = -51365/28 - -1834. Let m = 225/364 + d. Let h = 418 - 417. Which is smaller: m or h?
m
Let q(b) = -4*b + 46. Let d be q(11). Let i be (18/156*-1)/(1/d). Is i equal to 0.1?
False
Suppose -3*c + 51 = -3*x, 3*c + 5*x - 3 = 32. Let u(v) = -v - 3. Let g be u(-3). Suppose 0 = -g*z + 4*z + 2*z. Is c != z?
True
Let f be 67*((4 - -4)/(-4))/(-2). Suppose -9*r + 8*r = -f. Is 64 at most as big as r?
True
Suppose 0 = -a + 4*r - 44 + 13, r + 26 = -a. Suppose 4*b = -2*i - 100, 5*b + 114 = 5*i - 2*i. Which is smaller: a or b?
a
Let d = -144 - -166. Let g(m) = m**3 - 7*m**2 + 6*m + 6. Let i be g(6). Suppose l = -i + d. Which is bigger: 13 or l?
l
Suppose -10*j - 2447 = 12*j - 555. Suppose -108 = -2*q + 50. Let m = q + j. Which is greater: 0.2 or m?
0.2
Let y(l) = 17*l - 10 + 0 + 23 + 2*l**2. Let p be y(-9). Suppose 2*s + 6*a + p = 2*a, 0 = -4*s - 3*a - 59. Do -19 and s have the same value?
False
Let y(l) = -4*l - 49. Let f be (-5)/1 - (-1)/(-4 + 5). Let b be y(f). Which is greater: -32 or b?
-32
Suppose 7*u + 2569 = -147. Let l = u + 390. Which is smaller: l or 9?
l
Suppose -i - 3*q + 7*q - 7 = 0, 3*i + 1 = 2*q. Let a = 694 + -976. Let y = a + 286. Which is smaller: i or y?
i
Let r = 12682 + -12652. Which is bigger: 93 or r?
93
Let b = -27044 - -41732. Is 14686 < b?
True
Suppose 1509*k = 1637*k - 640. Suppose 0 = c + 2*c + 12. Let n = 2 - c. Is n less than k?
False
Let a be ((-58)/8)/((-3)/(-36)). Let r = 91 + a. Let i = -757/72 - -109/8. Is r at least as big as i?
True
Suppose -x = 14 - 17. Suppose 5*k + 4*u - 19 = 0, 0*k - 4*u - 5 = -x*k. Suppose -k*y = 2*y - 350. Is y less than 71?
True
Suppose -4*c + 3*f = -3, 27 = 2*c + 4*f + 9. Let n = -81.8 - -55. Let b = -19.8 - n. Is b < c?
False
Let w = 49 - 81. Let l = 120 + -119.99. Let f = l - 0.11. Is w > f?
False
Let n = 520 - 311. Let r = 244 - n. Let d be 1 + 1 + -3 + 36. Is d >= r?
True
Let r(f) = -f + 69. Let u be r(-17). Let m = u - 99. Which is smaller: -14 or m?
-14
Suppose 1205 = 42*b + 35*b + 31697. Is b greater than or equal to -1977/5?
False
Suppose 3 = v, i - 173 + 130 = 5*v. Is i greater than or equal to 642/11?
False
Suppose -2*d + 56 - 13 = -l, -240 = 5*l - 5*d. Let g(y) = -2*y**2 - y + 55. Let u be g(7). Is u not equal to l?
True
Let h be 12/(-10) - 758435/(-175) - (-2)/7. Is 4334 greater than h?
True
Suppose -1110 = -110*f + 113*f + 3*d, 3*d + 745 = -2*f. Is -367 at least f?
False
Let l(v) = -539*v**2 + 86*v + 257. Let z be l(-3). Is -4852 <= z?
True
Suppose -3*t - 74 = 4*d - 292, 2*d = -t + 108. Suppose -3*u = d - 194. Which is bigger: u or 46?
u
Let u = 2/183149 - 195853/1163362448. Which is smaller: u or 1?
u
Let w = 285 + -279.08. Let d = w + -5.61. Is 0.08 not equal to d?
True
Let r be (826/(-42))/(((-8)/42)/(-4)). Which is smaller: r or -412?
r
Let q = -8.662 + -0.208. Let w = q - -9. Let y = -0.108 + w. Which is bigger: y or 0.2?
0.2
Let w = -2514 + 4481. Let n be -2 + (-35)/(-15) + w/84. Is 25 equal to n?
False
Suppose -5*g - 3*i + 42 = 169, g + i = -25. Let x be 7 - 2 - g/1. Which is smaller: 33 or x?
x
Suppose -3*r + 3 = -2*l, -4*r + 4*l + 11 = -l. Let a be (r + 1)*6/12. Do -1/211 and a have the same value?
False
Let s be -1 - 4/(-10)*-5. Let p be 63/(-6)*((-31)/s + -3). Is p >= -378/5?
False
Let y = 696 - 4914. Which is smaller: y or 0.1?
y
Let z be (2/(-18))/((-2936)/216*3) - 0. Which is smaller: -1 or z?
-1
Let a be (2 + (-22)/12)*77. Let k be (-108)/(-8) + (-12 - 184/(-16)). Is a <= k?
True
Let m = 315973/96802546 + -1/52354. Is 1 <= m?
False
Let v(j) = j**2 - 9*j - 6. Let q be v(10). Suppose -5*y - q = -3*y. Let g = 117277/70 - 11734/7. Which is smaller: y or g?
y
Let f = 9074/5 + -1814. Which is smaller: f or -311?
-311
Let c = -16/33 + 202/99. Suppose -133*b + 31*b - 612 = 0. Is b equal to c?
False
Let q = 82008/31 + -773781/124. Is q < -3594?
True
Let g(i) = -18*i - 12. Let s be g(-4). Let m = 61 - s. Let q be m - (6/2 - (-2 + 4)). Which is smaller: 1/140 or q?
q
Let o(g) = 90*g + 522. Let w be o(-9). Is -6 bigger than w?
True
Let d(q) = -q**3 + 23*q**2 + 25*q - 3. Let f be d(24). Suppose 2*r + 31 = 3*r. Let j = 51 - r. Is j != f?
True
Let h be ((-92)/(-3))/(8 - (-166)/(-21)). Let n = h + -328. Let r = 328 + -1333/4. Is n at least as big as r?
False
Let b be 160/25 - 5/((-200)/24). Is 800 > b?
True
Let a = 324 - 325. Let c be (-65)/(-35) + (a - 1). Is c at least 0.1?
False
Let r(v) = -v**2 + v**2 + 9 + 9*v**2 + 2*v**3 + 2 - 19*v. Let d be r(-6). Which is smaller: -2 or d?
-2
Let m = -15489373842/42053 - -13699751828515087/37194196380. Let p = m - 7/29482. Let a = p - -1/660. Is a > -0.2?
True
Let z(s) = -8*s - 37. Let y be z(-6). Suppose y*r + 7 + 4 = 0. Is r greater than -1/10?
False
Let i = -669 - -675. Let v be 3352/88 - 1/(-5 + i). Is 37 greater than v?
False
Let m(b) = -b**3 - 13*b**2 - 6*b + 75. Let l be m(-12). Which is greater: -41 or l?
l
Suppose 0 = -5*l + 171 - 16. Suppose 18*n = 1127 - 263. Let y = n - l. Is y less than or equal to 14?
False
Let u = -4370.64 - -4469. Let z = 2.36 - u. Let s = -95.8 - z. Which is greater: s or 1.5?
1.5
Let h be ((-8)/(-3))/((-20)/48). Let n be (-6)/(-45) - 12/45*-22. Let f = n + h. Which is smaller: 44 or f?
f
Let y be 1/(11*-1 - 1). Let p = -2170100/9 + 241122. Is p bigger than y?
False
Let h = -83 + 146. Let v = -48 + h. Let y be 90/(-20) - (v/6 + -2). Which is smaller: 4/7 or y?
y
Suppose -53*c + 4255 = -16*c. Let b be ((-4)/c)/(-9 - (-1095)/125). Which is smaller: b or 0?
0
Let h be 7*1*(1 - -2). Let l(b) = 3*b**3 - 310*b**2 - 214*b + 626. Let j be l(104). Is j at least as big as h?
False
Let m be -8 + (1235 - -718)*(4/(-6) - -1). Which is bigger: m or 632?
m
Let i be ((-1056)/862)/(3/8860). Let f = -3618 - i. Which is smaller: -1 or f?
-1
Let f(o) = 240*o + 63. Let v be f(5). Suppose -v*n = -1254*n + 63. Suppose 0 = 4*t + 34 - 10. Which is smaller: t or n?
n
Let w = 22487.7 - 22485. Let k = 2 + -4. Is k >= w?
False
Let q(k) = k**3 - 3*k - 1. Let y be q(2). Let b = 466/555 + -36/37. Are y and b unequal?
True
Let i = 127.3 + -47.3. Let q = 16.54 - -63.36. Let o = q - i. Is o not equal to -8/7?
True
Let w(n) = -2 - 3 + 6*n + n**2 + 2. Let l be w(-5). Suppose -566*k + 0*k - 1886 = 1320*k. Which is greater: k or l?
k
Suppose 2*u = -u + 42. Let x = -193 + 158. Let i be 0/(49/x - 2/(-5)). Which is smaller: i or u?
i
Let b be (-4 - 1*-10)/((-9)/(-12)). Suppose 232 = b*i - 12*i. Let c = -56 - i. Is c greater than or equal to 8?
False
Let i(s) = -s**3 + 25*s**2 + 28*s - 50. Let u be i(26). Suppose 5*k = -7 + u. Which is smaller: 2/281 or k?
k
Let p(u) = u**3 + 3*u**2 - 2*u - 2. Let j be p(-3). Let s = -454 +