). Is -0.2 <= y?
False
Suppose -g + 1 = 3. Let i = 3 + g. Is 1 >= i?
True
Suppose 0 = -c + 2, -y - y - 10 = 4*c. Is y less than or equal to -1/4?
True
Let q = 37 - 112/3. Are -0.3 and q equal?
False
Let t be ((-24)/8)/(-1 + (-21)/(-24)). Does 22 = t?
False
Suppose 2*t + 15 = -3*t. Let l(r) = r + 3. Let p be l(t). Is p <= 1?
True
Let n(v) = -2*v**3 - 19*v**2 + 5*v + 5. Let a(o) = o**3 + 9*o**2 - 2*o - 3. Let g(w) = -5*a(w) - 2*n(w). Let q be g(-7). Which is bigger: q or 1/3?
q
Suppose -4*k = 0, -2*h + 3*k = -2*k + 2. Is h != -4/5?
True
Suppose h = w + 1, 4*h + 2 = -2. Which is smaller: w or 1?
w
Let b be (26/27)/((-25)/4). Let l = -2/27 - b. Which is smaller: -1 or l?
-1
Suppose t = -5*i + 6 + 18, -5*i = -20. Suppose 0 = -m - 1 + 2. Suppose 5*l = m + t. Is l greater than or equal to 1/8?
True
Let f(q) = 4 - 2*q**2 + q**3 + q + 6*q**2 - 3 + 3. Let n be f(-4). Is 1/3 at least n?
True
Let g = 4/17 - -133/85. Which is bigger: 2 or g?
2
Let d = -681/10 - -68. Which is smaller: 0.1 or d?
d
Let h = 163 - 162. Let m be (4/((-68)/(-3)))/(-1). Is h >= m?
True
Let y = -34 + 24. Is 0.2 > y?
True
Let s = 22 + -12. Let z(n) = n**3 - n**2 - n + 1. Let d(o) = 4*o**3 + 5*o**2 - 5*o + 4. Let q(r) = d(r) - 5*z(r). Let f be q(s). Is f at least as big as -1?
True
Let v = 0.1 + 0.4. Let d = 17 - 17.1. Which is smaller: d or v?
d
Suppose -h - 5 = 5*r - 4*r, 0 = -r + h + 5. Is -1/55 at least as big as r?
False
Let o = -112 + 93. Which is bigger: o or 3?
3
Let s be (-1800)/3*8/(-20). Let r be (-2)/(-1) - s/114. Are -1 and r nonequal?
True
Let j be 2/4*-10 - 1. Let o(i) = i**3 + 7*i**2 + 5*i - 6. Let k be o(j). Suppose 2*d + k*a = -5*a - 13, d - 5*a + 14 = 0. Is -10 at least as big as d?
False
Let u = 0.09 + 55.91. Which is smaller: 2/5 or u?
2/5
Let l(o) = -o - 23. Let b(c) = 8. Let x(z) = 8*b(z) + 3*l(z). Let q be x(-4). Does q = 7?
True
Let w = 18 - 71/4. Are w and 6 equal?
False
Let m = 6 - 3. Let r(x) = x**3 - 9*x**2 + 9*x - 9. Let f be r(8). Let a be (f - 7/(-6))*m. Is a at least as big as 0?
True
Let w = -2.9 - -3. Let h = -0.9 - w. Let m = -0.3 + -0.7. Does h = m?
True
Let m = -24 - -26.9. Let z = m + -3. Let b = 0 + z. Which is smaller: 0.1 or b?
b
Suppose -2 = 5*q - 7, 0 = 2*g + 4*q + 2. Suppose 11 = -4*c - 1. Is c greater than or equal to g?
True
Suppose -2*v - v + 7 = 5*z, 19 = 5*v + z. Let o(i) = i**2 + 3*i. Let u be o(-4). Suppose -v = u*j - 0. Is j less than or equal to -2/11?
True
Let c = 33/5 - 7. Which is bigger: -0.61 or c?
c
Suppose 5*i - 73 = -x, 5*i + 5*x - x - 82 = 0. Are i and 12 non-equal?
True
Let u(l) = -l - 3. Let f be u(-7). Suppose 2*k + 1 = 4*h - 5, -1 = f*k + 3*h. Is k <= -2?
False
Let g(h) = -h**3 + 5*h**2 - 2*h - 2. Let z be g(5). Suppose -6*u = -2*u + 8, -5*i = 4*u - 77. Let l = z + i. Which is bigger: l or 0?
l
Let n = 59 - 353/6. Is -5 > n?
False
Let y(d) = -d + 4. Let u be y(2). Is u > 13/4?
False
Let p(s) = 3*s - 1. Let g be p(1). Suppose -5*o - 3*h = 37, o + 4*h = g*h - 13. Is o bigger than -1?
False
Let u = 10639/40 - 266. Is 0 equal to u?
False
Suppose -14*g + 12 = -2*g. Are 1 and g equal?
True
Let j = -2 + 1. Let s = 116 - 113. Which is bigger: j or s?
s
Let u = -12 - -20. Suppose -q + u = 4*k - 1, -k - 3 = -5*q. Suppose d + 5 = -m, 4*m - 4 = -k*d + 4*d. Is m greater than -1/6?
False
Let c = -23 + 13. Is -1 smaller than c?
False
Let p = 531/2 + -275. Let c = 9 + p. Which is smaller: -2 or c?
-2
Let p = 0 + -1. Let n = 0.26 + 0.24. Which is greater: p or n?
n
Suppose 4 + 1 = y. Let m be -1022*(15/(-36))/y. Let a = m + -85. Is a < 1?
True
Let p = 28 + -38. Is p equal to -10?
True
Let r = -0.1 - -0.1. Let c = r + 0.1. Suppose 3*h - 2 = 4. Which is smaller: h or c?
c
Suppose 2*b = 3*b. Which is smaller: -2/9 or b?
-2/9
Let h = 0.3 - 0.2. Let s = 17 - 18. Let d = 1 + s. Which is greater: d or h?
h
Suppose 4*r + 3 - 39 = 0. Let t be 6/r + (-6)/9. Let d = 4/11 - 5/44. Which is smaller: t or d?
t
Suppose 11 - 186 = -5*l. Let k = -106/3 + l. Suppose p - 4 = 2*g - 0, 0 = 4*p - g - 2. Which is greater: k or p?
p
Let u = -4 + 4. Suppose u*y + 2*g = y + 8, 3*y - 3*g = -21. Let r be 0 + (y/(-9))/1. Does r = 2?
False
Let m = -13 - -14. Is m >= 2/37?
True
Suppose -i - i - 6 = 0. Does i = -4?
False
Let j be (5 - 2)/(-3 + 1 + 1). Suppose 2*i + 16 = -2*x, i = 3*x - 2*x. Does j = x?
False
Let i be (-7 + 5)*(-1)/2. Let q be (-6)/18 - i/(-3). Are q and 1 nonequal?
True
Suppose -5*b + 248 + 77 = 0. Suppose -n = 4*r + 10, 2*n = 7*n + 5*r + b. Is -13 < n?
False
Let m = -3 + -1. Let o = m + 2. Is o at most as big as -2?
True
Suppose -2*f + 4 = -4*f + 2*l, 7 = 4*f + l. Let z(i) = i - 3. Let b be z(6). Let a(s) = -s + 5. Let k be a(b). Is f greater than k?
False
Suppose 0 = -4*h - 27 - 45. Is h not equal to -16?
True
Suppose -6*y + 8 = -2*y. Let x = y + 2. Which is greater: -0.1 or x?
x
Let k be (2 - 3)*-23*1. Suppose -4 = 2*o + 4*t, 0*o + 2*o - 5*t = k. Suppose -5*m = -3*m - v + 6, 0 = -4*m - 2*v + o. Is m at least as big as -2?
True
Let o(f) = 5*f**2 + f**3 + 0*f**2 - 2*f**3 + f - 4. Let v be o(5). Is 2 < v?
False
Let y = 8 - -2. Suppose -2*h = 3*h - y. Which is greater: 3/5 or h?
h
Let z(f) = f**3 + f + 1. Let y be z(0). Let s = -533/12 + 7361/156. Let x = -226/91 + s. Which is smaller: x or y?
x
Let f(c) = -c**2 - 5*c - 2. Let l be f(-5). Let x be 2 + 0 + 4/l. Let p be 7 - 4 - 11/4. Which is smaller: x or p?
x
Let l = -99 - -162. Let w be 3/l + (-2)/6. Which is bigger: w or 0?
0
Let r(b) = 6*b + 9. Let k be r(-4). Does k = -15?
True
Let q = 72 - 68. Which is smaller: 5 or q?
q
Let m be 0 + 59/19 + -3. Is m <= 0.1?
False
Suppose -2*g - 7 - 8 = 5*r, 25 = 5*g. Suppose -1 = i - 0. Let o be (6/r - i)*3. Are -1 and o equal?
False
Let m(l) = l - 9. Suppose -c + 3*c + 34 = 4*r, -3*r = -5*c - 29. Suppose -4*w + 24 = -r. Let z be m(w). Is -3/7 greater than or equal to z?
True
Suppose -4*m = -5*a - 33, m - 3*a - 17 + 0 = 0. Let j be (-10)/(-25) + 7/5. Do j and m have the same value?
False
Suppose 5*z + 3 = -3*m, 0*m + 3*z = 2*m + 2. Is m at most as big as -2?
False
Let j(k) = -2*k - 3. Let f(s) = -3*s - 3. Let c(t) = -3*f(t) + 4*j(t). Let q be c(5). Is q at least 2?
True
Let h(m) = m**2 - 8*m - 8. Let u be h(9). Suppose -2*x = 2*x - 12. Which is bigger: u or x?
x
Let l = 0.22 - 0.02. Let s = 8.8 - 4. Let d = l + s. Is d at least as big as 1?
True
Suppose -5*h + 15 = -10. Suppose -h*i = -3*i + 2. Let w(s) = s**3 + s**2 + s + 1. Let j be w(i). Which is bigger: -2 or j?
j
Let m = 6 - 8. Let c = 2 - 4. Is c greater than m?
False
Let s be 12/(-18) + 128/201. Let j = -128/201 + s. Which is greater: 2 or j?
2
Let f = -1330265/22452 + -4/5613. Let y = f + 59. Let m = 22 + -27. Which is greater: y or m?
y
Let g(o) = -6*o**2 - 1. Let w(j) = 2*j**3 - j**2 - j + 1. Let q be w(1). Let z be g(q). Which is bigger: -6 or z?
-6
Let w be -1 - (-2 + (0 - -1)). Which is smaller: w or -2/7?
-2/7
Let v be (-44)/165*2/4. Are -1 and v non-equal?
True
Let y(x) = -x + 9. Let a be y(-5). Let k be (-2)/(-11) + a/(-198). Is 1 < k?
False
Suppose -8 = 2*h, k - 4*h = 6*k - 1424. Let w = -1129/4 + k. Which is bigger: 5 or w?
w
Let z = 20.8 + -21. Let r = 89/3 + -30. Which is smaller: z or r?
r
Let v = -29 - -31. Which is smaller: 19 or v?
v
Let o be 9/2*4/6. Let t be (4/6)/((-13)/o). Which is smaller: t or -1?
-1
Let x = 0 - -1. Which is smaller: x or -1/4?
-1/4
Let g = 1/48 - 149/240. Let k be (-122)/(-120) + (-1)/(-4). Let f = g + k. Is 1 < f?
False
Let n be 3/(-36)*2*-3. Suppose 1 = 5*f - 4. Which is bigger: n or f?
f
Let z be ((-2)/4)/(1/4). Which is bigger: -1/5 or z?
-1/5
Suppose 0 = 5*c - 0*c - 20. Suppose 5*u = -9*o + c*o - 15, -3*o - 6 = 2*u. Let t = 0 - o. Is 1 at most t?
False
Let w(q) = q + 5. Let t be w(-5). Let f be -2 + 3 - (t + 1). Let b be (-2)/(-4)*1/2. Which is smaller: b or f?
f
Let d = -46 + 324/7. Suppose -4*w + 36 = 4*q, -4 = 4*q - 4*w - 0. Let i be (-1)/5*8/q. Do i and d have different values?
True
Let d = -0.1 - -0.02. Let n = -0.08 - d. Let v = -0.1 - 0.3. Is n greater than v?
True
Let n = 6 + 0. Let t = 5 + n. Is t >= 1?
True
Let x = -11.95 + 12. Is -3 bigger than x?
False
Let o = -0.044 + 2.044. Let a be ((-4)/16)/((-2)/4). Are a and o non-equal?
True
Suppose -d + 5*d = 112. Suppose -d = -4*o - 4*b, 5*o = -b + 20 + 7. Is -0.1 > o?
False
Let d = -13 + 9. Let k be