ch is smaller: 0 or q?
q
Suppose 7*j - 6 = 4*j. Suppose j*p = 5*p. Let k = -7 + 7.3. Which is bigger: k or p?
k
Let q be (-1 - 0)*16/224. Let j = 75/266 + q. Which is greater: j or -1?
j
Let n = -2326 + 197712/85. Which is bigger: n or -1?
n
Let z = -22.9 + 24. Let p = z + -0.9. Let k be (-1 + 2)*8/4. Which is greater: p or k?
k
Let q be 0/((-4)/(-2)) + 3. Suppose y - h = 4, -y + q*y - 13 = -3*h. Let f = 6 - y. Is -1/12 less than f?
True
Suppose -12 = -4*c - 3*m - m, 10 = 2*c + 4*m. Let b = 5 - c. Suppose -b*o + 3 + 3 = 5*x, -o = 2*x. Is 0 > x?
True
Let v be (-2)/2 + 2/6. Let b = -22 - -19.7. Let y = -2 - b. Is y <= v?
False
Let p be (-6)/10 - 7088/70. Let n = -102 - p. Which is smaller: n or 1/2?
n
Let z = 3 - 3.1. Let u = 0 + z. Let t = u - -1.1. Which is smaller: t or 2/5?
2/5
Suppose 4*k - 3*w - 27 = 0, -4*k - 14 = -2*w - 36. Let t = -34 + 36. Is t smaller than k?
True
Suppose 0 = 2*h + 3*h + 5. Is -10/13 at most as big as h?
False
Let b = -240 + 4559/19. Which is smaller: b or 0?
b
Let g be 2 + 172/(-8) + 9/6. Is -18 greater than g?
False
Let o = -1.1 + 1.1. Are o and -2/31 nonequal?
True
Suppose -61 = -6*t + 95. Which is greater: t or 25?
t
Let q = -11.946 - 0.054. Is q greater than or equal to -1/2?
False
Let n = -14 - -16. Which is greater: 8/9 or n?
n
Let c be 18/6 - 810848/(-10). Let j = c - 80716. Let d = j - 374. Which is smaller: -2 or d?
d
Let h = -13943/38 + 367. Which is smaller: 1/4 or h?
h
Let m = -26 - -36. Let x be m/22 + 2 + -3. Which is smaller: -1 or x?
-1
Let f = 6 + -1. Let s(o) = o**3 - 5*o**2 - o + 5. Let p be s(f). Which is greater: -2/11 or p?
p
Let x = -1.2 - -2.2. Do 5/4 and x have the same value?
False
Suppose 0 = 2*o + 2, b - 5*o = -b + 17. Let a be -9 + b - -1*1. Suppose -2*r + 5*r = -6. Is a bigger than r?
False
Let p be (52/55)/((-3)/(-135)). Let r = -2241/55 + p. Is r less than or equal to 3?
True
Let v = -12 - -17. Is v bigger than 2/5?
True
Let x(k) = 2*k**2 - 34*k - 9. Let b be x(15). Are b and -69 nonequal?
False
Suppose -5*k - 11 = -2*b, -5*b + 5*k + 6 = 1. Which is bigger: -2/3 or b?
-2/3
Let x be (-12)/54*9/42. Which is greater: -1 or x?
x
Let i = 55 + -219/4. Let a = -27 - -26. Is a less than or equal to i?
True
Let k(y) = 3*y + 14. Let r be k(-5). Which is greater: 2 or r?
2
Suppose 48*o - 42*o = 114. Is 20 equal to o?
False
Let d = -19/6 - -3. Let l be (-20)/3 - 6/(-9). Let k = l - -5. Is d smaller than k?
False
Let g be 1/(204/(-172)) + 1/(-3). Is g at most as big as -1?
True
Let w = 8 + -4. Let f(c) = -c - 3. Let s be f(w). Suppose -t + 14 = -2*g, -g + 5*t - 17 + 1 = 0. Which is smaller: s or g?
s
Let p = 1 + -4. Let o = p - 1. Which is smaller: o or 1?
o
Let l = 13 + -12.95. Is -0.1 > l?
False
Let x = 3 + -3. Let w be ((-16)/2)/(-2) + 0. Suppose -w*j + 2*j = x. Is j smaller than -1?
False
Let k = 9600 - 863989/90. Let u = -1/6 + k. Let r = -28/45 + u. Which is smaller: 0 or r?
r
Let f be 2*(1 - 0)/2. Let b be 1*5/(5/2). Which is bigger: b or f?
b
Let h = 4.4 + -4. Let r = 0.5 - h. Let y = -0.2 + r. Which is bigger: -2/15 or y?
y
Let p(g) = -g**3 + 3*g**2 + 6*g - 3. Let u be p(4). Suppose -3*j - j + 6 = u*z, 5*j + 5*z = 10. Let s = 24 - 19. Is j greater than s?
False
Let r = -120 + 111. Which is bigger: -13 or r?
r
Suppose 0 = -p - 1 + 3. Suppose -h = -3*h + p. Let z(y) = 4*y**3 - 2*y**2 + 1. Let x be z(h). Is x at most as big as 4?
True
Let j = -3 + 4. Which is smaller: j or 3/2?
j
Let g be (4/20)/(-3 - (-6)/10). Is 11 < g?
False
Let w be (-13)/(39/(-102)) - (1 - 0). Which is bigger: w or -1/2?
w
Let r(b) = 2*b**2 + 3*b - 5. Let w(m) = m**2 + m - 2. Let t(c) = 4*r(c) - 9*w(c). Let q be t(4). Let f be 2/(-3)*q/1. Do 4 and f have different values?
False
Let g = -0.381 - 0.019. Which is smaller: 3 or g?
g
Let b = 0.03 - 0.09. Let h = -0.1 - b. Which is bigger: h or 1/2?
1/2
Suppose -x - 4*x - 5 = 0. Let y be x/3 - 10/(-12). Is 2 less than or equal to y?
False
Let l = -0.1 - -0.1. Let m be (-1 - 24)*(-1)/1. Let p = m - 51/2. Do p and l have the same value?
False
Let v be (-1)/(-4) - 102/24. Suppose -3*k + 5*k = -6. Which is smaller: v or k?
v
Let y = 29 - 201/7. Which is greater: 2/5 or y?
2/5
Let d = 756382/67535 + 2/13507. Which is greater: d or 11?
d
Let l be -2*((-2)/4 - -1). Suppose f - 5*f = -2*s - 28, -8 = -4*s. Let d be -5 + f + (-9)/4. Which is bigger: l or d?
d
Let l be (2/8)/(13/(-52)). Is -6/23 greater than or equal to l?
True
Let j = -2 - 1. Which is smaller: 3/4 or j?
j
Let k = -2656 + 34498/13. Is k less than or equal to -1?
True
Let i be (3448/(-114))/(4/18). Let k = -136 - i. Let c = 11 + -10. Which is smaller: c or k?
k
Let f = 3799/231 - -17/77. Which is bigger: 18 or f?
18
Let t be (15/(-10))/(2 + -5). Is t at least 2?
False
Let z(m) = -3*m + 2. Let n be z(2). Let v = -4 + 7. Suppose -v*u + 6*u = -3. Are n and u unequal?
True
Let z = -89/120 + 3/40. Is z <= -6?
False
Let w = -2.01 + 0.01. Let l = w + 2.1. Is 6 at most as big as l?
False
Let v = 73.2 + -83. Let c = -0.26 + -9.74. Let t = c - v. Are 3/2 and t nonequal?
True
Let a be (-632)/(-16) + (-1)/2. Let q = a + -119/3. Let h = -3 + 5. Which is smaller: q or h?
q
Suppose -3*n = 2*x + 22, 2*n + 60 = -5*x + x. Are x and -18 equal?
False
Let f = -2559/4 - -621. Let c = f - -19. Let s = -2 + 1.9. Which is smaller: s or c?
s
Let q = -8 + 5. Let r be (q/(-15))/(4/(-10)). Suppose 0 = 4*n - 9*n + p + 15, -2*p - 10 = 0. Which is smaller: n or r?
r
Let c be 9/12 - 9/12. Are c and 2/29 non-equal?
True
Let v = 9 - -4. Suppose -11 = -4*t + v. Let y(p) = -p + 4. Let f be y(t). Which is bigger: f or -1/2?
-1/2
Suppose 2*v = 4 + 2, v - 11 = -4*j. Which is greater: 3/5 or j?
j
Let r(u) = u**3 - 7*u**2 - 8*u. Let c be r(8). Suppose c*z - 2 = -3*z - q, -3*q - 10 = z. Let j = z + -3. Is j bigger than 2/11?
False
Let m = 9 + -10. Let k = -1.5 + 1. Which is bigger: m or k?
k
Let n be 14/(-3)*3/(-2). Is n at least 8?
False
Let b = 4/143 - 2/11. Is 0 bigger than b?
True
Let a be 4/(-5) - 28/(-10). Suppose 4*k - 6*k - a = 0. Which is smaller: k or 2/49?
k
Suppose 0*x - 5*x = -s + 10, 3*x + 5*s - 22 = 0. Let q(o) = -o**2 + 2*o + 1. Let z be q(x). Is -4/3 smaller than z?
False
Suppose 5*h + 3*d = d + 46, -5*h + 2*d = -54. Which is bigger: h or 9?
h
Let k = 1.6 + -0.9. Let v = -0.3 - k. Which is smaller: v or 2?
v
Suppose 0 = -h - 10 - 2. Is h greater than or equal to -12?
True
Suppose 2*q - 5*d + 24 = 0, -2*d = -q - 0*d - 10. Let y be (-9)/12 - 1/q. Is y >= 5?
False
Suppose 4*o + 211 = y, 0 = -o + y - 5 - 47. Which is smaller: o or -2/3?
o
Let x be -21 + 1*-4*(-3)/4. Are x and -19 unequal?
True
Let q be (5/25)/((-1)/5). Suppose -4*k - 3 = 1. Is k less than or equal to q?
True
Let h = 17 + -18. Is -0.01 greater than h?
True
Let q = -85 - -92.2. Let l = 1.8 + q. Let y = l - 7. Which is smaller: y or -1?
-1
Let a(g) = -g - 3. Let r be a(-5). Let s(p) = p - 6. Let h be s(9). Are r and h unequal?
True
Let v be 0 - 14/(-120) - (-3)/(-18). Is 2 equal to v?
False
Suppose 14*l = l - 19*l. Let s be (6 - 2)/(0 - -1). Suppose 5*p - s = -5*w + 16, 2*w - 11 = p. Is l != p?
True
Let r(i) = i**3 + 6*i**2 + 4*i - 3. Let d be r(-5). Does 1/9 = d?
False
Suppose -g - 6*g = 28. Let y be g + 1 - (-2 + 14). Is -16 less than or equal to y?
True
Let k(q) = q - 6. Let g be k(6). Let u be 2 - (-1 + g + -2). Let t = u + -5. Is -2/9 at most t?
True
Let z = 32 - 16. Is z greater than 18?
False
Let l = 1811/12 - 151. Suppose t - 2 + 3 = 0. Which is smaller: t or l?
t
Let m be (-2 - -6)/((-15)/6). Which is smaller: -3 or m?
-3
Let d = 147 + -146. Is d != -19?
True
Let z = 0 + 0. Suppose 3*t - 4*t + 4 = 0. Let u be 6/14*t/(-6). Is u smaller than z?
True
Suppose 1 = 2*x + 11. Does -6 = x?
False
Let d = 7 - 9. Let p be ((3 - 2)/1)/1. Let g be (p/d)/((-1)/(-2)). Is 0 < g?
False
Suppose 2*j = 4*g + 2552, 0*g + 2*g + j = -1284. Let t be g/(-546) + (-2)/1. Let w = t - -10/39. Is w greater than 0?
False
Suppose 2*h + 2*v - 8 = 0, 5*h + 9*v - 16 = 6*v. Which is smaller: h or 10/11?
10/11
Suppose -2*g - 6 = g. Let o be g/(-1 + -1 + -2). Do o and 1 have different values?
True
Let n = -15.9 + -67.1. Is -0.1 at least as big as n?
True
Let c(l) = -l**3 - 16*l**2 + 16*l - 13. Let q be c(-17). Is q at most 4?
True
Let b(n) be the first derivative of -n**4/4 - n**3/3 - 4. Let k be b(-1). Which i