20 + 5*l**4/12 - 13*l**3/6 - 3*l**2/2 - 106*l. Let q be p(-7). Which is bigger: q or -3?
-3
Let x be (-1450)/(-21) + (-5)/105. Is x greater than or equal to 69?
True
Let j = -1440 - -967. Let d = j + 390. Which is smaller: -3 or d?
d
Let v be 12 + -6 + 2 + 444528/(-55560). Which is bigger: v or 1?
1
Let a = 2.25 - -0.36. Let u = a - 2.71. Let b(n) = n**3 - 3*n - 4. Let v be b(-3). Which is greater: u or v?
u
Let k = -204.56 - -195. Let h = -0.07 + 9.47. Let t = k + h. Is t less than or equal to 2/9?
True
Suppose -7*f = 1591 - 21037. Let x be ((-53)/106)/((15/f)/(-5)). Is x > 463?
False
Let q = 3824 + -3285. Is q at most 538?
False
Let k(o) = -o**3 - 48*o**2 + 153*o + 18. Let g be k(-51). Are 6 and g equal?
False
Let m be -10 - -4 - (-410)/85. Let n be (-6)/4*(9 - 75/9). Which is smaller: m or n?
m
Suppose 5*j - 15 = -0*j. Suppose m - 16 = 5*b - 5, 3*m + 3*b + j = 0. Is m equal to -3/49?
False
Let s(g) = -2*g**2 - 100*g + 101. Let a be s(1). Is a at most as big as -2/521?
True
Let p = 2131.5 - 2131. Which is smaller: p or -0.68?
-0.68
Let x = -306 + 314. Let y be ((-2)/x)/(15/9). Suppose 3*z - 6 = -3. Is y < z?
True
Let j be (-3)/2 - (11 + (-56559)/1054). Which is bigger: 41 or j?
j
Let y be (-1)/(-4) - 402/8. Let x be ((-5)/y)/(1/(-3)). Let q = -224 - -224. Which is smaller: x or q?
x
Suppose 5*g - 41 = -u, -14*g + 4*u = -13*g - 4. Suppose g*j - 4 = 6*j. Let d be j/12 - 72/27. Do -4 and d have the same value?
False
Let r = -808 - -885. Let m be 14839/r + 4/14 + 0. Is m greater than 192?
True
Suppose 20*b - 40 = 15*b. Suppose b*u + 6 = 10*u. Suppose -u*s + s - 102 = 0. Which is smaller: 1 or s?
s
Let o = -40.64 + -0.96. Let k = o - -10.6. Is -3 smaller than k?
False
Suppose -3*v - 18 = 4*m - 701, 678 = 3*v + 3*m. Is 198 <= v?
True
Let y be (-5)/(-3) - (-2)/(-7)*7. Is y at most 101?
True
Let y be 3303/21 + -5*2. Are 148 and y unequal?
True
Let s be (-226)/904 - (-226)/8. Is 58 at least as big as s?
True
Let n = 426.1 + -42.1. Let a = n - 383. Which is smaller: -11.8 or a?
-11.8
Let v = -542 + 930. Let t = v - 381. Is t less than or equal to -4?
False
Let r(w) = 2*w**2 + 18*w - 95. Let c be r(-16). Let v be ((-2)/4)/(c*2/(-24)). Is 1 <= v?
False
Suppose -41*m + 158*m = 117. Which is bigger: m or -2/169?
m
Let i(x) = -167*x + 5583. Let t be i(31). Is t at least as big as 421?
False
Let g be (-4)/18 + 951/27 - -2. Suppose 5*q + 128 = -g. Let t = 40 + q. Which is smaller: t or 38/5?
t
Let f = -23559 + 23321. Is 8 greater than f?
True
Let v be (-42)/11 - 146/803. Let a = 464 - 290. Let r be 1/6 + a/36. Is v <= r?
True
Suppose 0 = 4*v - 79*r + 74*r - 10896, r = -v + 2733. Which is greater: 2730 or v?
2730
Let m be ((-4)/(-18) - (-75)/27) + 0. Let g be -6 + 9*m/(-9). Is g > -47/6?
False
Let a = -0.03335 - 0.06665. Is a >= 2315?
False
Let a be (-385 + -13 + 8)/(-2). Let t be (-124)/a - (-38)/57. Which is smaller: t or 0?
0
Suppose -2*q - 4*y = -12, 12*q - 14*q + 6 = 2*y. Which is smaller: 1602 or q?
q
Let j = -22109 - -33073. Let g be -2 - j/(-1827) - (-19 - -23). Which is greater: 1 or g?
1
Let v = 4601255/31 + -148443. Is -15 equal to v?
False
Let g = 160364/63 - 21050/9. Let m = 21494/105 - g. Is -1 at most as big as m?
False
Let h be (2 + -1)*-3*84. Let a be 3 + 2*366/h. Is 1 bigger than a?
True
Suppose -9 = -r - 3*w, 23*r - 28*r = -w + 3. Is -11/116 not equal to r?
True
Let n = -32551441/394 - -82618. Which is greater: n or 0?
n
Let m be -1*(-4 - -1) - (49 + -40). Let l be (8/m)/(4*(-1)/12). Which is smaller: -4 or l?
-4
Let l be -2 + (155/30)/(4/24). Which is smaller: 64 or l?
l
Let z = -3/712 + 407/265576. Let d = 368/1865 - z. Which is greater: 23 or d?
23
Let d = -2748 - -2751. Is d >= 83/42?
True
Let m(b) = 72*b**2 - 34*b - 64. Let w be m(-4). Is w at least as big as 1223?
True
Let g = -4658 - -32545/7. Let n be (-2)/7 - (-68)/(-7). Which is bigger: n or g?
g
Let c = 0.099381 - -80.786619. Let b = c + -81. Let s = b - -0.064. Which is greater: s or 2/5?
2/5
Let y(t) = 76*t - 759. Let k be y(10). Which is smaller: k or 1/21693?
1/21693
Let c = 1615 - 1616. Which is greater: c or 30/497?
30/497
Let s = -1127.1 + 1130. Let g = 5242 - 5244.921. Let l = g + s. Which is smaller: l or -1?
-1
Let i(f) = -f**2 + 54*f + 51*f + 78 - 81*f. Let c be i(21). Is c != 144?
True
Suppose 3*t + 0 - 189 = -4*k, -2*k = t - 61. Let g = t - 69. Let i = 30 + -35. Are g and i nonequal?
True
Let n = 199.1 - 196. Let a = 2.84 - n. Let c = -0.1 - -0.2. Is a >= c?
False
Let l(m) = -20*m**2 + 476*m + 44. Let z be l(24). Let c = 0 + 2. Suppose 102 = -c*t - 0*t. Is z at least t?
False
Suppose -674 = 3*i - 2*g, -2*i + g = -146 + 595. Which is smaller: -246 or i?
-246
Suppose 73*p + 108552 - 6057 = -27372. Is p not equal to -8896/5?
True
Let a(f) be the second derivative of -f**5/20 - f**4/3 + f**3/3 - 5*f**2 + f - 20. Let w = 11 + -16. Let z be a(w). Is 3 greater than z?
False
Let j be ((-2)/(-4))/((-3)/6) + 5. Let b(i) = 4*i**2 - 19*i + 5. Let c be b(j). Which is greater: c or -11?
c
Let j = -0.00332 - -0.19532. Is j equal to 0.5?
False
Suppose 130 = -0*q + 3*q + v, 168 = 4*q - 4*v. Suppose q = 11*d - 56. Suppose -d = 2*f - 3*j, -3*f + 6*f - 3*j = -9. Which is greater: f or 1/17?
1/17
Suppose 0 = -224*b + 231*b - 364. Suppose -b + 34 = -9*q. Which is smaller: q or 84/29?
q
Let g = -591 - -591. Let r be 106/327 - (-2)/(-6). Which is smaller: r or g?
r
Let t be 6/936*4*(6 + -7). Is t equal to -9/55?
False
Let y = 1 - 0.96. Let m = -55 - -248. Let f = m + -187. Is f at most y?
False
Let o be (-6)/(-44*(-18459)/168). Is 1 equal to o?
False
Let f = 30/13 - -379/78. Let y = 113264 + -113263.9. Is y equal to f?
False
Let c be (-65)/20 - 2/(-8). Suppose -87 = -13*l + 30. Let g be (-6)/l + c - 5. Is -9 less than g?
True
Let g(q) = -24*q + 795. Let i be g(33). Let j = -11 + 11. Let l be 12/(-8)*(j - 4). Which is greater: i or l?
l
Let p = -4579 - -77841/17. Let r be (-4)/(-28)*(2 + 0). Is r less than or equal to p?
False
Suppose -o + 1095 = -2*h, 5*h - 2*o = 7*h + 1092. Let p = h - -334. Is -212 equal to p?
False
Suppose -b - 2*b = -3*o + 138, -2*b - 80 = o. Let f be ((-2)/18)/((-4)/360). Let p = f + b. Which is bigger: -63/2 or p?
-63/2
Let b(v) = -11*v + 12*v - 5*v - 208 - 3*v - 6*v. Let z be b(-16). Which is smaller: -3/232 or z?
-3/232
Suppose 0 = -45*l + 22973 + 14062. Are 823 and l non-equal?
False
Let n = -1.497 - 0.113. Let x = -1.61 - n. Is 2/257 greater than x?
True
Let k be -1 + 308/(-8) + (-2)/(-4). Let o = -67 - k. Let r(l) = -8*l + 5. Let y be r(4). Is y != o?
True
Let c be (14 - 304/8) + 11. Which is smaller: c or -1.51?
c
Let b(f) = f**2 - 4*f + 3. Let l be b(4). Suppose -l*w + 2 = -1. Suppose -4*x - 14 + 5 = -3*s, 3*s + 3 = 0. Is x bigger than w?
False
Let m(b) = -5*b**3 + 10*b**2 - 108*b + 1053. Let f be m(14). Are f and -12219 unequal?
False
Let c = -15030810/697 + 21565. Is c smaller than 1?
True
Let w be (-1)/426*9/11. Let o = -2713/213994 + w. Suppose -5*u - i - 7 = -10*u, -2*u - 2 = 2*i. Is o > u?
False
Let d(v) = -197*v**3 + 10*v**2 - 100*v - 6. Let k be d(-4). Which is greater: 13163 or k?
13163
Let o = 0.34345 - 0.24945. Are o and 2/77 non-equal?
True
Let h be (12 - 68380/36)*3*-3. Does 16987 = h?
True
Let l = -2176.8 - -2182. Let o = 1.94 - -0.06. Which is smaller: o or l?
o
Suppose -8*a + 865 + 2407 = 0. Suppose 0 = -23*d + a + 281. Do 30 and d have the same value?
True
Let i be 2/15 + (-106063657)/(-17160). Let z = -6181 + i. Let s = -38905/10296 - z. Is -3 less than or equal to s?
False
Let a = -110945 + 13202543/119. Let b = a + -18/119. Let g(d) = -d**3 + 5*d**2 - d + 5. Let c be g(5). Which is bigger: c or b?
b
Suppose -1 + 11 = 5*a - 5*s, -2*a - 4*s + 10 = 0. Which is greater: 110/43 or a?
a
Let p be ((-8)/(-42))/((-10)/(-6780)). Is -1/4 != p?
True
Let b = -0.13478 - -63.13478. Which is smaller: b or 3/35?
3/35
Let k = -842401 + 842588. Suppose -4*m + 3 + 1 = 0. Is k greater than or equal to m?
True
Let v(b) = -b - 6. Let r be v(-2). Let z be (r + 4054)/(-5) - 8. Is z at least -818?
True
Let i = -25.932 - 0.068. Let w = 44 + -17. Let s = i + w. Is s < -0.1?
False
Suppose -31 = -2*n + 9. Let h be (-681)/(-908)*12/15. Which is bigger: h or n?
n
Let s be 5 + (1876/217 + -2)/(6/(-3)). Which is smaller: 5 or s?
s
Let p = -8837.8 - -8712. Is 0.1 less th