 (-1)/4 + ((-567)/(-196))/n. Which is smaller: k or 2.1?
k
Let n(k) be the third derivative of k**5/60 - 3*k**4/8 + 2*k**3 + 26*k**2. Let g be n(7). Let z be (-5 - -3) + 3/9. Do z and g have the same value?
False
Suppose -2*b + 15 - 11 = 0. Let n be b*(-4 + 3 + (-2)/(-3)). Let x = 534 + -516. Which is greater: n or x?
x
Let l = -6437.129 - -6437. Which is smaller: 2.7 or l?
l
Let b be (-2 - 39/(-6)) + 6/(-12). Suppose 0 = x + 3 - 6. Suppose 2*s = d - 5, x*s + 2*d = -6 - 12. Which is smaller: s or b?
s
Let o(h) = -h**2 + 2*h + 18. Let r be o(5). Suppose -4*v - 2*a = r*a - 184, -46 = -v + 2*a. Is 51 less than v?
False
Suppose 34*w - 38*w - 20086 = -2*r, -4*w = 3*r - 30189. Which is smaller: r or -1?
-1
Suppose -2*c + 126 = -h, 4*c - 184 = -h + 74. Let u = c + -76. Let f be -9 - (14 + u + 5/(-1)). Is f >= -8?
True
Suppose 0 = -1940*w + 1927*w + 3705. Is 294 >= w?
True
Let l(s) = 15*s**2 - 17*s - 16. Let k be l(-1). Let d be (-1)/4 + 404/k. Suppose 5*v + 23 - 143 = 0. Is v bigger than d?
False
Let i = -103/47 - -44205/20257. Are i and 1 unequal?
True
Let l = -80662 + 80922.816. Let u = l - 269. Let j = -8.2 - u. Which is smaller: 0 or j?
j
Let y = -15 - -66/5. Let j(c) = -c**3 - 4*c**2 - 46*c - 2. Let h be j(0). Is y > h?
True
Suppose -132*v + 694 = -71*v - 3942. Which is greater: 41 or v?
v
Let w = -1936 - -1934. Suppose -2*r - 136 = 3*p, 5*r + 340 = 4*p - 9*p. Which is greater: w or r?
w
Let q = 3 + 8. Suppose m = -x - q, 3*m - 9 = 6. Let p = -16 - x. Which is bigger: p or 31?
31
Let w be (-4)/(-10)*(-30)/(-900). Let m = -779/2175 + w. Are 1 and m non-equal?
True
Suppose -4*j = 5*l - 8, 4*l - 7 = -j - 2*j. Let y(s) = -s**3 + 7*s**2 + 7*s - 12. Let i be y(8). Let k be (32/i)/(3 + (-13)/5). Which is smaller: k or j?
k
Let g = 340/9 + -1225/36. Let o be (-5)/(-2)*6/(-5). Let l be -4 + (0 - o) + 4. Which is smaller: l or g?
l
Let x = -12630.9 - -12631. Which is smaller: x or 413?
x
Let i(k) = -k**2 + 10*k - 13. Let b be i(16). Let l(o) = -o**3 + 8*o**2 + 3*o + 24. Let t be l(6). Let m = b + t. Is -1 > m?
False
Suppose 