pose -5*l - 5 = -0. Let k = l - -2. Is k smaller than -1/5?
False
Let q be 3/5 - (-624)/(-80). Is -7 less than or equal to q?
False
Suppose -3*o = -8 + 11. Let n = -157/66 + 17/11. Is o <= n?
True
Let c = 9 - 6. Let s be (c/24)/(1/4). Is 2 bigger than s?
True
Suppose 4*w + 126 = 13*w. Is w less than 17?
True
Let g be (12/(-6))/((-2)/8). Suppose g*t = 4*t + 4. Which is greater: t or -1/3?
t
Let o = -29 - -45. Let b(t) = -t**3 + 16*t**2 - t + 11. Let q be b(o). Which is smaller: q or -6?
-6
Let u be 2 + ((-4)/(-154) - 2). Let x = u + 148/231. Which is smaller: 2 or x?
x
Let d(k) = -4*k + 31. Let t be d(8). Let j = -2.8 - -3. Which is greater: j or t?
j
Let h = 44 + -50. Is -1 > h?
True
Let x = 1.5 + -0.7. Let n = x + 0.2. Let k = -59/3 - -20. Is k bigger than n?
False
Let i = -273 - -17473/64. Which is greater: 0 or i?
i
Let d(x) = -x**2 + 7*x - 4. Let b be d(6). Let a be (-4 + b)*(-1)/10. Which is bigger: -1 or a?
a
Let j(s) = -s**3 + s**2 + s - 2. Let t be j(0). Let o = t + 4. Suppose -o*x + 9 = -5*x. Is -2 >= x?
True
Let f = -10/7 + 64/35. Which is greater: -2 or f?
f
Suppose 8 = 2*o - 4. Suppose 0 = 4*s - o*s - 2. Which is bigger: s or 3/11?
3/11
Suppose -20 = -2*o + 148. Let r be 2/(-5) - o/40. Let n = 17 - 21. Is r > n?
True
Let n = 18 - 50. Let s be n/18 + (-4)/18. Which is smaller: s or -6/7?
s
Suppose -g = -3*g + 16. Suppose 3*a + 2*m - 2 = -g, a + 3*m = -9. Which is smaller: a or 6/5?
a
Suppose 2*t - t + 8 = 0. Let l = -6 - -10. Suppose -l*o - 9 = 19. Is t <= o?
True
Let g be (-16)/(-42)*(-3)/4. Let l = -0.04 - 0.56. Let q = l + 0.9. Is q < g?
False
Let r = -152/237 - 2/79. Let t be 5*(10/5)/(-5*11). Which is greater: r or t?
t
Let m = -0.8 - 0.2. Let l = 3 + m. Let r = 53 - 53.1. Which is greater: l or r?
l
Let l = 619 + -629.86. Let s = l + -0.14. Is s at most as big as -0.2?
True
Let z = -49 - -48. Is -2/145 smaller than z?
False
Let g = 18 + -13. Suppose g*i = 3*p - 3, -4*p - 3 = -7*p. Is i at least as big as 2/5?
False
Suppose -2*g = -0*g - 10. Is 6 less than g?
False
Let k(v) = v**3 - 7*v**2 + 5*v + 6. Let b be k(6). Let n = 2/157 - -1095/314. Let z = n + -3. Is b equal to z?
False
Let h(u) = -u - 3. Let l be h(5). Let g be 6/4*l/(-3). Suppose 0 = -6*x + x + 4*i + 11, -3*x = -2*i - 7. Is g < x?
False
Let d = -1 - -7. Let f = -13 - -20. Is f at most as big as d?
False
Let u = 0.22 + -0.149. Is u > 0.1?
False
Let k = -3 + 2. Let z = -0.9 - k. Which is smaller: 1/4 or z?
z
Let g = 0.06 + 0.34. Let t = 0.3 - g. Let m = 0 - t. Do m and -2 have different values?
True
Suppose -5*q + 11 = -3*o - q, 0 = -4*o + 3*q - 3. Is o equal to 4?
False
Let p = 0.13 - 0.03. Let q = -22544943472/1695 + 13300852. Let c = 2/339 + q. Which is smaller: c or p?
p
Let o(v) = v**3 - v**2 - v + 1. Let x(t) = -3*t**3 + 3*t**2 + 2*t - 2. Let s(m) = 2*o(m) + x(m). Let q be s(0). Which is smaller: -4/5 or q?
-4/5
Let p = -0.4 - -0.3. Let b = 25 - 25. Does b = p?
False
Suppose -2*m + 4 = -2*k, k = 5*m + 6*k + 10. Let u = 18 + -5. Let j be (2*1)/(5 + u). Which is smaller: m or j?
m
Let w(l) = -3*l. Let j be w(2). Let v = j + 2. Is -3 < v?
False
Let t = -67/6 + 209/18. Which is smaller: 1 or t?
t
Let q(b) = 7*b + 2. Let v be q(4). Let g = 151/5 - v. Is -1 at most as big as g?
True
Let j be 8 + -12 + 0 + -1. Let u = 1 + -6. Let v = u - j. Which is smaller: v or -2/3?
-2/3
Suppose 3*h + 4*r = -0*r + 50, 0 = 4*h - 2*r - 96. Are 21 and h equal?
False
Suppose -i - 3 + 8 = 0. Suppose 0 = -5*g + 2*g + i*k + 28, -2*k = 2*g - 8. Is g smaller than 5?
False
Let w be (8/(-92))/(2/3). Suppose -2*a - a + 3 = 0. Is w equal to a?
False
Let n(g) = g**3 - 5*g**2 - g + 3. Let o(h) = -h**3 + 6*h**2 + 8*h - 2. Let p be o(7). Let r be n(p). Which is smaller: 1 or r?
r
Let q = 173/30 + -37/6. Which is smaller: 0.8 or q?
q
Suppose -5*t - 12 = -2*t. Is -2 greater than or equal to t?
True
Let p = 9 + -10. Is -2/9 smaller than p?
False
Suppose i + 2*x = -2, 7 = 3*i + x - 2. Suppose -5*u - 20 = -t, 0 = i*u - t - 3*t + 32. Suppose 3*d + 4*y = -9, -y = 5*d + 13 + 2. Is u smaller than d?
False
Let l be 282/26 - 2/(-13). Do 11 and l have different values?
False
Let y = -2.3 + 0.3. Let n be (-2)/((-8)/(-9))*4. Let p be 6/(-27) - (-7)/n. Which is smaller: y or p?
y
Let b(x) = -x**3 + 2*x**2 + 1. Let a be b(3). Let u(t) = t**3 + 7*t**2 - 7*t + 7. Let y be u(a). Suppose 0 = 6*d - d. Which is bigger: d or y?
d
Suppose -5*a - 6 = -1. Let t = 9 + a. Suppose -2 = 5*v + t. Is -2 bigger than v?
False
Let l be 1 - (3 - 2 - 0). Suppose 0*y - 2*y = l. Are 0 and y nonequal?
False
Suppose -10*w + 467 = -193. Are 66 and w non-equal?
False
Suppose -2*y = -y + 1. Suppose -g + 1 = -2*v, -g = 3*v - 0*v + 9. Let o = 4 + g. Is o < y?
False
Let p = 8.85 + 0.15. Let x = p - 7. Let n = x - 2.1. Does n = -3?
False
Let j(f) = f**3 + 5*f**2 + 4. Let b be j(-5). Suppose -4*d + 3*a - 18 - 6 = 0, 0 = -3*d - 5*a - 47. Let s be (2 + -3)*d/3. Which is smaller: s or b?
s
Suppose a + 1 - 4 = 0. Let j be 2 - 2/(-4)*-2*1. Is j <= a?
True
Let l = 812/12371 + -6/139. Does -1 = l?
False
Suppose 0 = -0*h + h - 2*z + 4, 5*h + 34 = -4*z. Which is smaller: h or 0.04?
h
Suppose -w = -0*w - 6. Let p be (-2)/(-3) - 6/w. Which is smaller: p or -1?
-1
Suppose -3*b + 65 = 4*j + 12, -2*b = 10. Let y = j + -13. Does y = 4?
True
Let j = -7 - -3. Let b = -3 - -3. Suppose -2*q = q - 2*y + 11, -3*q - 3*y - 6 = b. Which is bigger: j or q?
q
Let f = 7 + -4. Let z be (-6)/(-9) + (-4)/6. Suppose z = -2*p - 3*u - 7, 3*p + p + 5*u + 11 = 0. Is p > f?
False
Let k(a) be the third derivative of -a**4/24 - a**3/3 + a**2. Let p be k(-5). Let g = p - 3. Is -2/5 at most as big as g?
True
Let x(m) = m**2 + 9*m + 17. Let v be x(-3). Let o be ((-12)/(-16))/((-45)/8). Do o and v have different values?
True
Suppose -r = -2*u + r - 76, -u + 2*r = 39. Let p = 110/3 + u. Are p and -0.2 non-equal?
True
Let l = -119 + 168. Do 50 and l have the same value?
False
Let q = -2 - 3. Let y(a) = -a**2 - 3*a + 6. Let p be y(q). Which is smaller: p or -5?
-5
Let u = 269/5 - 54. Are -1 and u nonequal?
True
Suppose -5*j - 17 = -o, -4*o - o - 5*j - 5 = 0. Suppose 4 + o = 3*v. Which is smaller: v or 0?
0
Let g be 6/(-4)*2/3. Let u be (-1)/(g*1/(-3)). Let t = -7 - -5. Is t not equal to u?
True
Suppose h + 28 = -3*h. Let f = h - -7. Which is smaller: f or -8?
-8
Let c = 50 - 49. Which is smaller: 2/19 or c?
2/19
Suppose 0 = i - 4*b - 3, -14*b + 15*b = -i - 12. Suppose 0*n + 21 = -3*n. Which is smaller: i or n?
i
Let s = 0.8 + 0.2. Let z = -1.9 + 0.9. Let n = -1.4 - z. Which is smaller: n or s?
n
Let f = -0.13 - 0.05. Let j = 0.02 - f. Is 3 at least j?
True
Let v be (2/20)/(38/(-95)). Which is smaller: 1 or v?
v
Let b(i) = 2*i + 6. Let h be b(4). Suppose -2*j + 4*j - k + 8 = 0, 5*k = 2*j. Let v be 1/5 - h/j. Do v and 1 have the same value?
False
Let b = -2414/3 - -859. Let t = b + -55. Which is smaller: 0 or t?
t
Let d(b) = 5*b - 1. Let m(j) = -4*j + 1. Let v(g) = -5*d(g) - 6*m(g). Let n be v(-2). Which is smaller: -1/18 or n?
-1/18
Suppose -5*b - 18 = -3. Suppose 0 = 4*r - 4 + 8. Let j = r - 0. Is j bigger than b?
True
Suppose 0 = -3*h - 3 - 9. Let n be 2 + h - 891/(-408). Let i = 1/17 - n. Which is smaller: -1 or i?
-1
Let c = -1410/11 + 128. Is -2/23 > c?
True
Let d = -74 - -143/2. Let a = -105 - -103. Is a bigger than d?
True
Let g = -628 - -910. Let x be g/(-90) + 2 + 1. Let y = 1 - 0.9. Which is smaller: y or x?
x
Suppose -o = 3*o - 16. Suppose o*f + j + 4 = 0, 0 = -0*f - 2*f + 4*j + 16. Is -2 >= f?
False
Let q(j) = 36*j. Let o be q(-1). Let f be (-4)/(o/(-3))*9. Is f < -2?
True
Let p be (-7)/1 - (-5 + 2). Let b be -1 + (-3)/(p + 1). Which is smaller: -2/15 or b?
-2/15
Let i be (-11)/(-3) - (-2)/6. Suppose 4*n - 2*l = 34, -3*n - 3*l = -2*n + 9. Let f = n - i. Does 3 = f?
False
Let t = -1.72 + -0.22. Let a = 0.06 - t. Let z = -2 - -1. Is z >= a?
False
Let h = -8 - -12. Let z = h + -3. Let r = 4.3 + -4. Which is bigger: z or r?
z
Let q be (-7)/(-3 + (-32)/(-10)). Let f = q + 141/4. Let x(w) = w**2 - 1. Let n be x(0). Is f bigger than n?
True
Let a = -12 + 12.08. Is a < -2/7?
False
Let k(y) = -y**3 - 9*y**2 + 9*y - 8. Let l be k(-10). Which is greater: 3 or l?
3
Let w = -8 + 11. Suppose i + 0*y = -y + 5, 0 = -5*i + 4*y + 7. Is i greater than or equal to w?
True
Let m = -7 + 6.86. Let 