1 - (-5)/((-15)/6). Let b = 2293802/11 + -209020. Let i = b - -492. Is i > y?
True
Let m be ((-306)/(-85))/(1/(-5)). Let k = m - -17. Is k greater than or equal to -1?
True
Let b be 6*2*14/(-28). Is b at most as big as -7?
False
Let k be 2*-2*2/(-8). Let p(l) = l**3 - 3*l**2 + 2*l + 2. Let c be p(3). Let u be (0 - 2) + c/3. Does u = k?
False
Let m = 2 - 2. Which is smaller: 2/15 or m?
m
Let k(x) = -x**2 - 4*x + 5. Let b be k(-4). Let c be (-4)/14 - (-153)/21. Suppose 5*j - b = 3*f, 5*j - c = 2*f - 2. Which is smaller: f or -1/5?
-1/5
Let v = 962 + -71189/74. Let g = v - -155/518. Is 1 less than g?
False
Suppose 6*c - 16 = 4*c. Let b(f) = f**3 + 6*f**2 - 8*f. Let h be b(-7). Is c at most as big as h?
False
Let g = 18.3 + -15.3. Is 12 greater than g?
True
Let b(v) = 2*v - 4. Let y be b(8). Suppose -a = 3*z + 9, 3*z = -5*a + 3*a - y. Which is smaller: -1/2 or z?
z
Let l = -42.7 + 43. Let o = 8 - 9.3. Let z = 0.3 + o. Is z at least l?
False
Let y be (35/2)/(-7)*4. Which is smaller: -21/2 or y?
-21/2
Let s(r) = -r**3 + 3*r**2 + r - 4. Let z be s(3). Let a = z - 2. Let n(y) = y**3 + 3*y**2 - 2*y - 2. Let m be n(a). Which is smaller: 5 or m?
m
Let x be (-1)/6 + 369/(-1302). Let y = x - -2/93. Which is smaller: y or 0?
y
Suppose -4*i + l = -2*l - 23, -4*l = 4*i + 12. Let c = -7 + 11. Suppose 3*v + 6 = 3*k, -2*v - 4*k + i*k + c = 0. Is 2 greater than v?
True
Let v be (-254)/20 + (-5)/10. Let i = v - -442/35. Is i at least -2?
True
Let r(w) = -w**2 - 7*w - 6. Let o be 3 - (-3 + 10)/1. Let h be r(o). Suppose -2*c = -3*c + h. Are 7 and c non-equal?
True
Let c = 18 - 7. Let o be -2 - -1 - (-13)/c. Do -1 and o have the same value?
False
Let r be (-12)/12 - (2 + 1 + -1). Let c = 4 + -7. Is c at least as big as r?
True
Let b(x) = -2*x - 25. Let p be b(-13). Let n = 7 + -5. Is n > p?
True
Let r = -40 - -22. Is r at least -18?
True
Let o = 6 + -8. Let l be 1 + -1 + 8/(-14). Which is smaller: l or o?
o
Let k = -27 - -41. Do k and 12 have the same value?
False
Let t = -4.8 + -1.2. Is 0.2 smaller than t?
False
Let l be (-145)/100 + (-3)/(-12). Is 0 < l?
False
Suppose 0 = 3*l + 19 - 7. Let v = 3 + l. Are v and -1 equal?
True
Let t(p) = p**2 - 6*p - 4. Let d be t(7). Let z be d/(2 - 1) + 1. Suppose -10 = -z*j + 5*a + 6, 2*j - 2*a - 6 = 0. Which is bigger: -1/2 or j?
-1/2
Let t = 299 + -110. Let h = 2081/11 - t. Is h < 3/4?
True
Let n(p) = p**2 - p - 5. Let l be n(3). Is 6/61 < l?
True
Suppose 2*o - 2 = 4*k, -3*o - 2*o = 5. Let z be (0 - 54/(-152)) + (-17)/68. Is z <= k?
False
Let t = -10.2 + -2.8. Let r = t + 8. Which is greater: r or 1?
1
Let z = 16 - 1. Let r be (-2)/10 + 63/z. Suppose 2*q - s + 3 = 5, r*q - 5*s + 2 = 0. Is 1 less than or equal to q?
True
Let d(k) = -k**3 - 3*k**2 + 5*k - 5. Let g be d(-3). Which is smaller: -99/5 or g?
g
Let j = 3/4 - 5/4. Is j <= -2/7?
True
Suppose -2 = -f - 0. Suppose 4*l - 12 = l. Suppose -p + 0*p = -z + 1, l*z = -p + 4. Is z > f?
False
Let q be (-7)/(-4) + (-2)/(-8). Suppose 5*d = q*d. Which is smaller: d or -2/9?
-2/9
Let v = -33 - -37. Is 3 less than v?
True
Suppose 5*d + 14 = -2*y + 6*y, 5*y - 5*d = 15. Suppose 5*i = -2*q, q - 5*i - 13 = 2. Suppose -q*n + 15 = 5*f, -5*n + 2*f = 4*f - 15. Which is bigger: y or n?
n
Suppose -45*n + 222 = -51*n. Is 1/4 greater than or equal to n?
True
Let b = -32 + 63/2. Which is smaller: -2 or b?
-2
Let v be 0 + (-3 + 4 - 1). Suppose v = 3*b - 3 + 6. Is b < -1?
False
Let l be 3 - (-15)/(-3) - -2. Suppose l = -2*i + 2. Let t be 2 - 1 - 6/4. Is i > t?
True
Let s(n) = -n**2 + 3*n. Let v be s(3). Let h = 10 - v. Is h smaller than 9?
False
Suppose -2*t - 5*o + 10 = 0, 3*o = 4*t + 8*o - 10. Let a be 12/((3 - t) + -2). Let d be (1 - 3)*(-18)/a. Is d equal to 1?
False
Suppose -3*s + 4 = -2. Let c be (-15)/(-7) + -4 + s. Let d = -27/91 + c. Is d equal to -1/4?
False
Let f = 0.15 + 0.85. Does 5 = f?
False
Let o = -26 + 18. Which is bigger: -7 or o?
-7
Let j = 66.6 - 60. Let z = -7 + j. Is -2 at least z?
False
Let d = 19/8 - 117/56. Let h = -113/4 + 28. Which is greater: h or d?
d
Let p be 8/10 + -7 + 1554/(-30). Is p at least as big as -57?
False
Let p(w) = -w**3 - 8*w**2 - w - 7. Let q be p(-8). Let n be q + (1 - 1) + 2. Let h = -0.4 + 0.5. Which is smaller: h or n?
h
Suppose 2*r = -2*i + 10, 1 = -i - 3*r + 16. Suppose -4*t + 3*t = 0. Let z = t - i. Is -1 at least z?
False
Let q = 6 + -3. Suppose -2*p + q - 5 = 0. Which is smaller: p or 0.2?
p
Let g = -3 + 5. Suppose 0 = -0*c + c - g. Is 3/2 greater than c?
False
Let d = -10 - -17. Let f = -3 - 5. Let j = f + d. Is -0.2 equal to j?
False
Let r(i) = -i - 12. Let d be r(0). Let l be 21/(-2)*d/7. Suppose -3*g = -12, -o - g = -5*g + l. Is o smaller than -1?
True
Let g = 4 - 3. Suppose 2*o + g = o. Let j = 59 + -239/4. Is o <= j?
True
Let y(k) = 9*k**2 + 20*k. Let t be y(-2). Suppose 5*l + 11 = -39. Let n be l*-4*1/(-10). Is t greater than n?
False
Let d be 1 - (0/2)/2. Let n be (-2)/(-1*d/2). Suppose 0*m + 5*k + 8 = -m, 2*k = -4*m + n. Which is bigger: m or 1?
m
Let o = -0.079 - 4.021. Let y = -4 - o. Let k be (3 - (-26)/(-6))/(-2). Is k > y?
True
Let h(p) = p**3 - 5*p**2 - 6*p. Let b be h(6). Let a(s) = -7 + 8 + s - 2. Let i be a(b). Which is greater: i or -3/8?
-3/8
Let h(n) = 2*n**3 + 14*n**2 + 8*n - 26. Let a be h(-6). Let k be 1/4 + 38/(-24). Is a > k?
False
Let a = 9 - 9.1. Let l = -3 + 2.9. Let p = a + l. Is p at least 1?
False
Suppose 2*f = 2*o + 8, -o - 2 = -3. Which is bigger: f or 7?
7
Let c(k) = 10*k**3 - 2*k - 3. Let b be c(2). Which is smaller: 72 or b?
72
Let d(a) = a**3 - 7*a**2 + 7*a - 11. Let b be d(7). Is 2/3 != b?
True
Let n be -6 + 0 + 60 + -55. Let i = 317 - 4119/13. Are n and i nonequal?
True
Let w = 1/137 + -1237/548. Is w greater than or equal to -2?
False
Let b be 2*4*(-4)/8. Is b != 2?
True
Let o = 6 + -4. Let p = -9.63 + 0.83. Let w = 9 + p. Which is bigger: w or o?
o
Let l = 0 - -2. Let t be 14/(-4) - (-1)/l. Which is smaller: -2 or t?
t
Let h be (-2)/12 - 6/12. Let s = -2 + 1.8. Let q = -0.1 - s. Which is greater: h or q?
q
Let i = -29 + 26. Suppose 8 = 2*z + 2*d, 5*d + 20 = -z + 6*z. Suppose t = 5*p - 3, 2*p - 14 + 2 = z*t. Is i at least t?
True
Let b = 18 + -10. Which is smaller: b or 11?
b
Let z = 3 + -3.1. Let k = z + 3.1. Is -0.1 greater than k?
False
Let h(a) = -a**2 + 7*a + 17. Let w be h(9). Which is greater: w or 2/81?
2/81
Suppose -3*a = -a - 4. Which is bigger: a or -1?
a
Let x = 0.16 + -0.36. Which is smaller: x or -0.03?
x
Let n(o) = o - 6. Let c be n(5). Let b be ((-5)/(-2))/(4/(-8)). Let j be ((-9)/15)/(b/(-25)). Which is greater: c or j?
c
Suppose -b = 4*b + 25. Which is smaller: -9/2 or b?
b
Let p = -3.8 - 1.2. Let v = p - -6. Are v and -1/4 equal?
False
Let q = -0.64 - -0.7. Let p = 0.08 - q. Which is bigger: -1 or p?
p
Suppose -2*c - 3*x - 9 = -2*x, -9 = c + 5*x. Are c and -4 equal?
True
Suppose 4*y - 2*y + 3*r = -5, 0 = y - r. Let z be (-1)/(-1) - (-2 + y). Suppose -9 = -5*s + 6. Is z greater than s?
True
Let i = -7 - -8. Let w = 1.4 - i. Is -2/3 greater than or equal to w?
False
Let d(x) = -x**2 - 8*x - 7. Let r be d(-7). Let t(y) = -y**3 - 4*y**2 + 6*y + 5. Let m be t(-5). Suppose -2*o + m = 4. Is r at least o?
True
Let l = 22.8 + -23. Which is greater: 22 or l?
22
Let i = 0.179 + -3.179. Suppose 4*q = -2 + 10. Let g be q/(-4) + 5/2. Is i at least g?
False
Let f(v) = -v - 4. Let s be f(-9). Suppose -19 = s*d + 1. Which is greater: d or -5?
d
Let y be 0 + 2 - 18/3. Is -5 > y?
False
Let h = -0.39 + 0.4. Let i = h + -0.01. Which is smaller: i or -2?
-2
Let o(j) = -3*j + 4. Let k be o(-1). Let z(a) = -a**3 + 2*a**3 + 0*a**3 + 6 - 8*a**2 + 6*a. Let d be z(k). Which is greater: d or -2/5?
-2/5
Let c = -0.02 - -0.03. Let k = 0.11 - c. Let y = -12 - -17. Are y and k equal?
False
Let z be (5 - 558/111)/(1/2). Which is greater: -0.1 or z?
z
Let p = -27333/305 - -448/5. Which is smaller: -1 or p?
-1
Let r be 1/(-2 - (-9)/5). Let d = 8 + r. Suppose 6 = d*s - s. Is 4 at least as big as s?
True
Let z be 2 - (106/8 - 18/24). Is -10 greater than z?
True
Let n be (-14)/(-8)*(230/35 + -4). Which is smaller: n or 5?
n
Let i be (-5)/((-3)/((-27)/6) + -2). Which is smaller: 5 or i?
i
Let h = -42/17 + 2327/935. Which is smaller: h or 1?
h
Let b(k) = k - 2. Let w be b(3). Are -1 and w nonequal?
True
Let l be -2 + 34/28 -