Which is bigger: k or -0.1?
k
Suppose -2*i - 20 = 4*s, 0*i + 3*s - 3 = 3*i. Let q = 16 + -20. Let l = q + -1. Which is smaller: l or i?
l
Let u be (325/50)/((-1)/6). Is -188/5 bigger than u?
True
Let f = 6 - 9. Let t = 206 - 187. Let u = f + t. Is -1 at most as big as u?
True
Let k be 2*(3/(-2))/(-1) + 2. Let q = 5 - 3. Which is smaller: q or k?
q
Let h = 4 - 4.03. Let w = 7.25 - 7.32. Let a = w + h. Which is bigger: -0.05 or a?
-0.05
Let i = 5 - 8. Let s be i*(4/(-1) + 3). Suppose 36 = 4*v + 4*h, -2*v - s*v + 37 = -3*h. Is -0.1 at most v?
True
Let o = 1/21707 + 868227/1150471. Is o greater than 1?
False
Let t(g) = g + 4. Suppose 5*s + 30 = -0*s. Let l = s - -2. Let w be t(l). Is 1 <= w?
False
Suppose -5*b = -181 + 201. Is b <= -27/10?
True
Suppose -10 = -21*w + 11*w. Which is smaller: w or 4/3?
w
Let i(a) = 2*a**2 + a. Let s be i(3). Let n = s + -45. Suppose -56*j + 120 = -61*j. Is n less than j?
False
Let p be (1 + -1)/((-5 - -7) + -6). Is 4/59 equal to p?
False
Suppose -3*p - 15 = 0, -3*x - 189 + 68 = 2*p. Let g = -37 - x. Is 4/9 < g?
False
Let x = 1562 + -1528. Which is smaller: 38 or x?
x
Suppose 190*b + 205 = 185*b. Is b smaller than -42?
False
Let z be 1/(21/57) - (-2)/(-4). Let b = z + -19/14. Which is bigger: 1/2 or b?
b
Let o(p) = 48*p**2 - p. Let n be o(1). Suppose -2*a - 13 - n = 0. Let l be 11/4 - a/(-20). Does l = 2?
False
Let s(b) be the third derivative of 7*b**4/24 - 5*b**2. Let t(a) = a**2 - 4*a + 3. Let u be t(2). Let m be s(u). Which is smaller: m or -6?
m
Suppose -1320*q + 1329*q + 45 = 0. Are 32 and q non-equal?
True
Let r be (-2771)/(-13668) + (-1)/12. Is 1 < r?
False
Let a = 2 + -2.2. Let f be 2/(-12)*(-14693)/(-63)*6. Let b = f + 233. Which is bigger: a or b?
a
Let i = -25649 + 640917/25. Is i bigger than -13?
True
Let j = -0.01388 - -0.11388. Let s = -317/8 + 43413/1096. Which is bigger: s or j?
j
Suppose 5*k = i + 22, 2*k - 5 = i + 5. Suppose -c + 0*c - 3*z = 2, 2*c - z + 4 = 0. Let b be 6/(0 + c) - -8. Which is greater: b or k?
b
Let c = -12602/3 + 9766541/2325. Are c and -1 nonequal?
True
Let l = -142 + 148. Is l > -8?
True
Let k be 9*(140/42 - (2 + 1)). Is 8 bigger than k?
True
Let f be 2*(1 - (-10)/(-11)). Let v(r) = 6*r**2 + 3*r + 4. Let y be v(-1). Suppose t + y = -4*d, -3*t + 11 = -d + 6. Is f <= t?
True
Let m = 13/170 - -25409/1190. Which is bigger: m or 21?
m
Suppose a + 5 = 0, 2*z - 25 = 7*z + 4*a. Let o = 156 - 106. Let j = o - 49. Is j equal to z?
False
Let t(m) = -m + 7. Let d be t(-6). Let p be ((-22)/(-6) + -3)/(1/6). Suppose d = p*f - 11. Which is smaller: f or 1?
1
Suppose a + 4 = 20. Let d be (3 - 0)*a/(-24). Suppose 15 = -5*g - 0*g. Which is bigger: g or d?
d
Suppose 316*i + 4 = 320*i. Is i less than or equal to 1/130?
False
Suppose -2*t - 3*t = -10. Let a be ((-12)/9 - t)/(2/(-6)). Which is bigger: 9 or a?
a
Let a be (5 - 4) + (2 - 1). Let q be (5/(245/84))/(a/21). Is 19 greater than q?
True
Suppose 40 = -6*o + 40. Which is smaller: o or 2?
o
Let n = 2 - -29. Let z = n - 13. Let a be 0 - (3 + (-58)/z). Is a >= 0?
True
Let p = -2102 - -2545. Is 3 not equal to p?
True
Let z = -9.1 - -9.1. Let l be ((-2)/(-8))/(1/2). Which is smaller: z or l?
z
Suppose 8 = 4*c + 2*t, -6*t + 16 = 4*c - 2*t. Suppose 3*n - n + 12 = c. Let s be ((-21)/n + -3)*-1. Is -3/4 less than s?
True
Let s = -10.19 - -0.19. Let v = 96 - 89. Let z = v + s. Which is smaller: z or -1?
z
Suppose -9*y + 12*y = -105. Let k be (-55 + -3)*1/(-2). Let q = y + k. Which is greater: 1 or q?
1
Let v = -24.61 + 0.61. Let h = v + 9. Let x = h - -23. Which is smaller: 0 or x?
0
Let y = -33181/333 - -898/9. Let m(n) = -2*n**3 - 25*n**2 + 17*n + 550. Let w be m(-11). Which is greater: w or y?
y
Let d(f) = f**3 + 7*f**2 + 4*f - 6. Let i be d(-5). Suppose 11 = j + 3*l, -j + 7 + i = -2*l. Is j bigger than 24?
False
Let m = 230696/25 - 9226. Which is smaller: m or 2?
m
Let v = 15.81 - 15.647. Which is smaller: 8 or v?
v
Let f(x) = -x**2 - 5*x + 9. Let l be f(-6). Let v(a) = 2*a**3 - 7*a**2 + 3*a - 3. Let z be v(l). Which is smaller: z or 1?
z
Let y = 0 - 3/2. Is y bigger than -0.2?
False
Let w be 23842/(-58) + 58/841. Is w at least -410?
False
Let a be (-20)/15*(-1)/(-2). Let m(x) = 78*x**2 + x + 1. Let f be m(-1). Let w = f + -309/4. Is a > w?
False
Let f be ((-54)/88)/((-15)/40). Let m = f - 83/44. Which is smaller: m or -2?
-2
Let h = 74 - 70. Let s be -2 + (4 - 1) + -1. Suppose 0*g - h*g - 4 = s. Which is smaller: -7/6 or g?
-7/6
Let x(w) = -6*w + 9 + 5*w + 0*w + 13. Let r be x(21). Let l be (-26)/(-10) + 2/5. Which is greater: r or l?
l
Let y(c) = -c**3 + 8*c**2 - 18*c + 13. Let k be y(6). Let v be 8/(-2) + (-65 - k). Which is smaller: v or -44?
v
Suppose 0 = 3*u + 5*o - o + 26, -5*o - 29 = 2*u. Let y = -9 - u. Let c be 10/y*(-6)/15. Is c less than 1?
True
Let o be -2 + -3 + (-2)/(6/(-585)). Is 189 > o?
False
Suppose -4*i = -4*v + 568, -319 = 2*i + 11*v - 6*v. Is -147 at least i?
True
Suppose -a = m + m - 6, -m = 4*a - 17. Suppose 11 = -f - 3*j, a*f + 49 + 8 = j. Which is smaller: -15 or f?
-15
Let l = -295659 - -95202357/322. Let t be 2/(-4)*(-3)/(-23). Let z = t + l. Which is smaller: z or -1?
-1
Let k = 1048 + -1056. Is k < -96?
False
Let u(m) = m - 2. Suppose 4*l + i = -1, 5*i = 1 - 6. Let k be u(l). Suppose 30 = -5*j + 2*v, 7 = -3*v + 22. Is j at most as big as k?
True
Suppose 3*c = 7*c - 4. Suppose 0 = 4*o + o - 10, -g + 2*o - 8 = 0. Let l be g/2 + 0 - c. Which is bigger: 0 or l?
0
Let d = 213/448 - 3/64. Let b = 9 + -8.9. Let y = b - 0. Which is bigger: y or d?
d
Suppose 0 = -4*x - 7 - 17. Let k = 60 + -63. Is k at least x?
True
Let d = 132 - 152. Which is smaller: d or 9?
d
Let c be ((-50)/(-5))/(-5) + 5. Suppose c*q + 24 = 4*a, -q = -5*q + 4*a - 28. Which is smaller: 1 or q?
q
Let v = 6 + -3. Let p(w) = -w**3 + 10*w**2 - w + 14. Let h be 70/5 + -2*2. Let y be p(h). Is y at most as big as v?
False
Let f(o) = 44*o - 24. Let b be f(3). Which is smaller: 0 or b?
0
Let i be (-1)/(3 + (-321)/108). Let a = i - -50. Suppose -16 = 4*m, -f - f - 3*m = a. Is 1/4 smaller than f?
False
Let y = 122 - 123.5. Is -0.1 at least y?
True
Suppose 0 = -3*c + 55 + 56. Let i be c/4 + 5/(-20). Suppose 4*w = w + f - i, 3*f = w - 5. Is w greater than or equal to -3?
False
Let u = -388 + 261. Which is bigger: u or 0.1?
0.1
Let m = -1.068 - -0.068. Let r = -9.1 - 0.9. Let c = r + -2. Which is greater: m or c?
m
Suppose -2*x - 320 = 5*n, 0 = 5*n - 4*n - 4*x + 42. Which is smaller: n or -63?
-63
Let u be (-9 - 470/(-15))*-1. Which is bigger: -2 or u?
-2
Suppose 383*w + 1272 = 379*w. Is -318 bigger than w?
False
Suppose -2*c + 238 = 15*c. Is c at most as big as 88/7?
False
Let r be (-6)/(-9) + 8/(-12). Suppose -2*j + 15 + 15 = r. Let l be (-5)/j + (-1)/(-4). Is l smaller than 0?
True
Suppose -5*m = 0, -5*l + 9*m - 10 = 4*m. Let p be l/(-6) - (3 - (-4)/3). Let b = -205/74 + 10/37. Which is bigger: b or p?
b
Suppose 16*n = -11*n + 27. Which is greater: 2/1171 or n?
n
Let d be (-20)/(-25) + 10 + 2640/(-245). Is -0.1 greater than or equal to d?
False
Let i = 54.36 + 10.74. Let u = 65 - i. Which is greater: 7 or u?
7
Let k = -39 - -38.9. Let s = 30 - 32.8. Let l = s - -1.8. Does k = l?
False
Let q be 3/18 + (-52)/24. Let f be 0 + (-2)/(20/9). Does f = q?
False
Let c(l) = -3*l - 18. Let m(y) = 21*y + 126. Let x(u) = -45*c(u) - 6*m(u). Let g be x(-7). Which is smaller: g or 1?
g
Suppose 2*c + 0*c + 6 = 0. Let o(w) = w + 7. Let h be o(c). Is 16/3 less than h?
False
Let g(x) = 14*x**3 - x**2 - x. Let z be g(-1). Let w = 8 + z. Let h be 4/(-4) + (-21 - -16). Is h > w?
False
Let f = -0.153 - -0.053. Let l = -0.11 - -5.11. Which is bigger: f or l?
l
Suppose 4*b - 7 = 1. Let o = b + -6. Let d be o - -1 - 20/(-5). Which is bigger: d or 0?
d
Let k(p) = p + 5. Let t be k(-4). Let g be 60/(-160)*(0 - 8/174). Which is smaller: t or g?
g
Let y = 49/8 - 817/136. Let k = 8 - 5. Suppose d + 2 = k*s, -3*s - 3*d + d - 13 = 0. Which is bigger: s or y?
y
Let q = -9.8 + 15. Let d = -7.8 + q. Which is bigger: 1 or d?
1
Let b = 2 - -18. Suppose -i - o = 8, 5*i = -4*o - b - 18. Which is greater: i or -4?
-4
Let g be 0 + (-2 + 1)*-1. Let m be (-1 + (-3)/(-9))*30. Let t = m - -458/23. Which is greater: g or t?
g
Let s be (66*2 - -4)/2. Let p = 86 - s. Is p equal to 18?
True
Let t = -159.96 + -0.04.