
False
Let h = 4/2869 + -588157/8607. Let m = h + 69. Is m at most 1?
True
Let k be 84/(-32) + -1 - -4. Let b be 1/3 - 2/(-3). Do b and k have the same value?
False
Let r = 13 + -8. Suppose s = r*s. Suppose -5*x = -h + 5, x - 1 + 2 = 2*h. Is s smaller than x?
False
Let r = -9/19 - 21/76. Is r smaller than 0?
True
Let u be 9*(908/300 - 3). Which is bigger: u or -1?
u
Suppose 22 = -15*n + 667. Is n less than 42?
False
Let o be (-167)/(-2) + 8/(-16). Let v = o - 251/3. Which is smaller: v or -0.1?
v
Let g be (-12)/18 - (-82)/78. Let r = g - 33/52. Let w = -1 - -3. Is r greater than or equal to w?
False
Suppose -o = 3*a - 11, 22 = 2*a + 4*o - 2. Suppose -w + 61 = a*b, -2*b - 2*b = -5*w - 87. Let p be (6/b)/((-2)/(-4)). Which is smaller: p or 0?
0
Let s(v) = 2*v - 3. Let d be s(-4). Let w(x) = x**3 + 12*x**2 + 10*x - 8. Let r be w(d). Is r smaller than 4?
True
Let q = 1.26 - 1.16. Is q less than or equal to -37?
False
Suppose -4 = -5*n + 1. Which is smaller: n or 2/11?
2/11
Let v = 0.7 + -1.7. Let i = 1.02 + v. Let d = -0.02 + i. Is 7 at most as big as d?
False
Suppose -3 = 9*u - 12*u. Which is smaller: -1/9 or u?
-1/9
Let x(a) = -2 + 1 + a + 2*a - 2*a**2. Let v = -76 - -78. Let z be x(v). Which is greater: 1/4 or z?
1/4
Let o(l) = 9*l**3 + l**2 + l - 1. Let w be o(1). Suppose -5*n + 2*f - w + 1 = 0, -3*n - 24 = 5*f. Which is bigger: n or -2?
-2
Let d be (-1 - 0) + 1/(-1). Let z be (6 - -6)*(-2)/(-4). Suppose -v + z*v = -5. Which is smaller: v or d?
d
Let n be (-2)/7 + 24/(-14). Let x = -0.18 - -0.12. Let q = x + -0.04. Which is greater: n or q?
q
Let v be (-1)/(-2)*1 - 1. Suppose -4*o + 9 + 3 = 0. Suppose 0 = 3*m + o - 0. Which is smaller: v or m?
m
Suppose 0 = -3*y + 7 + 5. Let v = 0 - y. Is v != 1?
True
Let r be 2 + 3 + (-66)/14. Suppose -5*a - 14 = -4*g - 3*a, 4*a + 12 = 4*g. Suppose 0*m = g*m. Is m bigger than r?
False
Suppose -2 = -2*b, 0 = -a - a - 4*b. Let s be (-2 - a - 6)/(-10). Is s greater than 2?
False
Suppose 5*t + 47 = -63. Let s = t + 14. Is -7 < s?
False
Let s be (-5)/170*(2 + (-2)/2). Which is smaller: -1 or s?
-1
Let a be 1436/18 + (-4)/(-18). Let v = 639/8 - a. Suppose -4 + 4 = 18*z. Which is smaller: v or z?
v
Let o(i) = -i**3 + 1. Let q be o(2). Let g = -7 - q. Suppose 4*s - 8 + 28 = 3*z, g = s - 4*z + 5. Is s >= -5?
True
Let p = -171/4 + 43. Let g = 2 - 4. Let u = 3 + g. Is p less than u?
True
Let g(z) be the third derivative of 0*z + 0 + 5/6*z**3 - 2*z**2 + 1/24*z**4. Let q be g(-6). Is 0 less than or equal to q?
False
Suppose -10 = 2*p - 0*p. Suppose -4 - 1 = 2*u + a, 0 = 2*a - 2. Let d be 0 - 6 - (u + 3). Are p and d unequal?
True
Let w = -8 + 5. Let p be (-2)/(3/(-9)*w). Let t = p + 1. Is -1 smaller than t?
False
Suppose -6*k + 3 = -3*k. Let j = k - -8. Let t = -5 + j. Which is smaller: 5 or t?
t
Suppose 5*r = -0*r + 3*k - 14, -k = 2*r + 10. Is -4 at most as big as r?
True
Let s(j) = -13*j**2 + 12*j - 7. Let a(v) = 7*v**2 - 6*v + 4. Let z(x) = 11*a(x) + 6*s(x). Let r be z(6). Which is bigger: r or 2/3?
r
Let o = 38 - 37. Are 3/34 and o equal?
False
Let w be 102/24 - 1/4. Let m = w - 7. Let r(f) = -f**3 - 4. Let g be r(0). Which is smaller: m or g?
g
Let f be 21/5 - (-8)/10. Which is smaller: 4 or f?
4
Suppose 2*f - f - 3*r - 8 = 0, 0 = -5*f - r + 88. Which is smaller: 18 or f?
f
Let x = -301 + 300. Let a = 52039/57 - 913. Is x less than a?
True
Let w(n) = n**2 + 10*n + 9. Let d be w(-9). Let s be (4 + 1)*(1 - d). Is 6 at most s?
False
Suppose -m = 3*m - 4*b - 20, -10 = 2*b. Let q = 5 + -5.8. Let v = q + -0.2. Is m < v?
False
Let v(u) be the first derivative of -u**4/4 - u**2/2 - 2*u - 3. Let d be v(0). Is 0.3 smaller than d?
False
Let v = 5 + -7. Let i be (-216)/(-280) - v/(-10). Is 2 <= i?
False
Suppose s - 1 - 6 = 2*m, 5*m - 2*s = -15. Which is smaller: m or -2?
-2
Suppose 165*n = 168*n + 30. Is n greater than or equal to -9?
False
Let r = -8.03 + 8. Let j = r + 2.03. Let w = j - 1.9. Which is smaller: -0.02 or w?
-0.02
Let v(l) = l**2 - l - 4. Let a be v(4). Is a at least as big as 2?
True
Let i be -1 + 6 + 2/2. Let x be i*((-31)/16 + 2). Let d(y) = y**2 - 2*y + 1. Let j be d(2). Is x at most as big as j?
True
Let c = -132 + 133. Let g(b) = 7*b + 1. Let v be g(-1). Which is smaller: v or c?
v
Let h = 13/16 + -1/80. Let p = 12 + -6. Suppose -t = -p*t. Which is greater: h or t?
h
Let m(i) = 2*i + 4. Let p be m(-2). Let o be 9/12 + (-1)/4. Is p smaller than o?
True
Let x = -0.14 + 2.54. Let l = 2 - x. Let g = -2 + 3. Which is greater: l or g?
g
Suppose -4*c + 1 = -3. Let w be 13*2*c/(-2). Which is smaller: -11 or w?
w
Let w = -1/10109 + -19759/4640031. Let g = 104/459 + w. Let m(f) = -f + 7. Let n be m(7). Which is smaller: n or g?
n
Let b(a) = -a**3 - a**2 - a + 3. Let w be b(0). Let m = 13 - 5. Let x = 12 - m. Do w and x have the same value?
False
Let a = 5453 + -33043/6. Let n = a + 54. Is -1 greater than n?
False
Let z = -569/2244 - -2/561. Is -12.3 smaller than z?
True
Let o be (-59)/19 - (-12)/4. Are o and 0 non-equal?
True
Let v be (3/(-3))/((-2)/16). Let q = 7 - v. Is -1 bigger than q?
False
Let q be 1*-1*(-2)/(-18). Let t(d) = d**2 - 4*d + 1. Let v be t(5). Suppose 6*n - 2*n = -3*a + 5, 5*n = -4*a + v. Which is smaller: a or q?
a
Let o = -7 + 6. Is -1/4 greater than or equal to o?
True
Suppose -2*i = -0*i - 2. Let h = -5.56 + 5.5. Is i less than h?
False
Let z = 8 + 9. Let d = 19 - z. Is 2 > d?
False
Let t be 1/(-1)*(-2 - -1). Let u be -5*-3*(-2)/(-15). Let p be ((-1)/6)/(u/4). Which is bigger: t or p?
t
Let x(r) = -r**2 + r + 1. Let s(p) = 3*p**2 - 2*p - 4. Let y(j) = 6*s(j) + 17*x(j). Let n(t) = -t - 13. Let o be n(-7). Let h be y(o). Is h <= -3/7?
True
Suppose 0*g = 5*g. Which is smaller: -2 or g?
-2
Let o = 15 - -8. Let d = o + -16. Is d > 8?
False
Suppose 0 = -4*n + n - 9, 9 = -g - 3*n. Is g at least as big as -2?
True
Let l = -1/133151 + -560965161/266302. Let o = -176975/84 - l. Let v = o - 1/12. Which is smaller: v or 1?
v
Let h(r) = r**2 - 7*r + 6. Let y be h(7). Suppose -y = 3*z + m, -5*m + 6 + 2 = -4*z. Let a be z/(-5) + (-34)/60. Which is greater: 0 or a?
0
Let c = -7 + 12. Suppose -6*j = -j - c*m + 10, 3*j - 4*m + 5 = 0. Let d = -4 - -1. Is d greater than j?
False
Suppose 3*a - 21 = 18. Is a at most 14?
True
Let l(k) = k. Let b be l(-1). Let y(s) = s**3 + s**2 + s + 1. Let q be y(b). Let w = 2/19 + 5/133. Is q at most as big as w?
True
Let n be ((-16)/40)/((-18)/10). Which is smaller: n or 1?
n
Let i = 13 + -25. Let v = i - -15. Which is smaller: -2 or v?
-2
Let x = 325462/45 + -7232. Let y = x + -4/15. Which is smaller: y or 1?
y
Let b = 99.8 + -102. Is b bigger than 3?
False
Suppose 0 = -3*n + 2*n + 2*g - 20, -2*g = 2*n + 52. Is n greater than or equal to -24?
True
Suppose -7*r = -2*r - 30. Let z be 3/3 - (r - -2). Is z > -6?
False
Let j be (3/(-183))/(1/(-8)). Let y = -156/671 - j. Is y > -1?
True
Let g = 407704/135 + -3020. Let h = 4540151008/945 + -4804392. Let c = h - g. Which is smaller: 2 or c?
c
Let y(v) = -3*v - 5 - 5*v - 23*v**2 + 21*v**2. Let o be y(-5). Let n be o/(-10)*(-4)/9. Which is smaller: 2 or n?
n
Suppose -o + g - 2 = 0, 4*o = -5*g + 32 + 5. Suppose k - 6 = 4*q, 0*k + o*k + 2*q = -24. Let p = -8 - k. Is -2 bigger than p?
False
Let q(s) = -15*s - 40. Let c be q(-7). Is c equal to 66?
False
Let p(b) = -b + 3. Let q be p(4). Let d = q - -3. Let z be 2 - (36/15)/d. Which is smaller: 2 or z?
z
Let a = -5/9 - -1/18. Is a not equal to -2/7?
True
Let s = -2 - -3. Let j = 633/4 - 156. Is j > s?
True
Let g(i) be the second derivative of i**4/12 + i**3/2 - i**2 - 2*i. Let b(a) be the first derivative of g(a). Let u be b(-2). Are u and 2/11 unequal?
True
Let i = -0.1 - 0.1. Let o = i + 0.4. Let j = -1.9 + 2. Is o < j?
False
Let o be ((-162)/12)/(-9) + 594/(-404). Are o and 0 equal?
False
Suppose 2*m + 40 = 3*m. Suppose 6*a - a = -m. Let g(p) = p**3 + 7*p**2 - 7*p + 6. Let b be g(a). Is b at most as big as -2/3?
True
Let d(k) = -k**3 + 4*k**2 + k - 2. Let f be d(4). Let z = 1.04 - -0.06. Let a = 1.1 - z. Is f greater than a?
True
Suppose 0 = -2*h + 4*d - 34, d + 0 = -2. Which is smaller: h or -20?
h
Let m = 29 - 44. Let z be (-2)/((m/2)/(-3)). Let t = 2 + -4. Is t less than z?
True
Let b = 19 - -351. Let u = 366.02 - b. Let r = -0.02 + u. Which is bigger: -0.1 or r?
-0.1
Let a be -1 - (1