 f(3). Which is smaller: 2198 or n?
n
Suppose 33*v = 56*v - 31*v - 12544. Do -1566 and v have different values?
True
Let z be (111/(-27) - 1)*(-114)/17024. Is z != 1?
True
Let y be ((-9)/(-12))/(4*(-3)/(-16)). Is y at least -224/19?
True
Let y be 5*5 - (-60)/(-15). Let z be 1/7*92 - 3/y. Let f = z - 11. Are f and 11/6 non-equal?
True
Let x = 526073/25 - 21043. Let t = 3 - 2. Is t greater than x?
True
Let t = 582 + -624. Suppose 294 = 4*l - 3*x, -l + 53 = x - 24. Let i = t + l. Is i less than 32?
False
Suppose t = 8, 0 = 2*s - 2*t - 2418 + 2446. Does -516/95 = s?
False
Suppose -5*s + 4*g = g - 15, 5*g = -s + 31. Let v = 13 + -16. Let d be 6 + v + (-5)/1. Which is smaller: s or d?
d
Let i = 5557 - 5593. Is i != -11?
True
Suppose -3*r - r + 1116 = -152. Is 2220/7 < r?
False
Suppose -155 = -7*p + 6*p. Let g = -617/4 + p. Let f(u) = -u**3 - 22*u**2 + 44*u - 96. Let i be f(-24). Are g and i unequal?
True
Let h = 7449 - 13512487/1814. Which is greater: 0 or h?
0
Suppose 0 = 5*w - 3*w + 2*w. Let g be 1*7 - (w - -2). Suppose 12*a - 26 = -a. Which is bigger: g or a?
g
Let y be (-69)/(-161) - 1034/2478. Let q = -2 + 1.8. Is q at least y?
False
Let d = 0.02 - 3.02. Let i = -1384.4 - -1384.06. Which is smaller: d or i?
d
Suppose -309*n + 452 = -305*n. Suppose -7*i + 7 = -0*i. Which is smaller: n or i?
i
Let g be (2 + 2)*(-133)/(-76)*(205 + 0). Is g > 1434?
True
Suppose -3*u + 4 = -2. Let m(w) = w**3 + 26*w**2 - 81*w + 186. Let c be m(-29). Suppose t - c = 2*f - 16, -5*f + 19 = 2*t. Is t less than u?
False
Let s = -365875/19 + 19261. Let o = 3341979/1640954 - -3344/1393. Let g = s - o. Which is smaller: g or 0?
g
Let m = 80 + -107. Let s = -70 + 105. Let p = m + s. Which is bigger: 0.3 or p?
p
Let n = 8648/77 + -783/7. Which is smaller: n or -2/227?
-2/227
Let q(o) = -27*o + 6. Let f be q(3). Let d be (28/f)/((-450)/375). Is d < 2/7?
False
Let g(n) = -n + 1. Let m(k) = 2*k - 36. Let v(j) = -4*j + 71. Let p(z) = 7*m(z) + 4*v(z). Let l be p(15). Let o be g(l). Is -1 at least o?
True
Let w = -12749.94 + 12750. Is w > 368?
False
Let x = -21 - 1. Let l(t) = t**3 + 22*t**2 - 2. Let g be l(x). Let u be ((-6)/(-8))/(g/(8/(-6))). Which is smaller: u or 0.26?
0.26
Let w be (2/((-12)/30))/1. Let p(v) = -2*v**2 - 9*v - 5. Let i be p(w). Let j(u) = u - 11. Let a be j(0). Do i and a have the same value?
False
Suppose -3922 = -158*r + 186. Suppose -44 = -3*k + k + j, -4*k + 84 = -3*j. Is r greater than k?
True
Let u = 27992 - 27991.8. Let w be ((-1)/(-1))/(29/15). Which is greater: u or w?
w
Let x = -38 + 57. Let q = 508 + -489. Is q != x?
False
Let w = 621/5 + -8103/65. Let b = -27989 + 139946/5. Which is greater: b or w?
b
Let r = -281 - -239. Let f = -46 - -81. Let b = r + f. Is -0.1 at least b?
True
Let x be (-90)/(-23 - -41) - (-264 - -1). Does 257 = x?
False
Let z = -56.444 + -0.556. Let r = z + 59. Is r >= 3/7?
True
Let a = -1595 - -1597. Which is smaller: 0.053 or a?
0.053
Suppose 586*r + 61820 = 576*r. Which is smaller: r or -6180?
r
Let r = -1101 + 557. Let l be -1 - 2 - (-413389)/r. Let c = 763 + l. Are 1 and c nonequal?
True
Suppose 3*a = 56 + 10. Suppose -3*q - 44 = 4*o, 5*q = -7*o + 4*o - a. Let x(g) = -g**3 + 24*g**2 + 97*g - 1169. Let d be x(26). Is d < o?
False
Let d be ((-8080)/(-54))/((42/6)/21). Do 449 and d have the same value?
False
Let s be -1 + 163 + (1/(7/70) - 4). Suppose x + 8 - 175 = 0. Which is smaller: x or s?
x
Let p be (3/2)/((-1)/(-34)). Let k(m) = -36*m**2 - m + 8*m**3 - 8 + p*m**2 - 7*m**3. Let i be k(-15). Is i > 7?
False
Let u = -5 + 1. Let a be (1 - 4772/12)/(86/1). Let p = 12/43 + a. Which is smaller: u or p?
p
Let j be ((-4)/6)/((-37)/3774). Let r = 40 - j. Is r less than -28?
False
Let k be 345/10 - 2/(-4). Suppose k = 2*f - 25. Let y(n) = n**2 + 16*n - 346. Let o be y(13). Which is greater: f or o?
o
Suppose 0 = 4*v - 236 - 388. Let q be -2*((-6)/4)/(36/v). Suppose 3*b - 7*b = -20, 2*x - 48 = -4*b. Which is smaller: q or x?
q
Suppose 3*y - 5*c + c + 1152 = 0, -3 = c. Which is bigger: -389 or y?
y
Suppose 33 + 74 = 100*u + 7. Is -6/7339 < u?
True
Suppose 0 = -x - 4*i + 4, -4*x - i + 107 = 106. Which is bigger: x or -4/12303?
x
Let c = -0.7 + 0.8. Let a = -1171 + 1451. Which is smaller: c or a?
c
Suppose 515 = -329*p + 296*p + 13022. Is 380 greater than p?
True
Let b = -20480 - -15826. Is b >= -4654?
True
Let x be -2*(-5)/10 - -5. Suppose -x*w + 50 = -w. Let f be (-162)/105 + w/25. Is f at most -1?
True
Let l = 4 - 3. Let g be 5 + (-1 - 1389/(-6)) - 6. Let b = 230 - g. Is l greater than b?
True
Let w be 5/(25/(-15))*78/(-18). Let j be 234/420 - w/26. Which is greater: -1/2 or j?
j
Let x = -144 - -143.914. Let b = x - 0.914. Which is smaller: 1/23 or b?
b
Let v = 16896 - 16896. Which is smaller: -1/47881 or v?
-1/47881
Let f be 2/(-9) + 1*(-668)/(-3087). Let r = 152087274 - 573825288896/3773. Let t = r + f. Which is bigger: t or -2?
t
Let c = -341 - -133. Let g = 207.96 + c. Which is smaller: 1 or g?
g
Let u be (18 - 2788/153)*2*-3. Let i = 20 + -20.15. Which is greater: u or i?
u
Let n be 3/(-5) + 45/75. Suppose 3*d = -3*f + 225, d = -n*f + 4*f + 100. Is 81 > d?
True
Let m(g) = -g**3 - g**2 + 7*g + 167. Let c be m(10). Is -865 not equal to c?
True
Suppose -2*s + 265*z = 268*z - 3574, 4*z - 1782 = -s. Is 1792 != s?
True
Let c(b) = b**2 + 9*b + 29. Let v be c(-5). Let n be (-18)/(-6) - v - -24. Is 18 at most n?
True
Suppose 0 = 2*h + 2*n - 104, 0 = 4*h - 2*h + 3*n - 103. Let f(v) = -v**3 + 9*v**2 - 4*v - 29. Let t be f(6). Which is greater: t or h?
t
Let y = -9898 - -7726. Which is smaller: y or -2171?
y
Let k = 40.488 + -0.088. Let o = 39.4 - k. Which is bigger: 0.0156 or o?
0.0156
Suppose -3*k - 5*u = 95, 130 = -4*k - 8*u + 3*u. Let f be (-3 + (-123)/6)*(-20)/k. Which is smaller: -12 or f?
f
Suppose 4*v = 3*y - 159, -1775*v - 311 = -5*y - 1776*v. Which is smaller: 178 or y?
y
Let t(s) = -s**3 + 25*s**2 + 27*s + 58. Let a be t(26). Let p = 41 - a. Which is bigger: -44 or p?
p
Let w = 4889 - 4888.84. Which is greater: w or 75/7?
75/7
Let i = 579/7 - 87. Let o = 16/433 - -13744/3031. Let d = i + o. Which is smaller: d or 5?
d
Let m(b) = 7 - 2*b**2 + 3*b**2 + 2*b + 0*b. Let o be m(-5). Let x(w) = -w**2 - 651*w - 15025. Let z be x(-24). Which is smaller: z or o?
o
Let s(k) be the third derivative of -3/8*k**4 - 18*k**2 + 1/60*k**5 + 0*k + 0 + 10/3*k**3. Let v be s(4). Are 1/45 and v non-equal?
True
Let p be (-1 - 4090/(-4072))/(11025/336 - 33). Do -1 and p have different values?
True
Let o = -323.92915 - 0.07085. Which is smaller: -2/13 or o?
o
Let g = -532 + 309. Let i = 234 + g. Which is bigger: i or 19?
19
Let t(q) = -4*q**3 - 32*q**2 - 40*q + 4. Let b be t(-5). Let v be (101 - (-1 + 4))*-1. Which is bigger: v or b?
b
Suppose 0 = 2*o + c - 40, 2*o + 4*c = 5*c + 32. Suppose 3*s + o = 6*s. Suppose 7*h + s = h. Is h at least as big as 33?
False
Let t = 129.6 - 123. Let o = 126.4 + t. Which is greater: o or -1/4?
o
Let r be (-87316)/176 - 1/4. Suppose -142*p + 7968 = -126*p. Let k = r + p. Are 1 and k unequal?
True
Let l(c) = c**3 - 12*c**2 - 682*c - 358. Let a be l(33). Let i(w) = 16*w + 2. Let b be i(3). Does a = b?
False
Let p be 3/(-6) + 150995/78 + 7/(-3). Which is smaller: 1934 or p?
p
Let a be -12*(-5)/75 - 1/(-5). Let t = 6 + a. Let o be (-411)/t - (-24)/(-84). Is o less than or equal to -60?
False
Let k = -479/2 + 362. Let c = k - 123. Which is greater: c or -10.7?
c
Let d(v) = 3*v**3 + 9*v**2 + 1 + 1 - 10*v**2 + v - 4*v**3. Let i be d(-2). Suppose 12 = q - 0*n + i*n, -q = n - 12. Is -2 smaller than q?
True
Let c(i) = -i**3 - 18*i**2 - 25*i + 25. Let v be c(-16). Let k be (v - -86) + 0 + (-4)/(-6). Is k >= 1?
False
Let v = 50808 - 5131695/101. Is v at most as big as 0?
True
Let w = 79 + -86. Let q(g) = g**3 + 8*g**2 + 3*g - 13. Let v be q(w). Let t be -3*30/27*(-24)/5. Is t != v?
True
Let q be 30/4 + (-99)/(-27). Which is greater: q or 10?
q
Suppose 2*r + 33 = 3*b, -36 = 3*b - 6*b + r. Suppose b*l - 32 = 17*l. Let v be l/28 - (-33)/42. Which is smaller: -11/5 or v?
-11/5
Suppose 2*x = -x - 468. Let o = -90965 + 90808. Which is smaller: x or o?
o
Let a = 34067 + -34067. Do a and -68/273 have the same value?
False
Let x = -4583.3 - -4264. Let a = x - -322. Is 0 > a?
False
Let c(l) = 5*l - 32. Let g(v) = 3*v - 17. Let w(d) = 6*