. Let z(s) = -4*s - 12. Let b be z(-6). Is b equal to f?
False
Let i = -67 + 27. Let b = i - -74. Suppose 0 = 3*k - 5*u - 25, -4*u + b = k + 2*k. Is k smaller than 9?
False
Let c = 169 - 283. Let z be 6/c*40/(-2). Suppose -w + 4 = -a, -231*w + 4*a + 16 = -233*w. Which is bigger: w or z?
z
Let n = -4517.906 - -4514. Let q = n + -0.094. Let f = -20 + 12. Is f greater than q?
False
Let o(l) = -616*l**2 + 577*l**2 - 2*l**3 + 18*l + 4*l**3 + 23. Let d(h) = h**3 + 6*h**2 - 11*h - 9. Let q be d(-7). Let y be o(q). Is 3 at least as big as y?
False
Let a = -10221 - -10549. Is a at most 332?
True
Let c = -92 - -28. Let q = c + 52. Suppose 13 = -4*r + 3*r. Which is smaller: r or q?
r
Suppose 2*g + 2*g + 4 = 0, -14 = -5*v + 4*g. Suppose 2*y - 75 = -5*a, v*y - 3*y - 5 = 0. Which is smaller: a or 158/9?
a
Let l be 174/4 + 18/12. Let k be (3*24/l)/(56/20). Do k and 2 have the same value?
False
Let k = 2161 + -698000/323. Let h = -1033/41667 + k. Which is greater: h or 0?
0
Let d = 563 - 791. Let y = d - -228.1. Let s = 4 + -4. Is s less than y?
True
Suppose 4*b = 4*z + 8, 5*b + z = -3*z - 26. Let g = -82782 - -413904/5. Which is bigger: g or b?
g
Let k(d) = -d**3 - 92*d**2 + 3*d - 114. Let q be k(-92). Is q > -392?
True
Let c be 40620/28385 + -3 + (-1)/4. Let m = -51/28 - c. Let q = m + 867/22708. Is q <= 0?
False
Let r = -1463.99 + 1487. Let y = r + -23. Which is bigger: 7/4 or y?
7/4
Let o = -2.62 + 2.4. Let n = 929 + -588. Let p = n - 341.3. Is p < o?
True
Let m(u) = 3*u**2 + 16*u + 16. Let x be m(-7). Let n be (x/(-3) + -1)*30/63. Which is smaller: n or -10?
-10
Let d(u) = -9*u - 80. Let x be d(-9). Let s be (-4)/(-6)*x/(-8)*-164. Is s smaller than 14?
True
Suppose 1 = -4*s - 3. Let b = -202 + 202. Suppose b = -19*d - 0*d + 76. Which is greater: s or d?
d
Suppose 15 = -t + 6*t. Let d(k) = 9*k + 2 + 13*k**3 - 4*k**t - 5*k**3 + 8*k**2 - 5*k**3. Let c be d(9). Do -2/9 and c have the same value?
False
Let q = -309 - -308.809. Let k = 0.191 + q. Which is smaller: -86 or k?
-86
Let z(d) = -10*d**2 + d - 1. Let u be z(1). Suppose 10*g + 11 = 9*g + x, 3 = x. Let j be ((-88)/20)/(g/(-20)). Which is greater: j or u?
u
Let f = 31 - 31. Suppose 5*j = -f*j + 75. Suppose s = 4*o - j, s + 0*o = 3*o - 11. Are 1/55 and s nonequal?
True
Let k be (-1762)/2 + ((-10)/6)/((-110)/462). Do k and -875 have the same value?
False
Let y be 5 + 1068/(-240) + 2/10. Let f(m) = m**3 + 3*m**2 + m. Suppose -5*w = 2 + 3. Let l be f(w). Which is bigger: y or l?
l
Let s = 45.143 + -0.143. Let d = 446.9 - 402. Let j = s - d. Which is smaller: j or -11?
-11
Suppose 2 = -5*p + 7. Let v = 277 - 1906. Let m be (v/1833 - -1) + (-6)/39. Is m at least p?
False
Let q = -16699 + 16701. Let w be (58*1)/(0 + 1). Which is greater: q or w?
w
Suppose 14690 + 25510 = 120*l. Do l and -0.2 have the same value?
False
Suppose 282*b - 289 = 299*b. Let m be (2 + (-21)/(-6))*(-12)/3. Which is bigger: m or b?
b
Let j be (-78)/5*10/(-3). Let w = 13109 - 13055. Which is smaller: w or j?
j
Let b be 2/(-7) + (-10)/14. Let n be 264/(-16) - b/(-2). Let h = -372 - -354. Are n and h nonequal?
True
Let g = -0.00221 + -820.99779. Which is smaller: 1/4 or g?
g
Let b(g) = g**2 + 13*g + 11. Suppose -5*c + s = 51, 34 = 2*c - 4*c - 3*s. Let y be b(c). Let v(z) = z**3 + 11*z**2 + z - 10. Let m be v(y). Is m at most -20?
True
Let z be (-372)/(-3) + (0 - -2)/(18/27). Is 15 not equal to z?
True
Let q be 1/(-3) + 1719/3942. Is q less than or equal to 1?
True
Let f be (-6)/(-12) - (-43)/10. Let w be -2 + 2 - 2/14*7. Let b be (w + 15/(-10))/((-2)/4). Is f less than b?
True
Suppose -2*q - q + 249 = 3*b, 4*q = -b + 77. Let x = b + -110. Which is bigger: -23 or x?
-23
Suppose -3*f = -0*f + k, 5*f = -3*k. Suppose 73*u - 67*u - 162 = f. Is 27 less than or equal to u?
True
Suppose 6 = -48*f + 51*f. Suppose -2*w + 10 = -5*h - 9, -6 = f*h. Let n be (-9)/42*w + 3/12. Which is greater: -1 or n?
n
Let o(y) = -y**3 - 12*y**2 - 2*y - 9. Let r be o(-10). Let v = -113 - r. Let t = v + -77. Which is greater: t or 2/155?
2/155
Let w = 87210 - 87293.951. Let v = w - -84. Let t = 0.151 + v. Which is smaller: t or 2/5?
t
Let q be 20/90*333/74. Which is greater: 10/343 or q?
q
Let w be 3/6*8/22. Suppose 66*z = -98*z + 7*z + 2669. Is w <= z?
True
Let d be (-14)/63 + (-924)/(-27). Let g = d + -30. Let h be 48/8*6/g. Which is smaller: h or 6?
6
Suppose 4*a = -5*b + 10584, -5*a + 16*b = 13*b - 13267. Let p be 4/10 - a/440. Let w be 1/(30/(-14) + 2). Are w and p unequal?
True
Let z = -278.6 + 278.51. Which is greater: z or 0.48?
0.48
Let i = 1241 - 1241. Is i smaller than -1/7529?
False
Let i be 3/12 - ((-5)/(-1))/20. Let r be -3 + i/1 + 5. Let f = -6 - -10. Which is smaller: f or r?
r
Suppose 5*r = 3*l - 68, -2*l - 1505 + 1572 = -5*r. Let o(q) = -24*q - 4. Let t be o(5). Let u be t/(-59) - (-2 - -4). Is u at least l?
False
Let u = 248 + -236. Suppose u*w - 14 = k + 13*w, 0 = -k + 2*w - 11. Is -14 at least k?
False
Let v be 2272/76 + ((-17)/19 - -1). Suppose v = 134*j - 144*j. Let d = -5 + 9. Is d >= j?
True
Let u(d) = -d**3 + 5*d**2 - 2*d - 7. Let b be u(4). Let n be b/(2/(-4) + 0). Let p be (0 - n/(-6)) + 35/15. Is p equal to 9/17?
False
Let p(l) = l**3 - 7*l**2 + l - 57. Let q be p(0). Let r = -1650/29 - q. Is r bigger than 0?
True
Suppose -53*z = -58*z + 25. Suppose -5*v + 310 = -z*t, 204 = -4*t + t - 3*v. Is -63 greater than or equal to t?
True
Suppose -3*k - 98 = -2. Let g be k/(-80) + (-6)/(-10). Suppose 0 = t + g + 16. Is 0 > t?
True
Let y = -21.01 + 21. Let u = y + 4.01. Is u at least -16?
True
Let u be (-19)/(-342) + 2/(-36). Which is bigger: u or -34/565?
u
Let f be -29 + 23 - -316*(-4)/16. Which is smaller: f or -89?
-89
Let y be -33 + 34 + -620 + 1. Is y smaller than -621?
False
Suppose 0 = 5*c - 5, 0*k - c = k - 3. Which is smaller: 187 or k?
k
Let f be ((-120)/(-28))/((-5)/245). Let h be f/(-245) + 8202/(-14). Which is greater: -586 or h?
h
Let h be 4/10 - 2647062/(-2320). Let b = h + -1138. Which is greater: 4 or b?
4
Let t(p) = p**3 + 20*p**2 - 21. Suppose -190*z - 300 = -175*z. Let g be t(z). Which is greater: g or 11?
11
Suppose -1070*k - 14028 - 9512 = 0. Let o(n) = -n**3 + 4*n**2 - n + 6. Let b be o(5). Which is bigger: k or b?
k
Let q(m) = 2*m**3 + 3*m**2 - 9*m - 2. Let c be q(-4). Let l = c - -222. Which is greater: 175 or l?
l
Let w(n) = n - 11. Let f be w(14). Suppose 98 = f*r + 23. Suppose 31 + r = -8*t. Which is greater: t or -6?
-6
Let j be 643*(5/(-7) - 1*(-8)/(-28)). Are -645 and j non-equal?
True
Let x be (-10)/(-45) - (-25)/9. Suppose -4*a = 16*b - 15*b - 187, 0 = 5*b - 5*a - 885. Is b >= x?
True
Let s = -0.05601 - -166.85601. Is s greater than or equal to 2?
True
Suppose -20 = -4*u - 0*u + 4*w, 0 = -4*u - 4*w + 60. Suppose 0 = -7*x - 3 + u. Let k be (0 - (-4)/(-122))*x. Do k and -1 have the same value?
False
Suppose -o + 3*j - 1589 = 0, -11*o + 9*o = 2*j + 3250. Is -1615 smaller than o?
False
Let h = 366 - 526. Let n be 1208/h*-5*4. Is 151 < n?
False
Let a = 145 + -103. Let c = 54 - 44. Let z be 5356/130 + 8/c. Is a less than or equal to z?
True
Let y = -1.97 + -0.03. Let u = -425 + 412.88. Let z = -12 - u. Which is greater: y or z?
z
Let y = 3406 + -85147/25. Let q be 22/(-18) + 4/18. Which is greater: y or q?
y
Let s(u) = -u**2 + u - 1. Let j(h) = h**3 - 8*h**2 - 6*h + 1. Let g(l) = j(l) - 4*s(l). Let m = 714 + -709. Let p be g(m). Which is smaller: -22 or p?
-22
Let u = 13118 + -13108. Suppose d + 0*b - 2*b + 5 = 0, 0 = -3*d - 3*b + 3. Which is bigger: d or u?
u
Let u = 39 + -48. Let c(q) = 9*q**2 + 0*q - 81 + 68 + q**3 - q. Let l be c(u). Is l at most 2?
True
Let y = 63 + -62.595. Let c = y - 0.55. Let f = -3.855 + c. Which is greater: f or 7?
7
Let y be (3 - 6)/(27/1548). Let a = -170 - y. Which is smaller: a or 4/13?
4/13
Suppose 25 = 2*s + 3. Let w be 16/40*520/16. Which is smaller: w or s?
s
Let x = -64 + 74. Suppose -10 = -5*i + x*i, -d = -4*i. Do d and -6 have the same value?
False
Let v be (8/18)/(6/(-7317)). Is -545 at least v?
False
Suppose -10*w - 12 = 4 + 34. Is -0.0395 greater than or equal to w?
True
Let i = 61031/4 + -15258. Which is smaller: i or 7.64?
i
Suppose 3*i + 0*i + 5*g = -1802, 0 = -i + g - 590. Let j = i - -496. Which is greater: j or -97?
-97
Let l = 810 + -794. Suppose z = 4, -4*d = -5*d - 4*z