Let s(k) = k**3 - k**2 + k. Let b(w) = -7*w**3 + 9*w**2 - 7*w - 1. Let i(o) = b(o) + 6*s(o). Let a be i(2). Let y be 17/36 + 4/(-16). Is a > y?
True
Let w be (4 - 4) + (9 - 1). Let m be (-6)/12 + 2/w. Which is smaller: 4 or m?
m
Suppose -c = c. Let d be -3*(-2 + (-12)/(-9)). Which is greater: c or d?
d
Let o = 81 + -2348/29. Is 0.1 less than o?
False
Let a = 8 + -8.3. Let l(o) = 2*o**3 - 2*o**2 - 2. Let v be l(2). Let c be 6/(-9)*v/16. Is a at least as big as c?
False
Let u = 7 + -11. Let f be (-2)/u*(-6)/9. Let n(a) = -a**2 + 2*a + 2. Let h be n(3). Do f and h have different values?
True
Let g be 4/14 - 42/105. Is g <= 0?
True
Let u = 6/13 - 3/91. Which is smaller: u or 1?
u
Let c(y) = 3*y - 19. Let r be c(7). Let m be 72/255 + (-4)/10. Do r and m have the same value?
False
Let v = -6 - -18. Let t be v/(-16)*12/(-33). Is t less than 1?
True
Let h = -39 + 157/4. Let w = 3 - 4.5. Let v = w + 0.5. Is h at most as big as v?
False
Suppose -4*x + q = 2, -17 = -5*q - 27. Let i = -2988/13 - -230. Is x >= i?
False
Let k(q) = 2*q - 7. Let i be k(4). Which is smaller: i or 1/38?
1/38
Suppose 17*w = 16*w - 18. Is -19 at most as big as w?
True
Let j be 37/((5 - 8)/(-3)). Is j at most as big as 37?
True
Suppose n - 4*n = 0. Let q be n + -1 + 7/3. Which is smaller: 0 or q?
0
Let w(l) = -6*l**2 - l - 1. Let q be w(-1). Is -3 greater than q?
True
Let n = 6 - 6. Let t be 0 + -3*(-1 + n). Suppose -t*w + w = -4. Which is smaller: 3 or w?
w
Let i = -1 - -1.1. Let v = i - 1.1. Let h = -90 + 95. Is h not equal to v?
True
Suppose 12 = 3*i + 3*w, -2*w + 3*w = -5*i + 16. Suppose i*h - 2*p = 5*h - 2, -2*p - 4 = -h. Suppose h = -4*t - 2*l, 5*t - 5*l - 18 = 2*t. Is t > -2/7?
True
Let i = -3 - -6. Suppose 7 + i = 5*n. Is n at least as big as 1?
True
Suppose -2*k - 6 = k. Let v(c) be the second derivative of c**5/20 - 2*c**4/3 + 7*c**3/6 - 3*c**2/2 + 2*c. Let h be v(7). Is h >= k?
False
Let v = 47 - 237/5. Let p be 0/(-1) + (2 - 2). Suppose p = -j - 1. Are j and v nonequal?
True
Suppose 5*g - 4*l - l = 0, 0 = 2*g - 5*l. Is g less than -8/9?
False
Let s = 61 + -63. Is 1.8 less than or equal to s?
False
Let z be (-4161)/(-2085) + -1 + -1. Let m = -15353/14595 - z. Let t = m + 5/7. Are -1 and t equal?
False
Let d be ((-2 - -1)*-7)/1. Is d < 7?
False
Let z be ((-23)/6)/(8/24). Let j = 13 + z. Is 1 less than j?
True
Let g = 0.076 - 3.976. Let v = 3.96 - -0.04. Let x = g + v. Is x < 2?
True
Suppose 0 = -5*v + 10 + 30. Let l be (-35)/(-20) + 2/v. Let b be 0/(2 + l + -3). Is b >= -2/3?
True
Suppose 4*h - 25 + 1 = 0. Suppose 0*f = -f + 18. Suppose 0 = 6*u - 3*u - f. Is h <= u?
True
Suppose -y - 2*y - 3*m = -27, -4*m + 11 = -y. Let j be (0 + (-36)/165)*y. Which is smaller: j or -2?
-2
Let x = 238 + -3335/14. Which is smaller: 1 or x?
x
Let z be (6/4)/(9/30). Let t be z/(-10) + 34/76. Which is smaller: t or -1?
-1
Let a = -1 + 1.2. Let q be (1 + 3/(-2))/2. Is a greater than or equal to q?
True
Let a(b) = 6*b - 5*b**2 + 0*b**2 + 3*b**2 + b**2 + 4. Let k be a(7). Let i be (5/(-15))/((-1)/k). Is -1/4 bigger than i?
True
Let l be -6*4/(-7 - -3). Let n be (-6)/18 + (-3)/l. Is n bigger than -2?
True
Let z be (-2 + (-22)/(-10))/(9/(-27)). Let x = 3 + -4. Is x greater than or equal to z?
False
Suppose 0 = -0*p - 3*p + 165. Suppose 0 = -4*k - 9 - p. Let c = k + 129/8. Which is greater: -1 or c?
c
Let c = 60.1 + -64. Let a = -1 + -3. Let n = c - a. Which is smaller: 2/3 or n?
n
Let f be (90/(-27))/(1/3). Let a = f + 4. Let i(q) = -q + 1. Let k be i(6). Which is bigger: k or a?
k
Let k = 2/13 + 7/39. Let c = -170 + 168.99. Let n = 0.01 + c. Which is bigger: n or k?
k
Suppose -5*k - 5*a = -15, a - 3 = 4*k - 0. Suppose -3*n + 1 - 10 = k. Is n less than -4?
False
Let z = 55 - 44. Which is smaller: 21/2 or z?
21/2
Let s(w) = -6*w**2 + w + 1. Let d be s(-1). Let r = d - -8. Let n be (-3 - (-1 - r)) + -1. Do -0.1 and n have the same value?
False
Let d = -174 - -1216/7. Let o be (-2)/5 - 9/15. Is o equal to d?
False
Let t = -96 - -96.1. Which is smaller: -0.1 or t?
-0.1
Let y = 3126/11 - 284. Let r = 6 - 5. Suppose 4*b + 5 = r. Is y equal to b?
False
Let y(v) = -v**3 - 8*v**2 - 6*v + 1. Let u be 2/(-9) - (-61)/(-9). Let k be y(u). Which is smaller: 0 or k?
k
Suppose 0 = 3*y + 4*i - 36, -5*y - 7*i = -2*i - 55. Let v = -10 + 10. Is v bigger than y?
False
Let h = -15 - -14. Which is smaller: -1/38 or h?
h
Suppose -1 = 4*f + 3. Let z = 5.5 + -3.5. Is f >= z?
False
Let n be 4/(-6) - 12/(-45). Let h(a) = -a**2 - 3*a + 4. Let r be h(-4). Suppose 0 = -3*m + 3 - r. Which is bigger: n or m?
m
Let t = 1.6 - 0.6. Is t greater than 0.01?
True
Let n = 134 + 383. Let f = n - 1013/2. Is 11 bigger than f?
True
Suppose 0 = -0*o - 3*o + 15. Let r(h) = -h**3 + 6*h**2 - 4*h. Let a be r(o). Let z = a + -5. Which is greater: z or 1/2?
1/2
Let m = -488/91 + 66/13. Let t = 0.17 - -1.43. Let x = t - 0.6. Which is bigger: x or m?
x
Let k = -1 + -2.2. Let t = 0.2 + k. Let d = 4 + t. Which is smaller: -1/3 or d?
-1/3
Let s(n) = n - 10. Let p be s(10). Is -2/15 at least p?
False
Let a be 3 + (-2)/(10/21). Which is bigger: a or -2?
a
Let g = -7719 - -100401/13. Which is bigger: 3 or g?
g
Let m be ((-4)/6*-9)/(-1). Which is bigger: m or 0?
0
Let x = 1165/2 - 38455/66. Let s = 49/2 - 543/22. Let c = x + s. Which is greater: c or 1?
1
Let p be (1/14)/((-91)/28). Is 1 less than p?
False
Let d be 3 - (0 + 3) - 0/1. Which is greater: -2/23 or d?
d
Suppose -2*w + 4*w = 2*x - 2, 4*x + w = 9. Suppose -8 = 5*t + x. Which is smaller: t or 0.3?
t
Suppose 2*q + 5 = p - 9, -p + 11 = -5*q. Suppose -z + 5*u + 4 + 0 = 0, 0 = 4*z + 4*u - p. Suppose -z*j - j = 0. Which is smaller: 4/5 or j?
j
Let n = 11/6 - 3/2. Is n at least 1?
False
Let z be -3*(-8)/(-310)*(-10)/4. Is -1 bigger than z?
False
Let o(q) = -q**3 + 8*q**2 - 16*q + 21. Let u be o(6). Is u not equal to -15?
True
Suppose -2*p - 4 = 6. Let s be p/(70/32) + 2. Let t = -1 + 1. Which is greater: s or t?
t
Let j be (-44)/10 - (-10)/25. Let a(l) = -l - 2. Let c be a(j). Is 3 less than c?
False
Let y(f) = 11 + 11*f - f**3 - 10*f**2 - 3*f**2 + 4*f**2. Let h be y(-10). Let r = -289 + 3755/13. Which is greater: r or h?
h
Suppose -s - g - 4 = 0, s + 16 = -g + 3*g. Let f be (5*s/(-20))/(-5). Let l = -8/7 + 31/21. Are f and l non-equal?
True
Let g = 0.02 + 0.06. Let j = -0.1 + -0.9. Let r = j + 0. Is g != r?
True
Suppose 0*u - 6*u + 60 = 0. Which is smaller: 11 or u?
u
Let g = -547/9 + 61. Let w be ((-62)/12)/(14/63). Let z = 23 + w. Is z at least g?
False
Let l = 9 + -9.02. Let w = l - 0.05. Is -1 less than or equal to w?
True
Let y = 7 + -6. Which is smaller: 5 or y?
y
Suppose -2*k + 2 = 4. Is -13/9 < k?
True
Let i = -7 - -9. Let g be 0/(3 + -4 + i). Are -0.3 and g equal?
False
Suppose g = -2 - 3. Let a = 10 + g. Is 6 smaller than a?
False
Let v be -2*(12/3)/16. Is 7 > v?
True
Suppose 5*k = -4*r - 0*r + 44, 2*k - 2 = r. Let u be ((-4)/(-6))/((-4)/r). Let f be -14 + 12 + (0 - -2). Are f and u nonequal?
True
Let i(h) = -h**3 + 5*h**2 - 4*h + 3. Let x be ((-6)/(-4))/((-4)/(-8)). Let q be i(x). Which is greater: 8 or q?
q
Let j be 63/(-15) - 1/(-5). Which is greater: j or 0?
0
Suppose 0 = -g - 2*g. Suppose g = 2*i + 2*i. Is i > 1?
False
Let c be 0/((-3)/(-3)) - (-14 - -13). Let b = -164 + 3773/23. Is c at least b?
True
Let z = -704 + 23234/33. Which is greater: z or 1?
1
Suppose 2*t + 2 = 3*t. Let u(g) = g**2 + 7*g + 9. Suppose -2*l - 3*l - 26 = 4*i, -2*i = 2*l + 10. Let h be u(l). Which is smaller: h or t?
t
Let s = 1 - 0. Let a be s - 1/(15/12). Which is smaller: a or 0?
0
Suppose 2*t + 5*k = -20, -4*t + 5*k = k - 16. Suppose -d + 4 = 8. Which is bigger: d or t?
t
Let h = 4/3 - 5/6. Let y = -0.31 - -0.01. Do y and h have the same value?
False
Let l(f) = f**2 - 11*f - 11. Let c be l(12). Is -2/13 bigger than c?
False
Let z = 0 - 1. Let y be ((-18)/(-21))/(9/(-1914)). Let i = y + 182. Is i > z?
True
Suppose 0*x + x - 3*l + 6 = 0, 64 = -5*x - 2*l. Let n be (9/(-2))/((-3)/(-8)). Is n <= x?
True
Let c(z) = -z**2 + 6*z - 1. Let x be c(5). Let r(o) = -o**2 + 7*o - 6. Let a be r(x). Let q = a + -9. Which is smaller: -1 or q?
q
Let t be (8 - (2 - 0))/(-1). Let k(m) = -m**3 - 7*m**2 - 6. Let u be k(-7). Is t bigger than u?
False
Let a(r) = r**2 - 4*r - 3. Let f be a(6). Are 9 and f unequal?
False
Let w be 1