(l) = -l**3 - 12*l**2 + 11*l + 11. Let k be x(-13). Which is smaller: k or 21?
21
Let j be (588/(-96) + 6)/((-2)/4). Does -295 = j?
False
Let k = 0.3101 + -75.3101. Is -1 greater than k?
True
Let h be (0 - 1)/((-3)/(-81)). Suppose -2*r = -2*o + 28 + 18, 0 = 4*o - r - 104. Let y = h + o. Is y less than -2/15?
False
Suppose -95*k + 189*k - 1034 = 0. Let x = 27 + 2. Let p = x - 16. Which is greater: p or k?
p
Let z be (288/(-165))/(800651/200185 + -4). Let g = z - 3926. Is g at most 1?
True
Let r(x) = -x - 2. Let j be r(-9). Suppose -3*b - 3*y = 0, -3*b - 3*y = -7*b - j. Are 1/619 and b non-equal?
True
Suppose 21*i = 26*i - 70. Let a be -2 + 5 + (0 - -7). Suppose 4*g = -i + a. Which is smaller: g or 2/55?
g
Suppose 123*r + 11076 = 26313 + 24615. Which is bigger: r or 319?
r
Suppose -19*r = -15*r - 8. Suppose 3*j + 8 = r*b, -5*j + 55 = 4*b + 17. Suppose 0 = 5*s + 3*y + 4, b = s - y - y. Which is smaller: -2/23 or s?
-2/23
Let x be 922/2430 + (-16)/40. Let z be ((-21884)/(-24300) - 3) + 2. Let o = x + z. Is -1 less than o?
True
Let o = -28814 + 28833. Are 129 and o equal?
False
Let f = 61297/7 - 8737. Do -22 and f have the same value?
False
Let m = -0.59 + -0.01. Let t = 3698 + -3704. Is t at most as big as m?
True
Suppose 3*a + 5 + 7 = 0. Suppose -2*p + 4*k - 2*k = -10, -2*p + 5 = 3*k. Let c be (-94)/18 - (-10)/40*p. Which is smaller: c or a?
c
Let q be (-2689)/2 + (-13)/((-182)/35). Let p = q + 1342. Let a be (-39)/17 + (1 - -1). Is p >= a?
True
Let c = -629512/161 - -3910. Let p = -78 + 79. Is p < c?
False
Let j = -35.374 - 1.626. Let k = 28 + 1. Let q = k + j. Is 2 less than or equal to q?
False
Let x(o) = o**2 + 7*o + 9. Let h be x(-6). Let y(n) = 10*n**2 - 362*n + 74. Let k be y(36). Let z be k/6 - h/9. Is z != -3/58?
True
Let z(c) = 7*c**2 - 20*c + 121. Let m be z(8). Let g = 130 - m. Is -279 smaller than g?
False
Let u(r) = 6*r + 1 + 6*r + 9*r + 5*r. Let d be u(4). Is 106 greater than d?
True
Let f = -0.23 - -9.13. Let l = f + -8.9. Let y be (-4)/(-1 - -3) - 1. Which is smaller: l or y?
y
Let i = 153343 - 1035218595/6751. Is 0 bigger than i?
True
Let q = 1.9091 - 362.9091. Is q not equal to 0?
True
Let h = -17.44 - -1.84. Let i = h - -13.6. Let o = -0.12 + 7.12. Is i bigger than o?
False
Let h be ((-15)/(-2 + -3))/((-9)/(-333)). Let f(x) = x**3 + 8*x**2 - 9*x - 2. Let u be f(-7). Let k = u - h. Which is smaller: k or 0.1?
k
Let v = 12412 - 12411. Which is greater: -3305 or v?
v
Let z = 893 - 896. Let r be (10 - 2)*26/8. Is z > r?
False
Let c(g) = -130*g - 10789. Let f be c(-83). Do 6/883 and f have the same value?
False
Suppose 2*x + l = -30, 3*x - 19 + 66 = -2*l. Let j = -55657/4715 + 4/943. Which is greater: j or x?
j
Let g be 6/(-18)*-1119 + 2. Let s = g + -371. Do 3 and s have different values?
True
Let n(f) = 180*f. Let p be n(4). Let i = -1316356 + 1317075. Are p and i unequal?
True
Let w(x) = -135*x**2 - 1. Let b be w(-1). Let z be (-22)/3 + (12 - -22) + -27. Which is greater: b or z?
z
Suppose -2*f + 717 = 5*h, h + 278 = 3*h + 3*f. Suppose 3*i = -142 + h. Let x be ((-83 - 0)/1)/(0 + i). Is -83 at least x?
True
Suppose -6*t - 1642 = 1070. Is -449 != t?
True
Suppose -40 = 5*r - 15. Let w be 2/11 - 93/(-33). Let q be (-6*(-1)/(-2) - 1) + w. Is r bigger than q?
False
Let o be ((-12)/(-8))/(9 - (-10)/(-420)*435). Is 0 at least as big as o?
True
Let r be (26043/(-231) + -5)*196/(-28). Which is smaller: r or 825?
r
Let f = -40 + 40. Suppose -52 = -k - o + 2*o, k + 3*o - 44 = f. Let z be ((-96)/15)/((-20)/k). Is 17 != z?
True
Let g = -839909/39 - -21538. Which is bigger: g or 3?
3
Let b = 23573/30 + -3364/15. Are 563 and b non-equal?
True
Let b(l) be the first derivative of l**2/2 - 16*l - 85. Let k be b(16). Is -15/13 >= k?
False
Let b be 120/(-1200) + (-47)/(-270). Are -0.0667 and b unequal?
True
Suppose 18*f + 2556 = -198. Let o = 98 + f. Is -55 less than o?
False
Let y be ((-66)/55)/((-2)/5). Let r be (18 - y)*(-2)/(-5). Let d(a) = a**3 - 3*a**2 - 16*a + 61. Let f be d(3). Are r and f non-equal?
True
Let u = -169 + 115. Let s be (-15)/u*(28 - -4). Is -0.1 < s?
True
Let t be -10*(9/(-12))/((-1)/12). Let i = 0.7 - 0.8. Which is bigger: i or t?
i
Let q(v) = -v**2 + 10*v - 11. Let h be q(9). Let d(w) = 8*w**2 - 2. Let g be d(h). Let r be (-18)/g*(165/12 + 0). Which is greater: r or -9?
r
Suppose 4*r - 2*v = 0, 7*v = 3*v. Let y be r*(-1 - 2 - -4). Let q(j) = j**3 - 4*j**2 - 8*j + 2. Let i be q(-2). Which is greater: y or i?
y
Suppose 74*k - 3666 = -47*k + 160*k. Is -110 at most as big as k?
True
Suppose -b - 3*b = -492. Let n(a) = -a**3 + 19*a**2 + 188*a - 33. Let p be n(26). Is p less than or equal to b?
True
Let v = -0.08786 - -3.08786. Which is bigger: -1.1 or v?
v
Let f = 493710 + -493710.1. Let w(u) = -48*u - 2. Let m be w(3). Is m less than or equal to f?
True
Let k = -4519 + 4822. Which is smaller: 298 or k?
298
Let o(k) = k**2 + 13*k + 50. Let t be o(-8). Let i be 14/(-70) + 32/t. Is -0.6 greater than or equal to i?
False
Let r(n) = 2*n**2 + 14*n - 6. Let a be r(4). Let l be 8*(38/(-57))/(1/(-15)). Is l equal to a?
False
Suppose 5*y - v - 4*v + 160 = 0, -3*y = -2*v + 96. Let p be ((y/(-6))/(-8))/14. Suppose -1 - 1 = 2*c, -5*g + 5*c + 5 = 0. Is p < g?
True
Let z be 5/((-30)/4)*198/4. Let v = z + 78. Let k(r) = -8*r + 5. Let x be k(-5). Are x and v unequal?
False
Let r be ((-9)/(-5))/(-3) + 34 + 648/(-20). Which is greater: r or 3/686?
r
Let b = 2 + -37. Let l = b - -32. Let f be ((-1008)/508 - l) + -1. Is f <= 0?
False
Let q be -3 - (-8 - 664/96). Let c = -1853/44 - -576/11. Let p = q - c. Which is bigger: 3 or p?
3
Suppose 5*p + 4*h = 7*h + 31, -4*p - 3*h = -41. Suppose -145 = -p*a + 167. Are 39 and a equal?
True
Suppose 5*w + 23 = 2*y, y - 3*w = -27 + 36. Is y < 226/9?
True
Let n(y) = -y**2 - 7*y + 2. Let v be n(-7). Suppose v*d - 209 = 205. Is 207 != d?
False
Let o = 15 + -51. Let f be (354 - 539)*((-12)/(-15))/4. Is o < f?
False
Let q = 15703 - 15702. Which is smaller: q or 0.7693?
0.7693
Let v = -66 + 167. Let y = -60 + v. Let m = -43 + y. Which is bigger: -13 or m?
m
Let y be 76/(-16) - (1/(-5))/((-8)/(-10)). Let l be 12/9*(-6)/4. Let m = l + -2. Is m > y?
True
Let k be 124*(5/(-2) - -3). Let u(d) = d**2 + 13*d - 167. Let a be u(-23). Which is smaller: k or a?
k
Suppose 0 = -2*t - 238 + 242. Let v be (t/15*5)/(1875/9). Which is smaller: v or 1?
v
Let u(x) = -x - 6. Let i be -1 + -1*(-5 + 8). Let v be u(i). Let p be 10/30 - v/(-24). Is p bigger than -1?
True
Suppose -3 = -4*u - 5*d - 7, -d = -5*u + 24. Suppose 0 = 4*c - 29 + 5. Let g be 0*((-3)/18)/(2/c). Which is bigger: u or g?
u
Let x be ((-12)/10)/((-1)/5*1). Suppose 0 = -3*o - 2*d + 25, -40 = -5*o - x*d + 3*d. Suppose -4*q = -o*m + 7 + 18, -2*q - m - 9 = 0. Is q equal to -15/4?
False
Let p = 71.73 + -73.73. Which is greater: 156 or p?
156
Let o be 600/125 - (-16)/(-20). Suppose 3*i - 82 = -o*h, 5*i + 59*h = 64*h + 160. Which is smaller: 119/4 or i?
119/4
Let l be ((-2)/(-4))/(34/(-7140)). Let h = l - -94. Which is smaller: -10 or h?
h
Let j = 15 + -10. Suppose -3*r = j*y + 34 + 7, -32 = 4*y + 2*r. Let m = -1669/3 - -549. Is y at most m?
False
Let a = -2712 - -2481. Which is smaller: a or -233?
-233
Let h = -22092 + 22268. Is 3354/19 at least h?
True
Let w(s) = -47*s - 51. Let a be w(-5). Suppose 4*q + 68 = -5*k - 126, -a = 4*k - 4*q. Which is greater: k or -41?
-41
Let n = 153558/7 + -21933. Suppose -4*m + 3*b - 2 = 0, -3*m + 5*b - 8 = -1. Which is bigger: m or n?
n
Let o be 4/6*324/(-1). Let t = o - -130. Let k = -16584 - -16498. Are k and t non-equal?
False
Let z(s) = s**2 + 4*s - 14. Let b be z(-5). Let d be (0 - b/3) + (-996)/330. Is 0 at least d?
True
Let b = -1 + 8.9. Let p = -5294 - -5302. Let o = p - b. Is -1.9 >= o?
False
Let n(o) = o**3 - 11*o**2 - 12*o + 6. Let h be n(12). Let p be ((-2 + -3)/(-15))/(2/h). Let s be (-6)/(-21) - (-2)/(-7). Which is greater: s or p?
p
Suppose 38*p = 36*p + 50. Suppose 0 = 12*c - 37 + p. Is 4/101 bigger than c?
False
Suppose 16 = 5*m + s, 3*m + 3*s - 6 = 2*m. Let b = -85865/73186 + 101/86. Let r = 11070/5957 - b. Is m less than or equal to r?
False
Let p be (11/(-66))/(38/(-12) + 3). Let a(m) = 2*m**2 - 3*m - 1. Let h be a(p). Which is smaller: -46/15 or h?
-46/15
Suppose p - 3*p = 6, 2*u - 4*p - 26 = 0. Let z = 63 + 11. Let g =