 g be (0/(-1))/(2 + z). Is 0 <= g?
True
Let w = -5 - -13. Let a = w + -5. Is a less than or equal to -1/5?
False
Let s = 22 - 52. Is s > 1/4?
False
Suppose -3*l - 14 = -74. Suppose 5*m - 14 = q, -q - 3*q = -2*m + l. Suppose -m*s - s = 0. Which is smaller: s or 1/2?
s
Let f = -2/26741 - -6230667/187187. Let o = 28 - 61. Let c = f + o. Is c smaller than -1?
False
Let l be (-226)/(-240) + 15/25. Let t = 17/8 + l. Which is bigger: t or 4?
4
Suppose -2*k - k + 3 = 0. Let j be 5/(5 - 4) + -1. Which is bigger: k or j?
j
Suppose -3*s = -0*s. Do -1 and s have different values?
True
Suppose 2*p - 3 = -3*p + 4*z, 2*z = 3*p - 3. Is p smaller than 3?
False
Let g(s) = 2*s**2 - 3*s - 1. Let r be g(3). Let p = r - 6. Let u be 2/(p + 0 + -3). Which is greater: -6/5 or u?
-6/5
Suppose -7 = -3*x + f + 1, -3*x + 3*f + 18 = 0. Let j(m) = m**3 + 1. Let c be j(x). Suppose -3*l = -3*z, c*z + z + l = 0. Is z > -0.2?
True
Suppose 0 = -5*o - 3*p + 52, -4*p = -o - 0*o - 8. Let v = 7 - o. Suppose 3*n - 1 + 4 = 0. Is v greater than or equal to n?
True
Suppose 0 = -2*n - 3 - 5. Let a(y) = y**3 - 5*y**2 - 7*y + 4. Let v be a(6). Which is smaller: v or n?
n
Let m(v) = v - 11. Let d(k) = 1. Let c(b) = -5*d(b) - m(b). Let o be 111/15 + 2/(-5). Let p be c(o). Is -1/6 greater than or equal to p?
True
Let p = -64/3 - -173/15. Is p greater than -9?
False
Suppose s - 6*k = -k + 7, s = 2*k + 22. Is s equal to 33?
False
Let b = -38 + 113/3. Suppose 0 = -i + 2*i - 6. Suppose 3 - 5 = -f, 4*l - i = -3*f. Which is smaller: b or l?
b
Let x = -61 - -61. Is x >= -10/63?
True
Let l = -10 - -10. Suppose l*j = q + 2*j - 7, -3*q - 9 = -4*j. Which is smaller: 3/5 or q?
3/5
Suppose z = 90 - 23. Which is greater: 66 or z?
z
Let h = -84 - 42. Let d = -2201873/17420 + -3/3484. Let r = d - h. Which is greater: r or -1?
r
Let j(o) = -5*o**2 + 10*o + 2. Let g(l) = -l**2 + l. Let h(p) = 6*g(p) - j(p). Let z be h(-3). Let u = -3.02 - -0.02. Which is smaller: u or z?
u
Suppose o + 6 = 3. Which is smaller: o or -2?
o
Let k = -9 - -13. Suppose k*d = 6 - 2. Is 1 less than d?
False
Let j be (-7)/5 - 4/20. Do j and -1 have the same value?
False
Let k = -6 - -3. Let u = k + 3. Let j = 4 - u. Is j at least 0?
True
Suppose -6*b + 3*b = 0. Let k be (7*-2)/(b + 3). Which is greater: k or -4?
-4
Let t = 16.09 + -17.1. Let d = 0.19 + -0.2. Let c = t - d. Is c less than or equal to 0.1?
True
Let n be 1/2*(-1 + 11). Suppose 4*f + 20 = -0*f - 5*v, n*f = -5*v - 25. Suppose 5*w = 15, 0 = -5*z + 4*w - 22 - 15. Is f less than or equal to z?
True
Let u = -6 + 8. Let q be (6/54)/(u/30). Which is smaller: 3 or q?
q
Let n be (-10)/15 + 4/9. Is -3 less than or equal to n?
True
Let x be (22/2)/(6*-1). Which is greater: x or -2?
x
Let w(l) = -2*l + 2. Let f be w(2). Let r = 10 - 10. Suppose 2*m + 4 = -5*d, -3*d + 3*m = -r*d + 15. Is f smaller than d?
False
Suppose 1 = s - 1. Suppose 2 = -2*c + 4*c. Let z = c - s. Is z at most as big as -1/9?
True
Let z = -2.7 + 3. Let n = 0.051 + 0.049. Is n smaller than z?
True
Suppose -4*f - 10 = 34. Which is smaller: f or -10?
f
Let f(d) = d**3 - 9*d**2 + 7*d + 7. Let j be f(8). Let i = 62 + -373/6. Which is greater: i or j?
i
Suppose 11*y + 74 = -124. Which is smaller: y or -0.2?
y
Let g = -6.02 + 6. Let y = 0 - 2. Is y < g?
True
Let s(t) = -28*t**2 - 2*t - 1. Let p be s(-1). Which is greater: -29 or p?
p
Let s = -284 + 6817/24. Which is bigger: 0 or s?
s
Suppose 0 = -3*s + 6*s - 21. Which is smaller: s or -3?
-3
Let r = -17.7 + 19. Let l = r + -0.9. Are l and -1/2 equal?
False
Let a = 0.54 + -0.34. Suppose 5*r + 14 = -b, 1 = -4*b - b - 2*r. Are b and a nonequal?
True
Let j = -9 + 7. Let n = 1 + j. Is -1/8 greater than n?
True
Let a = 1.8 + -1.8. Let d = 0.14 - -0.06. Which is smaller: a or d?
a
Let a be -4*8/(-12)*6. Let h = a + -14. Is 2 at most as big as h?
True
Let w = 36 + -41. Does w = -1?
False
Let x = -5/48 + -29/3408. Let z = -10/1349 - x. Which is smaller: -0.1 or z?
-0.1
Let y = -0.8 - 0.2. Let x = -0.19 - -0.09. Which is bigger: y or x?
x
Let t = -116 + 118. Let i = 50/3 - 16. Which is smaller: t or i?
i
Suppose 10 = -2*n - 4*j, 0*n + n - 20 = 3*j. Suppose -5*h = 3*y + 2*y - 40, -36 = -5*y - 3*h. Is n < y?
True
Let t = -0.52 - -0.5. Let b = 3.02 + t. Which is smaller: b or -2?
-2
Let t = -9 - -10. Let x be 1/10*t*-1. Is 1 less than or equal to x?
False
Let h = 18 - 3. Is h at most as big as 15?
True
Let t be (3/4)/((-2)/(-8)). Let i = 14.95 - -0.05. Let c = -15 + i. Which is smaller: c or t?
c
Let i be 26/(-39)*1/10. Which is smaller: i or 1?
i
Let c = -21 - -20.7. Which is smaller: 9 or c?
c
Suppose 3*u - 2 = -20. Let s be (-4)/u - 80/84. Which is bigger: s or -1?
s
Let z = 22 - 22. Is z <= -1/7?
False
Suppose -4*m = -2 - 2. Suppose 2*d + 1 = 7. Let x = d + -3. Is m less than x?
False
Let u be 3/15 - (-21)/(-5). Let s = 1/5 + 1/20. Is u at least as big as s?
False
Let z = 13 + -13. Suppose 3*x - 19 = -2*c, 0 = 4*x + x - 25. Let k be (c/3)/(2/1). Are z and k nonequal?
True
Suppose 4*p + 0 - 4 = 0. Suppose -5 + p = -4*s. Let l = -5.59 - 2.41. Which is bigger: s or l?
s
Let a(h) = 5 - 4 + 2*h + 4*h**2 - 5*h**2. Let d be (3/(6/4))/1. Let q be a(d). Is q at least -2?
True
Let u(c) = c - 2. Let m be u(1). Suppose 22 = -4*f + 6. Let y be 1/f + (-9)/12. Is y bigger than m?
False
Let g = 12 - 12.07. Let v be (0 - (-2 - -2))/(0 + 1). Which is greater: v or g?
v
Let c = -38 - -37. Are -6 and c unequal?
True
Let z = 8.7 - 8. Let w = z + -0.7. Is -4 smaller than w?
True
Let i = -3/26 - 11/130. Let u be (-4)/(-6)*6/2. Suppose -2*k = -4*k + u. Which is smaller: k or i?
i
Let u = -0.03 + -4.77. Is 2/3 bigger than u?
True
Let h = 4076/9 + -454. Is h < -2?
False
Let z = 2.8 - 3. Let i = -0.2 + z. Let x = i + 1.4. Which is greater: -0.1 or x?
x
Suppose 3*g - 2 = 1. Suppose -m - 4 = 2*o + m, -4*m + 16 = 0. Let f(x) = -x**3 - 6*x**2 - x - 5. Let c be f(o). Is g < c?
False
Let u = 0.3 + 0.2. Let m = 9.1 - 9.2. Is u at most as big as m?
False
Let j be -5 - -2 - 48/(-14). Suppose -2 + 4 = 2*b. Which is greater: j or b?
b
Let i = -0.2 - -5.2. Let q = 3 + i. Which is bigger: q or 1/2?
q
Suppose 3*m - 6*z + 2*z - 56 = 0, 4*z - 28 = -4*m. Suppose 3*j - j - m = -3*p, 0 = -3*p + 2*j. Is p less than 5?
True
Let g be (-1)/(-3)*3/1. Let m be -7*g/5 + 1. Let i = -69 + 69. Which is greater: m or i?
i
Let w(v) = -9*v**2 - 11*v + 35. Let r(f) = 5*f**2 + 5*f - 18. Let q(z) = 7*r(z) + 4*w(z). Let i be q(-10). Suppose -i*n = -n - 12. Are n and 4 unequal?
False
Suppose 4*r = 20, -33 - 12 = -4*k - 5*r. Is 6 at most k?
False
Suppose 5 = u - 4*j + 6, 3*u - 4*j = -3. Are 3/23 and u unequal?
True
Let y be 5/((-10)/(-6)) - (0 + 1). Which is bigger: 4/7 or y?
y
Let k = 5079 - 19705/4. Let d = -152 + k. Is 2 less than or equal to d?
False
Let a be 159/42 - (-13)/(39/(-12)). Let o(t) = -t**2 - 4*t + 5. Let f be o(-5). Which is bigger: f or a?
f
Let d = -475/2097 - -1/233. Let r be (-2)/5 + 22/(-45). Let b = d - r. Which is smaller: 0 or b?
0
Let c = 0.4 + -0.42. Let r = 0.02 + c. Which is bigger: -0.1 or r?
r
Let i = -13 + 6. Let m = i + 7. Suppose m = 2*u + u. Does -1/8 = u?
False
Let o = 140/11 - 12007/946. Which is smaller: o or 1?
o
Let o = -2.03 - -0.03. Which is smaller: o or 2/5?
o
Suppose 4*b - 6*b + 4 = 0. Is 1 >= b?
False
Let g(x) = x**2 - 13*x + 14. Let c be g(12). Do 5/2 and c have the same value?
False
Suppose -3*z + 24 = z. Suppose -4*i = -z*i. Suppose 2*u + u + 6 = 0. Is i bigger than u?
True
Suppose -84 = 5*i - i. Let o be (-2)/7 - (-8)/i. Which is smaller: -1 or o?
-1
Let o = -0.184 - -13.084. Let k = -13 + o. Is k != -0.2?
True
Let m = 4 - 0. Suppose 2*d + 0*d = m. Let i be ((-1 - -2)*d)/10. Which is smaller: i or 1?
i
Let p be -2 - 5/(20/(-48)). Which is greater: p or 8?
p
Let o = 0.1 - 0.2. Let x = 0.05 + -0.1. Let a = x - -0.05. Which is greater: o or a?
a
Let u = 2 + -5. Let v be 12/(-8) + (-1)/2. Let x be (-3)/u*(v + 1). Is -1/6 > x?
True
Suppose -4*z + 5*z - 6 = 0. Let o be (z/(-24))/((-18)/16). Which is bigger: o or -1?
o
Let y = 11 - 12. Which is smaller: 2/23 or y?
y
Let j = 1.6 - 0.9. Do 2 and j have different values?
True
Let z = 11 + -10. Which is greater: -2/25 or z?
z
Let o be 5/(-1)*(2 + -3). Let d be (-2 - -3)/(1*o). Which is smaller: d or 0?
0
Let t = 0.094 + -0.094. Let l = 1.2 + -0.2. Is l