ch is bigger: r or 0.2?
0.2
Let h(p) = p + 3. Let r(a) = -1. Let l(d) = h(d) + 6*r(d). Let u be l(3). Let k be 3 + (-1 - u) + -2. Is k bigger than 0?
False
Let w be 4/3*6/4. Suppose 12 = -3*s - 3*t, t = 2*s - 4*s - 4. Is s greater than w?
False
Suppose 5*z - 144 = -54. Suppose -2*r + 0*r - z = 4*q, -2*r + q = 3. Which is bigger: r or -5?
r
Let p = -32 - -31. Is p smaller than 20?
True
Let r = -13 + 14. Which is smaller: r or -1?
-1
Let f be 6/3*32/18. Let b = 61/18 - f. Suppose -3 = 5*t + 2. Is t at most as big as b?
True
Let a(u) = 2*u**2 - 2*u + 2. Let d be a(2). Let g = -119 - -125. Is d less than or equal to g?
True
Suppose 2 = -0*y + 2*y. Which is bigger: y or 2/49?
y
Let m = 760/8421 - -2/401. Let q(p) = -2*p**2 - 12*p. Let c be q(-6). Is c < m?
True
Let t = -0.47 - -23.47. Let q = t - 23.02. Let g = -163/4 - -41. Is g >= q?
True
Let j(v) = -v. Let w be j(1). Let d = 0.06 - 5.06. Which is bigger: w or d?
w
Let z = 20 - 45. Let t = 25 + z. Let y = 0.5 + -7.5. Is y not equal to t?
True
Let l = 97 - 143. Which is bigger: l or -1?
-1
Let z(s) = -2*s**2 + 5*s - 4. Let g be z(3). Is g at least -7?
True
Let k = 14.5 - 10. Let g = k - 4. Let z = -0.3 + g. Which is bigger: 1 or z?
1
Let c be ((-3)/(-6))/((-3)/42). Let t(w) = w**3 + 6*w**2 - 8*w - 6. Let o be t(c). Let m(i) = -3*i - 1. Let r be m(-1). Is o >= r?
False
Let o = -44 - -32. Is o at most as big as 1/2?
True
Let q be -63 - (-2)/(-4)*4. Let d = -193/3 - q. Which is bigger: d or -8?
d
Let j be (-6)/9*2/4. Let r be 160/30 - 2/6. Is r > j?
True
Let o be 264/(-26) - 34/(-221). Which is bigger: -12 or o?
o
Let k be 314/(-3) + 70/105. Which is greater: -105 or k?
k
Let v be 21 + 16/48 + 13/(-3). Which is bigger: v or -1?
v
Let j(q) = -q**3 + 6*q**2 - 4*q - 7. Let w be j(5). Which is greater: -11/5 or w?
w
Suppose -r - 4 = -5. Let n = 0 + r. Which is smaller: 0.3 or n?
0.3
Let x be (-3)/6*(0 - 0). Suppose x*z = -3*z + 36. Which is greater: 13 or z?
13
Let g = 3 - 5. Let w = -69 + 69. Which is greater: g or w?
w
Let d = -2072/9 - -230. Let j = -21 + 21. Is d at least j?
False
Let t = -1 - -0.76. Let j = t + 0.04. Which is greater: j or -2/7?
j
Suppose 0 = j + 3*q, -j - 4*q - 2 = -6. Let n be (-126)/j*(-4)/6. Which is smaller: n or -8?
-8
Let i be -6*-1*2/4. Suppose -4*l = -d - 17, -2*d = -3*d + i*l - 12. Suppose 0*w + 19 = 4*w - 5*y, d*w + 3*y + 6 = 0. Which is smaller: w or 0?
0
Let x(h) = 4*h**3 - 2*h**2 - 1. Let c be x(2). Is 21 greater than c?
False
Suppose d = -4*j - 1 - 2, j = -5*d - 34. Let z be 16/(-24) + d/3. Which is smaller: z or 0?
z
Let z be (-96)/10 - 6/15. Let f be (-21)/7 + (-34)/z. Is f greater than or equal to -1?
True
Suppose 0 = -2*g + 2*q + 2, -2*g = -0*g - 3*q - 1. Suppose 10 = -z - x - g*x, 5*x = 4*z - 11. Is z at most 1?
True
Let s = -384 + 3837/10. Which is smaller: s or 1?
s
Let q = 2.05 + -0.05. Suppose -2*a + 2*t + 198 = 0, 2*a - t - 202 = -0*a. Let g = a + -409/4. Which is greater: q or g?
q
Let b = -0.27 + 0.07. Let z = -1/10 + -2/5. Which is bigger: z or b?
b
Suppose 0 = 4*h - 8 + 20. Is 5 < h?
False
Let t be 6/27 + 12/(-27). Is 0 less than or equal to t?
False
Let f = -1.3 - 0.1. Let w = f + 15.4. Is -1 greater than or equal to w?
False
Let p = 0.5 + -4.5. Let z = p + 3. Which is smaller: 1/4 or z?
z
Let q be 2 - (58/18 + 26/(-117)). Which is smaller: q or -30?
-30
Suppose 4*x - 11 = 1. Suppose -5*w + 5*l + 1 = -4, -15 = -x*w - 3*l. Let f be (-16)/6 + 2/w. Which is smaller: f or -0.1?
f
Let j(c) = c**2 - 3*c + 1. Let v be j(1). Which is smaller: -1/5 or v?
v
Let w(q) = -q**2 - 6*q + 9. Let o be w(-7). Suppose 2*t = 4*m - t - 27, -o*t + 2 = 4*m. Let f be (1/(-9))/((-3)/9). Is m equal to f?
False
Let f be 10/((-3)/6*4). Suppose 0 = -3*s - 15 - 3. Which is greater: f or s?
f
Suppose 5*o + 6 + 1 = t, 2 = t. Do 2/99 and o have the same value?
False
Let z = 3 - 1. Let n = z - 2. Suppose b + 4 = 5*s, -20 = -0*b + 5*b + s. Is b not equal to n?
True
Suppose 4*t - 13 = -553. Let j be 2/(-7) + t/(-595). Which is bigger: -1 or j?
j
Let o = -0.2 - -0.1. Let n = -13 - -14.1. Let w = o + n. Is w > -1?
True
Let g = -15 + 15. Which is smaller: 3 or g?
g
Let t(s) = -s**2 + s - 3. Let f be t(-3). Let h = 35 + -49. Which is smaller: f or h?
f
Suppose 5*u - 4 = -24. Is -5 at least u?
False
Let n(f) = -f**3 + 4*f**2 + f - 2. Let l be n(4). Is l at most 2?
True
Let j = -1.62 - 0.38. Do j and -2/13 have the same value?
False
Let i = -3 - -6. Let t be ((-8)/14)/(i + -5). Is t equal to -5?
False
Let i = 3.5 + -3.6. Is 62/7 <= i?
False
Suppose -3*g = 2*v + 35, 0*g = -v - g - 18. Let q = v + 16. Which is smaller: q or -13/4?
-13/4
Suppose y - 2*x - 76 = 47, -y + 123 = 3*x. Suppose a = -2*a + y. Suppose a = -5*g + 6. Which is smaller: g or -1?
g
Suppose -20*p + 22*p + 106 = 0. Let w = -111/2 - p. Which is smaller: -4 or w?
-4
Let i(v) = -1 + v**2 - 2 + 3 + 2 - 3*v. Let u be i(2). Suppose -4*h + 3*o = u, -2*o = -5*h - 0*h. Which is smaller: 2/9 or h?
h
Let m(c) = -c**3 + 6*c**2 + 8*c - 6. Suppose -3*u + 5*h = 7, -h = -u - 0*h - 3. Let v be (-1)/u - (-27)/4. Let a be m(v). Is a greater than or equal to 1?
True
Let p(b) = b**3 + 4*b**2 + 3*b + 3. Let t be p(-3). Let i = 4 + -5. Let x = i - -4. Is x bigger than t?
False
Let z = 116 + -116. Is -2/21 greater than z?
False
Let a = 0.5 + -1. Let v = -471/7 - -67. Is v greater than a?
True
Let t be (-90)/25*(-1)/3. Do 0 and t have the same value?
False
Let v = 33 - -11. Which is greater: 43 or v?
v
Let v(s) = -s**2 + 8*s - 12. Let z be v(8). Is -12 bigger than z?
False
Let m be 4*(8/3)/((-22)/165). Is -80 less than or equal to m?
True
Let s = -32 + 31.83. Let l = 0.03 - s. Let j = -1.7 + -0.3. Is l at least j?
True
Let f be (-30)/(-10) + (-14)/4. Which is greater: -13 or f?
f
Let k(w) = w + 2. Let i be k(3). Suppose -i*n + 2 - 17 = -5*h, -h - 12 = 4*n. Which is bigger: -1 or h?
h
Let g = -2.9 + 1.4. Let c = g + 1.5. Which is bigger: -7 or c?
c
Let a be 4/10 - 285/275. Is a <= 0?
True
Let j be 0 + 2 + -2 + 1. Which is greater: j or 4/9?
j
Let w be 5*((-12)/(-15) - -1). Let m be (3/w)/((-1)/(-15)). Is m greater than or equal to 5?
True
Suppose -3*f = -7*f. Suppose f = -4*b + 2*b. Is b greater than 0?
False
Let p(v) = 2*v**2 + 3*v - 1. Let x be p(-3). Let z = x - 13/2. Let i be 6/8 - (-135)/60. Which is greater: i or z?
i
Let k = -1 - -2. Let w be (k - 1) + (-26)/2. Let t be 0 + (-2 - w/6). Is -1 greater than t?
False
Suppose -71*r + 69*r - 2 = 0. Which is smaller: -12/7 or r?
-12/7
Suppose 2*x = -2*v, -4*v - 3*x + 2*x = 0. Suppose -5*b + v*b = 0. Which is smaller: b or -3/4?
-3/4
Let f be -24 + (-1 + -1)*-1. Let c = 32 + f. Let r be (4/c)/((-8)/(-20)). Is r < 1?
False
Let b(i) = -5*i - 2. Let s be b(-2). Let m be (-2 - 0)/(3 + s). Let z be 1/2*2/1. Is m <= z?
True
Let c = 3.67 + 0.25. Let k = -0.08 - c. Is -0.2 less than k?
False
Suppose j - 2 - 1 = 0. Let z = 4 - j. Let o = z + -1. Which is smaller: o or -3/4?
-3/4
Let q(w) be the first derivative of w**4/4 + w**2/2 - 1. Let x be q(1). Let p be x/56 - 2/7. Which is smaller: p or -1?
-1
Let q(c) = c**3 - 6*c**2 + 3. Let s be q(6). Suppose -2*i = 0, m + 0*i = 4*i. Let p = m - s. Which is greater: p or -2?
-2
Let t = -0.06 - -0.36. Let j = 0.4 - t. Is j >= 0.1?
True
Suppose -4*z - 9 = -33. Suppose j - 5 + 2 = 0. Let d = z - j. Does d = 0?
False
Let z(q) = -q + 3. Let s(r) = -r + 4. Let i(o) = -5*s(o) + 6*z(o). Let t be i(-6). Let a = t + -4. Is 3/4 equal to a?
False
Suppose -2*r - 6 = -4*r. Let m be 5 + (-2)/(r + -2). Let p be (-4)/(-10)*(-2 - m). Is -1 smaller than p?
False
Suppose 0 = -4*a - 16, -2*w = -2*a - 8 - 6. Which is bigger: -0.1 or w?
w
Let f = -104 + 103. Let o = 4.4 - 0.4. Which is greater: o or f?
o
Let s(j) = j**2 - 5*j - 7. Let t = 13 + -7. Let m be s(t). Suppose 4 + 6 = -5*a. Is a >= m?
False
Let i(q) = -q**2 + 6*q + 7. Let c = 14 + -7. Let k be i(c). Which is greater: -1/3 or k?
k
Let u = -10498/45 - -1184/5. Let a = u + -28/9. Is a <= 1?
True
Let v be -3*(-2 - 9/(-3)). Let c(o) = -o**3 - 2*o**2 + 3*o + 1. Let p be c(v). Is 0 greater than p?
False
Let c be (1/(-2))/(9/(-36)). Let u be (4/(-6))/((-8)/60). Suppose -8 = -3*h - u*g, 4*h - 4 = c*h - 2*g. Which is smaller: h or 1/2?
1/2
Let b(p) be the third derivative of 0*p - 1/120*p**6 + 1/20*p**5 - 1/6*p**3 + 3*p**2 + 0 - 1/12*p**4. L