65. Is 3/5596 > n?
False
Let w be (9/1)/((-8)/40). Let j be w/15 + 183/1. Let s be (-2)/9 + 130/j. Are 22 and s unequal?
True
Suppose -4*c + 24 = -2*j, 3*c - 3*j - 43 + 31 = 0. Let y be (8/(-12))/(4/(-30)). Which is smaller: c or y?
y
Let w(o) = 10769 - 10517 - 27*o - 8*o. Let b be w(9). Are -63 and b equal?
True
Let p be 4/8 + 10 + (-11432)/16 + 0. Is p smaller than 0.8?
True
Suppose 0 = 4*n - 4 - 4. Suppose n*t = 6*t. Let g be -2 + -62 + t + -4 + 3. Is g at most as big as -66?
False
Let f = 143 + -128.4. Let v = 46.4 + f. Which is smaller: 0 or v?
0
Let l = 20 + -23. Suppose 4*z = -3*t + 20, 0*z - 10 = -2*z - 3*t. Suppose -z*j = -0*j + 4*x - 1, -x = -5*j - 19. Is l greater than j?
False
Let n = 260995948735840851/116165 + -2246769239739. Let q = n - -2/16595. Which is smaller: q or 14?
q
Suppose 4*k - 8 = -2*a, a - 2*k + 0*k = 0. Let x be 5 - (1 - (a + 2)). Suppose -j - 12 = -5*z, 2*z + z - x = j. Is -1 smaller than j?
False
Let u be (-14)/105 + 0 - 326746/105. Which is greater: -3113 or u?
u
Let h(j) = j**3 - 3*j**2 - 7*j + 17. Let a be h(3). Let x be (148/24 - 6)/(a/212). Which is smaller: -9 or x?
-9
Let k = 660708 + -661043.053. Let n = -335 - k. Is n at least -0.3?
True
Let x = 106.67 + -107.14. Which is smaller: 54 or x?
x
Let p = -0.08677 - -0.04677. Suppose -3*t + t - 3*l = -2, 0 = 2*t + 5*l + 6. Suppose t*j = 11*j + 4. Which is smaller: j or p?
j
Let p(f) = f**2 + 16*f + 60. Let w be p(-10). Suppose b + y + 15 = 4*b, -5*b - y + 17 = w. Suppose 10 = l + 8. Is l at least b?
False
Suppose -5*c + 42 = 7. Suppose 15 + c = v. Is v equal to 104/5?
False
Let a be (7 - 6 - 6)*-3. Suppose -a*u - u = 48. Let l be (1*-1 - 0) + 2. Is u at most as big as l?
True
Let z = 604 + -649. Let s be ((-204)/z)/(10/285)*-5. Is s less than or equal to -646?
True
Let t(f) = f**3 + 12*f**2 - 8*f. Let s be t(-12). Let u = s + -97. Which is smaller: 39 or u?
u
Let i = -1909 + 2142. Is i <= 931/4?
False
Let g be (66/13 - 5)*(-2)/17. Let i = g + 275/5967. Let x(h) = -h**2 + 3*h - 3. Let f be x(2). Which is smaller: f or i?
f
Suppose 31 = 3*t - 5*h, 4*t + 2 + 0 = -2*h. Let a be (7 + -8)/(1 + (2 - t)). Is 0.7 less than a?
False
Let f(c) be the third derivative of -c**5/60 + 13*c**4/24 - c**3/3 - 4*c**2 - 13. Let x be f(4). Is x >= -2?
True
Let j = 554 - 552.3. Let c = 2.712 - 0.012. Let y = j - c. Is 11 <= y?
False
Let n = -112 + 118. Let g = 7209/1190557 + -1/3431. Let b = 4507/694 + g. Which is smaller: n or b?
n
Let n(b) = b**3 - 10*b**2 - 10*b - 6. Let f = 56 - 45. Let a be n(f). Suppose 2*l + 32 = 3*j + l, 3*j - a*l = 52. Does j = 9?
True
Let o = 83859 + -6625347/79. Is -6 at most o?
False
Let h(y) = y**3 - 2*y**2 - 2*y + 4. Let v be h(3). Let f be ((-8)/(-6)*-3)/v. Let n be (14/42)/(-1*1). Is n greater than f?
True
Let i be -4 + 4 - (-2)/2. Suppose 7*b - 68 = 11*b. Let a = i + b. Is a greater than -16?
False
Let f be -7*4/(-3 - (-20)/(-12)). Suppose -5*o = f*o - 121. Is -3/8 smaller than o?
True
Let s = 1.57 - 1.682. Let i = s + 0.092. Which is smaller: i or 4?
i
Suppose 9*g - 3*p = 7*g - 52, -84 = 4*g - p. Let a = -648 - -645. Are g and a equal?
False
Let u = -368/9 - -727/18. Is 7165 bigger than u?
True
Let i = 368.829 + 8.071. Let f = i + -377. Is -199 at most f?
True
Let a be -3*(-51)/(-9) - -5. Which is smaller: -14 or a?
-14
Let u = -0.275 + 184.275. Let r = u - 311. Let v = -126.9 - r. Which is greater: -1/38 or v?
v
Let i = -2.05 + 1.65. Let x = 27 + -22. Which is smaller: i or x?
i
Suppose 0 = -l - y + 672, -17*y - 1961 = -3*l - 9*y. Is 652 bigger than l?
False
Let s = -19/23 + -159/253. Suppose 3*q - 3*t = -12, -q + 16 = -4*q + 4*t. Let a be (q - 0)*30/(-180). Is a > s?
True
Suppose 0 = -13*z + 12*z - 164. Let p = z + 157. Is -8 greater than or equal to p?
False
Suppose 5*f - 289 = 286. Let n = -229/2 + f. Which is smaller: n or -45/7?
-45/7
Suppose v + 77 = 87. Let y be 1/((-35)/v) + 8/14. Is 60 equal to y?
False
Let d be 26/6 + (-12)/(-18). Suppose 5*t + 4*y = 219 + 41, d*y + 119 = 3*t. Suppose -13*m - t + 9 = 0. Is -3 at least as big as m?
True
Let j be (-31)/(93/24) + -73. Is j at least as big as -98?
True
Let j be (209/(-66))/((-46)/276). Which is smaller: 665/33 or j?
j
Let c = -30565/91713 - 2/30571. Is 6811 at most as big as c?
False
Let r be -7 - -2 - ((-18544)/9392 - 3). Which is greater: r or 1?
1
Let n be (-120)/42 - -3 - (-1052)/(-14). Let g be n/(-43900)*2/(-3). Which is smaller: g or 1?
g
Let o = -180.26 - -179.6. Which is smaller: -14 or o?
-14
Let l(p) = -3*p**2 + 66*p + 62. Let i be l(23). Let d(r) = 8*r - 11 + 11*r**2 + 2*r**3 + 3*r**2 - r**2 + 2*r**2. Let y be d(i). Are y and -20 equal?
False
Let n = -336.4 + 370. Which is greater: n or -1?
n
Suppose -w = 4*w - 75. Suppose 0 = 63*a - 27*a - 180. Which is smaller: a or w?
a
Suppose -238 - 32 = 9*t. Which is smaller: -1 or t?
t
Let a(j) = 15*j**2 - 8*j + 1. Let c(m) = -m**2 - m. Let i(v) = -a(v) + 6*c(v). Let f be i(1). Suppose -9680 = 164*t + 276*t. Which is bigger: t or f?
f
Let m(t) = 3*t**2 + 15*t + 40. Let k = 2 - 4. Let p(x) = -7*x**2 - 30*x - 81. Let c(v) = k*p(v) - 5*m(v). Let s be c(-12). Is s <= 6/11?
True
Let s = -20.8 + 21.79. Let c = 0.8 - s. Let n = 0.39 + c. Which is bigger: n or -5?
n
Let t be -1*((2 - 4) + 1). Let i = -11530 + 1395131/121. Is t not equal to i?
True
Let d be ((-5922)/(-756) + 1*-8)/((-2)/(-6)). Let n = -186 + 7. Is n not equal to d?
True
Let b(y) = -y**3 - y**2 + 8*y - 66. Let z be b(4). Which is bigger: z or -61?
-61
Suppose 229 + 306 - 83 = -4*z. Which is smaller: z or -112?
z
Suppose -7 - 10 = -44*a + 27*a. Is -49/146 != a?
True
Suppose 0 = -3*a + 4*a - 3. Suppose 3*j + 14 = 5*t - 0*t, 3*t + 2*j = -a. Suppose t = 7*x + 22. Is 4 less than x?
False
Let s be 4/(-22) + (-13976)/88. Let c(b) = -3*b + 9. Let n be c(12). Let m be s/(-27) - 3/n. Which is bigger: m or 3?
m
Let a be (-39)/(-13) + (-33210)/(-322) - 5. Let t = a - -79/23. Is 106 equal to t?
False
Suppose -4*n + 17 = -3*t, -2044*n + 2045*n - 50 = 16*t. Let m be 1*-1*3/74. Is m >= n?
False
Let f(b) = b**3 - 9*b**2 + 12*b + 8. Let w be f(7). Let j = w - 27. Suppose -2*h - 26 - 42 = 0. Which is smaller: j or h?
h
Suppose -245754 = 49*p - 27862 - 22137. Is -3995 at least as big as p?
True
Let g = -32408 + 32421. Let a = -1.23 + 0.13. Which is bigger: g or a?
g
Let k(x) = -x**3 - 13*x**2 + 42*x + 133. Let z be k(-14). Is -259 less than z?
False
Let v = 1277.5 - 1357.5. Let o = -71 + 160. Let s = v + o. Which is smaller: s or 2?
2
Let w = 198.19 - 198.29. Let q = -16 + 7. Let d be (-3)/q + (-1)/2. Which is smaller: d or w?
d
Let x be 9/(-36) + 2/(-4). Suppose 54 = 13*b - 4*b. Suppose b*z - 3*z - z = 0. Is z smaller than x?
False
Let n be (-24940)/(-3) + (-56)/168. Let i = -74909/9 + n. Which is greater: i or -2?
-2
Let t = 18 + -10. Let j be (-12)/t*8/102. Suppose -3*v = -h - 13, 0 = -4*h + 95*v - 93*v - 12. Does h = j?
False
Let s = -1575842/115 + 13703. Let t = 0.03 + 0.07. Is s > t?
False
Let s(h) = -2*h**2 - 16*h + 16. Let k(z) = -z**2. Let c(u) = 3*k(u) - s(u). Let v be c(22). Which is greater: v or -146?
-146
Let l be (5/52)/(3/12). Suppose -3*s - 5 = -5*k + 3, 5*s = 3*k - 8. Let a be ((-2)/s)/(-1) + 3. Which is bigger: l or a?
a
Let s be (165 - 1) + (-2136)/(-178). Is 191 at least as big as s?
True
Let u(s) = -25*s + 1906. Let c be u(74). Is 61 at least as big as c?
True
Let r(a) = a**2 - 21*a + 41. Let f be r(19). Suppose -f*m - 72 = -9*m. Suppose 0 = 5*h - 2*z - 114, 4*z + 0*z - m = 0. Are h and 24 nonequal?
False
Suppose 2325 = -0*w - 15*w. Let o be 3/2 + w/124. Is o < -1.1?
False
Let h(c) = 2*c**2 + 12*c - 3. Suppose -7*d - 3*t = -5*d + 13, 2*t - 10 = d. Let g be h(d). Let i = g - 29. Which is smaller: -11/14 or i?
-11/14
Let h = -6687.491 + 6684. Which is smaller: 0 or h?
h
Suppose 2*h = -4*n + 11 + 3, 3*n - 12 = -2*h. Suppose 3*k + 4*f + 9 = 0, n*f - 8 = -5*k + 3*f. Let g = 34/1025 - 3/41. Which is bigger: g or k?
k
Suppose -68*i + 280 + 60 + 68 = 0. Let d = -3 - -4. Let b be (-1)/(d + (-9)/i). Is b at most as big as 7/5?
False
Let j(u) = -u**3 + 2*u**2 + 2*u + 4. Let z = -17 + 20. Let y be j(z). Let c = -58 + 403/7. Which is smaller: y or c?
c
Let u(r) = 28 - 10*r**3 + 0*r**3 - r**2 - 28 - 27 - 29 + 28*r. Let j be u(2). Does j = -84?
True
Let n be (8/60)/((-6)/(-9)). Let a = -733