 than o?
False
Let k = 23.6 + -26.18. Let q = -0.18 - k. Let p = q + -2. Which is greater: -1/4 or p?
p
Let s = 0.1 + -0.1. Suppose -13 - 2 = -3*m. Suppose 5*z = -0*z - m. Is s <= z?
False
Let u = 3 + -3.4. Let z = u + 0.3. Let g = 5/6 + -43/30. Which is smaller: z or g?
g
Let h(v) be the third derivative of v**5/60 + v**4/4 - v**3/6 + v**2. Let b be h(-6). Let i be (12/10)/(18/60). Is i at most as big as b?
False
Let g = -3882 + 23359/6. Let f = g + -457/42. Which is smaller: -1 or f?
-1
Let q be -3 + (0 - (-4 - -2)). Which is bigger: q or -7/3?
q
Let i = 2/3 + -5/21. Is i at least 1?
False
Let u = -0.9 + -0.1. Which is smaller: 11 or u?
u
Let q(o) be the third derivative of -1/120*o**6 - 1/24*o**4 + 0 + 0*o**5 - 3*o**2 + 0*o + 0*o**3. Let s be q(0). Which is smaller: -2/11 or s?
-2/11
Let v(r) = -4*r**2 + 9 - 3 - 8*r + 1 + 3*r**2. Let c be v(-9). Is c bigger than -2/3?
False
Let g be (-2)/(-9) - (-30640)/(-180). Is -170 greater than or equal to g?
True
Let f = -3.6 - -2.6. Which is bigger: f or -0.38?
-0.38
Let b = 491/130 - 40/13. Which is greater: b or 0?
b
Let q = 2 - 1. Suppose -4*o + 3 = -3*o. Suppose o*k = k + 4. Is q > k?
False
Let z = -13 + 19. Suppose 3*h - 2*h = z. Let i be (-4)/(-6) + (-4)/h. Which is smaller: 4/5 or i?
i
Suppose -3*g = -7*g. Suppose 4*s - 4 = -g. Which is smaller: 3/4 or s?
3/4
Let g = -16346/7 - -116915/56. Let i = -247 - g. Which is smaller: i or -1?
-1
Let z = 160 - 222. Which is bigger: z or -63?
z
Let f = 12.1 - 12. Do f and 0.5 have the same value?
False
Let z = 0.24 - 0.14. Which is bigger: -0.09 or z?
z
Suppose -2*d = 7 + 1, 0 = -4*c + 2*d + 28. Suppose c*i + 8 = 38. Is i bigger than 5?
True
Suppose 4*b = -2*h - h - 28, -4*h - 28 = 4*b. Let t be (-1)/b*-2 + 0. Is t bigger than -1?
True
Let s = -20 + 16. Which is smaller: s or -2/5?
s
Let y = 167/3 + -55. Let g be (-64)/(-6)*12/8. Suppose f + 4*a + g = 0, -16 = -f + a + 3*a. Is y smaller than f?
False
Let u be 12/8 - 6*(-4)/(-6). Let b be 2/3 + 16/(-6). Is b bigger than u?
True
Let v be 2/((-6)/(-21)) + -1. Is v less than or equal to 17/3?
False
Let n = -1 + -6. Let m = -6.1 - n. Which is bigger: -1 or m?
m
Let c(m) = m**2 + 6*m - 7. Let r be c(-7). Let l be 4/2 + -2 + r. Let d = -91/3 - -30. Is l bigger than d?
True
Suppose 4*g - 16 = -0*g. Let m be 8/(-3) - g/(-6). Let l be -1*(-1)/m*-4. Do 0.1 and l have different values?
True
Let r = -2.5 - -0.5. Let w = -1 - r. Is -2/9 greater than w?
False
Let w(d) = d - 6. Let q be w(6). Which is greater: 5/12 or q?
5/12
Suppose 0 = 2*n + 1 - 9. Let p be (-50)/144 + n/18. Is 0 >= p?
True
Let a be -1*(2 - 0 - -2). Let p be (0 - a/(-6))*3. Is p greater than -1?
False
Let p = -0.2 + -6.8. Let y = -7 - p. Which is smaller: 3 or y?
y
Let i(h) = h**3 - 4*h**2 + 2. Let d be i(4). Let r be ((8/4)/d)/(-1). Is r < -2/9?
True
Let v be (-3)/(-6) - (-2)/(-4). Let c(n) = n + 1. Let z be c(1). Let k be 10/(-8)*z/(-5). Is v less than k?
True
Let l(c) = 5*c - 1. Let t be l(1). Suppose -3*s = -4*j - 41, -5*s - 5*j + 11 = 1. Let f = s - t. Which is greater: 2 or f?
f
Let q = -2 - -6. Let b = 0.15 - -0.05. Which is smaller: q or b?
b
Suppose 1 = 4*c - x, 7*c - 3 = 2*c + 3*x. Suppose c = 5*o - 2*o - 66. Suppose 2*m - 5*k + o = 0, k = 3 + 1. Is 0 equal to m?
False
Let d(p) = -p - 11. Let q be d(-12). Let g be ((-3 - q)/(-4))/(-1). Which is smaller: g or -4/9?
g
Let j(f) = f**3 - 2*f. Let s be j(2). Suppose -h = -2 + s. Let c = -0.3 + 2.3. Which is greater: c or h?
c
Let s = 7 - 13. Let z = -5 - s. Which is smaller: 2 or z?
z
Suppose 2*y + 0 - 6 = 0. Suppose 0 = 2*h + y*h + 5. Which is smaller: h or 4/13?
h
Let t(a) = -a. Let q be t(-7). Suppose q*k = 3*k - 8. Let j be k*6/(-4) + -1. Which is smaller: 1 or j?
1
Let u(f) = -2*f + 10. Let m be u(5). Which is smaller: m or -1/11?
-1/11
Let b = 0.32 - -3.36. Let q = b + -3.3. Let n = 0.4 - q. Which is smaller: n or -1?
-1
Suppose 1 = 4*g + 5*n - 24, 20 = g + 4*n. Which is smaller: g or -16?
-16
Let g = -22 - -26. Suppose -36 = -4*h - g. Is 9 equal to h?
False
Let d = -7 - -7. Let q = 0 - 0. Let z = d - q. Which is greater: z or -1?
z
Let n = 117 + -117. Is 0 less than n?
False
Let c be 1*(-2 - -1) + (-108)/(-84). Is -1 at least c?
False
Suppose 0 = -4*w - 0*w + 104. Suppose -14 = 4*j + w. Which is smaller: j or -11?
-11
Let c = -56 - -55. Is c at least as big as -5/6?
False
Suppose 0 = 5*r + 4 - 9. Suppose -r = -4*g - 5. Is g at most 1?
True
Let b(x) = -x**2 + 2*x + 4. Let h be b(4). Is h <= -1?
True
Let a be 1/5 - 12/10. Let x be -9*(-1)/6 - (-14)/(-4). Is a less than x?
False
Let r = 2 + -2. Suppose 30 = -5*a - r*a. Let k be (-60)/(-63) + 4/a. Which is greater: k or -1/3?
k
Let j = 59.3 - 59. Is 0.2 <= j?
True
Let f = 9 - 7. Suppose -f*k + 3*k = 0. Is k at most as big as 1?
True
Let s(c) = c + 2. Let o(l) = 5*l + 7. Let z(a) = -2*o(a) + 9*s(a). Let g be z(4). Suppose g = -2*m + 3*m. Is 1 bigger than m?
True
Suppose 123 = -2*y - 3*y - d, 2*d = 2*y + 54. Let s be ((-40)/y)/((-2)/10). Which is smaller: s or -7?
s
Let h = 19 + -14. Let y = -0.1 - 0. Is y at most h?
True
Let u = 0 - 0. Which is smaller: 4/3 or u?
u
Suppose 4*a - 8*a - 8 = 0. Let o be a/4*(-1 + 5). Suppose 3*v = 5*n - 3, -5*v + 3 = -2*n + 8. Which is bigger: o or v?
v
Let a be ((-5)/1)/((-1)/3). Suppose -2*d = -6*d - 5*c - a, -3*d - 3*c - 9 = 0. Suppose 3*t = 3 - d. Which is greater: t or 4/7?
t
Let s = 5.3 + -8.2. Let n = s + 3. Let r = -9 + 7. Is r > n?
False
Suppose -u + 0 - 1 = 0. Which is greater: -1/20 or u?
-1/20
Suppose -8*q + 3*q = -10. Which is bigger: q or 20?
20
Suppose -2*i + 19 = 1. Let a be (-2)/i + (-1)/9. Let u = -199/3 - -67. Which is bigger: a or u?
u
Suppose -2*z - 5*h + 5 + 7 = 0, -3*z - 5*h = -8. Let b = -12 - z. Let k be (-29)/14 + (b - -10). Is 0 at most k?
False
Let t be ((-12)/(-10))/((-3)/15). Are -5 and t non-equal?
True
Let k be 18/(-12) - 25/2. Let v be 4/6 - k/(-3). Let c be 28/147*6/v. Is 0 at least c?
True
Let l = 1 - -1. Let q = -31219/183844 + 1/3116. Let j = q + -127/295. Is l greater than j?
True
Let f = -0.11 - -0.91. Let o = 0.8 - f. Which is greater: o or -2/3?
o
Let i = 717/5 + -143. Let j be (16/10)/((-4)/(-10)). Suppose -j*r - 8 = -4. Which is smaller: i or r?
r
Let z be ((-4)/14)/(9/(-63)). Let i be ((-10)/420)/(z/(-8)). Suppose 5*v = v + 4. Which is smaller: v or i?
i
Let t = -1310 - -161129/123. Which is smaller: t or -1?
-1
Let d be (-18)/(-15)*15/(-12). Which is smaller: -1 or d?
d
Suppose -6*q + q = 25. Is -5 at most q?
True
Let p be ((-14571)/45)/((-34)/(-5)). Let x = p + 95/2. Which is smaller: 1 or x?
x
Let u = 85/2 + -45. Suppose -3*p + 16 = p + 4*n, 4*p = -5*n + 18. Suppose 2*q + 2 = -p. Is q < u?
False
Let z = -24 - -17. Let d = z - -7. Is -3 > d?
False
Suppose -r = -5*x + 15, 12*x + 2*r - 15 = 7*x. Let j be ((-3)/(-5))/(2/22). Let z = 154/15 - j. Is z less than x?
False
Suppose 0*d - 2*d + 8 = 0. Suppose -2*a + 2*g = 12, -d*a + 0*a - g = 14. Is a < -4?
False
Let s = 0 - 0.1. Let n = 275599/38 + -7252. Let i = n - 2/19. Is s bigger than i?
False
Let t(c) = c**2 + 6*c + 4. Let k = 6 + -8. Let n be (5/k)/((-2)/(-4)). Let b be t(n). Which is greater: b or -5/4?
b
Suppose -24 = 4*n - n. Let r be n/20*1/(-2). Is r bigger than 0?
True
Let m be 2 + (-1)/(-2) + -1. Let s = -3 - -4. Suppose -2*j = 2*o + 2, 0 = 2*o + 5*j - s + 9. Is o greater than or equal to m?
False
Let i be ((-12)/(-10))/(52/(-20)). Let n = -1 + 1. Do i and n have the same value?
False
Let m = -18 + 18. Let c = 10 + -9. Which is smaller: m or c?
m
Let p = -37 + 113/3. Let l(b) be the third derivative of b**5/60 + b**4/8 - b**3/3 - 2*b**2. Let k be l(-4). Is k greater than p?
True
Let k be -1*3 + 2/(-2). Suppose 9 - 21 = 3*z. Is z < k?
False
Suppose -2*y - 30 = -5*b, 2*b + y - 24 = -2*b. Suppose m - b = -m. Let v be m/4 - (-2)/8. Is v smaller than 0?
False
Let t = -4.9 - 0.1. Do -5/2 and t have different values?
True
Let y(a) = -a**3 - 4*a**2 + 5*a + 7. Let s be y(-5). Let j = 8 - s. Let r(t) = t - 3. Let o be r(3). Which is smaller: j or o?
o
Let u be ((-6)/(-9))/((-328)/12). Which is smaller: u or 1?
u
Let l = -16.8 - -3. Let f = l - -15. Let w = f + -0.2. Is -1 at most as big as w?
True
Let c(l) = -l**3 - 3*l**2 + 2*l + 2. Let k be c(-2). Let s = 19 + 1. Suppose 0 = 5*v + s, -5*y - 50 = 4*v + 1. Which is bigg