 be 0 - (1 + 0 - 0). Is a at least q?
True
Let u(m) = -m**3 + 5*m**2 - 2*m - 5. Let s be u(4). Let a(b) = b**2 + b - 2. Let x be a(2). Suppose 1 - x = s*o. Is o at least as big as 1/3?
False
Suppose 4*u = -0*u + 4. Let y be (-6)/(-20) - (-1 + (-1)/(-2)). Is u at least y?
True
Let z be 4/6 + (2 - 3). Let t be (4/2)/2 + -1. Suppose -2*j + 5*j = t. Is z greater than or equal to j?
False
Let s = 1 - 2. Suppose 0 = 3*o + o. Let d = s - o. Is -3/7 bigger than d?
True
Let z = -0.7 + -3.3. Are 5 and z nonequal?
True
Let o = 169 + -673/4. Is o bigger than 0?
True
Let k be 21/6*2 - -2. Let f be 2/8 - k/36. Is 1 greater than f?
True
Let z be (-3)/2 - (-225)/165. Which is greater: z or 0.1?
0.1
Let h(d) = -d**3 - 4*d**2 - 2*d + 1. Let r be h(-3). Let k = r - -1. Let z be ((-6)/(-9))/((-22)/6). Is z greater than or equal to k?
True
Let c = 1.7 - 1.69. Are c and 0.1 unequal?
True
Suppose 0 = -42*b + 39*b + 3. Which is greater: -4/13 or b?
b
Suppose 0 = 46*c - 54*c. Is c smaller than -1/20?
False
Let i = -7 - -12. Suppose -w - 4*w - i*l = -10, 5*w = 4*l + 28. Is w bigger than 4?
False
Let h = 0.9 - -0.1. Which is bigger: -41 or h?
h
Let d = -6 + 7. Let c be (-10)/2 + d*-2. Let k be -1*(0 + 2/c). Which is greater: k or -1?
k
Suppose -x + 5*x - 87 = 5*w, -4*w - 51 = 3*x. Let u be -1*((-6)/w + 0). Let t = 1.7 + 0.3. Is t less than u?
False
Let f be 4 + 99/(-24)*1. Let g be (-2)/(-1)*2/8. Which is bigger: f or g?
g
Let f be 0/(-1 + -2 + 2). Let q be (-24)/10 + -10 + 11. Is f not equal to q?
True
Let q be 3/(-12) + 9/(-12). Let i be ((-2)/2 + 3)*q. Which is greater: -16/7 or i?
i
Suppose -2*j - 1 = -3. Which is bigger: -1/38 or j?
j
Let p(c) = c**3 + 7 - 6*c**3 + 6*c**3 + 8*c**2 + 9*c. Let w be p(-7). Let y = 7 + w. Is y > 2?
False
Suppose -3*f - 2*f - 3*h + 1737 = 0, 0 = 5*f + 2*h - 1738. Let t be 18/f*4/3. Does t = 0?
False
Suppose 0 = -2*x + x. Are -1/3 and x non-equal?
True
Suppose -y = 2*y + 18. Let b be -1 + 4/((-40)/y). Which is smaller: b or 0.2?
b
Let u = 13 - 12.9. Let t = 0.4 + -0.3. Is u equal to t?
True
Let w = -23 - -25. Is -0.5 not equal to w?
True
Let g = -1 - -4. Suppose k - 2*k + o + 3 = 0, 0 = 3*k + 2*o - 19. Is k at least g?
True
Let u(a) be the third derivative of a**6/120 + a**5/15 - 7*a**4/24 + 2*a**3/3 - 2*a**2. Let t be u(-6). Let c be t/48 + (-2)/(-3). Is 0 less than or equal to c?
True
Let m be (-2 + -1 + 8)*1. Is 4 <= m?
True
Let i = -0.193 + -0.007. Which is smaller: i or -2?
-2
Let x(k) = k + 13. Let q be x(-12). Let n be (-18)/20 + 2/2. Which is greater: q or n?
q
Let z(p) = p**2 + 12*p. Let y be z(-12). Let o(c) = c**3 - 3*c**2 + c - 1. Let k be o(3). Is k at least y?
True
Let w = 6143 + -30901/5. Let r = w - -37. Is 0 < r?
False
Let t be 2/(-4) + 9/(-2). Let j(m) = -m**3 + 9*m**2 - 5*m - 9. Let q be j(8). Suppose -q = 4*u + 5. Is t at most as big as u?
True
Let g = 35/78 - -2/39. Which is smaller: 3 or g?
g
Let p = 2 - 2. Let j = 7 + -8. Is p at most j?
False
Let x = -1.8 - -2. Let b = x - 0. Let c = -6.1 + 6. Does b = c?
False
Let k = -1361/4 - -1251/4. Let q = -27 - k. Let b(v) = -v + 6. Let h be b(4). Which is bigger: h or q?
h
Let d = -5 - -4.94. Let n = -0.16 - d. Is -1 at most n?
True
Let q be (-15)/(-4) - (-8)/32. Let c(n) = -n + 4. Let t be c(q). Suppose t = 5*p + 16 - 1. Is -3 smaller than p?
False
Suppose 2*u = -2*u - 16. Let i be (0 - 3/(-40))*u. Which is smaller: 0 or i?
i
Let i = -2 + 4. Suppose 0 = -t + i*t. Is -2 less than t?
True
Let b = -8 + 13. Suppose -2*w - 3*q - 9 = -4*q, 5*q = -b. Let f = 1 + w. Is -5 < f?
True
Let l = -4973/62985 - -19/221. Which is bigger: l or 0?
l
Let w be (-466)/118 - ((-2 - 2) + 0). Which is smaller: -1 or w?
-1
Suppose t - 2 = 2*u, -4*t - 2*u - 2*u = 40. Let s(m) = 2*m**3 + 2*m**2 - 2. Let o be s(0). Is o at least t?
True
Let b = 3 + -5. Suppose 7 - 3 = -n. Let j = n - b. Do -2 and j have different values?
False
Let l = -18 + 108/5. Which is smaller: 3 or l?
3
Let y = 0.18 + -0.2. Let l = 3 - 2.98. Let q = l + y. Is 0 greater than or equal to q?
True
Let n = -21 + 25. Do 1 and n have the same value?
False
Suppose -3*n = -100 - 92. Let v = -190/3 + n. Which is smaller: v or -1/3?
-1/3
Suppose -3*t - 2 - 2 = -4*l, -4*l = -4*t - 4. Let z be ((-2)/(-16))/(4/8). Which is bigger: t or z?
z
Let a = 4 + -1. Let p(w) = -w**2 + 4*w - 3. Let f be p(a). Let h be (-3)/((-6)/4 + 0). Do h and f have different values?
True
Let x be -1 + 2/(-2) + (-16)/(-14). Is x <= -1/2?
True
Let f = 567113882152/4135 + -137149670. Let h = f + -2/827. Is -1 != h?
True
Let d = -5 - -3. Let j be -2 + (6/(-2) - d). Let a be j/((-3)/12*-3). Is -3 bigger than a?
True
Let y be 1*(6 - 2) + 246/(-63). Are 0 and y unequal?
True
Let t = 996/7 - 142. Are -1.5 and t unequal?
True
Let f be (-13)/4 + (22/(-8) - -2). Is f >= -8?
True
Let b(p) = p**2 - 6*p + 5. Let a be b(5). Are 2 and a non-equal?
True
Let v = -1192 - -7175/6. Is v > 5?
False
Let v be 1 + 2 + (-4 - -1). Which is smaller: -8 or v?
-8
Let i(x) = x**2 - 7*x + 15. Let m be i(4). Do m and 4 have the same value?
False
Suppose -2*k + 6*k = 4. Let c = 233 - 1627/7. Which is greater: c or k?
k
Let t = -4/135 + 454/135. Which is smaller: 0 or t?
0
Let s be ((-30)/(-306))/(4/(-15)). Let n be (3/(-9))/(34/12). Let x = n - s. Is -1 equal to x?
False
Let a = -15 + 16.2. Let j = a + -1. Let l = 0.08 + -0.18. Which is greater: j or l?
j
Let g(v) = v**3 + 9*v**2 + 8*v + 4. Let p be g(-8). Let f be (-8)/(3/(-30)*p). Which is smaller: f or 21?
f
Let b be 77/(-14) + 1/(-2). Let l(v) = -v - 1. Let c be l(b). Suppose c + 0 = -a. Is -4 not equal to a?
True
Let t = -60 + 63. Which is bigger: 3/8 or t?
t
Let o(d) = d - 12. Let j be o(7). Is j greater than 0?
False
Let a = -2 - -3. Suppose -5*i - 3 = -33. Let c be (-2)/i - 1/(-21). Which is smaller: a or c?
c
Let n = 2.96 - 3. Let o = n + 1.04. Are -2 and o equal?
False
Let d be 215/(-340) - 3/(-4). Do -1 and d have different values?
True
Let i = -12.14 + 12. Let k = i - -3.94. Let f = k - 4. Is f > -1?
True
Suppose -5*g - 18 - 7 = 0. Let h = -3 - g. Suppose 2*c = 4 + h. Which is greater: 1 or c?
c
Suppose 16 = 5*q - 34. Let l be (1/q)/(7/28). Which is bigger: -1/5 or l?
l
Let h = 18/5 + -4. Let s = 35 - 104/3. Is h greater than or equal to s?
False
Let w(t) = t**3 + 3*t**2 + 3. Let a be w(-3). Suppose -5*i = -4*s - 105, s + 2*i = -a*s - 98. Let g be 4/10 + 10/s. Which is greater: g or 3?
3
Let p(r) = 2*r + 1. Let z be p(1). Let l be z/((-2)/8 + 1). Suppose l*i = 5*i. Is i > 2/3?
False
Suppose 25 = -u - 8. Which is greater: u or -32?
-32
Let n = 74 - 361. Let l be n/(-5) + (-6)/(-10). Let j be (-2 - l/(-18)) + -1. Is 0 at most j?
True
Let y be (-2)/10 - 1/(-5). Suppose -10 = l - y*k + 3*k, 4*l - k = 12. Let f = 51 + -56. Is l <= f?
False
Let n(l) = l**3 + 4*l**2 - 5*l - 4. Let k be n(-5). Let m = k - -3. Which is smaller: m or -2/5?
m
Let j be (30/12)/((-1)/(-2)). Suppose 0*o = -j*o. Suppose o = -5*a + 3*a. Which is greater: -1/10 or a?
a
Suppose -2*x + 27 = 33. Is x at most 1?
True
Let y = -2 - -3. Suppose -u + 6 = y. Suppose -u*l - 4*k + 1 = -0*k, -3*l + k = 13. Is -3 <= l?
True
Suppose -r = 2*r - 33. Let n(p) = 0*p - 2*p + 4*p - p + r. Let t be n(-10). Is t at least 1?
True
Suppose -8*t + 4*t + 4 = 0. Is t equal to -1/9?
False
Let d be (-6)/4*4/(-6). Suppose -d + 2 = -i. Let g be (-13)/(364/8) - (-38)/(-14). Is i at most g?
False
Suppose 89*v = 90*v - 3. Let y be 1*(-15)/(1 + -4). Is v greater than y?
False
Let m = -1.2 + 10.2. Let p = -8.9 + m. Which is greater: -2 or p?
p
Let n = 0 + -1. Let g = 39/160 + 5/32. Which is greater: g or n?
g
Suppose 0*a = t + 4*a + 19, 4*t + a = -16. Let n be (-100)/35 - (t + 0). Is -1 at most n?
True
Let u = 13 - 14. Is u less than -1?
False
Let c = 0 - -2. Does c = 3/4?
False
Suppose 2*l = v + 9, l = -0*v - 5*v + 10. Let y be (v/(-1))/((-20)/6). Which is greater: -1 or y?
y
Let a = 11 - 6. Let p = -7 + 2. Let j = p + a. Which is smaller: j or -1/4?
-1/4
Suppose -8*f + 12*f - 36 = 0. Is f at least 9?
True
Suppose 0 = 80*t - 69*t. Which is smaller: t or 6?
t
Suppose 3*m = 10 + 2. Suppose -13 = -5*y + g, 3*g = -m - 5. Suppose -2*p = y*p - 2*b + 2, -2*p - 4 = -4*b. Is p < 0?
False
Suppose -2*p - w = -11, 5*w - 24 + 5 = 2*p. Let k be (0 + -1)*(1 + 0). Let q be (-18)/(-8) - k/(-4). Is q != p?
True
Suppose