 of -m**5/20 - 7*m**4/4 - m**2 + m. Suppose 0 = 161*t + 696 + 3315 - 630. Let k be j(t). Which is smaller: -4 or k?
-4
Let d = 15446 + -77577/5. Let l = d + 70. Are -2 and l equal?
False
Let v = 632.7 - 636.7. Which is smaller: v or 145?
v
Let d(r) = 11*r**2 + 6*r. Let c be d(-4). Let a be c/171 - (-4)/(-6). Which is smaller: -44 or a?
-44
Let r = 17.819 - -12.211. Is -2 at most r?
True
Let o be 1 + (-1519)/(-14)*-2. Which is bigger: o or -211?
-211
Suppose 5*p - 5 = -5*m, -4*p + m = 4*m - 3. Suppose -2*h - 4*s - 130 = p, -3*h + s = -s + 211. Which is smaller: 0 or h?
h
Let p = 228939 + -4348011/19. Is 96 greater than or equal to p?
False
Let l(r) = -r**3 - 23*r**2 - 33*r - 243. Let k be l(-22). Which is smaller: k or 24/79?
k
Suppose -u - 3*a = 2, 0 = 21*u - 19*u - 4*a - 6. Which is bigger: -1/12985 or u?
u
Suppose 0 = -6*n + 4 + 74. Let a = -142 - -237. Let j = 109 - a. Which is smaller: j or n?
n
Let a = -81 - -325/4. Let m = 27 - -10. Let g = m - 31. Which is bigger: g or a?
g
Let x = 7.48 + -2.91. Let c = 4.47 - x. Is c smaller than 1/196?
True
Let y = 1056 + -2112. Let i be (2/4)/((-8)/y). Suppose 4*b + i = 5*b. Is 66 less than b?
False
Suppose 3*i = 3*z + 177, 2*i + z = -z + 110. Suppose -7*f - 709 = -723. Suppose 3*o + 2*o + 114 = -3*t, -f*t + 3*o = i. Which is smaller: t or -32?
t
Suppose -5*u - 30 = 5*y, -5*y + 6*u = u. Let p(f) = 9*f + 21. Let j be p(5). Suppose -87 + j = -3*t. Which is smaller: y or t?
y
Suppose 3*v - 7 = -a, 12 - 11 = -3*v - 5*a. Which is greater: v or -85?
v
Let h be 8/(-10)*(-30)/12. Suppose i + 4*x = h*i - 28, -x + 32 = 3*i. Which is bigger: 11 or i?
i
Let v(d) = -24*d + 2. Let s be v(3). Suppose 6*o + 203 + 211 = -0*o. Is o bigger than s?
True
Let f = 30 + -239. Let t be (-17)/19 - (-22)/f. Which is greater: t or 2/283?
2/283
Let b = -29.802848 + 0.009848. Let c = 0.207 - b. Is -1 at least c?
False
Let b = 95 - 90. Suppose 15*r + 175 = 5*m + 20*r, 3*m = -b*r + 111. Which is smaller: 30 or m?
30
Let x = -5179085/12796 - 24/3199. Let q = 405 + x. Is 0.4 bigger than q?
True
Suppose -1202 = 211*y + 1164 + 1010. Let n = 41 - 0. Suppose 0 = 2*u + n - 11. Is y less than or equal to u?
True
Let m(c) = 6*c - 55. Let x(z) = 7*z - 56. Let g(j) = -5*m(j) + 4*x(j). Let i(v) = v**3 + 6*v**2 - 16*v + 22. Let p be i(-8). Let t be g(p). Is t less than 7?
False
Let r(q) = q**2 - 229*q - 863. Let u be r(0). Is -5/3 less than u?
False
Let u = -5.622 + 0.122. Let s = -25.5 - u. Is 3 at least s?
True
Let a(k) = k**3 + k**2 - k - 1. Let m(y) = -2*y**3 - 20*y**2 - 19*y + 48. Let p(z) = -3*a(z) - m(z). Let b be p(18). Which is greater: b or 336/13?
b
Let k = 86/3 - 28. Let m = 12642 - 12541.19. Let p = m - 101. Which is smaller: k or p?
p
Let u = -0.0055 + 311.0055. Let i = u - 244. Is -0.2 greater than or equal to i?
False
Suppose 0 = 7*b + 193 + 10. Let f be ((-4)/6)/(5/((-1395)/(-6))). Is b less than or equal to f?
False
Let u = 51 + -48. Suppose 7*z = -u*z + 40. Let r be (-5 + z)*(-4)/(-52). Which is smaller: r or 1?
r
Let m = -84 + -59. Let i be 10461/m - 2/(-13). Is i less than or equal to -74?
False
Let l = 1088.935 + -1088.8. Do l and -3/5 have the same value?
False
Let s = -6.7 - -34.7. Let h = s - 36. Let n = h + 6. Which is smaller: -15 or n?
-15
Let z = 10.06 - 5.04. Let l = 1.02 - z. Is l != 0.7?
True
Let r = 73 + -77. Let q be r*6/(-336) - (-4)/(-7). Is 2.7 bigger than q?
True
Suppose 39*g - 626 = -2147. Let a be (-8532)/26 + (-6)/g. Which is smaller: -329 or a?
-329
Let n(g) = -116*g + 1228. Let q be n(21). Are q and -1208 non-equal?
False
Let k be 6091850/(-63678) + -12 + 4. Let y = 2/10613 - k. Which is smaller: y or 104?
y
Let o be (-40)/3*(-6)/35. Suppose -2108 = -17*u - 2125. Is o at least as big as u?
True
Let g = 2688055/4 - 244629041/364. Let p = g + 310/7. Is -1 <= p?
True
Let t = -44 - -34. Let r = 11 + t. Let i = -49 + 47. Which is smaller: i or r?
i
Let o = 150.938 + -151. Let q = o + 0.022. Which is smaller: -2/5 or q?
-2/5
Let m(l) = -3*l**2 + l - 107. Let y be m(0). Let g be (0 + -107)*(-12)/204*-17. Is y less than or equal to g?
True
Let k = -34705190204/3443 - -10079928. Let h = -2/313 + k. Which is bigger: -5 or h?
h
Let h(p) = 2*p**3 - 32*p**2 + 5*p - 9. Let l = -435 - -450. Let o be h(l). Which is bigger: o or -385?
o
Suppose -3*n = -3*s - 540, -5*n - 2*s - 225 = -1104. Is 182 bigger than n?
True
Let t(o) = -6*o**3 - o**2 - 8*o - 11. Let m(s) = 5*s**3 + 8*s + 11. Let h(j) = 7*m(j) + 6*t(j). Suppose -609 = 44*f + 43*f. Let i be h(f). Is i greater than 6?
False
Let m(a) = 6*a + 48. Let i(u) = -1. Let g(y) = i(y) - m(y). Let c be g(-8). Let k be (-3)/4 - (-1 + 140/688). Which is greater: k or c?
k
Let k(h) = 9*h + 73. Let j be k(-10). Let l(x) = x**2 + 19*x + 27. Let i be l(j). Which is smaller: i or -8?
-8
Let d = 10547 - 10361. Which is greater: d or 0.09?
d
Let v be 4/(-438)*1362/(-14528). Is 1 smaller than v?
False
Suppose 3*k + 6 = 5*z, 4*k - 17 = 2*z - 25. Is -2/15133 at least z?
False
Suppose -199 = -13*v - 173. Which is bigger: v or 90/119?
v
Suppose -5*b = 3*z - 2*z + 39, -z - 4 = 0. Let l be b/(-35) + (-320)/(-25). Is l >= 16?
False
Let p(s) = -s**2 + 10*s - 22. Suppose -92 = -5*t + 8. Suppose 2*u - t = -2*u. Let f be p(u). Is f > 1?
True
Let l be ((-72)/(-16))/(-3) - (1/2 - -1). Which is greater: -44/13 or l?
l
Suppose -32*f = -45881 - 52295. Is f <= 3066?
False
Suppose 11*u + 8652 = -1372 - 16519. Is u less than -2409?
True
Let i = 1664 - 1688. Suppose 6*s = 3*s, 4*s - 2 = -h. Which is smaller: i or h?
i
Let k = 785 - 437. Let s = k - 3838/11. Which is smaller: 0 or s?
s
Let j = 24 + -12. Let n = -65 + j. Let o = n - -35. Are o and -1/3 equal?
False
Let d = -4.5 - -4.43. Let l = -4.17 - d. Let o = -4.061 - l. Is o equal to 2/9?
False
Let q be ((-108)/7)/9*(-7)/2. Suppose x - 7 - q = 4*o, 2*x - 5*o - 23 = 0. Suppose -21*p + x*p = 0. Is p bigger than -6?
True
Let z be ((-26)/390*32)/(310/3). Which is smaller: z or 1?
z
Let b be (-26639)/15 - (-3 + -1 + 7). Let k = 1780 + b. Which is bigger: k or 0?
k
Suppose 8694 = 8*n + 10*n. Suppose n = -35*g + 42*g. Is 69 <= g?
True
Let i be (539/462)/((-1)/(-18)). Is 7 at least as big as i?
False
Let p = 393473 + -76333759/194. Let o(w) = -w**2 + 6*w - 4. Let h be o(5). Is p less than or equal to h?
True
Suppose 0 = -3*g, 11*o + 3*g = 16*o + 7*g. Let r = 31557296579/101 + -312451257. Let q = r + 2776. Which is smaller: q or o?
q
Let g = 88 - -43. Let l = g - 198. Is l not equal to -67?
False
Let r = -25 - -15. Let y be 4/7*(r - -17). Let g be (-1)/(-3*-2*y/(-24)). Is g bigger than 13/7?
False
Suppose 0 = -30*u + 383 - 293. Let c be (-45)/(-28) + (-3)/(-12). Which is greater: u or c?
u
Let d be ((-1070)/(-4)*(-442)/221)/(0 - -1). Which is greater: d or -526?
-526
Let c = 2 + 0. Let o be 21/c - (-4 + 3). Suppose -108*v + 2472 = 98*v. Which is bigger: o or v?
v
Let o = 981 + -982. Which is greater: -8/679 or o?
-8/679
Let g be -9 - (215308/1260)/(-19). Which is smaller: -1/5 or g?
-1/5
Let l be 26/(-28) - (-2 + 1). Let u(s) = -s**3 - 1. Let f(a) = -8*a**3 - 9*a**2 + 3*a - 16. Let p(h) = -f(h) + 6*u(h). Let q be p(-5). Which is smaller: q or l?
q
Let s be (3/2)/((-9)/(-1620)*18). Which is greater: 45 or s?
45
Let z(k) = k**3 + 16*k**2 - 215*k - 553. Let p be z(-24). Let x be (-2)/(-8) + (-706)/(-152). Let l = x + -5. Which is smaller: p or l?
p
Let w = -18 + 47. Let i = w + -65. Let n = i + 35.8. Is 2/9 greater than n?
True
Let r = 6359 - 6358.939. Is r less than 2/19?
True
Let i be (-2)/4 + ((-12756)/(-4968) - 2). Which is greater: i or -1?
i
Suppose 182*d = -56223 - 7841. Is d smaller than -352?
False
Suppose -2*r - 1 = -r. Let h = 980 - 581. Let f = h + -2006/5. Which is bigger: f or r?
r
Let y = 1 + 3. Let o = -283 - 357. Let u be (-862)/(-180) + (-64)/o. Is y less than u?
True
Let p(x) = x**2 - 12*x - 3. Let m be p(15). Suppose 41*c - m*c = -67. Let f = 80 - c. Which is smaller: 1 or f?
1
Suppose 11*p + 2*f = 13*p - 96, -3*f - 238 = -5*p. Let j be (-3)/(5/(3 - -2)) + p. Are 46 and j equal?
False
Let o(w) = -11 + 4*w + 10*w**2 + 12*w**2 - 15*w**2. Let k be o(-6). Is k equal to 217?
True
Let r(t) = 241*t + 16150. Let n be r(-67). Is n smaller than -0.1536?
False
Suppose 0 = 3*o - 15, z - 4*z + 3*o = 33. Let j(x) = 56*x + 118. Let a be j(z). Which is sm