u = -c. Is 0 at most as big as u?
True
Let n = 0.83 - 0.03. Let t = 0.5 - n. Let i = 2 + 0. Is i at most t?
False
Suppose -2*q = -0*q - 10. Let w = -13 - -19. Which is smaller: q or w?
q
Suppose 0 = -8*a + 10*a - 6. Suppose 5*p + d = -1, p + 15 = -2*p + a*d. Which is smaller: p or 1/11?
p
Let d = -659/4 - -166. Suppose 3*i + 4*t - 8 = 7*i, 0 = -i - 3*t + 14. Is d equal to i?
False
Let k be 1 - -1 - -1 - -78. Let s be (-11)/(-9) - 18/k. Let b = s - 1. Is 0 >= b?
True
Let k be (-4)/6 - (-43)/(-36). Let z = 899/45 - 91/5. Let o = k + z. Do o and -1 have different values?
True
Let f = 3/80 - 23/16. Does 0 = f?
False
Let f = -32/11 + 31/22. Suppose 3*n + 20 = 7*n. Suppose -n*j = -1 + 11. Do j and f have different values?
True
Let r = -9806/19 - -516. Which is greater: 1 or r?
1
Let c = -93 + 5. Is c > -88?
False
Let m = -6/23 - -1/92. Let n be 1*(-3)/((-6)/(-2)). Let i be 3 - (n + 6 - 3). Is i < m?
False
Let w = -143/6 - -49/2. Let v be (-2)/4*-4 - 1. Which is smaller: v or w?
w
Let y = -16 + 22. Which is smaller: y or 4?
4
Let o(m) = m**2 - 6*m - 7. Let p be o(7). Let y be 196/24*3/21. Is p > y?
False
Suppose 26*g - 11*g + 270 = 0. Let c be 2/(-1)*(-5)/2. Let p be 1/c*(-30)/g. Is -1 < p?
True
Let v(f) = 5*f - 29*f**2 + 2 + 4 + 30*f**2. Let t be v(-4). Is 0.3 equal to t?
False
Let a = -94 - -95. Is -1 greater than a?
False
Let o be 1 + -3*16/6. Let j = o - -8. Is 15 at most j?
False
Let v be 0 + 1 + 3/3. Suppose v*x - 10 = 0, -5*x + 5 = -t - 23. Which is smaller: t or -2?
t
Suppose -9*a = -5*a + 12. Let m(x) = -x**3 - x**2 + x - 1. Let l be m(1). Is l smaller than a?
False
Let x = -32/255 + 1/15. Which is greater: -1 or x?
x
Let h(p) = p**2 + 22*p - 45. Let k be h(-24). Is 2 smaller than k?
True
Suppose 156 = 5*m - 2*n, -5*m = -0*n - 4*n - 152. Suppose -2*w + m = -4*q + w, -19 = 3*q - w. Is q at most -4?
True
Let t be 9/15 - (-110)/25. Suppose -t = b + 4*b. Let p = -3/26 + -37/130. Is p less than or equal to b?
False
Let f be (4/9)/((-4)/6). Let v(w) = w + 3. Let z be v(-2). Let c = -3 + z. Does f = c?
False
Let p be (4 + ((-8)/6 - 3))*2. Which is bigger: p or -0.5?
-0.5
Suppose -10 = 5*u, -w + 26 - 20 = -4*u. Let s = -152 - -603/4. Which is smaller: w or s?
w
Suppose 10 = -8*z + 3*z. Let s = 16 + z. Suppose -4*o + s = 2*q, -2*q = -5*o + 11 + 11. Is q > 1/5?
False
Let a(d) = d**2 + d - 6. Let n be a(-5). Suppose -n = 2*f - 2. Do -5 and f have different values?
True
Suppose p - 10 = b, -5 = -p - p - b. Suppose -h - 4 = -p. Are 2 and h non-equal?
True
Let b = 4.95 + -5. Let q = b - 0.15. Let d = 0.5 - 1.5. Which is smaller: q or d?
d
Let z = 2 - 4. Suppose 0 = b + 2*b. Suppose 0 = -b*i - i - 3. Is z > i?
True
Let m = 0 + 1. Let u be (m/2)/(2/16). Suppose c + u*c = 10. Is c at least 1?
True
Let i be (-202)/(-4)*7/(14/(-4)). Which is bigger: i or -100?
-100
Let c be (0/2)/(-1 - -3 - 3). Let y(l) = l**2 + 7*l - 4. Let s be y(-7). Let f be (-21)/(-36) - s/6. Is f equal to c?
False
Let i = 0.4 + 1.6. Let r = i + -2. Let z = -15 - -14. Which is smaller: r or z?
z
Let s = 3 - 2. Let a = -6 + 3. Let z = a - -3.2. Which is greater: s or z?
s
Let s be 2/9 - 14/(-18). Let x = -1 + -2. Let d = 2 + x. Which is smaller: d or s?
d
Let x = 1.83 - 1.73. Is 0.099 greater than x?
False
Let u be (-6)/(-39) - (3200/1365 + -2). Is 0 equal to u?
False
Suppose -5*q + 0*q - 2*a = -20, 0 = -4*q + 3*a + 16. Let y(s) = 3*s**2 - 4*s - 4. Let b be y(q). Let u be 86/56 + (-8)/b. Which is smaller: 1 or u?
1
Suppose 3*t + t = 36. Let v be (-12)/t - 2/3. Let l = v + 6. Is l >= 4?
True
Let z(f) = f**3 + 3*f**2 - 5*f + 1. Suppose 0 = 3*l - 2*l + 4. Let p be z(l). Suppose 4 = p*y - 4*y, 0 = -2*h - 5*y + 14. Does -2 = h?
False
Let y = -41.83 - -42. Let v = y - -6.83. Which is smaller: v or -1?
-1
Let i = -18 + 21. Let l(a) = -a**3 + 2*a**2 + 2*a - 3. Let v be l(i). Which is smaller: v or -7?
-7
Let d = -40 - -64. Is d <= -1?
False
Let k be (-14)/40 - 7/28. Is k bigger than 0?
False
Suppose 0 = -5*i - 12 - 18. Let o(u) = u**2 + 8*u + 9. Let m be o(i). Let b = -193 + 574/3. Is m != b?
True
Let g be -2 + -1 + 6 + 0. Let v = 3 - g. Let p be 3/(-1) + (-38)/(-14). Is p greater than v?
False
Let r = 10.8 + -10. Let m = 1 - r. Let p = 1.8 + m. Which is greater: p or -2/3?
p
Let d = 1.52 - 1.42. Which is bigger: d or -77?
d
Suppose -c - 4 = -155. Is 151 > c?
False
Let d be (2675 + -4)/(1/(-2)). Let a be (d/(-4))/((-11)/2). Let r = 243 + a. Is r greater than 0?
True
Let o = 0.67 - 0.84. Is 1/3 at least o?
True
Suppose 45 = -2*l - l + 3*x, -4*x - 10 = 3*l. Let i be (7/35)/(8/l). Which is smaller: i or 4/7?
i
Let a(x) = x - 5. Let b be a(5). Suppose 0*w = 3*w. Let k = 0 - w. Does b = k?
True
Let n = 10 + 9. Let t = n + -11. Let l = -9 + t. Are 0 and l equal?
False
Suppose 0 = 4*j + 4*q, 0 = -0*q - q. Which is bigger: j or 4/31?
4/31
Let w(g) = 2*g + 5. Let d be w(-4). Let b be (1/3 - 0)*d. Let o(l) = l**3 + 3*l**2 - l - 4. Let x be o(-3). Is x bigger than b?
False
Let t(u) = u**3 - 8*u**2 + 5*u + 2. Suppose -y = -2 - 5. Let v be t(y). Let p be (1/(-22))/(3/v). Is -1 <= p?
True
Let r(y) = 2*y**2 + y + 1. Let u be r(-1). Let a = u - 0. Let q = -45/2 - -23. Is a bigger than q?
True
Let u be 53/11 + (-2)/(-11). Let a be u - (4/(-2))/(-2). Let c be (-1)/4*(-8)/2. Which is smaller: c or a?
c
Suppose -4*v - 3*k = -15 - 193, -3*k = 3*v - 156. Let f be 60/v - (-4)/(-26). Are f and 3 equal?
False
Let u = 0.62 - 0.12. Which is greater: u or 0?
u
Let l be 125/110 + 1/2. Is 1 at least l?
False
Suppose 0 = 5*q + 3 - 8. Do q and -2/147 have the same value?
False
Suppose 5*f - 72 + 12 = 0. Let u = f + -5. Is u > 6?
True
Let h(b) = b**3 - 4*b**2 - 4*b - 6. Let m be h(5). Suppose -9 = -3*j + 2*j. Let s be 1*(3/j)/m. Which is smaller: s or -1/5?
s
Let h be 1/3 + (-11)/(-3). Suppose 9*b = 7*b + 10. Which is bigger: b or h?
b
Let a = 2.99 + 0.01. Let v = -7 + 2. Let l = 4.9 + v. Which is smaller: l or a?
l
Suppose 2*p + 4*s = -6, 0*p + 4*s = p - 21. Suppose -4*j - 8 = 0, 3*j + 9 = 2*w - p. Let f = w + -1. Which is smaller: f or 1?
1
Let w = 1/18 - 29/36. Suppose -4*y + 0*y = 0. Which is greater: y or w?
y
Let f = 2 - 7. Are 1 and f unequal?
True
Let o(r) = -12*r - 3. Let s be o(6). Let q be 2/(-3) + (-43931)/s. Let y = -585 + q. Which is smaller: y or 0?
0
Suppose -2*c = 2*c + 20. Let h(x) = -x**3 + 2*x**2 - 16*x + 52. Let d be h(3). Is d > c?
False
Let b(c) = -3*c - 2 + c + c. Let h be b(-4). Let y(o) = -o**3 + o + 2. Let n be y(0). Is h at least n?
True
Let d(y) = -y**3 + 4*y**2 + 4*y + 1. Let i be d(5). Let n(q) = q**2 + 7*q + 1. Let u be n(-6). Are i and u non-equal?
True
Let o be (3/(-6))/(2/(-20)). Let w(j) = j**2 - 7*j + 12. Let d be w(8). Let y = d + -14. Which is greater: o or y?
y
Let h be ((-2)/28)/((-14)/(-224)). Which is smaller: -1 or h?
h
Let h(p) = -2*p - 2. Let a be h(-2). Let r be (1 + 1)*(-3)/2. Let n = a + r. Is n smaller than -1?
False
Let b(r) = -r + 3. Let h be b(2). Is h at least 8?
False
Suppose -l + 4 = -1. Let h = l - 5. Is -2 > h?
False
Suppose -6*s + 2 = -22. Let v = -4 + 9. Is s at least v?
False
Suppose 10 = -5*r - 0*r - g, r + 2*g = -11. Do r and 4/13 have the same value?
False
Let v = -41 + -8. Let i = v + 48.73. Let j = i + -0.03. Are j and -0.1 non-equal?
True
Let s(w) = -4*w - 5*w**2 + 4 - 2 - 3 - w**3. Let v be s(-4). Which is smaller: 2/5 or v?
v
Let r = -1.99 - -2. Let a = 0.99 + r. Which is smaller: a or 0.3?
0.3
Let s be (-6)/(-15) + 14/(-10). Which is greater: -2/15 or s?
-2/15
Let w(l) be the first derivative of -l**3/6 + l**2 + 2*l - 1. Let k(v) be the first derivative of w(v). Let q be k(2). Which is smaller: q or -2/15?
-2/15
Suppose -4*f - 6 = 4*v - 10, 5*f - 3*v + 3 = 0. Do f and -6/53 have the same value?
False
Let z be 24/(-4) - 168/(-27). Let m = -0.1 - 0.1. Is z less than m?
False
Let a be ((-6)/(-9))/1 + 7/3. Let b be ((-4)/3)/((-2)/6). Is b equal to a?
False
Let o(n) = n**3 + 9*n**2 + 8*n + 1. Let j be -10 + (-1)/(1/(-2)). Let f be o(j). Is f at least -1?
True
Let r = -2.5 + -0.5. Is -1 not equal to r?
True
Suppose -5*z + 0*z = -30. Which is bigger: -1/2 or z?
z
Let s be -20*(-1)/(4/2). Let f be (2/s)/(24/(-45)). Is 0 less than or equal to f?
False
Let f = -107/18 + 10985/1854. Is 0 greater than or equal to f?
True
Suppose 2*m = -5*j + 9, 2*j + 5*m - 14 = -2*j. 