es q = 0?
False
Let d = 20.1 + -20. Which is smaller: d or -25?
-25
Suppose x + 0*x = -p + 3, 3*p = 3*x + 3. Is x != 2/41?
True
Let j = -3 - -2.8. Let h = 0.3 + j. Let a be (-4)/(-6) + 8*2/(-36). Is h not equal to a?
True
Let j = -80 - -19. Let p = j + 36. Is 1 at least p?
True
Suppose 2*t + f - 3 = 0, 2*t - f - 17 = -t. Suppose 5*j + 6*g + 22 = 3*g, -4 = -t*j + 3*g. Let q = 73 - 221/3. Is j at least q?
False
Suppose 6*v - 4*v = -4. Let n be (v + 3)/(0 + -1). Is -4/7 bigger than n?
True
Suppose 4*y - 11 - 27 = 2*v, 0 = 2*y - 5*v - 31. Suppose -5*o - 16 = -51. Which is greater: o or y?
y
Let a = -0.4 + 0.4. Let g = a + -0.2. Let c = 11 + -9. Which is bigger: g or c?
c
Let l(z) = z - 12. Let w = 35 + -25. Let s be l(w). Let r be 1/2*0 - 2. Is r bigger than s?
False
Suppose 5*m + 14 + 11 = 0. Which is smaller: m or -4?
m
Suppose 0 = -g + 5, 0 = t + 2*g + 2*g - 19. Which is bigger: t or 0?
0
Suppose 8 = f - 2*w + 25, -5*f = 3*w + 111. Are -21 and f nonequal?
False
Let y = -0.07 + 0.29. Let h = y + -0.14. Is -0.1 greater than or equal to h?
False
Let v = -86.8 - -87. Is -0.18 < v?
True
Let r = 4.01 + -4. Let k = r - 0.01. Which is smaller: -0.1 or k?
-0.1
Let i = 12 - 11.76. Let g = -2.06 - -2. Let b = i - g. Which is smaller: b or -1/2?
-1/2
Let i be (1 - 0)/(5/25). Suppose -2*m = -i*m. Suppose -2*d + 4*d - 4 = m. Is 0 <= d?
True
Suppose 2 + 13 = q. Let y be 30/9*(-18)/q. Is -2 less than y?
False
Let i = -16.88 + 0.68. Let z = -16 - i. Is 5/6 at most z?
False
Let z = 0.08 + -0.08. Let r = z - 3. Which is smaller: 2 or r?
r
Suppose v - 3 = 1. Let u be 9/v + 4/(-2). Is -1 > u?
False
Let c = -14 - -11. Is -0.04 bigger than c?
True
Suppose b - 5*y = -133, 2*b = -0*y + 3*y - 238. Is -114 not equal to b?
True
Let p = -0.2 - -0.2. Let k = -32.1 - -32. Let o = p - k. Which is smaller: o or -0.5?
-0.5
Let b be (-26)/(-30) - 6/(-45). Which is smaller: b or -1/64?
-1/64
Let w = -9 + 11. Suppose -2*h = 3*g - 13, w*h = 3*g + 2*g - 27. Suppose 0 = m + 3*i - 2, 2*i + 2 + 8 = g*m. Is m greater than or equal to -0.2?
True
Let c = -2 + 2.2. Let v = 0.2 - c. Let i = v + 0.1. Do i and 1 have the same value?
False
Let o = -24 - -15. Let f = o - -6. Suppose b + b = -2. Is f > b?
False
Suppose -3*s + 12 = -3*w, -2*w + 4*w = 5*s - 11. Let j(b) = b**2 + 8*b + 8. Let z be j(-6). Are z and w non-equal?
True
Let b = 5 - 5.4. Let i = 91.9 - 88. Let m = -4 + i. Is b >= m?
False
Let l(b) = b + 3. Let v be l(-2). Suppose v = u + 4. Is u > -7/4?
False
Let o = 0.83 - -0.17. Which is bigger: -120 or o?
o
Suppose -28 = -6*p + 8. Is 7 at least as big as p?
True
Let w be (-1)/(-1 + (-1)/(-2)). Suppose -q + 2*q = 0, -g = -w*q + 2. Is -1/2 < g?
False
Let a be 1 + (0/3)/1. Let x = -0.01 + -0.39. Is a at most as big as x?
False
Let c = -4093/1026088 - -4/1757. Let p = c + -4663/5256. Which is smaller: p or -1?
-1
Let s be (-4 + 5)*1*-9. Let b(r) = r + 6. Let h be b(-5). Let z be 2/s - h/9. Which is bigger: -2/5 or z?
z
Let f(j) = j**3 - 5*j**2 + 5*j - 3. Let o be (1/2)/(1/8). Let p be f(o). Is 4/9 smaller than p?
True
Let h = 463/260 + -2/65. Let q = 0 + 4. Suppose q*j = -1 + 5. Which is greater: h or j?
h
Let l(q) = q**3 - 5*q**2 + 5*q + 1. Let t be l(4). Which is bigger: t or 0?
t
Let p = 7753/3 + -2528. Let k = -57 + p. Which is smaller: 5 or k?
k
Suppose o - 8 = -14. Is -27/5 != o?
True
Let x = 30 + -27. Are x and 0.5 non-equal?
True
Let w(g) = -g**2 + 5*g - 1. Let i be w(4). Let j(r) = 4*r - 97. Let o be j(24). Which is smaller: o or i?
o
Let m = -4.1 - -0.1. Let s = -2 - m. Let q = 0.1 - -0.9. Which is smaller: s or q?
q
Let i = 2 - 5. Which is greater: 0.06 or i?
0.06
Let v = 0.04 + 0.16. Let r = -2 - -1. Is v >= r?
True
Let i = 1.37 + -0.07. Let c = 0.9 - -0.1. Let l = c - i. Which is greater: l or -1/4?
-1/4
Let m be (3 - 2) + 3 + -2. Let z be (m - 1) + 1092/(-1026). Let k = z + -3/19. Is 1 at least k?
True
Let s = 20 + -20. Let a be 1 + (2 - 2) + 2. Suppose i - 2*g - 7 + a = s, 0 = 4*i + g + 2. Which is smaller: i or 2/15?
i
Let f = 2 + -5. Let q = -0.31 - -0.01. Let d = q + 0.2. Which is smaller: d or f?
f
Let u be (0 - -1) + 21/(-1). Let a be (-48)/u - (-2)/(-5). Suppose -12 = a*l - 4. Is -5 at least as big as l?
False
Suppose 12 = 3*f + 3. Suppose -3*m + 6 - f = 0. Let n = m + -5. Is n bigger than -4?
False
Suppose -61 - 35 = -6*u. Is u greater than 16?
False
Let q = -7 - -7. Suppose q = 2*o - 4*o. Which is smaller: -2/3 or o?
-2/3
Suppose -5 = -4*k - 1. Let s be 2/(-6)*(-12 - -3). Suppose 0 + s = 3*x. Are x and k equal?
True
Let u = 2/23367 - -46060/7874679. Let v = -1338/1685 - u. Which is smaller: -1 or v?
-1
Let h = -17 - -2. Let k be 3/h*-1*2. Let w = 101/5 + -20. Is w equal to k?
False
Suppose 0 = 4*o - 14 - 6. Suppose 0 = -o*n + 4*b + 32, 4*n = 2*b + b + 25. Which is smaller: 5 or n?
n
Let u = 38.6 + -25.78. Let p = 13 - u. Let h = p + 0.02. Is h equal to 1/3?
False
Let z(s) = -s**2 + 6*s - 2. Let y be z(6). Let a = 2 + -5. Do a and y have different values?
True
Let j = -0.1 - -0.13. Let b = -3.3 + 2.3. Is b smaller than j?
True
Suppose -2*n = -5 + 13. Let w(i) = i - 4. Let m be w(9). Suppose 2*c = -m*j + 5, 0 = -4*c + j + 3*j - 32. Is n <= c?
False
Suppose -4*c = -20, -3*c - 10 = 4*w - 33. Let s be 14/10 - 4/10. Let l be ((-9)/(-6))/(s/2). Which is smaller: l or w?
w
Let w(d) = 4*d**2 + d - 1. Let r be w(1). Suppose 5*m = -j + 9, 25 - r = m + 5*j. Suppose 0 = -4*p + 21 - m. Which is bigger: 9/2 or p?
p
Let c = -29/12 + 107/36. Is 2 at least c?
True
Let r be ((-1)/((-3)/12))/2. Suppose 2 + 2 = r*y. Suppose -y*u = -5*u. Which is greater: -1 or u?
u
Suppose 0 = -6*z + z. Suppose -2*w + 3*f + 14 = -3, z = -3*w - 5*f - 22. Is 2 equal to w?
False
Let s = 4 - 6. Suppose -10 - 10 = -2*o + 5*u, 0 = -5*o - 4*u - 16. Let w = -2 + o. Is s at least w?
True
Let t = 0.8 + -1. Let g = -5 - -4.2. Let j = 0.2 - g. Which is greater: t or j?
j
Let m(a) = -a**3 - a**2 - a + 2. Let v = 6 + -3. Let t = -3 + v. Let z be m(t). Which is bigger: z or 4?
4
Let d = -10 + 10. Let j = -10 - -4. Let q = j - -4. Which is bigger: d or q?
d
Suppose -4*r + 17 = -3. Let s be 105/25 + (-1)/r. Suppose s + 4 = -4*u - 4*y, -4*y = -3*u - 13. Is u < -2?
True
Let c be (14/3)/((-4)/(-18)*3). Which is smaller: c or 8?
c
Let g be 5/(-15) + 113/(-3). Let q = -189/5 - g. Which is greater: q or 0?
q
Let m be ((-6)/(-8) + 0)*60/(-75). Which is smaller: m or -0.5?
m
Suppose -4*f + 0*f + 8 = 0. Suppose 0*n = -f*n. Let r be ((-2)/(-3))/(22/(-33)). Is n less than or equal to r?
False
Let n = -54 + 78. Is n greater than or equal to 23?
True
Let h(b) = b**3 + 6*b**2 - 7*b - 4. Let w be h(-7). Suppose 5 = -5*c - 3*o - 2, -4*o = c + 15. Let y = c + w. Which is bigger: y or -2?
-2
Let n be (-8)/4 - 31242/(-90). Let k = -253 + -92. Let z = k + n. Which is smaller: -1 or z?
-1
Let n(i) = 7*i**3 - 13*i**2 + 21*i + 5. Let s(j) = -4*j**3 + 6*j**2 - 11*j - 3. Let v(c) = 3*n(c) + 5*s(c). Let x be v(8). Which is greater: x or 1/28?
1/28
Let u = -1 + -3. Let l(w) = w + 4. Let z be l(u). Suppose 0 = -7*o + 3*o - 4*t - 20, 4*t + 20 = 5*o. Do z and o have the same value?
True
Let k = -91 - -44. Which is smaller: -48 or k?
-48
Suppose -11*w + 6*w + 10 = 0. Which is smaller: 5/6 or w?
5/6
Let p be 10 + -8 + (-12)/(12/3). Let a = -7.06 - -7. Which is smaller: p or a?
p
Suppose -26*b = -27*b + 12. Is b != 13?
True
Let w = -1657187022/995 + 1665515. Let x = -1/199 + w. Which is bigger: -2 or x?
x
Let l be (2/(-5))/((-5)/(-550)). Let o = 85/2 + l. Are -1 and o equal?
False
Let j be (-174)/(-2) - 1 - 1. Suppose -5*a - 185 = j. Let n = a - -490/9. Which is bigger: 0 or n?
n
Let p = -15 + 9. Let f be (5/(-15))/((-1)/p). Is f less than -1?
True
Let q = -9 + 9. Is 4/3 >= q?
True
Let j be (-6)/(-10) - 154/(-35). Is j at least as big as 2?
True
Suppose -4*k = -18 + 6. Suppose -6 = -3*c, 0 = k*j + 3*c + c + 16. Is -9 greater than or equal to j?
False
Let o(m) = -m - 2. Let t be o(-6). Suppose t*w + 9 = -3*f, 6*f - 3*f + 5*w + 12 = 0. Suppose 0*r = 4*r - 12. Which is smaller: f or r?
f
Let d be 3 + (0 - 3) + -1. Which is smaller: d or -3/7?
d
Let v(b) = -b**3 - 33*b**2 - 31*b + 38. Let a be v(-32). Let h be 2/(-4) + (-25)/(-10). Let f = 0 + h. Are f and a non-equal?
True
Let j = 1/43 - -41/86. Let r be ((-2)/2)/(3/(-3)). Let z be ((0/r)/2)/(-1). Ar