?
True
Let i(h) = -h**3 - 7*h**2 - 2*h + 1. Let g be i(-7). Suppose -2*p = 3*p + g. Let o be 4/(-6) - 4/p. Which is smaller: 1 or o?
o
Let l(h) = -h + 3. Let x be l(5). Let r(g) be the second derivative of g**4/12 + g**3/6 + g. Let t be r(-2). Which is smaller: x or t?
x
Let x be (4/3)/(2/6). Suppose b + x = 6. Is 3 < b?
False
Let v = -0.02 - -0.03. Let k = v - 0.11. Let o = -0.8 + 0.4. Is k < o?
False
Suppose 4*g + 32 = 2*g. Let o be (-2)/22*g/8. Which is greater: o or 1?
1
Let u(a) = 2*a**2 - 27*a - 16. Let x be u(14). Which is smaller: -12/19 or x?
x
Suppose -3*y = -3*v, 0 = 3*y - 2*v + 2 - 0. Let w = -1.66 + -0.04. Let q = -0.3 + w. Is y less than or equal to q?
True
Let x be 4/((-2)/(-4)*-2). Let s be (-95)/(-19)*-1*1. Is s greater than x?
False
Let b = 123 + -120.96. Let s = b + -0.04. Let h = s - 2.2. Is 0.1 greater than h?
True
Let c = 110 - 106. Which is greater: c or 8?
8
Let x = -11 - -21. Let w be ((-8)/(-10))/((-18)/x). Let r = 25 + -26. Are r and w equal?
False
Let t(z) = -z**3 - 18*z**2 - 16*z + 16. Let y be t(-17). Which is smaller: 12/25 or y?
y
Let i(z) = -z**2 + 13*z + 4. Let s be i(13). Is 11/4 at least s?
False
Let y(w) = 4*w + 19. Let s be y(-5). Is s smaller than -2/131?
True
Let z(i) = 5*i - 9 - i - 6*i - 5*i + i**2. Let t be z(8). Is -3/10 at least as big as t?
True
Let h(d) = d**3 - 7*d**2 + 5*d + 2. Let k be (-4)/((-8)/14) + -1. Let r be h(k). Let t(u) = -4*u**3 + u**2 + u - 1. Let w be t(1). Which is greater: r or w?
w
Let j = 0.1 + 0.1. Is j smaller than -2?
False
Let w be ((-2)/804)/(3/6). Let a = -409/1407 - w. Is a <= -0.3?
False
Let d = -2 - -7. Suppose -4*h - d*b = 25, h + 0*b = 5*b + 25. Let y = -89 - -90. Is h at most y?
True
Let l = 67.5 + -63. Which is smaller: 0 or l?
0
Let l(n) = n**2 - 8. Let b be l(3). Let x = 76 + -685/9. Which is smaller: x or b?
x
Let f be (1/(-2))/(1/(-12)). Let i = 5 - f. Let a(d) = -2*d**3 + d**2 + d. Let z be a(i). Is 0 >= z?
False
Let u be 2/(5 - 3)*1. Is u != -2/31?
True
Let v = 0.04 + 0.06. Is -1/148 smaller than v?
True
Let u be 2/(-3) + (-4)/(-6). Suppose -1 = l - u. Is l less than or equal to 0?
True
Let i = 18 - 18. Let d = -6/101 + -576/505. Let t = -7/10 - d. Are t and i equal?
False
Let k(j) be the first derivative of 3*j**4/4 + j**2 - j + 1. Let h be k(1). Is h less than 1?
False
Let q be (-3)/4 - 17/68. Which is smaller: 3/38 or q?
q
Let x be (-6)/(-2)*6/45. Is x < 0?
False
Let z be (-14)/18 - (1 - 2). Let h = -36.83 - -37. Let s = 0.07 - h. Is s at least z?
False
Let o be (23 - 2)/(-3) - -3. Let a(q) = -3*q - 10. Let c be a(o). Which is greater: c or 1?
c
Let x(f) = -2*f + 21. Let c be x(11). Is c less than or equal to -3/7?
True
Let n = 3 - 3.4. Let i(s) = -s**2 + 6*s - 2. Let g be i(4). Let w be (-2)/(16/4 - g). Which is greater: w or n?
w
Let h = 156 + -174. Which is bigger: h or -13?
-13
Let y(h) = -h**2 + h + 4. Let o = 10 + -12. Let t be 3/o + 6/4. Let b be y(t). Is b >= 4?
True
Let u = 22 - 23. Suppose 4 - 8 = 4*s. Are s and u non-equal?
False
Let p = 0.41 - 0.41. Which is bigger: p or 1/3?
1/3
Let y be 1 + (-1)/2*2. Suppose -d + 5*d = 0. Are y and d unequal?
False
Let n(p) = p**2 + 5*p - 6. Let i = 11 - 17. Let z be n(i). Let h = -24 + 21. Is h equal to z?
False
Let d = 20 - 18. Let i be (3/(-6))/(2/(-4)). Are d and i unequal?
True
Let b = -9 - -10. Which is greater: -5 or b?
b
Let r(x) = x**2 - 4*x - 4. Let i(y) be the first derivative of y**4/4 + y**2/2 + 5*y + 3. Let d be i(0). Let k be r(d). Is 5/6 < k?
True
Let v = -7 - -2. Let o(h) = -h**3 - 5*h**2 - h - 4. Let m be o(v). Is m not equal to 3/4?
True
Let y = -8 - -8.3. Which is bigger: -2/3 or y?
y
Let z = -63 + 63.74. Let y = z - -2.16. Let a = y + -3. Is 1/2 at least as big as a?
True
Let w = -38 + 20. Which is greater: -17 or w?
-17
Suppose 0 = -3*s + 6*s - 6. Let t be -7 + s/2 - -2. Let d = -68 - -63. Which is smaller: t or d?
d
Let v(x) = 6*x. Let h be ((-1)/3)/(1/3). Let u be v(h). Let z = u + 10. Which is smaller: z or 3?
3
Let x = 909/9842 - 3/266. Are x and 0 equal?
False
Let j(d) = d**3 - 7*d**2 + d - 6. Let u be j(7). Let n be 5 + (-3 + 2 - 1). Let z be 4/10*15/n. Is u < z?
True
Let l be ((-2)/4)/((-63)/14). Which is smaller: l or 0?
0
Let r = -28 - -40. Are 1 and r nonequal?
True
Let j(g) = g - 11. Let y be j(9). Let o be 3/((-3)/6 - y). Let b = 8 + -4. Which is smaller: o or b?
o
Let s be -2 - (-2 + 108/(-20)) - 1. Is s smaller than 5?
True
Let u = 0.08 + -0.48. Is 1 less than u?
False
Let x(q) = q**2 - 4*q - 4. Let z be x(6). Let k be (3/(-4))/(2/z). Which is smaller: k or -2?
k
Let d(n) = n**3 + 9*n**2 + 9*n + 20. Let m be d(-8). Which is smaller: m or 10?
10
Let d = -147.87 + 148. Is 0.06 at most d?
True
Suppose -2*z + 0 + 2 = -s, 5*s = -2*z + 2. Let j(a) = -3*a**2 + 15*a + 5. Let t be j(5). Suppose -3*y + t*m + 22 = s, y + m + 3 = -3. Is y < 0?
True
Let y = 10/3 + -28/9. Let v(f) = -f - 3. Let t be v(-4). Which is smaller: y or t?
y
Suppose 2*h = -4*s - 30, -2*h + s - 45 = -0*h. Which is smaller: -64/3 or h?
-64/3
Let m be (219/(-4 + 1))/1. Let i = m - -358/5. Is 0 less than or equal to i?
False
Suppose 0 = 2*h - 10 - 14. Let k be h/(-9)*(-2)/(-16). Let r(u) = u + 3. Let l be r(-3). Does k = l?
False
Let f = -11 - -11. Let m(u) be the third derivative of u**6/120 - u**5/20 - u**4/6 - u**3/6 + u**2. Let s be m(4). Is s greater than f?
False
Let k be (-4)/6*15/(-2). Let r(i) = -i + 7. Let q be r(k). Let w = 3 + 0. Which is greater: q or w?
w
Let s = 32 + -28. Let n be (0 - -1)*(1 - 0). Let k = 6 - n. Which is smaller: k or s?
s
Let h be 1/4 + (-2)/(-4). Let r = -18 - -9. Let a = -7 - r. Which is bigger: a or h?
a
Let v = 2.4 + 7.6. Is -1/3 <= v?
True
Let v = -27 - -29.1. Let m = 2 - v. Let f = 0 - 1. Which is bigger: f or m?
m
Suppose -z - 3 = -2*n, 5*n = z - 6*z + 15. Is 15/7 > n?
True
Let k be ((-6)/4)/((-9)/(-12)). Let t = k + -4. Is -5 less than t?
False
Suppose 0 = 2*x - 3*j - 4, -x = -4*j - j + 12. Let r(k) = 9*k**2 - 1. Let q be r(-1). Does q = x?
True
Let z = -1.05 - -0.95. Is z at least as big as 0?
False
Let i = -1.35 + -0.65. Is i at least -4?
True
Let r = 0 + -1. Let o be (-123)/40*4/6. Let a = -9/4 - o. Are a and r equal?
False
Let d = 0.7 - 0.7. Which is smaller: 0.8 or d?
d
Let g = -181 - -46. Let z = 949/7 + g. Suppose -4*h + 5*q = -24, -6 - 14 = 5*q. Which is smaller: z or h?
z
Let i be (-4556)/(-20) + (-2)/(-14). Let z = i + -228. Is 1 smaller than z?
False
Let j be (-6)/(-27) + 26751/19710. Let w = j + 3/146. Is w <= 3?
True
Let i = -6 - -8. Let t = -4.98 - -5. Let c = t - 3.02. Which is bigger: i or c?
i
Let i(z) = -z**3 - 6*z**2 - 7*z - 12. Let m be i(-5). Is m at least as big as -5/2?
True
Let z = 0.1 - 0. Let s = z + -0.1. Let y = 9 + -8.9. Which is smaller: s or y?
s
Let p be 3/4 - 5/10. Is 0.02 at most as big as p?
True
Let u = -13 - -12.99. Let o = 0.99 - u. Is o at least as big as 0?
True
Let t = 0.03 + 2.97. Is -0.4 <= t?
True
Let m be 3*(2/(-3) - -2). Let j be (-1)/1 - 6/(-2). Suppose -j*h + 5*i - m = 21, 0 = h + 5*i - 25. Does h = 0.1?
False
Let x be ((-4)/(-6))/(4/(-6)). Let w = -3367057/1384548 - -2/31467. Let l = w - -24/11. Which is greater: x or l?
l
Let g(i) = i**2 + 4*i + 3. Let r be g(-2). Which is greater: 1/13 or r?
1/13
Let z = -0.07 - 4.93. Let m = 1 - z. Is 1/3 > m?
False
Let y(w) = 4*w + 46. Let d be y(-11). Let z be (-4)/(-10) - (-16)/35. Is z equal to d?
False
Let o = -25 + 35. Let g be ((-2)/1)/((-4)/o). Let t be ((-5)/(-5))/((-1)/g). Which is smaller: t or -4?
t
Let o = 5/44 - -19/44. Is o greater than or equal to 1?
False
Let r be 4/6*(-6)/(-4). Let l = -34/111 - 1/37. Are l and r nonequal?
True
Suppose -5*x = -3*x - 6. Suppose 7 = 4*s - 9. Let r be 2*(6/s + 0). Are r and x equal?
True
Suppose -6*s + s = 0. Suppose -3*q = 4*p - 11, s = q + p - 2 - 0. Let m be q + (-54)/(-15) + 0. Is 0 equal to m?
False
Let r be 4/6*(4 - -8). Let h be 4*1/r*0. Which is bigger: h or -2/11?
h
Let c be (-2 - (-8 + 3)) + 4. Suppose c - 2 = 5*z. Let g be 3 - (-1 + 1 + 1). Is g != z?
True
Let h = -96 - -91. Which is bigger: h or -1?
-1
Let r(j) = -j**2 + 2*j + 23. Let h be r(6). Which is smaller: h or -6/5?
-6/5
Let w = -95/3 + 32. Is 20 at most as big as w?
False
Suppose 4*k = 6*k + 6. Let w be (1 + -3)/2 - k. Let f be 2/3 - (-10)/12. Is f != w?
True
Let z b