0.1. Is c at least as big as b?
True
Let j(r) = 6*r - 6*r - 5*r - 2 - r**2. Let y be j(-4). Which is smaller: 3 or y?
y
Let i = 110 - 109.92. Which is greater: i or -2/5?
i
Let g(b) = -b**3 + 4*b**2 - b - 1. Let y be (1/(-2))/(3/(-12)). Let p be g(y). Suppose -3*o - 1 = 2*q, 4*q + 0*q = p*o + 9. Which is smaller: 2/7 or q?
2/7
Suppose 2*h - 4*h = 0. Suppose -v - 4*v = h. Let t be 2 - (-3)/9*-2. Which is bigger: v or t?
t
Let h be ((-6)/(-12))/(2/(-4)). Let b be 2/6 - (-8)/(-6). Is h <= b?
True
Suppose 0 = -b - b - 4. Let y = 1 - b. Let j be 0/((y + -2)*1). Is j > 1/11?
False
Suppose -5*m + 3*m - 4 = 0. Suppose g = 2 + 1. Suppose -12 = 5*q + g. Which is bigger: q or m?
m
Let o(m) = 2 - 5*m + 2*m + 2*m + 5. Let b be o(8). Let y be (2 + -4)/1 - b. Is -0.05 >= y?
True
Let u be 186/38 + -3 - 2. Which is smaller: u or 1?
u
Let p = 46 + -45. Are p and -4/127 nonequal?
True
Let k be (6/(-9))/(78/(-18)). Which is greater: -1 or k?
k
Let w = 0.2 - 0.3. Let s = 328 + -326.8. Which is bigger: s or w?
s
Suppose 3 = 4*u - u. Let q be 1234/4*(-4)/(-10). Let w = 124 - q. Is u smaller than w?
False
Let w = 1148 - 119395/104. Which is greater: w or 1?
1
Let c(i) = i + 3. Let a be c(-3). Suppose -v + d - 6 = 3*d, -v + 5*d + 22 = a. Suppose 10 - v = -4*h. Which is smaller: h or -7/3?
-7/3
Let i be (14/8)/((-2)/8). Let t(j) = j**3 + 8*j**2 + 7*j + 5. Let k be t(i). Let m(b) = 3*b - 2. Let f be m(2). Is f > k?
False
Let b = -503/24 + 61/3. Which is greater: b or -2/3?
b
Suppose 2*n = 5*j - 63, 110 = -2*n - 3*n + 3*j. Let s be (n/3 + 4)*-6. Is s bigger than 13?
True
Let h = 16 - 65/4. Which is smaller: 0 or h?
h
Let r = -86.1 + 86. Let b = 3 + 0. Which is smaller: b or r?
r
Let b be (-3)/2*(-2)/1. Suppose 0*o = -b*o + 27. Is 9 bigger than o?
False
Let y(n) = -n**3 + 4*n**2 + 5*n - 2. Let x be y(5). Let u = x - -2. Let f be (-1 - -3) + u + -4. Is f greater than -1?
False
Let h = 4 - 4. Suppose h*w - 4*w - 8 = 0. Which is smaller: w or 0.1?
w
Let t(z) = -z**3 + 4*z**2 + 6*z - 5. Let r be t(5). Let q = -2.5 - -0.5. Are r and q equal?
False
Suppose 16*o = o. Is o less than or equal to -2/29?
False
Let d be 94401/(-216) - (-2)/(-6). Let q = d + 438. Which is smaller: q or 0?
0
Suppose -4*r = -24 - 0. Let p = r - 4. Is p greater than 2?
False
Let o = 1.71 - -0.29. Which is greater: o or 0.1?
o
Let s = 5/42 + 67/84. Let i = 25/36 - s. Which is bigger: 2/11 or i?
2/11
Let n = -1 - -4. Let a = -27 - -59/2. Which is greater: n or a?
n
Suppose 5*m + 2 = 17. Suppose m*o - 8*o = -5. Which is bigger: -2/13 or o?
o
Let b be (-1 + 13/(-3))*(-72)/(-16). Which is smaller: b or -25?
-25
Let s = 0.2 + -1. Let b = -0.3 - s. Let l = 0 - b. Are 1 and l nonequal?
True
Suppose s + 3 - 4 = 0. Let q = s + -3. Which is smaller: q or 1?
q
Let u be (-2)/3*(-2 - (-10)/8). Suppose -2*d + 17 = 5*o, -2 = -2*d - o + 3. Which is greater: d or u?
d
Suppose 2*z + z = 3. Is z > -3/7?
True
Let y be (-40)/(-6) + 2/6. Suppose -y*t = -2*t. Is -2/3 smaller than t?
True
Let n be (26/3)/(6/(-9)). Let o = n - -31/3. Do o and -3 have the same value?
False
Let o be -1 + 0*(-1)/(-2). Is o at least as big as 1/15?
False
Suppose -y = -3*y. Let o = -14 + 10. Does o = y?
False
Let m = 9 - 8.91. Let u = m + 3.91. Let a = -4 + u. Which is smaller: a or -2?
-2
Let m be ((-6)/7)/(2/1). Suppose 0*q - 2*q = -2. Is q at most m?
False
Let w = -1 + 0. Let t = -7607/5 + 1516. Let r = -103/20 - t. Which is smaller: r or w?
w
Let p(v) = -v**3 - 6*v**2 + 2. Let x be p(-6). Let j be (-8)/(-6)*3/x. Which is greater: j or 1?
j
Let x = 0.4 - 2.4. Let g = x - -3. Do g and -0.1 have the same value?
False
Let l = 46 + -48. Which is smaller: -26/9 or l?
-26/9
Let t = -9.4 + 1.4. Let a = -0.02 - 8.98. Let w = t - a. Is w greater than 1?
False
Suppose -2 = t + 3. Let p = t + 4. Is p at most -3/7?
True
Let o(a) = a**3 - 3*a**2 + a. Suppose 0 = -4*k + 3*z, -5*z + 51 - 16 = 5*k. Let s be o(k). Let v be (-5 + 1)*(0 - 1). Which is smaller: v or s?
s
Suppose -6*n = -4*n - 8. Let z(c) = -c**2 - 6*c - 3. Let b be z(-4). Is n < b?
True
Let t = 58/5 + -117/10. Are -1 and t equal?
False
Let a be 2/(-8) + (-2)/8. Let r = 20/226899 - 85333324/218957535. Let h = -2/193 + r. Which is smaller: h or a?
a
Let s = -74 + 59. Which is smaller: -14 or s?
s
Let z be ((-9)/12)/(27/(-8)). Let b = 1/18 + -5/9. Which is smaller: b or z?
b
Let h = -0.03 - -0.13. Which is greater: h or 2.1?
2.1
Let j = -0.1 - 0.9. Let n = 5.6 + 0.4. Let o = -4 + n. Which is bigger: j or o?
o
Let q = 3/281 - 5363/2248. Is -2 equal to q?
False
Let a be (-2)/(-5) - 0 - 774/2160. Which is smaller: 1 or a?
a
Let c be ((-69)/6)/((-3)/6). Let p = -209/9 + c. Let v = 0 - 0.2. Which is smaller: p or v?
p
Let y(o) = -4*o + 7. Let b be y(5). Is b < -13?
False
Let j be 3/3*(-3 - -2). Let m be j/(-2) + (-1)/(-2). Which is bigger: m or 3?
3
Let t = -397/10 + 39. Which is bigger: t or 1/3?
1/3
Let b be (5/(-285))/((-14)/(-4) + -3). Is b < -1?
False
Let z(p) = 2*p - 12. Let h be z(5). Let o(l) = l**3 + 5*l**2 + 4*l + 2. Let r be o(-4). Let k = h + r. Is k bigger than 0?
False
Let b be (-36)/18*(-24)/(-14). Are -2 and b equal?
False
Let o = -0.8 - 0.2. Let v = -0.47 + 0.27. Is o greater than v?
False
Let u be ((-9)/(-150))/(2/8). Is u bigger than -1?
True
Let k = 68 + -69. Which is bigger: k or -0.3?
-0.3
Suppose 2*r - 98 = -h, -79 = -5*r + 5*h + 196. Let t = r + -563/11. Suppose -4*v + 19 = -0*g - 3*g, -3*v + 15 = -3*g. Which is greater: g or t?
t
Let d be (6/10)/((-9)/(-6)). Which is smaller: d or 1?
d
Let s be (-54)/15*(-30)/12. Is 7 < s?
True
Let h = -312 + 947/3. Which is smaller: h or 2?
2
Let x = -154 - -161.3. Let f = x - 7. Which is smaller: f or 2/3?
f
Suppose -3*v - 3*u + 0 = -15, -3*u = -v - 7. Suppose 6*h - v*h - 4 = 0. Is h less than 1?
False
Let j = 89 - 87. Which is smaller: j or 1?
1
Suppose -6*o - 8 = -8. Which is smaller: o or -3/19?
-3/19
Let k be (11/22)/(-1 - (-42)/44). Is -13 at most as big as k?
True
Let n = 682 - 16373/24. Let l = 1/3 + n. Are l and -0.1 unequal?
True
Let r be (5*-2)/(5 + -3). Suppose -3*c + 6 = -3*y, 4*c - 3*y - 6 = 2*y. Suppose 6 + 3 = -3*w + 3*k, -3*w - 8 = -c*k. Is w at most r?
False
Let x = -30 - -32. Which is smaller: x or 7/8?
7/8
Let w = -3 - -2. Let j = w - -1.5. Which is bigger: 0.2 or j?
j
Let h be (-3779)/560 + (-2)/(-7). Let f = h + -151/16. Let w = f - -33/2. Is 1 greater than w?
True
Suppose 2*k - 3*k = h - 5, -9 = 3*k - 3*h. Let f be k/(12/9 + -1). Let v = 0 + 3. Is v bigger than f?
False
Suppose -2*k + 0*k = -4. Let d(n) = -n + 1. Let w be d(k). Let j be w/(-2) + 6/(-20). Which is smaller: j or 0?
0
Let j be -5*(0 + (0 - -1)). Let v be 114 + 0 - (-2)/j. Let n = 114 - v. Is n at least 0?
True
Let p = 8 + -13. Let b = 74 + -78. Are b and p equal?
False
Let y = -1 + 4. Suppose -y*p + 16 = p, -4*t + p = 4. Which is bigger: -1/19 or t?
t
Let g be ((-2)/36)/(305/(-867)). Let v = -3/122 + g. Let i = -29/105 + v. Which is greater: 1 or i?
1
Let g = -17/36 + 1/4. Are 0 and g equal?
False
Suppose 194 + 782 = -2*p. Let g be (0 - 0) + p/(-12). Let x = g + -41. Is 0 >= x?
True
Suppose 4*j + 6 = 2. Let f be 3 + -1 - j/1. Suppose 4*m + a = 5*a - 12, 2*m - 14 = -3*a. Which is smaller: m or f?
m
Let j be (-4)/14 + 62/(-658). Let i = j + -9/47. Is 0 less than i?
False
Let j = -1.1 + -0.9. Let m = -3 - j. Let i = -15/8 + 149/88. Which is smaller: i or m?
m
Let v be 2/2*(18 + -22). Suppose -2*a = -4*a - 4. Let k = a + 1. Are v and k nonequal?
True
Let k = -18 + 10. Let j(a) = a**3 + 8*a**2 - a - 7. Let n be j(k). Let f = 3 + -3. Is n < f?
False
Suppose -4*w = -5*g - 23, 3*w - g - 7 - 2 = 0. Suppose 3*m - 17 - 8 = -2*b, -25 = -5*b + 5*m. Suppose 2 = b*q - 7*q. Do w and q have different values?
False
Let j = 3 + -2. Suppose -4*y - 3 = j. Suppose -2*b + 9 - 2 = -d, -2*d = -5*b + 15. Is y at most b?
True
Let g = 1.4 - 1.47. Let q = -0.27 - g. Is q smaller than -1/4?
False
Let k = -1.9 + 1.9. Do k and -6 have the same value?
False
Suppose 0 = -0*h - 4*h - 3*z + 39, -5*z + 25 = 0. Let q = -4 + h. Suppose -q*x - 8 = 2*r, 2*x + 3*r = 2*r - 5. Is -1/10 greater than or equal to x?
True
Let y = -5.5 - 0.5. Let u = -12 - y. Which is smaller: u or 0.1?
u
Let j be 129/27 + (-4)/(-18). Let y(x) = -x**3 - 10*x**2 + 6. Let l be y(-10). Is j greater than or equal to l?
False
Le