Let j(l) = l**3 - 3*l**2 - 4*l - 29. Let z be j(p). Is z at least as big as -88/3?
True
Let x = 2.34 - 5.03. Let p = x + 4.69. Is p at least 2?
True
Suppose -3178*c + 46284 = -3236*c. Is -793 != c?
True
Let k(y) = 4*y**3 - 9*y**2 + 12*y + 6. Let t(h) = -7*h**3 + 17*h**2 - 20*h - 12. Let j(q) = -5*k(q) - 3*t(q). Let g = 12 + -6. Let b be j(g). Is 9 > b?
True
Let a = -917 - -1503. Is 2927/5 at least a?
False
Let v = -31814/7 - -27646436/6083. Which is greater: -1 or v?
v
Suppose -3*o + 3*v = -129, -2*o = -4*v + v - 85. Which is bigger: o or 50?
50
Suppose 28 = 3*l - 2*h, -3*l + 8*l - 30 = -5*h. Let r be 4182/(-24) + (-6)/l. Let f = -1931/11 - r. Which is bigger: f or -2/15?
-2/15
Let g = 2670 - 1454. Let m be 0 - 3 - (2 - g/244). Which is smaller: m or -1?
-1
Let d = 26926 + -26902.278. Let r = -0.178 - d. Let o = r + 24. Which is smaller: -13 or o?
-13
Let x(f) = -34*f**3 - 39*f**2 + 104*f + 2. Let i be x(3). Which is smaller: 1 or i?
i
Let z = 3.586 - -6.414. Which is bigger: z or -241?
z
Let r(i) be the second derivative of 3*i**5/10 - i**4/6 - 4*i**3/3 + 5*i**2/2 - 193*i. Let g be r(3). Is 124 equal to g?
False
Let i = -2.767 - -2.667. Which is smaller: i or 2132?
i
Let v = 344 + -232. Let s = 81 + 17. Let x = s - v. Is x greater than or equal to -15?
True
Let p be 3/12 + 30/8 + 453/(-151). Is p bigger than 4/3679?
True
Let y(o) = 98*o**2 - 15*o + 13. Let z be y(-14). Let t be 1/(z/(-2160) - -9). Is 240 <= t?
True
Let t = -57 + 57. Let k = -0.1 - t. Let n be (-4)/6*27/7. Which is smaller: k or n?
n
Suppose -650 = -93288*i + 93314*i. Let j(m) = -3 + 0*m**2 + m**2 + 6*m - 4*m**3 + 3*m**3. Let d be j(4). Is i equal to d?
False
Let x = 1697.9 - 1698. Let i = 127 + -126.849. Is x greater than or equal to i?
False
Let x = -42/2585 + 42249/1168420. Let m = x - 46599/24860. Let i = 16/11 + m. Which is smaller: 1 or i?
i
Let h be -5*7/(70/66). Let x = h + 73. Suppose -x = 5*t + 10. Which is greater: t or -15?
t
Suppose -12 = -4*o - 144. Let r = 3625 + -3622. Which is smaller: o or r?
o
Let w be 4 + 6 + -1 + 20046/(-2226). Which is greater: -1.3 or w?
w
Let j be (32 + 2)/(-1) - -1. Suppose -17207 - 2360 = -17*g. Suppose 28*l + g = 227. Is l greater than j?
False
Let k be (2/(-4))/((-146)/(-14892)). Is -50 at most k?
False
Let a = -151 - -152. Let j = 610 - 399. Which is greater: a or j?
j
Let z = 49 - 46. Let u be (-1 - (z - 19)) + -4. Suppose 4*n + 14 = 2*v, 3*v + 0 = n + u. Is n bigger than -5?
True
Let c = 25320 - 632998/25. Is 300 less than or equal to c?
False
Suppose 5*h = 2 + 3. Let t be 115/75*-35*5/(-10). Let m = -7579/282 + t. Is m greater than h?
False
Let x = -2 + 88. Let u(c) = c**2 - 9*c + 93. Suppose -50 = -8*r + 3*r - 2*h, 0 = r - 5*h + 17. Let o be u(r). Which is bigger: o or x?
x
Let j be ((-3)/(-1))/(-3) - -6. Let w(g) = g**2 - 7*g. Let r be w(j). Let z be (-44)/(-9) - r/90. Is 6 >= z?
True
Suppose 20*k - 325 = -5*k. Let x be (-56 - -56) + 1 + -1*k. Let q = 12 + -24. Is x less than or equal to q?
True
Let k = -2/6672129 + -173622140800/126770451. Let h = k + 1371. Which is smaller: h or 0?
0
Let v be (-3)/(-1) - 4/2. Suppose x + 3 = -v. Let j(q) = -10*q**2 + q - 5. Let z be j(0). Which is bigger: z or x?
x
Let i = 30 - 60. Let c = i - -27. Let w = 3.3 + c. Which is smaller: w or 3/4?
w
Let h be 14/88 + (-14)/(-770)*(-15)/(-3). Is h <= -776?
False
Let j be (-4 - 14)*(-4984)/(-6). Let m be 12/(j/314) - (-2)/7. Are 0 and m equal?
False
Let c be 769/3 - (224/(-21) - -10). Let i = -1027/4 + c. Are i and 8.1 nonequal?
True
Let i(z) = z**3 - 5*z**2 + 5*z - 3. Let w be i(3). Let t = -789 + 1191. Let j = -408 + t. Is w greater than j?
False
Suppose 19*n = 11*n + 152. Suppose 0 = -n*s - 11 - 8. Which is smaller: s or -3/137?
s
Let c(k) = k**2 + k + 5. Let w be 18/4*16/12. Let p be c(w). Let u = p - 40. Which is bigger: u or 8?
8
Let h = -0.2 + 0.1. Let p = -845 + 506. Let j = 336 + p. Which is bigger: h or j?
h
Let l(r) = r + 8. Let x be l(-3). Suppose 4*v + 10 = 2*d, -3*v + 4*d - 10 - x = 0. Let w = -32704/25 + 1308. Is w at most v?
False
Let p be ((-26559)/6633 + 4)/((-5)/((-20)/(-8))). Are 0 and p non-equal?
True
Let q = -20 + 12. Let b = q + 13. Let n = -2514239 + 2514241. Which is bigger: b or n?
b
Let i = -12.057 - -12.0121. Which is smaller: i or 0?
i
Let o(j) = -j**2 - 10*j + 1. Let w be o(-10). Suppose 5*z - 4*k - 3 = 0, -4*k + 16 = 4*z - 8. Let y be (-4)/(-22) - (48/572)/z. Which is bigger: y or w?
w
Suppose 6 = -r + 2*r. Let f = r + -10. Let y(l) = -l**3 - 8*l**2 + 19*l - 13. Let d be y(-10). Which is smaller: d or f?
f
Suppose -o + 6*o - 411 = -3*w, 5*o + 5*w = 415. Suppose 6*g + 272 - 758 = 0. Is g != o?
False
Let l be (-1617)/38423*(-6)/7. Is 1 >= l?
True
Let l = 0.10114 - 5716.10114. Let u = -5680.99 - l. Let z = 35 - u. Is z at most as big as -2?
False
Let k = -40 + 52. Suppose 2*b = -4*a + 500, 0 = -k*b + 10*b - 3*a + 501. Is b > 253?
False
Let z = 3.21 + 160.79. Let i = z + -164.02. Let d = 657/5 + -132. Which is smaller: i or d?
d
Let v be (-16 + -4 + 22)/(2/(-22)). Let j = 27 + -29. Is v at most as big as j?
True
Let w = 68 - 59. Let z be (0 - 23)*((-40)/12 + 3). Is w bigger than z?
True
Suppose -2*o - 5*s = -4*o - 38, o + 4*s + 6 = 0. Which is greater: o or -4?
-4
Let q = -18 - -16. Let a(c) = 4*c + 10. Let l be a(q). Let i be (-1 + -1)/(l*-7). Do i and 0 have the same value?
False
Suppose 0 + 11 = 2*h - s, 0 = 3*h + s - 4. Suppose -h*z + 23 = 17. Suppose 2*k + 2*u = 5*u + 30, 113 = 5*k + z*u. Which is bigger: k or 22?
22
Suppose -4*t + 8*t - 3*i = -9232, -4*t - 3*i - 9256 = 0. Is -2310 less than or equal to t?
False
Suppose 4*i = 8*i + 2076. Suppose 479 = -d + 5*t, 318*t + 2092 = -4*d + 316*t. Do i and d have the same value?
True
Let n(g) = 21*g + 22. Let r be n(-4). Let o = -62 - r. Let z be ((-4)/6)/(14/21). Which is greater: o or z?
o
Suppose -f - 4 + 13 = 2*d, d - 3*f = -13. Suppose -d*h - 174 = 5*t, -147 = -9*t + 13*t - h. Let x(r) = -r**2 + 2*r. Let z be x(-5). Which is smaller: z or t?
t
Suppose 20*h - 15*h + 25 = 3*o, -9*o + h + 5 = 0. Which is smaller: o or -5/448?
-5/448
Let x(m) = 395*m**2 + 19*m - 2. Let n be x(2). Do 1616 and n have the same value?
True
Let w(n) = 8*n**2 - n + 6*n - n + 3. Let i be w(-2). Let m = 28894 + -28866. Which is bigger: i or m?
m
Let j = 24 + -45. Suppose -13*o - 2 = -14*o. Suppose 4*b + 78 = -2*g, -o*g + 21 - 78 = 3*b. Is j <= b?
True
Let z(f) = f**3 + 5*f**2 + 25. Let j(y) = -2*y**3 - 9*y**2 - 2*y - 49. Let c(w) = 3*j(w) + 7*z(w). Let x be c(-9). Which is bigger: x or -1/632?
x
Let x = -4.9 - -4.28. Let p = -0.306 - -0.126. Let n = x + p. Is -4/3 at most n?
True
Suppose -7*z = 3*m - 3*z + 7, 2*z = 4*m - 20. Suppose m*j = -6 + 3. Which is greater: -5/37 or j?
-5/37
Let k = 3712 - 2442. Is 1270 != k?
False
Let x = 0.55 + -22.55. Let k = 21.9409 + 0.0791. Let j = x + k. Which is greater: j or 1/5?
1/5
Suppose 44684 = 5*h + 7*y - 6*y, -3*h + 26804 = -y. Let z be (-30)/25*(h/(-6228) - -1). Let o = -2/173 - z. Are o and 0 equal?
False
Let d be (17400/585)/(6/(-9)). Is d at least as big as -46?
True
Let v(i) = i**2 - 6*i + 10. Let j be v(4). Let n(h) = 4*h + 3*h**2 + 4 - h**3 - 6*h - 3. Let d be n(j). Which is bigger: 12/11 or d?
12/11
Suppose -5*r + 1887 = -22*r. Let o = 64 + r. Which is bigger: o or -45?
-45
Let x(q) = -2*q**3 + 18*q**2 - 19*q. Let t be x(8). Let j be (-6)/t - (-1 - (-722)/8). Which is greater: -86 or j?
-86
Let t(r) = 8*r + 19. Let x(n) = 23*n + 58. Let a(o) = -7*t(o) + 2*x(o). Let q be a(7). Let j = -127 - q. Which is greater: j or -39?
-39
Suppose 23 = h + 25. Let d be 14/6 - (h - (-12)/9). Suppose j + i + i + d = 0, 4*j + 4*i + 4 = 0. Which is smaller: j or -2/45?
-2/45
Let s be 8/(-60) + (-282)/(-90). Suppose -1704*a - s = -1707*a. Are 7/15 and a equal?
False
Let o(y) = -4*y**2 + 65*y - 24. Let d be o(11). Suppose 4*b = b + 618. Are d and b equal?
False
Let o = -0.354 + 0.154. Which is bigger: o or -87/11?
o
Suppose 4*c + 58 = p + 57, 2*p = 10. Which is bigger: -6/349 or c?
c
Suppose 14 = -15*u + 254. Suppose 4*s + u = 6*f - 3*f, -f = 3*s + 12. Which is smaller: 2/341 or f?
f
Let s = 637 + 3620. Is s smaller than 4258?
True
Suppose 5*i + 8*t - 6*t = 28, i - 5*t = -16. Suppose 0 = -3*g - i*a + 24, 2*g + 2*a = g + 6. Is 6 equal to g?
False
Let y(i) = 6*i - 38. 