maller than 0?
False
Let u = -0.37 + 0.27. Which is greater: u or 31?
31
Let c(g) = g**3 + 6*g**2 - 6*g + 10. Let s be c(-7). Let t = s - 5. Are -5/6 and t unequal?
True
Suppose 7*z - 3*h = 2*z - 15, -2*z + 2*h = 10. Suppose p + 6 = -2*k, 3*k = 5*p - 3*p - 9. Suppose 0 = -p*u - u. Is u bigger than z?
False
Let l = 0.89 - -0.11. Suppose -d + 3*o + 13 = d, 5*d - o = 13. Let z be d/1 - 8/6. Which is greater: z or l?
l
Let w(s) be the third derivative of s**4/24 + 5*s**3/6 + 2*s**2. Let z be w(-6). Let k(x) = x**3 + 1. Let c be k(-1). Which is bigger: z or c?
c
Let c(k) = -4*k**2 + 8*k + 10. Let i be c(-4). Do -86 and i have the same value?
True
Let f = -464 + 5092/11. Is 0 bigger than f?
True
Let o(i) = -i**3 - 4*i**2 + 4*i - 7. Let t be o(-5). Let p be ((-4)/5)/(t/(-10)). Let j be 1/((10 - 12) + (-14)/(-8)). Is p >= j?
True
Let k = -47 - -275/6. Let c = k + 1. Are 0.1 and c equal?
False
Let n = -428/3 + 143. Which is smaller: n or -0.063?
-0.063
Suppose -5*z - 20 = -2*n, 3*z + 30 = -2*z + 4*n. Let y be 5 - 1/(-9)*-47. Is y >= z?
True
Suppose 4*k - 45 - 15 = 0. Is 15 less than or equal to k?
True
Suppose t = 5*t. Suppose 4*f + t*q - 2*q = -234, f - 4*q + 48 = 0. Let z be (72/f)/(2/5). Which is smaller: -1/3 or z?
z
Suppose -3*j - 4*d = 6 - 4, -16 = -4*j + 4*d. Let p be (-6)/8*j - -2. Let w = -23 + 22. Which is bigger: p or w?
p
Let i(b) = 3*b - 4*b**2 - b - 1 + 3*b**2. Let u be i(1). Let a = 137 - 2331/17. Is u greater than a?
True
Let v = 12 + -22. Let j = -9 - v. Is j < 2/3?
False
Let x be 10/15 - (-2)/6. Let u be (-32)/144 - (1 - x). Which is bigger: 2 or u?
2
Let p = 84/85 + -10/17. Let g = -15.81 - -16. Let x = 0.11 + g. Which is smaller: p or x?
x
Let c be -36 - (-1*9)/3. Let m = c + 65/2. Let y be 1/2 - 1/1. Is y at least m?
True
Let k be ((-8)/10)/4 + 63/65. Which is smaller: 1 or k?
k
Let c = 3.6 + -4. Are 0 and c equal?
False
Let k be 10/35*(-88657)/2. Let s = k - -12692. Let x = -27 + s. Which is smaller: 0.3 or x?
x
Let y be (-25)/6*5/((-75)/(-4)). Which is bigger: -2 or y?
y
Let j = -3 + -1. Let b be j/14 - 36/21. Are -3 and b unequal?
True
Let z = -10 - -10.24. Let f = -20.94 + 21. Let b = z + f. Which is greater: -0.2 or b?
b
Let q(s) = s**2 - 4*s. Let k be q(4). Let f(n) = -n**2 + 5*n + 6. Let l be f(-6). Let t = l - -239/4. Which is smaller: t or k?
t
Let w = 8 + -6. Let u be 11/20*w + -1. Is u < 0?
False
Let c = -6 + 7. Let a(t) = -4*t**3 - t**2 + t - 1. Let l be a(c). Is -5 at least as big as l?
True
Let m = -17 + 16. Let k be 1 - (2 + -1) - 2. Which is bigger: m or k?
m
Let z be (-554)/6*18/21. Let t = -79 - z. Let v(k) = -k**2 - 2*k + 1. Let j be v(-2). Are j and t unequal?
True
Let c = -0.026 - -0.026. Is -3.6 >= c?
False
Let y be 4/6 + 31/3. Let o = -8 + y. Suppose s + 1 = o. Is 2 <= s?
True
Let a = 19 - 16. Suppose -5 - 3 = -c. Suppose a*t - c = -t. Is 2 > t?
False
Suppose 2 = -a, 0 = -4*i - 0*i - 3*a + 986. Let m be 3 - (-6540)/27 - -3. Let z = i - m. Are -1 and z equal?
False
Let k = 4.04 + -4. Let f = k - -0.26. Is f > -1/4?
True
Let f(c) = -c**3 + 6*c**2 - 3*c - 7. Let h be f(5). Suppose -10*p + h = -7*p. Are p and 4/9 non-equal?
True
Let p = 4 - 2. Suppose -5 + 9 = 3*u + p*n, 3*n - 21 = 3*u. Suppose 3*j + 2 + 1 = -b, 5 = 4*b - 5*j. Which is smaller: b or u?
u
Let m be (-9)/(-3)*(-2)/3. Let h = m - -3. Let a = 2 - 7/4. Which is smaller: h or a?
a
Let w be 2/3 + 42/12. Which is greater: w or 3?
w
Let m = -14.1 - -0.1. Which is bigger: m or -1?
-1
Let x(z) be the third derivative of -z**5/60 + z**4/8 + z**3/2 + 2*z**2. Let y be -1*((-64)/(-4))/(-4). Let c be x(y). Which is smaller: c or 6?
c
Let o = -115 - -121. Let t(q) = -10*q**2 + 21*q - 8. Let d(n) = 3*n**2 - 7*n + 3. Let v(s) = -7*d(s) - 2*t(s). Let l be v(o). Is -1 < l?
True
Let l = -20/89 + 1426/801. Let x = l - 5/3. Is 0 < x?
False
Suppose 2*b - 4*t - 27 = 19, b - 26 = 3*t. Are b and 20 nonequal?
True
Let l = -8 - -10. Let z = 5 - l. Is -2/9 greater than z?
False
Let j = 18 - 18.7. Let v = -55/172 - -3/43. Which is greater: j or v?
v
Suppose -u = -c + 3*u, u = 2*c - 14. Let p be (132/c)/((-6)/(-8)). Is 23 less than p?
False
Suppose 4 = 2*g + 2, 14 = -4*k + 2*g. Is -6 at most as big as k?
True
Let g = -183/91 - -15/13. Let d be (24/(-15))/(2/10). Let s = d - -8. Is s less than or equal to g?
False
Suppose 2*x + 2*a + 0*a = 4, -4*a = -2*x - 2. Let z be (0 - 0) + (-2)/(-14). Are x and z nonequal?
True
Let s be -3*3/(18/4). Let l be (1 + 3/(-2))*s. Which is smaller: l or 1/5?
1/5
Let x be (130/(-39))/((-16)/6). Suppose 4*g + 1 - 5 = 0. Let k be -2 - (-1 + -3)*g. Which is smaller: x or k?
x
Let l = 6.7 + -1.7. Which is smaller: 3 or l?
3
Let y = 9 + -12. Which is smaller: -5 or y?
-5
Let k = -17/39 + 1679/273. Let p = k - 221/35. Is -1 != p?
True
Suppose -6*r = -z - 2*r + 24, -z + 16 = -2*r. Let a = 6 - z. Suppose -2*t + t - 3 = 0. Is t bigger than a?
False
Let o = 94 - 93. Is o smaller than -2/107?
False
Suppose -31 = -4*l + 3*f, 5*l - 1 - 9 = -2*f. Suppose -l*n = -n. Suppose -t + 4 = 3*t. Is t at least as big as n?
True
Let u = -3 + 2. Let o = 2 + u. Let h(d) = -2*d + 16. Let q be h(8). Is q at most as big as o?
True
Suppose 4*d - 4 = 6*d. Suppose 9 + 0 = -3*j. Is j smaller than d?
True
Suppose -5*g - 18 = 7, 3*q - 2*g = 10. Let h = -2 - -9. Let b = h + 0. Is q < b?
True
Let b(w) = 3*w**2 + 3*w + 1. Let k be b(-2). Let d = 5 - k. Let v(s) = -s + 3. Let u be v(6). Which is smaller: d or u?
u
Let t(u) = 4*u + 2. Let p(s) = 7*s + 3. Let v(m) = -3*p(m) + 5*t(m). Let c be v(0). Which is smaller: c or 4/7?
4/7
Let n = -13 + 9. Let w = 7 + n. Let j = -151/35 + 33/7. Which is smaller: j or w?
j
Let l be 3/(-2) + (-4906)/(-1780). Let r = 5/89 - l. Is r != -1?
True
Let b be 3 + -2 - (-2 + 0). Is b at most 2?
False
Let z = -13 - -18. Let t = z - 7. Are t and 1 unequal?
True
Let u(g) = 6*g**3 - 4*g**2 + 2*g - 1. Let m be u(2). Which is smaller: 2 or m?
2
Suppose -3*h = -2*x - h + 14, -5*x = 2*h - 14. Which is bigger: 3 or x?
x
Suppose -b - u + 9 = 0, -3*b = u - 46 + 9. Suppose 5*k - 4*y + 33 = 4, -b = 3*k + y. Suppose -4*f - 16 = 4. Is f at least as big as k?
True
Let o be 34/(-85) - (-232)/(-70) - -4. Is 0 < o?
True
Suppose 10*f - 7*f = 0. Suppose f*v + v = 0. Which is greater: v or 3/16?
3/16
Let v be (-3120)/11396 + 6/14. Let y be (-1 + 2)*(-2)/(-74). Let q = y + v. Is q bigger than 0?
True
Suppose 0 = 4*u + 3 - 7. Let k be 3 + u/(-1) + -1. Is 0 > k?
False
Let p be (-1 - 5)*2/6. Is p at least as big as -4/3?
False
Let z(i) = -i**3 + 15*i**2 + 14*i - 9. Let a be z(16). Which is smaller: a or -40?
a
Let x = -22 + 38. Let d = x - 16. Suppose -a = -t + 3*a - 21, 15 = -5*t + 2*a. Which is smaller: t or d?
t
Suppose -1 - 12 = -13*y. Is y at most 19?
True
Let h be (6 + (-91)/14)*(-1 + 1). Let r be (-4)/10 + (-22)/45. Which is smaller: r or h?
r
Let k(f) = 2*f - 3*f**2 + 0*f**2 - 2 + 2*f**2 - 3*f. Let i be k(-2). Suppose y - 3 = -2*d - 1, -2*d = 5*y + 14. Is y at least as big as i?
True
Suppose 0 = b + 5*h - 15, 0 = b - 0*h - 3*h + 25. Let s be 3/(b + 1)*-9. Suppose 6*u - 8 = 2*a + 2*u, -s*a - 7 = -u. Is a at most -2?
True
Let h be 3*4*(0 + 2). Is h at least as big as 23?
True
Let f(x) = -x**3 + 2*x**3 + 2*x**3 - 2*x**2 + 5*x - 4*x**3. Let c be f(-4). Which is greater: 1/2 or c?
c
Let o be 4 - 11/(-2) - 4. Which is smaller: 6 or o?
o
Let q = 13 - 13. Let p = -4.71 + 0.81. Let h = -1.1 + p. Is h < q?
True
Let w be (-5)/(15/9) - 65/(-20). Is -0.019 greater than w?
False
Let a(b) = b**3 + 2*b**2 - 2*b. Let s be a(-3). Let f be (-6)/(-9) + (-4)/6. Let y = -3 + f. Is s > y?
False
Let q be -10*1/(-1*(-1)/5). Is q smaller than -50?
False
Let t(k) = k**3 - 7*k**2 + 7*k - 8. Let h be t(6). Is h > -19/8?
True
Suppose -3*a - 15 = -12. Is 1/4 greater than a?
True
Let d(t) = -t - 13. Let o be d(5). Is -17 greater than o?
True
Let h be (0 - -2) + (-8 - -9). Suppose 0 = -2*v + 9 + h. Is v not equal to 6?
False
Let y = -2.035 + 0.035. Which is greater: y or 0.3?
0.3
Let b(c) = c**2 - 9*c + 18. Let h be b(4). Which is smaller: 0 or h?
h
Suppose 27*x - 31*x = 8. Is -3/2 at least as big as x?
True
Let h(r) = -r - 1. Let s be h(-4). Suppose 0 = s*m + 3*t - 111, 5*m - 3*m - 3*t = 54. Suppose -2*y - 4*l = -0*y + 16, -m = -4*y + 5*l. Is 2 smaller than y?
False
Suppose z - 4*j + 31 + 68 = 0, 4*j + 423