-3)/9). Which is greater: o or g?
g
Let p be 4/(-6) + (-8)/6. Let z be 2/2 - (-2 - -1). Let n be z/(0 - (p + 3)). Is n > -2?
False
Suppose 4*a - 8*a = 8. Is -0.4 at most as big as a?
False
Let d = 2213/28 - 79. Which is bigger: -1 or d?
d
Let d = 3.7 - 3.93. Let w = d - 1.77. Which is greater: w or 0?
0
Let i = -152/55 + 26/11. Let u = -3 - -1. Let t be u/3 - 1/3. Which is greater: i or t?
i
Let x = -0.2 + 0.7. Let y = x - -1.5. Are -2/5 and y nonequal?
True
Let q = -27 + 34. Let x = -0.5 + 0.5. Is q > x?
True
Suppose 11*a = 13*a. Which is smaller: -2/5 or a?
-2/5
Suppose 2*z + 2*d = -2*z - 52, 4*d = -3*z - 44. Is z at least -3?
False
Let c = -2.7 - -2.4. Which is smaller: 5 or c?
c
Let c(t) = -2*t**2 - t - 1. Let a be c(2). Let b = a + 9. Let n = 70 - 356/5. Are n and b equal?
False
Let p = -5 - -8. Suppose -p*o = -1 + 10. Let l be 0 + 1 - 10/2. Is o greater than or equal to l?
True
Let b = 0.23 - 0.33. Is b greater than or equal to -25?
True
Let v = 0 - 8. Let r(j) = -j**3 + 2*j**2 + 2*j - 3. Let f be r(3). Let m be v/f*15/110. Are m and 1 equal?
False
Let g = 161.055 + -161. Is -1/2 < g?
True
Let l = -16 + 12.8. Let k = l + 3. Let w be ((0 + 1)*2)/(-7). Which is greater: k or w?
k
Let m be 0 - -1*(4 + 3). Which is smaller: -0.1 or m?
-0.1
Let s(y) = -y + 4. Let f be s(4). Suppose f = -c - c. Are 4 and c non-equal?
True
Suppose 0 = -18*h - 14 - 220. Which is smaller: h or 1?
h
Let s(y) = -2*y - 15. Let i be s(-11). Let x = i + -7. Which is smaller: 2 or x?
x
Let l(s) = s**3 + 5*s**2 - 5*s + 8. Let f be l(-6). Let h = -1 + f. Is 2 equal to h?
False
Suppose -t = 4*f - 6*f + 5, 2*t = -2*f + 14. Let n(k) = f*k + 7*k - 10*k + 3. Let r be n(-4). Which is smaller: 1/6 or r?
r
Let y be 2 + 0/4 + -3. Is 2/37 equal to y?
False
Suppose 0 = -7*w - 8*w + 75. Let k(h) = -3*h. Let j be k(-1). Is w less than or equal to j?
False
Let r be (-2)/(-4*2/(-338)). Let q = -83 - r. Suppose m + 0*m - 2 = 0. Is q greater than m?
False
Suppose 5*b + 23 = -7. Which is bigger: 0 or b?
0
Let j be 14/(-35) + (-46)/(-90). Suppose 1 = -v + 2. Is v less than j?
False
Let z = -354.14 + 365. Let b = -0.14 - z. Which is bigger: 0.1 or b?
0.1
Let y(i) = -2*i**3 - i**2 - i - 2. Let v be y(-2). Which is greater: v or 11?
v
Let d = -0.06 + 2.06. Let p = d - 2.5. Let m = p + -0.5. Is m not equal to 1/2?
True
Suppose -4*j + 9 = -5*l - 8, 4 = j - l. Suppose -j*m - 2*x = 0, -3*x = -6*m + 2*m. Is m > -1?
True
Let m = -8.96 - -9. Let a = 0.16 + m. Which is bigger: -0.06 or a?
a
Let x = 0.26 - 0.36. Let m = 0 - x. Which is smaller: m or 1/3?
m
Let m be ((-6)/(-15))/(22/20). Which is smaller: m or 0?
0
Let n = 0.1 - 0.4. Is n != -0.3?
False
Let n = 0.705 - 0.7. Which is bigger: -0.1 or n?
n
Let z be 8/(4/(-6) + 0). Let u be 9/z*(-2)/(-3). Suppose q - 2*t - 6 = -0*q, -8 = 2*t. Is q smaller than u?
True
Let a be (-9)/(-2) - 7/14. Let q be (a + -4)*(1 - 0). Is -3/13 at most as big as q?
True
Let w be 4/(3/(1 + 2)). Suppose 5*q + 4 = -4*o + 9, w*o = -q + 17. Suppose -o*u = -0*u + 5. Does -2 = u?
False
Suppose -5*g + 0 = -75. Let u = g + -11. Is u != 3?
True
Suppose -3*c = -r + 6, 4*c - 3 - 5 = -4*r. Let f = -8 + 12. Is f != r?
True
Let g = 0.5 - -1.5. Let l = 3/2 + -2. Which is greater: l or g?
g
Suppose -23 = -4*p + 1. Suppose 5*d = 4*i - 15, i - 2*i - 2*d - p = 0. Which is smaller: -3/11 or i?
-3/11
Let y be (-8)/(-44)*(11 + 0 - 3). Is y greater than or equal to 0?
True
Let r = 2.03 + -1.9. Let b = r - -0.87. Is b > 18?
False
Let k = -0.1 + 0.2. Let w = 27 - 53/2. Which is bigger: k or w?
w
Let y = 72641/7 - 10329. Let m = y + -48. Is 1 at most m?
False
Suppose 3*k + 6 = 0, -s - 5*k - 3 = 5. Let l be 0*(1 - -1)/s. Suppose 2*m + 3*m = 5*v + 10, 3*v - 5*m + 10 = 0. Is v < l?
False
Let s(t) = 8*t - 40. Let n be s(5). Is n < 6/11?
True
Let v = -2637/16 + 165. Suppose i + 4*w - 2 = 3*i, 0 = 2*i - 2*w + 2. Which is smaller: v or i?
i
Let a = -1.22 - -0.22. Are -0.02 and a non-equal?
True
Let b = 140 + -68. Is 73 equal to b?
False
Let v(f) = 2*f**2 + 4*f + 2*f**3 - 6*f**3 - 3 + 4 + 3*f**3. Let q be v(3). Let o = 1 + -2. Is o >= q?
False
Let m be (3 + (-267)/90)/(-1). Are m and 0 non-equal?
True
Let h be 2/3 + 4/(-12). Let z(b) = b**2 - 4*b + 3. Suppose -3*v - 2*v = -10. Let i be z(v). Which is smaller: i or h?
i
Let t be 23727/40095 + (-6)/10. Is -1 greater than t?
False
Let h be ((-2)/21)/(21 + -13). Let p = h + -5/252. Is p less than or equal to 0?
True
Let c be (-2)/(-1) - (5 + -3). Is c > -6?
True
Let d = -3.04 + 0.04. Let b = -3.024 + -0.076. Let c = b - d. Which is bigger: 5 or c?
5
Suppose -3*v + 10 = -4*s, 5*v = 3*s - s + 12. Is -2 < s?
True
Let m = -18 - -18.3. Is -6 < m?
True
Let z be 0 - -2*(-5)/(-2). Let a = z + -5. Let w be 1/2*(0 - a). Are w and -1/9 nonequal?
True
Let m = 363 - 23231/64. Are -0.1 and m unequal?
True
Suppose 3*j - 2*a = 2, -2*j + a = 5*a - 28. Let l(c) = c**3 - 3*c**2 - 4*c + 3. Let v be l(j). Suppose -v - 1 = n. Is n <= -4?
True
Let w = -11 + 17. Is w bigger than -0.1?
True
Let y = -0.061 + 0.161. Is y smaller than 4/29?
True
Let s = 33 - 19. Suppose 3*m - s = 4*b + 3, 2*m + 3*b = -17. Is m bigger than 3/17?
False
Suppose -k + 15 = 2*p + 2*p, p + 3*k - 1 = 0. Suppose 0 = -0*z + p*z. Are z and -1/7 nonequal?
True
Let w = 379/3 + -124. Is w bigger than 1?
True
Let h = -11 - -10. Let z be -1*(0 + -1 + h). Is z smaller than 3?
True
Let x(b) = -b**2 - 4*b - 4. Let q be x(-3). Let p = 4/3897 + 110383/31176. Let f = p + -27/8. Which is bigger: f or q?
f
Suppose 0 = -5*l - 4*d + 8, 3*d = -3*l + 4 - 1. Suppose 1 = 5*k - s - 8, -3*s = -k + 13. Let y be k/2 + l/(-8). Which is smaller: 2/3 or y?
y
Let c = -1.9 + 2. Let b(u) = 6*u + 3 + 3*u**2 + 1 + 3*u**2 + 0*u**2 + u**3. Let w be b(-5). Which is smaller: w or c?
w
Let w(p) = p**2 - p - 1. Let t be w(-1). Suppose 2*a - t = 1. Which is smaller: -2/9 or a?
-2/9
Suppose -u - 2*s + 5*s = -21, -2*u + 36 = -4*s. Let i = 40 - 27. Which is greater: u or i?
i
Suppose 4*i = -0*i + 4. Are 2/21 and i unequal?
True
Let i = -0.32 + -0.08. Which is smaller: i or 3?
i
Let b(j) = 511*j**2 + 2*j - 1. Let r be b(1). Let n = 760 - r. Let y = n - 1244/5. Is y < 2/7?
True
Let u = -7 + 4. Let k = u - -2.8. Is 1 at least k?
True
Let q be 2*(10 - (1 - -1)). Which is greater: q or 15?
q
Suppose 0 + 2 = -2*w, 5*b = -5*w + 30. Let o(v) = -v**2 + 16*v + 23. Let j be o(17). Which is smaller: j or b?
j
Let l be (-6)/10 + (-721)/(-35). Suppose 3*c + 19 = g, 5*g - 19 - 76 = -4*c. Which is greater: l or g?
l
Let d = -9/104 + 613/4680. Let w be (-9 - -6) + (-6)/(-2). Which is smaller: d or w?
w
Let y = -182 + 262. Suppose 4*u - 4*g - y = 0, g - 8 = -u - 2*g. Which is bigger: u or 16?
u
Suppose 0 = 3*q - 6 - 6. Suppose -2*r + 5*t = -q*r - 37, 5*r + 75 = 5*t. Let f = r + 63/4. Which is smaller: 0 or f?
f
Let z(x) = 3*x**3 - x**2 - x + 1. Let t(h) = -2*h. Let b be t(-3). Let q = b - 5. Let s be z(q). Is 0 != s?
True
Suppose 5*m - 4*m - 2 = 0. Let z(y) = -2*y - 18. Let a be z(-8). Let k = a + m. Are 0 and k non-equal?
False
Let g(y) = -y**2 + y - 1. Let j(w) = -w**3 - 8*w**2 - 10. Let t(v) = -4*g(v) + j(v). Let h be t(-4). Which is smaller: 0 or h?
0
Let o = 5 - 1. Suppose g + 5*i = -14, 3*i = -0*g - o*g - 5. Which is smaller: 0 or g?
0
Let i be ((63/(-6))/7)/(47/2). Which is smaller: i or -1?
-1
Suppose 3*o - 1 - 2 = 0. Let h(p) = p**2 + 7*p - 7. Suppose -5*y = -5*a + 50, 10 = 4*a + a. Let z be h(y). Is o equal to z?
True
Suppose -2*h = h - 33. Let v = h - 10. Let l = 2068/9 - 230. Are l and v equal?
False
Let m(q) = q**3 - 6*q**2 + 6*q - 6. Let i be m(5). Which is smaller: i or 3/8?
i
Let t = -4 - -11/3. Let f = 15 - 106/7. Is t at most f?
True
Let k = 0.77 - -0.03. Let o = k + -0.6. Is o > 0.3?
False
Let s = 21 + -15. Let m = -6.9 - -0.9. Let y = m + s. Which is bigger: y or 0.4?
0.4
Let c = -19 + 17. Let m be -7 + 3/(9/3). Let a be (c/8)/(m/(-8)). Is a at least -5?
True
Let k = 1 + 3. Suppose -k*f + w + 5 = 0, -f + 5*w - 19 = -3*f. Let z = 9/13 - 5/26. Is z at most f?
True
Let j = 29/77 + -1/11. Suppose 0 = -z - 0*z + a + 5, 14 = 4*z + 2*a. Suppose -z*i = -i + 3. Which is smaller: j or i?
i
Let n = -34 + 37. Let j = 7 - -27. Let m = -137/4 + j. Which is greater: n or m?
n
Let z = -2 - -6. Suppose 2 = n + z. Is -2 > n?
False
Let o = -7.3 + 0.3. Which is bigge