095. Let l = -316 - n. Is l at most as big as 7/37?
True
Let b = -345 + 702. Let h = -4/234883 + -234875/469766. Which is smaller: b or h?
h
Let l be (14433/(-170))/(1/18 - 8/36). Which is smaller: l or 510?
l
Let s = 1844 - 1845. Which is smaller: s or 6/10367?
s
Let w be ((-51)/(35343/(-726)))/(291/(-336) - -1). Which is bigger: 7 or w?
w
Let q(y) = 13*y**2 + 21*y - 5. Let f(v) = -13*v**2 - 19*v + 4. Let c(a) = 6*f(a) + 5*q(a). Let l be c(-2). Which is bigger: l or -32?
-32
Let s = -1517 + 3416. Are s and -1/3 non-equal?
True
Let n = 327 + -27. Suppose 4*b - 8*b = n. Which is smaller: b or -74?
b
Let g = 5 + -5. Let j(h) = -h**3 - 11*h**2 - 19*h - 7. Let o be j(-9). Suppose g = y + v - 6*v + 15, -3*y = o*v + 11. Is -6 > y?
False
Suppose -4*h + 25 = -3*j, -682*j + 680*j - 17 = -3*h. Is 3/479 <= h?
True
Let m be 34/(-4)*(-7 + -1) + 0. Let g(l) = 30*l + 7*l**2 - 35*l - 2*l**3 + 3 + 3*l**3. Let y be g(-6). Which is smaller: y or m?
m
Let q(h) = -2*h**3 + 4*h**2 + 48*h - 123. Let j be q(3). Which is smaller: j or 9?
j
Let r(u) = 265*u**2 + 55383*u - 417. Let y be r(-209). Let k = 5877 + -217424/37. Which is bigger: y or k?
y
Let t(a) = -25*a**3 + a**2. Let d be t(1). Let j = -18 - d. Let p be ((-26)/j)/(1/(9/(-3))). Is 13 less than p?
False
Let u = 9523/7 - 164243174/120729. Is 0 not equal to u?
True
Let l = 9.2 - -1.3. Let p = 7.5 - l. Is -11 at most as big as p?
True
Suppose 3*m = 5*t - 38487, -t - 5*t = m - 46189. Which is greater: 7699 or t?
7699
Let z(n) = 1310*n + 9198. Let t be z(-7). Which is smaller: t or 34?
t
Suppose 2*p - 4*j = -28, 105*j - 104*j = -4*p - 2. Which is smaller: p or -49/39?
p
Let p(b) = -16*b**3 + 3*b**2 - 9*b + 12. Let k be p(2). Let r = 138 + k. Which is smaller: 21 or r?
r
Let o(j) = 6*j**2 + 4*j - 11. Let l be o(2). Let x = l + -27. Let m = 21 - 21.1. Which is smaller: x or m?
x
Let t = 30179899/25 + -1207003. Which is smaller: 192 or t?
192
Let z be (16/(-12))/((-4)/153). Let v = 85 + -32. Is z at least as big as v?
False
Let a = 0.00913 - 0.02913. Which is smaller: a or 2/123?
a
Let y(r) = -r - 3. Let f be y(3). Let q(m) = 5*m - 15. Let h be q(15). Suppose 2*a + h = -8*a. Is f smaller than a?
False
Suppose 16 = 14*s - 26. Suppose 5*f + 10 + 12 = -s*p, 4*p - 4*f - 24 = 0. Let j(z) = -z - 4. Let y be j(-4). Which is greater: y or p?
p
Suppose 37*u = -46*u + 71*u - 156. Which is bigger: u or -100/7?
u
Suppose -2410 = 5*k + 1715. Let l be ((24/15)/(-4))/((-3)/k). Is -112 != l?
True
Suppose -3*i - 107 = 5*h, 4*i - 2*h + 3*h + 154 = 0. Let x = i - -42. Suppose 0 = 2*y - x*q - 12, -2*y - 8*q - 4 = -7*q. Is 1/8 < y?
False
Let x(n) = -n**3 + 23*n**2 + 114*n - 162. Let z be x(27). Which is bigger: z or -1868?
z
Let m = 827 - 827. Is m equal to 2/509?
False
Suppose 13435 = 27*k - 19100. Is 1207 bigger than k?
True
Let m be (31/465)/(3*1/(-785)). Is -0.2 greater than or equal to m?
True
Let c be 2386/(-14) + (-204)/357. Are 2/19 and c equal?
False
Suppose 21*g - 18*g = 3. Let f be (-29)/((-2)/(-8)*1). Let a be (1 - f/(-30)) + 3. Which is bigger: g or a?
g
Let k = -28 + 789/28. Let a = k - 5/12. Let q = 2 + -3. Are a and q non-equal?
True
Let c = 1087 - 303. Let p be c/133 + -6 + (-80)/323. Which is smaller: p or 0.2?
p
Let s = 562.348 + -562. Let l = 0.348 - s. Is -2.4 smaller than l?
True
Suppose -2*z - 48 = -5*a + 5, -z - 22 = -2*a. Suppose -a*u + 8 = -8*u. Suppose u*m - 5*m - 27 = 0. Is m >= 8?
True
Let b = -11 - -21. Let o(p) = 4*p - 38. Let h be o(7). Let n be (-6)/(-10) + (-104)/h. Which is smaller: n or b?
b
Suppose -t = 9*k - 4*k + 3, -3*t - 21 = 3*k. Is 2/29037 < k?
True
Suppose 4*s = -5*d + 2*s + 4319, 2*d = 3*s + 1739. Suppose 8*f = -d - 55. Which is smaller: -114 or f?
f
Let l = 471210 + -5187066/11. Is l less than -340?
True
Let a(t) = t**3 - 7*t**2 + 6*t - 1. Let x be a(5). Suppose -1842 = 497*s + 4619. Is s greater than or equal to x?
True
Let m be -6*((-65)/15 - -4). Suppose 26 = 4*z - m*z. Let w = z + -33. Is w bigger than -20?
False
Let n(y) = -y**3 - 13*y**2 + 3*y + 2. Let z be 1 + -1 + -2 + -8 + -3. Let u be n(z). Let m = u + 37. Is -1 > m?
False
Let k = 250351/20 + -82279/5. Is k >= -3938?
False
Let p = 14618 + -73088/5. Let n = 69.216 + -36.15. Let z = -0.066 + n. Is p < z?
True
Let c = -541.0172 + 541. Let v = c - -0.1472. Let i = -0.6 - -4.6. Which is greater: i or v?
i
Let v be (-45747)/(-804)*4*(-4)/13296. Let z = -20/277 - v. Which is smaller: 1 or z?
z
Let f = -0.9 + -0.1. Suppose 85 = 3*i + 2*b, -15*i + 14*i + 2*b + 31 = 0. Let d be (-6 - -12) + i + 1. Which is greater: d or f?
d
Suppose 0 = -2*h - 8, 5*g - 4*h + 223 = -h. Let c be 5/((-15)/9) - -27. Let d = c + g. Is -24 > d?
False
Suppose 5*j - 20 + 0 = -4*l, 6*j + 2*l - 24 = 0. Let d(p) = p**3 - 6*p**2 + 5*p + 5. Let f(m) = -m**2 + 5*m + 1. Let z be f(4). Let y be d(z). Does y = j?
False
Let o = 38.3 - 60.7. Let m = 23.9 + o. Is m smaller than 0?
False
Let k(d) = -97*d**3 + 2*d**2 + 98*d**3 - 1 + 7 + 6*d. Let v be k(-1). Let u = 891 - 18706/21. Which is smaller: u or v?
u
Let a(t) = -t**3 + 23*t**2 - 62*t. Let d be a(20). Let f = -696 + 695.7. Which is greater: d or f?
f
Let c be (0*13/26)/(-2). Which is smaller: -244 or c?
-244
Let q be (((-4)/5)/(1534330/575))/(24/(-14)). Does 0 = q?
False
Let k be ((-110)/(-22))/(2/1188). Is k greater than or equal to 2971?
False
Let v(d) = -2*d. Let y be v(0). Let z = y - -95. Let o = -98 + z. Which is smaller: o or -1/2?
o
Suppose -198*a + 2906452 = 345718. Which is smaller: 0.1 or a?
0.1
Let r = -2864611 + 2154190401/752. Let n = -63/16 + r. Is n equal to 1?
False
Suppose 47*n - 3 = 44*n. Let a(s) = -126*s**3 + s**2 + 2*s - 3. Let i be a(n). Is i less than -128?
False
Let o be (21930/(-1275))/(18/10). Which is smaller: -11 or o?
-11
Let u be 4 - (-4434)/78 - 4/(-26). Let w = 178/3 - u. Let f = -1/35 - -179/140. Is f at least as big as w?
True
Suppose -4*f - 52 = -5*d + 38, -2*d - 4*f = -64. Suppose -5*a = -5*y - 23 - d, 32 = -3*y + 4*a. Which is bigger: 0 or y?
0
Let u be (18/(-72) + 42/8 + 82)*-33. Is -2873 at least u?
False
Let k = 809 + -7267/9. Let g(x) = x**3 - 6*x**2 + 28. Suppose 0 = -3*v - 2*s + 9, 3*v = v + 3*s + 19. Let p be g(v). Which is smaller: p or k?
k
Let n(d) = d**2 - 11*d + 5. Let y be (-1)/((-3)/(-3))*-4. Suppose -2*m = -y*o + 48, 52 = 4*o - 0*o - 4*m. Let g be n(o). Which is bigger: g or 3?
g
Let k be 1/(2/8) - (34 - 30). Suppose 2*v + 41 = -2*d - 65, -4*d + 8 = k. Which is smaller: v or -167/3?
-167/3
Suppose -i - 3 = -42. Let b = 2/1999 - -321831/7996. Which is smaller: b or i?
i
Let u be (10/45 + 156/27)*1. Let d be 2*(-6)/9*u/116. Let m = d - 71/232. Is m > 1?
False
Let m be 50/35*49/(-21). Is 2 equal to m?
False
Let b = 31 - 23. Suppose b*l + 6 = 30. Suppose -v = 4*d + 7, 5*v + 2*d + 20 = -l*d. Which is bigger: -4 or v?
v
Let y = 3684 + -3590. Does y = 94?
True
Let o be (1 - 135/25)/((-602)/(-70) - 9). Which is smaller: o or 616/53?
o
Let y be (-368)/(-84) + -4 + (-30)/(-105). Let j = -7.421 - -7.3. Let g = 51.121 + j. Which is smaller: y or g?
y
Suppose 79 = 675*b - 596*b. Which is greater: -2/195 or b?
b
Let w(b) = 6*b**2. Let y be w(1). Let u(l) = l**3 - 4*l**2 - 15*l. Let m be u(y). Let c = -0.07 - -0.07. Are m and c equal?
False
Let d = 107 - 109. Let l = 0.89 - -35.11. Is d <= l?
True
Let z(v) = v**3 - 55*v**2 + 55*v - 38. Let f be z(54). Let o(g) = -g**2 + 17*g - 22. Let h be o(f). Is 8 less than h?
False
Let l = -32 + 43. Suppose 2*z + 2*z = 0. Suppose z = g - 0*g - 10. Is g at least l?
False
Let f be -4*(0 - 2/4). Suppose 3*p + 2 + 4 = j, -f = -p - j. Is -2/89 greater than or equal to p?
True
Suppose 5*u + 75*d - 72*d - 1803 = 0, 3*u = 5*d + 1109. Is u smaller than 367?
True
Let n = 30 - 3. Let l = 24 - n. Let t = l + 5. Which is smaller: 3/8 or t?
3/8
Suppose 2*m - 30 + 10 = 0. Suppose 89*v - 84*v + m = 0. Are -42/13 and v non-equal?
True
Let b be (-4)/(-11)*10/((-380)/19). Which is greater: b or -55.6?
b
Let q = 16203 - 5098. Suppose 0 = 27*u + 910 + q. Is u less than or equal to -444?
True
Let s = 18931.09 + -19410. Let a = s - -479. Which is greater: 7 or a?
7
Let o(z) = 2 - 5 - 11*z**2 - 22*z - 23 - 4 + z**3. Let d = -8 + 21. Let i be o(d). Is 23 less than or equal to i?
False
Let v(s) = s**2 + 20*s + 92. Let u be v(-7). Which is bigger: -0.01179 or u?
u
Let g(