5*o - 1. Is -2/1029 less than o?
True
Let j be (-58506)/(-7952) + -17 + 15/40. Is j greater than -8?
False
Let w(r) = 45*r + r**2 + 45*r + r**3 + 38*r - 134*r + 5 - 2*r**3. Let b be w(1). Is b bigger than 67?
False
Let g = -3947 + 3928. Which is bigger: g or -160?
g
Let c be 4/22 - 1050/(-33). Suppose z = 9*z - c. Suppose 7*w - z*w = 3. Which is greater: w or 2/17?
w
Let a(x) = -3 + 12*x + 30 + 76 + 13 + 39. Let p be a(-13). Which is smaller: -1/287 or p?
p
Let r(g) = -g**3 - 17*g**2 + g + 4. Suppose -2*j - 65 = -31. Let t be r(j). Suppose 3*s + 10 = -9*l + 5*l, -l = -3*s - 35. Which is smaller: s or t?
t
Suppose 7*z = -67 + 11. Let v be z/(-8)*(-2)/((-2)/(-177)). Is -177 <= v?
True
Let h be ((-1)/(-3))/(-1) + 2670/(-9). Let r = -16331/55 - h. Is 1/4 less than or equal to r?
False
Let s be 28248/216 + 25/(-5). Which is greater: s or 126?
126
Suppose -218 - 232 = -10*w. Suppose -5*p = -30 + w. Let t be (2/4)/(p/12). Which is bigger: t or -0.8?
-0.8
Let f(g) be the first derivative of g**4/4 + 19*g**3/3 + 17*g**2/2 - 19*g + 24. Let u be f(-18). Is -51/4 smaller than u?
True
Let x be (14372/(-18))/((-280)/1260). Which is greater: 3596 or x?
3596
Let l(x) = -20*x**3 + 13*x**2 - 20*x + 7. Let v be l(7). Is -2 bigger than v?
True
Let z = 204.06 - 204.07. Is -8/15 at most as big as z?
True
Let c = 43 + -30. Let r be (-120)/12*(-1)/2 - 9. Let y be (-18)/30*90/r. Which is greater: c or y?
y
Let i(n) = -n**3 - 17*n**2 - 17*n - 23. Let k(h) = h**3 + 25*h**2 - 2*h - 22. Let d be k(-25). Suppose -d = 7*l + 84. Let o be i(l). Which is greater: -4 or o?
-4
Let y = 6 - 1. Let q(x) = 9*x - 47. Let p be q(6). Suppose 0 = -5*o + p*o + 3*v - 20, -2*o + 3*v + 20 = 0. Is o < y?
False
Let n = -477866/15 + 31878. Let l = -103/5 + n. Which is greater: -192 or l?
l
Let i(r) = -2*r**3 - r**2 - r + 1. Let z be i(1). Let p be ((-155)/51 - z)*-126. Is p greater than -2/3?
True
Let q(m) = -13*m**2 + 217*m + 63. Let w be q(17). Are w and -91 equal?
False
Suppose 127*t = 19394 - 3138. Is t bigger than 1410/11?
False
Suppose -22 - 131 = -5*z + 4*p, 3*z = 2*p + 93. Let g = 71 + -93. Let x = g + z. Is x less than or equal to 0?
False
Let a(z) = -146*z + 2633. Let q be a(-26). Is 6429 less than or equal to q?
True
Let c = -68.09 + 63.59. Which is smaller: -2.7 or c?
c
Let f be 7 - (-1 - -5) - -147. Suppose f = 35*y + 15*y. Is y less than 11/7?
False
Suppose -j + 488 = f, -49*j + 1468 = -46*j + 5*f. Which is greater: j or 2431/5?
2431/5
Let v = -0.02757 - -0.02757. Which is smaller: v or 108.9?
v
Let h be 12/(-15) + 267/15. Let r be 0 - (-3 + -4) - (-1 - 7). Is h > r?
True
Suppose 234*y - 233*y = z + 12, 54 = -5*z + 3*y. Let k = -7971/976 + -33/122. Which is smaller: z or k?
z
Let w = 17/4 + -147/44. Let t(v) = -v**3 - 10*v**2 - 8*v + 6. Let p be t(-9). Let b be p/2*16/36*-3. Which is greater: b or w?
b
Let t(o) = 13*o**2 + 2 - 35*o**2 - 4*o + 12*o**2 + 11*o**2. Let r(l) = -2*l**3 - l**2 - 2*l - 2. Let c be r(-1). Let v be t(c). Is -2/27 > v?
True
Suppose 0*w + 4*t = 2*w - 8, 0 = 3*w - 2*t - 24. Suppose -8*s + w = -3*s. Suppose -4*v + 1 = x, -s*v + 2 - 1 = x. Are x and -1/9 nonequal?
True
Let w = 41/5 + -117/14. Which is bigger: w or 0?
0
Let p(c) be the third derivative of c**6/120 - 7*c**5/30 + 7*c**4/6 - 25*c**3/6 + 44*c**2. Let d be p(11). Do -1/4 and d have different values?
True
Let g be (-774)/14 - 2/(-7). Let j be (-159250)/2842 + (-10)/(-290). Which is smaller: j or g?
j
Let b(k) = -k**3 - 6*k**2 + 5*k + 9. Let u be b(-4). Let r = 43 + u. Suppose 2*a - 4*y - 6 = r, 3*a - a - 3*y - 4 = 0. Is -8/5 > a?
False
Let n be ((-2 + 0)/(-20))/(4/(-552)). Let k = -463 - -448. Is n at least k?
True
Let x = -1097 - -1096. Let r be ((-266)/168)/(1/(-4)). Is x < r?
True
Let c = -3527 - 1927. Are c and -5453 unequal?
True
Let z = -5934 - -5982. Is 28 at least as big as z?
False
Let r = -4 + 53. Suppose -51*i + r*i - 6 = 0. Let t be -3*((-8)/(-6))/2. Do i and t have the same value?
False
Let q(p) = 757*p**2 - 13*p - 7. Let o be q(-1). Which is smaller: o or 769?
o
Let k = -1619 - -1617. Is k <= -10.72?
False
Suppose -131*d - 32 = -127*d, -p + d = 32. Which is smaller: -199 or p?
-199
Let b(d) = -d**3 - 5*d**2 + 5*d - 6. Let a be b(-6). Let l(u) = 2*u + 19. Let o be l(-11). Let k be (o - 1) + 513/95. Does a = k?
False
Let i(p) be the second derivative of p**5/10 + p**4/6 - 5*p**3/6 + 11*p**2 - 15*p. Let m be i(0). Let d be 15/90 - 38/84. Is m <= d?
False
Suppose -39*i - 3*i - 47*i = -4984. Let w(n) = 28*n. Let z be w(2). Is i at most z?
True
Let c = -59 - 25. Let m be ((-14)/(-6))/(14/c). Do -17 and m have the same value?
False
Let a = 74.931 + -75. Let g = -72.069 - a. Let q = 57 + g. Are q and 1 nonequal?
True
Suppose -34*o = 83*o + 41*o + 89902. Are -5108/9 and o equal?
False
Suppose -4*q + 14967 = o + 2411, 4*q - o - 12564 = 0. Which is bigger: q or 3141?
3141
Let k be -6 - (36/3420)/(((-6)/1144)/3). Let j = 3 - 2. Is j > k?
True
Let f = 79305/2 - 39652. Let l = -82.8 - 266.2. Is f at least l?
True
Suppose 5*k + 4*m = 26, 4*k + 0*m = m + 4. Let b(y) = -558 + 558 - k*y + y**2. Let d be b(5). Which is greater: d or 14?
d
Let c = -7 - -19. Suppose -6*g + c = -0*g. Let h be (-22 - -13) + (-1 - g). Is h greater than -11?
False
Suppose 0 = 2*y - 7 - 7. Let o = 12 - y. Suppose 0 = 4*u - 2*u - 20. Which is smaller: u or o?
o
Let w = 58 + -54. Let h be -1*(-6)/w + (-38)/28. Which is smaller: -15 or h?
-15
Let u be ((-14)/(-21172))/(2324/(-212) + 11). Let d = u - 1/158. Is d equal to 0?
False
Let m = 13.09 + -13. Let q = 242.67 + -239. Let a = q + -6.67. Which is smaller: a or m?
a
Suppose 0 = 258*a - 93*a - 165. Is -2/4743 greater than a?
False
Let p be ((-8)/20)/(8/(-20)). Let j be (4/1158)/((-4)/(-6)). Is j equal to p?
False
Let o(c) = -c**3 - 7*c**2 + 5*c + 28. Let z(j) = 38*j + 3. Let n be z(1). Suppose n = b + 47. Let d be o(b). Is d at most -39?
False
Let w be 5 + 1 + -14 + (-3)/((-9)/21). Let i = 2 + 0. Suppose -5*y + 8 + i = 0. Is w >= y?
False
Let r be (-60)/36*72/(-74). Which is greater: r or -0.2?
r
Let s = 1889 + -1961. Is -72 greater than s?
False
Let m = 1 + -1. Let k be 6*(4/(-340))/(2/(-15905)). Let v = k - 561. Is m > v?
False
Suppose -7*p - 784 - 476 = 0. Let j be 40/p + (-86)/18 - -5. Let x = 2.9 + 0.1. Which is smaller: x or j?
j
Suppose 0 = 5*l - 3*u - 19, -l = u - 0*u + 1. Suppose -1 = -l*s - 3. Let n be 700/100*1/77. Is s <= n?
True
Let r = 2.9 + -2.68. Let x = 0.52 - r. Let o = -1.3 + x. Is -1/13 at most as big as o?
False
Suppose -2*y = -5*o - 166 + 53, 2*y - 103 = 3*o. Let t be 3 - (-70)/(-22) - (-228)/y. Suppose 4*h - h + 18 = -t*w, -h - 6 = -4*w. Is h at least as big as -6?
True
Suppose 3 = -46*d + 47*d. Let l be d + 5*10/(-25). Let r be (6/9)/((-76)/(-42)). Which is smaller: l or r?
r
Suppose -2*r + 6*b = 62, 3*r + 7*b - 4*b = -69. Let u = -3/4187 + -741078/29309. Do u and r have the same value?
False
Let o = 9.1 - 18.3. Let v = 9.1 + o. Is 53 < v?
False
Let p = -1225 - -939. Which is smaller: p or -17?
p
Let k(u) = -2*u + 3. Let o be k(-1). Suppose o = 2*g + 3. Let y be 28/(-8)*-3*24/(-5418). Is g > y?
True
Let t = -542.29 + 545. Let m = t + -2.889. Let y = m - -0.079. Is -9 greater than y?
False
Let s be -1*(-2 - 2) + (-200)/47. Suppose 2*v = 7*v. Which is greater: v or s?
v
Let y(w) = 15*w + 1. Let a be y(-1). Suppose 2*i + 18 = 3*f - 7, 0 = -i - 4*f - 29. Let v = -33 - i. Which is bigger: v or a?
a
Suppose 84*d + 203 + 6 = -43. Is d at least as big as 3.8?
False
Suppose 123*l = -20627 + 74132. Is l at least 437?
False
Suppose -l + 2938 = -i, 4*i - 318 - 14444 = -5*l. Is l less than 2947?
True
Let q(k) = -3*k + 13. Let w be q(2). Let u(j) = -j**2 + 13*j - 62. Let m be u(w). Is -16 less than or equal to m?
False
Let q be 1/(-1)*(-4)/13. Suppose 626*k = 211 - 837. Are k and q non-equal?
True
Let r = 242 - 193. Suppose -54*a = -r*a. Is -2 greater than a?
False
Let i be 184/(-230)*105/146. Is i equal to -2?
False
Let k = 1561 + -1564. Which is greater: 0.032 or k?
0.032
Suppose u - 2*i - 7577 + 94734 = 0, -2*i - 348668 = 4*u. Let o = -14905618/171 - u. Let k = o + 4/171. Is k at least as big as -2?
False
Let g = 477 + -476.639. Let j = g - 0.261. Does j = -18/13?
False
Let z = 182.9 - 157.9. Is -0.3 >= z?
False
Suppose -1540 - 410 = 75*z. Do -106 and z have the s