 be (9 - 18/(-6))*1. Let n be ((-3)/a)/(5/20). Is n not equal to -48?
True
Let c be 18/8*297104/(-186). Are c and -3598 nonequal?
True
Let x = 15725 - 19263123/1225. Is x != 0.1?
True
Let s(w) = 14*w**3 + 2*w**2 - 3*w - 3. Let k be s(3). Let b be 158/(5/(150/12)) + 912/(-76). Which is bigger: b or k?
k
Let p = 778 + -779.6. Is p <= 95?
True
Suppose 0 = -i + 5*p - 1929, -8643 = 5*i - 3*p + 1112. Which is bigger: i or 1?
1
Let c = -10.57 - -596.57. Let a = c + -585.88. Is a < -16?
False
Let s = -824/297 - -16/27. Suppose -1 = 5*a + 19, -94 = -3*j - 2*a. Let b = -35 + j. Which is greater: s or b?
b
Suppose 3*c - 252 = 7*c. Let w = 48 + c. Which is greater: -44/3 or w?
-44/3
Suppose 2*g - 5*g = 228. Suppose 141 = 6*j + 129. Is g bigger than j?
False
Let q = 3800 - 3799. Which is smaller: q or 2/5435?
2/5435
Let p(t) = 4*t**3 + 32*t**2 + 3*t + 1888. Let u be p(0). Is u >= 1888?
True
Let c = -6712 - -6705. Let s = -0.1 + -4.9. Which is smaller: c or s?
c
Let l be ((-2236)/(-39))/((-2)/(-6) - 48/126). Is -1208 at least l?
False
Let n be ((-951)/(-2))/(62/(-124)). Is -950 <= n?
False
Let j(z) = 273*z - 1. Let o be j(1). Let x be ((-5480)/(-28))/((-6050)/(-8470)). Which is smaller: x or o?
o
Let m be 435/29 + -3 + -11. Is m bigger than 2/1819?
True
Let c = -4659 + 4626. Is -39 <= c?
True
Let o(q) = -206*q + 52. Let x be o(1). Are -2010/13 and x equal?
False
Let q = -9 + 23. Let w = 13.7 - q. Let h = w + 0.24. Do 0.2 and h have the same value?
False
Let w = -30 + 32. Let u = 2 + w. Let s = 1208.02 - 1208. Which is smaller: s or u?
s
Suppose -a - 2*y + 24 = 0, 3*a - 30 = a + 2*y. Suppose -10*s + 5*s = -5. Let t be (-1*s)/((-22)/418). Which is smaller: a or t?
a
Suppose -9*y + 45*y - 50505 = -y. Which is bigger: 1367 or y?
1367
Let m be 1713/12 + (-143)/(-44). Which is bigger: 293/2 or m?
293/2
Let f be 3/(-1) - (-1959)/2. Is f less than 978?
True
Let f = 648 - 711. Let y = 0.06 + -0.06. Which is greater: y or f?
y
Let l = 85.981 + -86. Let w = -1.981 + l. Is w >= 17?
False
Let o be (((-156)/15)/((-7)/(-35)))/(14 - 13). Do o and -0.78 have the same value?
False
Let t = -7 + 4. Let p(f) be the first derivative of 2*f**3/3 + 2*f**2 - 7*f + 603. Let w be p(t). Are 1/19 and w nonequal?
True
Let y = -35 + 223. Let h = 188 - y. Which is bigger: 27/4 or h?
27/4
Let m = -102 - -101.859. Let t = -8.8 - -8.9. Are m and t equal?
False
Let w(i) = -i**2 - 5*i + 5. Let c be w(-6). Let j(p) = p**3 + 41*p**2 - 44*p - 28. Let f be j(-42). Let h be 22/(-24) + 42/f. Is c at most h?
True
Let z be 4/6 + 122/6. Suppose 32*g - 629 = 13*g - 18*g. Is g > z?
False
Let m = -14293/3 + 15677/3. Let c = m - 845/3. Let i = c - 2659/15. Is 2 at least i?
False
Let j be 9*(-6)/(-135) + 8/80. Let a be ((-596)/(-147))/4 - 1. Is a > j?
False
Let g be 2 - (1 + -1)*-1. Let f(t) = -4*t - 13. Let s be f(-4). Suppose 2*r - s*y = 3*r + 12, 0 = -g*y - 10. Which is smaller: r or 1?
1
Let r(j) = 9*j**2 - 127*j - 217. Let w be r(21). Is 1092 >= w?
True
Let a = -283 + 287. Let n be (2/3)/((-5)/90*a). Let w = -2 - -3. Is w bigger than n?
True
Let r = -2702.2936 - -0.2936. Is -2/7 less than or equal to r?
False
Let l = -0.142 + -216.258. Let b = l - -228. Do -0.1 and b have the same value?
False
Let d = -3 + 5. Let s be ((-11)/66)/(1939/(-970) + 2). Let c = s - -165. Which is bigger: c or d?
c
Let j = 0.15 + 6.85. Let a = -4 - j. Suppose -13*x + 3*x + 68 - 58 = 0. Which is bigger: a or x?
x
Let z = 8 + -10. Let r = -12855 - -12853.88. Is z != r?
True
Let o = 202 + -202. Suppose 0 = 3*i + 4*z - 9, 0 = 3*i - 4*i + 4*z + 3. Let b be -4 + (i/(-42) - -4). Is o not equal to b?
True
Let u = 87 - 87. Suppose 2*m = 5*n - 26, u = m + 3*n - n + 4. Let j be ((m - -4)/8)/4. Which is smaller: j or -1?
-1
Let d = 630.127 - 629. Let p = 456 + -454.92. Let k = d - p. Which is smaller: k or 2?
k
Let q = -268.56 + 263. Let u = 5.56 + q. Let r(w) = -w**3 + 8*w**2 - 10*w - 8. Let s be r(8). Is u at most s?
False
Let u(f) = -2*f**2 + 48*f - 38. Let z be 18*(3 - 2) - 12/(-6). Let l be u(z). Which is greater: -1/4 or l?
l
Let c be 0 + 2 + (8 - 10). Suppose c = -23*x + 21*x + 66. Let a = x - 11. Is 23 not equal to a?
True
Let g be (-2)/(-3)*15/(3 + 2). Let n be (-28)/24 + 1 + g. Let j = 1/3 + n. Do 0.1 and j have different values?
True
Let c be 26945/(-50) + -4 + 5. Let p = c + 535. Which is smaller: -3 or p?
-3
Let d = -0.29 - -0.209. Let s = d + 56.081. Let t = s - 55. Do -15 and t have different values?
True
Suppose -6 = -2*z + 4. Suppose 2 = 6*p - z*p. Suppose y = 5*h + 6, 0*y - 2*y = -3*h - 12. Which is greater: y or p?
y
Let o be -417 - (15/20 - (-45)/(-12)). Let n = -415 - o. Which is smaller: n or -15/34?
n
Let p = 34 - 59. Let d = 30 + p. Let i be -2*((-475)/(-10))/d. Is -17 greater than or equal to i?
True
Suppose -41*v - 863 = 80. Suppose -4*n = -5*n - 26. Which is smaller: v or n?
n
Let f = 0.62 - -0.38. Let r be 2 + (2 - 0) + 58. Suppose -4*v + r = 18. Is f greater than or equal to v?
False
Suppose 4*n = -12, -j - 5*n - 149 = -3*j. Suppose 5*q + 42 = j. Suppose -7*m - 2 - q = 0. Which is greater: 2 or m?
2
Let h = 228 + -374. Let o = 124 + h. Is -2/7 less than or equal to o?
False
Let z = -691/41 + 474553/28167. Which is smaller: z or -1?
-1
Let a(p) = p**2 - p - 40. Let l be a(7). Suppose 0 = l*c - y + 2*y + 59, -c = -4*y + 34. Is c < -175/6?
True
Suppose r = 11*r - 240. Let d(q) = -q - 62. Let k be d(r). Which is bigger: k or 0.1?
0.1
Let a(p) = 17*p + 3. Let w be a(-6). Let n = w - -92. Which is greater: n or 33?
33
Suppose 574*d - 30 = 579*d. Suppose -43 - 41 = -4*z. Suppose -o + 0*o = 3*h + z, -2*h - 10 = 0. Do o and d have the same value?
True
Let y(l) = 11*l**3 + 586*l**2 + 111*l + 22. Let a be y(-53). Does 2566 = a?
True
Let c be 14/(-7) - -75 - 5. Is 15 at most as big as c?
True
Let k = -36.604 - -36.9. Let v = 0.366 - k. Is v at least as big as -6?
True
Let r = 0.1027 + -20.0027. Which is bigger: 0.32 or r?
0.32
Let k = -41.3704 - 0.3296. Are k and 0 equal?
False
Let s = 14216252/107 + -132861. Is 2 smaller than s?
False
Let d(f) = f**3 + 2*f**2 - 1. Let m be d(-1). Let g(r) = -4*r**2 + 2*r - 8. Let t be g(-8). Let w = t + 4757/17. Which is smaller: w or m?
w
Let j = -0.137 - -48.037. Let f = j - 51. Let l = -4.1 - f. Which is smaller: 2 or l?
l
Let d be (-56)/16*(-80)/280. Which is bigger: d or 4/10161?
d
Let r(b) = 10*b - 38. Let j be r(3). Suppose t + 0*o = 4*o + 14, -3*o = 15. Are t and j equal?
False
Let s = 6 + -22. Let c(o) = o**3 + 16*o**2 + 4*o + 20. Let f be c(s). Let a be (-94)/f + (6 - 8). Which is bigger: a or -1?
a
Let k = 11.716 - 10.716. Let s(y) = -2*y**3 - 11*y**2 + 5*y + 6. Let f be s(-5). Which is bigger: k or f?
k
Suppose 54*s = 51*s + 1158. Let j = 189 - s. Is -1/2 greater than j?
True
Let n(w) = -12*w - 97. Let i be n(-10). Suppose -12*c + 11 = -i*c. Which is smaller: c or -16/39?
c
Let f(p) = -p**2 + 15*p + 185. Let h be f(23). Is -1/554 < h?
True
Suppose 2*w + 8*w - 50 = 0. Suppose -w*v = -2*m - 0*v + 233, 5*v = -5*m + 495. Is m > 102?
True
Suppose 3*v - 6*v = 0. Let r be 0/(v + -2 + 0). Suppose 5*q = 5*j + 80, r = 5*j + 2*q - 6*q + 78. Which is smaller: j or 2?
j
Let v = 146 - 197. Let j = v + 46. Which is smaller: 5 or j?
j
Let a = 22944/5 + -4589. Are a and -202 non-equal?
True
Suppose 25 = 5*u, -2*q + 3 = 4*u - 27. Suppose -3*y = 3, 5*b - 3*b = -q*y - 5. Let k = 428 - 9843/23. Is b greater than k?
False
Let v(o) = -12*o - 55. Let p be v(-15). Suppose -1737 = 14*k + p. Let h be (-38)/k - (-4)/(-7)*1. Which is bigger: 71 or h?
71
Let t(c) = -2*c**2 - 55*c + 66. Let w be t(-27). Let b = 157 - w. Is b < 65?
True
Let p(k) = -3*k + 18. Let z(b) = b**3 + 15*b**2 + 13*b - 7. Let w be z(-14). Let l be p(w). Let f = -35.9 + 36. Is l at most f?
True
Suppose 2*s = 5*s + 7*s - 3930. Which is smaller: 395 or s?
s
Let r = 39.9733 - 1.9153. Let b = -2.5 - -2.558. Let z = b - r. Which is greater: z or 0?
0
Let j = 797/203 - 118/29. Is j smaller than 123?
True
Let b be (-255)/75 + 4 + (-778)/(-2640)*-2. Which is bigger: -1 or b?
b
Let l = 27 - 27. Suppose -3*j + 4*o + l*o + 163 = 0, -8 = -4*o. Let u be j/(-21) - (-2)/(-7). Is -3 > u?
False
Let j = 756.03 + -68.93. Let y = j - 687. Is -298 at most as big as y?
True
Let y(g) = -g**3 + 52*g**2 - 99*g + 38. Let s be y(50). Let o = 172 - 81. Whi