t q be x(7). Let f be 1/2 + (-7)/q. Is f greater than or equal to 3?
True
Let t = -6 + 13. Let g(m) = -m**3 + 7*m**2 + 2*m - 10. Let f be g(t). Are f and 1 nonequal?
True
Suppose c - 6*c - 5 = 0. Let d be 46/(-14) - (-10)/35. Which is greater: c or d?
c
Let o be 6/7 + 0 + 0. Let i(r) = r**2 - 25*r - 114. Let u be i(29). Are u and o non-equal?
True
Let p be (-433)/21 - (-4)/14. Let k = p + 21. Is k less than or equal to 0?
False
Let v(t) = t**3 - 2*t**2 - 7*t + 5. Let s be v(4). Is 9 greater than s?
False
Let m(a) = a**3 + 6*a**2 + 2. Let r be m(-6). Suppose 2*o + r*o + 18 = 2*c, -2*o = -2*c + 10. Is o greater than or equal to -5?
True
Let x = 0.1 - 0.17. Let o = -0.03 + x. Which is smaller: 6 or o?
o
Let b = 138.2 + -151. Let x = b - -13. Are x and -6/11 unequal?
True
Let m be (-2 - -1) + (-1)/1. Let h = 1 + m. Suppose 42*b - 49*b = 0. Do b and h have different values?
True
Let t = -29 - -20. Is t less than -15?
False
Let m(g) = 8*g - 34. Let b be m(5). Is b less than 5?
False
Let o = 149 - 1046/7. Suppose 3*l + 2*l = 25. Suppose 2 = -l*h - 3. Which is smaller: o or h?
h
Suppose m - 5*m + 16 = 0. Suppose -c + m = c. Suppose 4 = -c*f + 6. Is f <= 2/5?
False
Let w be 0 + 4 - (-8)/(-4). Suppose w*i - 4*t = 16, 0*i = -i + 5*t + 5. Suppose -28 = 4*h + 5*r, -3*h + 0*h - i = r. Which is smaller: h or -0.1?
h
Let u = 7 - 5. Is u equal to -16?
False
Let p = -6.3 - -6. Let f = 0.11 - 0.21. Is p greater than f?
False
Let r be ((-3)/(-8)*2)/3. Suppose 0 = -2*s - 4 + 12. Let l(n) = -n**3 + 3*n**2 + 4*n - 1. Let h be l(s). Is r >= h?
True
Let w = 2 + -1. Let g = 444116 + -9331663/21. Let p = 249 + g. Does p = w?
False
Let h = -13 - -12. Which is smaller: h or 0.9?
h
Let a = -16/13 + 86/91. Let p = -94 + 98. Which is smaller: a or p?
a
Let f(n) = -2*n**2 + 2. Let u be f(-3). Let p = -9 - u. Which is greater: 6 or p?
p
Let q be -2*2*2/8. Let b = -143 + 999/7. Are q and b equal?
False
Let u = -36 - -41. Let x(h) = 2*h**3 + 2*h**2 - h + 1. Let c be x(-2). Let f = u + c. Is f less than or equal to -1?
False
Let j = -30/211 - -7113/1055. Let a = j - 31/5. Which is smaller: -1 or a?
-1
Let r(q) = -q**3 + 4*q**2 + 4*q - 1. Let u be r(5). Let p(h) = -h**3 - 6*h**2 + 2*h + 3. Let o be p(u). Let w = o - -8. Does -2/3 = w?
False
Let h(o) = -o**3 + 7*o**2 + 10*o - 11. Let x be h(8). Suppose x*i + 34 = 9. Let v be 0 + i/(-3) + -1. Is v bigger than -0.2?
True
Let b(p) = -p**3 + 3*p**2 + 5*p - 5. Let g be b(4). Let i = 0 - g. Suppose -o - i = -2. Is 1 > o?
False
Let h = -357/5 + 71. Is -4/7 at least as big as h?
False
Let f(j) = j + 13. Let m be f(-12). Which is bigger: 5/3 or m?
5/3
Let a(j) = -2*j - 5. Let t be a(-5). Let u = 120 + -117. Suppose u*q + 4*x - t*x = -3, 5*x - 15 = 0. Which is smaller: 2/7 or q?
q
Let g be -1 + 0 + (-4)/8. Let c = 1/6 + g. Is c greater than 0?
False
Let f be 130/18 + 2/(-9). Let l(u) = u**3 + 5*u**2 - 7*u + 1. Let i be l(-6). Is i > f?
False
Suppose 0 = 3*w + 2*g + 6, 2*w + 3*g = -0 - 4. Let o be (-12)/7 - w/(-7). Let q = -1 + 1. Which is smaller: o or q?
o
Let t = 3.06 - 3. Let y = -359 + 364.06. Let j = t - y. Which is bigger: 0.1 or j?
0.1
Let p be (1 - 0)*6/(-15). Is p > -13?
True
Let z = 264 - 1852/7. Suppose 5*g - 10 = 5*c, -2*c = -4*c - 4. Is z >= g?
False
Let w = 21280 + -851293/40. Let d = -17/8 - w. Is 1 at least as big as d?
True
Let k(j) = -4*j**3 - 4*j**2 - 3*j + 2. Let q be k(4). Let r be 0 + (7320/(-22) - -3). Let z = r - q. Is z < -1?
False
Let w = -31.19 - -31. Let n = -0.09 - w. Which is greater: n or 0.01?
n
Suppose 5*b - b = 8. Let z be ((-1)/(-11))/((-1)/b). Which is smaller: z or 1?
z
Let i = 15 - 21. Let h = i + 1. Let y = h - -4. Does 1 = y?
False
Let g be 2/(-6) - (-48)/9. Suppose -g*c + 7 - 2 = 0. Which is smaller: -1/5 or c?
-1/5
Suppose -3*b + 6*m + 36 = 2*m, 5*b = -m + 60. Let f(s) = s**3 + 4*s**2 - s + 3. Let t be f(-4). Suppose t*r - 4*r = b. Which is smaller: 5 or r?
r
Let s be -50 + -2 - (3 + -2). Is -52 greater than or equal to s?
True
Suppose 1 = 3*x - 8. Suppose l - x*c + 7 = 0, 5*l - 3 = c + 4. Suppose -l*o = -1 + 3. Which is smaller: -1/2 or o?
o
Let d be (-1718)/(-57)*42/12824. Let o = 3/458 + d. Which is smaller: o or 1?
o
Let t(l) = l**2 - 6*l - 6. Let c be t(7). Suppose -29 - c = -5*d. Let a = d + -6. Is -2 at most a?
True
Let w = -131068/71 - -1846. Which is greater: -1 or w?
w
Let f(a) = a - 5. Let r be f(11). Is r less than 6?
False
Let x(t) = t**3 + 4*t**2 - 3*t - 4. Let w be x(-4). Suppose w + 2 = -5*c. Is -2 <= c?
True
Let y = -117 + 118. Is y less than 0?
False
Let i(k) = -k**2 - 6*k - 1. Let o(f) = f**3 - f - 1. Let m be o(-2). Let q be i(m). Let g = 12 + q. Which is bigger: 3 or g?
g
Let a be (-8)/(-6) - (-2)/3. Suppose 14 = 2*s + 5*s. Let m be (s + (-5)/a)*0. Is 1 bigger than m?
True
Let y = 18 + -20. Let p(j) = j + 1. Let l(x) = -x + 1. Let o(t) = l(t) - p(t). Let b be o(y). Is b at most 3?
False
Suppose -5 = 5*c - 0. Let w(y) = -y**2 + 2*y - 22. Let z be w(0). Let o = z + 21. Is c at most o?
True
Let u be -2*3*(-5)/2. Suppose 4*d + d + u = 0. Let f be d/(-7)*(-2)/3. Which is bigger: f or 0?
0
Let r = 76 - 51. Let u = r + -49/2. Are 1 and u unequal?
True
Let k = 51/2 - 25. Suppose 2 = 2*t - t. Which is smaller: t or k?
k
Suppose -5*t = -10*t. Let n be (t - -1)/(4*-1). Which is smaller: 0 or n?
n
Let a(z) be the second derivative of z**4/12 + z**3/2 + 2*z**2 + 2*z. Let g be a(-3). Suppose 4 = 4*u - g. Which is smaller: u or 1?
1
Let z = 18 - 14. Let o be (-2 - z - -2) + 2. Let j be 2/10*10/(-4). Is o at least j?
False
Let x = 0.01 - 0.01. Let a = 0.2 + 1.8. Which is bigger: x or a?
a
Let c = -44 - -43. Is c less than or equal to -12/5?
False
Let c be -2 + (2 + -3 - -2). Let p(z) = -2*z + 6. Let q be p(4). Let h = -4 - q. Is c > h?
True
Let i be -2 + (2/68)/(6/312). Which is smaller: 1 or i?
i
Let f(g) be the second derivative of -g**4/12 - g**3/6 + g. Let o be f(-2). Is o bigger than 2/7?
False
Let a = -2 - -1. Suppose -71*t + 68*t = 0. Which is smaller: t or a?
a
Let k(x) = -x**3 - x**2 + x + 1. Let b = 5 - 6. Let t be k(b). Which is bigger: t or -2/7?
t
Let k = -4/29 - -349/2320. Does 0 = k?
False
Let y be (-81)/12 - (1 + -2). Let r = 11/2 + y. Are 7 and r non-equal?
True
Let s = -0.06 + 0.66. Let x = s - 0.6. Let m = x + 0. Which is bigger: -3/2 or m?
m
Let k = 47 + -63. Is 0 at most as big as k?
False
Let f be ((-63)/(-14))/(3/4). Let c = 6 - f. Which is smaller: c or -1/4?
-1/4
Let j = 0 + 0.4. Let g = -5.7 - -6. Let v = g - j. Is 1 not equal to v?
True
Let o = 21 + 2. Is 23 at least o?
True
Let i(b) = b**2 - b + 2. Let z be i(3). Let l be 2/(-4) - (-60)/z. Suppose 4*n - 4 = 2*y, l + 1 = 4*y. Is 0 at least n?
False
Let s = -46 - -45.5. Which is smaller: -0.2 or s?
s
Let n = -29/2 + 14. Do n and -1.9 have the same value?
False
Suppose p - 2*p - 12 = 0. Let r be 3*(-1 - (-32)/p). Is r <= -11?
True
Let r = -3 - -13/4. Which is smaller: r or 13?
r
Let x = -0.093 - -44.093. Is -1/4 at least as big as x?
False
Suppose 3*z + 104 = -5*z. Let i = 26 - 39. Is i greater than or equal to z?
True
Let n = -27 + 32. Which is smaller: n or 4?
4
Let q be (-6 - 0)*39/(-6). Is 38 less than q?
True
Let x = 1.02 + 0.18. Let q = -2.2 + x. Is -0.08 less than q?
False
Let u = 1 + -1. Let y be ((-6)/(-9))/(3/9). Suppose y*g + 3 = -3. Is g >= u?
False
Let y be (-3847)/(-528) - (-4)/(-22). Let x = -43/6 + y. Is x < 0?
True
Let p = 0.11 - -6.89. Let k = -6 - 0. Let f = k + p. Is f smaller than 2?
True
Let x = 72 + -75. Is x < 14?
True
Suppose 5*y = d - 3, 4*d - 2*y + 10 = -4*y. Is -2 < d?
False
Let q = 1.4 - 0.6. Let r = 0.8 - q. Which is bigger: 8 or r?
8
Let i = 3 - 1. Let v be 15/(-5)*(-2)/i. Suppose d + v = 2. Is -2/5 less than d?
False
Suppose -2*o - 11 = -23. Let d = o - 5. Are d and 1 non-equal?
False
Suppose 5*h + 35 = 30. Is h bigger than -2/41?
False
Let k(a) be the second derivative of -a**5/20 + a**4/12 + a**3/6 + 2*a. Let j be k(0). Let g = -57 + 227/4. Is g at least j?
False
Let i = 3 - 3.5. Let a = 1 + i. Let p = a + -1.5. Are p and -3 nonequal?
True
Let h be (-5)/(-10) - ((-3)/(-2) + -2). Let i = -0.3 - -0.2. Which is smaller: h or i?
i
Let o = 16 - 24. Let z(q) = -3*q - 1. Let c be z(2). Is o > c?
False
Suppose -5*o + 10 = -5. Suppose 4*x + 0*y + 4 = 2*y, o*y = -x - 8. Let p = 13 - 13. Which