257. Let h be n(6). Is h < -2/589?
True
Let a be (-2252)/(-16) + (-6)/(-24). Is a less than or equal to 995/7?
True
Suppose 53 = -3*l + 137. Let t be 96/27 + 1 + (l - 32). Which is smaller: -1/5 or t?
-1/5
Let j = 6380 + -2475439/388. Is -2/5 at most j?
True
Let n be 13412/280 - (-5)/((-75)/(-9)). Are n and 1/10 equal?
False
Let i(p) = -2*p**3 - 15*p**2 + 11*p + 28. Let j be i(-8). Suppose -4*y + a - j*a - 305 = 0, 2*a = 2. Which is smaller: y or -78?
-78
Let y be ((-15)/(-25))/(42/140). Let d be (-1 + -2)*(1 + y). Is d equal to -35?
False
Let w(q) = -8*q**3 + 12*q**2 - 5*q + 262. Let j be w(10). Which is bigger: j or -6589?
j
Let z be 1 - 1/(1/(-3)). Let n = 73 + -28. Let j be -4 + 5/(n/84). Which is smaller: j or z?
z
Suppose -1748*y = -1793*y + 45. Which is greater: y or -3/15934?
y
Suppose 0 = -3*k + s - 0*s + 7, -2*s + 6 = -k. Suppose -2*y - 2*y + 3*h = 15, -4*y + 20 = k*h. Suppose y = w - 7*a + 2*a + 15, 0 = -4*a + 16. Is 5 <= w?
True
Let z = -16509 - -16510. Is 1/3909 < z?
True
Let t be (-4)/(-6)*79/((-54431)/(-312)). Is 3 at most as big as t?
False
Let h = 4.9 - 4.7. Let t = -412.48 - -412. Which is smaller: t or h?
t
Let w = 3127 + 2446. Let a = w - 72485/13. Is a smaller than -0.1?
True
Suppose 2524 = 5*a + 4*n + 522, -1602 = -4*a - 3*n. Which is smaller: a or -0.2?
-0.2
Let x = -30.3 - -658.94. Let p = -705.582 + x. Let h = p - -77. Which is smaller: h or -0.1?
-0.1
Suppose 11850 = 215*x - 38127 + 8052. Which is greater: x or 191?
x
Let t = -59 + 11. Let h = -31 - t. Let x = 16 - h. Which is smaller: 36 or x?
x
Let j be 2/3 + 3588/(-9). Let u be 3/4 + j/520. Are u and 0 nonequal?
True
Suppose 181*y - 197*y = 176. Let c be (-37)/(-3) - 2/(-3). Let a = y + c. Is a < 7/13?
False
Suppose 4*u + 164 = 9*w - 13*w, -3*w = -4*u + 109. Suppose -544 = -5*r - 164. Let d = r - 116. Does d = w?
False
Let b be (-9 + (-4632)/(-520))*5/(-3). Do b and 9.48 have the same value?
False
Suppose -5*w + 3*j = -19, j + 13 = 3*w + 2*w. Suppose 5*l + 3*d - 2*d = 11, -4*d = w*l - 8. Suppose 0 = 4*n - 6*n + l. Which is smaller: 2/105 or n?
2/105
Suppose -24 = -4*d - 4. Suppose -d*z + 45 = -70. Let b(l) = 4*l**2 + l - 71. Let o be b(-5). Is z bigger than o?
False
Let y = -215 + 185. Let l be 3/(24/148) - (-15)/y. Let t be (0 - 38)/(-2 - 0). Is l less than or equal to t?
True
Let x = 83 + -637. Let n = x - -546.8. Which is smaller: 5/2 or n?
n
Let m = 11369 - 11456. Let s = 59 + -146. Let g = s - m. Is -19 at least as big as g?
False
Let n be 1 + (-1 - (0 + 49)). Suppose 3*q = -5*q - 432. Let u = q + 6. Which is smaller: u or n?
n
Let l be -6 + 36/(-9) + 10. Which is bigger: l or -2/10693?
l
Let v = -662 - -659. Let d be (-24)/7888*(v/(-3) + 1). Which is smaller: 1 or d?
d
Let p(t) be the first derivative of -23 - 2*t - 89/2*t**2. Let c be p(1). Is c greater than or equal to -91?
True
Let a be ((-89)/14418)/(7/5656). Which is smaller: -6 or a?
-6
Let d be (-2 + (-682)/(-340))*2280/(-16150). Is -1 smaller than d?
True
Let v = -3236 + 3237. Do v and 41/63 have the same value?
False
Suppose 6*m - 5*m - 5*a + 236 = 0, 216 = -m + a. Let g = m + 173. Let y = 20 + -59/3. Is y >= g?
True
Suppose 4*p + 3*i - 5*i - 28 = 0, 4*p - 20 = -2*i. Let u be p + (5950/15)/(-7). Which is greater: u or -51?
u
Suppose -s = -129 + 136, 5*s = -2*g + 63. Which is greater: 1446/29 or g?
1446/29
Suppose -7*q - 9*q + 2*q = 0. Suppose -3*s - 62 = 4*n, n + 20 = -q*s - s. Do -18 and s have different values?
False
Suppose 5*f + 4*n + 5680 = 0, -16*f + 2*n = -13*f + 3408. Let x = f - -1116. Let d be (0 - (-10)/4)*-8. Is d equal to x?
True
Let q be 3/33 + (-166911)/451. Is q < -0.4?
True
Let i be (-12)/(-3*(-2 + 25/15)). Let f be i/2 + -2 + 49. Does 41 = f?
True
Let d = 117 + -117.1219. Let c = d + 0.0219. Is c at most -0.54?
False
Let d = -159 + -18. Let s = -285 - d. Which is greater: s or -0.2?
-0.2
Let f be ((-6)/(-100))/((-52)/10 - -5). Which is bigger: -0.0377 or f?
-0.0377
Suppose 2*o + 1 + 2 = -f, -4*f + 4*o = 0. Let q(g) = 33*g - 9. Let h be q(12). Let k be (-1 - -3) + h/(-193). Which is smaller: k or f?
f
Suppose -2*i = -3*a + 11, -2*i - 10 = -4*a - 0. Let t(p) = p**2 + 5*p - 6. Let f be t(i). Suppose -5*b = -f*b. Which is smaller: b or -1/13?
-1/13
Let p(n) be the third derivative of n**6/60 - n**4/6 + 2*n**3/3 - 17*n**2. Let j be p(2). Let o be (-28)/j + 6/2. Is o != 0?
True
Let n(a) = 5*a**2 + 107*a - 1149. Let j be n(8). Is -106 bigger than j?
False
Let x be (18/(-72))/(109995/(-40) + -3). Are x and -1 nonequal?
True
Let x be ((-3)/5 - 264/(-990))*-3. Let f be 1*(0 - (-3)/275). Are f and x equal?
False
Suppose 4*n + 394 = -6*k + 3*k, -3*k = n + 409. Let f be 33/36 + k/(-24) + -6. Which is smaller: 0 or f?
0
Let u = -5187 + 5180. Is -420/61 bigger than u?
True
Let n = 43 - 77. Let w = n + 26. Let o be (8/(-18))/(130/15 + w). Which is smaller: o or 0.06?
o
Suppose 5*s - 62 = 28. Let x be (14 - 2)*27/s. Let h be ((-63)/(-686))/(x/(-21)). Which is smaller: 0 or h?
h
Let h(x) = -x**3 + 2*x**2 + 4*x - 3. Let d be h(3). Let g be (2/2)/((-11625)/(-1453) - 8). Let s = g + -212139/146. Which is smaller: d or s?
s
Let y = 6.7209 + 0.4403. Let f = y - -0.0388. Which is bigger: f or -4?
f
Suppose 9*k = 13*k - 5*g - 45, -3*k + 40 = -5*g. Suppose 32 + 307 = -3*t + u, k*u - 15 = 0. Is -1 != t?
True
Let o = -862 - -909.9. Let s = o + -48. Which is bigger: 135 or s?
135
Let v be 5603/(-169) - ((-60)/52 + 1). Let l be (-26)/(-42) + 10/(-35). Is l equal to v?
False
Suppose 0 = -2*h - l - 88, -2*l = -4*l + 8. Let k = 59 + h. Let f be ((-9)/9)/(1/k). Do -3 and f have the same value?
False
Let m(b) = -b**2 + 14*b. Suppose -6*f - 4*s = -f - 79, -5 = -5*s. Let h be m(f). Do -18 and h have different values?
True
Suppose u - 5*u - 92 = 0. Let x(i) = -2*i**3 + 9*i**2 - 2*i + 11. Let g = 88 - 83. Let w be x(g). Which is smaller: u or w?
w
Let a = 114.783 - 25.783. Is a smaller than 40?
False
Let f = -3.1824 - -3.2824. Which is greater: f or -25.69?
f
Let d be (-11)/(99/10) + (-300480)/(-216). Are 1392 and d non-equal?
True
Let v(u) = -3*u**2 - 3. Let m be v(5). Let r be (-3)/(-30) - 10/((-900)/(-189)). Let c be m/(-24) - (-6)/r. Which is bigger: -0.03 or c?
c
Let s be ((-5604)/(-40) + 56/140)*26. Are s and 3652 equal?
False
Let k be (8/7)/((-2)/(-56)). Let r be 46 - (k/20 + -2). Which is smaller: r or 45?
45
Let y = 21.888 + 3760.112. Do -1 and y have the same value?
False
Suppose 2*n + 5*v = -2, -3*n + v + 22 - 8 = 0. Suppose n*p - 17 = -3*b, -17 = -4*p + 3. Is 4/149 greater than b?
True
Let r(p) be the third derivative of p**6/120 - p**5/4 + 7*p**4/12 + p**3/6 + 10*p**2. Suppose -5*z + 0*z + 70 = 0. Let k be r(z). Which is greater: 7 or k?
7
Suppose 3*x = 5*n + 30 - 128, -4*x = n - 15. Suppose -20*h = -n*h - 4*g - 63, 0 = -h + g + 60. Which is smaller: 60 or h?
h
Suppose -3*v + 849 = 3*k, k + 624 + 245 = 3*v. Is v at least as big as 284?
True
Suppose -34 = 3*j - 10, 3*z = 2*j - 11243. Is -3751 != z?
True
Suppose 6*b = 353 - 329. Suppose -5*o = 4*u - b*o + 72, 5*o = -4*u - 72. Does u = -19?
False
Let a = -2811 - -2811.251. Are a and -0.1 unequal?
True
Let p = -12.2 + -4.8. Let j = -57 - p. Let f = j + 40. Do 47 and f have different values?
True
Let r = -4543 - -4542.9. Let x = 0.01 + -14.01. Which is smaller: r or x?
x
Let b = 1.3875 - 61.3875. Which is bigger: b or -27?
-27
Let r be (41 + (8 - 1))*(-16)/(-3). Let s be (-134)/(-469) - r/14. Suppose 3*x + 79 = -5*h, 4*h + x = -x - 64. Do h and s have the same value?
False
Suppose -f = -4*f. Let d(y) = -y**3 - 9*y**2 - 2*y - 14. Let c be d(-9). Suppose -4*m - c = -f. Which is greater: m or -4/27?
-4/27
Let m be (2/(-8))/((-5)/51360*12). Which is smaller: 213 or m?
213
Let c be -5 + (-728)/(-120) - 2/3. Which is bigger: -0.02796 or c?
c
Suppose -4*s + 84 = 2*s. Let i(r) = r**3 + 2*r**2 - 5*r + 9. Let a be i(2). Suppose 20 = 2*n + q + 23, a = 4*n - 5*q. Is s < n?
False
Let o be -3 + 1731*6/3474. Let i = o - 171/2123. Let z = -0.3 - -0.6. Which is smaller: i or z?
i
Let p be (-1417796)/(-1720) + 9/(-30). Which is greater: p or 821?
p
Let g = -399 - -539. Suppose 11*w - g = w. Is w at most as big as 9?
False
Let p = 4036.1 - 4224. Let b = p - -188. Is 206 greater than or equal to b?
True
Let d(t) be the third derivative of 5*t**4/12 + 40*t**3/3 + 2*t**2 - 1. Let