 b = s - -14. Is b bigger than -3/16?
True
Let x = -7 - -1. Let m(r) = -r - 7. Let i be m(x). Let c be 21/3*(i + 0). Is c less than or equal to -6?
True
Let p be (5/25)/(8/(-10)). Suppose -i + 5*v + 33 = 13, -12 = -3*i + 3*v. Suppose 1 = -k - i. Which is smaller: k or p?
k
Suppose -z = 2*z. Is z greater than 2?
False
Let s = -7 - -9. Suppose 0*j + s = -2*j. Let q = 1 + -1. Which is bigger: j or q?
q
Let o = -2 - -2. Let u = -10 - -6. Let i = 5 + u. Is o >= i?
False
Let q be ((-21)/(-14))/((-1)/(-10)). Suppose -5*i + q = -5*r, -4*r - 5*i = -0*r - 15. Is r equal to 2?
False
Let c = -46 + 46.007. Is c <= 1?
True
Let h = 119 + -119. Which is greater: -2/309 or h?
h
Let g(x) = -x**2 + 7*x - 4. Suppose -r - 16 = 3*m, 2*r + 3*m = -2*r - 28. Let z = 10 + r. Let q be g(z). Is q != 2?
False
Suppose 2*b - 16 = -3*j, 5*j - 9 = -2*b + 15. Let i be (6/(-4))/((-3)/8). Let c(f) = -f**2 + 6*f - 5. Let g be c(i). Is j >= g?
True
Suppose -2*t + 42 - 11 = -5*r, 4*r + 20 = 0. Let j be (4/(-6))/2*t. Is j greater than or equal to -1/4?
False
Let z = -1 + 1.3. Let m = -0.4 + z. Is -2/11 less than or equal to m?
True
Let k = 9 + -16. Is -1 != k?
True
Let p be (21/(-28))/(444/(-32)). Is -0.3 > p?
False
Let j = -0.05 - 0. Let b = j + 2.05. Let a = -0.13 + 0.33. Is a < b?
True
Suppose -4*h - 27 = 37. Let x = h - -33/2. Which is bigger: 0.1 or x?
x
Let o(w) = -w**3 - 3*w**2 + 8*w - 9. Let g be o(-5). Which is greater: g or -1/66?
g
Let g = 20 - 18. Let u = 2 + -1. Suppose -u = 4*k - 13. Is k smaller than g?
False
Let l(d) = d**3 - 4*d**2 - 2*d - 5. Let p be l(4). Let g be (1 - (2 + p))/2. Let f = g + -6. Which is bigger: f or 1?
1
Let r = -1.9 - -6.9. Which is smaller: 2/7 or r?
2/7
Let s be 17 + 2 + -10 + -12. Let h(q) = -q**3 + 6*q**2 - 6. Let p be h(6). Let b = p - -4. Is s at least b?
False
Let f = 77 - 46. Let b = f + -27.4. Let c = b + 0.4. Is -2/5 bigger than c?
False
Let i = -114.9 - -120. Let q = 6.3 + -11.3. Let k = i + q. Are 1 and k non-equal?
True
Let w(y) = y - 1 - 3*y - y**3 + 5*y - 3*y**2. Let d be w(-4). Let j = -6 - -8. Is d greater than j?
True
Let v(f) = 2*f**2 + 2*f - 1. Let o be v(1). Let b = 15 - 12. Is o at least as big as b?
True
Let u(a) = -a + 3*a**2 + 8*a - 4*a**2. Let p be u(7). Let x = 521/91 + -39/7. Which is greater: p or x?
x
Let w = 4.83 - -0.17. Let z = -249/4 + 62. Which is smaller: z or w?
z
Let o = -6 + 8. Let i = -7 + 4.8. Let t = i + o. Is 0 <= t?
False
Let c be (-3 + 1)/(2/(-24)). Is c >= 23?
True
Let m = 1.27 - 2.27. Let o = -0.4 + 0.53. Which is greater: m or o?
o
Let a = 5 - 4. Suppose -3*s - o - 24 = -8, o = -2*s - 9. Let g be (2/(2 - 3))/s. Which is bigger: g or a?
a
Let r = -171/35 - -23/5. Let y = 10 - 7. Suppose -2*k + y*t = 11, t - 5 = -2*k + 4*k. Is r >= k?
True
Suppose 0*j = -3*j + 3. Suppose -2*u = 3*p - 2*p - 16, 5*p = 3*u + 54. Suppose 2*l - j - 3 = 0, 0 = 3*d - 3*l + p. Are d and -1 equal?
False
Suppose -3*x - 2*s + 6 = 0, -5*x + 36 - 13 = -s. Let w(i) = i - 4. Let g be w(x). Is g greater than 6/7?
False
Let s be (-75)/(-27) + (-2)/(-9). Let k = s + -6. Suppose -q - 20 = 5*g - 6*q, -4*g + q - 16 = 0. Which is greater: g or k?
k
Let f be 1 - (87/(-81) - -2). Let j = f + 23/54. Let w = j + -1. Is 0 equal to w?
False
Let c = 33 + -34. Is c greater than -2?
True
Let w(n) = 4*n**2 + 2 - 5*n**2 + 0 + 2*n. Let s be w(2). Suppose -s*u + 1 = -1. Is u > 1?
False
Let b = -26.8 + 2.8. Let a = 25 + b. Which is smaller: 2/13 or a?
2/13
Suppose -y - 2 = -0. Let b be 0 + -3 + (y - -3). Let h be ((-1)/b)/(2/(-12)). Is h at most -4?
False
Let s = 6 + -2. Suppose -n + 8 = -2*q - 0*q, -s*q - 16 = 0. Suppose 0 = j - 1, 2*b - 5*b - 4*j - 2 = n. Which is smaller: 1/3 or b?
b
Let t be (-87)/(-58)*(-1)/(-9). Let g(z) = -z**3 + z**2 - z + 1. Let o be g(2). Let v(j) = j**3 + 5*j**2 - j - 5. Let m be v(o). Are t and m unequal?
True
Suppose 0 = 4*a - 2*a - 10. Suppose g - a*f + 2 = -3*f, -2*g = 5*f - 5. Let u = 114.06 - 114. Which is smaller: g or u?
g
Let n = -3 - -6. Which is smaller: n or -1/23?
-1/23
Let v(g) = g - 20. Let j be v(11). Let w(l) = l + 5. Let u be w(j). Which is greater: -2/5 or u?
-2/5
Let z(p) = p**2 - 5*p + 4. Let i be z(4). Suppose -12 = 2*h - 4*h. Let n be h + -6 + -1 + 1. Is n less than i?
False
Let d be (-5)/4 + (-4 - (-7 + 4)). Which is bigger: -2 or d?
-2
Suppose 0*f + 4*f = 0. Let a = 3318225/2833508 - 1/74566. Let y = a - 8/19. Which is bigger: y or f?
y
Let f(m) = -m**2 + 11*m - 10. Suppose 3 = 2*c - a, 2*c + 5 + 7 = 4*a. Suppose -24 = -2*j - c. Let g be f(j). Is 3/4 <= g?
False
Let u = 9 - 4.5. Let s = u - 4. Let b = s - 0.4. Which is smaller: 3 or b?
b
Suppose 2*i = -i + 6. Let z(d) = d**3 + 5 - d + 3 - 7*d**i + d**2. Let r be z(6). Is r bigger than 2?
False
Suppose 0 = u - 3, -3*u = -p - 2 - 4. Suppose -3*z + 68 = 4*f, -5*f = 4*z + 3 - 89. Suppose 2*x - f = 3*x + p*q, 15 = -3*q. Is 4 at most as big as x?
False
Suppose -4 - 2 = -2*z + 3*q, 2*z - 18 = -3*q. Let t(v) = v**2 - 6*v - 7. Let o be t(z). Let b = o - -5. Is b at least as big as -3?
True
Suppose 6*q + 108 = -3*q. Which is greater: q or -13?
q
Let j(d) = -4*d + 1. Let w be j(-1). Suppose -3*v - 2*v = w. Let k be (-27)/105 + (-3)/(-15). Is v at least as big as k?
False
Let l be ((-6)/(-8))/(2/8). Let h(r) = r**3 + 6*r**2 - r - 4. Let k be h(-6). Are k and l non-equal?
True
Suppose -12 = 5*a + 13. Is -6 at least a?
False
Let j = 124 - 125. Do -0.035 and j have different values?
True
Let l be (-5 + -6 + 6)*(-4)/(-10). Is -10/11 <= l?
False
Let s(w) = 2*w**2 + w - 1. Let d be s(1). Suppose 3 = -3*o + 18. Suppose 3 = -o*h - d. Is -2 not equal to h?
True
Let a = 4 + -1. Suppose a*b - 15 = -2*b. Let m = -2 + b. Is m bigger than 2/37?
True
Let n = -15.8 - -16. Which is smaller: -4 or n?
-4
Suppose -3*y = 1 - 7. Let m be (y/(-4))/1*0. Let r be 0 - m - (0 + -3). Is r greater than 3?
False
Let v be (-13)/(-39)*1*21. Suppose 0*q - 4*q + v = -r, 3*q - 12 = 3*r. Is q greater than 2/27?
True
Let u = 9/13 + -127/52. Is 2 less than u?
False
Let s = 31543/4 - 7831. Let q = s + -54. Suppose -n = 2*n. Which is smaller: n or q?
n
Let s = 0 + 0.1. Let f = -0.5 - -0.5. Let w = f - 0. Which is greater: s or w?
s
Suppose -a = 5*b + a - 3, 2*b - 5*a - 7 = 0. Which is greater: 2/5 or b?
b
Suppose z - a - 2 = 0, -2*a + 6 = a. Suppose 1 = m - z. Suppose 0 = -p + m*p. Are -2/21 and p nonequal?
True
Let q be 2/(-3) + 5/3. Let o = 1 + -8. Let m be 128/252 + 2/o. Which is smaller: q or m?
m
Let h(q) = q**2 + 6*q + 5. Let v be h(-6). Let z be (-15)/(-174)*1/v. Let g = z + -121/290. Is g smaller than -0.1?
True
Let r be 2*1 - (-1 + 2). Let y be r*-2*2/(-5). Is 0 at most y?
True
Let o = 0.9 + 0.1. Let g = 0.04 - -1.96. Let s = g - o. Is -0.1 less than or equal to s?
True
Let z = 7 + -9. Is 0 at least z?
True
Let a be -1 + 4 + 28/7. Is a greater than or equal to 4?
True
Let l(f) = -4*f + 1. Let w = 0 + -1. Let i be l(w). Is 6 != i?
True
Let t(a) = a**3 + 4*a**2 - 6*a. Let o be t(-5). Suppose -14 = -o*k - 4. Suppose 17 = k*s + 5*d, s + d + 2 = 6. Which is greater: s or -2/7?
s
Let u = -3 + 8. Suppose 8*c = 4*c + 8. Suppose 2*j + u = -v - 0*v, 0 = -4*v + c*j. Is 2/13 greater than v?
True
Let m be ((-1)/2)/(1/2). Let g be (-4)/(-27)*(2 - -1). Which is smaller: m or g?
m
Let x = 78812/5 - 15944. Let d = 181 + x. Is -1 greater than d?
False
Let n = 8/51 + 3/17. Let l be 2/(-6) + 350/(-3). Let j = 583/5 + l. Which is greater: j or n?
n
Let m = 4 + -8. Let s = -22 + m. Let t be (-28)/(-13) + 4/s. Is t < 1?
False
Let g = 6 + -13. Let o(n) = -n**2 - 2*n + 9. Let v be o(-5). Which is smaller: v or g?
g
Let j be -1*4/24*2. Which is smaller: 1 or j?
j
Let x = 34 - 6. Are x and 0 equal?
False
Let c(h) = 5*h - 3*h - 3*h + 3. Let q be c(0). Which is smaller: 2 or q?
2
Let l = -18.13 + 18. Is 0 > l?
True
Let s be (1/2)/((-2)/(-198)). Let b = -50 + 2. Let t = b + s. Is t greater than 3?
False
Let z be 18/175 + (-5)/35. Which is smaller: 1 or z?
z
Let q be (1 - -2)/((-3)/4). Let g = q - -3. Which is smaller: g or -6?
-6
Let c = -407/81 - -17012/4455. Let u = c - -1/165. Is -2 > u?
False
Let y be ((-27)/6)/((-9)/24). Let p(d) = -d**3 - 6*d**2 + 8*d + 4. Let t be p(-7). Let a be (-20)/y - 2/t. Is a != -1?
False
Let i(g) = 5*g - 3. Let l be i(-6). Let m be (l/(-22))/((-3)/32). Is -17 <= m?
True
Let i be 2/(-4