t**2 - 28*t + 111. Let f be s(23). Which is bigger: l or f?
f
Let d = -0.8 + 1. Let p = 20 - 18.8. Let x = -1.2 + p. Which is smaller: d or x?
x
Let x(k) = -k - 9. Let o be x(-8). Which is greater: o or -1/14?
-1/14
Let k = 5 - 8. Let d(a) = a**2 + 4*a + 1. Let j be d(k). Let m be 2/16*j*-1. Which is smaller: -1/5 or m?
-1/5
Let h = -7.3 + 8. Let u = h + -0.1. Let p = u - 3.6. Is 1 at least as big as p?
True
Let m = 171/29 - 3903/116. Let b = m - -27. Is 0 less than b?
False
Let y = 2044 - 96072/47. Which is bigger: -1 or y?
y
Let w be 4/10 - (-44)/(-10). Let b(c) = -c**2 - 9*c - 4. Let y be b(-8). Suppose -2*m + 8 = -y*q - 0*m, -10 = 4*q - m. Which is smaller: q or w?
w
Let g be (141/(-6))/((-2)/(-4)). Let p be (-1)/2 - g/86. Let z = p - -37/129. Which is bigger: z or 2/3?
2/3
Suppose 3*u + 5 = -k + 2*u, -3*k + 4*u = -20. Suppose 3*c = -k - 3. Are c and -1/4 equal?
False
Let y = 6.8 - 0.8. Let i = y + 0. Are 0.1 and i unequal?
True
Let g be 12/20*1 + 114/(-140). Which is bigger: g or -2/13?
-2/13
Suppose -2*n + 3*n - s = 41, -4*s = 12. Let j = n - -213. Let w = j - 2763/11. Which is smaller: 0 or w?
w
Let v = -39 + 36.7. Let h = -0.7 + v. Suppose 4*o = 2 - 6. Which is smaller: o or h?
h
Suppose -2*y + 0*y - 20 = 0. Let b be (-12)/8*y/3. Which is smaller: 6 or b?
b
Suppose 4*f - 3*g - 137 = 166, 3*g = -2*f + 129. Let s = f + -147/2. Let w = -5 + 3. Is w bigger than s?
False
Let t(m) = -m + 9. Let f be t(8). Suppose f = -5*k + 41. Is 8 != k?
False
Suppose 0 = 4*f + f - 20. Let k be (-12)/f*2/(-2). Which is greater: k or 4?
4
Suppose 3*l + 2*l = 0. Let j be 0/(-1) - (l - -2). Let f be (-35)/(-45) - j/9. Is 1/5 at least as big as f?
False
Suppose 0 = -16*g + 11*g + 5. Is g not equal to 1/92?
True
Let p be (-92)/(-4) + 0 + -3. Let m = 22 - p. Is 1/2 less than or equal to m?
True
Let w be 1 + -1 + 0/1. Let z(c) = c**3 - 7*c**2 + 3. Let p be z(7). Suppose -2*f + 4*n - 12 = -p*f, -n + 3 = w. Is -1/2 at most as big as f?
True
Let x be 1/((-6)/(-2))*0. Let t = 1 + x. Is t greater than or equal to 1/14?
True
Let f = -4 - -4. Suppose 2*a + 4*w - 26 = f, -5*a = 2*w - 9 - 16. Let h = 1 + 0. Is a at least as big as h?
True
Let m be 3 - (-4)/(-2) - 1. Suppose m = -r + 2*r + 4. Let g(w) = w**2 + 4*w. Let y be g(-3). Is y smaller than r?
False
Suppose 5*n - 2*v + 5 = 0, 5*v - 2 + 7 = -5*n. Let k(b) = b**3 + 2*b**2 - 3*b + 1. Let j be k(-3). Let l = j + n. Is 1/5 greater than or equal to l?
True
Suppose p = 2*i - 3*i - 2, 4*p + 6 = -2*i. Are p and 20 nonequal?
True
Let s = -0.01 + 0.01. Which is greater: s or -0.5?
s
Suppose 4*i = -5*k + k + 36, k - 3 = -3*i. Suppose 2*w - 5 = 5*v + 8, -3*w + k = -5*v. Let g = v - -10/3. Is g < 1/3?
False
Suppose -4*m + 0*d + 33 = d, 3*d = -3*m + 27. Let v = m + -6. Which is greater: 3 or v?
3
Let c = -103 - -101. Is -5/19 > c?
True
Let i(k) = k - 8. Let b be i(8). Suppose 2*q + 4*v + 10 = -0*v, 5*q - 4*v - 17 = b. Which is bigger: q or -2/5?
q
Suppose -4*s + 0*s + 16 = 0. Suppose s*q - 8 = -3*i, -4*q + i = 3*i - 8. Is 2 greater than or equal to q?
True
Suppose -4*h - 48 = 4*a - 0*a, 33 = -4*a - h. Are -5 and a unequal?
True
Suppose 5*b - b = -10220. Let z be 1311/b + (-8)/(-28). Let x = z - -2/73. Which is smaller: x or 1?
x
Suppose -4*h + 26 = 3*k, -16 = 2*k - 2*h - 2*h. Let g = 4 - k. Suppose g*u - q + 9 = 3*u, 3*q = -u + 15. Is u less than or equal to -1?
False
Let s = -10.1 - -10.2. Which is smaller: s or 0.054?
0.054
Let v(h) = -h - 4. Let m be v(-4). Which is smaller: m or -6/11?
-6/11
Suppose 15 - 1 = 14*r. Is r > -1/158?
True
Let q(b) = -b**2 - 1. Let h(w) = -w**2 + w - 1. Let z(k) = -3*h(k) + 4*q(k). Let u be z(-2). Which is bigger: u or -3?
u
Suppose 0 = 2*p + 3*p + 30. Let d(q) = q**3 + 5*q**2 - 8*q - 9. Let r be d(p). Is 3 < r?
False
Let r = -0.44 - 0.06. Let c = r - -0.6. Suppose -4*b - 2 - 6 = 0. Is c greater than b?
True
Let b be 6/(-8) - (-36)/48. Let o = 518/9 + -57. Is o less than b?
False
Suppose -23 = d + 4*x, 33 = 2*d - 4*d + 5*x. Is 0.1 at most d?
False
Let u = -2 + 6. Let i = -3 + u. Is -0.1 at most as big as i?
True
Let w = -4 + -33. Is w less than -37?
False
Let f = -0.24 - 3.79. Let m = f + 0.03. Which is smaller: m or 0.1?
m
Let z = 0.9 + -1. Which is greater: 1/7 or z?
1/7
Suppose 0 = -r + v, 2*r - 2*v + 15 = 3*v. Suppose 1 = -4*w + 4*d + 5, -r = w + 5*d. Let n = 1562/15 + -104. Is n at least w?
True
Let q = -60 - -44. Which is bigger: q or -17?
q
Let t = -8.5 - -9. Let p = -0.8 + t. Is p greater than or equal to 3?
False
Let a be (-340)/(-521 + 1 - -1). Let h be (-1)/((-1)/(4/338) - 2). Let n = a + h. Is n not equal to 2?
True
Let l = -14 - -17. Let z be l/(-3) + 1 + -1. Do z and -1/14 have different values?
True
Let m = -0.03 - -0.03. Suppose w - 2*t = t + 9, 0 = -3*w + 5*t + 23. Do w and m have the same value?
False
Let a be 557/(-15) + (-1)/5. Let n = -38 - a. Which is smaller: n or 0?
n
Let x = 0.13 - -0.97. Let t = 157 + -1101/7. Which is smaller: t or x?
t
Let r be (2/(-1))/(-4)*-12. Is 1 < r?
False
Suppose 5*x - 8 = -4*f, -f - 9 + 26 = 5*x. Is 40/9 != x?
True
Let s = 0.38 + -0.27. Let n = s + -0.01. Are n and 0.03 equal?
False
Let a be (-2)/3 + 32/(-60). Let h = 2 - 4. Which is bigger: a or h?
a
Let u = 11 - 10.3. Let t = 1.3 - u. Let h = 0.5 - t. Is h bigger than 2?
False
Let x = -2 + 1.5. Let c = x - -0.7. Which is smaller: c or 0.4?
c
Suppose 0 = 2*f + 71 - 47. Which is smaller: -10 or f?
f
Let h = -3 - -7. Suppose -s + p - 2 = -5, 2*p = h*s - 2. Let o be 1/s + (-3)/(-6). Which is smaller: -1 or o?
-1
Suppose 4 = 3*b + 1, -3*j + 47 = 2*b. Which is smaller: 14 or j?
14
Suppose -4*t = 3*s + 22, 23 - 5 = -2*t - 5*s. Suppose 0 = 5*l - 4 - 6. Suppose 4*a + 8 = -j - 0*j, -4*j = -l*a + 14. Do j and t have the same value?
True
Suppose 5*o - 17 = -2*m, 0*o + 4*m = 4*o - 8. Suppose 5 - 2 = -o*l. Is -2/17 >= l?
True
Suppose 4 = 3*t - 4*t. Let r = t - -12. Which is greater: r or 7?
r
Let z be -1*((0 - -1) + -11). Let l = 8 - z. Which is greater: l or -1?
-1
Let m = -329/244 - -6/61. Suppose 24 = -4*n + 4*l, -2*n - l + 3 + 0 = 0. Which is bigger: n or m?
n
Let u be (6/(-5) - -1) + 52/160. Let a be (4/2)/(0 + 2). Which is smaller: u or a?
u
Let l(h) = -3*h**3 + 2*h**2 - 3*h. Let x be l(2). Let b = -108/5 - x. Which is greater: -1 or b?
b
Suppose 2*n = -3*f - f - 12, 5*f = -3*n - 14. Which is smaller: f or -11?
-11
Let n(p) = 3*p**2 + 16*p + 19. Let a be n(-6). Which is smaller: a or 32?
a
Suppose -1 = 2*t + 7. Suppose -22*a - 100 = -2*a. Which is bigger: t or a?
t
Let w = -2.1 + 3.3. Which is greater: w or 2?
2
Let z(q) = -2*q - 47. Let v be z(-23). Let g be (-2)/(-1)*(-3)/(-54). Which is smaller: v or g?
v
Let l = -2.37 + -0.63. Are 0 and l non-equal?
True
Let a be (3/2)/(1/2). Suppose -2*c + 2*d = -4, 2*d - 1 - 3 = 0. Which is smaller: a or c?
a
Let j be (1 - 1) + 8/56. Is 1 >= j?
True
Suppose 6 + 14 = 4*x. Suppose 4*w - 2 = -w + k, x*w = 3*k - 4. Let j be 2/(-5) + 0/(-2). Which is smaller: w or j?
j
Let c = 2494 + -19907/8. Is c equal to 5?
False
Let f = -0.8 + 3.8. Let b = f - 3.1. Let v = 0.23 + -0.13. Which is smaller: b or v?
b
Let g = 121 - 116. Is g greater than or equal to 5?
True
Let k be 16/9 - 2/(-9). Which is bigger: 8/7 or k?
k
Let n(q) = -q**3 - 1. Let v be n(0). Which is smaller: v or -2?
-2
Let i(p) = -12*p - 3. Let y be i(2). Is y greater than or equal to -27?
True
Let w be (-620)/(-36) - 0/1. Let t = 17 - w. Which is greater: -1 or t?
t
Let v = -6 - -7. Suppose h = -0*h - v. Let m = -479/6 - -80. Is h bigger than m?
False
Let d = -0.28 - -0.18. Is d >= -1/8?
True
Suppose -c - c + 10 = f, 5*c + 3*f - 25 = 0. Suppose 2*z - c = -3*z. Let s = -3/32 - -85/224. Is z < s?
False
Let f = 168 - 170. Let o be (-4)/(-14) + 30/42. Which is greater: o or f?
o
Suppose -3*n + 5 = 4*o, -3*o + 6*n - 12 = 3*n. Which is smaller: 2/147 or o?
o
Suppose 2*h - 10 = -0. Let z(s) = -s**3 + 4*s**2 + 6*s - 3. Let q be z(h). Is 2 less than q?
False
Let l be (3/3)/1 + (-1 - 1). Let u be 87/(-93) - (-1 - 0). Is u != l?
True
Let z = 32.2 - 32. Is z bigger than -19/3?
True
Suppose 0*s - 5*s - g - 1 = 0, -2*s - 2*g = 2. Let a be 6*(-4)/16*(-12)/(-99). Is a smaller than s?
True
Let l = -0.3 - -0.2. Let q = -0.1 + l. Let f = 3 + -4. Is f equal to q?
False
Suppose 27 - 7 = -2*z + 4*g, 2*z - 12 = -4*g. Let x(c) = -