 o >= n?
True
Suppose 2*t + 0*t = -4. Let i = -1.4 + 0.4. Let p = i + -1. Is t smaller than p?
False
Let a = -232 - -79. Which is bigger: 1 or a?
1
Let h = 20 + -10. Let j be (-4)/10 + 4/h. Suppose w + 0*w = j. Are w and -2 equal?
False
Suppose 0*z = -4*z. Let i be (-5 - 84) + (-1 - 0). Let o = i - -452/5. Which is greater: o or z?
o
Let s be (-1 - -2 - -1) + -3. Let t = -2 - s. Suppose 4*y + 4*b - 12 = -0*b, -21 = 5*y - 4*b. Are t and y equal?
True
Let a be (-12)/8*56/(-6). Let i = a - 21. Is -7 at least i?
True
Let j be 12737/(-66) - 7/(-42). Let z = 193 + j. Suppose 4*h - 4 = -0*h. Which is bigger: h or z?
h
Suppose -2*v - 80 = 5*a, 4*v - v = 0. Is -16 at most as big as a?
True
Suppose -5*j = -j. Let n = 2 + -2. Suppose n*u = -u. Does j = u?
True
Let z be 2/8*-1 - (-770)/(-56). Let f = -8/7 - -10/21. Is z > f?
False
Let h = -25/3 + -5. Let z = h - -13. Is -1 equal to z?
False
Suppose -s - 4*p = -2*p + 8, -5*s - 12 = -4*p. Let u = s - 4. Is -8 greater than or equal to u?
True
Let l(m) = -4*m + 1. Let c be l(1). Let v(q) = -q**3 - 4*q**2 - 4*q - 3. Let u be v(c). Suppose 0 = -3*i - u*i. Is i < -2/9?
False
Let l = -40.3 - -7.3. Is l != 0.1?
True
Let f be (-11)/2 + (-8)/16. Which is greater: f or -7?
f
Let v = 8 + -2. Which is smaller: 0 or v?
0
Let l(s) = -s + 1. Let t be l(-1). Suppose -d = -p + t - 0, 2*d - 21 = -3*p. Do 3 and d have the same value?
True
Let t = -7 + 10. Let g = -1 + t. Is 3 greater than g?
True
Let a be (-2)/(-18)*1/1. Let y = 4/9 - a. Is y != -0.1?
True
Let z be (-10)/2044*(-58 + 1). Let h = 23/7300 - 1/100. Let b = h - z. Is b greater than 1?
False
Let b be (-4)/16 + 10/(-24). Is -2 bigger than b?
False
Let k = -0.01 + -0.14. Which is greater: -1 or k?
k
Let p be (2 + 2)*(-9)/4. Let z = -8 - p. Which is bigger: 4/15 or z?
z
Let h be 1/(-4 - -3)*1. Which is bigger: h or 3/13?
3/13
Let a = 130 - 125. Suppose 2*x = 3*x - 3. Does x = a?
False
Let d = 0.095 + 0.105. Is 32 at most as big as d?
False
Let d = 41 - 285/7. Let v = 0.82 + -0.82. Which is smaller: d or v?
v
Let s be (18/(-45))/(11/10). Are s and -1 unequal?
True
Let h be 64/(-291) + 4/18. Let q = -3506/6111 + h. Is q at most 0?
True
Let z = 99/428 - -2/107. Are 4/3 and z equal?
False
Let b = -0.16 - 0. Let l = b + 9.16. Let p = l + -9.2. Which is smaller: 3 or p?
p
Let l be 6/(-4)*4/(-6). Let q be (l + -7)/(1*-1). Suppose v + 12 = 4*v. Which is bigger: v or q?
q
Let l = -71 - -77. Which is smaller: -2 or l?
-2
Let p be 2/3 + 52/(-6). Let s be (-4)/(-6) + p/12. Which is smaller: 2/5 or s?
s
Let g be 2 + 2/4*10. Suppose 0 = 2*v + v + d + g, 5*v = 5*d + 15. Let z = 3/2 + -11/6. Does v = z?
False
Let w = -0.7 - 0.3. Let i be 24/(-7)*26/(-104). Which is smaller: i or w?
w
Suppose -i = 23 - 41. Which is bigger: 0 or i?
i
Let h = 10.6 - 10.8. Which is greater: h or -28?
h
Let r be (-232)/16 - 9/6. Which is smaller: r or -15?
r
Let h be 20/(-8)*12/(-70). Suppose 2*j - 8 = 4*w, -j - 4*j = 5*w + 10. Which is smaller: h or j?
j
Let u = -35 - -7. Let l be 2/8 - (-7)/u. Which is bigger: l or 3/5?
3/5
Let u(j) = j**2 - 20*j - 1. Let i be u(20). Which is bigger: i or -0.8?
-0.8
Let u = -2.188 - -0.108. Let z = -0.08 - u. Let d = 2.1 - z. Which is smaller: -2/7 or d?
-2/7
Suppose 0 = 2*z - 6 + 14. Let o be (-6)/z - 21/(-6). Is o greater than or equal to 4?
True
Let p = 1 - 0. Let z = -1 + 1. Let o = p - z. Which is smaller: o or 2/11?
2/11
Suppose 4*v = -0*v + 4. Let s be -1*(6 + (0 - v)). Are s and -6 equal?
False
Let f(k) = -k + 3. Let g be f(4). Let r be 0*g/(-1 + 0). Are 2/3 and r equal?
False
Let p be 1/5 - 4684/195. Let w = p - 22892/429. Let o = w - -77. Are 1 and o equal?
False
Let q = -7 - -8. Is 12/13 < q?
True
Let d(y) = -y**3 + 9*y**2 + 9*y + 10. Let c be d(10). Is -4 greater than c?
False
Let j = 4 - 4. Let o = 0 - j. Let z = o - 1. Are z and -3/5 nonequal?
True
Let z = -201 - -803/4. Which is greater: z or 0.079?
0.079
Let m(z) = -z + 22. Let d be m(21). Let v = 737/5 + -146. Which is greater: d or v?
v
Suppose -837 = -8*v - 165. Which is smaller: 83 or v?
83
Let h be (-2)/((6/(-4))/(-3)). Let o be 0*3/3 - 3. Let l = -8 - o. Is h > l?
True
Suppose -3*c - 22 - 14 = 0. Let u = 23/2 + c. Are 0 and u nonequal?
True
Let n = -2.1 - -2. Let k = -0.34 - -0.4. Let h = -0.94 - k. Is n greater than h?
True
Let d(p) = -3*p**2 - 1. Let z be d(1). Let k(o) = o**3 + 6*o**2 + o + 5. Suppose -34 + 4 = 5*s. Let v be k(s). Is z equal to v?
False
Suppose -2*c = k - 4*k - 8, -5*c = k - 3. Suppose z = -2 + c. Let q be 7/(-14)*((-2)/3 - 0). Do q and z have the same value?
False
Let g = 0.67 - -3.63. Let k = g - 4. Let m = 1.7 + k. Is m less than or equal to 1?
False
Let c = 0.59 + -0.09. Let r = 0.3 - 0.4. Do c and r have the same value?
False
Let o(c) = c + 4. Suppose 0 = 5*b - 21 - 4, -l = -5*b + 30. Let x be o(l). Is x at least as big as 0?
False
Let n be (234/(-65))/((-3)/(-10)). Is -12 less than or equal to n?
True
Suppose -382*k + 20 = -384*k. Does -9 = k?
False
Let x = 377/10 + -77/2. Which is bigger: x or -1?
x
Let r(h) = -h**2 + h + 4. Let v be r(3). Let x be (v/(-6))/((-1)/(-6)). Let z = x + -3. Is z greater than 0.07?
False
Let k = -5 - -7. Let x(y) = -y**2 + 2*y + 1. Let l be x(k). Is l at least -1?
True
Suppose -4*c + 2 = -d, -c = 3*d + 2*c - 24. Suppose -2*a + 4*t + d = 16, 5*t - 45 = -4*a. Suppose a*n + 1 = -4. Is n equal to -3/5?
False
Let g be (32 - 28) + 5/(-1). Let l be (-15)/17 - 1*-1. Is l > g?
True
Let g = -741/11 - -67. Which is greater: 1 or g?
1
Suppose -1 = -3*y - 10. Is -4 less than or equal to y?
True
Let q = 351/11 + -32. Let x = 34 + -24. Suppose 6*t = x*t. Which is bigger: q or t?
t
Let p be 10 + 1/(2/(-4)). Let z = p + -7. Let x be 1/(1 - (z + 1)). Is x greater than 1?
False
Suppose -3*d + 1 = 2*d - 2*a, 4*a = d - 11. Let f(s) = s**3 + 3*s**2 - 5*s - 6. Let p be f(-4). Which is bigger: d or p?
d
Let p = 4 + -4. Let w be ((-177)/27 - -1)*3. Let f = w + 151/9. Is p at most as big as f?
True
Let u(d) = 12*d**2 - 2*d - 3. Let w(k) = -25*k**2 + 4*k + 7. Let t(a) = -9*u(a) - 4*w(a). Let y be t(1). Is -4 bigger than y?
True
Let q be 19/4 + 12/(-16). Is 3 less than q?
True
Let c = -14 - -16. Suppose -16 = c*f + 2*f. Is -2 equal to f?
False
Let u = -0.2 - -2.2. Let j = u - 2. Let i = -1 - -2. Is i at most j?
False
Let i be 5/20 + (-6)/(-8). Let u = 37 + -12. Let f be 4/18 - u/180. Is i at most f?
False
Let o = -1/17 + 28/187. Let p be ((-2)/(-2))/(1 - 0). Is p greater than o?
True
Suppose l + 1 + 1 = 0. Let u(o) = 2*o + 1. Let w be u(2). Suppose -3*a - a = -t + w, -a - 2*t = 8. Is l less than a?
False
Let z be -2 - (1 - (-1 + 10)). Suppose -3*r = -z*r. Suppose r = -h - 3. Which is smaller: -2 or h?
h
Let h(f) = -17*f**2 - 5*f + 2. Let w be h(5). Let z = w + 700. Let v be 80/z - (-4)/(-18). Which is smaller: v or 0?
0
Let f = 11.8 - 12. Let j = -0.2 - f. Let s(o) = o**3 - 4*o**2 + o - 1. Let d be s(4). Which is greater: d or j?
d
Suppose -5*b - 5 = 10, b = 5*l - 43. Suppose 0 = -i + 4*j - l, 3*j = -2*i + 7 - 1. Suppose -2*d + 8 = g - 1, i = 5*g - d - 1. Are -3/8 and g equal?
False
Suppose 3*x - 6 = -0*x. Suppose -5*z + w = -x*z + 4, 4*w - 16 = 3*z. Let u be 2 - 1/(5/9). Is z less than or equal to u?
True
Suppose 17*v + 180 = 12*v. Let i be ((-3)/(-12))/((-2)/v). Which is greater: 5 or i?
5
Suppose 4*a + 3*y - 19 = 0, -4*a - 3*y = y - 24. Let t = 64 - 63.61. Let j = t + -0.09. Is j <= a?
True
Let a = -3 + 6. Let t(o) = o**2 - 4*o + 4. Let c be t(a). Suppose -6*h + 11*h = 0. Which is greater: c or h?
c
Let x be 4*(4 - 93/20). Is -2 at least x?
True
Let f = 72 + -72.3. Which is greater: f or -0.03?
-0.03
Suppose -m + 9 = 3*p - 5, -4*m + 11 = -3*p. Let y be 1 + (-1 - 3) + p. Suppose -3*j + 7 = -2*b, -2*b + 6 = 2*j - 4*b. Which is smaller: j or y?
y
Suppose -2*j + 1 = 3. Let l(z) = 2*z**3 - 2 - 5*z**3 + z**2 + 2*z**3 + 3*z. Let o be l(2). Which is smaller: j or o?
j
Let o(f) = -f - 8. Let p be o(-12). Which is smaller: 15/4 or p?
15/4
Let k = 5 - 4. Are 3 and k equal?
False
Let g = 31/7 - 27/7. Suppose 5*i + 2 = -3*d, -4*d - 10 = -i + 8. Suppose 5*s = i*s. Which is smaller: g or s?
s
Suppose -4*v + 30 = -2. Let l(r) = 2*r - 6. Let a be l(v). Let n be (7/(-21))/(a/3). Is n equal to 0?
False
Suppose -2*y + 3*y = -1. Suppose -3*a - a - 3*c = 3, 0 = a + 5*c + 5. Let z be (-