or equal to 1064?
False
Let w(y) = -3*y**3 + 22*y**2 - 10*y - 12. Let x be w(6). Is x at least as big as -3?
True
Suppose -29*c + 20 = -9. Which is smaller: c or -1/2080?
-1/2080
Suppose -c + 422 = -k, 0 = -2*c - 2*k + 7*k + 841. Let v = 551 - c. Which is smaller: v or 126?
126
Let l(f) = 2*f**3 - 52*f**2 + 5*f - 14. Let m be l(21). Which is bigger: m or -4318?
-4318
Let l = 22042 - 22091. Let a(u) = 28*u + 7. Let r be a(-2). Is l <= r?
True
Let m = -11686 - -11682.9. Is m bigger than 86/7?
False
Let u = 2.9 - 3.3. Let y = u - 2.6. Let l be 5*(-2)/(-75)*3. Is l != y?
True
Let g be (-2054)/(-14) - (-1 - 5/(-7)). Let q be g/(-8)*(-2)/(-3) + 0. Let p = -12 - q. Which is greater: p or -40?
p
Let k = -162.123 - -0.123. Let p = 162 + k. Which is smaller: 2.9 or p?
p
Suppose -2*s + n = 3*s - 1821, -718 = -2*s + 3*n. Suppose -18755 + 27905 = 25*k. Is k not equal to s?
True
Suppose 0*c - 2*r = -2*c + 14, 4*r = -4. Suppose 17*h = c*h - 55. Let v be (-3 + 1)/(10/(-6) + h). Which is bigger: v or 0?
v
Let p be (-93)/12 + (-1)/4. Let g be (-5)/(-75)*-6 - 37/(-5). Let f = p + g. Is -1/2 at most as big as f?
False
Let g = 655 + -522. Which is greater: g or 126?
g
Suppose -i = -0*i - f + 1, 3*i - 4 = -4*f. Suppose 0 = -l - 0*l - 5*b - 10, -l + 5*b - 40 = i. Let u be 12/(-15)*l/(-2). Is -1/4 at most u?
False
Let m(v) = 32*v + 184. Let h be m(14). Let d = h - 634. Suppose -4*p + 4*r - 36 = 0, -5*p - r = 2*r + 45. Is p at least d?
False
Suppose -3*t + 242 = -4*m - 283, 167 = t - 4*m. Suppose 0 = -5*l + 3*f - t, 0*f - 5*f - 121 = 4*l. Is l less than -27?
True
Suppose -42*i = -43*i - 4. Let o = i - -34. Let d be 33/22*(-22)/o. Which is smaller: d or 0?
d
Let d = -30 + -38. Let w = 68.006 + d. Let s be 0 + (-36)/(-10) - 4. Which is smaller: w or s?
s
Suppose 38*z = 65*z + 270. Which is smaller: z or -572/67?
z
Let k(b) be the first derivative of b**4/4 - 5*b**3/3 + 3*b**2/2 - b + 79. Let y be k(4). Is y greater than -5?
False
Let a(x) = -x**3 + 12*x**2 + 1. Let g be a(12). Let h be (g - 1)/(-1 - -2). Let p = -305/51 + 19/3. Is h smaller than p?
True
Let d = 124/89 + -41947/30171. Is 1 at least d?
True
Let c = 65 - 65.353. Let p = -165.647 + c. Which is smaller: p or -1?
p
Let p = -4234.117 + 4234. Is p equal to 3/50?
False
Suppose 0 = -w - 3*f + 133, 0 = 3*w - 5*f - 5 - 422. Let j = -139 + w. Which is bigger: -2/173 or j?
j
Let p(l) = -7*l - 2. Let d be p(-1). Suppose 0*u = u - d*y + 15, -5*y = -15. Let h = 51.924 + 0.076. Which is bigger: u or h?
h
Let p = -5/78 - -3/13. Suppose 5*c + 0 = 3*d + 10, 2*c - 4*d = -10. Suppose -4*k = -c*a - 5, -2*a = 2*a + 3*k + 4. Is a >= p?
False
Let y = 1.62 - -0.86. Let t = -0.48 + y. Is t less than -5/7?
False
Suppose 0*w + 4*w = 0. Let x(m) = -23*m - 318. Let o be x(-14). Suppose 28 = o*a - w*a. Which is bigger: a or 8?
8
Let q be (3/((-6)/(-8)) - 4)/1. Suppose q = -5*x - 4 - 1. Is -23 not equal to x?
True
Let f be -2 + (0 - -5) + -1. Let d(q) = 2*q**2 - q + 2. Let b be d(f). Let t = b - 74. Is -66 less than or equal to t?
True
Let l be ((-40)/5)/24 + 3836/186. Which is greater: 21 or l?
21
Let q(h) = -h**3 + 26*h**2 - 27*h + 9. Let y be q(25). Let k(z) = -z**2 - 39*z + 83. Let o be k(y). Let d = 191/6 - 32. Which is greater: d or o?
o
Let t = 5.639 + -49.469. Let b = -0.83 - t. Let g = 45 - b. Which is greater: g or 21?
21
Let j be (7 - 21/(-3)) + -13. Which is smaller: -2/8559 or j?
-2/8559
Suppose 3*r + 5*c = 1 + 11, 4*c + 12 = 3*r. Suppose -z - 4 = 3*q + 5, r*z - 5*q = -19. Let i be z/24*(-4 + 0). Is 1 at most i?
True
Suppose 0*a - 24 = -2*a. Let t(m) be the third derivative of m**4/3 - 59*m**3/6 + 38*m**2. Let d be t(9). Which is bigger: a or d?
d
Let y be ((-1)/((-5)/2))/((-6)/15). Suppose 4*i + 0*i = 80. Suppose 3*k - 4*r = -i, r - 2*r + 5 = 0. Are y and k non-equal?
True
Let s = 687 + -686. Are 10/49 and s equal?
False
Let x = -29.7 - -27.7. Let k be -6 + (3 - (187 - 0)). Is x at most k?
False
Let f = 4766.399 + -4777. Let d = -0.601 - f. Which is greater: d or 5?
d
Let m = 18.3 - 0.3. Let x = 30 - m. Let c(o) = -o**2 + 147*o - 5314. Let u be c(83). Is u greater than x?
False
Let t = 2 + 1. Suppose -t + 4 = -h. Let v be (45/(-60))/(126/(-35)). Which is bigger: h or v?
v
Let k be 6/30 - 32/(-10). Let l = -4 + k. Let g(d) = -7*d**2 - 4*d - 5. Let x be g(-1). Is x equal to l?
False
Let n = -507 + 517. Let d be (8/n)/((-140492)/(-110)). Are 1 and d nonequal?
True
Suppose 3*l = 4*s + 274, -4*s = 2*l - 2*s - 178. Let h = -89 + l. Which is smaller: h or -0.22?
-0.22
Let v be (-2)/5 - 361/(-40). Let z = v + -49/8. Does z = 3?
False
Let c = -661 + 457. Let a = c - -203.8. Is a not equal to 1/125?
True
Let v be (-18)/22 + (-6)/(-6). Let t(i) = -4*i + 17. Suppose -2*g = -7*g + 3*j + 23, 0 = -2*g - 5*j + 3. Let u be t(g). Is u not equal to v?
True
Let h = -69781 + 69741. Suppose -4*k = -3*k + 2*u + 46, -5*k - 5*u = 210. Is h at least as big as k?
False
Let y(d) = -d**2 + 15*d - 19. Let g be y(9). Let z = 34 - g. Let i = 1 - 2. Are i and z unequal?
False
Let h be (-4)/(-6)*-3 - (-946)/22. Suppose h*r = 48*r - 511. Let d be (-289)/r*-1 + (1 - 5). Which is bigger: 0 or d?
0
Let v = -5705 + -2258. Are -7962 and v equal?
False
Let p = 106 - 13. Suppose -39*z + p = -36*z. Suppose 4*v + z = 3*a + 114, 3*v - 3*a = 60. Which is bigger: v or 24?
24
Suppose -5*z - 3*c = -90, 3*z = 4*z - 2*c - 18. Let s(y) = 19*y - 349. Let w be s(19). Let h be (-2 - z/(-10))/(w/(-30)). Is h <= 92?
True
Let n(l) be the first derivative of l**4/2 + 11*l**3 - 95*l**2/2 + 2*l - 232. Let b be n(-19). Let r = -12 - -23. Is r at most b?
False
Let q be -3 + 1*(-4755)/(-21). Let k = q - 224. Let u = 818.9 + -819. Which is greater: u or k?
u
Let y be ((-63)/12)/(12/48). Let v be 9/y - (1 - (-2776)/(-728)). Are 2 and v equal?
False
Suppose -10 = 4*y + 2, 12 = 3*j - 2*y. Suppose 3*a = -2*f - 11, -11 = j*f - 3*f + 4*a. Let v be (8 - 9)/(0 + f). Which is bigger: 0 or v?
v
Suppose -22*x + 16572 = -2260. Are 1/2 and x non-equal?
True
Let m = -47.5 + -0.5. Let v = -97 + 143. Let n = v + m. Is n at most -3?
False
Let i = 4611 + -5078. Is i != -1/6?
True
Let g be 1113/11930 + (52/(-320) - (-14)/224). Is g equal to 0?
False
Let n be (108/8 + -11)/((-2)/(-12)). Let z = 38 - 26. Which is smaller: z or n?
z
Let p(c) = 63*c**3 + 2*c**2 + 27*c + 131. Let w be p(-5). Is -7829 greater than or equal to w?
True
Let i = 32877/6520724 - -2/33269. Let a = -10 + 11. Is a less than i?
False
Let t = 1 - 3. Let c = -24.49 + 2.49. Let b = c + 23.2. Is b greater than t?
True
Let z(p) = -81*p**2 + 159*p - 3. Let n be z(2). Let y be 172/(-24) + 4/(-2). Is y at most n?
True
Let p be -14 + 11 + -4 + (-7)/((-21)/20346). Which is greater: 6776 or p?
6776
Let k = 40456889/260 - 155603. Let t = k + -1/52. Suppose -d - 2 = 5*b, -2*d = -3*b + d + 6. Which is greater: t or b?
t
Let q = 5668 + -5666. Is 24/11 greater than q?
True
Let h(s) = -3*s**3 - 65*s**2 - 65*s - 70. Let g(j) = 2*j**3 + 33*j**2 + 33*j + 35. Let p(u) = 5*g(u) + 3*h(u). Let d be p(31). Is 7 greater than d?
True
Let s(p) = 5*p - 2. Let g be s(1). Let w be (440/195 - 2)*g. Let f(b) = b**3 - 2*b**2 - 4*b + 4. Let n be f(3). Which is smaller: w or n?
w
Suppose v - 2*j - 9 = 0, 3*j + 16 = 1. Let n be 168/(-15) + (-24)/30. Which is bigger: v or n?
v
Let w = 3 + -4. Let s = 1119 - 1121. Let n be (-2470)/(-4095) - s/(-9). Is n >= w?
True
Let l = 19364 - 14964. Is l <= 17605/4?
True
Let d = 61 - 54. Suppose 3*z + 65 = -5*j, 5*j = -d*z + 3*z - 60. Let l be (-4)/30 + j/(-20). Which is greater: -13 or l?
l
Suppose 0 = 5*f - 2*v - 66 - 201, 268 = 5*f - 3*v. Let q be (-33)/9*(0 - 225/(-15)). Let r = q + f. Are r and -1 non-equal?
True
Let l(o) = o**3 + 5*o**2 - 10*o + 13. Let y be l(-7). Let k(a) = -a - 10. Let x be k(y). Suppose 4*h + 19 = -f, 6*f + h + 4 = x*f. Which is smaller: -2/33 or f?
-2/33
Let n(y) = -2*y**3 - 14*y**2 - 6*y + 21. Suppose -2*s - 5 = -48*z + 49*z, -31 = 5*z + 4*s. Let d be n(z). Which is bigger: d or -4?
d
Let l = 9932 - 8623. Is 1311 < l?
False
Let p be (-4)/((-4)/(-315)) - -6. Let s = p - -5250/17. Is s < 0.2?
True
Let p be 1 + (0 - 1 - 14). Let x = 4 - p. Suppose -2*n - 3*m = -20, 3*n - 5949*m + 5947*m - 69 = 0. Is n at least as big as x?
True
Let d = -200 - -200. Suppose -2*z - 4*f + 12 = d, z = -3*f - 13 + 15. Which is bi