o o?
False
Suppose 0 = -d, 2*l + l = d - 3. Let i be (4/6)/((-56)/24). Which is bigger: i or l?
i
Let k = 31 + -12. Which is smaller: k or 0?
0
Let d(t) = 3*t + 3. Let w be d(4). Suppose r = 5*o - w + 40, 0 = -5*r - o - 5. Is -2 != r?
True
Let r = 31 + -34. Which is smaller: r or -2?
r
Let s be (-16)/((1 - 2) + 2). Let f = s - -47/3. Which is smaller: -2 or f?
-2
Let f = 80 - 81. Are f and 1/93 unequal?
True
Let x(c) = -c - 5. Suppose 0 = -0*m - 3*m + h - 23, 0 = -5*m + h - 37. Let n be x(m). Suppose n*u = -3*u. Is -3 smaller than u?
True
Let x = -6 + 2. Suppose 0 = d - 2*d - 5, -5*k = 5*d + 5. Let u be (0 - -1) + (-2)/k. Is x at least u?
False
Let j = -0.2 - -0.2. Is -1.3 at least j?
False
Let s = -5 - -16. Let m = -10.86 + s. Let h = m + -0.04. Is 1/4 bigger than h?
True
Let m = 36 + -59. Which is smaller: m or -24?
-24
Suppose -3*y - 840 = 2*x, -4*x = 3*y + 2*y + 1682. Let m = x - -9731/23. Is 1 != m?
True
Let t = 0.13 - -6.87. Are 2/3 and t equal?
False
Let h = 8 + -7.7. Let n = 5.7 + -6. Let q = h + n. Which is greater: -2 or q?
q
Suppose -a + 2 = -0. Suppose -3*f - 1 = -a*f. Which is smaller: 2/9 or f?
f
Let g be (-1)/(-6)*(2 + 10/(-3)). Which is greater: g or -0.5?
g
Suppose -2*k = 2*k + 4. Let c be (-44)/96 + 2/6. Which is smaller: c or k?
k
Let c = -23.6 - -21. Let s = c - -1.7. Let k = s - -1. Which is greater: k or 1/4?
1/4
Suppose w - 4*y - 3 = 0, -6*w = -3*w + 4*y + 7. Let x = -0.12 - -0.2. Let l = -0.32 - x. Which is smaller: l or w?
w
Let b = 2568/7 - 369. Let s = 61/35 + b. Are 0.2 and s non-equal?
True
Let j = -63 - -58. Is j greater than -5?
False
Let r be (-1)/9*(-9)/66. Which is smaller: r or 1?
r
Let l be (0 + 1)*(-5 + 4). Is l equal to 1/17?
False
Suppose -4*v + 21 = -63. Let c be (-10)/(-8) + v/28. Is c greater than or equal to 0?
True
Let r be 10*(18/4 - 3). Let j = 9 - r. Do -6 and j have the same value?
True
Let g = -46729/38 + 1229. Let b = g + 4/19. Which is smaller: b or -2?
-2
Let w = -2.9 - -0.9. Let a = w - -4. Which is smaller: 2/5 or a?
2/5
Suppose 0 = -3*v - b - 128, 0 = -v - 3*b - 7 - 49. Are -41 and v nonequal?
False
Let p(x) = -18*x**2 - 1. Let q be p(1). Which is smaller: q or -21?
-21
Suppose -3*q + 5*y = -0*y - 59, 2*q = 4*y + 42. Let w be 8*2/4 - -10. Which is smaller: q or w?
q
Suppose -f + o = 6, -5*o = -3*f - 14 - 10. Let p = -3 - f. Let u be 17/(-65) - (-1)/(-5). Which is bigger: u or p?
p
Suppose 0 = 4*s + 5 + 3. Let t = 5 + -7. Let g be 2/(s + (t - -12)). Is g not equal to 1?
True
Let c(s) = s**3 + 2*s**2 - 3*s + 2. Let x be c(-3). Let a be 4 + (2/x - 1). Are a and 5 nonequal?
True
Suppose 3*x + 1 = 2*r - 12, -r + 2 = 0. Is -2 at most as big as x?
False
Let q be (4 - 3)*4/(-10). Which is smaller: -1 or q?
-1
Let d be ((-4)/(-10))/(8/10). Let q = -7 + 6. Let v = -1 - q. Which is smaller: v or d?
v
Suppose 0 = -3*k + 4*y, 0*k = 3*k + 5*y. Suppose u = -k*u. Is -1 at most as big as u?
True
Suppose -9 = -4*t + 3. Suppose -5*y = -4*o + 13, -o = -y - 0*o - t. Suppose -5 = -2*m - 3, 5*w + 1 = -4*m. Do w and y have the same value?
True
Let u = -16/623 - -356436/3115. Let a = 169 + -283. Let o = a + u. Which is smaller: o or -1?
-1
Let n(c) = c**3 - c + 2. Let u be n(0). Let s(p) = 2 - p**2 + 0*p + 2*p**2 - 6*p. Let i be s(6). Is u != i?
False
Let a = -0.3 + -0.7. Let x be (1/(-1) - 1)/(1*-4). Is a less than x?
True
Let d(x) = -5*x - 11. Let c(i) = -4*i - 10. Let l(k) = -6*c(k) + 5*d(k). Let p be l(4). Which is smaller: p or -1/5?
-1/5
Let p(m) = -m**2 + 3*m + 2. Let i be p(3). Which is greater: i or -1?
i
Let b be 11 + ((-2)/1 - 0). Let j = -0.164 + 0.064. Which is smaller: j or b?
j
Let s = 5 - 4.8. Do s and -4 have different values?
True
Let x = -23/7 + 3. Let f = -3 + 2. Is x < f?
False
Let x(z) = 6 + 4*z**2 - 6*z - z**3 - 6*z**2 + 0*z**2 - 5*z**2. Let b be x(-6). Let s be 6*3/b - 2. Is s equal to -1?
False
Suppose -2*j = j. Let b be 2 + (j + 0 - 1). Let y = 0.11 + -0.01. Which is bigger: b or y?
b
Suppose 5 = -2*w - 23. Let t = -55/4 - w. Which is smaller: t or 0?
0
Let g = -2 - -7. Let j = 7 - g. Which is greater: 1/2 or j?
j
Suppose 0*q = -3*q - 9. Let t = 0 - q. Let y be 1*-2*t/(-6). Which is greater: y or -1/5?
y
Suppose -4*r + 8*r - 8 = 0. Is 10/9 > r?
False
Suppose 48*o = 51*o + 15. Is -3 at most as big as o?
False
Let u be -1 + -2*(-3 + 2). Suppose -m - 4 = -u. Let l = m + 2. Which is greater: 2/7 or l?
2/7
Let p(n) = n**2 + n + 1. Let f(z) = -3*z**2 + 7*z - 11. Let r(s) = f(s) + 2*p(s). Let v be r(7). Suppose 0*h = -5*h + v. Which is greater: h or -1?
h
Let t = 11.6 + 9.4. Which is greater: t or 0.2?
t
Let j(s) = s**2 + 6*s + 7. Let f be j(-4). Let z be (-123)/(-315) - (-3)/(-9). Is f at least z?
False
Let c be (0 - 1)/((-1)/(-3)). Suppose 2*o = -o. Suppose o = g + g + 8. Which is smaller: g or c?
g
Let l(f) = -f**2 + 2*f. Let g be l(1). Which is greater: -1/42 or g?
g
Let f(x) = x**3 - 8*x**2 - 10*x + 11. Let h be f(9). Let o be -2 - (-474)/117 - h. Which is greater: -1 or o?
o
Let x = -3 + 3. Let v = 6 - x. Are -1/4 and v nonequal?
True
Suppose -4*r = 1 + 11. Let y(s) = -2*s. Let t be y(r). Suppose -t*q = -2*q. Which is smaller: q or -2/3?
-2/3
Let n = -0.6 + 0.4. Which is greater: -2/5 or n?
n
Let u = 16 - 10. Let v be ((-2)/u)/(4/18). Let g(h) = h**2 + 4*h - 1. Let s be g(-4). Is s at most as big as v?
False
Let g = 5 - 7/2. Let i be 1/1 + -1 + 1. Is g at most i?
False
Let z be (-3 - (-12)/13) + 3. Which is smaller: z or 1?
z
Let a = 6/8501 - 13414620/59507. Let l = 226 + a. Which is greater: l or 0?
l
Let f = 35 - 18. Let r be (-344)/28 - 4/(-14). Let y = f + r. Is 5 <= y?
True
Let l = -75 - -69.9. Let a = l - -5. Which is smaller: -4 or a?
-4
Let o = -7 - -7. Suppose -k + o*k = 0. Which is greater: -2/3 or k?
k
Suppose 5*p + 77 = -23. Let j be (1/(-4))/(15/p). Which is bigger: 14 or j?
14
Suppose 2*o = -3*b - 5, 5*b + 3*o + o + 9 = 0. Suppose 5*l = 1 + 4. Is b < l?
True
Let k be 17 + -1 + (2 - -3). Is k != 22?
True
Let h be 9/9 + (-6)/4. Is 0 equal to h?
False
Let l = 58/95 + -4/19. Let z(t) = 13*t + t**2 + 12 - 3 - 4*t. Let v be z(-8). Which is smaller: v or l?
l
Let k = 649 - 4535/7. Which is greater: k or 0?
k
Let j = -1704/7 + 245. Do j and 3 have the same value?
False
Let a be 0 - 0 - (-3 + 230/74). Which is smaller: 1 or a?
a
Let k be 18/(-8) - 1/(-4). Which is greater: k or 0.02?
0.02
Suppose 2*f - 64 = -2*f. Which is smaller: f or 14?
14
Let p = 13 - 10. Let o = 2 - p. Is o smaller than -2?
False
Let p = -84 + 83. Which is smaller: -16 or p?
-16
Let z be (15/10)/((-6)/8). Let f be (-1)/z*(3 - 3). Let p = -2.04 + 0.04. Is p at least f?
False
Let i = 3 - -7. Let x = i - 10.05. Let d be ((-8)/10)/(0 - 2). Which is smaller: x or d?
x
Let d = -41 - -35. Let i = 0 + -5. Which is smaller: d or i?
d
Let n(a) be the third derivative of -a**6/120 + 7*a**5/60 - 7*a**4/24 + 3*a**3/2 + a**2. Let p be n(6). Which is smaller: 2 or p?
2
Suppose -4*y = -3*y + 24. Let r = y + 24. Which is smaller: r or 2/5?
r
Suppose 0 = 5*x - 11 + 1. Suppose -4*p + x = -4*d - 6, 3*d - p = -2. Do d and -4/9 have different values?
True
Let j = 30 - 29. Which is smaller: -4/13 or j?
-4/13
Let l = -39 - -30. Which is greater: 1/2 or l?
1/2
Let y be (2/(-4))/(1*(-4 + 6)). Which is bigger: y or 0.09?
0.09
Suppose -2*q + 13 = 1. Is 1/4 at least q?
False
Let w(q) = -3*q - 23. Let y be w(-8). Is y greater than or equal to 2/297?
True
Suppose v + v + 2*m - 4 = 0, -3*v + 4*m = 1. Let q be (12/(-18))/((-2)/3). Do q and v have the same value?
True
Let t = 0 - -1. Let g be t*-14 - (4 - 3). Let n be 1/(-3) - g/27. Which is smaller: -1 or n?
-1
Let s be 2*4/(16/(-12)). Which is smaller: -5 or s?
s
Let m(n) = -n**2 - 5*n - 6. Let w be (-2)/(-1)*(2 + -1). Suppose -z + w = 6. Let r be m(z). Which is smaller: -1 or r?
r
Let u = -2/619 - -689/21665. Suppose -5*a + 5 = -4*z + 15, 0 = 5*z - a - 2. Is u less than z?
False
Suppose -2 = -2*c + 4. Suppose -2*a = -c*a + 4. Suppose 0 = 3*h + 2*o + 2*o - 6, -2*h + a = -3*o. Is h greater than or equal to 2?
True
Suppose 0 = 3*z + 2*z + 15. Let g be ((-8)/(-6))/((-1)/z). Is 3 greater than g?
False
Let q = 21.016 + -0.016. Is 1 bigger than q?
False
Let z be 1/(-14)*3*2. Let x = 0.06 - 18.06. Let l = x + 19. Which is smaller: z or l?
z
Let n = 816001/702968 + -1/12553. Let q be 5/20*7/(-2). 