be ((-1)/1)/(2/10). Which is bigger: g or 2/5?
2/5
Let r be (124/(-48))/((-2)/3) + -4. Which is bigger: r or 0.4?
0.4
Suppose 0 = -2*d + 3*s + 179, 5*s = 2*d - 172 - 17. Let w be d/12 + 2/(-6). Let h = -7 + w. Is 0 at least as big as h?
True
Let d be ((-8)/(-6))/2 - 5/(-6). Which is bigger: 1 or d?
d
Let o = -0.4 - 0.6. Are o and 3 unequal?
True
Let j = 78 - 72. Is 6 less than or equal to j?
True
Suppose -4*u = -n + 5, -5*n + 0 - 17 = u. Is -2 greater than n?
True
Let v = 0.12 - -5.88. Let m = 14 - v. Which is smaller: m or 1/2?
1/2
Let f = 19 + -19. Is f not equal to -8?
True
Let d be 1*(80/(-36) - -2). Let t be 2/(-4)*(-1 - -1). Suppose 2*c + t*c = 0. Which is bigger: d or c?
c
Let i = -5.76 + 5.1. Let j = -0.06 - i. Are j and 0.1 equal?
False
Let j(f) = -3*f + 66. Let b be j(24). Which is smaller: 2 or b?
b
Let w = 0.4 - 0.7. Let d = 0.1 + w. Let v = -0.8 + d. Which is greater: v or 1/2?
1/2
Let w be (-1*1)/(3/(-6)). Let o = -0.18 + 0.08. Is o >= w?
False
Let s = -6699/13 - -515. Suppose -3*k + 1 = -q, -2*k - 2*q + 6 = -0*q. Is s >= k?
False
Let k = -18 - -13. Let f = k - -5.1. Does f = -3?
False
Let j be -1 + -1 - (3 + -2). Let z = 0 + j. Let c be 16/24 - 1/z. Is c > 0?
True
Suppose -1 - 2 = -d. Let y = -7 + 3. Let g = d + y. Which is smaller: 4 or g?
g
Let b = -109/226 - 2/113. Is b less than or equal to 3?
True
Suppose 3*l + 3*i - 16 = 11, 3*l = 4*i - 8. Suppose -4*n + 4 = -0*n, 0 = -5*t + n + l. Are t and -2 non-equal?
True
Let w be ((-48)/10)/(6/(-20)). Suppose 0 = -m - m - w. Let h = m + 8. Are 0 and h nonequal?
False
Let p = 6.9 + -7. Suppose -1 = -b - 4. Is p < b?
False
Let r be 1 - -1 - (3 + -4 - 6). Suppose -3*n + 2*n - 16 = -2*l, -2*l + 4*n = -16. Is r >= l?
True
Let g = 9 - -23. Suppose 0 = -a - 3*j + 15 + 2, 0 = -4*a - 3*j + g. Suppose x = -4*x + a, 4*q + 1 = 5*x. Is 1 at most q?
True
Suppose 0 = -0*h - 2*h - 14. Let n be 2/(-4) - (-18)/(-4). Let q(p) = p**2 + 8*p + 7. Let l be q(n). Is h < l?
False
Let j = 54 - 35. Which is greater: 18 or j?
j
Suppose 0 = 3*u - 8 - 4, -2*s - 5*u + 28 = 0. Suppose -s*p - o = 15, p = 6*o - 2*o - 8. Which is greater: -5 or p?
p
Let d be (-116)/(-420) + ((-16)/14 - -1). Let a be 2 + -1 + 8/4. Suppose 0 = 2*o + 4, -s - a*o + 1 = -4*o. Which is smaller: d or s?
s
Suppose -13 = -4*i + t, 2*t - 3 = -5. Which is bigger: 0.3 or i?
i
Let w(u) = u**3 - 5*u**2 + 3*u + 5. Let a be w(4). Suppose -4*j = -8*j + 8. Which is bigger: a or j?
j
Let x be (-4)/(-2)*2/14. Let d = 0.81 - 0.8. Let g = d + -1.01. Are g and x unequal?
True
Suppose 3*h - 5 = 4*h + 2*u, 5*u = h + 40. Let y be 2 - (-6)/h - 2. Let n = 1 - 2. Is n >= y?
False
Let f(a) = -a**2 + 4*a - 10. Let h be f(8). Let q be 4/(-2) - 72/h. Is q smaller than 0?
True
Let g be ((-18)/24)/(3/(-120)). Which is smaller: g or 31?
g
Let p be 11/(11/(-18)) + 4. Which is smaller: p or -15?
-15
Let z be 4/(-330)*3/(-2). Is z smaller than 0?
False
Let n(x) = -x**2 - 6*x - 5. Let j be n(-5). Is j >= 8/11?
False
Let u = 2 - 5. Is u less than -8?
False
Let z be -2 + 3 - (-3)/(-18)*8. Is z at most -1?
False
Let j be 1/(-2) + 75/10. Suppose -j - 1 = -4*o. Are 1 and o equal?
False
Suppose 0*f = -f + 4. Let v = -6 + 1. Let p be (f/5)/(1/v). Is p greater than or equal to -4?
True
Let s(x) = -2*x - 10. Let h be s(-7). Let b(g) = g**3 - 3*g**2 - 3*g - 3. Let y be b(h). Which is smaller: -2/41 or y?
-2/41
Let c be -1*1 + 7 + -4. Which is greater: c or -4/5?
c
Suppose 5*h - 2*h = 6. Suppose 12 = h*x + 2. Suppose x*o - 2*o + 3 = 0. Do o and -1 have the same value?
True
Let l = -34 - -21. Let v be ((-1)/l)/(2/(-4)). Let j(x) = -x**3 + 5*x**2 + 15*x - 8. Let h be j(7). Which is smaller: v or h?
h
Let l(j) = -2*j**3 - 3*j**2 - 3*j. Let k be l(-2). Suppose -3*z + k - 4 = 0. Suppose 4*b + 8 = z*r - 6, 3*r + b + 14 = 0. Which is bigger: -2 or r?
-2
Let m = 2909/12 - 242. Which is smaller: m or -1?
-1
Let q be (-24)/33*8/32. Suppose 0 = r + r + 2. Let z = r + 0. Which is smaller: z or q?
z
Let p(j) = -j**3 - 3*j**2 - 2*j + 2. Let r be p(-2). Suppose -c = r*b + 2 + 2, 3*b - 4 = -4*c. Suppose c*n = -0*n. Is -2/17 bigger than n?
False
Let s be 3 + 4/(-12) + -3. Are 6 and s nonequal?
True
Suppose -3*f + 4*c = -5, -f + c = -1 - 2. Which is greater: 1 or f?
f
Let o = -0.059 - -0.159. Is o > 37/2?
False
Suppose -5*q = -q + 4. Let p = 1 + q. Is -1/5 > p?
False
Suppose -t - 8 = 3. Is t bigger than -12?
True
Let p be (-8)/2*2/(-4). Let j(o) = 2*o**2 - 2*o - 1. Let u be j(p). Are u and 2 non-equal?
True
Let i be (-3)/(-1)*(-1)/3. Which is bigger: -8/5 or i?
i
Let z = -63/2 - -1319/42. Is z greater than or equal to 0?
False
Let c be -12*4/(-6) + -5. Let m(t) = 2*t - 2*t - t. Let v be m(-3). Is v < c?
False
Suppose 7*m = 2*m. Suppose r - 3*r - 5 = 5*l, -2*r - 3*l - 3 = m. Which is smaller: r or -1/17?
-1/17
Suppose 5*g - 3 - 5 = 3*f, 4*f = -4*g. Which is smaller: 3 or f?
f
Let p = -7116/217 + 230/7. Which is greater: p or -1?
p
Let v = -1/14 - -5/21. Suppose -3*n = 5*g + 14, -8 = n + 3*n + 4*g. Let y be n + (-2 - -1)*2. Which is smaller: v or y?
y
Let q = -131 + 386/3. Which is bigger: q or -3?
q
Suppose -w - 17 = -6. Which is smaller: w or -10?
w
Let p(m) = -m**2 + m + 1. Suppose 2*j - 6*j = 4. Let d be p(j). Which is smaller: d or 1?
d
Suppose -7*x - 6*x = -78. Which is smaller: x or 11?
x
Suppose -4*j - f = -20, j = 4*j - 5*f - 15. Let k be 1/j - 18/(-10). Suppose 2*l - k = -4*s, -2*l = -3*s + l - 21. Is -2 < s?
False
Let t(u) = -u + 4. Let b be t(5). Let x = 278 + -289. Which is bigger: x or b?
b
Let k(m) = m - 3. Let r be k(7). Let a = 6 - r. Is 2 greater than a?
False
Let h be (2/(-36))/((3/(-9))/1). Which is smaller: h or 0?
0
Let q = 378 + -7940/21. Are -1 and q unequal?
True
Let k = 305/2 + -153. Is k != 155?
True
Suppose u = 5*c + 27, 4*u - 4*c - 26 = 34. Is u equal to 12?
True
Let q be 0/((-9)/((-27)/6)). Is -3/37 >= q?
False
Let l = 0.05 + -0.04. Let w = l - 0.01. Let x be (-1)/(2/1 + -3). Which is greater: w or x?
x
Let c be 3 - (-1 + 148/36). Which is smaller: 0 or c?
c
Let i = -2 - 6. Let h = i + 6. Let s be h/((-3)/((-81)/(-6))). Is s at most as big as 10?
True
Let h be (100/24)/5*(-9)/4. Is -1 bigger than h?
True
Let o = -34 - -32. Is o greater than -16/9?
False
Let a(j) = j**2 + 10*j - 7. Let p be a(-11). Which is smaller: 13/5 or p?
13/5
Let d = -2/297 + -584/1485. Is d smaller than -0.4?
False
Let b = -6 - -3. Let f be ((-2)/(-5))/(b/6). Is -2 bigger than f?
False
Let t be (-1)/(2*(-3)/(-98952)). Let d = t + 165149/10. Let h = d + -45/2. Which is smaller: -1 or h?
-1
Let t = 0.3 + -0.4. Let l = t + 2.1. Let x = -1333 + 5333/4. Are x and l equal?
False
Let t(i) = i**2 + 3*i - 2. Let x be t(-2). Which is smaller: x or -2?
x
Let p(a) = -a**3 + 5*a**2 + 5*a + 5. Let q be p(6). Let r be (-1)/(-12)*22 + -2. Which is smaller: q or r?
q
Let y = -1 - -1. Let x be y - (2 + 84/(-39)). Suppose 25 = -5*h + 5*g, 0 = 5*h + 2*g - 3. Which is greater: h or x?
x
Suppose -2*a + 2*i + 2 = -3*a, -3*a + 5*i = 17. Suppose -3*j + 5 = -4*j. Which is bigger: a or j?
a
Let q(y) = 3*y - 10 + y**2 + 0*y**2 + 5*y. Let w(m) = -m. Let i be w(9). Let g be q(i). Is g greater than or equal to 1?
False
Let i be (-1 - 5/(-2) - 2)*0. Which is smaller: -0.11 or i?
-0.11
Suppose -4*o = -2*o + 8, 5*r - 3*o = -128. Which is smaller: -27 or r?
r
Suppose -j = 3*z + 8, -3*j = -0*j - z + 4. Let y be -1 + 2 - j/(-6). Is 0 less than or equal to y?
True
Let r be (-6)/9 - (-57)/(-9). Let s be 1*(r + (-2 - -2)). Which is smaller: s or -2/3?
s
Let n(w) = 3*w**2 + 7*w + 11. Let y be n(-5). Which is greater: y or 52?
52
Suppose 0 = 5*h + 5 + 5. Let z be h/(-10) - (-10)/(-46). Let y = -5/23 - z. Are y and 0 non-equal?
True
Suppose -3*s = -5*i + 14, 2*i + 12 = 5*i. Let o = 1.1 - 2.1. Is o less than s?
True
Suppose -17 = -a - 16*a. Is 1/24 greater than or equal to a?
False
Let b be (-1 - -2)*2*13/(-39). Which is smaller: b or -1?
-1
Suppose -5*o - 4 = -o. Let b = 4 + -2. Let j be ((-16)/6 + b)*3. Which is smaller: j or o?
j
Suppose 0 = -4*u - w - 12, 46 - 14 = -5*u + 3*w. Let v be (9 + u)/(-3 - -2). Which is smaller: v or -7?
-7
Let n = -8 - -7. Let l = -0.6 - -0.2. Let i = l + 0.2. Do i and n have the same value?
False
Let m(x) = -x - 4. Let d be m(-3). Let t = -31/28 - -6/7. Is t at least as big as d?
True
Let d = -1444 - -147287