Let o = -45 - -46. Let f be 2 - (o - 16)*4/(-28). Which is smaller: 1 or f?
f
Let x be (-24)/30*(-2)/20. Suppose 3*z - 4*z = 2*z. Which is greater: x or z?
x
Let n be 100/7 + (-4)/14. Suppose 250 = n*k - 9*k. Let c be k/12 - 28/7. Is 0 at most c?
True
Let k(f) = 4*f**3 + 86*f**2 + 41*f - 22. Let q be k(-21). Let g be -6 - -3 - (1 - 1). Let w(c) = c**3 + 2*c**2 - 4*c + 1. Let i be w(g). Is i less than q?
False
Let g(d) = -d**3 + 6*d**2 + 8*d + 8. Let h be g(7). Let y be (-14)/21*9/h. Which is smaller: 1 or y?
y
Suppose -32*j - 95 = 4*d - 37*j, -3*d + 4*j = 72. Suppose -24 = 2*u + 16. Is u != d?
False
Let c be (2/7)/((-2)/(-28)). Suppose -3*a + 115 = k + 4*k, 3*a = c*k + 97. Let p be ((-4)/(-7))/(5/a). Which is greater: p or 1?
p
Let i = 115 + -101. Let r = i - 10. Which is smaller: 1/19 or r?
1/19
Let t = -5 - -11. Suppose t*w = w + 115. Is 23 >= w?
True
Let q = -426 + 1276/3. Is q > 0.2?
False
Let j be (-6)/(-8)*(-3)/(-9). Let n = 24 + -8. Let q(b) = b**3 - 17*b**2 + 17*b - 18. Let s be q(n). Are s and j nonequal?
True
Let b(q) = -q**3 + 13*q**2 + 2*q - 17. Let d be b(13). Suppose 2*j + d = -w, -5*w - 31 = 5*j - 6. Which is greater: -8/3 or j?
-8/3
Let r = -0.06 - -2.06. Let y = 376/1547 + 26/119. Which is smaller: y or r?
y
Let z(t) = -t**3 - 9*t**2 + 10*t + 34. Let d be z(-10). Let g = -2247 + 6841/3. Which is smaller: g or d?
g
Let p be (-33)/7 - (-3 - (-138)/42). Let r be (p + (-33)/(-6))*(-2 + 2). Which is greater: 4/21 or r?
4/21
Let n(q) = 5*q + 3. Let b(j) = j. Let z(h) = -6*b(h) + n(h). Let t be z(6). Let g = -58 - -59. Which is greater: t or g?
g
Let f = -7 - -5. Let p be f/12 - (-69)/(-18). Let g be (-2)/(-3)*(-5 + p). Which is greater: g or -7?
g
Suppose -15*z + 1212 = -3*z. Do z and 101 have the same value?
True
Let u = -2.212 - -1.112. Let k = 4.3 - 4. Let o = -0.5 + k. Which is smaller: o or u?
u
Suppose -4*b - 3*g - 29 = 0, 2*g + 3 = 4*b + 17. Let s = -4 - -6. Let j(d) = -4*d + 3. Let w be j(s). Is b greater than w?
False
Let p = 1290 - 1314. Is -10 at most p?
False
Let t be (3 + 33/(-12))*4. Is t >= 21/10?
False
Let p be (-40)/(-4 + (-2 - -7)). Are p and -40 equal?
True
Let a = -50 - -72. Let t = 22.2 - a. Let z = 5.98 - -0.02. Which is smaller: t or z?
t
Let l = -462.6 + 463. Which is smaller: -0.034 or l?
-0.034
Let t = 324 + -397. Is -81 smaller than t?
True
Let r be (20/7320)/(1/(-8)). Which is bigger: r or 0?
0
Suppose -5*w + 5*p = -470, -4*p - 96 = -w - 2*p. Let m = -88 + w. Let i(s) = s**2 + 4*s + 4. Let u be i(-4). Is m not equal to u?
False
Suppose 0 = -2*t + 22 + 20. Suppose t - 37 = r. Is -16 smaller than r?
False
Let g = -1213/7 + 173. Let o be (0 + -1)/1*-3. Suppose 0 = o*r - 0*r. Is r >= g?
True
Let n = -213 + 202. Suppose -2*a - 44 = 2*a. Is a at least n?
True
Let y be ((20/806)/(-5))/(-7). Let l = y + 424/14105. Which is bigger: 1 or l?
1
Let i be (-5018)/(-5020) + -10*(-13)/(-130). Is i equal to -1?
False
Suppose 15 = -6*x - 15. Suppose 0*g - 3*g + 15 = 0. Let m be ((-12)/(-10))/((-2)/g). Which is bigger: x or m?
m
Let g(s) = s**3 - 18*s**2. Let p be g(18). Suppose -24 = -6*q + 3*q + 3*h, -4*h = p. Is q greater than 7?
True
Let x = -1561.72 + 1562. Which is greater: 13 or x?
13
Suppose -d + 5 + 10 = 5*g, -2*d = 4*g - 12. Suppose 0 = -3*y - 4*h - 18, -h - 14 + 5 = g*y. Let z = 8 + y. Is z <= 5?
False
Let z(s) = s**2 - 5*s - 150. Let g be z(-10). Which is smaller: 1/1109 or g?
g
Let g(f) = -5 - 7 + 12 - 12*f - f**2. Let l be g(-12). Which is smaller: -3/14 or l?
-3/14
Let g be (-6)/(4 + (-682)/172)*-2. Is g equal to 344?
True
Suppose -3*a + 5*m = -365, 2*a + 4*m - 40 - 174 = 0. Suppose 42*c + a = 47*c. Is c not equal to 23?
False
Let f be 3/(-2) - ((-28)/8)/7. Let z = -615 + 3061/5. Let q = 3 + z. Is q greater than or equal to f?
True
Let c(o) = 2*o**2 - 13*o + 29. Let j be c(7). Let k = j + -35. Let w be ((-4)/6)/(29 + 0). Which is smaller: k or w?
w
Let j(g) = -g**3 + g + 2. Let p be j(0). Suppose 0*i + i = 5. Let m be i/((-75)/(-27)) - p. Which is greater: m or -3?
m
Let k = 1/72 - -119/72. Let s be (56/22 + -2)/((-32)/436). Let c = s - -29/4. Which is smaller: c or k?
c
Let j = 40.3 - 40.64. Is j equal to -2.6?
False
Let x be 1 + 3*(2 - 3). Let c be -1*6/2 + x. Let l be 20/(-12)*(-1)/c. Is 0 greater than or equal to l?
True
Let l be (14/(-128))/(6/12). Which is smaller: 0 or l?
l
Let o = 25 - 25. Let d be o + ((-8)/12)/2. Let u be (-2)/(-1 - -3) + 1. Which is bigger: u or d?
u
Let q = -49 - -50. Let i be ((-160)/(-24))/(q/(-3)). Is -19 less than i?
False
Let c = 5 + -6.8. Let o = -0.8 - c. Are 7 and o nonequal?
True
Let s = -12 + 14.6. Let f = s - 3.26. Let t = f - -0.26. Is 1 at most as big as t?
False
Let r be (4/(-5))/(1/(-235)). Is r != 189?
True
Suppose -3*b - b = 2*j - 36, 5*j - 3*b - 25 = 0. Let m = 986/21 - 282/7. Is m not equal to j?
True
Let a(b) = -2*b + 3 - b**3 - 3*b**2 + 2 - 3 + 2*b**3. Let f be a(4). Is 8 at most as big as f?
True
Let s be ((-8)/(-70))/((-14)/35). Let j = 15 - 11. Is s bigger than j?
False
Let r be 1/3 - 10/(-6). Let k be ((-10)/(-6))/((-1820)/(-1008)). Which is smaller: k or r?
k
Let n be (-6)/10 + -2*10/50. Which is bigger: n or -17/106?
-17/106
Let y(v) = v**2 + 17*v + 49. Let j be y(-8). Is -4 less than j?
False
Let y = 1327 + -1331. Suppose -k - 10 + 4 = 0. Let s be (-2 + 24/9)*k. Is s < y?
False
Let u = -3208077/343 - -9353. Which is greater: u or -1?
u
Let v = -0.266 + 0.28. Let x = 2.314 - v. Let a = x - 2.34. Is a bigger than -3?
True
Let m = -399 + 200. Is m bigger than -199?
False
Let o = -1043/12259 + -1/533. Suppose 3*b - 11 = -q - 14, 4*q = 4*b - 12. Is o at least b?
False
Suppose 36*c = -3*s + 38*c + 85, 121 = 4*s + 5*c. Is 36 less than s?
False
Let d = -226 + 227.98. Let t = d - -0.02. Is -5 smaller than t?
True
Suppose 0 = x - 3*x - 64. Let m be (2/(-8))/(18/x). Is 1 != m?
True
Suppose -46 = -13*a - 33*a. Which is smaller: a or -2/813?
-2/813
Let n = -35 - -17. Let r = -92691/5 - -18519. Is n > r?
True
Suppose 122*a - 51500 - 42806 = 0. Which is greater: a or -0.1?
a
Let o be ((2/(-1))/(-4))/((-10)/20). Is o < 18/49?
True
Let z = 341 + -342. Let c be (-106)/68 - 9/(-6). Is c greater than or equal to z?
True
Let f be (23*1)/((-2)/(-110)*11). Is f at most as big as 117?
True
Let q(o) = -o**3 + 25*o**2 - 26*o + 17. Let r be q(24). Let b = r - -40. Which is smaller: b or 10?
b
Let h(j) = -87*j + 223. Let r be h(4). Which is smaller: r or 3?
r
Let i(u) = -2*u**2 + 8*u - 15. Let n(k) = 3*k**2 - 7*k + 16. Let d(f) = -4*i(f) - 3*n(f). Let s be d(-10). Let y be 21 - (2 + (-6)/3). Which is bigger: y or s?
s
Let o = -566 - -566. Which is greater: o or -10?
o
Let i = -558 - -1129/2. Which is greater: 7 or i?
7
Let t be (-3 - 0) + (-3505)/(-1235). Let i = 2/13 - t. Which is greater: i or -1?
i
Let i = -308 - -350. Is i smaller than 40?
False
Let g be 1 + (4/(-16))/((-21)/(-192)). Is g smaller than -1?
True
Let g be (-10)/(-14) - (-18)/63. Is g less than 4/303?
False
Let o(v) = -v**3 - 11*v**2 + 14*v. Let t be o(-12). Let g be (t/(-7))/(22/77). Suppose 0 = 2*u + j - 5, 3*j - g = -j. Which is greater: 4 or u?
4
Let q be (-8)/(-60) - (16/180)/(-1). Is 2/11 bigger than q?
False
Let b(p) = p**2 + p - 1. Let g be b(2). Suppose -68 = 7*x + 44. Let d = x + 19. Which is smaller: g or d?
d
Let q be 3 - (6 - 3 - -3). Let y = 5 + -6. Let z be y - (1 - (-1 + -1)). Which is smaller: q or z?
z
Suppose -4*x - h = -3, -3*x - 4*h = -8 - 4. Let s be (-1 + x)*(13 - 14). Which is smaller: s or -3/47?
-3/47
Let t(p) = p**3 - 5*p**2 - 26*p + 16. Let z be t(8). Are 1/2761 and z equal?
False
Let r = 18 + -14. Let j = r - 4.3. Let c = 0.7 - j. Is -15 < c?
True
Let z = -25197/5762 - -189/43. Let k = z - 341/268. Suppose 2*q - q - 4*w = -16, -4 = -5*q - w. Which is smaller: k or q?
k
Suppose -68 = -11*w - 57. Is -6/55 greater than w?
False
Let r = -61.66 + 61. Let n = 0.06 + r. Which is smaller: n or 4?
n
Suppose -13*a + 9*a + 11 = g, 2*g + 5*a - 25 = 0. Is g greater than -1?
True
Let i be (-4)/22 + 16702643/(-7571025). Let b = i - -373/1449. Let w = -42/19 - b. Which is bigger: 0 or w?
0
Let f = -27 - -34. Suppose -f*z + 9*z - 4 = 0. Which is bigger: 8/9 or z?
z
Let l be (-3)/(15/6 - 4). Let f be l + (39/(-2))/(18/48). Is f less than or equal to -99/2?
True
Let s be (-594 - -9) + -4 + 1 + 0. Is