. Let u be t(r). Is o greater than u?
False
Let b = 6/217 - 601/13888. Which is greater: b or -1?
b
Let f be (-3)/(-4) + 1/8*2. Which is greater: 9 or f?
9
Let m = 8 + -6. Suppose -1 = v - m. Is -1/8 > v?
False
Let v be (2/18 + 55/(-90))*1. Suppose -c - 1 = 1. Which is bigger: v or c?
v
Let v(w) = -w**2 - 7*w - 2. Let i be v(-7). Let x be 3/3*(-1 - i). Let m be 14/(-18) - (0 - x). Which is smaller: m or -1?
-1
Let o be -3 + 0 - (-1 - 8). Let n be o/4 + 3 + -2. Which is smaller: 2 or n?
2
Suppose -6 = -4*n + 18. Let c be ((-12)/(-9))/((-2)/n). Suppose 2 = -3*i - 7. Which is greater: c or i?
i
Suppose 5*o - r = 15, 2*r = 3*o - 9 - 0. Suppose 4*x + 2 = 6. Suppose -x = -2*c + o. Is 2 != c?
False
Suppose -4 = -3*s + 2. Which is smaller: 3 or s?
s
Let c = 56 - 9. Is c >= 46?
True
Let j = -2 + 1.7. Which is bigger: -2/15 or j?
-2/15
Let x be -1 + 0 + 14/10. Suppose -3*o + 4 = o. Which is bigger: x or o?
o
Let d(m) = 3*m - 4. Let c be d(3). Let q(i) = i**2 - 4*i - 7. Let j be q(c). Let z = j + 3. Do z and 1 have different values?
False
Suppose 3*a = 15 + 9. Suppose 2*w - a = 0, -s - 10 + 0 = -2*w. Is s at most as big as -2?
True
Let i = -12.07 - -12. Which is smaller: i or 3?
i
Let r(m) = -m**2 - 16*m + 14. Let q be r(-17). Which is greater: -9/7 or q?
-9/7
Let z = -6 + 1. Suppose -2*a = -3*a + x, -6 = -3*x. Suppose -3 = a*v + 7. Is v at least z?
True
Let q(s) = -2*s**3 + 7*s**2 - 10*s. Let p be q(4). Does -56 = p?
True
Let o be 24/204 + (-710)/(-34). Which is greater: 25 or o?
25
Let v(y) = y**3 + 4*y**2. Suppose -2*m - 12 = m. Let b be v(m). Suppose s - 2*p - 4 = b, -2*s = 2*p + 2*p. Which is bigger: s or -1?
s
Suppose -4*z - 5*r + 29 - 2 = 0, -3*r + 9 = 0. Is z at least as big as 1?
True
Let f = -7 - -11. Suppose f*l + 9 = l. Let i = 3 + l. Which is smaller: 2 or i?
i
Let j = -5 + 4. Let n = 7.9 - 8. Which is smaller: j or n?
j
Let v(b) = b**3 - 7*b**2 + 6*b + 5. Suppose -4*y + 5*y = -6. Let i be (-38)/y + (-4)/12. Let a be v(i). Which is bigger: a or 6?
6
Let v(t) = -58*t + 4. Let p be v(-3). Let u be -3 + 2 + p/129. Let s = -2/43 + u. Which is bigger: s or -3?
s
Let u = 73/6 + -35/3. Is -26 at most as big as u?
True
Let d = 1 + 1. Let o = d - 2. Which is smaller: -0.2 or o?
-0.2
Let s = 14 + -13. Let u = 2 - 0. Is u greater than or equal to s?
True
Let v = 9 - 8. Is -1/15 != v?
True
Let f be 3/4 - 15/(-12). Is f at least 5?
False
Suppose 0*n - 3*n = 15. Let w(o) = o**3 + 5*o**2 - o - 6. Let y be w(n). Are 2/9 and y non-equal?
True
Let l be (-33)/7 - (-2)/(-7). Let h = -2 - l. Let s be (h/(-8))/((-9)/4). Is s greater than -1?
True
Suppose -2*p - 14 = -d + p, 2*d - 3*p - 16 = 0. Let a be 1/(d/9)*2. Let f be a/42 - (-2)/(-4). Which is smaller: 2 or f?
f
Let w be (-2)/4*(-2)/(-1). Let z(c) = c**2 + 2*c - 3. Let m be z(-3). Let t be m + (0/1)/(-1). Is t > w?
True
Suppose 8*i = 3*i - 5. Suppose -2 = -r - 0*r. Suppose 2*a = a - r. Is a at least i?
False
Let y be 4 - ((-1 - -8) + -2). Let w = -230/7 - -32. Are y and w equal?
False
Let w = 3.2 - -0.8. Let n = w + -5. Is n at most 0.4?
True
Let n = 0.7 - 2.4. Let u = n + -0.3. Let b = u - -2.2. Which is bigger: b or -0.1?
b
Let t = -153/4 - -39. Let l = 50.9 + -48. Let v = -3 + l. Which is smaller: v or t?
v
Suppose 8 - 11 = -i. Is i bigger than 0.1?
True
Let k(d) = d + 5. Let b be k(-3). Let l be 1/2 - 1/b. Are -2 and l equal?
False
Let a be -1*1*(-2 - -1). Let i be (-22)/(-2) + -3*a. Suppose i*g - 3*g - 30 = 0. Which is bigger: 4 or g?
g
Suppose 0 = -4*t - t - 130. Let u = 25 + t. Which is smaller: u or -1/10?
u
Let f(z) be the first derivative of z**4/4 + z**3 - 3*z**2 + 7*z - 2. Let b be f(-5). Let g be b/(-3) + 1/(-3). Is 4 at most as big as g?
True
Let m = 114 - 113. Which is smaller: m or 2/195?
2/195
Let r be -44 + 1 - (12 + -15). Does r = -40?
True
Let b be (8/(-14))/((-6)/21). Let n = 1 + b. Let c be (-12)/(-14)*n/(-6). Do -1 and c have the same value?
False
Suppose 0 = 4*c - 8 + 4. Is 1/6 != c?
True
Let z be (-118)/(-413) + 1/((-7)/2). Which is greater: 6/125 or z?
6/125
Let h = 0 + 0. Is -1 > h?
False
Let z(o) be the first derivative of o**4/4 + 5*o**3/3 + o**2/2 + 7*o - 2. Let d be z(-5). Is d > 2/3?
True
Let j be 14/((-1)/5 + 13/(-10)). Do j and -8 have the same value?
False
Let p be 6/(-2) + (9 - 8). Which is smaller: 1 or p?
p
Let l = 0.02 - -1.08. Let k = l + -0.1. Let t = -0.5 - -0.4. Is t greater than k?
False
Let b(c) = c**2 + 2*c. Let i be b(-3). Suppose 0*t - s - 11 = i*t, -s + 21 = -5*t. Let a be t/(-12) - 2/3. Is a greater than or equal to 0?
False
Let s = 104.8 + -78. Let g = -27 + s. Which is smaller: 6 or g?
g
Let h = 45 - -46. Let r = h + -57. Let i be r/48 - 2/6. Which is bigger: i or 0?
i
Let q be (6/3)/(2/20). Is 18 greater than q?
False
Suppose 0 = -3*o + o + 10. Suppose 2*u + i + o = -6, 5*i = -2*u - 15. Is -4 < u?
False
Let r = 0 + 13. Is r at most -0.1?
False
Let a = -2 + 9. Let j be (-64)/77 + 2/a. Are 0 and j equal?
False
Suppose 0 = 5*c + 2*w - 22, 7*c + 5*w = 4*c + 17. Let d = 7 - c. Suppose -3*q + 3 + d = 0. Do 1 and q have the same value?
False
Let f = -3 - -7. Let a = 8 + -13. Let d = f + a. Is -0.1 > d?
True
Let t(v) = 2*v + 3*v**2 + 2 + 1 - 4*v**2 - 5. Let p(d) = -d**2 - 5*d + 8. Let b be p(-6). Let x be t(b). Is 0 <= x?
False
Let m = -114 - -217. Is m < 104?
True
Let u = -1 - -2. Let z = 67/1539 - -5/81. Is u != z?
True
Let i(c) = -c**3 + 2*c - 1. Let y be i(1). Let k(t) = t + 2. Let f be k(-2). Let l = -1 + f. Are y and l non-equal?
True
Let p = -2.2 - -1.9. Let s = 1 - 1.3. Let w = s - p. Which is bigger: -1/2 or w?
w
Let a be (-4)/(-22) + (-50)/(-88). Let y(u) = u**2 - 6*u + 1. Let f = -12 + 18. Let z be y(f). Is z less than or equal to a?
False
Let l(r) = r - 3. Let t be l(3). Let a be (-9)/8*(-2)/(-3). Which is bigger: t or a?
t
Suppose 2*g + 0*g = 6. Which is bigger: 0.02 or g?
g
Suppose 3*g = 9, 0 = -2*o + 3*g - 6 + 3. Let j(z) = z**3 - 4*z**2 + 3*z + 1. Let b be j(o). Let m be (b - 3) + 26/10. Is 1 at most as big as m?
False
Let o = -42 + 130/3. Do 1 and o have different values?
True
Let t = -2.07 - -0.07. Let u = 2 - 1.8. Is u at most t?
False
Let x = -28 + 27. Do 0 and x have the same value?
False
Let a(l) = -l**2 - 8*l + 8. Let b be a(-8). Let s be b/(-6)*(-1)/(-4). Which is bigger: -1 or s?
s
Let k = 3 + -2. Let a = -15 + 20. Let n be 2 - k - a - -1. Is n >= -1?
False
Let n = 4 - 2. Let d = -1 - -2. Let g = d - n. Are -2 and g nonequal?
True
Let s be (-8)/22*(-3)/4. Let l(q) = -2*q**3 + 7*q**2 + 3*q + 3. Let r be l(4). Is s greater than r?
True
Let y be (-1888)/(-2784) - (2 + 8/(-6)). Which is bigger: y or -1?
y
Let u = 95.2 + -95. Which is smaller: u or -7/2?
-7/2
Let r = 31 - 61. Let n be (6/r)/((-3)/5). Which is bigger: n or 0?
n
Let q(l) = 2*l**2 + 3*l + 2. Let g be q(-2). Suppose -p + g = p. Suppose 0 = -p*t + 6*t - 4. Is 0.2 not equal to t?
True
Let o = 0 + 5. Suppose -5*v - 19 = -y, 5*v - y = -o*y + 1. Let d(i) = -2*i**2 + 4*i - 2. Let x be d(2). Is v greater than x?
False
Let h be 2 - 2*(-17)/(-14). Let k(g) be the first derivative of g**2/2 - 6*g + 3. Let c be k(6). Is h greater than or equal to c?
False
Let l be 0*((-15)/(-6))/(-5). Suppose l*u - 1 = -u. Which is smaller: u or 2?
u
Let b(m) = 3*m - 1. Let l be b(3). Let i = -15 + l. Are -5 and i unequal?
True
Suppose 0 = 4*u + 59 - 35. Which is greater: u or 3?
3
Let z be (-1*6/24)/(7/(-40)). Is z bigger than 1?
True
Let m(v) = 3*v + 3. Let y be m(-2). Let p be (-25)/(-90) - y/(-6). Is -2 at most p?
True
Let x = -0.03 + -0.07. Let k(w) = 2*w - 2. Let p(a) = 3*a**2 - 1. Let o be p(1). Let f be k(o). Which is greater: x or f?
f
Suppose -47 = 5*p + 123. Which is smaller: p or 1?
p
Let u = -3 + 3. Let p be u*1/2 + 0. Suppose p*r = 2*r. Is -2 greater than r?
False
Let f = -0.18 + 0.28. Which is bigger: 0 or f?
f
Let r = -0.11 + 4.11. Suppose 2*l = 5*l - 15. Suppose 3*u - l*u = 2. Which is smaller: r or u?
u
Let r = -9 - -8.8. Let c = r - 1.8. Is -2 less than or equal to c?
True
Let x = -7 + 10. Suppose 0 = 2*h + 3*h - 2*i - 90, -4*i = h - 40. Let l be (-6)/10 - (-52)/h. Do l and x have the same value?
False
Suppose 60 = 4*v + v. Let s be 11/(55/(-12))*-5. Is s at most as big as v?
True
Suppose 3*o - 12 = -3*m, o - 3*m + 16 = -0*o. Let t = -426 + 426. Is o >= t?
False
Let f(v) = -v**2 + 3*v 