less than i?
False
Suppose -w + 4*v = 22, -w + 4*w = -v - 14. Let m(n) be the first derivative of -n**4/4 - 8*n**3/3 - 11*n**2/2 + 7*n + 72. Let z be m(w). Is z greater than 6/11?
True
Let a = 4246 - 4245. Is a > -1688?
True
Let g = 13664.4 - 13661.4. Let l = 2.85 - 0.55. Is g < l?
False
Let z(y) = -3*y + 4. Let c(j) = -j + 1. Let r(u) = -5*c(u) + z(u). Suppose -5*x = -3*x - 2. Let b be r(x). Which is greater: -3/46 or b?
b
Let m = -165674 + 165676. Let j = 25 - 11. Which is bigger: j or m?
j
Let w = 0.66 - 1.84. Let m = 1.59 + w. Let h = -0.31 + m. Are h and 21/8 unequal?
True
Let q(n) be the first derivative of 3*n**3 + n**2 - 11*n + 10. Let c be q(-9). Let u be (-4)/(-6) + c/147. Is 5 smaller than u?
True
Let i = 1968 - 1942. Which is greater: i or -22?
i
Let r = 27.76 + 424.24. Which is greater: 2 or r?
r
Let z(d) = d**3 - 18*d**2 + 3*d + 15. Let g be z(7). Let y = g + 5531/11. Suppose -3*j = m - 3 - 1, -4*j + 8 = 2*m. Is j less than y?
False
Suppose 0 = 19*s - 21*s - 38. Let b = -16 - s. Suppose b*q + 5*i - 27 = q, -2*i + 12 = q. Is q != 6?
False
Let x = 19017 - 19017. Do x and 94/353 have different values?
True
Let t be (-6)/(-16) + (-138620)/160. Is -3 <= t?
False
Let z(l) = 5*l**2 - 2*l + 3. Let k be z(0). Suppose 0 = 3*r - 2*s - 65, 0*s + k*s = -r + 40. Are r and 25 equal?
True
Let f(a) = a**2 + 1495*a + 27940. Let o be f(-19). Let i(n) = n**3 - 10*n**2 + 3*n + 4. Let x be i(5). Which is greater: o or x?
o
Let c = 2 + -3. Let x = -2615 + 13072/5. Is x >= c?
True
Suppose 1534*s = 1542*s - 13136. Is s less than 1641?
False
Let d = 242 - 239.85. Let c = -2.45 + d. Which is greater: c or 0.3?
0.3
Let a = -11006832/13 + 845850. Let t = 829 + a. Is t > 0?
False
Let g(a) = -a**2 + 13*a + 15. Let t be (34/4)/(14/28). Let j be g(t). Let w = -59 - j. Are -4 and w equal?
False
Let n = -16 - -15.78. Let x = 3507/2755 + 70/551. Which is greater: x or n?
x
Let y = -421 - -421.0003. Let g = 17.9997 + y. Let n = -0.1 - 0.1. Is g >= n?
True
Let f(j) = -360*j - 5259. Let o be f(-17). Are o and 3439/4 equal?
False
Let v = 1 - 2.52. Let t = -0.42 - v. Let y = t + -5.1. Is -2/7 > y?
True
Suppose 4*v + 6 = 2*v + 4*p, 0 = -2*v + 3*p - 3. Suppose 2*c + 1 = -0*c - l, -3*c + v*l = 6. Is 3/11 <= c?
False
Let u(c) = c + 10. Let k be u(-9). Suppose 0 = -8*b + b - 7. Let l be (-2 + 6)/b - -4. Is k greater than l?
True
Let k be (50/15 + -3)/(-3 - (-3712)/1236). Is k > 96?
True
Let l = 933 - 884. Do l and 25 have different values?
True
Suppose -2*i = s - 8, 0*s + 4*i - 12 = -s. Suppose -c + s*k = 37, c = 4*c + 4*k + 63. Let h(n) = -n**3 + 2*n**2 - 5*n - 2. Let q be h(3). Is c bigger than q?
True
Let r = -867.706 - -16.706. Is r not equal to -0.06?
True
Suppose 4*q - 14 = -2*b, -5*b = -q + 8 + 12. Let j = -35059/10630 + -2/1063. Which is greater: j or b?
b
Suppose 4*i - 82 = 2*i. Let n(v) = -17*v + 19. Let c be n(-19). Let m be ((-26)/3)/((-76)/c). Which is smaller: i or m?
m
Let v be (-53 + 5290/46)/((2/21)/2). Is v smaller than 1303?
True
Let m = 20.91 + 0.09. Let j = 2820.2 + -2841. Let k = m + j. Do 4 and k have the same value?
False
Suppose -85 = -63*s - 22. Are s and 0.0244 non-equal?
True
Suppose 88*k + 54*k + 861 = -145*k. Suppose 4*a - 2*a = 4*j + 6, 4*a = 4*j. Let t be ((-2)/a)/((-1)/(-3)). Which is smaller: k or t?
k
Let s be (-1 - (-234 - 5))/(-1). Let f be (-96)/s + 102/(-357). Let z = -1 + 2. Is z at least as big as f?
True
Let t(s) = -8*s + 75. Let y be t(9). Suppose -y*u + 618 = 3*c, -1551 + 536 = -5*c - 2*u. Is 202 at least c?
True
Let x = 13126 - 13358. Is 0.01 equal to x?
False
Let g = 1953 + -1953. Which is greater: 11990 or g?
11990
Let s = 2892 + -4252. Let x be (4/10)/((-16)/s). Suppose -x*w + 32*w + 4 = 0. Which is greater: 0 or w?
w
Let z = 10189 + -10419. Is -240 smaller than z?
True
Let k = -2299 - -2257. Is k greater than or equal to -25?
False
Suppose 22 = -5*d + 42. Suppose s + 2*c + d = -c, -6 = 3*c. Let g be (s - (-17 - -4))/1. Is g != 16?
True
Let p be -15 + (-12)/(-3) - 1. Let l be p/(-8) + 189/6. Suppose -12 = -7*w - l. Is w at least as big as 0?
False
Suppose 2*v = -4*g + 1 - 3, 3*g + 4 = -4*v. Let z = 66788275 - 5409669643/81. Let w = z - 2230. Which is smaller: v or w?
v
Let r = -4.468 - -0.188. Let u = 2.28 + r. Which is bigger: 1/7 or u?
1/7
Let a be 6/(-15) - (-124)/310. Let f = -3358 - -513772/153. Which is greater: a or f?
a
Suppose 3*c = v - 0*c - 305, 0 = 5*v + 5*c - 1625. Suppose -78 - v = 5*k + b, 2*k + 143 = 5*b. Are -77 and k nonequal?
True
Let x = 108 + -52. Let y = x - 38. Suppose 23 - 2 = d - j, 0 = d + 5*j - 21. Do y and d have the same value?
False
Suppose -73 = -58*x - 15. Is 3/977 greater than x?
False
Suppose 8*y + 76 = -11*y - 57*y. Is y less than 2291?
True
Let q = -10048 + 10047. Are -2/5357 and q non-equal?
True
Let y(w) be the third derivative of -4*w**5/5 + 25*w**4/24 + 26*w**3/3 - 10*w**2 + 2*w. Let j be y(-2). Is j <= -191?
False
Let b(y) = 25*y**2 - 877*y + 69. Let v be b(35). Which is smaller: 2/2725 or v?
v
Let o be (-24)/((-1)/(-10)*-4). Let a be -7 - 2/((-24)/(-12))*-68. Which is bigger: a or o?
a
Let k = 11 - 11. Suppose 2*q + 2*z = 7*q + 9, k = -z + 2. Let h = -147/4 - -36. Is q greater than or equal to h?
False
Suppose 4*m + 105 = -m. Let k(f) = -45*f - 408. Let w be k(-9). Let p be 36 - 34 - (78/16 + w). Which is greater: m or p?
p
Let g = 5084 + -5192. Let f = 95 + -201. Is g >= f?
False
Let c = 33 - 41.1. Let v = 8.1 + c. Which is greater: v or -69?
v
Let c = 30.33 - 23.33. Which is smaller: c or 79?
c
Suppose -16*q - 111106 - 81526 = 6*q. Which is smaller: q or -8757?
-8757
Suppose -9*r = -966 - 24. Which is bigger: 115 or r?
115
Let j(l) = -2*l**2 + 23 - 6 + 22*l + 12 - 26*l. Let w be j(-5). Is w at most as big as -3.8?
False
Let x = 811 + -793. Suppose 17213 = -x*h + 1589. Is -867 > h?
True
Let a be (-26)/(-8) - 24/96. Suppose -4*b - 5*r - 29 = 0, -a = -3*b + 3*r + 9. Are b and -4 nonequal?
True
Let z = 408.9 - 1304. Which is smaller: -0.1 or z?
z
Suppose -4*p - 18 = 5*c, 4*p + 25*c + 12 = 23*c. Do -299 and p have the same value?
False
Let l(b) = -4*b - 14. Let t be l(-4). Let c(h) = -58*h - t + 55*h - 3 - 2. Let j be c(-2). Is j greater than 2/207?
False
Let c = 1082 - -460. Is 1541 less than c?
True
Let q(d) = 165*d**3 - 9*d + 11. Let t be q(1). Which is smaller: t or 166?
166
Suppose 8 = 3*x - 20*q + 16*q, 0 = 2*x + 3*q - 11. Let z(l) = -4*l + 51. Let s be z(18). Is x <= s?
False
Let d = 297.975 + -301. Let n = -0.075 + d. Let w = -3.3 - n. Is w equal to -12?
False
Suppose 5*t = -2*s + 8, 2*t + 20 = 5*s + 4*t. Suppose z = o + s, z = -z - o + 8. Is z less than -3?
False
Let j be 4/86 + (-237808944)/(-14276). Is 16659 != j?
True
Suppose 90*h + 14 = 76*h. Which is smaller: h or -57/691?
h
Let m = 205 + -356. Let f = m - -61. Let k = f + 91. Is 2/117 greater than or equal to k?
False
Let d = 5607089 - 6162206888/1099. Let n = d + 9/157. Is n at most -0.1?
True
Let h = 26156 + -25843. Which is greater: 4084/13 or h?
4084/13
Let z(x) = x + 2. Let t be z(13). Let n(c) = -c**3 + 17*c**2 - 34*c - 10. Let y be n(14). Suppose 3*w + 3*w - y = 0. Is t at most w?
True
Let i(k) = -1938*k - 6597. Let x be i(-6). Which is greater: x or 5030?
x
Let w be -13 + 260980/20100 - 0. Is 0 equal to w?
False
Let l = -63624114323 + 103770964354626/1631. Let h = -20781 + l. Which is smaller: 1 or h?
h
Suppose -106 = 2*i + 3*u + 2*u, -296 = 6*i + 4*u. Is i smaller than -117?
False
Let f = 63829/30 + 541/30. Which is bigger: 2145 or f?
f
Let r(v) = -v**3 + 43*v**2 - 26*v + 218. Let w be r(42). Is w less than 890?
False
Let m be 20/(-4)*(-268)/10. Suppose 3*d = 139 + m. Suppose 2*q = -9 + 191. Is d greater than q?
False
Let i be (-6)/(-21642)*10825 + 5 + -8. Is 0 less than i?
True
Let t(f) = 10*f**2 - f - 5. Let j be t(-3). Let a be -12*(-1)/j - (-1)/(-2). Suppose 0 = 2*c + 2*n + 4 + 6, 0 = -5*c - 4*n - 21. Which is smaller: c or a?
c
Let i be ((-7)/(-7) + -124)*(-2)/105. Let d = i + 1831/70. Is 28 >= d?
False
Suppose -5*h + 4*h - 347 = 0. Let a = 463 + h. Is a at most as big as 116?
True
Let h = -193 + 196. Suppose 3*r + 4*b = 0, h*r - 3*b + 16 = -5. Are -8 and r unequal?
True
Let u(a) = a**2 + 5*a - 15. Suppose -x + 15 = -4*k - 11, 0 = 2*x + 4. Let o be u(k). Which is smaller: -2/379 or o?
o
Let y(w) = 196*w + 