 be l(-3). Is w <= c?
True
Suppose -16 = -5*z + 44. Suppose 5*v - z = 4*j + v, -v + 4 = 0. Is 7/4 greater than j?
True
Let o = -5 - -4.94. Let p = -0.16 - o. Let w = 0.4 + -3.4. Is w greater than p?
False
Let b = 2913/55 + -53. Are -1 and b equal?
False
Let a be (-24)/9 - (4 - 6). Which is smaller: 1/43 or a?
a
Let x be 207/(-41) - (2 + -7). Is -1 smaller than x?
True
Let t(g) = -g - 8. Let c be t(-4). Let k be -3 + 4 + 2 + -1. Let u be c/(-12) + k/(-6). Which is smaller: u or -1?
-1
Let u be 36/126 - 464/154. Which is greater: -3 or u?
u
Let u = -17 - -151/9. Suppose 5*f = -4 - 1. Which is greater: u or f?
u
Let q(r) = -r**3 + 9*r**2 - 6*r - 1. Let s be q(8). Are 2 and s non-equal?
True
Suppose 0 = -3*s + 2*q - 2, -6*q = 2*s - 2*q - 4. Which is smaller: s or -2/17?
-2/17
Let p(w) = w**3 + 2*w**2 - w + 3. Let v be p(0). Is v greater than 18/11?
True
Let x = -3/161 - 86/4025. Do 1 and x have the same value?
False
Let j be 6/(-63)*3 - 256/(-14). Is j at most as big as 19?
True
Let k(j) = j**2 + j - 2. Let b be k(-2). Let h(l) = l**2 - 7*l - 6. Let s be h(8). Let d = b - s. Are d and -2 unequal?
False
Suppose a + 1 - 2 = 0. Suppose 21 = 4*j + c, -2*j + 6 = 4*c - 2*c. Which is greater: a or j?
j
Let c = -2.036 + 0.036. Which is greater: 5 or c?
5
Let u be ((-66)/(-55))/((-1)/(-5)). Is 6 != u?
False
Let v be (-346)/(-1)*(-2)/24. Let s = 29 + v. Which is smaller: s or 0?
0
Let k(y) = 10*y**2 - 14*y + 12. Let x(b) = 7*b**2 - 9*b + 8. Let q(l) = -5*k(l) + 7*x(l). Let i be q(6). Suppose u = -i + 6. Which is smaller: 1 or u?
1
Let v = -5.9 - -6. Let j = v + -4.1. Is -0.1 greater than j?
True
Let w = 183/20 - 35/4. Is 0 != w?
True
Suppose 5*f = -4*d + 9 + 4, 0 = 4*d + 4*f - 8. Let s(t) = t**2 + 6*t - 2. Let l be s(-6). Is d > l?
False
Suppose 3*u + 2*f + 8 = 0, -50 = 5*u - f - 15. Let q = 17/3 + u. Which is smaller: -8 or q?
-8
Let g be (-6)/15 + 13/(-5). Let s = -0.95 + 1.15. Is s >= g?
True
Let p = -14 + 3. Which is smaller: p or -10?
p
Let g be (-3)/(-8)*2/3. Let k = 149/219 + -1/73. Is k less than or equal to g?
False
Suppose 186 = 43*o - 46*o. Which is bigger: -63 or o?
o
Suppose -5 = -2*q - 5. Which is greater: -3 or q?
q
Let a(o) = o**2 - 5*o + 1. Let c be a(4). Let w = 3 + c. Suppose 5*h - 5*v - 45 = 0, -4*h - 4*v - 3 - 1 = w. Which is greater: h or 3?
h
Let m be ((-3)/9)/((-2)/(-6)). Let h(k) = 3*k**2. Let r be h(m). Suppose -2*f = f - 4*n, -r*f - 4*n = 0. Are f and 1 equal?
False
Let o = -12.3 + 12. Is -2 != o?
True
Suppose -m + 2 = 0, m = -0*w + 4*w + 6. Is 25 at most as big as w?
False
Let o be 0/8 - 866/535. Let f = o + 2/107. Which is bigger: -3 or f?
f
Suppose 2*l + 3*l = 0. Is 6/7 less than or equal to l?
False
Let w be (5/(-10))/((-2)/4). Is -2 at least w?
False
Let n = 3.09 + -0.09. Let j = n + -4. Which is greater: j or 7?
7
Suppose 5*t = -0*m + 4*m + 21, t + 2*m + 7 = 0. Which is smaller: t or -9?
-9
Let f(q) = -q**3 - 3*q**2 + 2*q - 9. Let k be f(-4). Is 49 > k?
True
Suppose 7*w - 4*k = 4*w - 12, 4*k = 2*w + 12. Let z = -3 - -5. Let q = z + w. Is q at least 2?
True
Let o = 0.2 + -0.19. Let l be ((-1)/(-6))/((14/7)/(-8)). Which is bigger: o or l?
o
Let p(o) be the third derivative of -o**4/24 - o**3/3 + 2*o**2. Let u be p(-1). Which is bigger: u or -2?
u
Let d be (3/2)/(-3 - 9/(-4)). Is d != -46/7?
True
Let z be 9 - ((0 - 2) + 3). Suppose -3*u - 35 = -z*u. Which is smaller: 8 or u?
u
Let p = -20 + 33. Which is bigger: 12 or p?
p
Let r = 17/4 + -603/140. Which is smaller: -1 or r?
-1
Let v = 3.5 - 0.5. Let g = 15 + -11. Which is bigger: g or v?
g
Suppose -6*v - 4*d + 16 = -2*v, -4*v = -3*d - 30. Let q(y) = -y + 2. Let i be q(0). Suppose i*s = 3*f + 14 + 7, -4*s + 21 = f. Is v greater than or equal to s?
True
Suppose 0 = 11*m + 4*m + 15. Let c = -2/13 - -31/117. Is m bigger than c?
False
Let g be (-2)/(-6) + 14/3. Let d(m) = m**3 - 4*m**2 - 5*m - 4. Let p be d(g). Let i be (p - -1)*(0 - 1). Does 3 = i?
True
Let x = -7 - -7. Suppose 2*f + y = 0, x - 5 = f + 3*y. Suppose -2*p - f = -3*p. Is -1 greater than p?
False
Let o be (-32)/(-88)*3/(-4). Which is smaller: -1/3 or o?
-1/3
Suppose -10 = 5*p + 5. Let w be ((-9)/(-12))/(6/p). Let i = -1 + 2. Are w and i equal?
False
Let a = -16 + 6. Are a and -9 unequal?
True
Let t(i) = i**2 - 6*i + 5. Let x be t(4). Let d(w) = -4*w**2 - w + 3. Let g(j) = -9*j**2 - j + 7. Let r(h) = -7*d(h) + 3*g(h). Let a be r(x). Is a < -3?
False
Let v = -0.05 + 0.65. Let a = -0.4 + v. Let o = 0.2 + -0.2. Are o and a nonequal?
True
Let c be (-96)/10 + (-4)/10. Let g = -11 - c. Is g at most 1/4?
True
Let m be (-3)/(-24)*1*-2. Let h = -5 + 9. Is h equal to m?
False
Let q be ((-16)/(-4)*63/(-24))/(-12). Suppose s - 1 = -0. Which is greater: s or q?
s
Let j(d) = -4*d**2 + 2. Let l be j(2). Let h be 8 - 22 - 0/(-1). Is l not equal to h?
False
Let j be -1 + 1/(1/(-3)). Let a = 5 + j. Let y = -1 + 4. Which is smaller: y or a?
a
Suppose 0 = -3*m + 2*n - 32 - 28, -3*n - 63 = 4*m. Are -17 and m equal?
False
Let x = 4 + -3.8. Is x not equal to -4?
True
Let x be 1 - (1 - 6/14). Let y(n) = n - 1. Suppose 0*z = -4*z. Let c be y(z). Are c and x non-equal?
True
Suppose 5*x = 3*q - 18 + 32, -11 = -5*x + 2*q. Let h be -2*(1 - (-32)/(-30)). Which is smaller: h or x?
h
Let t(l) = -2*l + 26. Let f be t(14). Let p = 0.3 - 0.1. Which is bigger: p or f?
p
Let p = 8 + -4. Let b be ((-172)/9)/p - 1. Let u = b + 373/63. Is 1 less than or equal to u?
False
Let u be ((-4)/10)/(-1)*10. Suppose -j + u = 2*a, -a = -5*j + 2*a + 20. Suppose -4*v + j = -4. Is v > 3?
False
Let x = -4/43 - 3/430. Do x and 1 have different values?
True
Let g be (0 - 0)/(-7)*(-1)/(-2). Which is bigger: -0.4 or g?
g
Let z = 2 + 1. Suppose -4*q + r + 3 = 0, 2 = -q - z*r - 7. Let t be (-1)/(-2) - (-3)/12. Is t less than or equal to q?
False
Let x = -7/6 + 3/2. Let m = 19 - 19. Are x and m unequal?
True
Let b(c) = c**3 - 2*c**2 - 5*c - 10. Let i(p) = p**3 - 3*p**2 - 4*p - 10. Let r(g) = 5*b(g) - 6*i(g). Let u be r(8). Which is smaller: 4/5 or u?
4/5
Suppose 2*j - 3*b = 63, 58 = 2*j + b - 1. Is 32 at least j?
True
Let l = -2.6 + 2. Let z = l + 0.4. Let f = -5 - -5. Which is smaller: f or z?
z
Suppose 10 = -3*j + 3*h + 28, j + 5*h = 6. Let f be j/(-4)*24/18. Which is bigger: f or 9?
9
Let a = -3 + 2. Let f(l) = l**2 - 6*l - 4. Let s be f(7). Let h be (16/60)/((-2)/s). Are h and a nonequal?
True
Let m = -7 + 7.01. Let v = -0.05 - m. Which is smaller: v or 1?
v
Let v(g) = 2*g - 8. Let j be v(4). Is 3/5 less than j?
False
Let k = 1264 - 901. Let i = -6173/17 + k. Is 1 != i?
True
Let j(m) = 2*m**2 + 2*m + 2. Let a be j(-3). Suppose -3*t = 38 - a. Is t at most -9?
False
Let k(x) = -2*x - 5. Let j be k(0). Let r = -2/9 - 31/9. Is r <= j?
False
Let p = 21 + -20. Are p and 4/13 equal?
False
Let c(r) = 3*r**2 - r - 2. Let y be c(2). Let o be y/10 - (-4)/20. Suppose 4*t = -3*u - 3, 4 = -3*t + 5*u + 9. Which is smaller: t or o?
t
Let o(s) = -s**3 + 4*s**2 - s + 4. Let f be o(4). Suppose f = -3*m + 13 - 1. Let z be (-3)/(-10)*m/(-3). Is 3 smaller than z?
False
Suppose -5*t = 201 - 191. Is t at most as big as 2?
True
Let w = -4 + 12. Let p be (-2)/w*4/(-5). Let b be (-6)/(-10) + (-6)/(-15). Which is greater: p or b?
b
Let o(w) = 7*w - 4*w**2 - 7 - w**3 - w - 2*w. Let b be o(-5). Let y be b/(-7) - 48/21. Which is smaller: y or -0.1?
y
Let u(k) = 2*k + 6. Let r be u(-4). Let q be ((-3)/r + -2)*2. Is q < -1?
False
Suppose -x + 3*x - 20 = 0. Let w be 18/20 - 5/x. Which is smaller: w or 2/7?
2/7
Let l = 21 - 24. Let q be (-16)/3 + 2/l. Which is greater: -9 or q?
q
Let w be 1/5 + (-6)/5. Let t = w + -1. Are t and -3/2 non-equal?
True
Let z = -858393523/33 - -26009957. Let t = z + 1967. Let s = -14/11 - t. Do -1 and s have the same value?
False
Let b(w) be the third derivative of -w**5/60 - w**4/12 + w**3/2 - w**2. Let g be b(-3). Let p = 83 - 81. Which is smaller: p or g?
g
Suppose 0 = 2*p - 4*o + 16, o - 1 - 3 = 0. Let h = -0.8 - 0.2. Let q = h + 1.2. Which is greater: p or q?
q
Let k(a) = 2*a - 1. Let f(m) = m**2 + 3*m + 1. Let s be f(-1). Let w be k(s). Let i be ((-4)/(-14))/(w/(-7)). Which is smaller: i or 0?
0
Let o(h) be the second derivative of -h**4/12 - 7*h**3/6 - 3*h**2 + 2*h. Let f be o(-6). Is 2/7 greater than f?
True
Let y = 16.61 - 15.5. Let n = -0.11 + y. Which is bigger: n or 