 - (-14)/18 - 1. Which is smaller: d or 1/6?
d
Let b = -6/23 + 100/207. Let c = 8 + -4. Which is greater: c or b?
c
Let h = -23 + 23. Is -12 greater than h?
False
Let d = 5 - 1. Let f be d/6 + (-35)/(-42). Suppose -3 - 2 = -4*g + 3*j, 0 = -2*j + 2. Is f smaller than g?
True
Let h = 1.63 + -1.8. Let i = -3 + 2.97. Let x = i + h. Is x less than or equal to -1/3?
False
Let s be (-6)/1*(-28)/8. Suppose 5*t = 2*i + s, 20 + 1 = 3*t - 4*i. Let c = 4 - t. Is -1/4 < c?
True
Suppose 3*d = -g + 10, 0 = -7*d + 2*d + 15. Let n = 0 + 0. Is g > n?
True
Let j(x) = -6*x - 2. Let h be (-26)/10 - 18/(-30). Let f be j(h). Suppose 4 = -2*o + 5*c, -f = 5*o - 2*c + 3*c. Which is smaller: 0 or o?
o
Let p(m) = 2*m**2 - 3*m + 2. Let x be p(2). Suppose 0 = -2*n - x*s + 6, 4*n - 2*s - 1 + 9 = 0. Is -3/7 at most n?
False
Suppose 0 = -f + 3*f - a + 21, -3*f - 19 = a. Let o(t) = -10*t**2 + 1. Let s be o(-1). Is s at least as big as f?
False
Let o = 16 - 9. Let m = o - 17. Which is smaller: m or -11?
-11
Let y = 33/34 + -639/238. Which is bigger: y or -3?
y
Let j = 0.026 + -14.026. Which is bigger: j or 2?
2
Let s(i) = -i**3 + 3*i**2 - 2*i - 1. Let x be s(2). Let u be ((-45)/(-6))/(x/2). Let a be -2 + u/12 + 3. Which is smaller: a or -2?
-2
Let r be 575/805 + 2/7. Let j be 1/43*-45 + 1. Is r greater than j?
True
Let j(v) = v**2 - 14*v + 22. Let n be j(10). Which is smaller: 1 or n?
n
Suppose 4*n = -4, 2*n - 7*n - 13 = -2*z. Let j(i) = -z + 0 - 4 - 4 + 2*i. Let q be j(9). Which is smaller: 7 or q?
q
Let n = -0.07 + -1.93. Let t = -7 - n. Let c = t + 6. Which is bigger: 2 or c?
2
Let d(c) = c + 8. Let j(g) = g. Let b(l) = d(l) - 2*j(l). Let n be b(6). Is 2 bigger than n?
False
Let p(z) = 2*z + 1. Let a be p(2). Let f = -8 + 11. Suppose -2*j + 4 = 2*k - 0*k, -f*j - 10 = -k. Do a and k have the same value?
False
Suppose a = 4*q + 27, -3*a = 3*q + 2*a + 3. Let v be (q/(-35))/((-3)/(-10)). Which is greater: 2 or v?
2
Let v = 1.21 - 1.1. Let t = 0.02 + v. Does t = 1?
False
Let j be 6/(-2) + 0 - -2. Are j and -4 nonequal?
True
Let p = -0.2 - -0.1. Let r(o) = -o**3 + 7*o**2 - 6*o - 2. Let i be r(6). Let v = 1 + i. Is p bigger than v?
True
Let j = -77/5 + 15. Which is smaller: -1.3 or j?
-1.3
Let y(p) = p**2 + 2*p + 5. Let d be y(0). Let n = 2 - -2. Are d and n equal?
False
Suppose 3*t - 5 = -4*u, -u - 5*t + 14 = -0*u. Is u less than or equal to 0.06?
True
Let y be ((-24)/(-64))/(6/4). Are 19 and y equal?
False
Let w be (3/39)/(1/(-22)). Which is smaller: -2 or w?
-2
Let j be 2/12 - 14223/126. Let z = 113 + j. Let i = 5 - 5. Is z less than i?
False
Let c = 93 - 90. Which is smaller: 1 or c?
1
Suppose -2*a + 20 = 2*m, -3*a = 2*m + 2*a - 29. Which is bigger: m or 3?
m
Suppose 5*z + 5 = -4*o - 4, -2*z + 2 = 3*o. Let f be -4 + o + 2/(-2). Which is greater: f or 0?
0
Suppose -2*o + 148 = 2*m, -6*o + o + 5*m = -400. Let y = 1079/14 - o. Which is smaller: 1 or y?
y
Suppose -v = 2*v - 3*l - 24, -8 = -v - 4*l. Let m(y) = -y**3 + 9*y**2 - 9*y + 10. Let n be m(v). Let d be n/9*(-1)/(-1). Are 2/9 and d non-equal?
False
Let y = -3/2 - -2. Is 0 less than or equal to y?
True
Suppose -5*k - 40 = -k. Let o = k - -14. Which is bigger: o or 3?
o
Let u(g) = g**2 + 6*g + 1. Let t be u(-6). Which is smaller: -2/5 or t?
-2/5
Let l(k) = 57*k - 7. Let v be l(-1). Is -65 less than or equal to v?
True
Suppose 2*a + 4 = 3*a. Let x be (-776)/10 + a/(-10). Let t = x + 625/8. Is t greater than or equal to 0?
True
Let u = 1.08 - 0.08. Let r be ((-2)/(-15))/(37/63). Let g = r - 1/37. Is g less than or equal to u?
True
Let b be -3 + (-1)/((-9)/21). Is b < 0.26?
True
Suppose 0*g = -2*o - g + 678, 0 = -2*g + 8. Let c = o - 3701/11. Which is smaller: 1 or c?
c
Let i = -2 - -6. Let c be 0 + (8 - i) - 4. Which is smaller: 1 or c?
c
Suppose -3*a = 1 - 7. Let d be a + (6*1 - -1). Let x = -4 + d. Is x not equal to 4?
True
Let v = 4.12 + -4. Let y = -1.12 + v. Which is greater: y or -0.6?
-0.6
Let a be 300/(-76) + 3 + 1. Is 0 less than or equal to a?
True
Let q(a) = a**2 - 4*a - 2. Let i be q(4). Let y = -4 - i. Which is greater: y or 8?
8
Suppose 4 = u - 2*u. Let r be (-16)/u*1/(-6). Which is greater: r or 0?
0
Suppose -m = -3*m + 78. Let n = -116/3 + m. Which is greater: n or -1?
n
Let t be (8/76)/(78*-1). Let b = t - -13345/5187. Is 2 at most as big as b?
True
Let i be (-805)/21 - 4/6. Is -39 > i?
False
Let u = 6 + -3. Suppose -5*g = -5*m, -u*g + 1 + 7 = 5*m. Let i = 0 + m. Which is greater: i or 2/13?
i
Suppose j - 6*j = -j. Which is bigger: 1/29 or j?
1/29
Let r(z) = -z**2 - z - 1. Let y be r(-2). Let l be ((-9)/(-6))/(y/4). Is -1 not equal to l?
True
Let m be 0/8*(-1)/(-2). Suppose -5*f - 2 + 7 = m. Is -2/13 at least as big as f?
False
Let z be (2/(-4))/((-4)/2). Let t = -5 + 6. Is t < z?
False
Suppose -4*n + v + 10 = 0, 0*n = -3*n + 3*v + 3. Which is smaller: 5 or n?
n
Let c be 1/(-2) - (-8981)/182. Let y = c + -49. Which is bigger: 0 or y?
0
Suppose 2*x - 60 = -16. Which is greater: x or 19?
x
Let w = 6 + 4. Do w and 11 have different values?
True
Let c(p) = p**2 - 2. Let s be c(-2). Let b(t) = 0*t + s*t**2 - 3*t**2 + 2*t + 0*t**2. Let n be b(2). Which is greater: n or 1/2?
1/2
Let a = -109 - -40. Is a >= -69?
True
Let x = 20 - 8. Let i be 3/x + 5/(-4). Is -1 at least i?
True
Let o = 10 - -3. Let r = -20 + o. Let t = 0 + -1. Are t and r unequal?
True
Let k be 20/(-28) - (-2 + 1). Is k >= 14?
False
Suppose 0 = -2*q - 0*q - 2. Let b be (-420)/(-735) - (-61)/(-21). Which is smaller: q or b?
b
Let v(m) = -4*m - 3. Let b be v(-2). Suppose -3*y + 20 = -8*y - b*t, 6 = -3*y - t. Let s(k) = -2*k + 1. Let j be s(y). Is 3 greater than or equal to j?
True
Let k(o) be the second derivative of o**5/20 - o**4/2 + o**3/6 - 7*o**2/2 + 4*o. Let l be k(6). Let q = -152/5 + 30. Which is bigger: l or q?
q
Let o(f) = -f + 5. Let z be o(7). Let i be (-21)/27 + z/9. Which is smaller: 1 or i?
i
Let y be (1/(-3))/((-1)/5). Which is greater: y or 3?
3
Let d(k) be the first derivative of -k**4/4 - 2*k**3 - 5*k**2/2 - k + 10. Let s be d(-5). Let p = -1/63 + -53/630. Are p and s non-equal?
True
Let g = 16 - 14. Let d = -0.1 - -0.4. Is g smaller than d?
False
Let u = -3/20 + -11/60. Let k(x) = x**2 - 7*x - 6. Let l be k(7). Let j be 2/6*l/(-2). Are u and j non-equal?
True
Let a be (1 - 19/7)*-49. Suppose -2*w + a = 2*w. Let d be ((-4)/w)/((-3)/9). Is d at most as big as 0?
False
Let v be (-1 - 4/(-2))*-1. Let t be (-3)/9*v*1. Are t and 1 non-equal?
True
Suppose 0 = -3*t - 15, -4*a - 6 = -5*a + t. Which is greater: a or -2/5?
a
Let s = -0.122 + 11.122. Which is greater: s or -2?
s
Let o(l) = -l**3 - 11*l**2 + 13*l + 15. Let f be o(-12). Let n = f + -5. Let q = 1 + -2. Which is smaller: q or n?
n
Let v = 2 + -1. Let p = -13.7 - -13. Let t = p - -0.9. Which is greater: v or t?
v
Let d(m) be the third derivative of -m**6/120 + m**5/20 + m**4/8 - m**3/6 - m**2. Let g be d(4). Is -4 >= g?
True
Let u be -2*18/(-4)*1. Let k be ((-265)/(-60))/(1/2). Let l = k - u. Does 0 = l?
False
Let y be (4/10)/((-4)/(-40)). Suppose 3 = -3*n + y*n. Suppose m + n - 1 = 0. Is m smaller than 1?
True
Suppose g + 7 = -4*y + 6*y, 3*y + 4*g + 6 = 0. Suppose -p + 5*m - 12 = 3*m, y*p - 2*m = -16. Suppose w - 3*w = 6. Is p > w?
False
Let g be (-32)/(-48) - 28/6. Let k be g/(-6)*2/4. Suppose 12 = -5*w + 3*r, 4*r - 17 = -w - 1. Which is greater: k or w?
k
Let p = -223/40 - -51/8. Let m(c) = 3*c - 15. Let b be m(6). Suppose 1 = 4*j - b. Is j > p?
True
Let g = -11/5 + 138/65. Let m be 4/(-6) - (-2)/(-6). Which is bigger: m or g?
g
Let a be -1*6/747*-3. Let b = 342896/863615 + -44/2081. Let o = b + a. Is 1 greater than o?
True
Let o = 9 + -16. Which is bigger: -1 or o?
-1
Let c = -15 - -15.1. Which is smaller: -21 or c?
-21
Suppose 2*o = 3*o. Suppose -3 = 3*h - o. Let p(s) = -s**2 + 6*s - 4. Let t be p(5). Is h at least t?
False
Suppose -4*u + 5*x = 21, 3*u = 2*u + 4*x - 8. Which is bigger: -2 or u?
-2
Let r = -2877 - -1769. Let g be 3*2/84*r. Let m = -79 - g. Is m at most -1?
False
Let u = -25 + 32. Suppose -3*l + u = 1. Do 2 and l have different values?
False
Let u be (187/28 - 2) + 5/(-20). Which is greater: u or 4?
u
Let t = -17 + 25. Suppose t = 3*y - 28. Let s be 26/y - 3/18. Which is bigger: 2/9 or s?
s
Let o be (1 - (2 + -3)) + -4. Let m be 102/(-40) + (-8)/(-10). Is m less