e ((-4)/5)/(l/15). Suppose 0 = -s*n - 5 + 1. Is 5 not equal to n?
True
Suppose -2*z - 20 = -z. Let l be (-7)/z + 1/4. Let d(p) = 3*p**2 - 3*p - 4. Let y be d(-1). Which is bigger: y or l?
y
Suppose 4*q - 9*q = 0. Is q smaller than 5/4?
True
Let v = 1 + -1. Let j = -38 - -40. Is v smaller than j?
True
Suppose -9 = -2*r - 1. Let h be 6/(-9)*(-30)/4. Which is smaller: r or h?
r
Let z be ((-10)/(-15))/((-1)/(-3)). Suppose 18 = -z*j - 10. Let b be (-32)/j - (-8)/(-28). Which is smaller: 0 or b?
0
Let q be (6/12)/(2/(-6))*-2. Which is bigger: 1 or q?
q
Let s = -0.04 + 0.07. Let l = s + -0.05. Let v = 0.98 - l. Which is greater: -1/2 or v?
v
Let k = 22045/67 - 329. Let s be 4/(-14) - (-10)/(-14). Which is smaller: k or s?
s
Let j = 4 + -11. Let l = 1.7 + -0.7. Which is smaller: l or j?
j
Let m(i) = -i**2 + 11*i - 24. Let z be m(8). Which is bigger: -2/201 or z?
z
Let v = 16/5 - 262/85. Let h be 1*(3 - (3 - 1)). Is h less than v?
False
Let k be 10/(-3)*3/(-2). Let o be 1 + 1 + -5 + k. Let t be (1/o)/((-1)/(-2)). Is t less than or equal to 2/11?
False
Suppose 4 - 3 = t. Is t at least as big as 2/3?
True
Suppose -3*p + 1 - 4 = -3*l, -3*l - 4*p - 4 = 0. Suppose l = c + 2 - 1. Do c and -1 have different values?
False
Let t = -2 + 1. Let j be t/(-3) - 51/(-9). Is j > 5?
True
Suppose 6 = -2*n + 4. Let f be 2*n/(6 - 4). Which is greater: 4/13 or f?
4/13
Let h = -0.2 - -0.22. Is h at most 3?
True
Let j(c) = -2*c**3 - 4*c**2 + 2*c + 6. Let o be j(-3). Which is smaller: 19 or o?
o
Let k be (-20)/6 - (-2)/(-3). Let f = 6 + k. Suppose -5*p - 5 = -f*p - x, x + 3 = -5*p. Is p at most as big as 2/29?
True
Let k(j) = j**2 + j - 3. Let l be k(-5). Let v be 2/(-4) - (-2)/4. Suppose -6*r + 2*r - 4*i + 4 = v, -3*r = -2*i + l. Which is bigger: r or -4?
r
Let j(g) be the second derivative of g**4/12 - g**3/2 - 2*g**2 - g. Let o be j(3). Is -2 != o?
True
Suppose 4*q - 7*q = -39. Is 13 at most q?
True
Let c be (2 - (-31)/(-14))*20/(-15). Is c < -0.07?
False
Suppose 3*s = 5*t + 36, -s + 0*t + 12 = t. Let m = s + -8. Let x = m + -5. Is 2/15 at least x?
True
Let j be (-4)/16*(0 - -4). Which is greater: j or 0?
0
Let b = 27 + -26. Is b smaller than -4?
False
Suppose -3*d - 6 = -6*d. Let c = d + -1. Which is smaller: 0 or c?
0
Let c = -3.39 + 0.39. Let h = 5 - 5. Is h at most as big as c?
False
Suppose 274 = 14*k - 118. Which is bigger: -1 or k?
k
Let x = 89/10 - 52/5. Suppose -8*j = -7*j - 1. Suppose -s - j = 2. Which is bigger: x or s?
x
Let m be 2/(-8) + (-26)/(-8). Suppose -24 = 5*j + 2*w, 6 = m*w - 3. Let q be 6/4*(-8)/j. Which is bigger: 1 or q?
q
Let b = 1 - 1. Suppose b = -n - 5*y + 26, y - 4 = 2*n - n. Which is smaller: 2 or n?
n
Let n = -194 + 2136/11. Is -1 not equal to n?
True
Suppose -5*l + d - 25 = -3*d, -3*l = -3*d + 15. Is l greater than or equal to -6?
True
Suppose -60 + 18 = 6*b. Let g be 28/(-98) - 3/b. Which is bigger: 1 or g?
1
Let i be 2/(2*(-4)/8). Suppose -2*r - 8 = 0, 3*u + r - 5*r - 19 = 0. Which is smaller: u or i?
i
Let b(j) = -2*j - 24. Let v be b(-9). Let m be ((-7)/4)/((-1)/(-4)). Let w = v - m. Which is greater: w or 0?
w
Let r be 2*1 - 50/3. Let k = r + 15. Let v = 88 + -87. Is v equal to k?
False
Let t(h) be the second derivative of h**3/6 - 2*h**2 + h. Let z be t(6). Suppose -15 + 3 = -6*u. Is u at least z?
True
Let k = -4 + 6. Suppose -24 = k*h - 0*h. Let t be 45/h + (-3)/(-1). Is t at most 0?
True
Suppose 3*g = 7*g + 72. Let l = -11 - g. Let y = l + -4. Is 3 < y?
False
Let z be ((-5)/45)/(14/(-6) + 2). Is -16 greater than z?
False
Suppose 4*d = -2 + 10, -3*d + 10 = 2*w. Let x = w - 3. Let f = -7/69 - 3/46. Which is bigger: x or f?
f
Let r be 1/((-2)/(3 - -15)) - 2. Are -9 and r equal?
False
Suppose -5*r - 4*f + 25 = 0, -f = -4*r + 2*f - 11. Let q = -5 + r. Which is greater: q or 0?
0
Suppose -2*w - 3*h = -3, 5*w + 0*w + 2 = 2*h. Which is greater: w or 12/25?
12/25
Let f be (-42)/25*(-10)/16. Let o = -7/10 - f. Is o bigger than -2?
True
Let w = 7 - 8. Does 1 = w?
False
Let f = -13/2 + 141/22. Let j = -14 - -13. Is j greater than or equal to f?
False
Let g be 4/10 + 26/10. Let a be (2 + -4 + g)*2. Is 3 at least as big as a?
True
Let p be (3/(-9))/((-2)/(-30)). Let a be p/12 + 2/3. Which is greater: a or 0.1?
a
Let b = -5.2 - -6. Let s = b + -0.8. Which is bigger: -4/5 or s?
s
Let r(y) be the third derivative of y**4/24 + y**3/6 - 3*y**2. Let t be r(3). Let x = 4 - t. Is x at least 0?
True
Let t be (-2)/((0 - -1) + -44). Let y(l) = -29*l + 290. Let a be y(10). Which is smaller: t or a?
a
Let h = -3 - -1. Is -20/9 > h?
False
Let c = -82 + 109. Which is bigger: 24 or c?
c
Suppose -3*g + 0*g = -12. Are 1 and g nonequal?
True
Let p = -21 - -21. Is p bigger than 27?
False
Let o(p) = -p**3 + 6*p**2 - 5*p. Let j be o(5). Is j <= 4/21?
True
Let t = -6 + 4. Is -10/3 bigger than t?
False
Let x = 3.2 + -3.2. Let u = 0.2 - 0.1. Is x at least u?
False
Let p(k) = k**3 + 18*k**2 - 20*k - 21. Let u be p(-19). Which is greater: -27/8 or u?
u
Let a = -17/5 - -18/5. Let i(v) = -v + 1. Let l be i(0). Let k be l + 0/(2 - -2). Do k and a have the same value?
False
Let c = 5 - 3. Suppose -h = -c*f - 2*h + 2, 0 = -2*f - 5*h + 2. Which is greater: f or 6/7?
f
Let v = 45 - 45. Which is bigger: v or 16/11?
16/11
Let k be 1*(-2 - (-7)/3). Let d(u) = 2*u**2 + 7*u + 3. Let q be d(-3). Which is bigger: q or k?
k
Suppose 5*p - 5 = -0. Let g be p*(3/(-3) - -1). Is g equal to 3?
False
Suppose 3*o - 3*r + 13 = -29, 4*r = -16. Let z be 15*(-3)/o*2. Which is bigger: 3 or z?
z
Let z be (8 + 0)/((-162)/90). Is -4 smaller than z?
False
Let j(c) = -c**3 + 8*c**2 - c + 4. Let r be j(8). Is r greater than or equal to -6?
True
Let x be (4 - 2)/(1/2). Let o = 6 - x. Which is greater: o or 3?
3
Suppose -z + 2 = -n, -z - 4*n + 9 = -3. Let p be (-1 + 2)*1/z. Which is bigger: p or -1?
p
Let b be (12/(-9))/(-4)*-57. Let l be 1*-2*b/38. Which is smaller: 3/4 or l?
3/4
Let s(m) = -m**3 + 13. Let y be s(0). Let a = y - 16. Is -2 != a?
True
Let v(u) = u**3 - 8*u**2 + 12*u - 6. Let m be v(6). Suppose i + 28 = -3*i. Which is smaller: m or i?
i
Let v = 0.6 + -0.4. Which is bigger: v or 3/5?
3/5
Suppose 3*r = 1 + 5. Is 1 <= r?
True
Suppose u + 5*l - 13 = 3*u, 7 = -5*u + 4*l. Is -6/25 less than or equal to u?
True
Let s(r) = r - 6. Let u be s(6). Let a be (-4)/2*3/(-33). Let t = 28/33 - a. Is u <= t?
True
Let z be 15/(-28) - 1/(-4). Let y = -7 + 10. Suppose r = 2 - y. Which is greater: r or z?
z
Let j(b) = -b**3 - b**2 + 2*b. Let n be j(-2). Let c be -1 + (-2)/(-1) + n. Which is bigger: c or -2/9?
c
Let s be 4/15*(-1)/(-4). Which is bigger: -1 or s?
s
Suppose -3*m = 9, -3*m = -2*v - 0*v + 7. Let d(l) = l**2 + 4*l + 3. Let q be d(-2). Are q and v unequal?
False
Let r = 3 + 2. Is r less than 5?
False
Let y(a) = a - 12. Let p be y(9). Which is smaller: p or -8?
-8
Let p(h) = h**3 + 7*h**2 + 5*h - 3. Let l be p(-6). Let d = l - 1. Which is smaller: -1/2 or d?
-1/2
Let g(h) = 10*h + 59. Let r be g(-6). Which is greater: 2/23 or r?
2/23
Let m = -11 + 14. Let v be 3/(m/(-14)) + -2. Is v >= -15?
False
Let f(y) = -1 - 7*y**3 + 3*y**3 + 2*y + 3*y**3. Let o be f(1). Which is bigger: 2 or o?
2
Let l(w) = 17*w + 1. Let f be l(1). Suppose 7 = -5*m - f. Which is smaller: m or -4?
m
Let s = -17/8 + 2. Let w(a) = 3*a + 31. Let b be w(-10). Is b at most s?
False
Let y = 28 + -14. Let j = -14 + y. Is -2/13 at least as big as j?
False
Suppose -3*h + 35 = 2*h. Which is greater: h or 19/3?
h
Suppose 5*s + 16 = -44. Let h = -11 - s. Is 1 at most as big as h?
True
Let l = -0.12 - -0.06. Let t = l - -3.06. Let f = 2 - t. Is 4 not equal to f?
True
Let y be ((-2)/(-4)*2)/(-1). Let n(d) = 3*d**3 + 2*d**2 - 2*d + 1. Let x be n(1). Let b = x + -10. Is y less than b?
False
Let t be (7/2 - 3)/(1/2). Let b = 0 - 0. Do t and b have different values?
True
Let i(j) = 14*j**2 - 11*j + 8. Let m be i(7). Let u = m + -16661/27. Let r = 23/54 - u. Which is smaller: r or 1?
r
Let x(n) = n**3 + 7*n**2 - 10*n - 12. Let b be x(-8). Let i be (-2)/(-40)*3*b. Is 0 not equal to i?
True
Let v = 798/425 + -44/25. Suppose -5*o - 11 = 2*l, 0*o + 4*o - l = -1. Are v and o equal?
False
Let z be 2/4 - (-14)/(-12). Let s = -5 - -4. Let v = s + 2. Are v and z nonequal?
True
Let f be ((-3)/((-9)/(-3)))/((-4)/(-3)). Do -1 and f have the same value?
False
Sup