/423 < c?
True
Let i be (231/(-49) + -3)*(-42)/9. Is i greater than 0?
True
Let m = 8.18 + -0.18. Let z = -69 - -63. Let k = m + z. Do k and -0.1 have the same value?
False
Let i(b) be the second derivative of -b**4/12 - 2*b**3/3 + 3*b**2/2 + 2*b. Let j be i(-4). Which is smaller: 1 or j?
1
Let k = -21 - -44. Suppose -2*o + 7 = c + 4*c, -c = -5*o - k. Suppose -4*d + 2*d + 8 = 0. Is d at least as big as c?
True
Suppose n - 41 + 53 = 0. Let f = 4 - 6. Is n >= f?
False
Let d(x) = 22*x - 51. Let k be d(16). Which is greater: k or 302?
302
Let v(b) = -b**3 + b**2 + b - 6. Let c be v(0). Let f = c - -6. Let k = -4643/22 - -211. Is k > f?
False
Let t(y) = -y**3 - 3*y**2 + 6*y + 3. Let g be t(-5). Suppose 5*u = g + 2. Suppose 11*m - u = 16*m. Which is smaller: -2/33 or m?
m
Let v = 29 + -20. Suppose -i + 2 - 3 = -s, -2*i = 5*s + v. Let w be 0/((-2)/(i - -3)). Which is smaller: w or -2/25?
-2/25
Let z = 10.37 - 42.37. Is -2 smaller than z?
False
Let t(a) = 15*a - 67. Let b be t(5). Is 4 <= b?
True
Let b be 1 + 0 + 2/(-4). Let c = 99 + -94.3. Let k = c + 4.3. Which is bigger: k or b?
k
Suppose 99 = -2*o - 121. Let w be (-4)/22 - (-2)/o. Suppose 3*v = -2*b - v + 14, -3*b + 3*v - 15 = 0. Is w < b?
False
Suppose -2*a = -14*a. Let p be (a - 2) + -1 + (-1917)/(-621). Are 1 and p nonequal?
True
Let r(l) = l**2 + 14*l - 10. Let w be r(-15). Suppose w*c + 0*c - 20 = 0. Suppose 2*a - c = 6*a. Which is bigger: -6/5 or a?
a
Suppose 2*i + 177*w + 3 = 176*w, 2*i - 2*w - 6 = 0. Let x be (-1)/2*0/(-2). Is i > x?
False
Suppose 4*d - p - 3*p = -156, -d - 5*p = 9. Let v = d - -135/4. Are v and -1 nonequal?
True
Let y = -123 - -122. Let x(p) = 5*p**3 - 2*p**2 - 2*p - 2. Let t be x(y). Is t less than -1?
True
Let x = -2555 - -38353/15. Is 3 greater than or equal to x?
True
Let n be (-7 - -9)/(0 - -1). Suppose -a + 4 = n. Suppose a*k = -2*k. Are k and -1/4 equal?
False
Let r = -21 - -16. Let q be (2/r)/(9/(-5)). Is q less than 1/2?
True
Suppose -5*z + 4 - 9 = 0. Let p be 1/(-4)*-2*10. Let o be 1 - (28/p)/4. Does z = o?
False
Let k(m) = -4*m**2 + 56*m - 40. Let w be k(17). Which is smaller: w or -243?
w
Let g = 126 - 469. Let d = g - -3427/10. Suppose 3 = 4*a + 7. Which is smaller: a or d?
a
Let w = -2 - 2. Let z be (0 + (w - -9))/1. Suppose -t + z = -6*t. Which is bigger: t or 2/5?
2/5
Let a(l) = -2*l**2 + 2*l - 4. Let u(x) = 2*x + 2. Let n be u(0). Let v be a(n). Is -26/3 at most v?
True
Suppose 55*j + 5190 = 45*j. Does j = -517?
False
Let a(k) = k**3 + 5*k**2 - 2*k + 6. Let y be a(-5). Suppose s = -3*s + y. Let v be (-5 + s)/((-98)/(-4)). Which is smaller: v or 0?
v
Let f = -27 + 42. Let c = -15.3 + f. Which is bigger: -0.05 or c?
-0.05
Let j = -521 + 530. Suppose 0 = -3*p - 2*p - 5, -2*s - p + 19 = 0. Which is smaller: s or j?
j
Let l = 363/10057 + -4/89. Let p = l + -217/1017. Suppose -3*y + 4 = -4*b, -5 = 5*y + 8*b - 3*b. Is p != y?
True
Let l be (-42)/(-1) + (-8)/4. Let t be (-11)/l - 20/(-80). Are t and -1 unequal?
True
Let n = 23 - 22.994. Let t = n + -0.506. Let d = -86 - -604/7. Is d at least t?
True
Let t(a) = -2*a**3 + 15*a**2 - 11*a - 42. Let k be t(6). Is -17/59 greater than or equal to k?
False
Suppose 0 = 6*j + j + 210. Let i be (-18)/j - 558/(-20). Let h = 28 - i. Which is smaller: 0 or h?
h
Let w be ((-8)/(512/(-8)))/((-6)/2584). Is -54 < w?
True
Let f = 41 + -69. Let b be -2 + f - 3*(-8)/(-12). Is -32 != b?
False
Let u = 5098 + -5092. Let d = -0.1 - -0.05. Is d less than u?
True
Let h = 77 - 319. Let r be (-7)/28 + h/(-8). Let n be r/(-4)*2/(-10). Is 2 at least n?
True
Let n be 8600/(-500)*(-10)/4. Which is greater: 34 or n?
n
Let x be 1519/189 + -4 - 4. Is x bigger than -1?
True
Let f(d) = d**2 - 5*d - 74. Let j be f(-26). Is j greater than 732?
False
Let b(q) = q - 4. Let t be b(9). Let j be (5/(-3))/(t/(-15)). Suppose j*p = 6*p. Which is smaller: p or -1/23?
-1/23
Let f be (63/36)/((-1)/(-4)). Suppose 0*j + 80 = 5*j. Let v = -10 + j. Which is smaller: f or v?
v
Let u(q) = q**3 + 7*q**2 + 4*q - 7. Let c be u(-6). Suppose 0 = g + 3, c*l - 2*g - 3*g - 145 = 0. Let h(z) = -z**2 + 7*z + 16. Let v be h(5). Is l <= v?
True
Let s = 7.11 - 6.982. Is 0.3 smaller than s?
False
Suppose -i - 30 - 3 = -s, s = 2*i + 71. Which is bigger: i or -36?
-36
Let n(m) = -m**3 + 7*m**2 - 5*m - 8. Let k be n(6). Let x be k/1 + (2 - 1). Let u be (828/(-210) - 1) + 5. Is x greater than or equal to u?
False
Let m(t) = t**3 - 7*t**2 - 6*t - 19. Let u be m(8). Is -1 bigger than u?
True
Let j = 5500/37023 + -2/903. Let z = 80 + -81. Is z > j?
False
Let v(f) = -1 - f + 9 - 2. Let j be v(8). Let z be 1/1*(-5 - j). Is -2 <= z?
False
Let t be 96/44 + (5 - 57/11). Is 30/37 greater than t?
False
Suppose d + 3*d + 28 = 0. Let i = d + 6. Let m be 46/(-26) + 4/2. Is i at least as big as m?
False
Suppose -3*y - 3*p = -0*p + 375, 0 = -3*p - 9. Let o = y - -121. Is 8/19 at least o?
True
Let n = -49 - -46. Let a = -385 + 1531/4. Which is smaller: a or n?
n
Let i be ((25/10)/(-5))/((-2)/(-164)). Let p = 41 + i. Let g be ((-26)/10 - -2)*1. Which is smaller: g or p?
g
Let z(t) = t - 21. Let k be z(7). Let c be (-3)/(-7) + (-34)/k. Is 2 less than c?
True
Let v = 7429/57288 - -1/5208. Is 1 > v?
True
Let t = 2049 + -2049.454. Is t smaller than 1?
True
Suppose 0 = -d + 6*d - 5, -t = 3*d - 137. Let o be -7 - (-5 - -5 - 142). Is t bigger than o?
False
Let p = 39 + -36. Let k = 5 - 0. Suppose -z = 2*s - 9, z = -p*s + k*s - 7. Which is smaller: -3/14 or z?
-3/14
Let a(j) = j**3 + 7*j**2 - 4*j - 4. Let d be a(-3). Let w = 31 - d. Do -13 and w have different values?
False
Let x = -472 - -40589/86. Which is smaller: x or 1?
x
Let q = 24 - 21. Suppose 4*y = 5 + q. Which is greater: 30 or y?
30
Let k = 0.2 - 0.4. Let a(m) = -m**2 + 1. Let s(c) = -5*c**2 + 4. Let v(d) = 12*a(d) - 3*s(d). Let i be v(1). Is k at most i?
True
Suppose 1176 = -17*p - 39*p. Is -22 < p?
True
Let c(a) = a**2 - 2*a - 5. Suppose -15 = -5*t - 0*t. Let f be c(t). Let r(l) = -l**2 - l - 4. Let n be r(f). Which is bigger: n or -7?
n
Let c(v) = -2*v + 4. Let j = -12 + 5. Let w be c(j). Are 18 and w unequal?
False
Let p(j) = 121*j**3 - 2*j**2 - 12*j - 12. Let f be p(-1). Which is smaller: f or -121?
f
Let o = -0.949 - 0.051. Let j = 1.02 + o. Is -0.4 >= j?
False
Let t be ((-54880)/3410)/16 + 1. Is 1 less than or equal to t?
False
Let g be (-4)/(-10) - (28/35)/2. Is g greater than 1/6?
False
Let u be (-2 - -8) + (-8)/2. Suppose u*i = -3*i + 5. Which is smaller: 7/9 or i?
7/9
Let r = -213 + 202. Is -10 >= r?
True
Let g be (42/(-27))/((-60)/(-9)). Is 1 bigger than g?
True
Let j = -1168.98 - -1169. Are -6 and j unequal?
True
Suppose 0 = c + 5*x - 26, 3*c + c + 1 = x. Let k = -1836/11 + 22043/132. Does k = c?
False
Let j = -1421 + 1348. Which is smaller: -72 or j?
j
Let l = 1049/476 - -19/28. Is l at least 3?
False
Let n be (-1)/2 + 115/(-10). Let t be n/(-57)*4 - 1. Suppose 0 = -8*i + 4*i. Which is greater: i or t?
i
Let y be ((-1 - 0)/3)/((-35)/(-27)). Is y != 1?
True
Suppose 2*u - 14 - 10 = 0. Let v be 16/u*3/(-24). Which is smaller: v or -0.3?
-0.3
Let l(h) = h**3 - 6*h**2 + h + 1. Let t be l(6). Let s(k) = -2 - 4 + k + k**2 + t - 3. Let g be s(-3). Is g > 2?
True
Suppose m + 13 = -3*x - 4*m, 0 = 3*x - 3*m - 3. Which is greater: x or -19/15?
x
Let g(t) = -t**3 + 5*t**2 + 7*t + 2. Let x be g(6). Suppose -213 = -11*l + 14*l. Let r = l - -78. Which is greater: x or r?
x
Suppose 2*k - 2*w - 178 = 0, -5*w - 25 = -5. Suppose -g = 5*x + k, x - 2*x + 3*g = 33. Let f = x - -21. Which is bigger: f or 9/4?
f
Suppose 2*q - 2*j = 0, -3*q - 2*j + 15 = -2*q. Suppose 2 = 2*o - o. Suppose 2*b + 1 = -2*z + 19, -o*z + 13 = b. Is b less than or equal to q?
True
Let m = 137.71 + -0.71. Let x = -121 + m. Is x greater than or equal to 0.3?
True
Suppose -26*x = 43*x + 3243. Is -37 at least as big as x?
True
Suppose -5*b - 1 - 4 = 0, 3*j + 3*b = -9. Let o be j/(-4) - (-138)/12. Which is smaller: 13 or o?
o
Let c be (132/(-130))/(21/(-5) - -4). Are c and 5 equal?
False
Let c = 244/301 - -2/43. Let n(u) = u**2 + 2*u + 2. Let y be n(-2). Suppose -y*m + 4 = -0*m. Is m greater than c?
True
Suppose -18 = 5*t - 2*s, -2*t - 3 - 21 = -5*s. Let w be -1 + 0/3 + 3. Let v be w/(-72) + t/(-8). Which is smaller: 1 or v?
v
Suppose -9*c = -493 - 326. Let m = 2092/23 - c. Which is sm