ch is smaller: -8/9 or c?
c
Suppose a = -0 + 1. Let d be (0 - 2)*a/11. Is d at least as big as 1?
False
Let z = -13 - -12. Which is greater: z or -6/5?
z
Let u be (4/42)/(12/(-28)). Which is greater: u or -6?
u
Let p = -13 - -23. Let i be p/3*-1 + 3. Is i at least 1?
False
Let m = -0.01 - -0.1. Let s = m + -0.09. Is s <= 1?
True
Let y = -2/19 + 29/95. Let f = -118/3 - -39. Which is greater: y or f?
y
Let q be (4/12)/((-6)/(-56)). Which is smaller: q or 4?
q
Let q = -0.477 + -0.123. Does 1/7 = q?
False
Suppose 3 = -3*i, -i - 89 - 68 = -4*o. Are o and 38 nonequal?
True
Let u = 193.95 + -199. Let j = 5 + u. Let a = 0.05 - j. Which is smaller: a or -2?
-2
Let x(g) = 8 + 0*g**3 + 2*g**3 - 15*g + 5*g - 8*g**2 - g**3. Let n be x(9). Let h = -1/15 + 2/5. Is h <= n?
False
Suppose p + 6 = -7*x + 2*x, 5*p - x = -4. Is -24/23 not equal to p?
True
Suppose 4*l = -3*s - 9, -s - l = -0*s + 2. Let f be (-4)/(-1) - s - -2. Suppose 4*x = 5*x + f. Is -5 bigger than x?
False
Let d be ((-3)/(-8))/(9/6). Suppose 2*y = -0*y + a + 16, -2*y + 28 = -4*a. Let h = -3 + y. Which is greater: h or d?
h
Let i be 2 + 1 - (0 + -3). Let r be i/9 - (-8)/(-12). Is r greater than 0?
False
Let g = 20 - 22. Let l = g + 1.9. Which is smaller: l or 6?
l
Let i(u) = -7*u**3 + 4*u**2 + 13*u - 7. Let k(j) = 4*j**3 - 2*j**2 - 7*j + 4. Let x(n) = 3*i(n) + 5*k(n). Let z be x(3). Are z and 0 nonequal?
True
Let q = 0.02 - -3.98. Let r = 2 - q. Is 0 < r?
False
Let t = 6 - 5. Let d = -8 + 7.7. Let x = -6.3 - d. Which is smaller: x or t?
x
Let t = 0.16 - 0.29. Are -2/3 and t non-equal?
True
Let f(v) = -v**3 - 4*v**2 - 2*v + 4. Suppose -i - 3*o - 11 = 1, 2*i + 2*o = -12. Let d be f(i). Do 1 and d have the same value?
True
Let x be (-342)/(-15) - (-33)/11. Which is bigger: 27 or x?
27
Suppose 5*b = -116 + 31. Is b at least -17?
True
Let q = -18 - -19. Are q and 1 non-equal?
False
Let p be (4/(-6))/(1/(-6)). Is p != 6?
True
Let r = 0.002 - -0.078. Let o = -2 - -1.92. Let g = r + o. Is -0.4 > g?
False
Suppose -144 = -8*w + 4*w. Does 35 = w?
False
Let o = 39 - 26. Let i = o - 22. Let v(f) = -f**3 - 10*f**2 - 8*f + 11. Let w be v(i). Are w and 8/5 unequal?
True
Let n = -2 + 11. Is 1 smaller than n?
True
Let r(s) = s**3 + 2*s**2 - 7*s - 5. Let z be r(-4). Let j be -2 + 4/((-12)/z). Is j less than or equal to -1/8?
False
Let w be 5/(-3) - (-4)/6. Let o = -1 - w. Suppose o = 2*l - 5 - 1. Is l <= 3?
True
Let k = -103300403/300 - -344335. Let g = k + -6/25. Which is bigger: g or 0.1?
0.1
Let g(l) = -l**3 + l**2 + 1. Let s be -1 - 1*(-2 - -21). Let h be (2/(-4))/(5/s). Let c be g(h). Is c <= -3?
True
Let w = 73.1 - 73. Is -0.5 greater than w?
False
Let l be (-2)/(-8) - 39/124. Which is smaller: l or 1?
l
Let u = 9 + -10. Let n be 1 - -2 - (1 - 1). Suppose -n*c = 6, 2*c + 6 = 2*v - 2*c. Is u equal to v?
True
Let c be (25/10 + -3)/1. Is c equal to 0.046?
False
Let d = -1398427263 + 67127023343/48. Let t = -52392 + d. Let n = -11/16 - t. Which is bigger: n or 2?
2
Suppose 19 = n + 2*o, -3*o = -0*n - n + 4. Suppose 5*v + n = -2. Is v <= -13/4?
False
Let b = -104.8 - -86. Let y = b - -22. Let o = y + -3. Are 2/3 and o equal?
False
Let h(w) = -w**3 + 7*w**2 + w - 6. Let z(f) = -12*f - 3. Let a be z(-3). Let m be a/5 + (-4)/(-10). Let x be h(m). Which is smaller: x or -1?
-1
Let j = -2/25 - -31/75. Let y(s) = s**2 + 7*s + 6. Let l be y(-6). Is j > l?
True
Let g = -178 - -258. Let c be 28/g + 1/4. Is -1 less than c?
True
Let l be (3 + -1)*9/(-18). Let o be ((-12)/42)/(-3 - l). Is o at least 0?
True
Let v be -3 + 14 - (1 + 0). Let x be 4/v - (-6)/10. Let y(s) = s**2 - s - 2. Let q be y(2). Are x and q equal?
False
Let y(k) = -k + 10. Let s be y(0). Let i be (s/5)/(2/5). Is i at most as big as 3?
False
Let m(r) = r - 3. Let o(l) = -3*l + 5. Let d(h) = -5*m(h) - 2*o(h). Let k be d(-4). Let x be (-108)/(-116) + k/(-1). Are x and 1 unequal?
True
Let z be 5*4/(0 - -4). Which is smaller: z or 7?
z
Let g be (0 - 2)/(-4 - -15). Let b be (9/6 - 1)*0. Suppose -3*c + 10 = -5*y, 0 = 3*y - b*c - 2*c + 7. Which is smaller: g or y?
g
Let u(q) = -q + 4. Let s be u(3). Which is smaller: s or -2/51?
-2/51
Let c = -10 - -10.02. Is 1 smaller than c?
False
Let q(j) = -8*j**3 - 2*j**2 + 1. Let l be q(-1). Let u = 16 - l. Let k be 6/u*3/7. Which is bigger: k or 0?
k
Let c = -50 - -50.1. Which is bigger: -1/45 or c?
c
Let f = -517/5 - -103. Let s = 0.2 + -1.1. Which is greater: f or s?
f
Let t = -480 + 482. Suppose 5*b - 20 - 9 = -l, 3*l + 2*b - 22 = 0. Which is greater: l or t?
l
Let i = -1 - 0. Let b be (-2)/(-9) + 240/(-1566). Are i and b unequal?
True
Let h = -3 + 6. Let x(k) = k**3 - 5*k**2 + 2*k - 5. Let y be x(5). Are h and y unequal?
True
Let x(o) be the third derivative of o**5/15 - o**4/6 + o**3/2 + 2*o**2. Let g be x(2). Which is bigger: g or 12?
12
Suppose 0*q + 4 = 5*h + 2*q, 6 = 2*h + 3*q. Suppose -3 + h = 3*n. Let m = -1 - 1. Is n <= m?
False
Let a = 0 - 0.2. Let l = a + -0.75. Let d = l - 0.05. Which is greater: 3 or d?
3
Let b = 2 + -3. Let f be 1 + -3 + (-2051)/35. Let y = -61 - f. Which is smaller: y or b?
b
Let a = 47 - 31. Is 18 > a?
True
Suppose 3*z = -54 + 3. Is z at least as big as -17?
True
Suppose 0 = -3*l + 8*l - 10. Let h be 2*-1 - (5 + l). Let p be 26/(-42) - 3/h. Is 0 smaller than p?
False
Let v(g) = g - 2. Let z be v(8). Let y(k) = k**2 - 6*k - 6. Let s be y(z). Let o(u) = u**3 + 6*u**2 + u + 6. Let j be o(s). Which is greater: 1/3 or j?
1/3
Let v be 4/5 - -1 - 2. Let c be 1/4 + (-1)/4. Is v at most as big as c?
True
Let g = -69 + 85. Is 16 < g?
False
Let v be (-1)/4 + 3/12. Which is smaller: 1/6 or v?
v
Let q = -12 - -17. Suppose -q*p - 20 + 0 = 0. Is -5 at least p?
False
Suppose 6*p - 20 + 50 = 0. Which is smaller: p or -4?
p
Let m = 397/7 - 113/2. Is 1 bigger than m?
True
Let f(r) = -r - 5. Let h be f(-4). Suppose -2*v = 5*a + 10 + 5, 2*v + 3 = -a. Suppose -y - 3*w = -12, -2*y - 2*w - w + 12 = v. Which is smaller: y or h?
h
Let t = -17/2 - -8. Let f be -17 + 14 - (-11)/3. Is t greater than f?
False
Suppose n - 5 + 1 = 0. Let w = n + -3. Suppose 5*c = -w + 6. Which is smaller: 0 or c?
0
Suppose u + 12 = 4*u. Let l = -60 - -59. Let d = l + u. Is 3 less than d?
False
Let c = -0.18 + 0.08. Are c and 0.04 equal?
False
Let i(x) be the first derivative of x**2/2 - 10*x - 7. Let d be i(9). Which is smaller: d or -1/12?
d
Let a = -2 + 3. Let u = 5/5669 + -505471/1054434. Let v = u + -2/93. Which is smaller: v or a?
v
Let y be (-1)/(-1)*2/(-6). Let a = -5729/12 - -478. Let k = y + a. Is 0 bigger than k?
False
Let s be -10 - -10 - 6/1. Which is greater: s or -3?
-3
Let p(s) = 2*s + 24. Let o(x) = x + 12. Let w(b) = 7*o(b) - 3*p(b). Let n be w(0). Suppose -20 = -3*m + 2*q + 3*q, 0 = -m + 3*q + n. Is m not equal to -1?
True
Let o(w) = -w**2 + 13*w - 15. Let a be o(12). Which is bigger: a or -4?
a
Let i be ((-7)/3 - -5)*9/6. Which is bigger: 27/5 or i?
27/5
Let b(s) = s**3 - 6*s**2 - s + 4. Let c be b(6). Let u be c/(-4) + 99/(-22). Which is greater: -6 or u?
u
Let k be ((-4)/(-6))/((-4)/(-18)). Suppose 0 = -k*n + n - 2. Let q be (n/2)/((-2)/(-8)). Is q greater than -3?
True
Suppose 0 = -0*o - 3*o - 15. Let n be 2 - (3 - (-2)/o). Which is smaller: n or -1/3?
n
Let q = 0.55 + -0.17. Let h = -0.4 + q. Let w = 0.02 + h. Which is smaller: w or -1?
-1
Let a be 16/(-24) + 12/(-9). Which is smaller: 2 or a?
a
Let r be (-9)/(1/(-1*3)). Let a be 4/14 - 1132/42. Let y = a + r. Which is smaller: 0 or y?
0
Suppose u = -22 + 23. Which is bigger: u or -24?
u
Let m = 39.36 + -40. Let o = m + 0.04. Let s = o - -0.8. Is -1 at most as big as s?
True
Let i be (0 + 0)*-1 + 56. Suppose -i - 8 = -4*o. Suppose -4*q + a + 4 = -0*a, -4*q - 4*a - o = 0. Which is greater: -1 or q?
q
Let i(a) = a**3 + 10*a**2 + 9*a + 4. Let v be i(-9). Suppose v*q + 5*j = 2*j - 1, 0 = 2*q + j - 1. Are -1/4 and q equal?
False
Let u(h) = h**3 - 6*h**2 + h - 1. Let v be u(6). Let y be v/(-10)*2/1. Let t be 0/(-1) + y - -3. Is 1 <= t?
True
Let i(h) = -2*h**3 + 33*h**2 - 15*h - 15. Let d be i(16). Which is smaller: d or 2?
d
Let m = 6 - 4. Let y = -1 - m. Which is bigger: y or -2/5?
-2/5
Let n be (-2)/(-7) - (-62)/(-70). Is n less than -2?
False
Let a(d) = -d**2 + 2*d + 5. Let z be a(4). Which is smaller: z or -2?
z
Let v(y) = y**2 + 3*y + 1. Let w(o) = -o**3 + o**2