s -18 at most d?
True
Suppose -2*d = -0*i + 4*i + 34, 5*i + 4*d + 47 = 0. Let h = 35 + i. Let q be h/45 + (-2)/5. Which is greater: q or 0?
q
Let r = -0.5 + -0.3. Is -0.2 != r?
True
Let d be -3*1/(-9) + 64/(-21). Which is greater: -3 or d?
d
Let l be ((-2)/(-28))/(1/(-4)). Suppose -j + 12 - 5 = 0. Let t = j + -7. Which is greater: l or t?
t
Let f be 2/3 - 10/30. Are f and -0.29 unequal?
True
Let s = -0.01 + 0.11. Let g be 62/15 - (-3 - -7). Which is smaller: g or s?
s
Let t = -8.6 - -0.6. Let n = 2 + t. Is n bigger than -2/5?
False
Let s(p) be the first derivative of p**2/2 - 4*p + 3. Let w be s(5). Let h = 0 - 1. Which is bigger: h or w?
w
Let r = 1 - 0.8. Let y = 0.369 + -20.469. Let w = y + 20. Is r greater than or equal to w?
True
Let p(n) = -n + 10. Let q be 146/14 - 6/14. Let i be p(q). Which is greater: i or 5/6?
5/6
Suppose o + 270 = 5*p + 24, -16 = -4*o. Let t be (p/15)/(2/3). Is 5 < t?
False
Suppose m + 8*m = -405. Which is smaller: m or -44?
m
Let k = -0.05 - 0.05. Let u = k + 3.1. Let w = -0.2 - -0.1. Which is smaller: w or u?
w
Let d = 16 + -13. Suppose -2*w - 3*o + 20 = 0, -w = 3*w + d*o - 46. Are w and 1 equal?
False
Let w be 50/375 - 7/165. Let o = -2 + 2. Is o bigger than w?
False
Let w be (-635)/(-180) - 4/(-18). Is 4 less than w?
False
Suppose -4*n + 31 = 5*s, -2*n - 3*n + 26 = 2*s. Suppose -4*u + 2*u + n = 0. Is 3 greater than or equal to u?
True
Let z be 3/(-6)*(-2)/7. Suppose -4*r - 4*n + 8 = 0, 8*r = 4*r + 2*n + 26. Let u(c) = c**2 - 6*c + 5. Let a be u(r). Which is smaller: z or a?
a
Let s be -1 + -1 - 188/(-96). Which is smaller: s or 0?
s
Let a = -11 + -1. Let f be 4/(-10)*(-915)/a. Let z = f + 30. Which is smaller: z or -1?
-1
Suppose 3*f = -3*b - 12, 2*f + 0*f - 3*b = 12. Which is greater: f or 2/39?
2/39
Let u = 7/3 + -2. Let y = -3.8 + 4. Which is smaller: u or y?
y
Let r(k) be the third derivative of -k**6/120 - k**5/10 + k**4/4 - 7*k**3/6 - 3*k**2. Let u be r(-7). Is -1/9 at least u?
False
Let w be (17 - 16)*(3 - 1). Which is greater: w or 18/11?
w
Let d = -17.9 + 2.9. Let b = d - -15.1. Is -1 at most as big as b?
True
Let m(h) = -h**3 + 5*h**2 - 5*h + 2. Let n = 4 - 1. Let w be m(n). Is w <= 5?
True
Suppose 2*y - 2*i = -3*y + 301, 192 = 3*y - 5*i. Let s = y - 35. Let b = s + -114/5. Is 0 < b?
True
Suppose 0 = 2*d + 3*d - 25. Suppose 3 = q + v, 5*q - d*v = -v + 24. Is q at least as big as 4?
True
Let o be ((-27)/(-3) - 3)*2. Let a = -7 + o. Let u = -2 + 3. Are u and a non-equal?
True
Let i be (8/(-12))/(-2)*-12. Are -4/3 and i unequal?
True
Suppose 0 = -3*c + 25 - 10. Suppose 4*v - 31 = c*n, -v - v - 4*n = 4. Which is smaller: v or 5?
v
Suppose -8*c = -3*c + 60. Let b be 2/c - (-2)/12. Is b greater than or equal to 2/27?
False
Suppose -4 = -6*k + 2*k. Let s = -2 - -3. Let g = 0.9 - s. Is k at least as big as g?
True
Let n be 64/45 + (-10)/45. Which is smaller: 1 or n?
1
Let u = -69 - -68.97. Is u less than 2?
True
Let x = 8 - 1. Let c = x - 5. Let a = -1.9 + c. Is -4/7 smaller than a?
True
Let s(b) = b**2 - 17*b - 22. Let d be s(17). Does d = -23?
False
Suppose h - 5 = -4*d, -h + 3*d = -2*h + 1. Let p = h - -15. Which is greater: 3 or p?
p
Let a(k) = 4*k + 19. Let q be a(-11). Let p be (-6)/(-10) - (-90)/q. Is -10/3 greater than or equal to p?
False
Let r = -16 - -15.3. Let f = r + 0.6. Let v = 1.9 - f. Which is smaller: -2/9 or v?
-2/9
Let v = 1 + -5. Which is smaller: v or -13/5?
v
Let s = -1 - -0.9. Let j = 1.02 - -0.08. Let a = s + j. Which is bigger: a or 0.1?
a
Let b = 250 - 3248/13. Suppose -2*y + 6*t + 24 = 4*t, 0 = -2*y - 3*t + 9. Let m be 12/54 - (-7)/y. Is m < b?
False
Let f = -0.06 - -2.06. Let j = 0 - f. Let t = j - -1.7. Is 2/7 < t?
False
Let b = -4084 - -28501/7. Which is smaller: b or -13?
-13
Let h be -4 - (48/(-21) + 0). Let o(c) = c**3 + c**2 - c - 2. Let a be o(0). Which is smaller: h or a?
a
Let x = 9 + -15. Let f = 3 + x. Which is bigger: 1 or f?
1
Let g = -5 + 9. Let a(v) = v**3 - v - 1. Let n be a(2). Let s = n - g. Is s greater than or equal to 1?
True
Let s = 1/19 + 49/152. Suppose 0*f - 4 = 4*f. Which is smaller: s or f?
f
Suppose 0 = -3*m + 1 - 10. Let r be (-2)/(-4)*(1 - -3). Suppose r*s = -u + 2*u - 3, 5*u - 5*s = 5. Which is greater: m or u?
u
Let z = -26 + 51/2. Let y = 3 - 2. Let h = y - 2. Are z and h unequal?
True
Let d = 35 - 48. Is -27/2 at least as big as d?
False
Let w = -2042 - -8113/4. Which is smaller: -13 or w?
w
Suppose -6*p = -2*p + 4. Let h = 49/18 - 5/2. Is p <= h?
True
Let m = -169/60 - -3/20. Suppose 0 = 5*s - 3*s + 3*z, 6 = 3*s + 3*z. Let r = s + -10. Which is greater: m or r?
m
Suppose y + 5*n = 7 + 12, 3*y + 4*n - 24 = 0. Suppose 12 = 4*q + 3*r + r, 0 = y*r. Is 2 less than q?
True
Let m be (-14)/(-112) - (1 - 51/40). Does 3.4 = m?
False
Let s be (-4)/(-6)*(-12)/(-16)*-2. Which is bigger: 1/88 or s?
1/88
Suppose 3*x - 5 - 15 = -4*r, -2*r = -x. Suppose -r*o = -6*o. Is o at most 0?
True
Let r be (-2)/(-42) + (-4)/(-14). Suppose h = -0*h + 4. Let l = h - 0. Which is smaller: l or r?
r
Suppose 0 = -5*k + 4*k - 135. Let c = k - -1489/11. Is c bigger than -1?
True
Let v be 39/60 + 1/(-4). Suppose 0 = x - 2*x - 1. Let k be 1*(-3 - -2 - x). Are k and v equal?
False
Let l = -5 - -4. Which is greater: l or 1/30?
1/30
Suppose 1 = -3*l - x + 5*x, -5*l - 2*x - 19 = 0. Let n be (-2 + l + 2)*-1. Let a be n/15 - (-2)/(-10). Which is smaller: 2 or a?
a
Suppose p + 27 = 5*z, 3*p + 5*z = -0*p - 41. Is p > -15?
False
Let d be 2/6 - 7/12. Let f = 24 - 16. Let z be f/12*3/2. Are z and d nonequal?
True
Suppose 0*f - 7*f - 7 = 0. Let r = -0.1 - -0.2. Is r equal to f?
False
Let z be -2 + (-2 - -4) + 11. Let m = -23 + z. Is m greater than or equal to -12?
True
Let o = 0 + 0. Let i = 192 + -187. Which is bigger: o or i?
i
Let r(p) = -2*p - 3. Let n be r(-3). Let x be n - (1 - (-1)/(-1)). Let y be 8/(-15) + 1/x. Is y != 0.2?
True
Let q = 0.04 + 0.11. Let m = q + 0.05. Which is smaller: -0.2 or m?
-0.2
Let q = -4/33 + 152/165. Suppose -t = -3*t. Which is smaller: q or t?
t
Let f = 18 + -18. Which is bigger: f or 6/29?
6/29
Let j = -1821/14 - -130. Which is greater: -1 or j?
j
Let g = 16 + -21. Is g greater than -4?
False
Suppose -4*n - 2*n - 6 = 0. Are n and 1/10 equal?
False
Let s be ((-16)/(-12)*3)/10. Is 0 greater than or equal to s?
False
Suppose -15 = 4*z - 3*m, -z = 3*z + m + 11. Let y be (-78)/(-15) + z - 3. Let o = -5 - -3. Which is smaller: y or o?
o
Let x be 1/3*6/3. Suppose 4*g - 3 = -3*z - g, 0 = -3*z + 3*g + 3. Is z bigger than x?
True
Let k(u) = -u**2 + 6*u + 6. Suppose f - 17 = -0*f + 5*r, -8 = 4*r. Let o be k(f). Let w = 15/44 + -1/11. Which is smaller: o or w?
o
Let r = 19 - 18.8. Which is smaller: r or -0.02?
-0.02
Let d = -57 + 56. Which is smaller: d or 0.29?
d
Let o be 26/4 - 1/2. Suppose 9 = 2*g - m - 7, 0 = -2*g + 2*m + 18. Is g less than o?
False
Let x(p) = p**2. Let r(z) = -7*z**2 - 12*z - 10. Let f(k) = r(k) + 6*x(k). Let j be f(-11). Which is smaller: -1/3 or j?
-1/3
Let b = 8 + -5. Let k = b - 4. Is k smaller than -1/2?
True
Suppose -4*l = -2*l - 4. Suppose 33 = -5*v - 3*u, -5*v + 0*v - l*u = 37. Let w be 32/6 - (-3)/v. Which is greater: 4 or w?
w
Suppose 3 = -q - 3. Let j be (-20)/q + 1 + -1. Let d = j + -3. Is d > 2/3?
False
Suppose -3*a = -0*a + 9. Is -0.08 <= a?
False
Suppose -4*m + 3*m + 3*y = 4, -4 = -m - y. Let b be (m - 2)*-1 - 0. Let v be b - (-7 - (-2)/1). Which is bigger: 4 or v?
v
Suppose -1 + 0 = s. Let u(i) be the third derivative of -i**5/12 + i**3/6 + 4*i**2. Let o be u(s). Is -2 at most as big as o?
False
Suppose 5*l = -4*a - 29, -4*l + a - 17 = -2*a. Let k(q) = q**3 + 5*q**2 - 2*q - 3. Let n be k(l). Is 5 < n?
True
Let c = 0.03 - -1.97. Let b = -0.03 - -1.03. Is c equal to b?
False
Let r = -308/3 - -104. Let l be (-4 - (-9)/3)*0. Which is greater: l or r?
r
Let v = -1 + -0.4. Let i = -0.4 - v. Let o = i + -2. Which is smaller: o or 2/7?
o
Suppose 8 - 4 = 4*m. Suppose 3*c = 4*c - m. Suppose 4*o - o = 2*g - 2, -5*o + 5*g - 5 = 0. Is o greater than c?
False
Let r = -22 + 21.91. Let n = r + 0.29. Which is smaller: n or -1/5?
-1/5
Let y = 42 + -40. Which is smaller: 9/8 or y?
9/8
Let c = -1356/24955 + -2/713. Which is smaller: 1 or c?
c
Let k = 1229/36865 - 3/505. Let d = k + -21/3431. Which is greater: 1 or d?
1
Let s(b) = -b**3. Let f be s(0).