 be x(-3). Let f be ((-1)/q)/(2/(-6)). Which is bigger: f or 3/4?
f
Let k = -10 - -14. Suppose -k*b + 6 + 14 = 0. Suppose -b = m - 3. Is -2 smaller than m?
False
Suppose 4*b - 17 = -13. Which is smaller: 2/9 or b?
2/9
Let j = -78 - -66. Which is bigger: j or 2?
2
Let n = -1.3 - -7.3. Which is smaller: 0.2 or n?
0.2
Suppose -4 - 8 = -f. Suppose -f*r + 10*r + 28 = 0. Is 14 at most as big as r?
True
Suppose -5 = -m, -d - m + 4 = -1. Let z be d/(1*1/1). Suppose g - 3 = -4. Which is greater: g or z?
z
Let r = 0.14 + -7.14. Let o = r + 7.3. Let q = -0.1 + o. Which is bigger: q or 2?
2
Let z(c) = 5*c**2 + c. Let p be z(-1). Suppose 0 = -a - 5*g + 1, p*a + 2*g + g = 4. Let w = a + 2. Is w <= 2?
False
Let p(c) = 2*c**2 - 9*c + 15. Let l be p(4). Which is greater: l or 2?
l
Let c = 1 + -22. Let p = c - -20.99. Is -1 < p?
True
Let f be ((-12)/(-18))/(2/(-6)). Let m be f*(-4)/8 + 2. Is 3 > m?
False
Let t = 151/2 + -77. Which is smaller: t or -0.5?
t
Let d be (-15)/(-2)*(-8)/18. Is -3 != d?
True
Let g be ((-1)/4)/((-13)/(-11271)). Let q = g - -19957/92. Which is greater: q or 0?
q
Suppose 5*q - 18 = -4*a + 4*q, 5*a + 4*q - 17 = 0. Suppose 5*o + k = 19, -10 = a*k - 5. Is o <= 2/7?
False
Let m(x) = 0*x**2 - x**2 - 3*x**2 + 5*x**2. Let j be m(-1). Is j equal to 2/11?
False
Suppose 8*c + 4*c = 12. Are 1/5 and c equal?
False
Let m be (1 + -3)/122*32/96. Is -1 bigger than m?
False
Let x = -2/169 - 316/1859. Which is smaller: x or -2?
-2
Let i(g) = 8*g**2 + 0 + 4 - 3. Let u be i(-1). Is 9 not equal to u?
False
Suppose 11 = -p - o, p - 4*o + 3 = -3. Let s = p + 9. Which is smaller: s or -3?
-3
Let o be 27/12 + -2 + (-9)/(-60). Which is bigger: 1 or o?
1
Let i be (-8)/40 + (-38)/110. Let l = -7 - -5. Let g = l + 1. Which is smaller: i or g?
g
Let b = 55 + -33. Let s = -22.1 + b. Which is greater: s or -20?
s
Suppose -3*r - r + 25 = -3*c, r + c - 1 = 0. Suppose 6*j = 2*j + r. Which is smaller: j or 1.9?
j
Suppose -3*n = 34 - 31. Is n != -4/63?
True
Let h = 44.1 + -44. Which is greater: -1 or h?
h
Let r(m) = -m - 2. Let x be r(-4). Suppose x*u = u - 5. Let p = u + 0. Which is smaller: 0 or p?
p
Let x(p) = p**3 + 7*p**2 + 5*p - 5. Let j = 15 + -21. Let k be x(j). Suppose 2*l = t - 13, -2*l - 2 = 3*t - k. Which is bigger: t or 2?
t
Suppose -12*g = -7*g. Which is smaller: g or 8/11?
g
Let g be ((-20)/(-35))/(3 + -1). Suppose -2*w + 7 = 5*m, 4*w + w = 4*m + 1. Which is bigger: w or g?
w
Let s = -26 + 27. Which is bigger: s or 2/57?
s
Let w = -7 - -7.3. Let m = -3.38 - -0.08. Let s = w + m. Which is smaller: -0.1 or s?
s
Let m = 467/5 - 93. Is m > 0.8?
False
Let q be -2*(-2)/2*-4. Let i = 28 - 38. Which is smaller: i or q?
i
Let f be (-46)/10 - 4/10. Let l = -17 + 14. Is f greater than l?
False
Let z(d) = -4*d. Let t be z(2). Let h be ((-6)/t)/((-33)/(-12)). Is 0 >= h?
False
Let k = 8 + -8. Let x = 1 - 4. Let g(c) = -c**3 - 4*c**2 - 4*c - 3. Let y be g(x). Is k bigger than y?
False
Let o = -0.04 + -0.66. Let j = o + 0.7. Let n = j - -0.02. Is 1 >= n?
True
Let z be (2/(-12))/((-2)/9). Let u be -3 - (-1 + -3)/(-1). Let h = 7 + u. Which is greater: z or h?
z
Let u(d) = d**2 + 4*d - 5. Let q be u(-5). Let s be 1 + -2 - (q - 2). Let t = -236/5 + 47. Is s < t?
False
Suppose -3*t - m - 3*m + 2 = 0, t - 5*m = -12. Let r be t/2 + (-5)/(-1). Let z = 7 - r. Does 4 = z?
False
Let u(y) = 2*y**2 + 21*y + 14. Let k be u(-10). Let n be 1*k + 208/(-16). Is -9 smaller than n?
False
Let t be (-114)/4*((-80)/15 - -4). Which is greater: 39 or t?
39
Suppose -4*s = -6 - 6. Suppose -2 = s*k - 8. Are 1 and k non-equal?
True
Let p(q) be the third derivative of -q**5/60 + q**4/4 + 3*q**3/2 - 2*q**2. Let k be p(7). Let l be 1/k*(-2 + 2). Which is bigger: l or -0.1?
l
Suppose -6*c + 10*c + 28 = 0. Is c != -8?
True
Let n = 23 + -22. Is 1 equal to n?
True
Suppose -3 = 8*r + 13. Is -1/2 greater than r?
True
Let n(o) = -3*o**2 + o. Let s(t) = -7*t**2 + 3*t - 1. Let z(y) = -5*n(y) + 2*s(y). Let j be z(-2). Is -2/23 equal to j?
False
Let a = -0.21 - 0.14. Let t = a + 0.05. Let l = 0.5 + t. Is l not equal to 0?
True
Suppose 2*c + 6 + 8 = 0. Which is smaller: -6 or c?
c
Let o(u) = -2*u + 2. Let r = 5 - 0. Let g(b) = -3*b + 4. Let c(j) = r*o(j) - 3*g(j). Let l be c(-5). Which is smaller: l or -0.3?
-0.3
Let p = 14 + -35. Let k = -11 - p. Do k and -0.1 have different values?
True
Let x = -7.9 + 7. Let s = 5.9 + x. Is -1/3 smaller than s?
True
Let a = -5959/40 - -1155/8. Which is smaller: -5 or a?
-5
Let n be -1*(-2 - 0/1). Let b be 4*(-72)/(-291) + -1. Let z = b - -489/388. Is n >= z?
True
Let o = 17 - 18. Suppose 2*l + 0*l = -3*f, 2*f - 16 = 4*l. Which is smaller: f or o?
o
Let h = 13 + -2. Let v(z) = z**3 - 11*z**2. Let l be v(h). Which is smaller: l or 3?
l
Let b(k) = k**3 - k**2 + 1. Let v be b(1). Suppose 4*f + v = 3*f. Let c = 30 + -61/2. Is f at least as big as c?
False
Suppose -j - 4 + 2 = 0. Let h(d) = -d**3 + 2*d**2 - d + 1. Let a be h(2). Is j at least as big as a?
False
Let s = 0.4 - 0.55. Let u = s - -7.15. Let c = -5 + u. Which is bigger: -1/4 or c?
c
Let o be (0 - 2) + 10/2. Suppose -8*v - 15 = -o*v. Is v less than -7/3?
True
Let p(u) = -2*u**2 + 6*u + 10. Let r be p(4). Is r > 14/11?
True
Let s = 9 - 1. Let j = s + -9. Which is greater: 1 or j?
1
Let w = 12.81 - 13. Which is greater: 1 or w?
1
Let y = 2/229 + -695/916. Suppose -4*i + 2*f = i - 5, 0 = 4*f - 20. Suppose 0*h + h = -3*m - 9, 0 = -i*h - 9. Is y less than or equal to m?
False
Let s be (4113/(-15))/3 + 2. Let o = s - -90. Is 0 at most as big as o?
True
Let a = -3/209 + -1/11. Let u be (-4)/(-3) - (-1)/(-3). Which is smaller: u or a?
a
Let j be (3 + (-2 - 0))*3. Suppose 4 = -3*q + c, 4*q + j*c = -c. Is q at least as big as 1?
False
Suppose -o = -4*g - 3*o - 56, -3*g + o = 52. Let j = -7 - g. Let y be (18/(-4))/(3 - j). Are y and 0 equal?
False
Let p(i) = -i**3 + i - 3. Let f be p(3). Let c be (-2)/90 + (-6)/f. Is c > 0?
True
Let y = -1 - -4. Let r be (-15)/(-10)*2/(-3). Is r greater than or equal to y?
False
Let x = -0.01 - 0.16. Let r = x - -0.1. Which is smaller: r or 1?
r
Let t = -71.9 - -71. Is t > -5?
True
Let z(u) = -2*u**3 + u**2 + u + 2. Let p be z(2). Which is smaller: -10 or p?
-10
Suppose 4*j = -0*j + 3*l + 14, 0 = -4*j + 5*l + 18. Suppose -2*v = j*v - 4. Let h = 2 - 1. Is v less than h?
False
Let a = 1.6 - 3.62. Let z = a - -0.02. Let r = z - 0. Is -2 greater than or equal to r?
True
Let x = 13.8 + -14. Which is smaller: -0.3 or x?
-0.3
Let o = 75 + -108. Is -2/9 != o?
True
Suppose v + 0*v = -y, -3*y - v = 4. Let p be (-1)/(15/24*y). Is 1 < p?
False
Let s(a) = a**2 + 9*a + 2. Let p be s(-8). Let f = 6 + -4. Suppose -2*o = f*o + 20. Is o at least as big as p?
True
Let p(h) = 3*h - 17. Let k be p(7). Which is greater: -0.08 or k?
k
Suppose h + 5*p - 5 - 1 = 0, -6 = -3*h - 3*p. Let j = 17 + -33. Let m be j/(-30) + (-4)/20. Is m equal to h?
False
Suppose -4*k + 16 = -l - 0*k, 0 = k - 3. Let n = 0.7 + 0. Let y = n - 0.6. Are l and y unequal?
True
Let v = 0.11 - 0.11. Let o = -0.8 + -0.2. Which is smaller: o or v?
o
Suppose 4*f = 5*l + 86, -15*f + 14*f = 4*l - 11. Which is bigger: 20 or f?
20
Let k(c) = -2*c**3 - 2*c**2 - c. Let o be k(-1). Is -1/21 at least o?
False
Let s = 4.9 - -1.2. Let l = -6 + s. Is l > 0?
True
Let t be -3*(-1 + 28/(-12)). Are 11 and t equal?
False
Let k = 6 + -3. Suppose 20 = 3*t + 2*u, u = 5*t - 0*u - 29. Are k and t equal?
False
Suppose -18 = -4*u - 54. Let n be u/(6/(-4) + 3). Do n and -6 have the same value?
True
Let b = 23 + -22.91. Let k = -0.39 + b. Is k < -2?
False
Suppose 2*c - 4*s = -c + 2, 10 = -c + 4*s. Suppose -5*w - 2*a = -c, -3*a = 2*w - 4 - 5. Is 1/3 less than w?
False
Suppose 4*b - 4 = 4. Is 2 != b?
False
Let o = 23 - 29. Is -8 less than o?
True
Let c = 0.3 + -1.3. Do c and -2/7 have different values?
True
Let t = -1 + 2. Is t != -3/8?
True
Suppose -4*p + 9 - 5 = 0. Suppose -2*k + k = -p. Is k >= 4/9?
True
Let a(n) = 3*n + 17. Let c be a(-6). Let t = 59/6 + -10. Which is bigger: c or t?
t
Let z(y) = 4*y**3 - 2*y + 1. Let m be z(1). Let n be (1/4)/((-2)/(-12)). Which is smaller: n or m?
n
Let c = 30/13 - 184/91. Let l = 1 + -1. Which is bigger: c or l?
c
Let a be 0 + 5/(-3) - 9/(-6). Which is bigger: -1 or a?
a
Let g = -9 - -8.62. Let f = -0.08 - g. Which is bigger: 2 or f?
2
Suppose 0