9. Is k bigger than -2/95?
True
Let i be (0 - (-2)/4)*0/(-1). Which is smaller: i or -2/249?
-2/249
Suppose -2*m - 3*n = 9, -4*n = -4*m + 15 + 17. Let i = -243/4 + 61. Which is smaller: m or i?
i
Let o = -168 + 174. Is o greater than or equal to 5?
True
Suppose 0 = -4*y - 2*t, -2*y + 3*t = y - 18. Which is greater: 12/5 or y?
12/5
Let s be -2 - (-3)/(36/26). Let r(d) = d**2 + 8*d. Let y be r(-8). Is y smaller than s?
True
Let d = 10 - 6. Suppose 3*y + d = 1. Let s = 2/11 - 17/33. Are y and s nonequal?
True
Let f = 1.2 + -1. Let m = f - 1.2. Is m <= -1?
True
Let l(v) = 2*v**2 + 2*v + 1. Let p = -15 - -10. Let q be l(p). Let z = q - 286/7. Are 0 and z unequal?
True
Let k = -0.3 - -0.2. Let a = k - 0. Let l = 22.1 + -22. Is a less than l?
True
Let g = -2 - -1. Let q = 0.4 + g. Let j = -0.5 - q. Which is smaller: 4 or j?
j
Let n(u) = -7*u + 98. Let g be n(14). Which is smaller: g or 1/104?
g
Let o(s) = s - 8. Let v be o(10). Suppose -5*a - v = -27. Is a >= 5?
True
Let f be (-3)/((-6)/(-3) - 1). Is f smaller than -3?
False
Suppose -6*r - 35 = -r. Let o be (2 + -4)*(-9)/r. Let t = 97/35 + o. Which is bigger: t or -1?
t
Let l(m) = -m**2 - 6*m + 2. Let u(t) = -2*t**2 - 7*t + 2. Let x be 3 - (-3)/(-9)*3. Let f(n) = x*u(n) - 3*l(n). Let s be f(4). Which is greater: -1/3 or s?
-1/3
Let s = -4.7 - 1.3. Let m = -6.984 + -0.016. Let a = s - m. Is -0.5 greater than or equal to a?
False
Let u be 2/5 + (-168)/345. Let n = u + -78/161. Let x = -2 - -2. Are x and n unequal?
True
Let x = 14.73 - 15. Is x smaller than -1?
False
Let h = 27/2 - 12. Let u = -3.08 + 3. Let k = 0.12 - u. Which is smaller: k or h?
k
Let u be (28/(-10) + 0)/(171/95). Are u and -3 equal?
False
Suppose 4*g + 2 = 14. Is g < 0?
False
Let j(x) = -3*x - 12. Let t be j(-5). Let i be ((-20)/(-12))/5*t. Which is smaller: i or -5?
-5
Let o be 70/(-5) + 2*-1. Let f = o - -15. Which is greater: f or 1?
1
Let h = -0.796 - 0.214. Let y = h - -0.01. Is y less than or equal to 1?
True
Let z = 56 - 110. Let l = 8923/84 + -1102/21. Let m = z + l. Which is smaller: m or -2?
-2
Suppose -10*b + 8*b = 0. Which is bigger: b or 2?
2
Let v(o) = -o**2 + 3*o - 2. Suppose 4*h = 21 - 9. Let n be v(h). Which is bigger: n or -3/2?
-3/2
Let r(s) = -s**3 + 6*s**2 + 4*s - 8. Let a be r(6). Suppose q - 38 - a = 0. Let v be (-22)/(-18) + (-12)/q. Which is smaller: v or 2/9?
2/9
Let o = 5.2 - -1.8. Let j = -6 + o. Which is greater: 0.3 or j?
j
Let a = 6.84 - 0.34. Let p = 9.4 - a. Let u = p + -3. Is 2/9 < u?
False
Let i be 8/10 - (-63)/(-35). Is i at least -4/15?
False
Let w(t) = t**2 + 13. Let i be w(-5). Is 37 not equal to i?
True
Suppose 30 = 4*c - 134. Is c greater than 41?
False
Let n = -19/68 - -1/34. Which is smaller: -1 or n?
-1
Let w = -8 - -2. Let b = w + 10. Suppose 4*j = -k + 1, 5*k - 8 = -b*j - 3. Which is bigger: k or -2/7?
k
Let p = 1 + -15. Let d be -5 + 4 + (-16)/p. Which is smaller: 1 or d?
d
Let r(n) = n**2 - 7*n - 30. Let b be r(10). Is 0 bigger than b?
False
Suppose 46 + 338 = 8*i. Which is smaller: 47 or i?
47
Let w = -2028/5 + 407. Which is smaller: w or 2?
w
Let r = 0 - -2. Let k be (0 - 3)*32/(-168). Which is smaller: r or k?
k
Let v be 2/(-4)*6/(-3). Suppose -3*i - 10 = -v. Let j(z) = z + 4. Let d be j(i). Is d >= -1/8?
True
Let s(t) = -t - 4. Let n be s(-5). Let g be (-3)/5*(-2 - -1). Let a = g - 4/15. Is a < n?
True
Let q = -71/280 + 3/56. Is 0 > q?
True
Let l = -26 + 16. Let y be (-16)/l + (0 - 2). Is -2/9 equal to y?
False
Suppose -3*q - 15 = 3*y, q + 2 = -4*y + 3. Let k = -8 - q. Is -1/4 smaller than k?
False
Let h = -103 + 103. Let f be 1 + (-1)/1*3. Is h > f?
True
Let u = 6.41 - 0.71. Is -0.1 at least as big as u?
False
Let w be 2*(141/(-738))/(-1). Let z = w - 2/41. Is z greater than or equal to -0.5?
True
Suppose 0 = 3*c + 5*c + 16. Is -1 bigger than c?
True
Suppose 6*d - 3*d = -2*g - 130, 0 = -2*g - 4. Let t be (-15)/(-10)*8/d. Let l = -52.3 - -52. Which is greater: l or t?
t
Let s = -0.4 + 0.35. Let t = s - 1.95. Let g = -4 + 3.9. Which is greater: g or t?
g
Let m be (-2)/1 + 0 - (-29)/14. Which is greater: m or 0?
m
Let z be (-2)/3 + (-4)/(-6). Suppose 4*s - p = z, 4*s = -3*p + 6 + 10. Are 1 and s nonequal?
False
Let b = 3/28 - 65/84. Let p = -13 - -12.5. Let n = p - -0.5. Is b smaller than n?
True
Suppose 0 = 2*z + q - 5, 7*q = -4*z + 2*q + 7. Let a = 0.48 + 0.02. Let p = 0.5 - a. Which is bigger: p or z?
z
Let q = 138 - 1381/10. Is 0 smaller than q?
False
Let a = 16/11 - 79/55. Let s = a - -101/495. Is -3/4 not equal to s?
True
Let n = -10 + 5. Let w = 4 + n. Let i(c) = -c**2 + 5*c + 4. Let z be i(6). Is w >= z?
True
Let d(z) = 2*z - 1. Let h be d(1). Let x be ((-8)/5)/((-12)/30). Let n = 6 - x. Which is smaller: h or n?
h
Let m be (-3)/(-2)*160/30. Which is greater: m or 7?
m
Suppose -3*s + 7*s = -80. Let r be (2/(-20))/(s/50). Which is greater: -3 or r?
r
Let i = -27 + 19. Suppose 4*s - 1 = -33. Is s >= i?
True
Let z be (-6)/(-12)*2/(-5). Which is bigger: -2 or z?
z
Let b be 1/(-2 + (-57)/(-27)). Let z be ((-12)/b + 1)*-1. Which is bigger: -1/6 or z?
z
Suppose 3*w = 14 - 5. Suppose w*c - c = 0. Is c != -2/3?
True
Let z(i) = -3*i**2 + 13*i + 10. Let o be z(5). Which is greater: o or 0.11?
0.11
Let h = 13 + -10. Suppose -p + 4 = h*p. Is 9/5 <= p?
False
Let p be 69/4 + (-2)/8. Which is bigger: 16 or p?
p
Let i = -32232 - -224458/7. Let z = 167 + i. Which is greater: 1 or z?
1
Let n = -7 + 6.4. Let q = n + 0.6. Is q at most -0.1?
False
Let d = -13/12 + 27/4. Is 5 less than d?
True
Let n be 5*(-7)/((-21)/(-18)). Are n and -29 unequal?
True
Let w be 1388/(-60) + 2/15. Is w less than or equal to -23?
True
Suppose 5*d + r + 4*r = 530, 5*d + 4*r - 534 = 0. Let y be 24/d + (-6)/15. Suppose -4*o - 2 = -2*o. Is y greater than or equal to o?
True
Let a(i) = -i**3 + 5*i**2 - 3. Let u be a(5). Let w = u - -4. Is 2 at most as big as w?
False
Let q be (5562/(-1857) - 1) + 4. Let d = q + 1163/15475. Which is smaller: 0 or d?
0
Suppose 0 = 3*y - 2*z + 5, 5*y + 3*z + 5 - 22 = 0. Suppose y = -o + 4. Suppose 0 = -0*n + o*n. Is 1/6 != n?
True
Suppose q - 34 = -5*u, 0*q = 3*q - 12. Suppose -b + 8 + 0 = 0. Suppose -2*j = -u*j + b. Is 2 equal to j?
True
Let p be (2 - 1)/5 - (-1708)/(-3965). Which is bigger: p or -2/9?
-2/9
Let f be (-1)/2*(0 + -2). Let a be (14 + -4)*5/(-16) + 3. Is a bigger than f?
False
Let p be 1*(-1)/(-1 + 2). Let k(n) = -n**2 + 7*n - 2. Let y be k(4). Let t be 15/(-75)*y/6. Which is smaller: t or p?
p
Let y = 2 + 3. Let l = 16 - 11. Is l less than or equal to y?
True
Let s = -48 - -46. Let b = 0 - 0. Let a = -2 - b. Is s at least a?
True
Let r = 1.8 - -1.2. Is 25 equal to r?
False
Let c = -0.74 + 0.8. Let w = c + 0.04. Are 1 and w equal?
False
Let o = -96361/30 + 3211. Let k = o - -7/10. Suppose 3*v + 9 = 6. Which is smaller: k or v?
v
Let l(q) = -q**3 + 5*q**2 + 8*q - 8. Let r be l(6). Suppose 2*a + 8 = 6*a - 2*n, r = -4*a - 4*n. Is 5/8 greater than a?
False
Let u be -1 + (-25)/(-55) + 0. Are u and 2 equal?
False
Let s(v) = -v**3 + 2*v**2 + v. Let n be s(-1). Let g = 39/8 - 211/40. Is g bigger than n?
False
Suppose 3*k = 2*k - 8. Let f be 1 - 0 - k/7. Which is greater: 2 or f?
f
Suppose 5*g = -11 - 14. Let t be (1/g)/(3/(-9)). Let r(a) = -a**3 + 6*a**2 - a + 8. Let b be r(6). Which is smaller: t or b?
t
Suppose 3*f - 8 - 16 = 0. Is f greater than 49/6?
False
Suppose 15 = 5*b + 3*x, 2*b = -3*b + 2*x - 10. Suppose b = 2*s + 3*s - 10. Is s at least 3?
False
Suppose 3*u - 5*g = 16, -g - 1 = -u + 1. Does u = -12/7?
False
Suppose 5*x + 10 + 15 = 0. Is -4 less than x?
False
Let i be (-2 + 5)*(2 - 3). Is i greater than -2?
False
Suppose 0 = -4*v + 2*h - 70, 2*v - 3*h + 22 = -23. Let a be 10/v - 26/(-6). Is 4 smaller than a?
False
Let g(l) be the second derivative of l**5/20 + l**4/2 + l**3/6 + 5*l**2/2 - l. Let j be g(-6). Let n be 2/(-7) + 15/28. Which is smaller: j or n?
j
Suppose 0 = 4*a - 4*d + 40, 5*d + 2 - 7 = -4*a. Let i(w) = w**3 - 5*w**2 - 4*w - 7. Let r be i(6). Suppose 0*u + 15 = -r*u. Is u bigger than a?
True
Let o = -85 - -77. Which is smaller: o or -4?
o
Suppose z - 58 = -0*z + 4*k, -4*z - 5*k + 190 = 0. Let m = -36 + z. Is 14 equal to m?
True
Let f = 1.2 - 6.1. Let t = 5 + f. Let x = 0 + t. Is 0.2 < x?
False
Suppose -3*b + 18 = -6. Which is smaller: 27/4 or b?
27/4
Let h(r)