= n**3 - 5*n**2 - 7. Let y be p(7). Let a = -131 - y. Let i = a + 4219/19. Is i greater than -1?
True
Let h = 1 + -1. Let k be (-742)/264 + (12 - 9) - (-12)/(-48). Is k at least as big as h?
False
Let a = 8137/24 - 339. Let m(o) = 2*o**2 + 29*o + 25. Let b be m(-20). Let c = b + -246. Which is bigger: c or a?
a
Let y = -7104 - -7103.63. Is -32/3 != y?
True
Suppose 5*a - 8 = 3*a. Suppose -4*f + 2 = 2*w, 38*f - 37*f - 4 = 3*w. Which is greater: w or a?
a
Let p(m) = -2*m**3 + 23*m**2 - 27*m + 284. Let n be p(12). Do n and 0.1 have the same value?
False
Let x = -68300/753509 - -13/2377. Which is smaller: x or -1?
-1
Let m = 14 - 11. Suppose -m*z + 17 = 4*u, 2*z - z - 5 = -u. Suppose u = -a + l, -l + 3 = 2*a + 4*l. Is -2/3 less than or equal to a?
False
Let a(d) = -7*d**2 - 439*d + 113. Let t be a(-60). Which is smaller: t or 1254?
t
Let g(l) = -11 - l**3 + 7*l + l + 3*l**2 - 7*l**2 + 0*l. Let x be g(-6). Let j be (-4)/3*(x - 7). Is -8 at most j?
True
Let n(b) = 8*b**2 + 24*b - 1. Let a be n(-4). Suppose a*r + 6323 + 6232 = 0. Is -404 greater than or equal to r?
True
Let v be (-93)/(-2) - 2/8*-2. Let p = v - 50. Let m be (p - (-20)/5)*1. Which is bigger: m or 14?
14
Let p = 40 - 39.492. Let h = -1.492 - p. Is h <= 9.7?
True
Suppose 0 = r - 4*r + t + 7, 4*r - 4*t - 4 = 0. Let f = r - 3. Let b = f + 0. Which is smaller: -1 or b?
-1
Let h(t) = 284*t - 1450. Let v be h(5). Do -41 and v have different values?
True
Let r = 5/2353 + 3584/1635335. Let d be 14246613/2370645 - (8 + -2). Let s = r - d. Which is bigger: 1 or s?
1
Let w = -469 - -3301/7. Let c = -60017 + 60023. Is w bigger than c?
False
Suppose -3 = 3*w, 32*v - 36*v - 3*w - 1043 = 0. Is -257 at most v?
False
Suppose -37*s - 32 = -21*s. Let l be (s/(-14))/(55/15 + -4). Which is bigger: -0.2 or l?
-0.2
Let a be 4 + (-2594)/990 - 1. Let t be (1392/792)/(6/17) + -5. Let z = t - a. Are z and 1 unequal?
True
Suppose -3*g - 1040*x = -1035*x - 11569, -7706 = -2*g - 5*x. Is 3864 bigger than g?
True
Let l be (-8 - -8)/(3/(3 + 0)). Suppose 7*g + 28 - 35 = l. Are -0.02 and g equal?
False
Let v be 546/27 - (-4)/(-18). Let o = -4240730/7 + 605818. Is o greater than or equal to v?
False
Let l = -24344 + 24344.06. Is -203 > l?
False
Let f(j) = 4*j**3 - 95*j**2 + 18*j - 111. Let a be f(23). Which is greater: -1283 or a?
-1283
Let z be 3*(-2)/(-6) + 325. Let x(h) = -10*h + 295. Let s be x(-3). Is s not equal to z?
True
Suppose -3487 = -1051*y + 1068*y - 16543. Are y and 771 nonequal?
True
Let j = -1417510573 + 4102275779133/2894. Let r = j - -2/1447. Which is smaller: r or 64?
r
Suppose 5*b = -0*b - 10. Let n be ((-35)/2 - 6/2)*b. Let m(o) = 43*o**3 - 4*o**2 + o + 2. Let x be m(1). Which is greater: x or n?
x
Let p = -25317 - -708957/28. Let a = 11315/3892 - p. Suppose -5*n - 1 = -4*n. Is n at least as big as a?
False
Let d = -2453/4 - -607. Let l = 1004388 - 1004393. Is l <= d?
False
Let w(k) = -2*k - 18. Let t be w(-10). Let j = -15/47 - -355/376. Which is greater: j or t?
t
Let l(m) = -9*m - 51. Let b be l(-9). Let q = 34.5 - 33.4. Which is bigger: b or q?
b
Let a(h) = h + 4. Let u be a(-4). Suppose -30*x + 32*x = 6. Suppose x*v + 268 = 277. Is u less than v?
True
Let k be 8/(-8) + (-19)/(-25). Let c be -4 + (-1)/(5*1/15). Let w = c + 7. Is k at most as big as w?
True
Let a = -4.736 + 3.736. Let m = -86 - -23. Do m and a have the same value?
False
Suppose 5*a - 17292 = 4*v + a, -4*v - 17348 = 4*a. Is -4332 <= v?
True
Let h = 1 - 1. Let n be ((-1)/((-3)/6*-86))/(-1). Let i = n + 380/301. Which is greater: h or i?
i
Let n(s) = s**3 + 20*s**2 + 19*s - 15. Let h = -23 + -14. Let y = -56 - h. Let b be n(y). Which is smaller: -0.3 or b?
b
Let w(p) = p**3 + 18*p**2 - 2*p - 73. Let u be w(-18). Let m be (-34 - u)*2/(-6). Which is bigger: 6/245 or m?
6/245
Let u be -1 + 3*(-1)/(-3). Let x be 0/(-1) + u + 1 + -3. Let n be (-2)/(-4)*x/(-20). Is n at most -1?
False
Let n = 2932/9 + -11701/36. Are n and 0.022 unequal?
True
Let v(j) = j**2 - 12*j - 81. Let h be v(16). Let z be 10/55 - 42/(-11). Suppose u = -0*u - 2*k - 15, z*k = -5*u - 75. Is h smaller than u?
True
Let o(d) = -5 + 244*d - 502*d + 11*d**2 + 253*d. Let m be o(-1). Do m and 80/7 have the same value?
False
Suppose 5*n - 5*b = 9*n - 532, 406 = 3*n + 2*b. Let c = -136 + n. Is -3 > c?
False
Let t = 674 - 397. Let w = -277 + t. Which is bigger: w or 4/141?
4/141
Let i = -610 - -613. Let q(t) = -29*t**2 - 6*t + 24. Let b be q(i). Which is greater: -256 or b?
b
Let u = -2579 + 5508. Let r = 269586133/92382 - 10/15397. Let o = r - u. Which is smaller: o or -10?
o
Let f = 122 - 220. Let w be (f/(-84))/(3/(-2)). Suppose 2*b = t + 9, 3*t + 3*b - 11 = 2*t. Which is bigger: t or w?
w
Let k be (12/(-3))/((-10)/15). Let r(f) = 2*f**3 - 14*f**2 + 6*f + 12. Let j be r(k). Is j < -24?
False
Let o(i) be the second derivative of i**5/10 - i**4/2 + 5*i**3/6 - 10*i**2 - i + 2. Let b be o(4). Is b less than or equal to 30?
False
Let x = -1.857 - -1.69. Let i = x + -0.133. Let a = 5743/9 - 637. Which is greater: i or a?
a
Let k = 6276 - 445604/71. Is 3 smaller than k?
False
Let m be -1 + (-77404)/(-83700) - (-4)/50. Is m greater than -1?
True
Suppose 785 = 6*t + 299. Let d = t + -81. Suppose d = -c - 2*r - 7, -2*r = -0*c + 4*c + 4. Is 2/57 at least as big as c?
False
Let p = 4 + 4. Suppose 4 = 5*j - 6*j, -4 = -4*f - j. Let q be (-2)/(-1*f/8). Is q >= p?
True
Let a = -17/3 - -190/33. Suppose -4*y - 3*x + 8 = -2*x, 3*y + 5*x - 23 = 0. Let d be 0*(-1 + 2)/y. Is a bigger than d?
True
Suppose 5*w + 1465 = 5*z, -340*z = -337*z + 12. Which is bigger: -1189/4 or w?
w
Let a be (-4606)/(-644) - (4 + 24/6). Let w = 667 - 15349/23. Let m = a - w. Which is smaller: 0 or m?
m
Let p = 1.5 - 6.9. Let f = p - -10. Let q = 4.56 - f. Is q greater than -2?
True
Let n(m) be the second derivative of m**2/2 - 30*m. Let c(h) = -2*h - 16. Let y(r) = 2*c(r) + 36*n(r). Let p be y(1). Is p greater than or equal to 7/6?
False
Let b = -26 + 33. Suppose -b*l + 25 = -6*l. Is 26 at most l?
False
Let k = 11 + -7. Let g = -2 + k. Let v be ((6 + -4)*(-3)/(-6))/(8/(-16)). Is g less than or equal to v?
False
Suppose 44030 = -10*x + 43920. Which is smaller: -396/35 or x?
-396/35
Let b = -863 + -325. Let f = b + 1188.1. Let s = 122 + -69. Is s bigger than f?
True
Suppose -o - 10 + 11 = 5*y, -3*o = -3. Suppose y = -4*h - 5*t - 310, 0 = -h - t - 20 - 57. Which is smaller: -76 or h?
-76
Let s = 1.41 - 1.363. Let z = s - -0.053. Which is greater: z or -79?
z
Let s(x) = 102*x + 611. Let m be s(-6). Which is greater: 1/27586 or m?
1/27586
Let m be -7 + -4 - -9 - (1 - 2). Is m <= -31/657?
True
Let b(f) = -f**2 - 3*f + 10. Let u be b(-3). Let c(i) = i**2 - 11*i + 11. Let o be c(u). Let p be (-138)/(-1 - o)*(-2)/3. Which is bigger: p or -47?
p
Let c = -46 - -49. Suppose -2*n + c = -a, -a - 45 = -6*a - 5*n. Suppose -27 = 2*f - a*r, 0 = -0*r + 3*r - 15. Is -1 bigger than f?
False
Suppose 0 = -4*p + 10595 - 10615. Let d be -1 - 1/((-7)/(-20)). Which is smaller: d or p?
p
Let l(r) = 24*r**2 + 1. Let y be l(1). Let f(m) = 49*m + 5703. Let p be f(-116). Which is smaller: p or y?
p
Let i = 33.87 - 32.4. Let g = 1.45 - i. Is g greater than -0.4?
True
Suppose 990 - 62 = -16*a. Let n = -52 - a. Let r = -4 - -7. Which is bigger: r or n?
n
Let h be (-24 - (-184)/8)/((-3)/(-789)). Is -244 bigger than h?
True
Suppose 0 = -4*m + 3*m. Let h be (-242)/(-8107)*(3 + -4*2/2). Which is smaller: m or h?
h
Let l = 146/991 - -1810933/10901. Let m = -166 + l. Let f = 0.17 - 0.07. Is m not equal to f?
True
Let a = 20 - -7. Suppose -100 = -13*z + 69. Let v be 910/z*3/((-15)/(-2)). Does v = a?
False
Let k = -9 - -8. Let a = 3870 - 170271/44. Let g = 4/33 - a. Is g at least as big as k?
True
Let l = 0.018079 - 4.018079. Let s be (-4)/42*(-2 + 5). Which is smaller: l or s?
l
Let x be -14 - -16 - (-39 - 1) - 1. Suppose 3*i + 71 = -2*m, 0 = -2*i + 2*m - x - 13. Do i and -165/7 have the same value?
False
Let b = -251.28 + 246. Which is bigger: 0.1 or b?
0.1
Suppose 80 - 65 = -15*v. Is v at least -3/1694?
False
Let x = 895 - 885. Suppose 0 = -7*j + 5*j + 4, -2*j + x = -2*m. Is m bigger than -66/19?
True
Suppose -776 + 105 = 61*s. Which is smaller: 1029 or s?
s
Let d(n) = -338*n + 21. Let f be d(-1). Suppose -f = -2*o - 355. Which is greater: -0.006 or o?
o
Su