ose -8 = 5*b + y*n + 22, 16 = 4*b - 4*n. Which is smaller: 2/7 or b?
b
Let u = 5 - 4.95. Let f = -0.07 + u. Let d = f - -0.02. Which is greater: d or 2/9?
2/9
Let p = 3 + 2. Let l be 1*-2 + (6 - -3). Is l bigger than p?
True
Let z = -42 - -34.94. Let a = 7 + z. Let s be 15/20*4/(-6). Is a > s?
True
Let m be 1*-6 + 6/2. Let y be m + (-2)/(-1) + 10. Suppose -3*n + n + 4*p = 6, -3*n - 4*p - y = 0. Is -3 bigger than n?
False
Let t(x) be the first derivative of -x**2/2 - 2. Let g be t(0). Suppose d + 4 = -m, -d + 4*m = -2*d - 10. Is g <= d?
False
Let q = 0.08 + 0.12. Which is bigger: 2/5 or q?
2/5
Let k = -2 + 10. Suppose y - k = -3*y. Let u be (y - 0)/(1*-2). Which is smaller: u or -2?
-2
Let k = -15 - -9. Let p be (k - 1)/(4 - 5). Suppose -2*q + p*q = 0. Is q at most as big as -3/4?
False
Suppose -10 = -2*q + 3*a, a - 4 = -q + 2*a. Let g(v) be the first derivative of -v**3/3 + v**2/2 + 2*v + 3. Let s be g(q). Is 1 > s?
True
Let o be (-12)/2 + (23 - 25). Which is greater: -4 or o?
-4
Let o(x) = x + 14. Let i be o(-11). Let k = i - 2. Suppose k = s + 2. Which is bigger: 2 or s?
2
Let x = -2 + 1.9. Let l = -14.206 - -0.206. Which is smaller: l or x?
l
Let h = -1933/9 - -215. Let r be (-3)/7*((-16)/(-6) + -2). Which is bigger: h or r?
h
Suppose 3*r = -4*p - 16 - 24, -2*p = -r + 20. Let g = -9 - p. Which is smaller: g or 0.8?
0.8
Let h = -108 - -435/4. Let o = 14 + -4. Suppose -l = -6*l + o. Do l and h have the same value?
False
Suppose 2*y - 4*y + 18 = 0. Is 8 at least y?
False
Let r = 37/7 - 5. Let v = -6 + 2.9. Let p = -3 - v. Is p equal to r?
False
Let f = 18.14 - 0.14. Let k = 11 - f. Let d = 0 - -1. Is d less than or equal to k?
False
Let d(o) be the second derivative of o**5/20 + o**4/12 - o**2/2 - 2*o. Let a be d(-1). Which is greater: -3/7 or a?
-3/7
Let j(u) = u**2 + 3*u - 3. Let m be j(-4). Let v be (m/(-2) - 0)*-6. Suppose 3*k + 5 = 3*w + 26, v*w = -3*k + 15. Is k > 6?
False
Let s = 3 + -3. Let h = 1 - s. Let x be 10/84*28/35. Is x <= h?
True
Let q be 30/21*(-4)/10. Let a = 5/6 + -1/3. Which is bigger: a or q?
a
Let v = -0.01 + -0.39. Let o = -0.5 - v. Let u be (2/(-30))/((-1)/3). Is u equal to o?
False
Let k = 3625/13 + -279. Let u = k - 7/39. Which is smaller: -2 or u?
-2
Suppose -4*u = -4*q, -3*u - 5*q + 0 = 8. Which is bigger: u or -2/71?
-2/71
Let p be -2 + (-39)/(-12) - (-3 - -4). Is 0 bigger than p?
False
Let b = 37.5 + -38. Which is greater: -0.1 or b?
-0.1
Suppose -5 = 4*h + 5*q - 1, 8 = 3*h + q. Suppose 2*y = h*y + 2. Let l be (-63)/156 - y/4. Which is bigger: l or 0?
0
Let c = 1988/1335 - 22/15. Let v = 600113 + -373870502/623. Let p = v + c. Which is smaller: 1 or p?
p
Suppose 0 = -2*n - 0 - 6. Let d be (1 + 2)*(5 - 6). Are n and d nonequal?
False
Let t = -5 - -5.2. Let u(h) = -h**3 - 2*h**2 + 4*h - 1. Let z be u(-3). Let b = -3 - z. Is t less than or equal to b?
True
Suppose 50 = -5*g + 45. Do g and -2/153 have different values?
True
Let a = -0.4 - -3.4. Let l = -3 - -6. Let z = a - l. Which is smaller: z or 0.1?
z
Let v be -8*((-1)/(-2) + -1). Suppose -v*q = q. Let w = 9 + -10. Which is smaller: w or q?
w
Suppose 3*b = -4*b - 154. Is b bigger than -25?
True
Let k = 4 + -7. Let h be 1/k + (-4)/6. Let i be (5 - 2)/(-3 + 2). Does i = h?
False
Let d = -0.9 + -0.1. Let f = 4 - d. Let q = f + -3. Is 2/7 at most q?
True
Let u = -1.1 + 1.2. Which is smaller: 2 or u?
u
Let v(i) = 4*i - 9. Let z(m) = m**2 - m - 1. Let o be z(2). Let b(p) = p - 1. Let w(q) = o*v(q) - 3*b(q). Let r be w(7). Which is bigger: r or -2/9?
r
Let g be 3/((-27)/2)*-6. Let t(c) = 0*c - 2*c + 10*c + 2 + c**2. Let u be t(-8). Which is greater: g or u?
u
Let g = 1 - 4/3. Are g and -1/3 unequal?
False
Let w = 140 - 140. Let p be 8/238*(-7)/6. Is p less than w?
True
Let i(v) = -13*v - 4. Let d be i(-3). Suppose 15 = -4*j + j, -5*j = 5*y + d. Let p(r) = -r + 1. Let l be p(2). Is y greater than l?
False
Let z = 1214/19 + -18594/247. Let c = 1550/143 + z. Are c and -1 unequal?
True
Let f = -2 + 4. Let p be (0 + 2)*f/(-4). Let s = -1/13 + -19/91. Is p > s?
False
Let z = 3.7 + -1.77. Let r = z + -2. Which is bigger: r or 1?
1
Let n(a) = 2 - 3 + 2*a + 13. Let l be n(-8). Let x = -2 - l. Do 2 and x have different values?
False
Let d(r) = r**2 + r + 5. Let g(j) = -j**2 - j - 6. Let o(i) = -4*d(i) - 3*g(i). Let w be o(-2). Let c be (-1)/2 + (-8)/w. Which is smaller: 1 or c?
1
Let h = 2031241/28 + -72614. Let g = -808/7 - h. Let k = -46 - g. Are 0 and k equal?
False
Let p = -2037/34 - -88771/1190. Let b = -100/7 + p. Suppose 3 = -4*u - 5. Which is greater: b or u?
b
Let a be (2/(-4))/(5/(-20)). Suppose 0 = -4*m - 4*c + 13 - 1, 0 = -a*m - 3*c + 5. Let p be 2/(-4)*(-64)/m. Which is bigger: 7 or p?
p
Let y = 20 + -41/2. Let o = 1 + y. Suppose 2*q + j = 5, 0*q + q + j - 3 = 0. Which is bigger: o or q?
q
Suppose -6*c - 5 = 1. Is -2/71 greater than c?
True
Suppose -4*f - 6*a - 44 = -2*a, 5*a = 3*f - 7. Let p be (-8)/(-12) + 4/f. Suppose p - 4 = 2*b. Is b <= -4/3?
True
Let b = -568 + 62481/110. Let g = -47/880 - b. Is g greater than 1?
False
Let b be (-4)/(3/(-2) - -1). Suppose d - b = -3*d. Suppose 5*h + t + 0*t - 7 = 0, -h + t + 5 = 0. Is d != h?
False
Let m = -5 - 0. Is -7 at least m?
False
Let a = 3 + -1. Let g = 1.03 - 1. Let q = 0.17 + g. Do q and a have the same value?
False
Let d be (-2)/3*18/8. Let c(k) = -k**3 - 9*k**2 + 5*k + 18. Let h(a) = a - 1. Let y(n) = -c(n) - 6*h(n). Let m be y(-10). Is m > d?
False
Let u(v) = 2*v**2 + 2*v + 1. Let l be u(-1). Let i be 7/20 + (-10)/40. Is i less than l?
True
Suppose 51 - 196 = -5*c. Which is greater: c or 28?
c
Let k = -5.2 + 5. Let y = k + 0.3. Let m = 0.4 - 0.6. Is m > y?
False
Suppose 0 = g - 0 - 5. Suppose 402*r - 12 = 399*r. Which is bigger: g or r?
g
Suppose -4*d - 6 = 10. Are -4 and d nonequal?
False
Let n = -2/29 + 72/203. Which is smaller: 0 or n?
0
Suppose -18 = -2*b - b. Let y = b + -7. Is y smaller than 3?
True
Let f = -1 - -1. Suppose z - 4 = -0*z. Suppose -z*w + 5*y - 28 = f, -5*y = -w - 18 - 4. Which is greater: -6/7 or w?
-6/7
Suppose -c + 29 = 5*u, -3*u - 33 = -0*c - 3*c. Let s = 15 - c. Which is smaller: 7/5 or s?
s
Let l = 28.9 + -29. Is l greater than or equal to -0.1?
True
Let s be -1*(-3)/(-3) + 1. Suppose s = 3*r + 16 + 2. Let t be (-6)/(-18) + 2/r. Is t less than -2/3?
False
Suppose v - 2 = 0, -2*q - 5*v = -3*v - 12. Suppose -4 = -4*s + q. Which is smaller: s or 3?
s
Let s(h) = h. Suppose 11 = -5*c - b, 2*c = -c - 3*b - 9. Let w be s(c). Let f = 0 - w. Is f not equal to 2?
False
Let q(k) = -k**2 + 5*k + 7. Let o be q(5). Suppose -o = 3*v - 61. Let j be (-104)/(-306) + (-4)/v. Which is smaller: j or 0?
0
Let j be 4/(-2) - 2/(-2). Let u be j + (-4)/(-3) + -1. Let x = 5.8 - 6. Which is smaller: u or x?
u
Let r = -2127/7 + 31646/105. Let k be 2 + (2 - 12/10). Let p = k + r. Which is smaller: -1 or p?
-1
Let v = 304/9 - 209/6. Let o = v + 5/9. Which is greater: 3/4 or o?
3/4
Let l(u) = -13*u + 5. Let j be l(2). Is j less than or equal to -21?
True
Suppose -6*w = -w. Which is smaller: -2/19 or w?
-2/19
Let c be 4/10*5/2*-5. Which is smaller: -2 or c?
c
Let v = -3.08 + 0.08. Let h = -9 - -25/3. Is v at least as big as h?
False
Let a = -0.9 - 4.1. Let m = a + 5.5. Let g = -0.2 + m. Is g less than or equal to -0.2?
False
Suppose -4 = 2*u + 2. Let h be (u + 10)/(-1) + 0. Do h and -2 have the same value?
False
Let a = 0.6 + -0.5. Let i = a + -1.1. Is 9 < i?
False
Let z = 0.19 - 0.21. Which is greater: -0.2 or z?
z
Let i = -1064 + 1499. Let h = 7397/17 - i. Is h less than or equal to 0?
False
Suppose m = 4*a - 0*m + 37, 3*m - 21 = 2*a. Which is greater: -15/2 or a?
-15/2
Suppose t - 4 = -0. Suppose 0 = t*k - l + 4, -5*k - l = -0*l - 4. Is k >= 0?
True
Suppose 0 = o - 0 + 1, 3*g + 4*o = 5. Suppose -g*d + 2*d = 0. Let i be 2 + -1 + d + 0. Which is smaller: 2 or i?
i
Let m(v) = -v + 3. Let o be m(3). Are -2/37 and o non-equal?
True
Let q be 24 + ((-16)/24)/(4/(-6)). Which is smaller: 23 or q?
23
Let o(f) = f + 2. Let a be o(4). Suppose r = x - 7 - a, 0 = 2*r - x + 21. Is r at most -3?
True
Let k = 2/33 - 43/165. Which is greater: k or -1?
k
Let i be 0/1 + (-1)/(-1). Let y be i/1 - 2/3. Suppose 0*t + u = t + 3, -11 = t - 3*u. Which is smaller: t or y?
y
Let q = -100 - -397/4. Which is smaller: q or 2/5?
q
Let k be (-1)/