= -z**2 + 9*z - 17. Let b be p(w). Which is smaller: b or 0?
0
Let z = 2275 + -2218. Suppose 8*n - 3*n - 5*x = -690, -2*n = -3*x + 274. Let h = z + n. Are -83 and h non-equal?
False
Let t(l) = l**3 - 11*l**2 - 12*l - 27. Let o be t(13). Suppose 0 = -5*f - 5*q - o, -f + 3*q + 2 = 17. Which is smaller: f or -7?
f
Let n be (-628)/(-24) - (1 - (-10)/(-12)). Let w be (n/138)/(14/(-6) + 2). Is w < -2?
False
Let k = -1896 - -1585.9. Is k != 1/2?
True
Let f(q) = -q**2 + 10*q + 39. Let l be f(13). Let y be (-474)/(-66) - (-2)/(-11). Let s = 6 - y. Do s and l have the same value?
False
Let o(k) = k**3 - 11*k**2 + 8*k + 24. Let g be o(10). Suppose 3*l - 12 = 7*l + g*n, l - n = 5. Suppose -5*i - 2*b - b = -50, 2*i + l = 3*b. Is 6 smaller than i?
True
Suppose 0 = 3*a - s - 166 - 144, 0 = s + 1. Let l be (-26660)/(-280) + 10 - (-6)/(-28). Is l less than or equal to a?
False
Suppose -292*f + 519*f + 347 + 561 = 0. Suppose -2*x + b - 19 = -5*x, 0 = 4*x - 4*b - 20. Let g be ((-21)/x)/((-1)/(-2)). Which is greater: f or g?
f
Let g be (-1*1)/(2468/(-20)). Let u = g + 14743/8021. Suppose -12*x = -39 + 3. Is x >= u?
True
Let o = 50 - 260. Let q = -215.6 - o. Is -2 > q?
True
Let d = 141222609/1700272 + -1/100016. Is d at least as big as 82?
True
Let f be (6/(-4))/(78/52). Which is greater: -34/15 or f?
f
Let z = -10034/124817 + 4/1621. Let o = z + 351/1540. Which is greater: -1 or o?
o
Let u(q) = 10*q**3 + 2*q**2 + 6*q - 98. Let n be u(-8). Which is bigger: n or -15416/3?
n
Let k(b) = -b**2 + 127*b + 2131. Let o be k(-15). Is -3189 bigger than o?
False
Let d be (12 - 176/16)*3. Which is greater: d or 101/49?
d
Suppose 16 = 4*r - 0*r. Let d(w) = 28*w + 88. Let a be d(-3). Is a at most as big as r?
True
Suppose -4*g = 729 + 283. Let l = 1263/5 + g. Which is smaller: l or 10/11?
l
Suppose -52*i + 20899 = -6869. Is 537 != i?
True
Let p = -27.887 - -28. Let w = 0.027 + p. Let l = 47 + -48. Which is greater: w or l?
w
Let n be (-5)/(10/(-12)) - (-48 - (-211869)/3924). Is n at most -5/6?
False
Let q = -216 + 323. Let i = q + 115. Is 223 at most i?
False
Let y = 1/1982 - -126823/49550. Let g = 1638/425 - y. Are 1 and g equal?
False
Let g = -7/11 + 13/55. Let j be (426/6 - -5)*1. Let s = j - 77. Which is greater: g or s?
g
Let k(c) = -c**3 + 17*c**2 + 6*c - 199. Let r be k(17). Which is smaller: r or -21?
r
Let h(i) = i**2 - 153*i - 467. Let s be h(-3). Is s greater than -2/1093?
True
Let h = 887 + -889. Let v be -2 + (-3 - 71/(-19)). Is v bigger than h?
True
Let l be 2/3 + ((-58)/(-6) - 10). Let n = -306.74 - 6.26. Is n less than l?
True
Suppose 0 = -4*c + 8, -3*c = r + 2*c - 505. Let f be ((r/10)/9)/(1/(-6)). Which is smaller: f or -34?
-34
Let v be ((-867640)/130942)/((-4)/14). Is v greater than 23?
True
Let j = 1507.6 - 1507.1. Which is smaller: j or -0.45?
-0.45
Let u = 1107 + -1691. Is 4 bigger than u?
True
Let l = 10456 + -10480.04. Is l greater than or equal to 0?
False
Suppose 78 - 243 = 3*o. Suppose -403*i = 285*i + 80*i + 39168. Which is greater: o or i?
i
Let p = -387 + 553.4. Let k = p - 82. Let a = k + -84. Which is smaller: a or 1/4?
1/4
Let w be ((-42)/4)/(21/(-84)). Let h be 3 + 0 + 14 + (-876)/w. Is -3 != h?
True
Let v = -1.1273 - -6.1273. Which is smaller: v or 615?
v
Let p = -578.9 - -578.9. Are p and -413 nonequal?
True
Let i be -2 + 23/(16767/1314). Which is bigger: i or -1?
i
Let t = -345 + 112. Let p be 5 + (-4)/(-28)*t. Which is greater: p or -29?
p
Let w be ((-948)/1422)/((-4)/(-6)). Are w and -3/8902 unequal?
True
Let u be (-10849)/(-1356) + (-212 - -204). Is 1 at most u?
False
Suppose 24*f - 595 = 19*f. Let d = 60 - f. Do -59 and d have the same value?
True
Let r be ((-8)/(-12))/(10/(-1185)). Which is greater: -72 or r?
-72
Suppose -110*d - 9049 = -15939 - 17860. Which is bigger: d or 227?
227
Let h = -5391/2 - -2697. Is 0.293 != h?
True
Let z = -8561 - -77426/9. Which is smaller: 41 or z?
41
Let n = 4.3 - 2.9. Let z = n + 2.4. Let a = z + 8.2. Are a and -0.1 equal?
False
Let w be (32/6)/(1/18). Let j be 14/(588/(-1358))*-3. Which is bigger: w or j?
j
Let t be 12/16 + 8529/(-12). Let z = 563 + t. Is -146 less than z?
False
Let c = -8136585/1399 - -5816. Is c at most as big as -1?
False
Suppose -8452 = -48*p - 99508. Is p less than 1/4?
True
Let n be (70692/4658)/(3/34). Let o = 384 - 214. Is n bigger than o?
True
Let o(n) = 2*n + 12. Let x be o(-7). Let d(c) = -c**2 - 4*c - 2. Let v be d(x). Suppose -6*g + g - 4 = v*l, 4*l + 8 = -g. Are -1/73 and g non-equal?
True
Let z = -7312.7 + 7719. Let l = 434 - z. Let f = 27 - l. Which is smaller: f or -1?
-1
Suppose -1357 + 293 = -73*a + 542. Let j = 6290/9 + -698. Is j at least a?
False
Let q be (1 - 6/4)*48*1/96. Which is smaller: q or 0.162?
q
Let m be (-1480)/3367 + (-2)/(-7) + 0. Which is smaller: -2404 or m?
-2404
Let w(j) = -j**3 + 14*j**2 + 19*j - 74. Let a(h) = -3*h + 63. Let r be a(16). Let s be w(r). Is -6/11 smaller than s?
False
Let k(s) = -s**3 - 7*s**2 + 2*s + 5. Let n be k(-8). Let h = n + -49. Let z be 5/h - (-5)/(-20). Which is smaller: -1 or z?
-1
Let m be (9/(-66)*112/42)/(3 + -1517). Are m and -1 equal?
False
Let z(q) = 2*q**2 + 11*q + 2. Let r = -29 + 49. Suppose 4*m = -0*m - 5*f - r, f + 10 = -2*m. Let y be z(m). Are y and -1 unequal?
True
Let i(b) = -b**3 - 124*b**2 + 114*b - 1190. Let y be i(-125). Which is smaller: 13 or y?
13
Let v = -355 + 359. Suppose -2*w + v*o - 160 = 0, -o - 3*o + 82 = -w. Which is smaller: w or -77?
w
Let p = 512882/3 - 172640. Which is greater: p or -1679?
-1679
Suppose 27*n = 9*n + 18. Let k be n/((-595)/(-1232)) + -3 + 1. Which is greater: 1 or k?
1
Let b = -612 + 2299/4. Let r = b + 15935/428. Is 1 at most as big as r?
False
Let j(i) = -3*i - 31. Let r be j(9). Let k = 64 + r. Suppose 4*n = -t + 7, -k*t + 2*t + 2*n + 100 = 0. Is t less than 23?
False
Let v be (-2)/((-14)/(-3) + -4) - 1. Let q be 38*v/(-16)*-6. Do q and -55 have the same value?
False
Let l(p) = p**3 - 25*p**2 - 23*p - 78. Let r = 127 - 101. Let v be l(r). Which is smaller: -2 or v?
-2
Let b = -1060 + 1042. Let y = 17/8 + -149/8. Is b != y?
True
Let c = -59 + 59.146. Let l = 0.016 - c. Which is greater: l or 1?
1
Let k be (-79 - -84)*(153/(-5))/3. Let t be 0 + -50 - 3/(-6). Which is greater: k or t?
t
Let v be (4/(-20))/(2/(1852/(-302))). Let c be ((-4)/(-906))/(1*(-1)/3). Let b = c + v. Is b <= 1/4?
False
Let c be 3/(-5) - (201360/50)/(-12). Suppose c = -2*l - 5*h, -27*h + 22*h = 25. Is l at least 1?
False
Let z(b) be the third derivative of -b**6/120 + b**5/12 + 7*b**4/24 - 14*b**3/3 - 4*b**2 - 8. Let x be z(6). Is -26 > x?
False
Suppose -5*t - 301 = -4*p + 59, 0 = 4*t + 3*p + 257. Is -1141/17 at least t?
True
Let f = 74.16 + -74. Let o = f - -7.84. Which is greater: -2 or o?
o
Let z(j) = 8*j**3 + 2*j**2 + 22*j + 44. Let h = 54 - 56. Let i be z(h). Is i less than -53?
True
Let g(x) = -x**3 - 27*x**2 - 172*x + 40. Let r be g(-9). Is 123 equal to r?
False
Suppose -2*q - 3*n = -5, 3*n - 7*n = 3*q - 7. Suppose -10*i + 4*f + 14 = -8*i, -5*i + 4*f + 5 = 0. Let o be ((1 - 8 - i)*-2)/(-1). Which is greater: o or q?
q
Let n be (292/(-596))/(67 + -66). Is n at least 0?
False
Suppose -64*g + 4588 = g - 3*g. Which is smaller: -3 or g?
-3
Let a(g) = g**3 + 10*g**2 + 13*g - 6. Let t be 1*(-2)/1 - (11 - 7). Let o be a(t). Suppose 0*p = -3*p - o. Which is smaller: -21 or p?
-21
Let n be (4/(-14))/(17/(-50230 + 12)). Which is greater: n or 846?
846
Suppose 0 = -7*s + 2*s - 25. Let i be ((-106)/15*s)/(1/(-3)). Which is smaller: i or -105?
i
Let v = 585 + -564. Which is greater: v or -0.44?
v
Let n be 109539/136905 + 7/(245/(-28)). Which is bigger: -1 or n?
n
Let s = -5913 + 6221. Which is greater: 5 or s?
s
Let p = 30.7 + 22.3. Let s = p - 26. Which is smaller: s or -0.1?
-0.1
Let z be 1503/7 + (-10 - (-144)/14). Suppose z - 1855 = 5*b. Is b equal to -328?
True
Suppose -200*g - 275690 - 232710 = 0. Which is smaller: 4 or g?
g
Let y = 36 - 24. Suppose -6 = y*c - 18. Let s be c/5*(-8)/(4 - 0). Is s > 2.5?
False
Suppose 5*c - 3 = -13. Let y = 2978 + -2989. Which is smaller: c or y?
y
Suppose -80*n - 93 = -83*n. Let w be n/(-26) - (0 - 1). Let f = -3/52 + w. Which is bigger: f or -0.24?
-0.24
Suppose d + 26 = 29. Suppose i + 5 = d*o - 0*i, 10 = -2*i. Which is smaller: -8/33 or o?
-8/33
Let y = -2.92 - 