 = 0.04 + n. Is o smaller than 0.2?
True
Let w be (-1075)/225 - (2/(-9))/(-1). Let z be (-3)/((-2)/(-2)*1). Is z less than or equal to w?
False
Let k(o) = -o**3 + 8*o**2 - 6*o - 8. Let d be k(7). Is d > -1/10?
False
Let m be (-10)/(-4)*(-8)/(-30). Let w = 6.01 + -6. Let y = w - -0.19. Which is smaller: y or m?
y
Let j(n) = 5*n**2 + n + 2. Suppose 0 = -2*i - 6, 2*i + 3*i = -v - 19. Let y be j(v). Let b be (-14)/y + (-5)/(-15). Which is greater: b or 1?
1
Let t(x) = -x**3 - 10*x**2 + 12*x + 6. Let g be t(-11). Let b be (1 + 6)/(-1) + 1. Which is greater: g or b?
g
Let s be 0 + 4 + -1 - -42. Which is greater: s or 46?
46
Let v(y) = y**3 - 8*y**2 + y - 4. Let s be v(8). Let u(d) = -d + 9. Let i be u(s). Is i at most 1/3?
False
Suppose 37*n + 2 = 35*n. Is n > -8/11?
False
Let q be ((-18)/(-14))/(6/8). Is 1 less than q?
True
Let f = 3.1 + -5.1. Which is smaller: f or -5?
-5
Let h be (-10)/14 - 4/14. Suppose 19*c - 18*c = -1. Let i = h - c. Is i at least as big as 0?
True
Let n = -6/35 - -59/140. Let l = 0 - 0. Is l less than n?
True
Let b = -32 - -32.3. Let m = -0.1 + 0. Let i = 1.1 + m. Which is bigger: b or i?
i
Let b be (-460)/36 + 4/(-18). Let j = b + 15. Is 4 < j?
False
Let r = -11.7 - -0.7. Let d = -15 - r. Is 0 at most as big as d?
False
Let v = 12 - 11.4. Let o = v - 0.4. Is 1 not equal to o?
True
Let v = 5 + -2. Let q(l) = l**2 - 4*l + 4. Let t be q(4). Are v and t equal?
False
Let p be ((-8)/204)/(1 + 6/(-9)). Suppose -4*x + 0*x - 20 = -2*s, 2*s + 10 = -2*x. Which is smaller: s or p?
p
Let x = 2 - 3. Which is bigger: -3 or x?
x
Let s = 14 - 8. Suppose s = 7*i - 4*i. Is i bigger than 3/4?
True
Suppose -2*b + 5*b + w + 9 = 0, 2*w + 6 = -2*b. Let m be (2/2)/((-1)/3). Is m < b?
False
Let z = -55 + 54. Is z less than or equal to -4/15?
True
Suppose 21 + 4 = -5*o. Suppose 4 = 4*z - f, -5*z = -f + 2 - 6. Let d = z - o. Which is greater: 4 or d?
d
Let d(z) = -z**3 - 8*z**2. Let l be d(-8). Let f be (l + -4)*4/(-4). Suppose -6*u + u + 20 = -f*t, 3*u = -4*t - 20. Which is smaller: -3 or t?
t
Suppose -i = 2*b + 5, 3*i - b = -i + 16. Let j = 0.03 + -0.04. Let g = j - 0.99. Which is greater: i or g?
i
Suppose h - 5*x - 42 = -h, 0 = -2*h + 4*x + 38. Let f be (2/(-2))/(h/(-2)). Suppose 1 + 0 = -n. Which is greater: f or n?
f
Let d(l) = -l**3 - l. Let n be d(0). Is n smaller than -1/10?
False
Let w(m) = -2*m**2 - 29*m - 16. Let p be w(-15). Is p at most as big as -33?
False
Let n be 6/(5 - (1 + 2)). Let h be -37 + -1 + 0/n. Let g be 0 + -1 + (-42)/h. Is 0 smaller than g?
True
Let i = -271/4 - -67. Is -0.06 at most as big as i?
False
Let v = 69/152 + -3/38. Is 0 less than or equal to v?
True
Let i = 345 + -3799/11. Is i < 1?
True
Let a = -39 + 1. Which is bigger: a or 1?
1
Suppose 2*i + 3*o + 8 = 0, -2*o = 5*i - 5*o - 1. Let a = -2 - i. Are -4/7 and a non-equal?
True
Let d = -19.34 + 0.34. Let p = d + 18. Which is smaller: p or -0.3?
p
Let j(n) = n**2 - n - 2. Let p be j(2). Let i = -9 - -12. Which is bigger: p or i?
i
Suppose -2*z = -18 + 8. Suppose -20 = 5*v - z*q, -2*v + v + 2*q = 2. Which is bigger: v or -1?
-1
Let j = 6.1 - 1.2. Let f = j + 1.1. Let g = f + -6. Which is bigger: 1 or g?
1
Let k = 63/8 - 677/88. Which is greater: k or 0?
k
Suppose -25 = -h - 3*x, 3*h - 64 = x + x. Which is bigger: 21 or h?
h
Let a = 37/56 - 10287/15400. Let b be 14/91 - 10446/(-75075). Let d = b + a. Are 0 and d non-equal?
True
Let i be 10/(-6) + 8/12. Which is bigger: i or 3/8?
3/8
Let s = -4.5 + 0.5. Let o = -3.942 - -0.002. Let f = s - o. Which is greater: f or -2/3?
f
Let b(o) = o**2 + 6*o - 3. Let t be b(-4). Does t = -11?
True
Let l = -9 + 9.8. Let v = -2.2 - l. Which is smaller: 0.1 or v?
v
Suppose -3*x + q = -99, -3*q = x - 7*q - 44. Suppose -6*d + 2*d + x = 0. Is d less than or equal to 7?
False
Let g be (-1 + 0)/(-7) + 0. Let x = 4 - 1. Suppose x*h + 2*h = 0. Is g < h?
False
Let y = -24 + 23.9. Is 22 at least y?
True
Suppose -8*s + 3*s + 0*s = 0. Which is smaller: s or -1/61?
-1/61
Let b = -2/9 - 4/9. Is b greater than or equal to -0.11?
False
Let d be 1/(-3)*(-5 - -5). Suppose 0 = k - d*k + 1. Is k smaller than -1/4?
True
Let m be (-18)/(-90) + 13/(-15). Which is smaller: m or -3?
-3
Let h = -450 + 3144/7. Let p = -41575/14 + 2971. Let j = h + p. Is 0 greater than j?
False
Let p = 0 - -3. Let n = -5 + p. Which is smaller: -3 or n?
-3
Let i = -3 + 2.7. Let c = i - -0.33. Which is smaller: c or 0?
0
Let c = -4 + 4.1. Let l = -1.9 - c. Let v = l - -2.1. Which is smaller: -2 or v?
-2
Let n = -3 + 2. Let y = -34/15 + 11/5. Let m = -2/5 - y. Is n > m?
False
Let b(p) = -4*p + 5. Let a be b(4). Do -11 and a have different values?
False
Suppose -3*h + 5*h = -10. Let w = 2 + h. Let y = w + 4. Is 3/4 bigger than y?
False
Let w be (-6)/(-9)*-3 - -5. Suppose w*a = 5*r + 16, 3*a = -3*r - 0*a. Let h(k) = -k**3 - 9*k**2 - 7*k + 4. Let y be h(-8). Which is greater: r or y?
r
Let b = 36404/7 + -406114/77. Let a = b - -74. Is a less than 1?
True
Let k be (-108)/(-9)*7/3. Are 28 and k equal?
True
Let k(c) = -2*c - 7. Suppose 2*m - 25 = 7*m. Let g be k(m). Let n be g/9 + 1/(-3). Which is smaller: n or -2/5?
-2/5
Let h = -9 + 8. Which is bigger: h or -8?
h
Suppose 3*d + 4*n + 2 - 1 = 0, 4*n + 8 = 4*d. Suppose -2*s - 8 = -26. Let p be (3/(-2))/(s/(-12)). Which is smaller: d or p?
d
Let c = -16 + 26. Let k = c - 7. Is k at least as big as -1/2?
True
Let d = 7 - -5. Suppose 2*a - 8 = 2*q, 0 = q - 3*a + d. Which is smaller: q or -2/15?
-2/15
Let l be (-38)/78 + (-26)/(-169). Let k = -6.06 - -6. Is k > l?
True
Let l = -28.2 - 0.8. Let i = l - -29.13. Which is greater: i or 2/7?
2/7
Let v = -91 - -84. Are -9 and v nonequal?
True
Let j be 5/((-20925)/(-3318)) - (-20)/(-25). Which is smaller: 0 or j?
j
Let s be 12/(-24)*(-4)/3. Which is smaller: 0.2 or s?
0.2
Let b = 0.127 - 0.087. Which is smaller: b or -2/11?
-2/11
Let r be 4/10 - 114/(-15). Let v = -3 + r. Let q = -4 + v. Is q >= 1?
True
Let s be 3 - (-3)/(12/(-28)). Is -4 > s?
False
Let p be (1 + -4)*22/(-33). Is -1.3 at most as big as p?
True
Let h = 1/1048 + -71/5764. Which is greater: 1 or h?
1
Let b(t) be the first derivative of 5*t**4/2 + t**3/3 - 3*t**2/2 + 2*t - 3. Let h be b(1). Is 10 at least as big as h?
True
Let o = 23 - 61. Is -37 < o?
False
Suppose -4*c + 25 = 5*y, 3*y + 1 = 2*c - 6. Which is bigger: -2/47 or y?
y
Let v(w) = -2*w + 5. Let f be v(-11). Suppose 0 = 2*h - 5*i + 13 + 8, h + 5*i - f = 0. Is h at least as big as 5/2?
False
Suppose 4*l = 7 + 1. Suppose -q + 8 = 2*g + 3*q, -l*g - q + 5 = 0. Which is greater: g or 5/4?
g
Let g(y) = -y**2 + y + 4. Let v be g(3). Which is bigger: v or 0.1?
0.1
Let m(v) = -2*v**2 - 5 + 6*v + v**2 + 0*v**2. Let w be m(4). Let i(u) = u**3 - 7*u**2 + 7*u - 4. Let f be i(6). Which is smaller: w or f?
f
Suppose 5*x = 3*k - 56, -x - x + 52 = 5*k. Let o = 12 - k. Which is bigger: o or -1?
o
Suppose 3*y - 6 = -0*y. Suppose -2*t - 10 = -2*f + 4, -4*t - 18 = -y*f. Which is greater: -3/2 or t?
-3/2
Let h = 1 + -2. Let j = 7 - 6.93. Let b = 0.03 + j. Is b greater than or equal to h?
True
Let w = -45 + 46. Is -88 > w?
False
Let v(y) = y**2 - 8*y + 7. Let i be v(7). Suppose i = p - 6*p. Which is smaller: -1/19 or p?
-1/19
Suppose 5*a = 5*r + 10, 4*r = 2*a - r - 10. Suppose 4*u = -8, -3*o - u + 28 = -a*u. Let m be (-10)/6*4/o. Which is smaller: m or 0?
m
Let o = 22.77 + -23. Which is bigger: 3 or o?
3
Suppose m = -1, 2*m - 7*m = 4*i + 1292081. Let t = i + 5493803/17. Let x = 146 - t. Is 0 bigger than x?
False
Suppose m + 8 = 5*m. Suppose -m*q + 2 = 4. Let p = 2 - 1. Is q > p?
False
Let z be (-6)/(-4)*32/120. Which is greater: z or 0?
z
Suppose 1 + 11 = l. Let z be l/(-15) - 16/(-20). Which is smaller: z or -1/3?
-1/3
Let i = -0.01 + 0.31. Let s = i + -0.2. Let l = -0.2 + s. Do l and -0.1 have different values?
False
Let o(x) = -x**2 + 1. Let a be o(-1). Let g be (2 - (a + 10)) + 2. Which is smaller: -5 or g?
g
Let d(y) = 3*y - 8. Let m be d(3). Is 4/13 at most as big as m?
True
Let t(p) = p**3 + 5*p**2 - 5*p + 5. Let g = 11 - -22. Suppose -3*o + g = -5*n, -3*n - 3*o - 22 = -7*o. Let y be t(n). Is 0 at least as big as y?
True
Let w be 15/10*(-4)/(-24)*-4. Suppose -2*b = b - 6. Is w less than b?
True
Let s = -0.03 + 0. Do s and -2 have the same value?
False
Suppose -v - 2 = -a - 4, 2*a = 3*v - 8