s 0 = o?
False
Suppose -14 = 5*h - 39. Suppose -5*a - u = 2*u + h, -4 = 4*a - 5*u. Is a smaller than 2/7?
True
Let j = 13.1 - 1.1. Which is smaller: j or 2?
2
Let m be (-3)/(-4) + (-8)/(-32). Which is smaller: m or 2?
m
Let l = 70 - 74. Which is greater: l or -15/4?
-15/4
Let v = 0.25 - -1.75. Which is greater: 3 or v?
3
Suppose a + 2*a = 3. Let x be 2 - (-1 + a + 6). Let j = 2 + x. Is -1 at most as big as j?
False
Let n be (-61)/(-3) - 4/(-6). Let v = n + -107/5. Let o be (-2)/1*3/6. Is v greater than o?
True
Let q be 6/(-2) - (-16 - -11). Is q <= 1/4?
False
Let n = 18 - 32. Let i = 8 + n. Is i smaller than -1?
True
Suppose -4*d + 1 = -q - 4, -d + 2*q = -3. Is -2/7 at least as big as d?
False
Let w = 0.4 - 0.3. Let o = 0.14 + -0.32. Let f = 0.48 + o. Which is bigger: f or w?
f
Let h be 3 + (-30)/6 + (-2)/(-1). Is h < -3?
False
Let j be ((-140)/245)/(-1 - (-9)/7). Which is smaller: 0 or j?
j
Let i = -18 + 38. Suppose 5*p - 5*g + 3*g + i = 0, 2*g - 14 = 2*p. Which is greater: -5/2 or p?
p
Let d(n) = -n**3 - 15*n**2 - 16*n - 30. Let b be d(-14). Is -6 smaller than b?
True
Let g = 12 - 12. Do g and 0.1 have different values?
True
Let i = 2.2 - 0.1. Is -1/3 <= i?
True
Let h = 29 - 30. Which is smaller: 5 or h?
h
Let p be (2/3)/((-4)/(-18)). Let s(j) = -j**2 + 2*j - 1. Let g be s(2). Let u = 3 - g. Is p at most u?
True
Let g(j) = -j + 4. Let o be g(3). Let u be 24/36*(-3)/(-2). Is o > u?
False
Let l = -3468235 - -4640498665/1338. Let d = l - 2/223. Let s = 133 + -134. Which is smaller: s or d?
s
Let f = 0.4 - 0.3. Let z(a) = -a**2 + 7*a - 3. Let r be z(6). Is f at most as big as r?
True
Let i = -91/68 + -24/17. Is i at most as big as -3?
False
Suppose c + 3*x + 12 = 4*c, -x + 14 = 5*c. Let k = -11 - -19. Suppose 3*z - 18 = k*f - c*f, 3*f = z - 10. Which is bigger: z or 0?
z
Suppose 4*j = -41 + 9. Is j at most as big as 4?
True
Let r = 0.6 - 2.5. Let w = 2 + r. Which is greater: 2/7 or w?
2/7
Suppose 0 = 2*f - 0*f + 2*a - 1612, 4*f = a + 3219. Let p = f + -5624/7. Let o = -19/21 + p. Is o not equal to 2?
True
Let v be (4/7 - 1) + (-6)/(-14). Is 3/20 greater than or equal to v?
True
Let y be 1/2 - (-2)/(-20). Let h = 10.5 + -10.8. Is y at least as big as h?
True
Let a be (1 - 2)*-68*2. Let b = -682/5 + a. Suppose 1 = -3*d + 7. Is d > b?
True
Let u = -10 + 31. Is u less than 20?
False
Let t = -79 - -37. Let j be t/7*(-2)/4. Suppose x - 4*k = -j*x + 16, -5*x + 14 = -2*k. Is 1 smaller than x?
True
Let w(p) = p**3 + 10*p**2 - 11*p - 1. Let h be w(-11). Let z be 2 - h/((-19)/40). Is z >= -1?
True
Let l be (11 + 0)*-1 - -1. Let v be (-7)/(-5) + 4/l. Is -1/7 greater than or equal to v?
False
Let x(s) = 1. Let l(c) = -c**2 - 6*c - 1. Let r be l(-6). Let g(b) = -b - 3. Let a(n) = r*g(n) - 3*x(n). Let z be a(-1). Is z >= 2/13?
False
Let f(q) = 2*q - 6. Let t be f(3). Is 0.1 greater than t?
True
Let a = 0.208 - 0.008. Which is smaller: 0.17 or a?
0.17
Let a = 4 + -3. Let l be a*-2*1/6. Which is smaller: l or 1?
l
Let g be (-107)/(-4) - (-9)/(-12). Which is greater: g or 27?
27
Let j(z) = z**2 - 28*z + 74. Let i be j(25). Suppose 3*b + 15 = -3*d, -5*d + 4*d - 5 = 5*b. Which is smaller: i or b?
i
Let l = 19 - 2. Is 16 at most l?
True
Let m = 0.6 - 0.5. Let x = 0.1 - m. Is 2/9 > x?
True
Suppose 2*a + 2 = -5*n, -3*n - 2*a - 9 = -7. Let q = -2085 - -229359/110. Let b = q - -1/10. Is n > b?
False
Let m = 4.1 + -4. Let z = -0.1 - m. Let q = z - -0.3. Which is smaller: -2 or q?
-2
Let w(t) = -t**3 + 4*t**2 - 3*t + 1. Let x be w(2). Suppose -x*r + 0*r - 39 = 0. Is -14 at most r?
True
Let g(c) = -c**2 + 6*c + 9. Let t be g(7). Let u be 14/4 + 0 + -2. Which is greater: u or t?
t
Suppose -l + 6*l - 4*j - 14 = 0, 9 = 3*l - 3*j. Which is greater: l or 3/2?
l
Suppose 0 = -11*p - 2*p. Is -5.4 bigger than p?
False
Let w = -9.6 + 1.6. Which is bigger: -0.1 or w?
-0.1
Let y = 3.86 - -0.14. Let x = y - 2. Suppose 0 = -5*h - 0*h - 4*z - 7, 0 = 5*h - 2*z - 11. Is x less than or equal to h?
False
Let f = 0.21 - 20.21. Let i = f - -20.9. Let k = i + 0.1. Which is greater: -0.3 or k?
k
Let k = 0 - -5. Let n = -5.2 + k. Let l(x) = -x**3 + 7*x**2 - 6*x. Let g be l(6). Which is smaller: g or n?
n
Suppose -3*a = -4*b - 4, -a + 3*a + 2*b = 12. Let i = 5 - a. Is -3/10 smaller than i?
True
Let a = 4041/43 + -94. Is -1 equal to a?
False
Let i = -14 + 24. Let c be (-8)/i*45/6. Which is bigger: -5 or c?
-5
Let o = -43/15 + 4/15. Suppose 92*b = 91*b - 2. Is o <= b?
True
Let z = -49 - -132. Is 83 greater than z?
False
Let j = 86 - 60. Let r = 32 - j. Which is smaller: 5 or r?
5
Let u be ((-2088)/(-20))/(-2)*-2. Let a = u + -104. Which is bigger: 0.05 or a?
a
Let m(w) = -w + 2. Let k be m(-11). Let j(v) = v**2 - 13*v - 1. Let b be j(k). Is b greater than -14?
True
Let w be 4/80 + 1/(-4). Suppose 0*h + 28 = 4*h. Suppose -3*a - 5*r = h, -4 = 2*a - 3*r + 6*r. Is a < w?
False
Let q = 56 - 58. Suppose -r = 4*o - 5, 0 = 4*o + 3*r - 2 + 3. Is q not equal to o?
True
Let u be 17 + -9 + 1*2. Are 9 and u non-equal?
True
Let b(k) = 4*k + 4. Let i(t) = t**3 - 7*t**2 + 6*t - 4. Let y be i(6). Let f be b(y). Let w be (-3)/f - (-14)/8. Are w and 0 non-equal?
True
Suppose 5 + 1 = u. Let j be ((-2)/6)/((-2)/u). Which is bigger: 0 or j?
j
Suppose -3*s - 4*f - 46 = 0, 5*s + 2*f - 3*f = -115. Is -22 less than or equal to s?
True
Let i be ((-2)/(-8))/((-5)/12). Let q be 1/1 + -2 + 1. Which is bigger: q or i?
q
Let m = 18 + -17. Is m > 1.5?
False
Let z be 12/(-3) - (-7 - 0). Which is smaller: z or 30/7?
z
Let k = 6/137 + -1257/548. Is -2 > k?
True
Let v(s) = -s - 3. Let w be v(-3). Let b be (-81)/21 + 4/2 + 3. Which is smaller: w or b?
w
Let l(i) = -i**2 + 1. Let d be l(2). Let y = -8 - d. Let a = -3 - y. Are a and 2 unequal?
False
Let l = 146.84 - 147. Which is greater: l or -0.6?
l
Let i(b) = -2*b**2 + 9*b + 17. Let c be i(6). Which is bigger: 1/159 or c?
1/159
Let n be 2/((-12)/20 - -1). Suppose n*y = -0*y - 2*g - 35, -30 = 3*y + 3*g. Is y not equal to 1/3?
True
Let l be (3 + 0)/((-6)/4). Let w be 1 - 3 - (0 + 1). Is l greater than or equal to w?
True
Let q be 2/((2 - 0) + -3). Let r = q - -1. Which is smaller: r or 1?
r
Suppose 6*q = -219 - 69. Is q at least as big as -49?
True
Let x = -1 - -1.04. Let j = 0.6 - -0.4. Which is bigger: j or x?
j
Let x = -53/2 - -49/4. Is -15 greater than or equal to x?
False
Let l = 0.7 + -0.8. Are 7 and l equal?
False
Let u = 80 - 83.8. Which is bigger: 1 or u?
1
Let v(s) = -s + 6. Let f be v(5). Let b = 0.24 + 11.76. Let h = b - 12. Is h greater than or equal to f?
False
Suppose 8 = -0*z - z. Let s be ((28/z)/7)/(-3). Are s and 1 unequal?
True
Let a be 5*3/30 + 0. Let o = -13 + 7. Do a and o have the same value?
False
Let r = -2/583 - -167/2332. Is r >= 0?
True
Suppose -3*a = -3*v + 3, 8 = -5*v - a + 1. Suppose -2*f - 48 = 2*f. Let u = f - -35/3. Which is bigger: v or u?
u
Suppose -f = 2*f. Let r = 11 - 100/9. Is f at most r?
False
Let d be (1 + 2 + -3)/1. Which is smaller: 2/19 or d?
d
Let c = -11.1 - -0.1. Let s = 11 + c. Which is smaller: -3/2 or s?
-3/2
Suppose -2*s - 4*m = 18, -m - 7 = -s + m. Does -5 = s?
False
Let z = 3193/1281 - 52/21. Which is greater: z or 1?
1
Let z = -0.08 - -0.08. Let x = -2 + z. Does -2 = x?
True
Let b = 17 - 18. Let q = 0.9 + b. Let x = -0.2 - -0.28. Is x >= q?
True
Suppose 2*f + 2 = 20. Let t(k) = k - 6. Let i be t(f). Which is greater: -1 or i?
i
Suppose -52 = 3*j - 2*d, -2*j - d = j + 64. Let o = 18 + j. Let u = 1.3 + -0.3. Which is smaller: o or u?
o
Suppose 20 = -5*x, -x - 176 = 3*m + x. Let t = m + 21. Let k be 4*(-2 + t/(-18)). Which is smaller: 0 or k?
k
Let u = 9 + -8. Let t be 28/126 - 65/9. Is u > t?
True
Suppose w - 2*x = -0*x + 27, 42 = 2*w + 2*x. Suppose -2*a = 8, 3*f = 2*a + w + 6. Are f and 8 equal?
False
Let b(c) = -c**3 + 4*c**2 + 3. Let m be b(4). Suppose m*s = s + 10. Suppose -n - 1 = -4*z, 5*n + 4*z - z + s = 0. Which is greater: n or 0?
0
Suppose -4 = -5*g + 1. Let s be (-1)/(g*(-1 + 2)). Which is greater: s or -3/7?
-3/7
Let i(k) = -2*k**2 - 8*k - 24. Let m be i(-7). Are -66 and m nonequal?
False
Let m = -0.09 + -0.01. Let t = -0.1 + m. Which is smaller: t or 0.4?
t
Let l = -0.05 + 0.056. Is l at most -1?
False
Let s = 61.9 - 62. Is 92 at most as big as s?
False
Let g = -8.7 - -8.6. Is -2/9 less than or equal to g?
True
Let 