*f - 5*l - 23, 11 = -3*f - 4*l. Suppose -f*b - b - 40 = 0. Let s be 2 - -1 - (-26)/b. Is 2/9 smaller than s?
True
Suppose 0*n - n - 7 = 3*b, -10 = -2*n. Let q = 0.21 - 0.01. Are b and q nonequal?
True
Let o be (-2)/(8/6) - 2227/(-1598). Which is greater: o or 0?
0
Let o be ((1*2)/(26/(-221)))/(-1). Which is greater: o or 16?
o
Let v = -2/45 + 104/315. Let z = 0.092 - 0.092. Which is greater: v or z?
v
Suppose 2 - 3 = -h. Let a = 741/1540 - -9/140. Is a equal to h?
False
Let c(i) = 11*i**3 - 2*i**2 - i. Let k be c(-1). Let f = -10 - k. Which is smaller: 3 or f?
f
Let d = -3/815 - 413/109210. Which is bigger: 0 or d?
0
Let b = 0.07 + -0.1. Let n = b + 0.03. Let m = -1 - n. Is m bigger than -3?
True
Let f = -1.02 + 1.12. Is f less than or equal to 34?
True
Suppose 3*g - 2*b = -60, 3*b = -g - g - 40. Is g at least -2/9?
False
Let l(m) = m + 6. Let k be l(-6). Which is bigger: k or 2/59?
2/59
Let g(y) = -7*y - 2. Let o be g(-2). Suppose -3*n - o = -5*n. Is 7 > n?
True
Suppose -n = -0*n - 4*o, -n - 2*o + 6 = 0. Suppose -z = -n + 2. Is z equal to -2?
False
Suppose -q = 2*q - 375. Suppose -5*b = 2*r - 97, 5*b - q = 5*r - 0*r. Let o be 13/b + (-3)/9. Is o bigger than 1?
False
Let p = 9.31 + 0.69. Is -2 smaller than p?
True
Let c = -5 - -3. Let p(a) = -2*a - 1. Let b be p(c). Let q be (b/6)/(2/4). Which is bigger: 0 or q?
q
Let w = 1 + 5. Let z be 10/w - (-2)/6. Suppose -5*b + z = -3. Is b greater than or equal to 1/2?
True
Let x(h) = -h**2 + 3*h - 2. Suppose 5*y + 3 = 4*g + 4*y, 5*g - 4*y + 10 = 0. Let j be x(g). Let r be -2 - (j + -1)*-1. Does -2 = r?
False
Suppose -21*d = 74 + 52. Let w(o) = 6*o**3 - o**2 - 2*o - 1. Let b be w(-1). Is d smaller than b?
False
Suppose -3*t + 0*n = -2*n - 6, 0 = -3*n - 9. Which is bigger: 1 or t?
1
Let j be ((-5)/(-10))/((-1)/2). Is 3/49 smaller than j?
False
Let i = -7.4 + 7.3. Which is bigger: 0.9 or i?
0.9
Let d be 1*-2 + (3 - 5). Let k be (-11 + (-2 - -2))/d. Let a = -3 + k. Is 0 <= a?
False
Let p = -105 - -425/4. Suppose -5*r - 3*v - 10 = -5*v, 0 = -r + 4*v - 20. Suppose -i - 2*i = r. Which is bigger: p or i?
p
Let f = 15 + -11. Let r(g) = -3*g - 14. Let i be r(-6). Is i <= f?
True
Let s = 3.4 - 3. Let w = s + -0.6. Is 1/2 bigger than w?
True
Let i be (-3)/(-2)*3/9. Let m(s) = -s**3 + 4*s**2 + 6*s. Let f be m(5). Suppose 0 = 3*q - f*q. Which is smaller: i or q?
q
Let q(w) = -w - 2. Suppose -4*f - 7 - 9 = 0. Let k be q(f). Suppose -c = -k*c. Is -1/6 != c?
True
Let k = -1 + 2. Suppose -r = r. Is r bigger than k?
False
Let s = -2/3 - -5/12. Let z = 6.96 + -7. Let j = z - 0.06. Which is smaller: s or j?
s
Let h = -9 + 9. Which is greater: h or 0.5?
0.5
Suppose -5*u = -0 - 5. Let q be u/(-24)*12/(-15). Are 1 and q equal?
False
Let d be (-3)/(-3) - (-5)/(-3). Suppose 3*o = -2*o. Is o equal to d?
False
Let f(d) = d + 3. Let k be f(-3). Let v = 62 + -13. Let m = -195/4 + v. Are m and k nonequal?
True
Let t = -70.83 - -71. Which is smaller: 2/5 or t?
t
Suppose -205 - 47 = 7*c. Which is smaller: c or -2/3?
c
Let c be -1 - (2 - 99/30). Which is bigger: c or 0?
c
Let c be ((-7)/5)/(8/10). Let w(t) = -t**2 - 2. Suppose 0 = 2*s - 3*s. Let h be w(s). Which is bigger: c or h?
c
Suppose 0 = -4*q + 2*b + 32, -4*q + 0*q + 4*b + 28 = 0. Let c = -7 + q. Let h = -4 - -6. Is c greater than or equal to h?
True
Let i be 6/(-4) + (-4)/(-16)*10. Is 0 != i?
True
Suppose 5*q = 9 + 1. Suppose -1 = 3*x - q*x. Let y be 1*(x + (1 - 0)). Is y at least 1/3?
False
Let w = 448 + -8510/19. Is w at most as big as 1?
True
Let t be 48/36*6/(-22). Which is smaller: -0.3 or t?
t
Let i(t) = -t - 2. Let q be i(-5). Suppose 6 = -4*o + q*j - 5, -o - 3 = -j. Is -2/3 > o?
True
Let q be ((-8)/10)/(2/(-10)). Suppose -5*r - 5*f + 60 = 0, 5*f = 4*r + 4*f - 38. Suppose 3*s - 2 = r. Is q < s?
False
Suppose -3*a - 45 = -3*m, -4*a = -3*a + 5*m + 21. Is a != -14?
True
Suppose -2*n - 10 = 0, -5*b + b = 5*n + 13. Suppose s + 15 = -4*g - 2*s, -15 = -3*g + b*s. Is 2/5 at least as big as g?
True
Let q = -3 + 2. Let v = -4 - -4.06. Let r = v - 2.06. Which is smaller: r or q?
r
Let g = -9 + 10. Let p = -79 + 82.3. Let l = p + -3. Which is bigger: l or g?
g
Let n(z) = z**3 - 8*z**2 + 2*z - 9. Let m be n(8). Let j(b) = b**3 + 5*b**2 + 5*b + 4. Let y be j(-4). Suppose y = 2*f + m + 1. Which is smaller: f or -3?
f
Let l = 0.6 + 10.4. Which is smaller: l or 6?
6
Let h = 1 + -9. Let x be 30/h*2/(-5). Suppose 2*c - 4*b = -14, -3*c + 0 = -2*b + 1. Is x greater than or equal to c?
False
Suppose 0*a - 31 = -5*a + 4*y, 3*a = 3*y + 21. Suppose c + 11 = -3*f, -3*f = -a*c - 10 + 25. Are -1/7 and c equal?
False
Let i be (7 - (-20)/(-5))*2/321. Which is bigger: i or 1?
1
Let w be (-80)/(-320)*2*2/16. Let d(x) = x - 3. Let r be d(3). Is w at least r?
True
Let c be (-1)/5 - (-63)/(-585). Is c at least -2/9?
False
Let r be 63/140*(-1)/(-12). Which is greater: r or -1?
r
Let u be 136/28 + 1/7. Let p(i) = i**3 - 7*i**2 - 3*i + 5. Let l be p(7). Let w = -11 - l. Is w >= u?
True
Let i be ((-1)/4)/(5/(-8)). Let z = -88/7 + 90/7. Which is smaller: z or i?
z
Suppose 4*q + q = 105. Let a be (-2)/(-56) - 6/q. Suppose l + 8 = -4*d - 0, 8 = -2*l. Is d smaller than a?
True
Let o be (-34)/(-10) - (-2)/(-5). Let r be (84/20 - 6)/(12/(-20)). Does o = r?
True
Let u be (-2*(-74)/(-8))/(3/6). Is u less than -38?
False
Let p(r) = -r**2 - 3*r. Let g be p(-4). Which is greater: -6 or g?
g
Suppose -4*g + 0*g - 4 = -m, 20 = 5*m. Suppose g = x - 5. Is x greater than 4?
True
Let c(u) = u**3 - u**2 + u - 1. Let d be c(1). Is d less than 2?
True
Let u(a) = -a**3 - 10*a**2 + a + 13. Let l be u(-10). Suppose 0 = -2*v - l*b - 1 - 4, -14 = -v + 4*b. Let q = 1 + 0. Is q >= v?
False
Let n = 8 - 5. Suppose 3*y = -4*c + 76, y - 26 = -2*c + 14. Let g be n/6*4/c. Which is bigger: 1 or g?
1
Let l be 2/(-12)*9/6. Let d(t) = -t**2 + 4*t - 4. Let r be d(3). Which is smaller: r or l?
r
Let l = -53/330 + 2/33. Let s = l + 3/5. Are 0 and s equal?
False
Let q(i) = -i**3 + i**2 - i. Suppose -h + 0*h = 0. Let f be q(h). Is f less than or equal to -2?
False
Suppose 5*u - 1 - 4 = 0. Let x(w) = 7*w**2 - w + 1. Let a be x(u). Which is smaller: a or 6?
6
Let v = -206 - -400. Let c = v + -1360/7. Is c greater than -1?
True
Let c = 38.08 - 34. Let j = c + -0.08. Which is greater: j or -2/5?
j
Let u = -91/3 + 30. Let x = 61 - 60.99. Which is bigger: x or u?
x
Let m = 0 - -1. Let l(s) = -s**3 - s. Let u be l(-1). Suppose 0 = u*i + 2*i + 4. Which is bigger: i or m?
m
Let t be (-3 - -4)*-2*(-2)/4. Is -2/53 >= t?
False
Let d(u) = -u**3 + 2*u**2 + 3*u. Let x be d(4). Let l = -15 - x. Is l bigger than 4?
True
Let o = 1.07 + -0.07. Let w = -0.31 - -0.3. Let l = 0.01 + w. Which is smaller: l or o?
l
Let z = -111 + 110. Let j = -2837/6 - -471. Which is smaller: z or j?
j
Suppose 46 = 5*g - 154. Let n be (-8)/g*(-2 - 0). Is 1/3 greater than n?
False
Let k be 2 - (30/8 + -1). Let n = -85 - -85. Which is smaller: k or n?
k
Let l(w) = w**3 - 3*w**2 + 2*w - 4. Suppose 3*b + 3*a - 18 = 0, -5*b + 2*a + 9 = -0*b. Let y be l(b). Which is bigger: 10/9 or y?
y
Suppose -5*i + 10 = -0. Is 3 less than i?
False
Suppose -1 + 0 = 2*h + 3*l, 0 = 4*l + 4. Is h less than or equal to 1?
True
Let c = 3/13 + -93/65. Is 0 < c?
False
Suppose -3*h + 4*g = -28, -2*g + 5*g = 3*h - 24. Is h > 2?
True
Let s(v) be the third derivative of -v**4/24 - v**3/6 + v**2. Let b(z) = z**3 + 4*z**2 + 3*z - 2. Let a be b(-3). Let p be s(a). Does 2 = p?
False
Let q = -0.11 + 7.11. Let x = q + -15. Which is greater: 0.1 or x?
0.1
Let m be (0 + -3 + 4)*-2. Let k be (3/3 - m) + -2. Which is greater: 7 or k?
7
Let t be (-36)/5 + (-2)/1. Which is smaller: -9 or t?
t
Let t be (-11)/(11/(-12)) + 3. Suppose 0 = -4*q + 9*q - t. Do 3 and q have the same value?
True
Let j(w) = 3*w**2 - 1. Let u be j(-1). Let d = 5 + 3. Suppose b + 2*x - 2 + d = 0, 6 = -3*b - 3*x. Are b and u non-equal?
False
Let a be 0*(1 - (-8)/(-6)). Let c(g) = 5*g + 2 + a + g**2 + 0*g. Let x be c(-5). Are x and -0.1 unequal?
True
Let u = -38 - -40. Let t(w) = -w**2 - 5*w + 2. Let x be t(-5). Is u > x?
False
Let c = -2.1 + 0.9. Let z = 1 + c. Let a = 18 - 16. Is a at most z?
False
Let k = -1/140 - -23/20. Let w(u) = 2*u + 4. Let z be w(-5). Let x(i) = -i - 5. Let f be x(z). Which is bigger: k or f?
k
Let p = 1.4 + -1.6. Let n = 0.3 - 0.5. L