f(s) = s**2 + s - 8. Let c be f(-8). Let n be c/(-9)*30/(-220). Do n and 2 have different values?
True
Suppose -48*o - 11264 = -70*o. Is 509 < o?
True
Let u = -103/195 - -52504/101985. Are -1 and u equal?
False
Let c(u) = 71*u + 517. Let m be c(-6). Are m and 67 equal?
False
Let y = -248 - -366. Let o = 118.02 - y. Are o and 2 nonequal?
True
Let o(h) = h**3 - 33*h**2 + 27*h - 16. Let t be o(32). Let g be ((-220)/11)/(-160) - (-5)/24. Which is greater: t or g?
g
Let z = 1448 - 1445.294. Let p = z - -0.294. Which is greater: p or -4?
p
Let t(b) = b**3 + 12*b**2 + b + 9. Let j be t(-12). Let x be (-6 - j)*6/9. Let l be (-2)/(((-24)/42)/x). Which is bigger: -6 or l?
-6
Suppose 3*x - 5*x - 2*h - 646 = 0, -4*x - h - 1286 = 0. Let g = x - -326. Which is bigger: g or -51/4?
g
Let x = 882 + -3047. Which is bigger: -2166 or x?
x
Let q be (1 - 0) + 150/(-160). Let p(s) = s**2 - 19*s - 1. Let y be p(19). Which is smaller: y or q?
y
Let z = -4 - 26. Let j = 28 + z. Let i be -4 + 11 + -7 + 3. Does i = j?
False
Let m(t) = 7 - 3 + 11*t - 3. Let r be m(0). Let x = 23409/41 - 571. Do x and r have the same value?
False
Let v be (-4400)/(-36) + 2/(-9). Let n = v - 147. Let x be 1930/n + (-5)/(-25). Which is smaller: x or -78?
-78
Let k be (621/5)/((-55)/550). Let m be ((-92)/k)/(362/(-366) - -1). Is m at least 8?
False
Let o(b) = -3*b + 12. Let i(u) = -4*u + 11. Suppose 0 = -2*m - 3 - 1. Let q(s) = m*i(s) + 3*o(s). Let y be q(-9). Are y and 23 non-equal?
False
Let r = -23025/4968437 + 6/1649. Which is smaller: r or 0?
r
Suppose 24 = 18*n - 10*n. Let l be (n - 1) + (3 - 1) - 6. Is l greater than 2/9?
False
Suppose 4*v - v = 189. Suppose 59*s - 648 = v*s. Let z be (-4)/1 - -2 - s/87. Which is smaller: -1 or z?
-1
Let x(s) = 20*s**3 - 320*s**2 + 3*s - 47. Let p be x(16). Is 2/69129 smaller than p?
True
Let v = 265.906 + 0.094. Let j = 266.2 - v. Which is greater: j or 1.51?
1.51
Let n be ((-36)/(-8))/(2/4). Let w be ((-4)/3)/((-3)/n). Let k = -1196.6 - -1196.1. Is w greater than or equal to k?
True
Let b be (1300/120 + -31)/(2/12). Which is smaller: -2566/21 or b?
-2566/21
Let j = -3 - -2. Let n be 14/(-84)*(-8)/354. Let f = 19/177 + n. Which is smaller: f or j?
j
Let a(v) = v**3 + v**2 - 24*v - 93. Let m be a(-13). Is -1808 smaller than m?
False
Let m = 35.58 + 1.42. Let n = -47 + m. Which is greater: -0.5 or n?
-0.5
Suppose -5*d = 3*h - 769, -967 = -5*h + d + 268. Which is bigger: 244 or h?
h
Let y = -179.99 - 3.01. Let m = 184 + y. Which is smaller: m or -0.16?
-0.16
Let x(u) = 0*u**2 + 0*u**2 + 0 - 14*u - 28 + u**2. Let t be x(15). Let q = 16 + -16. Which is smaller: q or t?
t
Let a(z) be the second derivative of 10*z**3/3 + 10*z**2 - 26*z. Let j be a(4). Suppose 2*c = -4*n - j, n - 47 = 6*c - 5*c. Are c and -49 non-equal?
True
Let d = -0.04 - -0.07. Let j = 83813/2 + -41905. Which is smaller: d or j?
d
Let a be 83/(-747)*(-2085)/2. Which is bigger: 116 or a?
116
Suppose 3*v - 5*m = 2385, -2*m - 2855 = -3*v - 470. Suppose -27*q - 933 = v. Which is greater: q or -60?
-60
Let p = -24 + -20. Suppose 52 = 11*q - 36. Suppose -107 = q*u + 245. Is p > u?
False
Let x = 78.937 - 0.137. Let r = x - 79. Are -0.21 and r non-equal?
True
Let l(f) = f + 10. Let w be l(0). Let b = -9 + w. Let x = 458/11 + -58188/1397. Which is bigger: b or x?
b
Let x = -0.086 - -8.686. Let f = -9.33 + x. Let p = f + 1.23. Which is smaller: p or 8?
p
Suppose 0*c = -5*c - 1250. Let i = -334 - c. Which is smaller: -86 or i?
-86
Let y = -85 - -86. Let b be (14457/4815 - 3)/(12/(-30)). Is y greater than b?
True
Let b = 1348 - 1577. Is 8 bigger than b?
True
Let w(j) = 2*j**3 + 2*j + 3. Let u be w(-2). Let x = -165955 - -165942. Do x and u have different values?
True
Suppose 113*d - 7975 = 2195. Which is bigger: d or 357/4?
d
Let p = -336 - 272. Suppose 289*c + 335*c + 380016 = 0. Is c > p?
False
Let l = 194 - 172. Let i = 1215 + -1201. Do l and i have the same value?
False
Let c(p) = -p**3 - 17*p**2 + 22*p + 78. Let g be c(-18). Let v be (-156)/(((-3)/g)/((-9)/27)). Which is smaller: 0 or v?
v
Let s = 278.3 - 278. Let k = s - 0. Is k at least as big as -1/18?
True
Suppose 24 = 297*s - 291*s. Let o be 124/(-8)*(s + -2). Which is smaller: o or -33?
-33
Let r = 228 - 228. Suppose 12 = -0*m + 2*m. Let w be -1 - (27/m - 1). Is r not equal to w?
True
Let p be (15/20*-68)/(213/(-2)). Which is smaller: 0 or p?
0
Let l be (-15 - -11)*-138 - 10. Which is bigger: l or 541?
l
Suppose 24*w - 49 = 2543. Which is smaller: w or -11?
-11
Let b = 25175 - 352447/14. Let t be (-9)/(-12) - 2/(-8). Which is smaller: b or t?
b
Let o = 0.098 + 0.034. Let g = -0.232 + o. Which is greater: g or 3/49?
3/49
Let t be (-4)/7 - (-610)/915. Which is smaller: t or -58?
-58
Let f(v) = -v**2 - 3*v - 55. Let d be f(-12). Let t = -163 - d. Is -129 at least t?
False
Let m be (198/48)/(-11) - 2762/16. Let v be (-4)/(-6) + ((-4689)/27 - -3). Is m less than or equal to v?
True
Suppose 12*g - 60 = 9*g. Suppose -o + 0 = -4, -4*o = -4*l - g. Which is smaller: -3/47 or l?
l
Let j = -134.138 + 0.138. Let u = j - -67. Let w = -2/1357 + 2724/6785. Is u >= w?
False
Let c = -2 - -2. Let i = 6257 + -6231. Which is smaller: i or c?
c
Let v = 0.7 + 0. Let m = 142.22 + -143. Let f = -2.22 + m. Is f smaller than v?
True
Let v = 52638 - 52644. Suppose 5*z = -5*r + z + 18, -2*z = -2*r + 18. Which is greater: r or v?
r
Let q = -0.18 + 0.28. Let n = -2.01389 - -0.05389. Are n and q unequal?
True
Let n be (4 - (-33)/(-6))/(9/12). Let m be 150/30 - (-9)/n. Is -5 < m?
True
Let o = -1036 + 36226/35. Does o = -1?
False
Let s = -0.06 + -4.44. Let k = 0.84 - -11.66. Let d = s + k. Are 1 and d nonequal?
True
Let n be ((-24)/(-36))/((-7)/3). Let d = -53.13 + 57.03. Is n > d?
False
Let d = 303/38 - 1629/190. Which is greater: d or 27?
27
Suppose -y + 240 = 242. Are 493 and y unequal?
True
Let a(t) = -t**3 - t**2 + 2*t - 1. Let d be a(1). Suppose 0 = 6*u - u - 3*k - 10839, -2*k + 6492 = 3*u. Let x be (19/u)/(2 - 34/18). Is x > d?
True
Let t = 60.1 + 6.9. Let i = t - 89. Let p = i - -21.9. Which is smaller: -10 or p?
-10
Suppose 13*g = 21*g. Suppose 3*d - 7*d + 28 = g. Let r = 39 + d. Is r equal to 45?
False
Let q = 3638 - 3671. Let r be (-1 + 0)*0 + 29. Let d = r + q. Is -4 at least as big as d?
True
Let q be ((-25)/9)/5 + -50 + 48. Which is bigger: -3 or q?
q
Suppose -4*x + 3*r = -455, 3*x - 5*r - 357 = -8*r. Is x less than or equal to 116?
True
Let m = -45.7 - -3.7. Let r = 1733 + -1689. Let g = r + m. Which is bigger: 1/2 or g?
g
Let z = -129/100 + -17231/100. Let j = 174 + z. Is -5 at least as big as j?
False
Let y = 35873 - 3730795/104. Let w be (1 + 9/(-6))*2. Is y not equal to w?
True
Let x = 0.16901 - 0.16901. Which is smaller: -3/3113 or x?
-3/3113
Let r = 0.26 - 0.18. Let k = r + -22.08. Let n = -21 - k. Which is smaller: n or -5?
-5
Let w(r) = 109*r - 1. Let j be w(-1). Suppose 345 = -1702*t + 1699*t + 5*h, -5*t = -2*h + 556. Does j = t?
True
Let k be (18/(-5295))/(-7*2/(-70)). Let t = k + -28/39889. Are t and 1 non-equal?
True
Let b = 754 - 754.0712. Let a = b - -0.0712. Is a at least -209?
True
Let j be (-167829)/143946 - -1 - (10 + (-61)/6). Is -1 bigger than j?
False
Let l = 204 - 126. Let b = 88 - l. Suppose 0 = -7*y + y + 60. Do b and y have the same value?
True
Let q be (-68)/14 + 72/84. Let n be -3 - 2/(1/1). Which is bigger: n or q?
q
Let i = -110858/15 + 37137304/5025. Do i and -1 have different values?
True
Let l(d) = -38*d - 4665. Let z be l(-118). Do z and 25 have the same value?
False
Let o = 3.01 + -3. Let g = -390 - -386. Let t be (-31)/62 - (-6)/g. Is o less than t?
False
Let g(n) = -768*n + 227. Let l be g(-1). Is 997 at most l?
False
Let p(y) = -13*y - 1. Let b(q) = 27*q + 3. Let n(r) = r**2 - 8*r - 11. Let t be n(9). Let v(c) = t*b(c) - 5*p(c). Let d be v(-4). Which is smaller: d or -44?
d
Let r(s) = 7*s**3 + 16*s**2 - 202. Let m be r(-10). Which is bigger: -5601 or m?
-5601
Let q(n) = -n**2 - n + 5. Suppose -11*i + 22 = -13*i. Let c be q(i). Do -107 and c have the same value?
False
Let x = 0.83629 + 0.06371. Let g = 4.89 - -0.11. Is g at least x?
True
Let n = -73.117 + 0.117. Let d = -61 - n. Which is smaller: -5 or d?
-5
Let n = 58 - 70. Let c be (-15 - -398)*1/(-4). Let k = c - -84. Which is bigger: k or n?
k
Let a = 110 - 110.51.