s w greater than or equal to 1344?
False
Let b be 60/90*9/(-24). Which is bigger: b or 37?
37
Let j = -171.674 + 2.674. Is 0.13 equal to j?
False
Let c = 1770 - 813. Suppose 3*b - c = 2*o - o, -4*o + 942 = 3*b. Let g = -6995/22 + b. Which is smaller: g or 1?
g
Suppose 5*q - 4*n + 13 - 94 = 0, 3*n = -4*q + 40. Suppose 0 = 6*z + q*z - 722. Let s = 893/2 + -409. Which is smaller: s or z?
s
Suppose 0 = 5*c - 33 - 27. Let y be ((-18768)/170)/24 - (-4)/(-10). Which is bigger: c or y?
c
Let k = 499104767 - 65382268594/131. Let h = 3480 - k. Which is smaller: 0 or h?
h
Let j(b) = 34*b**2 + b - 25. Let c be j(-4). Which is greater: c or 0?
c
Let k = 31 - 31. Suppose r + 0*r + 125 = k. Is r < -125?
False
Let f be -14*1/(4 + -2). Let o be f - (-8512)/852 - 3. Let x(c) = c - 4. Let m be x(3). Is o smaller than m?
False
Let y = 376478/7 + -53888. Is -105 bigger than y?
True
Let j be 6 - 28*(-8)/(-16). Suppose 0*m - 33 = 3*m. Is j not equal to m?
True
Let n = 1 + -1.1. Let v = -4.16 - -3.96. Let x = v + n. Are x and -0.1 unequal?
True
Let r = 24 + -23. Let y(h) = -h + 3. Let o be y(r). Suppose -o*z = -6*z + 60. Is 15 != z?
False
Let w = 1103/4275 + -17/475. Which is smaller: w or 36/47?
w
Suppose 897*b + 11867 + 109057 = -53094. Let r = -363829/1890 + 2/945. Which is greater: r or b?
r
Suppose 0 = 2*q - 5*p + 25, 3*q + 0*q - 5*p + 25 = 0. Let z = 1/126 - 23/1134. Is q < z?
False
Let u be 3/(-45)*5/2. Let k(d) = -d**3 - 2*d + 20. Let f be k(0). Let j be f/110 + (-98)/(-66). Which is smaller: j or u?
u
Let z(c) = c**3 - 92*c**2 + 179*c + 92. Let w be z(90). Which is bigger: 97 or w?
97
Let l be 3/8*(-533984)/(-6888). Is l smaller than 29?
False
Let j = 1739 + -1739.61. Which is greater: -2/3 or j?
j
Let g = -5 - -4.97. Let m = 5.02 - 4.803. Let k = m + -0.217. Is g less than k?
True
Let m = 17 - 12. Suppose -5*c = g + 13 - 46, m*c = -2*g + 31. Let s be (0 + (-2)/(-8))/(c/(-14)). Is s greater than -0.2?
False
Let j be 2 + -2 - (-17)/16. Let q = j - 355/48. Is -5 bigger than q?
True
Let z be (5/((-150)/8))/(12/(-36)*2). Is z != -4114?
True
Suppose -4*n = 5*v - 364, -4*v - 5*n + 134 = -168. Is v less than 37?
False
Suppose 2*b + 12 = 0, -5*b - 36 = -58*l + 61*l. Which is smaller: -150/209 or l?
l
Let d = -45409/10795 - -14/2159. Let q(u) = -4*u + 1. Let f be q(1). Which is smaller: d or f?
d
Let u = -140 + 154. Let i = 13.9 - u. Which is greater: -0.073 or i?
-0.073
Let a = 13828.739 + -13828. Which is bigger: 11 or a?
11
Let m = 8748/5 + -1755. Let r = -126 - -142. Suppose -26*z - r = -22*z. Is m smaller than z?
True
Let j(c) = 3*c**2 - 30*c - 14. Let z be j(11). Suppose 13 = -h - 3*t, 0 = 38*h - 34*h + t + z. Is -92/17 > h?
False
Let t(i) = -20*i - 150. Let x be t(14). Let r = -411 - x. Is r at least 19?
True
Let k be (16/(-4728)*(-12)/(-18))/(-3 + 1). Which is smaller: k or -1?
-1
Suppose 0 = -3*u - s + 15 - 1, 3*s = -2*u + 7. Let r be 15*2/u + -6. Which is smaller: r or 19/20?
r
Let j = 312 + -336. Let y = j - -30. Is -2 at most y?
True
Let i be -895 - (-4)/(20/(-55)). Is i smaller than -5/4?
True
Let g(f) = f**3 - 8*f**2 + 2*f + 36. Let h be g(7). Let o be h + -6 - 12/(-6). Let y = -0.2 - -0.25. Do y and o have the same value?
False
Let h be ((-342)/6)/(-9 - (-2772)/306). Is -955 less than or equal to h?
False
Let c = -3438 + 3490. Which is greater: c or -1.4?
c
Let h = -23004 - -114583/5. Which is smaller: 0.2 or h?
h
Let k(p) = -246*p + 1837. Let g be k(7). Is 109 > g?
False
Let f = -105 - -41. Let k = f + 13. Let a = -51.1 - k. Which is bigger: -1 or a?
a
Let n = 7447 + -6959. Which is greater: 3422/7 or n?
3422/7
Suppose 12*r - 5*r - 98 = 0. Suppose 3*w - r = 5*w - 2*k, 0 = k. Let l(y) = 12*y - 30. Let s be l(w). Do -113 and s have different values?
True
Let b = 5697/14 + -407. Let p = 3.51 + -3.63. Which is smaller: p or b?
p
Let a(f) be the first derivative of -f**4/4 - 4*f**3 - 9*f**2/2 + 11*f + 191. Let h be a(-11). Let d = -9 - -3. Which is smaller: d or h?
h
Let m be 18/(-6) - (12 + (-2775)/(-15)). Which is smaller: m or -2984/15?
m
Suppose -u + 8 = 23. Let g = 16 + -20. Let s be (-24)/u*50/g. Which is greater: s or 1?
1
Let q = 2.27 + 129.73. Let v = 135 - q. Which is smaller: -10 or v?
-10
Let y(x) = 2901*x + 5816. Let g be y(-2). Which is greater: g or -154?
g
Let b = 775 + -773. Suppose 5*u = -5*z - 15 - 5, b*z = -6. Are u and 3/371 equal?
False
Suppose -14*p + 5 = -13*p, 2*p = 3*i + 10. Let g(a) = a**3 + 2*a**2 - a. Let z be g(i). Is -10/17 < z?
True
Let b = 2/311 + -680/9019. Let j = -19430 + 19430. Which is greater: j or b?
j
Let k = 2254 - 2292.27. Let u = k + -3.73. Is 1 equal to u?
False
Let p = -34354 + 33604. Which is smaller: p or -749?
p
Suppose 4*w + 0*h + 2*h - 22 = 0, 3*w - 27 = -5*h. Let o be (2 - -2) + ((-3)/(-6) - w). Suppose 87 = -15*t + 12*t. Which is greater: t or o?
o
Let g be ((-27)/297 - 1/(-11))*(-6)/(-12). Which is bigger: g or -3.05?
g
Let s be (8/(-10))/(174/(-45)). Let r = 2.59 + -0.59. Is r bigger than s?
True
Let l = 10.8 - 12.3. Let i = -0.23 - 0.97. Let g = l - i. Which is smaller: -1 or g?
-1
Let v be -98 - -106 - (-266)/(-33). Are 0.1 and v nonequal?
True
Suppose 15*l = -440 - 100. Let d be (-333)/30*(-30)/l. Which is smaller: d or 1?
d
Let y be 2/18 + 15428/(-8820). Let b = -36/35 + y. Is -3 <= b?
True
Let k = 946 - 16997/18. Let c = -884029/179595 + 1/7982. Let d = c + k. Does -2 = d?
False
Let f(a) = 8*a**3 + 9*a**2 + 9*a - 16. Let w be f(-4). Let c be (2/(-3))/(5/(w/238)). Is c less than 0?
False
Let o = 63967/504606771 + -1/14139. Is o at most -1?
False
Let b = 108256 + -38106087/352. Does b = -1?
False
Let c = 1963.04 - 2001. Let i = -0.04 + c. Let q = i - -37. Which is smaller: 0.17 or q?
q
Let k(j) = 8*j**2 - 123*j + 4218. Let m be k(43). Which is smaller: m or 13722?
m
Let y = -8282 + 8283. Which is smaller: y or -0.0814?
-0.0814
Let m = 21 - 41. Let a = -72 - m. Let l = a + 52. Are -8/3 and l non-equal?
True
Let m(z) = -z**3 + 9*z**2 - 8*z - 6. Let g be m(8). Let c be 5/g - (108/(-24))/3. Is c at least -99?
True
Let c be (-245008)/(-489984)*-8 - -4. Are 1 and c equal?
False
Let d(b) = 3*b**2 + b - 1. Suppose 11*l - 4 = 13*l. Let a be d(l). Suppose -a*i - 16 = -i. Do i and 9 have the same value?
False
Let s = -3659 + 2420. Is -1240 greater than s?
False
Let a = 8.8 - 1.8. Let f be ((-40)/(-24))/(17570/882 - 20). Which is smaller: a or f?
f
Suppose 2*q + 2801 - 4213 = 0. Which is greater: 705 or q?
q
Let d(r) = 15*r - 28. Suppose 12*h = 9*h + 30. Let j be d(h). Is 124 > j?
True
Let w = -656 + -1267. Which is greater: w or -1928?
w
Suppose 3*z + 14*z - 816 = 0. Let a = z + -257. Which is bigger: -208 or a?
-208
Let z be (2004/24)/(10/(-80)). Is -674 > z?
False
Let j = 992 + -560. Let r = 5619/13 - j. Is 2 at most r?
False
Let m(w) = -w**3 - 6*w**2 - w**2 + 5 - 2*w**2 + 3. Let d be m(-9). Suppose 7*k + 52 = -6*k. Which is smaller: k or d?
k
Let h = -16785 - -16784. Is h equal to 3/269?
False
Suppose -186*w + 190*w - 2797 = 3*k, w = -5. Let j = -85338/1087 - -107282833/105439. Let u = j + k. Which is bigger: u or -0.1?
u
Let b(s) = 105*s**2 + 39 + 0*s + 113 - 104*s**2 - 42*s. Let a be b(4). Is -11/47 at least as big as a?
False
Let y(w) = -w**2 + 2*w - 1. Let m be y(6). Let k = m + 23. Let t be -4*k/4*(-17)/(-2). Which is smaller: t or -1?
-1
Let r be 7*((-16)/4 + 3). Let n be (2/10)/(((-1365)/(-25))/r). Let x = n + -4/13. Is -2 greater than x?
False
Let z = 20923 + -20645. Is z greater than or equal to 267?
True
Let c = 671 - 1133. Let x = 221 + c. Does 0 = x?
False
Let w = -6483 - -6391. Which is bigger: w or -28?
-28
Suppose 0 = 6*z - 5*z. Let y be (-51 - z)*(-17)/51. Let n(v) = -v**3 + 18*v**2 - 17*v - 10. Let p be n(y). Which is smaller: -11 or p?
-11
Let v = 11043 + -9167. Which is greater: 1875 or v?
v
Suppose 8*z - 6*z = 28. Suppose -i + z = -3*d, -i - 4 = -d - 5*i. Let q be d*(-12)/16 - 3. Which is smaller: 2/21 or q?
q
Suppose 22*v = 15*v - 91. Let s(n) = n**3 + 14*n**2 + 17*n - 3. Let q be s(v). Let l be (-53)/q + (0 - (-3 + 4)). Which is smaller: 0 or l?
l
Let j = 34.27 - 1.47. Let d = j - 32.8. Which is greater: d or 176?
176
Let h = -46.38 + 55.7. Let p = -9 + h. Which is smaller: -1/3 or p?
-1/3
Suppose -j = j + 14. Let r = 17890 - 17901. Which is greater: j or r?
j
Let k = 30792.9569 +