 11*-2)/(-1). Let w = l - 22. Is -1 not equal to w?
False
Let u(b) = -5*b**3 - 10*b**2 + b - 11. Let r(n) = -4*n**3 - 10*n**2 + n - 11. Let v(j) = 6*r(j) - 5*u(j). Let w be v(10). Is -4 < w?
True
Let k = -15 + 6. Let l = -9 - k. Let n(p) = -p**2 - p + 1. Let j be n(0). Which is greater: j or l?
j
Suppose -3*f - d - 2*d = -267, -270 = -3*f - 2*d. Let a be (-1)/(-4) - f/(-16). Let k be (4 + -5)/((-2)/12). Is k greater than a?
False
Let k be 0 - (-1 + 4/3). Let j(z) be the first derivative of z**4/4 + 3*z**3 + 9*z**2/2 + 7*z - 2. Let c be j(-8). Is c smaller than k?
True
Let w be 72/55 + (-2)/5. Which is smaller: w or 1?
w
Let x(m) = m**3 + 5*m**2 - 5*m + 2. Let n be x(-6). Let c be (-8)/12 + n/(-6). Suppose -2 = -2*r, l - 2*r + 2 = -l. Do c and l have the same value?
True
Let w be (2/(-3))/((-1)/3). Let g be w/(-5) + 3/(-5). Is g at least as big as 1/7?
False
Let q(l) = -l**3 - 4*l**2 - 2*l + 5. Let c be q(-3). Let g(k) = 2*k - 3. Let x be g(c). Is 1/8 greater than x?
False
Suppose 0 = -8*k + 4*k + 76. Is 19 at most k?
True
Let q = 233/1430 + -1/110. Which is smaller: -1 or q?
-1
Let b = 6 + -6. Suppose 0*r - 3*r = b. Are r and 2/7 nonequal?
True
Suppose 5*g + 1 + 4 = -a, g + 4*a + 20 = 0. Suppose g = -5*k + 4*c + 3, 0*k = -k + 3*c + 5. Which is smaller: k or 2/23?
k
Let d = 217937/212 + -1028. Is 1 at least d?
True
Let p be (-3*16/(-24))/((-1)/(-11)). Which is smaller: -2/3 or p?
-2/3
Let d = -1 - -6/5. Let f(j) = -j + 8. Let b be f(8). Which is greater: d or b?
d
Let s be (35/25)/7*3. Let x be (-2)/4*-2 - -1. Is x greater than or equal to s?
True
Let b = 4 + -5. Let i(y) = y**3 - 6*y**2 + 6*y - 5. Let j be i(5). Is j not equal to b?
True
Let p be 32/(-18) + 4/(-18). Let i be -4*(p - -1) - 0. Let m be 1/(-2)*i/(-6). Are -1 and m nonequal?
True
Let s be 1/2 + (-2)/4. Suppose s = -4*b - b. Are b and -6/11 non-equal?
True
Let q(t) be the third derivative of -t**6/120 - 7*t**5/60 + 7*t**4/24 - 11*t**3/6 + 7*t**2. Let c be q(-8). Suppose -3*y - 14 + 2 = 0. Which is bigger: y or c?
c
Suppose 0 = 5*l, 5*a - 2*a = -5*l - 51. Let r be (a - -14)/(-3*1). Which is greater: -2/27 or r?
r
Let i be (-4)/5*(-4 - 1). Suppose -s - s + i = 0. Let j(f) = f**2 + 10*f + 2. Let k be j(-10). Is k less than s?
False
Let i = 13 + -27. Are -15 and i equal?
False
Let w be (5 - 7)/(23 - 0). Let f be ((-2)/(-4))/((-2)/4). Is f greater than or equal to w?
False
Let v(f) = -f - 7. Let j be v(-6). Let s = 0 + 1. Let l be (-8 - (j - 1)) + s. Is -4 > l?
True
Suppose -5*u = 5, u - 48 = -5*n + 4*u. Let b = -6 + n. Let x be b/(-5) + (1 - 1). Is x at most as big as -2?
False
Let z = -26 + 30. Is -2/7 <= z?
True
Let w = 0 - 4. Let p = w - -3. Which is smaller: p or 0?
p
Let q(z) = -4*z**3 - 4*z + 2*z + 4*z - z**2 - 1. Let r be q(1). Let k be ((-2)/4)/((-2)/r). Is k less than 0?
True
Suppose -v + 5*v = -8. Let c = -1 + -2. Which is greater: c or v?
v
Suppose 16*x = 10*x + 6. Does x = 3/13?
False
Let k = -3/80 + -139/560. Suppose -5*d + 60 = 7*h - 2*h, 0 = 5*h - d - 60. Let b = h + -8. Is k > b?
False
Let b = 0.15 - -7.85. Is -1 greater than or equal to b?
False
Let w = -0.4 - -0.2. Is w at least as big as -4?
True
Suppose 2*j = -4*a + 16, 3 - 23 = -j + 2*a. Let l be j/(-24) + 9/36. Which is greater: l or -1?
l
Let b = -3 + 8. Suppose b*v - 17 = -7. Suppose -2 + 0 = -v*y. Is 0 <= y?
True
Let b = 131 + -133. Is b at least as big as -1?
False
Let q = 21 + -20.86. Let h = q + -0.15. Which is smaller: h or 0?
h
Suppose -4*l + 4*u + 32 = -36, -5*u - 5 = 0. Let m be 23 - (-13)/(65/(-30)). Is l at least m?
False
Let b = 2.2 + -2.1. Is 0.1 not equal to b?
False
Let y = 20 + -25. Is y greater than -5?
False
Let l = 1 + -4. Let a = -44 - -39.9. Let j = a + 4. Which is smaller: l or j?
l
Let u = 1 - 1. Suppose y = 2*b - 3*b - 4, -3*b - y = 8. Which is smaller: b or u?
b
Let c = 239 - 237.93. Let f = c + -0.07. Is 1 less than f?
False
Let v = 0.3 + -0.5. Let o = -2 - -2.3. Let a = o + v. Which is bigger: a or -3/4?
a
Let w = -17 + 21. Which is bigger: 0 or w?
w
Let a(k) = k**2 - 15*k + 14. Let s be a(14). Is s equal to -0.02?
False
Let c be (50/35)/((-1)/(-14)). Does 20 = c?
True
Let o = -13.6 + 7.6. Suppose 0 = p + 1. Is o > p?
False
Let f = -25517/35 - -729. Are f and -1 equal?
False
Let d = 61 - 6. Is d <= 54?
False
Let q be (32/(-10))/(0 + (-6)/15). Is -1/3 < q?
True
Let w = 6 - 1. Suppose -f = 3*i + w, 3*f + 59 = -f + i. Let u(g) = -g**3 - 14*g**2 + 1. Let p be u(f). Are p and 2/27 equal?
False
Let d be 2/14 + (-42)/(-49). Which is smaller: 6/77 or d?
6/77
Let h = -1 + 1. Let p = -1071 + 7468/7. Let i = p - -4. Is i less than or equal to h?
True
Let o = 0.1 - 0.1. Let f(m) = -m + 6. Let p be f(6). Is o at most p?
True
Let a be (-4)/(-10) - (-120)/(-425). Is a greater than or equal to 0?
True
Let q = -1.13 - -0.13. Let o = -1 + 5/4. Which is bigger: o or q?
o
Let t(k) = -46*k**2 - 4*k - 2. Let h be t(-2). Let p = h - -2668/15. Let n be (-12)/(-14)*(-2)/(-6). Which is smaller: n or p?
p
Let p = 81.2 + -74. Let t = p + -7. Are t and -0.2 unequal?
True
Let c = 16 - 13. Do 17 and c have the same value?
False
Let o = 2 + 0. Let k = o - 1. Let p = 13/12 - 5/6. Which is smaller: p or k?
p
Let p(v) = 2*v - 24. Let w be p(10). Let k be (w/(-12))/(-1 - -2). Which is bigger: k or 3?
3
Let l = -0.12 + 0.82. Let u = -0.6 + l. Which is bigger: -1 or u?
u
Let v(q) = 2 - 12 - 3*q + 0*q. Let z(j) = j + 1. Let c(o) = -v(o) - 4*z(o). Let h be c(5). Are h and -2/5 non-equal?
True
Let k = 316/3 + -107. Which is smaller: -1 or k?
k
Let m = 15 - 11. Suppose m*r - 1 = 3*r. Which is bigger: r or -3/7?
r
Let d be (-1 + 2 - -2) + -2. Let l be ((-16)/(-6) - 1)*d. Let b(x) = -x**3 + 3. Let g be b(0). Is l at most g?
True
Let y be (-27)/18*(-16)/6. Let i(w) = -w**2 + 4*w + 1. Let v be i(y). Is 5/7 at most v?
True
Let s(u) = u**3 - 3*u + 2. Let l be s(1). Suppose h - 2*w + 6*w = -19, -3*h + 2*w + 13 = l. Which is smaller: 2 or h?
h
Let c(x) = x + 1. Let b be c(-3). Which is smaller: 3 or b?
b
Let h be (3/(-138) - 0)*1. Which is greater: h or 1?
1
Let k = -3 + 3.1. Let h(w) = w + 6. Let r be h(-8). Let f be (r + 6)*2/(-6). Which is smaller: k or f?
f
Let m = -0.45 + -0.05. Let l = m - -0.6. Is -3/2 less than or equal to l?
True
Let t be (-4)/(-14) - (-57)/21. Let l be (-3)/(t + 0)*3. Let f be (-2)/l*(-3)/(-5). Is 1 less than f?
False
Let t = 3 - -1. Let m be (t/6)/(2/12). Suppose m = -5*f - 1. Which is smaller: 1/2 or f?
f
Suppose 0*g - 4*g = 0. Suppose 5*w + 0*w = g. Let l = 2/7 + -11/14. Which is smaller: l or w?
l
Let h = 0 + 5. Suppose 7 = -5*q + 27. Is q at most as big as h?
True
Let s be 0 + 2 + 104/(-50). Is s at least 1?
False
Let z(q) = q**3 - 5*q**2 - 7*q + 5. Let g be z(6). Which is greater: 2/9 or g?
2/9
Let s = 17882/11 + -1620. Is s equal to 5?
False
Let x = 14.3 + -17. Let o = x + 1.7. Is 5 at least o?
True
Let y = -239/4 + 1143/20. Do y and -3 have the same value?
False
Let t = 5.656 + -5.7. Which is greater: -2 or t?
t
Let y be 24/(-170)*5/2. Let i(r) = r**3 - 9*r**2 + 7*r + 7. Let s be i(8). Which is bigger: y or s?
y
Let i be 1/(5/20 + 1). Are 0 and i equal?
False
Let p be (-4)/14 - 8/((-24)/(-3)). Is 0 smaller than p?
False
Let t = 23 + -30. Which is smaller: -3 or t?
t
Suppose 0 = 3*f + p - 11, -5*f + p - 7 = -20. Let w be -7 - -11 - 1*f. Is w at most -2/9?
False
Let u be 0 + 6*2/14. Let l = -7.7 - -8. Let n = l + -0.4. Which is smaller: u or n?
n
Let d = -0.7 - -0.6. Is d bigger than 0.7?
False
Let a = -6 + 11. Suppose -h - 15 = -a*g, g - 3*h - 2*h - 27 = 0. Let y be 1 + -2 - (g - 6). Which is smaller: 2 or y?
2
Let r be (-42)/15*(3 - 14/3). Which is smaller: 6 or r?
r
Suppose 5*i = -h - 11, 3*h - 4 = 5*h + i. Let y = 3467893/105 + -33028. Let o = y - -1/21. Is h not equal to o?
True
Let i = -5/18 + 1/36. Let f = 0.03 - 0.18. Let k = 1.85 - f. Which is greater: k or i?
k
Let i be (-19)/(-18) - (-9)/(-6). Which is smaller: i or 2?
i
Let q = 0.7 - 0.8. Let k = q + -1.9. Is 1/3 at least k?
True
Let h = 21 - 21.04. Let l be -1 + 2 + 3/(-4). Which is bigger: h or l?
l
Let a(f) = f**2 + 8*f - 14. Let u be a(-11). Which is smaller: 18 or u?
18
Let h(l) = -l**3 - 4*l**2 + 4*l. Let d be h(-5). Do 6 and d have the same value?
False
Suppose -2*n - 3*n - 4*o = -762, -4*o - 738 = -5*n. Let i = 1651/11 - n. Whic