Is d less than l?
False
Let w(q) = -4*q**3 - 2*q**2 + 144*q + 43. Let o be w(-14). Do o and 8609 have different values?
True
Let b be ((-3)/1818)/((-2)/(2 + 4) - 0). Are 0 and b non-equal?
True
Let v(f) = 6 - 20 - 7 - 15 + 365*f. Let t be v(15). Let p be (-4)/(-14) + (-1701)/t. Which is greater: p or 1?
1
Let p be (0 - -1)/(9/(36*-31)). Is p bigger than -618/5?
False
Let d(z) = -z**3 + z**2 + z - 1. Let x(v) = 3*v**3 - 5*v**2 - 16*v + 12. Let y(q) = 2*d(q) + x(q). Let h be (4*20/16)/1. Let r be y(h). Are -2 and r non-equal?
True
Suppose -2*j = -5*b + 51, 4*b = -4*j + 2*b - 42. Let g be -1*((-2 - -1) + j). Which is bigger: g or 38/3?
g
Let v = 0.5 - 3.5. Let x = -1485 - -1495. Let w = x + v. Is -0.01 less than w?
True
Let j(i) = -6*i - 7. Let a(t) be the third derivative of -t**5/60 - 13*t**4/24 - 25*t**3/6 + 7*t**2. Let g be a(-11). Let y be j(g). Which is smaller: 10 or y?
10
Let v be 5088/(-1) - (-473 + 476). Is v <= -5092?
False
Let i be (-1 - 16/(-20))*48/24. Are i and 3859 unequal?
True
Let d = 81.906 - 82. Let c = -0.294 - d. Which is greater: 1/42 or c?
1/42
Let k = -3 - -2. Suppose -4*j - 5*f = -1674, 1246 = 6*j - 3*j - f. Let m be (48/j)/((3 - 4)/20). Is m at least as big as k?
False
Let v = 295 + -295. Suppose -5*x + 39 = 4*g, v = -4*g - x + 5*x + 12. Is 5 <= g?
True
Let b = 2816 + -2246. Is 572 at most as big as b?
False
Let x(n) be the third derivative of -n**6/120 + n**5/10 - n**4/12 - n**3/3 - 64*n**2. Let l be x(4). Let t = 76 + -54. Is l != t?
False
Suppose 2*m + 38*m + 74*m = 0. Which is greater: 2/13409 or m?
2/13409
Let w = 16187/35 + -463. Which is smaller: w or 2?
w
Let r = -1109.49 - -232.35. Let o = 866 + r. Let x = o - -1.14. Is 3 > x?
True
Let y(n) = n**3 - 22*n**2 + 36*n + 72. Suppose 4*r + 2*s = 86, 4*r + 3*s - 74 = 5*s. Let h be y(r). Which is greater: -17 or h?
h
Let w(a) = -a**3 + 31*a**2 + 7*a - 11. Let v be w(31). Let d = v + -263. Is d != -60?
True
Let n(g) = g**3 + 13*g**2 + 51*g + 367. Let c be n(-9). Which is bigger: c or 2564/11?
2564/11
Let t be 20/15*(-4 - (-14298)/3552). Which is smaller: t or -1?
-1
Suppose -6*g + 3*g = 15. Let i(z) = 77*z**3 - 42*z**3 + z - 9*z**2 - 34*z**3 - 17. Let a be i(9). Is g equal to a?
False
Suppose 125 = -3*c - 52. Let d = 24 + c. Let i = 33 + d. Is i bigger than 4?
False
Let l = 22.742 + -23. Let u = l + 1.258. Which is smaller: u or -0.019?
-0.019
Let i(t) = 51*t - 2806. Let z be i(55). Which is smaller: z or 27/1343?
z
Let c be ((-2)/(-90))/(996/1440*5). Which is greater: 1 or c?
1
Suppose -x - 2*x + 9 = 0. Let s(h) be the third derivative of 5*h**4/6 - 2*h**3/3 - 2783*h**2. Let o be s(x). Which is smaller: o or 57?
o
Let b = -487 - -491. Suppose b = 3*r + 5*i, r + i + 0*i + 2 = 0. Which is greater: -34/5 or r?
-34/5
Let v(a) = a**3 - a - 1. Let u be v(0). Let g(h) = 15*h - 115. Let t(n) = -3*n + 23. Let f(d) = -2*g(d) - 11*t(d). Let i be f(9). Which is smaller: i or u?
u
Let c be (1122/28)/(12/42). Let g = c + -140. Let d = 400 - 12801/32. Which is greater: d or g?
g
Let a be (-5 - (-28)/6)*18. Let w be (-1)/7*a/(-9)*-3. Is -6 smaller than w?
True
Suppose 7 = 5*b - 13. Let h be (b/10)/(2/(-80)). Let q(w) = -w**2 - 74*w + 827. Let k be q(10). Is k > h?
True
Let n be -2*(9/120*8 - 26/65). Let m(r) = r**2 - r + 3. Let p be m(0). Suppose p*h = -s + 11, 0 = h - 2*h - 4*s. Which is smaller: h or n?
n
Suppose -119*i = 597 - 4167. Let j = 3/2 + -2. Are j and i equal?
False
Let u(d) = 91*d**2 + 90*d**2 + 28 - 12 - 20*d - 177*d**2. Let k be u(5). Let r(x) = 4*x**2 - 11*x - 7. Let b be r(4). Is b bigger than k?
False
Let m be 4/(-6) - (-184)/6. Let w = m + -27. Suppose 3*r + 2*r + 2*a = -54, -30 = w*r + 2*a. Which is smaller: r or -11?
r
Let u = 2869 - 2870. Is 7/51 smaller than u?
False
Let r(m) = 34*m + 1054. Let w be r(-38). Is -238 greater than or equal to w?
True
Let l(k) = 8*k - 40. Let i be l(5). Let p(h) = -2*h + 2. Let b be p(0). Let s be (18/(2 - 5))/((-75)/b). Is s < i?
False
Let l(h) = -153*h + 1752. Let i be l(12). Is -77 at least i?
True
Let b = -104176/225 - -463. Which is smaller: b or -19?
-19
Let r = 54.61 - 23.51. Is 2 greater than r?
False
Let k be 6 + ((-20)/5 - 3). Let o be (-4)/(20/(-515)) + k. Is o != 102?
False
Let v be (-20118)/(-10094) - (1 + 3 + -2). Are 1 and v equal?
False
Suppose -1877 + 1865 = 4*g. Are -396/179 and g equal?
False
Let g(w) = w**2 - 171*w + 696. Let x be g(167). Is x equal to 631/22?
False
Let v = 44563 - 44562. Which is bigger: 4/785 or v?
v
Let w(m) = 6*m**2 + 23*m + 147. Let n(g) = 5*g**2 + 24*g + 145. Let h(b) = 4*n(b) - 3*w(b). Let y be h(-6). Which is bigger: y or 52?
52
Let t(y) = 8*y + 68. Let i be t(-8). Let c be -3 + i - 4/56*18. Which is bigger: c or -2/97?
-2/97
Let g be ((-169977)/(-32382))/(-1)*(-136)/(-323). Let i = g + -2/5397. Which is greater: -1 or i?
-1
Let q be 5710/570*(-42)/44. Let j = q + 186/19. Which is bigger: 0 or j?
j
Let f(l) = -l**3 + 4*l**2 + 9*l - 5. Let v be f(6). Let h be v - -28 - (-17)/(-2). Let c(w) = 2*w + 1. Let d be c(-3). Is d at most h?
True
Let m = -21272/37 - -575. Let n = 25 + -24. Let k be 0 + (n - 4) + 3. Is k less than or equal to m?
True
Let s(d) = d**2 + 16*d + 29. Let j be s(-18). Suppose v - 2 = 0, 0 = -q + 2*q - 3*v - 1. Let k be (-36)/j - (70/(-65))/q. Is k less than or equal to 0.04?
True
Suppose 17 = -30*z + 2 - 15. Is z at least as big as 4/781?
False
Let s = -9.89 + 653.89. Let j = s - 644. Is j less than or equal to 373?
True
Let l = -75 - -45. Suppose -1925 = -168*u + 383*u - 160*u. Which is greater: u or l?
l
Let g be -3 + -10*(-12)/(-8). Let w be (g/(-27))/(58/3). Let h = 395 + -396. Is w > h?
True
Suppose j - w = -2*w + 13, -j + 16 = 4*w. Suppose 32 = j*d - 16. Suppose c + d*a = 5*c, 0 = -3*c - a. Which is greater: 2/51 or c?
2/51
Suppose 4*f = -f + k - 1820, 0 = 3*f + 2*k + 1092. Let c = f - -405. Let g = 43 - 1. Which is greater: g or c?
g
Let c = -2702 - -4003. Is 1300 less than or equal to c?
True
Let y(j) = 6*j**2 + 3*j - 2. Let t be y(-2). Suppose 9 = -t*d + 17*d. Let b be (-110)/255 - (-6)/d. Is b < -1?
False
Let z be (16336/8154 - 3) + -13 + 18 + -4. Which is greater: z or 0?
z
Suppose -114*l + 9*l = 3*l - 2484. Let n be 62/3 + 1/3. Is l less than n?
False
Let m = -455 - -194. Let c = -252 - m. Which is smaller: c or 6?
6
Let c = -51563/294 + 566/49. Is c >= -163?
False
Suppose -4 = -q, -6*i + 2*i - q = -48. Let o be (298/(-4))/(i/22). Let r = o + 123. Is -28 <= r?
True
Let j = -295472/9 - -32830. Is -0.0007 >= j?
True
Suppose -7*b + 2*b + 20 = 0. Suppose -3 + b = q. Let z(f) = f**3 + 47*f**2 - 4271*f + 653. Let y be z(-93). Is q at most as big as y?
True
Let m = 2121 + -2124.98. Is -0.17 at most m?
False
Suppose -5*v - 10 = 0, 0*v = 5*n - 5*v - 1630. Suppose -579*h + 127883 = -272*h + 28108. Which is greater: h or n?
h
Suppose 0 = -4*a + 3*k + 345, 15*a - 5*k - 65 = 14*a. Suppose 55 = -7*c + a. Is 13/3 < c?
True
Let g be (-28)/6*30/20. Let u = g - 12. Let i = -641 - -643. Which is greater: u or i?
i
Let s = -509447/391194 + 5/3798. Let p = -32521/25235 - s. Which is smaller: 1 or p?
p
Suppose 3*v - 41 = -5*l, 2*l + 0*v - 16 = -v. Suppose -5*j + 50 = -15. Suppose l = -j*h + 59. Is h at least as big as 7?
False
Let i = 25/654 + 648593/4578. Let k = i - 142. Which is smaller: -2 or k?
-2
Let d = 902 - 902.6. Which is smaller: -100 or d?
-100
Let q be (-14)/4*242/(-8470) - (-64259)/10. Do q and 2/3 have the same value?
False
Let w = -278 + 282. Suppose 68 = 3*s + w*o, -2*o + 4 = -6*o. Which is greater: s or 16?
s
Let n = 2512631/48 + -52344. Which is greater: n or 3?
3
Let z = 41637.35 + -41716. Are -3 and z unequal?
True
Let o = 23410 + -93637/4. Which is smaller: o or -3389?
-3389
Let s be ((5 - 11)/6)/1. Let v be (2*(4 - s))/2. Are 3 and v equal?
False
Suppose 0 = 11*n - 10179 - 15143. Suppose -n = -16*g + 1714. Is g != 250?
True
Let g = -37 - -59. Let y be (2 + 14/(-4))*-2. Suppose 23 + 40 = y*q. Is g greater than q?
True
Let q(o) = -5*o**3. Let k = 15 + -13. Suppose 2*m + 2*y = 5*y - k, 0 = m - 4*y + 6. Let u be q(m). Which is smaller: u or -41?
-41
Let p be 1*-4 - 4536/(-18). Suppose -4*s = -8*s - p. Let t = s + 131. Is 70 bigger than t?
True
Let o(s) = 10*s + 74. Let k be o(-7). Suppose k*g = -j - 24, 5*j - g = 4*g + 5. Let i be -2*(-218)/j + 24/(-8). Are -