east as big as p?
True
Let x be (-16)/10 + (-8 - -5) - 2. Which is smaller: -8 or x?
-8
Let u = -0.028 - -0.128. Which is smaller: u or 15?
u
Suppose -r + 0 = -2. Let s(x) = -x**3 + x**2 + x + 2. Let b be s(r). Which is smaller: 1 or b?
b
Suppose 4*w + 11 = -i - w, i + w = -15. Let o = 14 + i. Let l be 2/3 - (-22)/(-6). Which is bigger: l or o?
o
Let z(p) be the third derivative of -p**6/120 - p**5/6 - 5*p**4/12 - 7*p**3/6 + 2*p**2. Let v = 9 + -18. Let q be z(v). Which is smaller: q or 3?
q
Let s be 242/(-16) - 1/(-8). Do s and -14 have the same value?
False
Let c be 1*(2 + 28/(-12)). Which is bigger: c or -3?
c
Let v be 206*(-1)/(-335) + (-9)/15. Which is smaller: 0 or v?
0
Let i = 56/9 + -262/45. Let x = -0.6 + 2.6. Are i and x non-equal?
True
Let y(s) = -s + 14. Let n be y(7). Let p be (2 - 0)*n/(-14). Which is bigger: -2 or p?
p
Let m(v) = -v - 3. Let f be m(-3). Suppose -1 = -4*h + 15. Suppose 3*r - h*z = f, 4*z = -z. Do r and -3/11 have different values?
True
Let t = 117 + -399/4. Let h(q) = q**3 - 8*q**2 - 2*q - 1. Let j be h(8). Let f = j + t. Is f less than 0?
False
Suppose 0*b = -b - 6. Suppose -2*t = -5*t - 18. Is t less than or equal to b?
True
Suppose 2*r = 6*r + 12. Let j = 1 - r. Let f be j/(-3)*(-6)/4. Is 2/3 <= f?
True
Let h = 10 + -7. Suppose 5 - h = 2*r. Which is smaller: r or -2/5?
-2/5
Let s = 2/199 - -384/1393. Suppose -r + 2*r + 4*c = 9, -3 = r - 2*c. Do s and r have different values?
True
Let j = -377/8 - -47. Which is smaller: j or 1?
j
Suppose q + 5*q + 24 = 0. Which is smaller: q or -9?
-9
Let a = -39 - -39. Which is greater: 0.11 or a?
0.11
Let h(a) = -2*a + 13. Let y be h(10). Let w be (y/(-98))/((-2)/4). Which is smaller: w or 0?
w
Let v be ((-2)/(-5))/((-4)/100). Let f be (v*(-3)/6)/(-3). Which is greater: f or -2?
f
Let w = 0 - 1. Which is greater: w or 1/12?
1/12
Suppose 2*y + 37 = -0*y - 5*r, 4 = y - 2*r. Does y = -51/7?
False
Let o = 8 + -8.2. Let y = 8.3 + -8. Let r = y + o. Which is smaller: -1/2 or r?
-1/2
Let k be 4/(-5)*5/(-2). Suppose -2*m - k*m = 0. Suppose 0 = -m*p + 4*p. Which is smaller: 1 or p?
p
Let v(p) = p**3 - 10*p**2 + 2*p - 22. Let f be v(10). Are f and -11/5 equal?
False
Suppose -3*m + 8*q = 3*q - 16, 2*q = -2*m. Suppose o + 0*u + 5*u = -25, o = m*u + 10. Is o greater than or equal to -2?
True
Let d be (-4)/(-18) + 2/(-9). Suppose -i - 2 = -3*t - 0, -4*t + 4*i + 8 = 0. Suppose t = h - 0*h. Is h greater than or equal to d?
True
Let l be (1/6)/(1/(-4)). Which is greater: -2 or l?
l
Let m(v) be the third derivative of -v**5/60 - 5*v**4/24 + v**3/6 + 2*v**2. Let k be m(-5). Let c = 131/3 - 43. Does c = k?
False
Let v(x) = -x + 30. Let z be v(26). Is 13/5 > z?
False
Let a = -1/203914 - -9686121/42006284. Let p = 1046/7 + -107724/721. Let x = p + a. Do x and -1 have different values?
True
Let y = -0.99 - 0.31. Let c = y + 0.3. Which is smaller: -0.1 or c?
c
Let f = -9874/2093 + 1/299. Is -6 greater than f?
False
Let v(a) = 2*a - 6. Let b(c) = c - 3. Let q be b(8). Let m be v(q). Suppose -2 = 2*y - m*y. Is 1/4 at least y?
False
Let m = 1/122 + 1337/610. Suppose 0 = 5*w - h - 12, -2*h = -w + 3 + 3. Which is greater: w or m?
m
Suppose 4*g + 26 + 34 = 0. Let c = g + 9. Let d = 8 + c. Are d and 2 unequal?
False
Let s = -9 + 14. Is 0.1 bigger than s?
False
Let h = -55/6 - -9. Which is smaller: h or 0?
h
Let x = 7 + 3. Let w = 9 - x. Are w and -1 unequal?
False
Let x be ((-15)/(-6))/(2/(-24)). Is -30 at most x?
True
Let t(f) = -2*f - f**3 - 4 - 5*f**2 + 2*f - 5*f. Let p be t(-4). Suppose c + 0*c = p. Is c at least as big as 0?
True
Let u = 4 - -1. Suppose -10*s + u*s = -15. Is s smaller than 6?
True
Suppose 2*g + 3*g + 30 = 0. Suppose 3*l - 2*k = -19, -2*l - 31 = 3*l - 3*k. Is l > g?
True
Let s = -157 + 164.1. Let q = s + -7. Let x = 1 - 1.2. Are q and x equal?
False
Let a = -1.7 + 1.8. Which is smaller: a or 12?
a
Let x(z) be the third derivative of -13*z**5/60 - z**4/24 + 3*z**2. Let o be x(1). Is -13 less than o?
False
Let h = -1632/14141 + 10/79. Is h at most as big as 1?
True
Let c = -32.1 + 32. Which is bigger: c or 0.88?
0.88
Let j = -1/32 - 43/672. Which is smaller: 1 or j?
j
Let l = -10577/4 + 2793. Let r = -150 + l. Which is greater: r or -2?
r
Let a be ((-1)/12)/((-2)/(-1028)). Let b = a - -43. Which is bigger: b or 0?
b
Let m be 5/(3 - 42/15). Suppose m = 7*y - 2*y. Which is smaller: y or 7?
y
Let w = 13 - 23. Let k = 13 + w. Suppose k*i - i = 0. Is 0 != i?
False
Let w(i) = -i**3 + 13*i**2 - 10*i + 1. Let o be w(12). Which is smaller: o or 26?
o
Let j = -1.6 + -6.4. Let x = j + 8. Is -2 bigger than x?
False
Let z = 110 - 111. Is z greater than or equal to 2/9?
False
Let g = -1.4 - -0.8. Let m = 0.7 + g. Which is greater: m or 3/7?
3/7
Let a = 4 + -3.9. Let q = a + -0.1. Let k = 0.03 + 3.97. Which is bigger: k or q?
k
Suppose -2 = -3*p - 5. Let q = -63 + 65.9. Let c = q - 3. Is p equal to c?
False
Let o(v) = -v**2 + 4*v + 1. Let y be o(4). Is 3/22 greater than y?
False
Let m(f) = f - 7. Suppose -27 = -0*j - 3*j. Let x be m(j). Let o(a) = 2*a - 1. Let w be o(2). Which is bigger: x or w?
w
Let b = -3 - 2. Let i be 20/175 + 2/b. Which is smaller: i or -1?
-1
Let g(u) = -u**2 + 4*u + 5. Let f(o) = -o**3 - 3*o**2 - 3*o - 4. Let n be f(-3). Let z be g(n). Are z and 0 non-equal?
False
Let w be (10/25)/(3/(-15)). Let v = -14 - -25/2. Which is bigger: v or w?
v
Suppose 5*a = 3*a - 4. Let d be (2 + 2/a)*0. Which is smaller: 2/15 or d?
d
Let x = -3.1 - -0.1. Let w = -4 + 5. Which is smaller: x or w?
x
Let j(v) = -v**3 - 3*v**2 + 4*v + 2. Let g be j(-4). Suppose o - g = -2*r, 3*r - 1 + 3 = -4*o. Suppose 5*a = -8 - r. Is a > -2?
False
Suppose 5 = 5*m - 4*m. Suppose -m*n = -2*n + 4*a + 35, 5*n + 3*a + 62 = 0. Let l = 21 + n. Is l >= 8?
True
Suppose 3*c - 2*c + 27 = -3*g, 12 = -4*g. Is c at least -16?
False
Suppose 53 = 4*g + 17. Let h = g + -7. Suppose -5*p - 4*z + 15 = -h*z, 2*z = -p + 3. Which is smaller: 4 or p?
p
Let z = 1 - -5. Let u be (8/(-10))/((-1)/5). Let j = u - z. Is -1 != j?
True
Suppose -a = -3*a + 8, 16 = f + 3*a. Let k be 1/f - 2/8. Which is smaller: 1 or k?
k
Let f = 2 + 3. Let t = -2 - -7. Is t <= f?
True
Let a = -0.5 + 0.35. Let h = -0.2 - a. Let m = 2.95 - h. Is -2/5 <= m?
True
Suppose p - 32 = -3*p. Suppose 0 = -2*u + p - 2. Let c be 3/2*8/6. Which is greater: u or c?
u
Let s = 74 - 68. Which is smaller: -8 or s?
-8
Let i = -75 - -75. Which is greater: 1 or i?
1
Let a = -0.14 - -0.05. Let z = a - -1.09. Is 0.3 <= z?
True
Let f = 9 - 3. Let k be f/(-30) + 13/15. Is -2/9 at least k?
False
Let i = -6/11 + 116/253. Which is smaller: -1 or i?
-1
Let v(i) = i - 3. Let t be v(4). Let h = 610 + -399. Let y = h + -1474/7. Which is smaller: t or y?
y
Let u = 0.6 - 0.59. Let h = 0.11 - u. Which is greater: h or 4/3?
4/3
Let s(r) = -2*r + 12. Let y be s(5). Let d(g) = g**3 - 3*g**2 - 3*g - 1. Let p be d(4). Are p and y unequal?
True
Let q be (6/20)/(3/(-4)). Which is bigger: -14 or q?
q
Let w = 7 + 7. Let r be 12/w*98/189. Let k(c) = c**2 + 4*c - 5. Let a be k(-5). Is a bigger than r?
False
Let q be -2 - (2*-4)/(-2). Is -4 >= q?
True
Let j = 17/24 + -1/24. Is j > 0?
True
Let b(l) = 7*l**2 + 5*l - 1. Let w(y) = -6*y**2 - 5*y + 2. Let x(d) = -5*b(d) - 6*w(d). Let c be x(-7). Are c and 6 nonequal?
True
Let b = 2 + -2. Let g = b - -1. Let a be (-468)/288 - (-4)/2. Which is greater: g or a?
g
Let w = 0 - 19. Let b = -18 - w. Which is smaller: b or 3?
b
Let s(v) = v + 9. Let w be s(-4). Is 5 less than w?
False
Suppose 3*q - 4*q = 3*y, 4*q = -2*y. Let t(x) = -x**3 - 4*x**2 - x - 5. Let k be t(-4). Is k greater than y?
False
Let b = -16 + -14. Let v be 6/10 + (-2)/b. Is -1/5 <= v?
True
Let p(d) = 3*d + 6. Let t be p(-4). Let m be (-21)/t*(-36)/(-21). Which is smaller: 1/4 or m?
1/4
Suppose -5*z + 4*z + j + 44 = 0, 3*z = -5*j + 140. Let q be (-2)/(-10)*z/6. Which is bigger: q or 2?
2
Let c = 0.05 - -0.95. Let u = -69 + 36. Let b be u/24*2 - -2. Which is smaller: c or b?
b
Let w = -77086/15 + 5152. Let n = w - 40/3. Is n >= -2/5?
True
Suppose 5*n + 7 = 2*z + z, -2*n = -3*z + 10. Which is smaller: 0 or n?
0
Let n(j) = j**3 + 5*j**2 - 6*j. Let q be n(-6). Let p = -26 + 27. Is p bigger than q?
True
Let k = 16 - 9. Suppose -k*s + 2*s = 0. Suppose -3*r = -3*t, r + s*t + 3*t = 16. Which is greater: 2 or r?
r