ppose -4*i - 18 + 2 = h. Let g(d) = 4*d - 1. Let m be g(-1). Is m >= i?
False
Suppose 2*f - 810 = 5*l, 3*f - 4*l = f + 810. Suppose o - 4*m + f = 2*o, 5*m = -20. Let d = o - 7155/17. Which is bigger: d or 0?
d
Suppose -2*f - 16 = 2*i, -5*f - 4*i = -0*i + 37. Which is smaller: -7 or f?
-7
Let s(p) = -p**2 - 8*p - 15. Let b be s(-5). Let c be (-3)/3*(-1 + 1). Suppose 4*h - 2*h + 2 = c. Is h at most b?
True
Let x(d) = 2*d**3 + d - 2. Let r be x(1). Let i = -0.3 + -1.7. Let l = i - -1. Which is greater: l or r?
r
Let d(t) = -t**2 - 12*t + 22. Let c be d(-15). Let b = c - -23. Is -1 < b?
True
Let x = 1.2 + -0.5. Let b = x - -0.3. Let w = b - 1. Which is smaller: -2 or w?
-2
Suppose -10 = 15*c - 10*c. Let s = -1/56 + -109/168. Which is smaller: s or c?
c
Let t = -44 + 50. Which is smaller: t or 3?
3
Let a(b) = -3*b**3 + b - 1. Let o(v) = v**3 - 6*v**2 + 5*v + 1. Let r be o(5). Let i be a(r). Let s = -5 - i. Is s smaller than -1?
True
Let s = 3.1 + -3. Suppose -9 = -2*w - 7. Is w <= s?
False
Let p(h) = -h**3 + 3*h - 1. Let x be p(2). Let g = x - -6. Is 2 equal to g?
False
Let s = 50 - 54.1. Let a = 4 + s. Which is smaller: a or -2?
-2
Let x be 4/32 - 95/(-200). Is 7 bigger than x?
True
Let t = -184/3 + 60. Which is greater: -2 or t?
t
Let c be (-4 - 52/(-12))/(1/(-6)). Let n be -4 + (-1 - (-1)/1). Let i be (2/n*c)/1. Are 2 and i equal?
False
Let u be (-4)/(-10) + 6/(-15). Suppose 0 = -3*l + 9 - 6. Do l and u have different values?
True
Let f(m) = m - 4. Let a be f(8). Let l be (-1)/a - (-102)/24. Suppose j = -l*j. Is -2/5 at least j?
False
Let a = -1031/3 + 326. Suppose -g = 5*u + 32, 2*g + 0*u - 2*u + 28 = 0. Let v = g - a. Is v bigger than 2?
False
Suppose 0 = 3*g + 1 - 7. Suppose -5*i = 10, g*a - 3*a = i + 7. Is -4 < a?
False
Suppose 2*y + 3*r - 18 = 0, 5 = 3*y + r - 22. Let i be -2*((-20)/(-40) + (-3 - -2)). Is i less than y?
True
Suppose -27 = -5*a + 18. Suppose -4*d + 4*z = -z - 56, -44 = -4*d + 2*z. Is d >= a?
True
Suppose 0 = k + 2*o + 10, k + 13 = -k + 3*o. Let h = k + 2. Let m be (8/(-10))/(h/15). Which is bigger: m or -0.2?
m
Suppose 5 = -4*z - 11, 2*y + 2*z = 2. Is 7 >= y?
True
Let v = -1.93 - 0.07. Let b = -622/5 + 124. Which is smaller: v or b?
v
Suppose -2*p = 3*p + 135. Let q be -3 - (p/(-6))/(-3). Let b = 0.7 + 0.3. Which is greater: q or b?
b
Let y(d) = -d**2 + 22*d + 30. Let z be y(23). Suppose -c + 16 = 3*m, -4*m + 3*c + 4 = -13. Which is smaller: z or m?
m
Let j = 51 - 27. Suppose 2*r - 6 = -j. Are r and -9 equal?
True
Let f(l) be the third derivative of l**6/120 + 7*l**5/60 + 5*l**4/24 - l**3/3 - l**2. Suppose -4*v = -v + 18. Let w be f(v). Which is bigger: 3 or w?
w
Let i = -69.2 - -69. Which is smaller: -5 or i?
-5
Let v be (12/(-20))/(-2 - 226/(-10)). Which is bigger: v or 0?
0
Let q = 27.183 + -0.283. Let i = q - 27. Which is bigger: 5 or i?
5
Suppose -d - 2*o = -3*d + 18, -4*d + 3*o + 36 = 0. Suppose -2*s = 3*s. Let w be (-1)/d*(-2 - s). Which is greater: w or -1?
w
Let g be (20/(-75))/(18/(-5)). Is g at least 0?
True
Let c = -3 - -10/3. Which is smaller: 15 or c?
c
Let d be (-2 - 39/(-15)) + 22. Let z = 2137/95 - d. Let r be (-6)/4 - (-2)/4. Which is smaller: z or r?
r
Let x(k) = k**2 - k - 8. Let l be x(0). Let q be ((-2)/l)/(35/14). Which is greater: 1 or q?
1
Suppose 2*c + 3*k + 0 = -3, 2*c + 10 = 4*k. Which is greater: c or 2/5?
2/5
Let r = -11 - -7. Let d be (-2 - 0)/(-2 - r). Is -2/25 greater than d?
True
Let d be (-1)/(-1) - (8 + -7). Let s be (-46)/7*2/24. Let w = -5/6 - s. Which is greater: d or w?
d
Let k(h) = 7*h + 71. Let l be k(-10). Suppose 4*z + 0*z - 12 = 0. Is z equal to l?
False
Suppose -7 = -2*t - 1. Let f = -1 - t. Is f < -5?
False
Suppose 4*j - 11 = n, -4*n - 4*j - 6 = 98. Which is smaller: n or -21?
n
Let h = 5 - 14/3. Let v = -1946/9 - -216. Is v greater than h?
False
Suppose 3*s + g = -0*s - 1990, 0 = -s + 5*g - 674. Let j = 4657/7 + s. Is j equal to -0.1?
False
Let u be 232/(-308) + 12/21. Is u greater than 1?
False
Let l = -15.145 - 0.055. Let q = -15 - l. Let z = 2.1 - 2. Which is greater: q or z?
q
Let r(f) = f**2 + 2*f - 1. Let b be r(-2). Let h = -164242 + 34983682/213. Let x = h + 2/71. Which is smaller: b or x?
b
Let t = -5 + 2. Let o(r) = r**2 + r - 4. Let i be o(t). Let h = -17/20 - -3/5. Is i at most as big as h?
False
Let m = -65.8 + 66. Is -2/5 at most as big as m?
True
Let u = -10768/375 + 6/125. Let k = -30 - u. Let r be (-2 - -1)*(-1 + 2). Is k greater than or equal to r?
False
Let y(g) = -g**3 - g**2 + 3*g + 3. Let k(h) = h**3 + 2*h**2 - 3*h - 2. Let r be k(-3). Let n be y(r). Is n >= 1/2?
True
Let x = 6 - 0. Let s = 4.7 - x. Let i = s - -0.3. Which is smaller: 1 or i?
i
Let q = -15 - -23. Let w = q - 5. Is w at most 4?
True
Let y = 4 + -4.05. Let t = 0.95 - y. Which is smaller: t or 1/11?
1/11
Suppose -10 = -3*n - 3*q + 5, 31 = 5*n - q. Let g = -7 + n. Is g less than or equal to -2/7?
True
Let n be 2 + -1 - (-26)/(-18). Let b be (-390)/(-270) + (-4)/9. Which is bigger: b or n?
b
Suppose 0*m - 5*m - 45 = 0. Let u = 5 + m. Suppose -4*q - 2 = 10. Is u < q?
True
Suppose -4*o + 12 = -0*o. Which is smaller: 3/2 or o?
3/2
Suppose -4*x + 11 = -t - 2*x, 22 = -2*t - 5*x. Which is smaller: -5 or t?
t
Let w be (-14)/(-35)*(-5)/(-18). Which is smaller: w or -1?
-1
Let k = 6 - 7. Are k and -12 non-equal?
True
Suppose 3*u = -7*u. Which is smaller: -2/97 or u?
-2/97
Let v be ((-2)/(-3))/((-3)/36). Let i = -356 + 699/2. Which is greater: v or i?
i
Let v be ((-4)/12)/((-3)/(-27)). Let b be 4 + v - (-24)/(-21). Which is greater: b or 1/5?
1/5
Let r = 563/4 - 140. Let k(o) = -o**3 - 2*o**2 - o + 1. Let z be k(-2). Suppose 2*s = -z*s. Which is smaller: s or r?
s
Let x = -0.195 - -0.095. Which is greater: 2/11 or x?
2/11
Let w(r) = -r**2 - 8*r - 6. Let k = -24 + 74. Suppose -6 = -3*z, -k = 4*u - 5*z - 12. Let l be w(u). Is l != -1?
True
Let w be (-2)/(-5) + (-28)/70. Which is bigger: -4/67 or w?
w
Let d be (3/(-3))/(66/(-3)). Let m = d - 6/11. Which is greater: m or 0?
0
Suppose -c = 5, 5*f - 3*c - 50 = 2*c. Are 5 and f unequal?
False
Let u = -3 - -4. Let k = u - 0. Let c = 0.2 - -0.8. Is k less than c?
False
Suppose -2*z + 12 = -3*i, -3*i + 0*z = 2*z + 12. Let l be 88/80 + i/(-10). Which is smaller: 1 or l?
1
Suppose 2*w = 4*v - 8, 2*w = -5*v + 10 + 9. Let q(y) = y - 7. Let m be q(v). Let p be ((-1)/2)/(2/16). Is p not equal to m?
False
Let s = 42 + -63. Let o = -14 - s. Let n = -6.9 + o. Which is smaller: -0.05 or n?
-0.05
Suppose 4 = 4*l - 16. Suppose 3*a - l = -0*a - 2*m, m = -5*a + 13. Suppose -3*r - 5*y + 0*y = 1, 0 = -4*r + 2*y + 16. Is a equal to r?
True
Suppose 9*o + 3 = 8*o. Let j be 18/o*(-4)/84. Let w = -10 - -7. Which is bigger: w or j?
j
Let t = 10 + -25. Is -16 smaller than t?
True
Let o be (-10)/4*(2 + 174/(-75)). Let s = -2.1 - -2. Is s bigger than o?
False
Let x = -0.8 + 15.8. Are 0 and x nonequal?
True
Let l(a) = -3*a**2 + 11*a - 7. Let u be l(4). Suppose 3*i + 12 + 18 = 0. Which is bigger: u or i?
i
Let r be (1 - 3)*6/12. Do -1/28 and r have different values?
True
Let i = -18 - -20. Suppose -3 = i*v - 1. Is -2/17 at most v?
False
Let o be 0 - 2/(4/(-6)). Let c = 7 - 9. Let p = c + o. Is -0.04 at most p?
True
Let y be (-3)/(3/5) - -3. Let a(j) = -j**3 - j**2 + 2*j + 3. Let n be a(y). Which is smaller: 0.1 or n?
0.1
Let g = 11/3 + -4. Suppose -5*b - 22 = -2*d - 107, 4*d = -4*b + 96. Suppose 4*z + b = -3*a, 4*a + 24 = -4*z - 0*z. Is z at most g?
True
Suppose -5*z + 0*w = w + 12, 3*z = 2*w - 2. Which is smaller: z or -1?
z
Let o be (1/(-7)*4)/(105/(-49)). Which is greater: -1 or o?
o
Let p = 74 - 1183/16. Suppose f - 5*f = -3*k + 9, 4*f + 2*k - 6 = 0. Which is smaller: p or f?
f
Let l = -0.8 + 23.6. Let q = -20 + l. Let r = q - 3. Is r greater than 1/3?
False
Let i = -0.933 - -0.133. Is 1 not equal to i?
True
Suppose -20425 - 5795 = -4*g + 3*d, -3*d = -5*g + 32778. Let m = g + -31886/5. Let y = -180 + m. Which is smaller: 1 or y?
y
Suppose -y = -2*y. Let n = 3 - 6. Let b be 12/(-8)*(-1)/n. Is b greater than or equal to y?
False
Let i(q) = -q - 3. Let w be i(-5). Let g = w + -5. Let r be (2/g)/(-2 + 0). Are -1 and r non-equal?
True
Let x = -113 + 113. Which is smaller: -8 or x?
-8
Let j be 24/(1*3/(-3)). Let y = j - -13. Let b = 7 + y. Is b not equal to -4?
False
Let s = -13 - -15. W