n c?
True
Let s(t) = -t**3 - 8*t**2 - 5*t + 4. Let n(k) = -k**2 - k + 1. Let v(a) = -5*n(a) + s(a). Let w be v(-3). Which is greater: w or -1/9?
-1/9
Let p = -16 - -15. Let x = -1 + 7. Let a be p/(-2) + x/(-4). Which is greater: a or -2?
a
Let j(h) = h**3 - 8*h**2 + h + 7. Let d be j(8). Suppose x = -u - 2 - 1, 0 = -5*x - u - d. Is -3 less than or equal to x?
True
Let t = 116 - 463/4. Is 19 greater than or equal to t?
True
Let w(l) = l**3 + 8*l**2 + 6*l - 5. Suppose x - 3*x - 14 = 0. Let j be w(x). Let y be -2 - (2/3 - j). Do y and 0 have the same value?
False
Let r be -1 - -1*(0 - 0). Let t = 0.2 + -4.2. Is t != r?
True
Let v be (3 + (-14)/4)/((-2)/(-36)). Does v = -10?
False
Let c = -0.2 - -0.1. Let z = -0.23 + 0.23. Is c <= z?
True
Suppose 7 = 5*h - 3. Suppose -4*l = -h*l. Which is smaller: 1 or l?
l
Let o = 13.87 - 14. Let g = o + 0.13. Is 0.2 less than or equal to g?
False
Let x = -293/5 + 59. Is -5/4 <= x?
True
Let p = 1 + -2. Let n be (p - (-3)/(-6))/2. Let m = -6 - -6. Is n <= m?
True
Let f be (267/(-14))/((-1164)/(-21)). Let m = f - 3/97. Is m <= -1?
False
Let c be (-160)/225 - 4/10. Let o = c + 23/45. Which is greater: o or -1?
o
Let s = 74 + -73.9. Is -3 less than or equal to s?
True
Let h be ((-1)/(-3))/((-1)/(-3)). Let t = 188 + -188. Is h smaller than t?
False
Let l be 10/(-4)*(-12)/10. Let w(r) = r - 5. Let h be w(l). Which is bigger: h or 7?
7
Let u be 4/(20/49) + -3. Let h = u - 141/20. Do h and -8 have the same value?
False
Let s(m) = 8*m - 1. Let g be s(1). Suppose -y - 8 = 4*j, -2*j + 3 = 4*y + g. Which is smaller: 3/4 or y?
y
Suppose 24*n = 23*n - 26. Is -26 <= n?
True
Let z be (-9)/78*(-8)/(-2). Is 1 not equal to z?
True
Let c = 13 + -7. Are c and 7 nonequal?
True
Let h = -93 - -94. Is -1 greater than or equal to h?
False
Suppose -t - 4*t + f = -1, 4*t = 4*f + 4. Let b be 2/7 + 228/(-651). Is t bigger than b?
True
Let c = 7 - 43. Let s be (c/45)/(1*2). Is s bigger than 3?
False
Suppose a = -2*n + 5, 2*a + 4*n - 11 = a. Let y = a - 0. Let p be 1/3*((-50)/15 - -2). Is p > y?
True
Let c = 26 - 25.9. Is -6 equal to c?
False
Let q = -16 + 21. Is 6 smaller than q?
False
Let k = 6 + -6. Let j be 1/((2 + k)*1). Let u(n) = -n + 1. Let h be u(1). Which is bigger: h or j?
j
Suppose -3*k + 4*v = 36, -5*v = -k - 3*k - 49. Let s be -1 - -1 - 12/k. Which is smaller: s or 0?
0
Let v = 39/19 + -859/437. Is 3/4 at least v?
True
Let a(m) = -m - 4. Let j be a(-7). Suppose 2*k + 4*l = -2*k, 4*k = j*l + 21. Suppose -4*z - k = 5. Which is smaller: -2/3 or z?
z
Let v(g) = -g**2 + 3*g + 4. Let n be v(3). Suppose 3*u - 5*h + 4 = -2, -h = n*u + 8. Is u > -2?
False
Suppose -w + 46 + 107 = -2*u, 234 = -3*u - 3*w. Let d = u + 217/3. Is -6 > d?
False
Let k = 7 + 2. Let p = -6.3 - 2.7. Let j = p + k. Which is greater: -2/5 or j?
j
Let g(y) = 0*y**3 - 3 - 4*y**3 + y + 5*y**3. Let w be g(0). Let o = w - -2. Is -1 < o?
False
Let q = -39 + 33. Which is bigger: 0.2 or q?
0.2
Let z = -75 + 96. Does z = 21?
True
Let w be 51/12 - 3/(-4). Let t = -13/2 + w. Which is bigger: t or -3?
t
Let n = -2 + 3. Let d = n + -9. Let m = d - -7.8. Is m >= 1/4?
False
Let h be -1*3 + 2 + 2. Let y be (1 - h) + (-4)/(-2). Suppose 20 = 2*j + y*j. Which is greater: j or 4?
j
Let g = -31 - -19. Let k = 2.3 + -1.3. Which is smaller: k or g?
g
Let t = 2 + 0. Suppose 3*b - 4*b + 3 = -3*g, 0 = 5*b. Let w be (10/(-8) - -1)*g. Which is bigger: w or t?
t
Suppose -3*y + 9 = 3. Let c = 12 + -11. Which is smaller: c or y?
c
Let c = -71 + 71. Is c at least -10/7?
True
Suppose 18 = -2*i + 2*c, -c + 4 = -1. Let l(k) be the third derivative of -k**5/60 + k**4/3 - 5*k**3/3 - k**2. Let v be l(7). Which is smaller: v or i?
i
Suppose 2*k + 5*a = 5, k - 4*a - a = -5. Let f = -2 + 2. Let p be (f - 1)*1 - 0. Do p and k have different values?
True
Let g = -5 - -5. Which is greater: g or 12/5?
12/5
Suppose s - 4*s = -18*s. Let a be (-3)/(-6) - 14/(-4). Let f = a + -7. Which is bigger: s or f?
s
Suppose 0 = 2*q - 4*q - 2*l, 5*q - 2*l - 28 = 0. Suppose 0 = -p - 2*t + 2, -q*p - 5*t - 5 = p. Which is smaller: 0 or p?
p
Suppose -4*d + 1 = 5. Let y = 6 - d. Which is smaller: y or -1?
-1
Suppose 2*o = 7*o + 50. Is -10 less than or equal to o?
True
Let p be 2/(-7) - (-6)/21. Suppose -5*k + 23 = 3*j, -9 = -2*k - p*k - j. Which is greater: 3 or k?
k
Let v(q) = 2*q + 19. Let z be v(-12). Which is bigger: -7/2 or z?
-7/2
Let b be (70136/363)/(2/3). Let r = b + -290. Which is smaller: 3/7 or r?
r
Let a = 0.03 + 0.17. Let z = 7.7 - 8. Which is greater: z or a?
a
Let g = 2.65 - 0.69. Let n = -0.04 - g. Let t = -2.2 - n. Which is smaller: t or -1/2?
-1/2
Let m = -0.5 - -0.4. Is 0.09 smaller than m?
False
Suppose 4*o + 6 = -4*x + 9*x, -5*x + 2*o + 8 = 0. Suppose -2*p - x*p + 12 = 2*q, -15 = q - 5*p. Suppose q = 4*n - 5*n. Is n less than -0.1?
False
Let r = -1.2 + 0.2. Suppose -4*b - 40 = -0*b. Let w be (-4)/3*(-3)/b. Which is greater: r or w?
w
Suppose 5*p = -2*u + 35, 0 = 3*p + 4*u + u - 2. Let c = -9 + p. Suppose 5*t - 3*t - 4 = c. Which is smaller: 4 or t?
t
Let j be (-2830)/(-42) + (-2)/(-7). Let b = j - 67. Let d = 0.2 + -0.1. Which is bigger: d or b?
b
Suppose -n = -5*n. Let s = n - 2. Let l(i) = -i**2 + 6*i - 4. Let c be l(6). Which is bigger: c or s?
s
Suppose -v - 4*v + 5 = 0. Let x be 1/(-2)*v*-1. Do x and 1 have the same value?
False
Suppose 5*r - 7*n = -2*n + 10, r - 6 = 2*n. Let c be 1/1 + (-2)/r. Are c and 4/3 unequal?
True
Let f be 4/(-22) + (-468)/(-2211). Let k be (-16)/((-16)/(-4)) - -4. Is f >= k?
True
Let x be 27/4*(3 + 1). Let u = 1849 - 5464/3. Let f = u - x. Is f != 2?
True
Let y(j) = -2*j. Let a be 1*(-4 - (-2)/2). Let g be y(a). Let z = 1 - g. Are z and -4 equal?
False
Suppose 0 = 2*p + 3*l + 31, -19 = 4*p - 4*l + 73. Which is smaller: p or -19?
p
Let y be (-5)/6 - (-3)/6. Let f(z) = z**2 + 3*z - 3. Suppose 2*q - 4*k + 20 = 0, k - 5*k = 4*q + 4. Let h be f(q). Is y at least as big as h?
False
Suppose 5*j = 4*o - 20, 0*j + 15 = -2*j + 3*o. Let a be ((-1)/(-23))/((-2)/4). Which is smaller: j or a?
a
Let l = 227 - 226. Let r be (-1)/(-20) - (-2)/(-8). Is r less than l?
True
Let k = -28 - -47. Which is smaller: k or 18?
18
Suppose 3*f + 2*f - 15 = 0. Let j = -49 + 54. Is f >= j?
False
Let q = 5 - 3. Let m be (-3)/q*(-10)/(-15). Is m at least -2?
True
Let x be 129*(61/(-3))/(-1). Let q = x + -28825/11. Let t = -179/66 + q. Which is greater: t or -1?
t
Let t be -1 + -2 + (-7)/((-84)/64). Is 2 < t?
True
Let i be 0/((-1)/(1 - 0)). Suppose -3 = -3*p, 5*c - 2*p + 84 = 2*p. Let q be 11/12 + 4/c. Is q != i?
True
Let m(t) = 17*t**2 - 2*t. Let j(o) = -16*o**2 + 2*o - 1. Let a(y) = 3*j(y) + 2*m(y). Let s be a(2). Let f = 167/3 + s. Is 0 at most as big as f?
True
Let u = 90 + -59. Is 31 smaller than u?
False
Suppose 5*z - 12 - 8 = 0. Let s(h) = 4 + 0 - 1 - 2 + h + h**2. Let i be s(-2). Is z less than i?
False
Suppose -49 = 5*f - 24. Are f and -25/4 equal?
False
Let b = -3 - -7. Suppose 0 = 5*k + b - 19. Suppose -4*o + 2 = -2*o. Which is greater: o or k?
k
Let f = 6839/65 + -2634/13. Let q = f + 97. Which is greater: q or 1?
1
Let r(s) = s**2 - 7*s - 3. Let x be r(5). Let a = x - -9. Let m be -3*a/(-6) + 0. Is 0 >= m?
True
Let t be 0/(-1) + 2 + 2. Suppose 3*c = -j + 8, t*c + 4*j - 2*j = 8. Suppose 0 = -8*v + 3*v + 25. Is c greater than or equal to v?
False
Let k be ((-7)/(-2))/(1/8). Let c be 79/(-4)*88/k. Let u = c - -125/2. Which is bigger: u or 1?
1
Let j = 1 + 6. Let y = -8 + j. Let l = -4 - -3.8. Which is smaller: l or y?
y
Let g = 5 + -3. Let j = 8 + -7. Let c be (3 - j)*(3 + -2). Is g less than c?
False
Let k = -10 + 6. Let o(n) = -n**3 - 8*n**2 + 9*n - 3. Let d be o(-9). Which is bigger: d or k?
d
Let c = -20 - -42. Suppose 3*q - 2*m - c = 0, 2*q - 2*m = 2*m + 12. Let h be (1 + q/(-6))*1. Do h and 1 have the same value?
False
Let u(z) = -3*z - 5. Let v be u(-5). Let q = v - 7. Is 0.2 bigger than q?
False
Let t(s) = s**3 + 2*s**2 - 1. Let y be t(-2). Which is smaller: y or 2?
y
Let c(s) = -s + 3. Let m be c(3). Suppose 5*z - 5*g + 5 = 0, 4*z - g + 4 = 12. Which is greater: z or m?
z
Suppose 10*q + 46 = 16. Is -16 greater than q?
False
Let k = -1 + -3. Let y(o) = -4*o**2 - o + 5. Let n(f) = 3*f**2 + f - 4. Let x(m) = k*y(m) - 5*n(m). Let p be x(0). Is p less than 0?
False
Let c = -817/7 + 117. Let q = -