eater than a?
False
Suppose -2*m - 2 = -t - 14, 3*t = 5*m - 34. Let y = -6 - t. Is 0 greater than or equal to y?
False
Let u be -4*(-36)/688*1. Let t = -213/215 - u. Which is greater: -1 or t?
-1
Let v(m) = -4*m - 27. Let t be v(-7). Which is greater: t or -2/97?
t
Let k be (-66)/(-14) - 2/(-7). Suppose -5*r - 2*x + k*x + 32 = 0, -2*r = -2*x - 16. Does 3 = r?
False
Suppose -4*s + 6 + 14 = 2*c, 0 = c - 4. Let d = -3 + s. Which is smaller: d or 1/4?
d
Let k(d) = -2*d**3 - 3*d**2 - 2*d - 1. Let w be k(-2). Let o = w + -11. Does o = -4?
True
Let s = -0.031 + -7.769. Let d = -0.2 + s. Let y = -5 - d. Is y < 1/4?
False
Suppose -3*d + 8 - 48 = w, 3*d = -2*w - 38. Are 2/3 and d equal?
False
Suppose 5*v - 2*m = 4, -3*v + 5*m + 10 = -4*v. Let u = -24/11 - -179/77. Which is smaller: v or u?
v
Let t be 7 + 0 - (4 + -3). Let m be -2 - t*(-4)/6. Let y be 3/5 + (-1 - -1). Is m > y?
True
Suppose z - 8 = -l, 0 = 5*z - 0*l + l - 20. Suppose -5*u - 23 = -3. Which is greater: u or z?
z
Suppose -8 = -3*v + v, -4 = 4*d - 2*v. Which is bigger: 12/17 or d?
d
Suppose -4*k = -2 + 26. Let r be (0 + 7)*k/(-609). Is 0 bigger than r?
False
Let o(v) = -v**2 - v + 29. Let h = -3 - -3. Let d be o(h). Let c = d + -85/3. Is -2/9 smaller than c?
True
Let t be ((-2)/(-5))/(4/20). Which is bigger: t or 4?
4
Let y(o) be the second derivative of o**3/6 + o**2/2 - 2*o. Let f(n) = -n**2 + 11*n + 8. Let x(z) = f(z) - 4*y(z). Let v be x(7). Which is greater: v or 5?
5
Let i be -2*(-1 + 2) + -5. Let c = 6 + -12. Which is smaller: c or i?
i
Suppose -3*a + 59 = p, -p = 4*a - 3*p - 92. Is a smaller than 24?
True
Let f be -2 + (3 - 1) + -3. Is 1/2 at most f?
False
Let o be ((-2)/(-4))/((-3)/(-6)). Which is greater: o or -1/10?
o
Let k = -57 + 57. Which is greater: 2/41 or k?
2/41
Let w(g) = g - 12. Suppose 0 = 3*x - 2*c - 11, c - 5 = -3*x - 3*c. Let m = x + 9. Let z be w(m). Is -2 <= z?
True
Let h = -26150 + 314339/12. Let b = h - 45. Is b bigger than -2?
True
Suppose -7*o - 11 = -6*o. Which is greater: -12 or o?
o
Suppose 0 = 5*b + 4*t - 22, -t = -b + 2 - 3. Is b smaller than 2?
False
Suppose 3*w = -2*w - 5*w. Do w and 0 have different values?
False
Suppose 2*n + y + 4 = -n, 0 = -2*y - 8. Is 5 at least as big as n?
True
Let o(v) = -5*v**2 + 3 - 4*v - 5 + v**2 + 3*v**2. Let g be o(-4). Is -3 bigger than g?
False
Let w(r) = r + 4. Let u be w(-5). Let a(z) = -z + 2. Let y be a(3). Let o be (u - 1)*y/2. Is o smaller than 1?
False
Suppose 4*i + 3*h + 15 = 4*h, -2*h = 3*i + 3. Let s be 1/(-5) + i/(-5). Is -1 > s?
False
Let p = 19 - 15. Suppose -6 = -2*l + p*l. Which is greater: l or -2?
-2
Let w = -9 - -7. Let y = 8 - 6. Let q be y/10 + (-2)/10. Which is greater: q or w?
q
Let w = 37/6 + -14/3. Is w > -1?
True
Suppose 8*r - 4*r = 0. Which is greater: r or -4/23?
r
Let y = -25 - -23. Is y less than or equal to -0.2?
True
Let q = 1179 - 104928/89. Do q and 0 have the same value?
False
Let w = 328 + -3602/11. Let q = 1/22 - w. Is 3/5 < q?
False
Let a = 80 + 4. Let n be a/(-49) + 4/2. Is 2 less than or equal to n?
False
Let r = 15 - 14. Let o be (-8)/(-6) - r/3. Which is smaller: o or 4/5?
4/5
Suppose 4*m = 7*z - 2*z, 3*m = 4*z. Suppose t = -z - 2. Let r = 2 + t. Which is smaller: r or -1?
-1
Let a(d) = d**3 + 5*d**2 + 2*d + 1. Let u be 10/3*3/(-2). Let w be a(u). Do w and -9 have the same value?
True
Let k be 3/(-3*2/(-6)). Suppose 3*d = 2*m - 4*m + k, d + 5*m + 12 = 0. Suppose -1 = s - d. Which is bigger: s or 0?
s
Let s = -81 - -80. Is -7/5 at least as big as s?
False
Let k = 8 - 21. Which is smaller: k or -1/4?
k
Suppose 3*a = -0*a + 4*t, -9 = -3*a + t. Let b be (12/6)/(a/(-2)). Is b less than 0?
True
Let y = 5.7 + -57.7. Let w = y + 54.9. Let o = 3 - w. Which is smaller: -1/2 or o?
-1/2
Let k(d) = -d**3 + 2*d**2 - d. Let g be k(1). Is -1/5 > g?
False
Let v(c) = -c**2 + 5*c - 3. Let j be v(4). Is 42/17 bigger than j?
True
Suppose -x + 6*x + 280 = 0. Let v = -109/2 - x. Let o be 2/(5/((-30)/(-4))). Which is smaller: v or o?
v
Suppose -24 = -0*i - i - 5*f, 0 = -5*i + 2*f + 120. Let z be i/20*(-60)/(-9). Is z < 9?
True
Let t = -0.9 - -1. Suppose -6*r = 8*r - 42. Which is bigger: r or t?
r
Let k(r) = r**3 - 8*r**2 - 9*r - 5. Let z be k(9). Which is smaller: z or -7?
-7
Let g = -571/7 - -81. Suppose -5*a - 10 = -0*a. Let l be ((-2)/4)/(a/(-8)). Is l at least g?
False
Let b = -2/3 + 11/12. Let w = -11 - -9. Is b smaller than w?
False
Let a be (-178)/21*(-3)/(-5). Let u = a - -24/5. Which is bigger: u or -0.1?
-0.1
Let w be (-171)/(-6) - (-6)/(-4). Suppose -3*l + w + 12 = 0. Let z = l + -64/5. Which is smaller: 0 or z?
0
Let k be (-2 - 42/(-15))/(4/(-170)). Is -33 smaller than k?
False
Let v = -1312/9 - -146. Let z(b) be the third derivative of -b**4/24 - 4*b**3/3 + 3*b**2. Let g be z(-8). Which is smaller: g or v?
g
Let d = 8 + -6. Suppose -2 = -d*s - u - u, -5*s + 4*u - 22 = 0. Let g be (9/(-12))/((-3)/s). Is g equal to -1?
False
Let b = -27763/44 + 631. Which is greater: -1 or b?
b
Suppose r - 10 = 6*r. Let j = r + -3. Are j and -5 nonequal?
False
Let o(n) be the first derivative of -n**3/3 - n**2/2 - 3. Let d be o(1). Which is smaller: -5 or d?
-5
Let t be -2 - (-2)/(1 + -3). Let g(n) = n**2 + 6*n - 3. Let w be g(-6). Let v be (w/(-3) - 2) + 1. Which is bigger: v or t?
v
Let t be (-1)/(-2) - (21/(-6) + 4). Which is bigger: -7/12 or t?
t
Let k = -7 - -11. Suppose -k*a + 0 = -4. Which is bigger: a or 2/9?
a
Suppose -3*o + 4*o - 3 = 0. Let i be (4 - 3) + (-1)/o. Is i < -2/7?
False
Let w = -24 - -20. Let g(v) be the first derivative of v**2/2 + v - 1. Let n be g(w). Which is smaller: -5 or n?
-5
Suppose 4*c = -3*a + 12943, 9*c + 3*a - 16175 = 4*c. Let l be (6/12)/((-5558)/c). Let w = l - -2/397. Which is smaller: w or -1?
-1
Let d be 2/(-11) + 276/66. Suppose d = 5*j - 26. Suppose j*i - i = 0. Which is bigger: -1 or i?
i
Let i(s) = 2*s - 13. Let m be i(9). Let x be 8/(-6)*(-6)/4. Suppose -k = m - x. Are k and -3 non-equal?
False
Suppose -2*g - 3*g = 0. Suppose g*m = 3*m. Do m and 3 have different values?
True
Let c be (-8 + (-1 - -2))/1. Let v = c + 4. Let p be 10/12 + 1/v. Which is smaller: 0 or p?
0
Suppose 0 = b - 2. Let x be b/(-3) - (-28)/6. Let i = 0 - -3. Which is bigger: i or x?
x
Let s(p) = p**3 - p**2 - 2*p - 1. Let d be s(-1). Let j = 1 - d. Is j at least 3?
False
Let t = -1 - -0.7. Let x = 7.2 + -7. Let w = x + t. Is w less than -1?
False
Let v = 7 - 11. Is -4 greater than or equal to v?
True
Suppose 0 = -g - 3*g. Which is smaller: g or 2/15?
g
Suppose -5*h - 3*d = -0*h - 35, -1 = h - d. Suppose -3 = c - h*c. Which is bigger: c or 2/13?
c
Let v = 2.6 - 2.5. Is v at least as big as -35?
True
Let h be -2 + (-3 - 1)/(-4). Let k = 1 + -1. Let y = k - h. Which is bigger: y or -2/5?
y
Let m = 0.012 - 76.012. Which is smaller: -1 or m?
m
Suppose -2*g + 0*g = -10. Is g at most as big as 5?
True
Let s = -3389/1014 - -3/338. Which is greater: s or -1?
-1
Suppose 0 = -2*d + 2 + 2. Suppose -k = -3*k - d. Let r = -97 + 487/5. Does k = r?
False
Let b be (1/(-2))/(50/20). Which is smaller: 1 or b?
b
Let u = -61 - -65. Let i be (-3)/(2*2/(-4)). Which is greater: u or i?
u
Let p = -97/12 - -35/4. Is -1/12 != p?
True
Let b = 3 - -4. Let l = b + -4. Let z = -2 + l. Is z smaller than 0?
False
Let w be 5*(756/(-375) - -2). Let x be (-1)/(-4) + 13/(-52). Which is smaller: x or w?
w
Let b = -248 + 348. Suppose a + b = 5*a. Suppose 5*r = -i - 4*i + a, 2*i = 5*r + 10. Which is greater: -1 or r?
r
Let v = 4 + -2. Suppose 4*n - 18 = -2. Which is smaller: n or v?
v
Let w = -10 - -9.6. Which is smaller: w or 2/7?
w
Let z = -39 - -37. Which is bigger: z or 3/7?
3/7
Let w = 1 + 0. Suppose 2*a - m - 7 = 1, 5*m = -5*a - 10. Let p(z) = 2*z - 1. Let l be p(a). Is l not equal to w?
True
Let u = 1584008/63 - 75421/3. Let h = u - 20/9. Which is smaller: h or 1?
h
Let u = -52.2 + 52. Is -15 equal to u?
False
Suppose -k = 3*k. Suppose -4 + 0 = -2*c. Which is bigger: c or k?
c
Let q(x) = x**2 - 4*x + 3. Let k be q(4). Suppose -3*r = -a + 26, 3*a - 79 = -5*r - 15. Let z = 28 - a. Which is greater: z or k?
z
Let r be (-2)/(-462)*(-3)/(-1). Is 0 smaller than r?
True
Suppose g = 6*g - 5. Which is bigger: 4/5 or g?
g
Let m be 1*(0 + (-6)/213). Let f = -81/355 - m. Suppose 4 = -2*z - 2*z. Which is smaller: f or z?
z
Let p = 5 + -5. 