et a = -2.6 + -0.2. Let t = 3 + a. Is t greater than 2/29?
True
Let n = -0.5 - -0.44. Let b = -0.052 + -0.008. Let f = n - b. Is -1 at least f?
False
Let t = -0.7 + 0.718. Is -2/7 > t?
False
Let l be (0 + 2 + 2)/1. Suppose 2*p + 2*p + 3*v = 17, p = 2*v - l. Let o(t) = t**3 + 6*t**2 - t - 4. Let f be o(-6). Do p and f have different values?
False
Suppose d + 2*d = 3. Let f be 1 + 1 + d + 1. Which is bigger: 5 or f?
5
Let l(s) = -2*s. Let t be l(-1). Suppose -5*d = -3*d - 20. Let r = d + -7. Are r and t non-equal?
True
Let s be (1/3)/(6/16). Let j be (0 - -1)*(-23 + 22). Which is greater: s or j?
s
Suppose 9*b - 5*b + 40 = 0. Are b and 1 unequal?
True
Let s(n) = n**3 + 4*n**2 - 6*n - 6. Let w be s(-5). Which is greater: w or -2/55?
-2/55
Let j = -38 - -37. Let s = -1/41 - 30/451. Which is greater: s or j?
s
Suppose -4*c - 88 = -0*c. Let l = 13 + c. Which is greater: l or -8?
-8
Let p be (28 + 2)*((-2)/(-65))/1. Is 0 smaller than p?
True
Suppose 0 = 2*x - 3*t - 1 + 13, x = 5*t - 13. Let l = -2 - x. Does l = 3/10?
False
Suppose 2*a - 3*a + 7 = 0. Which is greater: a or 6?
a
Suppose 5*i + 54 = 3*i. Let r be ((-12)/8)/(i/(-4)). Which is bigger: -0.1 or r?
-0.1
Let q(m) = -m**2 + 6*m - 2. Let x be q(6). Suppose 3*s + g - 1 = 0, -2*g = 5*s + 3*g + 5. Let i = s + x. Is i < -2/7?
True
Suppose -6*h - 6*h = -600. Is 52 equal to h?
False
Let l = -0.08 - -0.1. Let j = l - -1.98. Let g = 170 + -1192/7. Which is smaller: g or j?
g
Let i be 1584/60 - 2/5. Is i not equal to 25?
True
Let n(y) = y**3 + y**2 - 3*y - 1. Suppose 3*g + 2*g + 10 = 0. Let s be n(g). Which is greater: s or 2/21?
s
Let k be (-30)/20*2/(-10). Which is bigger: k or -1?
k
Let o be ((-57)/15 - -4)*-2. Are o and -2/49 nonequal?
True
Let u = 124 - 249/2. Let g = 3 - 2.7. Is u at most as big as g?
True
Let g = -513/7 - -73. Let d(f) = f + 2*f - 2*f - 7. Let t be d(6). Do t and g have different values?
True
Let q = 1 - 1.04. Let x = q + 1.04. Is -5/2 > x?
False
Let h be ((-16)/(-450))/((-2)/(-5)). Let u = -7/18 + h. Which is bigger: -1 or u?
u
Let k be -1 + -2 + (2 - 1). Let l be (-36)/10*1/3. Which is greater: k or l?
l
Let x be (-1)/(-4) + (-5)/4. Let g = 2/9 - 31/18. Which is smaller: x or g?
g
Let v be ((-33)/315 + 0)*-1. Let t = -2/21 - v. Suppose 2*y = -2*y. Is y > t?
True
Let u = -23.98 + 24. Is u equal to -1?
False
Suppose -3*t + 2*t = 7. Which is smaller: -5 or t?
t
Let k = 3719/21 + -177. Which is smaller: 0.1 or k?
k
Let y = 33.9 + -34. Is y greater than -137?
True
Let c = -5.4 + 3.7. Let j = -1.97 + -0.03. Let l = c - j. Which is bigger: -1 or l?
l
Let q = -2647 - -1691. Let u be q*((-39)/(-21) - 2). Let z = 136 - u. Which is bigger: z or -1?
z
Let a be (-4)/(0 + -8)*-2. Which is smaller: -3/2 or a?
-3/2
Let d(l) = 5*l**3 + l**2 - 1. Let k be d(1). Let h(w) = -2*w - 19. Let q be h(-11). Are k and q equal?
False
Let w = -3 + 2. Let z = -0.9 - w. Let c = 51/2 + -25. Which is bigger: z or c?
c
Let l = 0.5 - 0.4. Let t = -0.3 + l. Which is greater: t or -1?
t
Let d be (-1154)/(-4)*(-1)/2220. Let g = d + -1/296. Is 2/5 smaller than g?
False
Let l = -9 + 21. Let w(m) = -2*m**2 - 12*m + 27. Let u be w(-7). Does l = u?
False
Let c(d) = d**3 + d**2 + d - 3. Let g be c(0). Let o = 5 + g. Is o not equal to 0?
True
Let n(q) = -q**2 + 2*q - 2. Let t be n(2). Let d = 2 + t. Suppose -4*p + 3*s = 19, -3*s + 7*s - 18 = -2*p. Which is greater: d or p?
d
Suppose 5 = 6*k - k. Which is bigger: -1/6 or k?
k
Suppose 1 = 3*f - 2. Suppose 0 = -3*p - f + 4. Let n be 2 - -1*132/(-63). Are n and p nonequal?
True
Let r = -8 + 13. Let n(a) = -a - 2. Let b be n(-6). Let c be ((-2)/b)/(r/4). Are -1 and c non-equal?
True
Let k be ((1 - -4) + -3)/2. Which is smaller: k or -4?
-4
Let w be (-152)/(-10) - (-5)/(-25). Let y = w - 18. Is -1 not equal to y?
True
Let b(l) = -l**3 - 4*l**2 - l - 4. Let t be b(-4). Do t and -2/33 have different values?
True
Let k(o) = o + 14. Let a be k(-6). Which is smaller: a or 6?
6
Suppose 3*l = -12, 11*x - 6*x - 2*l - 43 = 0. Let i = 20 + -13. Is i at least x?
True
Let b = 48.06 + -45. Let c = -0.06 + b. Let y = -5 - -5. Which is greater: c or y?
c
Let z = 40 + -40.01. Is 0.1 < z?
False
Let d be 1/(-5) + 1941/30. Let v = -1415/22 + d. Is v greater than or equal to -1?
True
Suppose -11*o - 9*o = 840. Which is smaller: -44 or o?
-44
Suppose -3*v = v + 32. Which is bigger: v or 0.2?
0.2
Let b be -7*((-30)/(-88) - 2/8). Is b > -2?
True
Let i = 1 - 0. Let p = -0.1 - -1.1. Let d = -1 - p. Is d greater than or equal to i?
False
Let w = 37 + -33.94. Let c = 3 - w. Is c less than or equal to -2/5?
False
Let g be 119/(-14) + 0/(1 - -1). Which is greater: g or -10?
g
Let v(b) = -8*b - 1. Let h be v(1). Let t = -10 - h. Which is smaller: t or -2?
-2
Let j be 1 + 2 + 0 + -2. Let s be j + ((-10)/(-6) - 2). Let l = 617/11 - 56. Is s at least l?
True
Let f be (62/3)/(2/(-6)). Let k = f + 184/3. Which is greater: -2 or k?
k
Let d = 3 + 0. Let m = 5 - 3. Let s = m - d. Is 2/11 equal to s?
False
Let g = 1 + 3. Suppose -2 - g = -3*t. Which is greater: -2 or t?
t
Let t(d) = -3*d - 2. Let n be t(2). Let m be 6/n + 0 + 1. Do m and -1 have the same value?
False
Let s(k) be the first derivative of -1/4*k**4 + 9*k - 1/2*k**2 - 2 + 10/3*k**3. Let m be s(10). Is m > -3/2?
True
Suppose -4*n = 4*n - 768. Is 97 less than n?
False
Let l be 2 + (-2 - -4) + -2. Let d(i) = -7*i - 3. Let c be d(-2). Suppose -l*g = -c - 1. Is 3 greater than g?
False
Suppose -5*a + 12 = -d + 2, -22 = -4*a - 2*d. Which is bigger: 1/4 or a?
a
Let g be (-3 + 1)*(-1)/2. Let b(t) = -t**3 - 2*t**2 + 2*t - 2. Let m be b(-3). Is m >= g?
True
Let q be 12 + 9/(9/(-2)). Is -3 bigger than q?
False
Let r = 0.2 - 0.2. Let u(h) = h + 6. Let p be u(0). Let x = 6 - p. Is r at most x?
True
Let c be (6 + -6)*2/(-4). Which is smaller: 3/19 or c?
c
Let a(q) = q + 4. Let i be a(0). Let u = 6 - i. Let p be (u/(-5))/((-21)/(-15)). Is p bigger than 1?
False
Let l = 44 + -45. Which is greater: l or 0?
0
Let d = -211/3 - -72. Is d > 3?
False
Let q be 63/(-30)*(-2)/3. Let l = -23/20 + q. Which is bigger: 2/9 or l?
l
Let t = 12 - 12. Which is smaller: 1/9 or t?
t
Let t = 5 + 0.7. Let c = t - 6. Is 1/3 at least as big as c?
True
Suppose 4*f + a + a + 38 = 0, 0 = 4*f - a + 35. Let x be 3 + (f/3 - 0). Which is greater: 3/5 or x?
3/5
Suppose 4*h - 195107 = 3*h. Let i = h + -25949374/133. Let r = -15/19 - i. Is r smaller than 3/2?
True
Let h = 3 + -5. Let d(n) = 4*n + 2. Let t be d(h). Let c be 2*(-3)/t*1. Is c less than 3?
True
Suppose 3*s - 2 = 19. Let n be ((-42)/4)/((-3)/2). Is n >= s?
True
Let m = -11.7 + 20.4. Let d = 9.12 + -0.12. Let s = d - m. Which is smaller: s or -0.1?
-0.1
Let l(a) be the second derivative of a**3/6 - 7*a**2/2 + a. Let m be 0*1/(-2) + 5. Let s be l(m). Which is smaller: s or 0?
s
Let c be -3*(-5)/(-45)*-3. Which is smaller: c or 0.22?
0.22
Let p = 0 - -0.1. Which is greater: p or -2/19?
p
Let a be (-55)/(-19) - (0 - -3). Which is smaller: a or 1?
a
Let s(m) = m - 2. Let v be 0/(1*(-4)/2). Suppose 5*p - 3*p + 3*r - 13 = v, -5*p = 4*r - 22. Let c be s(p). Is 1 at least as big as c?
True
Suppose 67 + 13 = 5*q. Let a be (2 - -2) + q/(-4). Which is smaller: -1/5 or a?
-1/5
Let p = 14 + -17. Which is greater: p or -7/3?
-7/3
Suppose 0 = -2*m - 3*y - 7 - 9, m - 5*y = 18. Suppose 0 = 3*k + 4*q - 12, 2*q = -k - 4*k + 6. Which is bigger: k or m?
k
Let g be 3*(-19)/(-21) + 3. Is 7 <= g?
False
Let z be 3/(-5) - 2/5. Suppose -m + 3*v = 1, 4*m - 3*v = -m - 5. Is z greater than or equal to m?
True
Let w = 3 - 4. Let z = -314.93 + 309. Let m = z - 0.07. Does m = w?
False
Let d(u) = -u + 8. Let n be d(-5). Let h = 18 - n. Do 4 and h have the same value?
False
Let g(l) = l**2 - 8*l + 1. Let v be g(7). Let h = v - -2. Suppose 0 = 4*d, -3*j - d + 0 = 9. Is h greater than or equal to j?
False
Let i = -1.2 + 1.1. Let x = -11 - -7. Let b be 0/(-1) - (-1 - x). Is b smaller than i?
True
Suppose 3*f + 3*x = -24, -38 = 6*f - f + 4*x. Suppose 3*g + 2*t + 16 = 0, 0 = 3*g - 0*g + 4*t + 20. Is f equal to g?
False
Let t(x) = 2*x - 2. Let r be t(4). Let m be 8/3*r/(-4). Let i be (-2)/(-10) + m/(-5). Are 2 and i non-equal?
True
Let i = -808 - -811. Let z(p) = p**3 - 6*p**2 + 6*p - 3. Let c be z(5). Is i >= c?
True
Let w be -9*(-1)/(4 - 49/13). Is w equal to 38?
False
Let v 