 = 4*m. Is g < o?
True
Suppose 251 - 31 = 10*m. Let y(l) = l**3 - 22*l**2 + 5*l - 1. Let f be y(m). Does f = 109?
True
Let t = 12 - -18. Suppose 0 = 4*k - 3*u - t, 0 = 3*k + 5*u - 101 + 64. Let g = -0.05 + 3.05. Is g equal to k?
False
Suppose 8*s + 17*s - 1848 = -41*s. Let z(q) = -6*q - 3. Let g be z(-5). Which is greater: g or s?
s
Let h be (52/(-6))/(((-114)/(-144))/19). Let j = h - -354. Is j greater than or equal to 146?
True
Let x = -25.7 + -49.3. Let y = x - -69. Which is smaller: 0.5 or y?
y
Let q(b) = 38*b + 343. Let k be q(-9). Let a be (-11)/116 + (-2)/8. Which is smaller: k or a?
a
Let t = 348 + -345. Suppose -3 = 4*s + 1, -4*z + 3*s = -t. Is -3/37 greater than z?
False
Suppose -2*g - 290 = 2*o, 2*o + 5*g - 13 + 306 = 0. Which is smaller: -147 or o?
-147
Let c = -29511/130 + 227. Let m = c + 1051/1430. Which is greater: -1 or m?
m
Let w = -4658.181 - -4754.3. Let i = w + -0.119. Let y = i + -165. Which is smaller: 2/5 or y?
y
Let c(s) = 3*s**3 - 222*s**2 + 220*s - 75. Let f be c(73). Which is bigger: f or -93/55?
-93/55
Suppose -23*m + 100 + 15 = 0. Suppose -m*y - 5*i = 185, -19*y + 24*y = -4*i - 182. Which is bigger: -28 or y?
-28
Suppose d = 3*s - 76 - 201, -3*s + 281 = -2*d. Let q be (-2)/(-9) + (-364)/18 + -1. Let g = q + 113. Which is smaller: g or s?
s
Let q be (-3 + -6 - -37)*95/(-78). Let y = q - 562/13. Is -78 < y?
True
Let i = 3652.03 + -3702. Let o = i + -2.03. Which is smaller: o or 2?
o
Let w = -3872 - -3872. Is w at least as big as -18/49?
True
Let a = 72 + -114. Let g = 1/81 + 79/162. Are a and g equal?
False
Let f = 653.7 + -624. Let x = -29 + f. Is x greater than -7?
True
Suppose -k - 3224 = u, -46*u = -2*k - 51*u - 6457. Which is smaller: -16104/5 or k?
k
Let y = 10073 + -10064. Is y less than or equal to 237?
True
Let x be 116/6*(-72 + 75). Suppose n = -4*i - n + 24, -4*i - 3*n + 26 = 0. Suppose -2*q = 2*q - 4, -i*t + 287 = 2*q. Is t smaller than x?
True
Let b(p) = -155*p + 31. Let i be b(-1). Which is bigger: i or 1497/8?
1497/8
Let o be (-58)/145 + (-1459)/40. Let z = 12725/344 + o. Is z greater than or equal to -0.2?
True
Suppose -5*o - 16 = y, 5*y - 3*o = -0*o - 24. Let f be 7823/((y - 1)*22/10). Let d = f - -508. Is 1 less than or equal to d?
False
Let t = 676.151 - -0.849. Let w = t + -677.1. Is -200 >= w?
False
Let o = -130.038 + 15.038. Does o = 0?
False
Let q = 663 + -319. Suppose -74 = -9*u - q. Is u greater than -26?
False
Let m(b) = b**3 + 7*b**2 + 6*b + 1. Let t be m(-6). Suppose -6*w + 24 = -10*w. Let h be (-45)/w*(-10)/400. Is t < h?
False
Suppose -4*y = -0 - 4. Let j be y + 0 - (-28)/(-26). Suppose 25 - 5 = 294*c - 314*c. Is j at least as big as c?
True
Let i = 2926 + -2926. Let m be 1 - (-16)/(-12)*12. Let x be (-6)/m*2/(-24). Is x greater than or equal to i?
False
Let n = -16608 - -66433/4. Which is smaller: -4243 or n?
-4243
Let q(m) = 3*m**3 - m**2 + 24. Let f be q(-5). Let j = f - -370. Is j <= 0?
True
Let w be (15/6)/((-50)/(-40)). Suppose -564 = w*g + 10*g. Which is greater: -48 or g?
g
Let f(d) = d**3 - 16*d**2 + 17*d + 14. Let t be f(15). Let g be (-11)/t - ((-2732)/(-16))/1. Which is smaller: g or -172?
-172
Let g(f) = 108*f + 2802. Let j be g(-35). Which is bigger: -980 or j?
j
Let l = 38377/33586 + 1/4798. Which is greater: -283 or l?
l
Let g(s) be the first derivative of 3*s**2/2 - s - 37. Let r be g(0). Is 11/42 smaller than r?
False
Let u = -200 + 174. Let o be (-3)/6 + (-473)/22. Which is greater: u or o?
o
Let t be (-4)/68*2 + (-8)/(-136)*-2973. Which is smaller: t or -1?
t
Let u = 24.23 - -12365.77. Which is greater: 2/3 or u?
u
Let p(z) = 28*z**2 - 282*z + 2333. Let q be p(9). Is 2063 at least as big as q?
True
Let t be 8/40*-15*((-66)/18 + 4). Which is smaller: 30.96 or t?
t
Let o(a) = -a**2 + 84*a - 1681. Let t be o(51). Which is greater: 26/43 or t?
t
Let z be 17/85 + (-61869)/8595 + 7. Are -1 and z unequal?
True
Let f be 49/(-4) + (-1)/(-4). Let r be -120*(-160)/48*(-2)/(-5). Let l = r + -173. Is f less than or equal to l?
False
Let o(f) = -f**3 + 3*f**2 + 8*f + 14. Let d be o(5). Let g be 3/d + (-429)/(-132). Which is greater: g or 50/11?
50/11
Let f(r) = -677*r**3 + r**2 - r - 6. Let v be f(-5). Let j = -10411751/123 + v. Let x = -25/41 + j. Is x > 0?
True
Let k(g) = -g**3 + 3*g**2 - 308*g + 1929. Let x be k(6). Is -154 equal to x?
False
Let v = -4/11387 - -4110715/22774. Is v less than -3/2?
False
Let n(j) = -2*j**3 - 4*j**2 - 24*j - 30. Let w be n(-4). Which is greater: w or 112?
w
Let h = 741 - 739. Let m(r) = -2*r**3 - 5. Let y be m(h). Is y >= -10?
False
Suppose -4*q = -d + 2, 8*d - 3*d + 8 = 2*q. Let b be (-8)/16 - q/2. Suppose -3*l + 5*g = -b + 6, -2*l + g = 4. Which is smaller: -7/4 or l?
l
Let b(l) be the second derivative of -l**4/12 - l**3/6 + 59*l**2/2 + 6*l. Let g be b(0). Let c be 40/(-15)*10/((-40)/87). Which is smaller: g or c?
c
Let j be (-17019)/(-186) - -2*(-2)/8. Let y = -253 + j. Which is smaller: y or -163?
-163
Let y be 79804/64 - 13/(-208) - 2. Which is greater: y or 1244?
y
Suppose 0 = -x + 212 - 130. Suppose x = k + 7. Which is smaller: k or 223/3?
223/3
Let c = -2251/15 - -527/3. Is 2 less than or equal to c?
True
Suppose -16*p - 6724 = 8*p + 6092. Which is greater: p or -538?
p
Let i = 138299 - 138287. Let s = 0.1 + 26.9. Is i < s?
True
Let t be (-74 + 8)/(15/7 - 2). Let x = t + 463. Which is smaller: -1/197 or x?
-1/197
Suppose -36358 = -7*o + 8*o - 15*o. Is o greater than 2595?
True
Let u(j) = 2*j**2 - 18*j - 40. Let l be u(11). Suppose 2*d + l = 0, -4*b + 146 = 9*d - 4*d. Is b greater than 79/2?
False
Let m be ((-3918)/434)/(-3) - 3. Suppose -2*u - 23*u + 8*u = 0. Which is smaller: m or u?
u
Suppose 9*v - 14820 = -32*v - 149*v. Which is smaller: -23 or v?
-23
Suppose -4*a + 3*l = -71, -l = -5*a + 2*l + 91. Suppose 2*z + a = 40. Is 86/9 smaller than z?
True
Suppose -75*i - 73395 = -147*i + 57*i. Is 4891 less than i?
True
Suppose 0 = 5049*v - 5043*v + 1134. Suppose 364 = 4*i + 1116. Is v equal to i?
False
Let n = -4196 + 29292/7. Let w = 1133 + -1059. Let v be -19*3/(-171) - w/6. Which is greater: v or n?
n
Let u be (-3 + 4)*105/629965. Which is smaller: u or 1?
u
Let d = -2497 - -2496.8. Which is greater: 0.054 or d?
0.054
Let k be (50/100*15)/((-161)/(-164) - 1). Which is smaller: k or -416?
-416
Let o = -5812 + 9922. Is o bigger than 4110?
False
Let x = -3488 + 3487.98. Let f = 479/9 + -53. Is f bigger than x?
True
Let a(d) = -d**3 + 3*d**2 + 10*d - 1. Let k = 368 + -363. Let r be a(k). Is r smaller than -4.5?
False
Let s = -1565 + 1530. Let r = 48 + -82. Is r greater than s?
True
Let i = 0.06 - 1.06. Let j(o) = -o**2 + 9*o - 10. Let x be j(6). Let v be 28/42 - x/(-15). Which is greater: i or v?
v
Let i be ((-20)/15 - 5/(-15))*264. Let y = -262 - i. Is y greater than 28/11?
False
Let f = -3.2993 - -3.354. Which is smaller: -0.4 or f?
-0.4
Suppose 7 + 3 = 2*s. Suppose 2*j = -5*w - 3 - 2, 2*j - s*w = 5. Which is bigger: -13/12 or j?
j
Let g = -4507 + 4444.925. Let q = -0.075 - g. Let m = q - 61.79. Which is greater: 1/4 or m?
1/4
Let c(b) = -24*b + 17. Let n be 6/8*(-40)/(-6). Let r be c(n). Which is greater: 0 or r?
0
Let b = -356.12 - 3.88. Let l = -357 - b. Is l greater than or equal to 65?
False
Let u = 4615 - 4616. Is -2/2639 != u?
True
Suppose -14 = d + 4*y, -2*y - 8 = 3*d + 4. Let q = -165/28 + 19/4. Let p = q + -5/14. Which is smaller: p or d?
d
Let s = 9665 - 9667. Is 234 greater than s?
True
Suppose 0 = -14*n + 17*n - 24. Suppose 2*w + 6 = 5*p - 0, 2*p + 2*w = n. Let c be (2 + (-7)/p)/(-6 - -9). Which is smaller: 0 or c?
c
Suppose 5*j + 5*c = 49 - 19, -8*c = -3*j - 48. Which is bigger: j or -3/1814?
j
Let l be -4 + 25/10*14. Let w = l - -25. Are w and 56 unequal?
False
Let k be 6/(-826)*(236/590)/(192/(-50)). Which is bigger: k or 0?
k
Let w be ((-39)/3 - (0 + -5)) + -29. Let r(b) = b**3 + b**2 - b - 1. Let y be r(0). Let n be y*26*3/(w - -1). Which is greater: n or 3?
3
Let q = -568/5 + 3986/35. Suppose -4*o + 4*j + 20 = 0, o + o = j + 7. Suppose 4*v - o*v - 6 = l, 0 = 2*v - 2*l - 4. Is q less than or equal to v?
True
Let n be 452/9932*857/4. Let k = -1/2483 + n. Let f = -187/20 + k. Which is smaller: f or 0?
0
Suppose -9075*v + 9086*v - 671 = 0. Is v smaller than 787/13?
False
Let g(t) = t**3 + 15*t**2 + 13*t - 14. Let f be (-7