g be s(-5). Let i = -95 - -135. Is g != i?
True
Let m = 50571 - 9962465/197. Are 1 and m unequal?
True
Let i = -15778/17 - -930. Suppose x + 31 = 8*d, 1449 = 2*x + d + 1443. Which is bigger: i or x?
i
Let p = -45 + 44.933. Let g = p + 36.067. Let n = 44 - g. Which is smaller: n or -2?
-2
Let g(k) = 80*k. Let j(v) = v**2 + v - 31. Let w be j(5). Let l be g(w). Let t be (-6)/(-94)*(l/(-12) + -6). Which is smaller: t or 1?
t
Let i = 14433855/8498 + -3397/2. Which is greater: 0 or i?
i
Let v = -2 - -1. Let s be -96*2*15/(-100). Let c = -148/5 + s. Which is bigger: c or v?
c
Let h = 368.9264 - 369. Let i = 0.1336 + h. Is i >= 4?
False
Let o be (-2143)/3*((-115)/10 + 10) + 2. Which is greater: o or 1075?
1075
Suppose 0 = -w + 4*l + 28, 3*l - 1556 = -1538. Does w = -15?
False
Let a be ((-4)/306*-3)/(2/36110). Let g = 708 - a. Is 0 at least as big as g?
True
Let h be (-45)/(-20)*3/(-18). Let t = -0.47604 - 0.12396. Which is smaller: t or h?
t
Suppose 84 = 8*m - 15*m. Let p be m/(-10)*125/10. Let v = -9 + 20. Which is bigger: v or p?
p
Let t = 5337 + -4302. Which is bigger: t or 1036?
1036
Let w = 2120/7 - 8445/28. Let m = 2 - 5. Let c be (m - 21/(-9))*-3. Which is greater: c or w?
c
Let u = 21905.3 - 21920. Which is greater: -51 or u?
u
Let f = -26 - -41. Suppose -123*x = -130*x + 273. Let s be -7 + (0 - -4) - x/f. Is -6 less than s?
True
Let s be (2 - 300/132) + 969/2101. Which is bigger: -1 or s?
s
Let l = 6089 + -7849. Which is greater: -1758 or l?
-1758
Let c = 603 + -257. Suppose 5*m + 341 - c = 0. Suppose -18 = 5*a - 2*a. Which is smaller: a or m?
a
Let y = -14.9 - -14. Let c = y - -0.6. Let u be ((-36)/(-135))/((-8)/(-20)). Is c bigger than u?
False
Suppose -39*g = -123*g - 6300. Is -92 < g?
True
Let o = 10405/231 - 398/21. Is o less than 26?
False
Let r = -4.54 - -4.48. Which is smaller: r or -4/717?
r
Let k be (6/(-225))/(26/156). Suppose 4 = 4*l + 4*s, -s = 6*l - l + 3. Is l smaller than k?
True
Let f(h) = h**2 - 3*h - 20. Let j be f(14). Let p = -80 + j. Suppose 9*g + p = 11*g. Is 0.1 bigger than g?
False
Let z be 48/(-4 - 2) + (4 - 112). Are -8 and z nonequal?
True
Let g = 36241.444 + -36241. Which is smaller: -1.1 or g?
-1.1
Let i = -28433 + 11896. Let u = i + 17975717/1087. Is -1 smaller than u?
True
Let t(a) = a**2 + 18*a + 2. Let u be t(-18). Suppose 0 = -3*y - 4*h - 14, -4*y - u*h = -5*h - 23. Suppose -15 = -y*c + 5*c. Which is greater: 3/13 or c?
3/13
Let u = 3 + 6. Let o(z) = 4*z**2 + 5*z - u + z**3 - 4*z**2 - 6*z**2. Let n be o(6). Do n and 21 have the same value?
True
Let c = -12 + 12.22. Let r = 34.8824 - 35.89. Let p = r + 0.0076. Is p greater than or equal to c?
False
Suppose -8*u = 586 + 926. Let z = u - -3217/17. Which is smaller: z or 1?
z
Let j be 0 + -1 + 50/(-4). Let c be (-7)/(189/(-405))*(-4 + 3). Is j at most c?
False
Let r(w) = 3*w**2 + 7*w - 2. Let a be r(-9). Let x be (a/(-3))/((-14)/(-21)). Which is bigger: x or -91?
x
Let k(b) = -5*b - 65. Let h be k(-12). Let f = -5 - h. Which is bigger: -1/4 or f?
f
Let q be (-8)/((-96)/(-18)) + (4543/2 - -6). Which is smaller: q or 2277?
q
Let p = 24/221 + 2/221. Let w(l) = -9*l + 36. Let m(k) = 2. Let u(h) = 5*m(h) - w(h). Let z be u(3). Is z greater than or equal to p?
True
Let i = -0.008 + -27.992. Let b = -38 - i. Let n = -17 - b. Is 1 greater than n?
True
Let x(s) = -6*s**3 - 5*s**2 + s - 4. Let j(k) = 7*k**3 + 6*k**2 - 2*k + 3. Let d(p) = -4*j(p) - 5*x(p). Let w be d(-2). Which is smaller: w or 1/10?
w
Let t = 23810.936 + -23811. Let p(l) = l - 5. Let h be p(0). Is h < t?
True
Let f be (6/32)/(189/13146) - 2. Which is smaller: f or 12?
f
Let i = -212 - -249. Suppose 11*w - i = 62. Is 74/9 >= w?
False
Suppose -o = 5*v + 22, -2*o = -4*v - 16 + 4. Let a be o/(3*(-5)/(-15)). Let l be a/(368/158) + 3/12. Is l >= 0?
False
Let j be 3 + 2 - ((-98046)/21 - -1). Let t = j - 4682. Which is bigger: -10 or t?
t
Let q = 310164387/1487 + -208584. Is 1 <= q?
False
Suppose 0 = -3*l + 3*d - 6, 2*l - d + 4 + 0 = 0. Let p be ((-1)/(-11 - l))/(16/48). Which is smaller: -45 or p?
-45
Let o = -6419 + 6429. Which is smaller: o or 63?
o
Suppose -3*m = -w + 12, -m = 5*w - 49 - 27. Let q be (16 - w)/((-1)/(-6)). Let u be (2 - q) + 871/221. Is 1 > u?
True
Let j be (-58770)/(-5877) - (-4)/6*-3. Let c = 48039/5110 + -1/1022. Is j at least c?
False
Let h = -232.91 + 233. Let m = 0.22 - h. Which is bigger: -0.08 or m?
m
Let n = -633 + 633. Let z be 7/(-206)*26956 + 2. Let x = 914 + z. Which is greater: n or x?
x
Let h(i) = -i**3 + 9*i - 9. Let f be (2 - 1)/((75/10)/15). Let j be h(f). Which is smaller: 11/12 or j?
11/12
Suppose -4*n - 322 = 5*i, -1152*n = -i - 1157*n - 56. Let v be (-38)/(-10)*(-350)/20. Which is smaller: i or v?
v
Let i = 41 + -49. Let b be i/(-5) - (-52)/130. Let r be (-1)/b - (-378)/732. Which is smaller: r or -1?
-1
Let b be (-2)/((-16)/5716*(-35)/28). Let v = b + 572. Which is greater: -0.176 or v?
v
Let v be -16 - (8 + -8 - 15). Let y be 1*6/200 + 0. Which is smaller: y or v?
v
Let v = -0.2 - -4.7. Let h = -7.11 + 2.61. Let x = v + h. Is x less than -57?
False
Suppose -11*f = -10*f + 47. Let i(n) = -n**2 + 50*n + 337. Let j be i(-6). Is j < f?
False
Let n = -0.8 - 0. Let p = n + 1.2. Let l be 4 + (-2 - 18/7). Is p smaller than l?
False
Let l = -113736.958 + 113532. Let w = l + 205. Which is smaller: w or -2?
-2
Suppose 86*u + 54 = -462. Let x be (-1 - -2)*-3*1. Does x = u?
False
Let j = -26 - -25. Let b(g) = 4*g - 1. Let f be b(2). Let n be (-360)/182 + 14/f. Is n at most as big as j?
False
Let k = 132 - 133. Let c be (k + 4)*(-3 + 4) - 48. Which is smaller: 2/7 or c?
c
Let g be (-6)/(-34)*(-5 + 7). Let z(r) = -r**2 + 21*r - 36. Let y be z(19). Let c be -1 + (6 + -2 - y). Is g at most c?
True
Let a(q) = -q**3 + 7*q**2 - 11*q + 16. Let r be a(6). Let b be (1 + r/6)*-3. Suppose -119 = -5*z + h, -12 = b*h + 4. Which is bigger: z or 1?
z
Let u(q) = -293*q - 266. Let h be u(-16). Which is bigger: h or 13264/3?
h
Let q be ((-2)/(-16))/((-177)/(-1416)). Which is greater: -1/187 or q?
q
Let o be -68 + (-2)/(-5) + 918/(-170). Suppose 0 = r + r + 146. Is o bigger than r?
False
Suppose 0*t - 4*b - 20 = -4*t, 0 = -5*t - 5*b - 15. Let n be 224/49 - (t - -1) - 1. Which is bigger: 3 or n?
3
Suppose 5*t - 11 + 6 = 0. Suppose 2*j + 2*w - 7 = t, -8 = -2*j + 2*w. Suppose 2*i + 3 = -3, 0 = j*x + 4*i + 24. Which is greater: x or 2?
2
Let j = 41899 + -41900. Let r be 0/(-3) - (-10)/474. Let f = r - -431/13272. Are f and j equal?
False
Let w be 114/741 + 12632/26. Is w equal to 487?
False
Let z(o) = -2 + o - 5*o - 11 + 3*o. Suppose 55 = -3*h + 10. Let y be z(h). Which is smaller: y or -2/7?
-2/7
Suppose -47635*c = -47651*c - 64. Which is bigger: c or -1056?
c
Let a(l) = l**3 - 5*l**2 + 3*l + 4. Let w be a(4). Suppose 2*i - j = 6, 2*i + w*j - 10 = 3*j. Let u be (-1)/(-38)*(-8)/i. Is u > 1?
False
Let x be ((-84)/(-6) + 4)/(-6 + 541/(-5)). Which is smaller: 0 or x?
x
Let f = 5025 - 5102. Is f <= -74?
True
Suppose 8*q = -27 + 91. Suppose 5*h + q = 2*j - 2, 4*h - 2*j = -10. Which is smaller: 1/149 or h?
h
Let j = 835 + -5875/7. Let x(u) = -u**2 + u + 7. Let m be x(4). Which is smaller: j or m?
m
Let z be (-3)/3 + 31*2266/70257. Is z less than 0?
True
Let i = 1197/2 + -279. Let u be (0 + -3 + 4)/((-2)/618). Let c = i + u. Which is smaller: 11 or c?
c
Let a = 12 + -7. Suppose 5*i - 30 = -a*x, 0*i + i - 10 = -5*x. Are x and 1.1 unequal?
True
Let a = -373 - -337. Which is bigger: 2 or a?
2
Let z be ((-5)/2)/((-1)/(-8)). Suppose 0 = -3*f - n + 50, -26*n - 58 = -3*f - 25*n. Let l be (-116)/6 + 6/f. Is z >= l?
False
Let s = -7551 - -7549. Which is greater: -2.519 or s?
s
Let a = 211177/53 - 3984. Which is greater: -1 or a?
a
Let k be 2 + -1 + 0 - 3. Let d be (k/(-1773))/(84/126). Which is greater: d or 0?
d
Let t = -476 + 474.8. Let c = 26.5 - 26.44. Is c at most t?
False
Let o be 180/72 - 1013/10. Is o less than -99?
False
Let z(s) = 10*s**2 - 9*s + 3. Let o be z(6). Suppose 27*k = -o - 3282. Do k and -133 have the same value?
True
Let g be 6/(-24) - 13107/44. Let a = g - -298. Let t = -208 - -209. Which is smaller: a or t?
a
Let y(v) = v**2 - 6*v - 17. Let n = 6 + -3. Suppose 0 = n*f + 5 - 29. Let k be y(f). Is k at least 2/17?
False
Let h(q) = 3*q**2 + 8*q - 19. Let f(g) = 4*g**2 + 8*g - 20. Let k(y) = -4*f