l**2 + 6*l + 5. Let n be v(6). Suppose 0 = 3*h + z - 16, n*h + 2*z - 60 = 7*z. Which is bigger: h or f?
h
Suppose -4*c = -7 - 9, f - c - 28 = 0. Suppose 4*w - 5*w + 7 = 0. Suppose w*a + 0*a = 231. Is a equal to f?
False
Let l be 0 - -1 - 2190/(-23595)*-11. Is l != -1?
True
Let b be 9/((-108)/(-480))*(-2)/(-5). Suppose z = 4*r + 16, -11*z + 4*r + b = -14*z. Which is smaller: -2/1803 or z?
-2/1803
Let l be ((-65)/25 + 3)/((-1)/8560). Let c = -6619/2 - l. Let x = c + -124. Is -11 != x?
True
Let f(p) = p**3 - 5*p**2 - 5*p - 5. Let m be f(6). Let x be 12285/7098 + 3/(-2). Is x greater than or equal to m?
False
Let l = 4249 - 4237. Which is smaller: 16/7 or l?
16/7
Let n = -76 - -107. Let q = 71 - n. Let j = q + -41.9. Which is smaller: -2 or j?
-2
Suppose -g = 3*a + 8, -32 = -5*g - 0*g + 3*a. Suppose -n = -g*n - 861. Which is greater: n or -285?
-285
Let a be -1 + (-3)/(-1) + 34. Let d = 817 - 1563/2. Which is smaller: a or d?
d
Let x be ((-139)/2)/((-820)/40 - -21). Suppose 415 = -3*u + 5*v, -v = 3 - 2. Which is smaller: u or x?
u
Suppose -3*w = -i - 44, -i - 2*i - 132 = 4*w. Let k be -31 + 8 - 84/4. Is i less than or equal to k?
True
Let d(p) = -5*p - 18. Let g be d(6). Suppose 26*s + 1421 = -3*s. Is s bigger than g?
False
Suppose 0 = -3*q + q + 18. Let p be (-1 - -4)*6/q. Suppose -74 = 3*b - 5*a, 3*b + 19 = p*a - 43. Is b > -18?
False
Let h(w) be the third derivative of -w**6/120 + w**5/10 + w**4/8 - 11*w**3/2 - 2*w**2 + 92. Let c be h(7). Which is smaller: c or -63?
-63
Let o = -9 - -10. Suppose -2*q - o = -3. Let n(v) = v**2 + 15*v - 36. Let y be n(-19). Which is greater: y or q?
y
Let m = -6498.87 - -6499. Is m bigger than -1?
True
Suppose x + 3 + 57 = 4*o, 52 = -x - 4*o. Let z be 0 + (-49)/x + (-20)/16. Do 1/5 and z have the same value?
False
Let y(j) = -j**3 + 22*j**2 - j + 25. Let w be y(22). Let h(n) = 45*n - 134. Let g be h(w). Is -6/169 at most as big as g?
True
Let l = 45 + -40.6. Let s = -66.6 - l. Let z = s - -70.9. Which is smaller: 6 or z?
z
Let d(m) = m**2 - 13*m - 5. Suppose 5*t - 3*j - 133 + 41 = 0, -j = 4*t - 60. Let l be d(t). Suppose l*c - 40*c = 24. Are 8 and c equal?
True
Let a be -4 + 44 - (-20)/(-5). Suppose -p = 3*p + 5*l - a, 2*l = -3*p + 27. Are -2 and p non-equal?
True
Suppose -k = -5*b - 17, 2*k - 4*k + 2*b + 18 = 0. Let g(a) = 23*a**2 + 3*a - 2. Let x be g(1). Suppose x*j + 0 = 264. Are k and j equal?
False
Suppose -t = -4 - 0. Suppose -3*z + 5*a - 67 = -5*z, 2*z - 40 = t*a. Let f = 45 - z. Does f = 18?
False
Let i = 9.4 + -9.3. Let n = 12 + -19.1. Let d = n - -39.1. Which is greater: d or i?
d
Suppose 0 = -5*v + 321*v - 10*v - 54774. Which is smaller: v or 186?
v
Let z = 82041 + -418983389/5107. Which is greater: z or 1?
1
Suppose 16*f + 14*f + 540 = -24*f. Which is bigger: f or -141?
f
Suppose 7097 = 66*z - 44185. Which is smaller: 776 or z?
776
Let w(l) = 3*l**3 - l**3 - 8 - 7*l - 3*l**2 - l + 7*l. Let n be w(3). Suppose 10*f - n*f - 6 = 0. Are f and 2/295 non-equal?
True
Let h = 199 + -192. Let m(p) = -8*p + 62. Let z be m(h). Is 4 bigger than z?
False
Let m be (10/735*-9)/(-1). Suppose 2*j = 5*u - 22, 6*j - 5*j - 7 = -2*u. Which is bigger: m or j?
m
Let q = 48 + -27. Let k be (-392)/3090 + (-6)/(-45). Let l = k - -12665/618. Is q not equal to l?
True
Suppose 26 - 20 = j. Suppose -j = m - 4. Let x be (-259)/35 + 24/10 + m. Do -20/3 and x have different values?
True
Suppose 12*f - 8*f = -64. Let r(l) = -2*l - 27. Let h be r(f). Let k be (-1)/(-2)*(5 + (0 - h)). Is k at most -1/17?
False
Let a = -5721/7756 - 24/1939. Let o = -1544 + 97270/63. Is o < a?
False
Let r(k) = -8*k - 217. Let w be r(-25). Suppose 0 = -9*p + 14*p. Which is smaller: w or p?
w
Let y = -2975 + 3368. Is y at most 391?
False
Suppose 3*p + 1 - 18 = -x, 5*x + 15 = 5*p. Suppose -3*g + p*j + 7 = 0, -4*g + 12 = 3*j - 36. Is -2 <= g?
True
Suppose -5*m = 3*o - 1783, 2*o = -3*m - 1872 + 2942. Are m and 361 equal?
False
Let p be (-37)/(-7) + -5 + (2 - 112/49). Which is smaller: p or 1/14436?
p
Let p be 1 + -2 + (-692)/4. Suppose 3*h + 722 = -4*j - 2*h, -155 = j - 3*h. Is j > p?
True
Let w be 15/(-4 - 1) - 6. Let v(m) = -m**2 - 7*m + 20. Let r be v(w). Let h be (6/(-63))/(r + -3). Does h = 1?
False
Let h be 6 + -2 + (-46 - -42). Is 5/1249 != h?
True
Let f(x) = x**2 - 4*x - 3. Let t be f(5). Let b(k) = -185*k**2 + 557*k**2 - 187*k**2 - k**3 - 183*k**2. Let w be b(t). Which is smaller: w or 1?
w
Let f(j) = -111*j**2 - 120*j - 11. Let t be f(-1). Are t and -306/109 nonequal?
True
Let v = -14891 + 14937. Which is greater: v or 32?
v
Let o = 17 + -65. Let f be 2/(o/80*4/(-18)). Let l = 2 - 0. Which is bigger: f or l?
f
Let t(q) = 9*q**3 - 16*q**2 + 14*q + 12. Let r be t(4). Is r less than or equal to 389?
True
Let t = 745 + -749. Let d be -1*(1 + -3)*t/24. Let w = 43.09 - 0.09. Which is bigger: w or d?
w
Let t be 4 - (5/(-10)*-2 + -57). Let d = t + -59. Which is smaller: 5/9 or d?
5/9
Let k be (-2)/(4/4)*(-60)/6. Let d be (5/(-2820))/(5/(k/(-3))). Which is bigger: d or -1?
d
Let t = -6572 - -6571. Let a be 24/(-780)*5/(-4). Are a and t non-equal?
True
Let n be (-240)/(-160)*((-6)/9)/1*1664. Are -1661 and n equal?
False
Let h = -6566 + 7472. Which is smaller: 908 or h?
h
Let j be 183918/(-1044) + (1 - (-4)/(-3)). Is j greater than or equal to -178?
True
Let o(h) = h**2 - 6*h + 3. Let c be o(4). Let k = -243 - -240.74. Let l = k + -0.74. Is c >= l?
False
Let w be ((-87)/(-1))/((-150)/20). Is w less than 7?
True
Let d = -816089/15 + 54405. Suppose 6*x = x. Do x and d have different values?
True
Let h = -70.8 + 86. Let p = 42.8 + h. Which is greater: -3 or p?
p
Let b = 235 - 222. Let v be (-2)/4 - ((-4316)/88)/b. Is 4 equal to v?
False
Let t be (10 + -11)/((-2)/52). Suppose 2*k = -32 - t. Let h be (29/k)/((43/4)/1). Is 0 > h?
True
Let g = -39841/2 + 19920. Is g greater than or equal to -12194?
True
Suppose -9*p + 4*p - 10 = 0. Let s be ((-13)/(-26))/(p/(-64)). Suppose -k - 2*d = 3 + 1, 4*k + 3*d + s = 0. Which is greater: k or -8/3?
-8/3
Let f be (-2)/(-8) - (-9812)/(-39184). Let d = f + 75928/22041. Which is smaller: 3 or d?
3
Let w(g) = g**3 + 5*g**2 + 3*g - 3. Suppose -3 = 2*p + c, -27 = 3*p + 3*c - 6*c. Let j be w(p). Which is smaller: -1/98 or j?
-1/98
Let a be -15*(-1)/(-4)*(-1 + 6/(-10)). Is -74/33 greater than or equal to a?
False
Let p(c) = c - 24*c**2 - 15*c + c**3 + 8 + 8*c**2 - 1. Let f be p(17). Suppose -f = 5*x - 63. Which is smaller: x or -3/8?
-3/8
Let o be (-2294)/111*(-6)/(-4). Let v be 39 - (1 - 2)*-1. Let p = o + v. Which is smaller: p or 23/3?
p
Let m(r) = -r + 39. Let i be m(16). Let d = 24 + -9. Suppose -d = -t + 3*j - 6*j, 4*j = -12. Which is smaller: i or t?
i
Let p(t) = -10*t**2 + 534*t + 238. Let n be p(54). Which is bigger: n or -1662/19?
n
Let w = 272 + 38. Suppose 3*r + 310 = -2*r - 5*b, 2*b - w = 5*r. Is r less than 0?
True
Let o be (-3)/(-4)*(3 - 15). Let r(n) = -n - 10. Let c be r(o). Which is bigger: 3/23 or c?
3/23
Let j be ((-466)/233)/(3/(-1644)). Which is smaller: 1095 or j?
1095
Let c(k) = 697*k - 18. Let u be c(3). Let v = u - 698603/337. Which is smaller: v or -1?
-1
Let z(y) be the third derivative of y**4/24 + 167*y**3/6 + 126*y**2. Let l be z(-40). Is l equal to 1?
False
Suppose -l - m = -2, -3*l + m + m = -6. Let f be 0 + l + 32/(-16). Let y(s) = s - 4. Let j be y(5). Is j at most f?
False
Suppose -p = -5*u + 4, 0 = 5*u - 4*p + 55 - 71. Which is greater: -2/3973 or u?
u
Let d(q) = -q**2 + 12*q - 30. Let f be d(8). Let g(s) = s**2 - 16*s + 20. Let j be g(f). Which is smaller: j or -20?
-20
Let y = 6368.06 - 6371. Which is smaller: y or 1/14?
y
Let a be (-3)/9*-29 - 4/6. Let j be ((-42)/a)/(10/(-345)). Let b = 1283/8 - j. Is -1 equal to b?
False
Let b = 56.2 - 54.388. Let j = 0.188 + b. Is -41 != j?
True
Let v be 1 - (281180/604)/(-5). Let w = v + 4014827/1057. Let l = w - 3885. Which is smaller: l or -2/7?
-2/7
Let k = -0.333 + 0.064. Let g = k - 0.031. Is g less than 2.4?
True
Let g = 1135.23 - 1136. Let h = 0.141 - -0.549. Let o = h + g. Do -2/5 and o have the same value?
False
Let q(d) = -12*d + 25. Let k be q(-1). Suppose 3*c - 22 - 31 = -5*n, -3*c + k = n. Is -17 less than c?
True
Suppose -125*f - 84*f - 438 + 20 = 0. Is f at least -420?
True
Let a = 0.15969 - 9.15969. Is a at most as big as 4.16?
True
Suppose