)/(-20). Suppose 0*k - x*k = -24. Let i = 5 - k. Are i and 2/7 unequal?
True
Let r be 4/(-6)*(-3)/14. Is 1 greater than r?
True
Let g = -6 - -7. Which is smaller: 3 or g?
g
Let l = 1/607 + -3647/3035. Is l > 3/2?
False
Let a = 194.7 - 177. Let q = a + -17. Are q and 0 unequal?
True
Let t be 4/14 - (-18)/(-63). Which is bigger: -6/11 or t?
t
Let g be (-1)/(-3) + (-11)/33. Suppose g = -5*j - 0*j + 5. Does 2/25 = j?
False
Let r = -15.23 + 15. Let t = r + -0.07. Which is bigger: 0 or t?
0
Suppose h - y = 172, -2*h + 0*h = 5*y - 330. Let g = h - 857/5. Which is greater: g or 0?
0
Let m(f) = -f - 6. Let q be m(-2). Do q and 0 have the same value?
False
Let s = 9 + -13. Let c = 48 + -44.2. Let q = c + s. Is 0.1 < q?
False
Let w = -2 - -1. Let a be (4 + 28/(-8))*-2. Is w at most a?
True
Let o(y) = y**2 - 6*y + 7. Let a be o(5). Let d be (-1*(0 + -2))/(-1). Let g be -2*d*(-1)/(-2). Is g at least as big as a?
True
Let z = -2 + 1.4. Let h = z + 0.8. Is -3/4 at least h?
False
Let w(r) = r**2 - 6*r - 8. Let h be w(7). Is 2 greater than or equal to h?
True
Let f = -2/21 - -2/3. Which is smaller: f or 0?
0
Let c be 3/6*(-2 - -2). Let s(q) = q**2 - 2. Let m be s(c). Do -5/3 and m have different values?
True
Let g(m) = -2*m**2 - 4*m + 6. Let k be g(-4). Which is smaller: -11 or k?
-11
Suppose 0 = 5*q - 172 - 8. Suppose -b - q = -5*b. Let m = 28/3 - b. Is m > 1?
False
Let l = 1 - 1. Let t = 1 - l. Let f be 0*t/2 - 2. Which is smaller: f or -6/11?
f
Suppose y + 4 = 9. Is 5 at least y?
True
Let v be 1 - (4 + -3)*1. Which is smaller: -1 or v?
-1
Suppose 3*x + 5*p + 12 = 0, 0 = 4*p - 0*p. Is -39/8 at most x?
True
Let u = -103 - -107. Is u at most 7?
True
Let q(n) = n - 8. Let k be q(7). Suppose 2*g - 18 = 4*m - 0, 4*m = g - 19. Is g bigger than k?
False
Let g(v) = v**2 - 6*v - 4. Let c be g(7). Let i be (c + -2)*(0 - 1). Let h be 1/(-2)*(-4)/(-6). Which is smaller: i or h?
i
Let m be 176/6*(-8 - -5). Is m not equal to -87?
True
Let x = -7 - -4. Let q be (7 + -3)*x/(-4). Let u be (2/6)/((-2)/(-18)). Is q equal to u?
True
Suppose -4*n = 3*t + t + 12, -2*t = -4*n. Let x be t - (21/4)/(-3). Let b(o) = -o**2 - 10*o - 8. Let f be b(-9). Is x > f?
False
Suppose 2*v - 6*r = -2*r + 58, 41 = v - 5*r. Does v = 20?
False
Let i be ((-4)/14)/(-15*3/21). Is i <= 0?
False
Let f be ((-11)/33)/((-1)/(-3)). Which is smaller: f or 1/42?
f
Let w = 3.08 - 0.08. Which is bigger: w or 1/6?
w
Suppose 0 = 5*l - 0*l + 5. Which is smaller: -9 or l?
-9
Suppose 0 = -j + 2*c - 9, 3*j - c + 6 = j. Let u be (j/3)/(3/(-9)). Suppose -o - 2 = -u. Which is smaller: o or 0?
o
Suppose -4*c + 0*c = -4*o - 36, 0 = -4*c - 5*o. Let b be -4 - 0 - -6 - -3. Is c greater than b?
False
Let u be 3 + 2/(-1) + -29. Let c(a) = 3*a - 8. Let d be c(8). Let j be d/u*1/2. Which is greater: j or 1?
1
Let m = -90.1 - -90. Which is bigger: -0.2 or m?
m
Let w = 6 + -2. Let t be 6/12 - 2/(-12). Is w at least t?
True
Let d be -1*(2/(-1))/2. Do -2/13 and d have different values?
True
Suppose -2*y = b - 5, -3*b - 2*y = -7*b. Let i be (-11)/2 + b/(-2). Let q be (-4)/i*(-2 - 1). Which is greater: q or -1/3?
-1/3
Let j = -5/21 + 223/1113. Let x = 43/265 - j. Let f(h) = -h**2 + h - 1. Let a be f(0). Which is greater: x or a?
x
Let a(f) = f + 9. Let v be a(-7). Which is greater: 4/5 or v?
v
Let w = -12 - -9. Suppose -7 = -4*p + 1. Let h = w + p. Which is smaller: 0 or h?
h
Let s = -4 - 0. Let f = 14 - 19. Which is greater: f or s?
s
Let i(k) = -k**2 + 9*k - 9. Let f(s) = -s**2 + 8*s - 7. Let x be f(5). Let u be i(x). Let z be ((-2)/9)/(1*-1). Is u smaller than z?
True
Let h be 800/135 - 4 - 2. Let b(o) = o**2 - 4*o - 7. Let k be b(5). Let p = k - -2. Is h < p?
True
Let k = -6 - 0. Let a = 5.6 + k. Is 0.1 >= a?
True
Let q(r) = -86*r - 8. Let w be q(-1). Is w greater than or equal to 78?
True
Let y be 2/(-12) - 93/(-126). Let i(v) = v**3 + 6*v**2 + 3. Let c be i(-6). Suppose -c*r = -2*r. Is r <= y?
True
Let m be (-20)/18 + 6/6. Suppose -a + 0*a + 1 = 0. Suppose 3*s + a = 2*s. Which is smaller: s or m?
s
Let c(n) = -n**3 - 3*n**2 - 2*n - 3. Let w be c(-3). Let d be (-1)/(-3) + w/(-9). Let s be d - 2/(1 + 1). Which is smaller: -0.1 or s?
s
Suppose 3*i + i = 32. Let f be i/6 - (-1)/(-3). Is f less than 3/8?
False
Let g = -143.99 - -145. Let w = 0.01 - g. Is -4 >= w?
False
Let r be (2/4)/(8/80). Is r at least -0.3?
True
Let f be (1/3)/((-78)/288). Let g = 22/39 + f. Let d be (-2)/6 - 2/12. Which is bigger: g or d?
d
Let d(k) = -k**3 - k**2 + k - 1. Let o(m) = 5*m**3 + 3*m**2 - m + 10. Let n(h) = 6*d(h) + o(h). Let t be n(-3). Is t bigger than -10?
False
Let t = -12 - -12.1. Let m = 0.2 - t. Is -0.3 greater than or equal to m?
False
Let a = -16 + 34. Which is bigger: a or -0.3?
a
Suppose 0 = -n - 2, 4 = 5*x - x - 4*n. Is -8/9 greater than or equal to x?
True
Suppose 0 = 4*n - 23 + 7. Suppose -n - 8 = -4*c. Let b be -3 - (-2 - c) - 2. Which is smaller: b or -3/8?
-3/8
Suppose 7*v - 4*v + 27 = 0. Are -11 and v equal?
False
Let d = -1/280 - 79/280. Suppose 0*l - 5*k = -2*l + 31, 3*l = -k + 4. Is l smaller than d?
False
Let d be (-2 + 5)*(-2)/(-3). Suppose -4*k + d = -2. Let r = 2 - k. Which is smaller: r or -1/4?
-1/4
Let v be (3/(-4))/((-1)/(-4)). Let j be (-2)/(-3 + 76/28). Let r be j/21 - (-7)/v. Is -1 smaller than r?
False
Let y be 0/(-6 + (-5 - -9)). Which is greater: -4/13 or y?
y
Let j = -90/13 - -707/104. Which is smaller: j or -1?
-1
Let u = 351/4 - 90. Let f = u - -7/4. Which is greater: f or -0.8?
f
Let i(z) = -8*z - 1. Let c be i(-1). Let t(a) = -2*a + 7. Let h be t(c). Let y = 7 + h. Which is greater: y or 1?
1
Let w = -0.4 - 2.6. Let r = w + 1. Is r less than or equal to -2/7?
True
Let z(s) = s**2 + 16*s + 12. Let a be z(-15). Which is smaller: 0 or a?
a
Let x = 146/55 - 38/11. Suppose -3*b + 8*b - 27 = 2*y, -3*y + 3*b - 18 = 0. Which is bigger: y or x?
x
Let o(x) = -x**2 + 3*x + 5. Let h be o(4). Let w = -176/7 - -25. Which is greater: w or h?
h
Let w be 2 - -1 - 4265/1650. Let x be 2/6*(-2)/44. Let c = x + w. Which is bigger: 0 or c?
c
Let k(f) = f**2 - 4*f - 4. Let c be k(5). Which is smaller: c or -1/4?
-1/4
Let y be 2/(1/((-2)/2)). Let p be (-2 - -2)*(-2)/(-4). Let c = y - p. Which is smaller: 0.1 or c?
c
Let m(g) = g**2 - 11*g + 7. Let a be m(11). Suppose 0 = -6*s + a*s - 2. Which is smaller: 1/4 or s?
1/4
Let d be 8/(-3) - 2/(-3). Let x = 0 - d. Let b = 6 - 5. Is x not equal to b?
True
Let w(n) = -n + 10. Let p be w(11). Is -1/50 bigger than p?
True
Suppose 5 = x - 0. Suppose 1 = -3*d + a - 5, -x*d - 5*a = -10. Let i be ((-1)/((-6)/(-3)))/d. Does 1 = i?
False
Let q be -3 - (-5)/((-10)/(-6)). Is -1/15 smaller than q?
True
Let n be (-6)/4*38/1007. Is n >= 0?
False
Let m be ((-1)/(-3))/((-1)/(-45)). Let l be ((-4)/(-6))/((-5)/m). Let d be 4/(-16)*8/l. Which is greater: -1/5 or d?
d
Let j(i) = i**3 - 3*i**2 - 4*i - 3. Let l be j(4). Suppose -q - 11 + 34 = -c, -3*c = 2*q - 31. Suppose 4*u + q = -0*u. Is u greater than l?
False
Suppose l = 6 - 2. Suppose -2*m - l = 2*m. Let j = -256/3 + 86. Which is smaller: m or j?
m
Let n(q) = -q**2 + 6*q + 2. Let l be (14/(-8))/((-2)/8). Let w be n(l). Are w and -7 nonequal?
True
Suppose 0 = -4*w + 2*w - 8. Is -2 < w?
False
Let b = 6.01 - 6. Let v = b - 0.61. Let r = 1.6 + v. Is 0.5 at least as big as r?
False
Let a = 17/105 - -6/35. Let o = -0.28 + 0.08. Let n = 0.8 - o. Which is smaller: n or a?
a
Let l = -37 + 149/4. Suppose 0 = -j - 2*j + 6. Let g = -1 + j. Is g greater than or equal to l?
True
Let p = 10 + -9.9. Is p equal to 32?
False
Suppose 50 = -5*w - 25. Let d = -23 - w. Let m be (6/d)/((-66)/16). Which is greater: m or -1/4?
m
Let v be (-7 - 1)/(0 + 1). Let x = v - -23/3. Are -2/5 and x non-equal?
True
Let j(s) = -s**2 - 7*s - 6. Let g be j(-7). Let r be 23/(-20) + g/(-8). Which is bigger: r or 0?
0
Suppose 3*g + 5 = 4*v - 9, -4*v - 5*g + 30 = 0. Suppose -6*h + h = -v. Is 7 less than or equal to h?
False
Let g be 3/(1*1/(-2)). Let i = -18 + 11. Is g less than or equal to i?
False
Let o = -2 - -1.81. Let n = 0.57 + o. Let k = 0.08 - n. Which is greater: -0.1 or k?
-0.1
Suppose -5*j + 10 = -2*h, h = 2*h - 3*j + 6. Let x = 20/19 + -102/133. Which is greater: x or h?
x
Let o(j) = j**2 + 6*j + 4. Let t be o(-5). Which is smaller: t or -11/5?
-11/5
Let v(o) = -o + 3. Let q be v(-7)