to p?
False
Let a(n) be the third derivative of n**5/60 - 7*n**4/24 + 5*n**3/3 - 10*n**2. Let y be a(5). Let f = -642 + 4486/7. Is y equal to f?
False
Let o(y) = -2*y - 3. Let f be o(14). Let u = f - -278/9. Suppose 4*n + n - 5 = 0. Is u at least as big as n?
False
Suppose -3*p = -3*u + 3, u + 3*p = -4 + 1. Let g = 26 + -16. Let h = g + u. Which is greater: 11 or h?
11
Let h(p) = p**3 + 11*p**2 + 23*p - 4. Let a be h(-8). Let z = 4 - 3. Let y = z - -2. Is y smaller than a?
True
Let n(v) = -v**2 + 5*v. Let m be n(6). Let k(t) = -4*t - 23. Let f be k(m). Which is smaller: f or 4/23?
4/23
Let w = 10 + -10. Let k = 511 - 5615/11. Which is smaller: w or k?
w
Suppose 0 = 3*i - c - 166, -3*i + 3*c + 282 = 2*i. Let d be (-2)/(3 - 4) - 107/i. Which is smaller: -1 or d?
-1
Let r(h) = h**3 - 14*h**2 - h + 5. Suppose -3 - 1 = -4*u, 2*m = 4*u + 24. Let j be r(m). Let n(i) = i**3 + 9*i**2 + 4. Let l be n(j). Which is smaller: l or 6?
l
Suppose 3*y + 18 = -3*k, -3*y - 5*k - 2 = 26. Which is smaller: 4/23 or y?
y
Let t be 10/(-5) + 10/6. Is 0 smaller than t?
False
Suppose 4*k - 3*l - 2*l - 47 = 0, 3*l - 23 = -4*k. Let w(i) = i**3 - 9*i**2 + 7*i + 10. Let t be w(k). Suppose 1 = m + t. Is m at least 1?
False
Let q be (-1)/13 + 24/(-52). Let i be 2/(-1 + (-2 - -2)). Which is greater: i or q?
q
Let c(h) = -h**2 + 5*h + 3. Let v be c(-7). Is v < -81?
False
Let u be ((-624888)/910)/3 + (-30)/(-195). Let m = 1548/7 + u. Is -7 less than m?
False
Let d be (2 - 2)/(-2 - 2). Is d <= -3/427?
False
Suppose -1 = -g + 5. Suppose -g*o = -4*o. Let q be 8/(-21)*(-9)/12. Which is smaller: q or o?
o
Let x(q) = -15*q + 16. Let c(j) = -3*j + 3. Let u(n) = -11*c(n) + 2*x(n). Let t be u(1). Suppose 4*m + 2*f = 6, -2*f - t = m - 5*m. Is -0.1 less than m?
True
Suppose 50 = 15*f + 2180. Which is bigger: f or -145?
f
Let f = 3655/23 + -159. Suppose 31*u - 29*u = 14. Suppose u*g = -8 + 15. Which is greater: g or f?
g
Let k be (135/6 + 0)*(-4)/(-51). Let y = 577/68 + k. Is y greater than or equal to 10?
True
Let s be (-4)/(-9) + 122832/3564. Which is smaller: -1/2 or s?
-1/2
Let i be (-6 - -11)*2 - 6. Which is smaller: 382 or i?
i
Let s = -0.147 + 0.047. Let n = -0.4 + -0.1. Let c = n + 0.8. Is s > c?
False
Let g be ((-8)/(-20))/(756/(-30)). Which is smaller: g or 0?
g
Suppose -3*r = -2*i - 33 - 88, 3*r - 183 = 3*i. Which is smaller: i or -428/7?
i
Let q = -0.9 - 5.1. Let r = 5.9 + q. Is -0.088 greater than or equal to r?
True
Let m(n) = n + 5. Let j be m(-5). Suppose 0 = 11*y - 2*y + 2961. Let c = y + 2957/9. Which is smaller: j or c?
c
Let l(b) = 8*b**3 + b**2 - 1. Let x be l(-1). Suppose 3*q - j = 3*j - 7, 4*q = -j - 41. Let s(u) = u**2 + 11*u + 19. Let n be s(q). Are n and x non-equal?
True
Let r = -2/124959 + -171943574/624795. Which is smaller: -276 or r?
-276
Suppose -5*g + 5*d = -6*g + 18, 4*g = 4*d. Let w be g + (6 - 8/4). Is w at most as big as 10?
True
Suppose -5*b + 33 + 32 = 0. Let j(k) = -k**2 + 15*k - 27. Let h be j(b). Let p be -9 + 12 - 52/18. Is h smaller than p?
True
Let s = -37 + 22. Let a = 7 - 16. Let t = a - s. Is t at most as big as 1?
False
Let k = 564 - 599. Is k > -35?
False
Suppose 0 = -6*k - 0*k - 36. Suppose 0 = -4*w - j + 25, 5*w - j - 25 = 4*j. Let l = k + w. Which is greater: 0.2 or l?
0.2
Let g = -111 - -118. Suppose g*r + 7*r + 14 = 0. Is 1/265 greater than r?
True
Suppose 0 - 6 = -2*x. Suppose -40 = -x*z + 5*j - 17, -5*z = -j - 9. Let y = 835/646 + -24/19. Is z equal to y?
False
Let f = 11661146797/26088975405 + 2/36693355. Let j be 1*-1 + 396/395. Let q = f - j. Is 0 < q?
True
Let s = 461 - 477. Which is bigger: -67/4 or s?
s
Let a = 2.48 + -1.48. Are 0.5 and a equal?
False
Let j be (-2)/1*8*8/2880. Which is bigger: -1 or j?
j
Let h(o) = 116*o - 62. Let y be h(6). Is y greater than or equal to 635?
False
Let r be (4/3)/((-6)/(-171)). Suppose 2 = 2*z + 4*u, -2*z = 3*z - u - r. Let y be (-53)/(-20) + z/(-28). Which is bigger: y or 1?
y
Let q = -922.66 - -923. Let t = 11/6 - 3/2. Is q smaller than t?
False
Suppose 5 = p + 2*b - 18, 5*p = 4*b + 101. Suppose p = 4*k - k. Let u = k + -6. Is u at most -1/9?
False
Let o be (-8 - -5)/((-6)/4). Suppose -o*r = r - 54. Let x(i) = -i + 23. Let g be x(6). Which is greater: r or g?
r
Suppose 4*l - 1403 = -3723. Let a = l - -5225/9. Which is smaller: a or 2?
a
Let o = 1 + -2. Let d = -1.7 - -1.8. Let f = 0.9 + d. Which is smaller: f or o?
o
Let q = -149/240 - -1/48. Let y be ((-11)/4)/(36/(-64)). Let i = -50/9 + y. Is q greater than i?
True
Let t be 36/21 + (-2)/(-7). Let a(k) = -k**3 - k**2 + 4*k - 2. Let i be a(-3). Suppose -30*r + 26*r + i = 0. Which is smaller: r or t?
r
Suppose -32*h - 7*h - 5967 = 0. Do 0 and h have the same value?
False
Suppose -z + 3 = -1. Let t be (1 - 0)/(3/(-3)). Let p be (-5)/1*t/1. Is z less than p?
True
Let o = -254 - -267.7. Let h = -14 + o. Let r = -2/3 - -4/3. Are h and r non-equal?
True
Let j(n) = -2*n**2 - 20*n. Let y be j(-10). Suppose 3*g = -y*g. Is g equal to 1/40?
False
Let h = -10/3083 - 61430/70909. Let l be (2 - 1)/((-1)/2). Which is greater: h or l?
h
Let c(q) = q**3 + 6*q**2 - 2*q - 7. Let o be c(-6). Suppose -m + 2*m = 4*z + 21, 2*m + 4*z - 6 = 0. Let s = m - o. Which is smaller: s or 2?
2
Let z = -1 - -4. Suppose -z*p + p = -4. Suppose 108 - 102 = -2*q - 4*i, -5*q + 13 = -4*i. Is p > q?
True
Suppose 15 = 4*x - 5*d - 29, 3*x + 5*d + 2 = 0. Let h(a) = a**3 - 2*a**2 + a + 1. Let k be h(2). Is x at least as big as k?
True
Let t be (-1)/1*-4 + (-6024)/1508. Let k = 2627/2262 + t. Let d(n) = -n**2 + 6*n. Let y be d(6). Is k >= y?
True
Let o = -849/4 - -212. Let u be 1/1 + 3*1. Suppose z - 5*z = u. Which is bigger: o or z?
o
Suppose 63*n + 832 = 11*n. Which is bigger: -0.11 or n?
-0.11
Let s = -3/20 + 13/220. Let j(k) = -k**2 - k + 8. Let h be j(0). Suppose v = -2*r + 3*v - h, -3*r + v - 2 = 0. Which is bigger: s or r?
r
Let i(f) = 13*f**3 - f**2 - 5*f - 5. Let j be i(-2). Let k = -103 - j. Is k at most 2/263?
True
Let h = -303/2 - -10607/70. Let g = h - 11/35. Are -25 and g unequal?
True
Let p = -609/236 - 10/59. Are 0.4 and p unequal?
True
Let i be (11 + -1)*(-21)/(-14). Let h be (18/i)/((-6)/(-40)). Are h and -1 nonequal?
True
Suppose -5968 = -63*h + 8711. Is h > 234?
False
Let j = -7660163/152 + 50396. Let u = 6/19 - j. Is u < -1?
False
Suppose 3*z - 12 = 3*q, -11*q + 5*z = -15*q + 2. Which is smaller: -27/23 or q?
q
Suppose -3*k + b - 13 = 0, k = -4*b + 18 - 5. Let h(d) = -d**3 - 4*d**2 - d - 3. Let w be h(k). Let s be (-38)/18 + 2/w. Is s >= -1?
False
Let t be (-4)/3 + 8/8. Is -2/21 >= t?
True
Let a = 578408279/345 + -1676547. Let b = -26/23 - a. Is 1 >= b?
True
Let a = 189714293/2465818040 + 5/697544. Let o = a - 2/101. Is 1 less than o?
False
Let d = -17 + 14. Let z be ((-5)/(-60)*-3)/(d/(-16)). Which is smaller: -1 or z?
z
Let d be 19/3 - (-10)/15. Let a = -3 + d. Suppose 5*i = 5*m - 44 - 81, 2*m - 52 = a*i. Is m at most as big as 23?
False
Suppose 9 = 14*m - 17*m. Which is smaller: -10 or m?
-10
Let p be 1 + ((-33)/39)/1. Let y = -14 - -27. Let r = y + -13. Which is smaller: r or p?
r
Let r = -303 - -235. Which is greater: -67 or r?
-67
Let l = 57.8 + -57.49. Which is greater: -0.2 or l?
l
Let v be 11/55 + (-348)/(-10). Suppose 0 = -g - 2*g - k + v, 0 = 3*g - 5*k - 5. Let x be 6/2 - (-8 + g). Which is smaller: x or -1/8?
-1/8
Let l(s) = 2*s - 14. Let c be l(12). Let g be (-9)/(-15) + 851/115. Which is bigger: g or c?
c
Let z = -1 - 0. Let b be ((-75)/(-1692)*5)/2. Let q = -2/141 - b. Which is smaller: q or z?
z
Let r be -2 - 2465/(-1940) - (-6)/8. Is r at least as big as -1?
True
Suppose w + 4*x + 4 = 0, -3 = -2*w + 5*x + 2. Suppose w*v - 9 = -3*v. Let s be (1/((-18)/(-66)))/1. Which is smaller: v or s?
v
Let u = 3 + -3. Let l be -1*-10*11/(-2). Let y be (-6)/5*l/(-22). Is u greater than y?
True
Let d = 4 + 1. Suppose 0 = d*k + z + 469, 119 = -2*k - 3*z - 66. Let m be k/24 + (-4)/(-16). Is m bigger than -4?
True
Let t = 1494 - 1509.3. Which is smaller: 0.4 or t?
t
Let y = 503/6 + -85. Let v(u) = 2*u + 12. Let k be v(-7). Are y and k non-equal?
True
Suppose -3*p - 5*u = -28, 3*u = -4*p + 8*u - 21. Which is bigger: -2/3075 or p?
p
Let g = 714 - 749. Is -51 < g?
True
Let w = 101 - 69. Is -1 greater than w?
False
Let g be 12/42 - ((-37794)/462 - 0). Which is smaller: 