 a = 50 - 24. Which is smaller: a or 24?
24
Let f = 6.4 + -6. Let p = f - 0.3. Let u be (-88)/231 + 10/15. Which is smaller: p or u?
p
Let l be (-2)/(-3)*(-6)/20. Is -1 >= l?
False
Let u(y) = -2*y + 6. Let c be u(-7). Let f = c + -19. Is f >= 1?
True
Suppose 0 = -2*w - w - 3*x + 18, 0 = 4*w - 4*x + 8. Suppose 9 - 1 = w*m. Let p = -3 + m. Which is smaller: 2/3 or p?
2/3
Let m(s) = s**3 - 7*s**2 + 9. Let n be m(7). Let v be (4/(-6))/((-6)/n). Is v less than -1/6?
False
Let c = 19 + -12. Suppose -4*d + 1 = -n - 2*n, -5*n + c = 2*d. Suppose -5*q + o + 4 = -3, -4*q + 20 = 4*o. Are d and q equal?
False
Suppose 2*g + 71 = -5*w, -2*w - 15 = 3*g + 75. Let t = -82/3 - g. Suppose 0 = -o - 4*c - 4, -o + 5*c + 8 = 3. Are o and t equal?
False
Let w be ((-120)/32)/(3/2). Is w less than -3?
False
Suppose -6 + 14 = 2*o, -m - 4*o + 10 = 0. Let w = -11 - m. Is w > -2?
False
Let z = -8.788 + -0.012. Let l = z + 9. Which is bigger: -4 or l?
l
Let p be 2/4 - (-138)/(-180). Which is smaller: 0 or p?
p
Let p be ((-24)/10)/((-88)/60). Is 3 >= p?
True
Suppose -2*b - 1 + 9 = 0. Suppose u + 9 = 3*t - 4*t, 3*t + 37 = -u. Let a = -10 - t. Is a bigger than b?
False
Let x = -0.447 + -0.053. Which is bigger: 3 or x?
3
Suppose -5*f + 50 = 5*g, -f - 4*g = -0*f - 13. Suppose -2*t = -3*t + 9. Is f equal to t?
True
Let l be (6/(-8))/(21/8). Which is bigger: -17 or l?
l
Let a = -20 + 46/3. Which is smaller: -6 or a?
-6
Let x be -3 - -5 - 6/(-2). Suppose 9 = u - x*y + 3*y, -u - 21 = 4*y. Let r be (6/(-4))/(3/4). Is r < u?
True
Let v = -4 - -3. Which is smaller: -0.4 or v?
v
Let o = -23 - -44. Is 21 at least o?
True
Let s = 0.1 - 0.08. Let u = -15.3 - -16. Let i = -0.8 + u. Which is smaller: s or i?
i
Let n = -0.6 + 0.8. Let x = -0.3 + n. Which is smaller: x or 0.12?
x
Suppose 0 = -2*o - j - 0*j + 1, -4*o + 4*j = -32. Suppose -k = o*k. Are -3/11 and k equal?
False
Let c be -3 + -9 - -3 - -2. Let d = -9 - c. Is -3 < d?
True
Let c(o) = 4*o - 5. Let t be c(0). Which is smaller: t or -40/7?
-40/7
Let r = 1.1 + -0.5. Let a = r + -3.6. Are 2/3 and a unequal?
True
Let c = -6.8 + 0.8. Let z = -2 + c. Which is smaller: 0 or z?
z
Let z = 24 + -25. Which is bigger: -5/8 or z?
-5/8
Let o(d) = d**3 + d**2 + d - 10. Let f be o(0). Let p be 2/f + (-114)/30. Is 1/4 greater than p?
True
Let k(i) = 12*i + 9. Let n be k(-1). Suppose -9 = 3*b - d, -3*b - 9 = -4*d - d. Is b greater than n?
False
Let b be (-4)/18 - (-2)/9. Which is greater: b or -38?
b
Let z(k) = -k**2 - 2*k + 1. Let a be z(-2). Let t be (-12)/(-18)*(-6)/(-4). Are a and t non-equal?
False
Let p = -5 + 8. Suppose 0*s - 15 = 5*t + p*s, 5*s = -25. Are 0 and t nonequal?
False
Suppose r + 54 = 114. Which is greater: 59 or r?
r
Let v = -0.02 - -1.02. Let y = -4 + v. Let q be 1*2 + 14/(-6). Which is bigger: q or y?
q
Let j be (-5)/9 + (-8)/(-24). Suppose -2 + 6 = 2*x. Suppose 0*n + 2*n = -x. Which is smaller: j or n?
n
Suppose 3*i = -w + 57 + 35, -i - 4*w = -38. Is 28 smaller than i?
True
Suppose 0 = -5*y + 3*y - 6. Let i = 48 + -48. Which is smaller: i or y?
y
Let n(b) = b**2 - 1. Let y be n(0). Let c be 27/(-45) + 1 + (-68)/70. Which is smaller: c or y?
y
Let k be (44/6886)/(-1*1). Is k less than -1?
False
Let j = -23 + 6. Is 1/5 greater than or equal to j?
True
Let d = 0.5 + -0.4. Which is smaller: d or -1?
-1
Let a be -3 - (-1)/(-2961)*-6260. Let r = 1/329 - a. Are r and 1 unequal?
True
Let d(c) = -c**2 - 10*c - 6. Let z be d(-8). Let t be 2/z + (-102)/(-15). Which is bigger: t or 0?
t
Suppose -3*h = 2*h - 25. Let b be ((-4)/(-10))/(1/h). Let m = 1 - b. Is -1 > m?
False
Let w(n) = -5*n**3 - n. Suppose 0 = 5*a - 8 - 7. Suppose a*d = 7*d - 4. Let b be w(d). Is b smaller than -6?
False
Let a = -1532/9 - -168. Is -3 at least as big as a?
False
Let u = 0.1 - 0.1. Suppose 2*g = -3*i + 5, 2*g - 7 = 5*i - 26. Let v be (-2)/5 - g - 2. Are v and u unequal?
True
Let o = -2/73 + 79/219. Is o at least as big as 19/2?
False
Suppose 0 = 5*w + w + 30. Which is smaller: w or -13/3?
w
Let h = 116 - 121. Let g = -2 + 1. Is h less than or equal to g?
True
Let h be (-2)/(-7) - (-580429928)/(-489636). Let f = h + 34380/29. Let a = -10/67 + f. Which is smaller: a or 0?
0
Let y(p) = -p**3 + 4*p**2 + 6*p - 6. Let t be y(5). Let b be 1/(-2)*(-2)/t. Suppose -v - h - 5 = v, 4*v + 12 = -4*h. Is b at most as big as v?
False
Let i(d) = d + 2. Let q be i(-2). Suppose -2*o + 7 - 19 = q. Which is bigger: o or 0?
0
Let u(b) = -b + 1. Let k be u(1). Let n be (-5)/(-16)*(-21)/(-15). Let x = n - 27/80. Are x and k non-equal?
True
Suppose o = -2*o - 9. Let c be -3 + 7 + (-2 - o). Suppose -3*d + c*t = -13, 4*d + 5*t + 5 = -d. Is d < -2/7?
False
Let x be (3 + 1)*3/(-2). Let f(l) = l**2 + 7*l + 7. Let h be f(x). Suppose 6 = p + 2*p. Which is greater: p or h?
p
Let a(d) = 5*d + 13. Let k be a(-3). Suppose 2*n = 4*n + 4. Let f be 2/(-6) + (n - k). Are 1/3 and f equal?
False
Let f(s) = 13*s**2 - s - 3. Let c be f(-1). Is 12 bigger than c?
True
Suppose 3*p - 4 + 16 = 0. Let v = -4 - p. Which is greater: v or -1/11?
v
Let i(c) = c**2 + 2*c - 5. Suppose -10 = r + 3*w, -18 = 3*r + r + w. Let p be i(r). Is p greater than 4?
False
Let l = -9.6 - -6.6. Which is smaller: l or -2/11?
l
Suppose 1 = 4*v - 15. Let p(w) = -1 - 3*w - 2 + 2 + w**2. Let n be p(4). Which is smaller: v or n?
n
Let o = -5379817/77 + 69871. Let b = o + -24/7. Let g be 37/(-74)*(-4)/2. Is g greater than b?
True
Let j = 3/28 + 47/84. Is j greater than or equal to 5?
False
Let y = -2.3 - -2.2. Which is smaller: -0.8 or y?
-0.8
Let a = -5.3 - -1.7. Which is smaller: -2/7 or a?
a
Let u(y) = -y**2 + 5*y + 5. Let c(l) = -l**2 + 6*l + 6. Let d(v) = -5*c(v) + 6*u(v). Let m be d(1). Let n be 2 - (-2)/24*-22. Is n <= m?
False
Let k = 8.95 - 9. Let p = k - 0.05. Is 2/9 less than or equal to p?
False
Let w = -2.9 - -3. Let k be (-21)/(-28) - 6/8. Let p be k/5 - (-1 + -1). Which is bigger: w or p?
p
Let f = -114 + 229/2. Is f > 2?
False
Let d = 3 + 2. Suppose 5 = 3*c - 4. Let m be 1*-1 + (d - c). Is 1 < m?
False
Let n be (-1)/(5 + -1)*-1. Let j(q) = -2*q + 1. Let w be j(-1). Suppose w*b = b - 3*h - 9, -3*h - 9 = 5*b. Which is smaller: b or n?
b
Suppose -2*t - 5 = -17. Suppose -t = -3*g - 2*r + 5*r, -4*r - 23 = g. Let b(d) = d + 3. Let u be b(g). Is u greater than 2?
False
Let m(i) = i**3 + 11*i**2 - 26*i + 2. Let t be m(-13). Is -2 at most t?
True
Let c = 31 - 152/5. Is c at least as big as 0?
True
Let o be (-2 - 0)*1 + -4. Let u(p) = p**2 + 6*p - 1. Let h be u(o). Let z(b) = b + 4. Let r be z(-6). Is h > r?
True
Let m(y) = -y - 1 - 8*y**2 - y + y**2. Let a be m(-1). Let f be 0 + (-4)/(a/(-3)). Which is greater: 0 or f?
0
Let s(u) = u**2 - 8*u + 9. Let n be s(6). Which is smaller: n or -14/9?
n
Let m be ((-317)/(-3))/(2/(-3)). Let b = -162 - m. Let l = -19/6 - b. Is l smaller than 0?
False
Let u be (-7)/12*-4*21/(-7). Let i = 8 + -16. Is i equal to u?
False
Suppose -3 + 6 = 3*c. Let q be ((-9)/30)/((-18)/(-15)). Which is smaller: q or c?
q
Let x = -0.03 - 0.37. Let l = -0.38 - x. Let t = l - 4.02. Are 0.1 and t non-equal?
True
Let t = 2 - 2.1. Let b = -6.97 - 0.03. Let s = b + 6.8. Which is smaller: s or t?
s
Suppose 5*w = 135 + 25. Let y be w/14 - 8/28. Which is greater: 3/2 or y?
y
Let t be ((-3)/5)/(16/(-20)). Let f be 10/(-6)*(-6)/2. Suppose 6 = -3*v + 4*n, 4*n = -f*v + 23 - 1. Is t at least as big as v?
False
Let d = -0.08 - 0.01. Is 0 != d?
True
Let z = -313 - -10015/32. Which is greater: z or -1?
z
Suppose -n = -4*d - 32, -3*n + 2*d = n - 72. Does 16 = n?
True
Suppose -27*l + 24*l = -3. Is 3/10 greater than l?
False
Let t be (16/32)/(10/(-28)). Is 0 at least as big as t?
True
Let c = 0.013 - -19.987. Let n = -21.1 + c. Which is bigger: 0 or n?
0
Let j be 873/42 - 9 - 2/7. Is j > 2?
True
Let q = -41/8 - -79/24. Which is bigger: -1 or q?
-1
Let c = -10 - -7. Is c equal to 0.1?
False
Let f(g) = -3*g - 41. Let a be f(4). Which is greater: a or -54?
a
Let w = -2 + 3. Let n = -27571/4 + 7028. Let q = 136 - n. Is w less than q?
False
Let c = -70/3 + 484/21. Let p = -4 + -2. Let o be (-2)/p*-2*-1. Which is greater: c or o?
o
Suppose 4*n = 5*l + 64, 3*l + 5*n = 6*l + 41. Let h be (3/l)/((-27)/(-24)). Which is smaller: h or 0?
h
Let d be (-38)/120 + (-6)/(-15). Let w(l) = 6*l + 97. Let q be w(-16). Do d and q have the same value?
Fal