hich is smaller: b or f?
f
Let t = 865 + -1006. Is -140 at least t?
True
Let a be (1*(-1 - -1))/(-2). Suppose p = -p + 20. Let j be (-15)/(-18)*-1*(-3)/p. Is a equal to j?
False
Let d be (8/(-140))/(252/135). Is d equal to 0?
False
Let m(l) = -2*l**2 + l + 77. Let h be m(-13). Which is smaller: -276 or h?
-276
Let y = 4829/7 + -692. Which is greater: -1 or y?
-1
Suppose 4*k = 2*q - 18, -2*q + 5*k = -22 - 1. Which is smaller: 0.71 or q?
q
Let j = -965 + 994. Which is smaller: 227/8 or j?
227/8
Let x be (-7 + 3)*(-2)/((-16)/4). Which is bigger: x or -4?
x
Let b(a) = 5*a + 123. Let q be b(-25). Let z = 250/3 - 84. Which is greater: z or q?
z
Let d = 309461/12780 - -11/1420. Which is greater: d or 25?
25
Suppose 4*o + 48 = -2*i, -4*o - 3 = i + 21. Let j = i + 25. Is j > -1/24?
True
Suppose -p - 3*p + t - 39 = 0, p - 3*t = 4. Which is smaller: -1 or p?
p
Let o = -2196 + 2146. Which is bigger: o or -36?
-36
Let m = -0.1 - 0.3. Let r = 0.3 + m. Let k = r + -0.1. Is 4 smaller than k?
False
Suppose -4*j = -22 + 2. Let x = j + -2. Suppose u = x*u - 10. Is 14/3 at most as big as u?
True
Let n = 4.1 - 4.2. Is 1.3 at least n?
True
Suppose 4*i = g - 23 - 120, -2*g - 3*i = -308. Let k = g - 151. Which is greater: k or -3/59?
k
Let i(a) be the first derivative of a**2/2 - 4*a + 5. Suppose 2*n - 14 = 8. Let u be i(n). Is 7 greater than or equal to u?
True
Let f be (6/(-4))/(4/(-40)). Let b be (-2)/(-5) + 99/f. Suppose -23 - 54 = -11*q. Is q <= b?
True
Let g(c) = c**3 + c**2 - c - 1. Let q(s) = -7*s**3 - 5*s**2 + 8*s + 5. Let z(k) = 6*g(k) + q(k). Let h be z(1). Let j = 152 - 1671/11. Which is greater: j or h?
h
Let o(p) = -2*p**2 - 9*p + 7. Let t(a) = -2*a + 7. Let k be t(6). Let s be o(k). Suppose -5*j = -1 + 6. Is j less than s?
True
Suppose l - 7*l - 42 = 0. Suppose -2*v = 2*i - 20, -3*i + 9 + 17 = -v. Let m = i + l. Is 2 not equal to m?
False
Let t = -136 + 135.4. Are t and 1.1 non-equal?
True
Let p(d) be the second derivative of 5*d**3/6 - 4*d**2 - 13*d. Let x be p(0). Suppose -4*h + 4*j = -3*h - 12, 0 = 3*h - 2*j + 14. Are x and h unequal?
False
Let f be 4/30 + (-3577)/840. Which is bigger: 2/7 or f?
2/7
Suppose 3*x - 3*n + 39 = 0, -x + 2*n - 25 = -7. Let d be 4/22 - (x - 1813/(-231)). Is d smaller than 7?
True
Suppose 4*u = 3*u + 4. Suppose -3*o + u*w + 29 = 0, 0*o - 3*w - 19 = -2*o. Which is greater: 10 or o?
o
Let k be 7/((-126)/72)*(-3)/(-4). Let g be 4/(-3)*3/(-2). Which is smaller: g or k?
k
Let s(n) = -n**2 + 4*n + 17. Let i be s(11). Let t be (-195)/i + 1/(-4). Does t = 3?
True
Let b = -2 - -2. Let l = 11/29 - -267/290. Let q = l + -127/90. Which is smaller: b or q?
q
Let t = -11.46 + 11.96. Which is smaller: t or 1/19?
1/19
Suppose 4*p = -f + 12, -5*f - 20 = -0*f. Let z be 1*(-2)/(-4)*8. Suppose -2*q - 5*y = 3*q - 15, 0 = q + z*y + 3. Are p and q non-equal?
True
Let s = 7/15 + -101/345. Let v(i) = i + 7. Let u be v(-7). Does s = u?
False
Let d = 37/78 - 4/13. Suppose 0 = -4*z - 6*a + 6 + 6, 3*a = 2*z + 6. Is d at most as big as z?
False
Suppose -11*x = 4 - 37. Suppose -20*z - x = -23*z. Let c = 3/89 + -7/2848. Is c greater than z?
False
Let k(z) = -z**3 - 7*z**2 - 6*z + 3. Let l be k(-6). Suppose -i - 12 = 3*i. Let r be i - (-4 + l) - -2. Is -2/23 equal to r?
False
Suppose -4*o + 3 = 3*u, -3*o + 3 = -8*u + 11*u. Let s = -3 - -12. Suppose -3 = -4*v + s. Which is smaller: u or v?
u
Let h = 4/639 - 430/639. Let f = 0 - -2. Is f not equal to h?
True
Let u be (-78)/4*((-155)/45 + 3). Let k(p) = -p**3 + p - 8. Let c be k(0). Let n = c + u. Which is bigger: 1 or n?
1
Suppose -10 = -3*k - 5*w, -3*k - w + 2 = -0*w. Suppose 1615 = -5*a - 5*x, 0*x - 2*x = 3*a + 974. Let l be (-2)/(-8) - (-66)/a. Is l at most k?
False
Let g = -2/5519293 - -208590640357/22077172. Let u = 9377 - g. Let a = u - -73. Is 2 >= a?
True
Let f = 191.1 - 191. Which is smaller: 56/3 or f?
f
Let f be (28/(-1190))/((-4)/(-58)). Let b = -1/17 + f. Is -0.09 smaller than b?
False
Let s be (-6)/(-3) + -1 + 5. Let h be (-24)/(-36) - (-8)/s. Is h bigger than -1/26?
True
Let w = -40 + 31. Let d(m) = -2*m - 20. Let y be d(w). Which is bigger: -5 or y?
y
Let q(f) = 8*f + 9*f + 18 - 19*f. Let o be q(9). Are o and 16 non-equal?
True
Let x = -372 + 371. Are x and 333 equal?
False
Let m be -4 - -1 - (2 + -5). Which is greater: m or -2/35?
m
Suppose 0 = 45*l - 44*l - 29. Suppose -11*n + 18 = l. Is -10/9 at least n?
False
Let w be (-200)/(-432)*(-8)/10*1. Let s = -376/1161 - w. Which is bigger: s or -1?
s
Let b = 1.4 + 0.6. Let k = -14/159 + 2815/1272. Let a = -19/8 + k. Which is smaller: b or a?
a
Let f = 3 - 2. Let v(c) = -2*c**2 + 1. Let u be v(f). Let b be ((-2)/(-14))/((-4)/14). Which is smaller: u or b?
u
Let a = -1959 - -1849. Which is smaller: -1 or a?
a
Let w(n) = -4*n - 12. Let p be w(-4). Suppose -p*m = v + 4, -5*v - 1 = m - 2*v. Is 12 <= m?
False
Let w(x) = -x**3 - 6*x**2 + 28*x + 9. Let u be w(-9). Is u >= 1/629?
False
Let m be (-25640)/6*24/75. Let y = m - -1367. Which is greater: 1 or y?
1
Let n be (-1 - 0)/((-2)/(-8)). Let c = 53147/4 + -13290. Is n > c?
False
Let h(s) = -s. Let a(b) = -6*b + 5. Let k(d) = -a(d) + 3*h(d). Let g be k(4). Let m(u) = -u + 2. Let y be m(g). Which is greater: y or -6?
y
Let i(r) = r + 2. Let n be i(-4). Let g = -3.4 + -1.1. Let p = 0.5 - g. Is n >= p?
False
Let a(l) = 208*l - 368. Let f be a(-4). Which is smaller: -1199 or f?
f
Let q = 0.30795 + -28.33395. Let d = -0.026 - q. Is d at most as big as -0.1?
False
Let x = -12 - -11. Let m = x - -3/2. Is m < 1?
True
Let k be (-31 + 28)/((-4)/(16/(-12))). Which is smaller: k or -11/224?
k
Let m(g) = -g**3 - 5*g**2 + 7*g + 14. Let b be m(-6). Suppose -b*r = -5*r - 6. Which is bigger: 1/2 or r?
r
Let g = 32 + -31. Let f = -0.89 + 8.89. Which is smaller: g or f?
g
Let r = -4.06 + 4. Let q = 2.94 - r. Let m = 92.9 - 93. Is m at least q?
False
Let b = -59.18 - 1.82. Which is bigger: -1 or b?
-1
Let z = 11 - 7. Let c = 1.76 + 2.17. Let j = z - c. Which is smaller: j or -1?
-1
Suppose -k + 2*k + 2 = 0. Let y(i) = -54*i - 5. Let u be y(k). Let a = u - 417/4. Is 0 > a?
True
Suppose -3*r = -24 + 9. Let k be r/(2 + -1) - -3. Suppose 0 = 4*g - k*g. Is 0 at least g?
True
Let k = -42 - -41.8. Is 49 at most k?
False
Suppose -10 - 10 = -5*v. Suppose -5*a + 6 + 3 = v*i, 2*a - 6 = -4*i. Let w be (0 - -1)/(-4 - -9). Is w equal to a?
False
Let z = -2590 - -13054/5. Is z at least 22?
False
Let w be (-6)/(-12) + 1/2. Let z be 38/21 - 2/(-6). Is z at least w?
True
Let x be 0 - (-6)/10 - (-9849)/735. Which is smaller: 83/6 or x?
83/6
Let d = -3.7 - -4.7. Is d bigger than -38?
True
Let x = 1193 - 1198. Let c = -6.93 + -0.07. Is x <= c?
False
Let u = -142 + 125. Is u less than -16?
True
Let v(l) = -l**2 + 11*l - 23. Let m be v(7). Let h = 1/88 + 21/88. Which is greater: h or m?
m
Let z = 809 + -764. Is 39 less than z?
True
Let o be 12 + -14 + (-3)/((-147)/104). Is o less than or equal to 0?
False
Let k = -13 - -12.938. Let q = 0.038 - k. Is q greater than 3/7?
False
Let w = -883 - -886. Is 14/3 smaller than w?
False
Suppose -5*a = 3*s - 36, -51 = -4*a + s + 4*s. Let g = 5 - a. Let r(o) = o**3 + 26*o**2 + 3*o + 76. Let x be r(-26). Which is smaller: g or x?
g
Let f = 926/3 - 5864/19. Let w be (-2)/(-7) - (-2)/(-7). Is f less than or equal to w?
False
Let x(i) = -i - 3. Let q be x(0). Let w(h) = h**3 - 9*h**2 + 11*h + 2. Let a be w(7). Let v = a - -16. Is q at least as big as v?
True
Let h be (-3 + 11)/(3/30*4). Let c be (-336)/(-340) + (-8)/h. Which is smaller: 2 or c?
c
Let o = -42/13 + 359/91. Let u(m) = -23*m - 114. Let h be u(-5). Which is greater: o or h?
h
Let s = -179 + 149. Let w(y) = -y**3 - 29*y**2 + 29*y - 22. Let q be w(s). Which is smaller: 1/4 or q?
1/4
Suppose 155*x + 104 = 159*x. Is 21 < x?
True
Let w be (-8 + 987)*(-1)/(-5). Let h = 195 - w. Is -2 > h?
False
Let i = 0.28 - -11.72. Let r = -146 + 157.9. Let h = i - r. Which is smaller: 4 or h?
h
Suppose -23*l = l - 4560. Is 2 not equal to l?
True
Let w = 12/103 - 1735/14008. Which is bigger: w or 1?
1
Let a = -2061/8 - -258. Let d(l) = -l**2 + 4*l + 6. Let j be d(5). Is a greater than or equal to j?
False
Let a = 6 - 13. Let q = 12 + a. Suppose 0 = -5*s - q + 15. Which is smaller: 3/2 or s?
3/2
Let a be 594/63*(-49)/(-4). Is a bigger than 117?
False
Let a = 373.7148 - 