6)/g). Is -1 smaller than z?
True
Let t = -5 + 16. Let r = -216 - -204.7. Let a = r + t. Which is smaller: a or 5?
a
Let b(k) = -k**3 + 5*k**2 + 15*k - 97. Let h be b(5). Which is smaller: -165/8 or h?
h
Let h(b) = -3*b**2 - b + 1. Let j be h(1). Let n be 2/((-55)/(-18) + j). Suppose 0 = 4*t + 2*a - 0*a + 22, 2*t = 4*a - n. Which is smaller: -7 or t?
t
Let j(y) = 9*y + 37. Let w = 20 - 24. Let p be j(w). Does p = -0.5?
False
Suppose 7*h = 24*h - 1581. Is h at most as big as 93?
True
Let m(d) = -d**3 + 7*d**2 - 8*d - 15. Let f be m(6). Is f less than -8?
True
Let d = -14/23 - 87/46. Let z be ((-4)/26)/(-10 + 4 - -5). Do z and d have different values?
True
Let x = -221/1272 + 7/53. Let g = 90 - 91. Is g smaller than x?
True
Let x be 1106/9 - (-7)/63. Is 121 equal to x?
False
Let r = -515 + 526. Is 78/7 > r?
True
Let g = -21.5 + -19.5. Let f = 1.3 + 30.7. Let v = f + g. Is v < 1?
True
Let p = 700831/21 - 33366. Let f = p + -46/7. Let c be (1 + 0)*(-1)/(-1). Which is smaller: f or c?
f
Let a = 26 + -23. Let q be a - -1*321/(-108). Which is smaller: q or 0?
0
Let t = 127 - -373. Is t smaller than 1/3?
False
Let p = -1.132 - -0.132. Is 2/9 > p?
True
Let o = 0.9 + -0.89. Let m be ((-1)/428)/(2/(-198)). Let k = 2/107 + m. Is k at least o?
True
Let a be 30/21 - 6/14. Which is smaller: a or -2/59?
-2/59
Let n(y) = -y + 6. Let j(v) = -4*v**3 + 1. Let a be j(-1). Let s be n(a). Do s and -0.24 have different values?
True
Let l be (-6 - 48/(-9)) + (-30)/9. Which is smaller: l or -73/15?
-73/15
Let s = 66 + -20. Is s at most as big as 46?
True
Let m = -0.0532 + 1.0532. Do m and 333 have different values?
True
Let c = -0.67 + -4.33. Is c at most 15?
True
Let k(y) = y + 1. Let w be k(3). Suppose 0 = -w*i + 2*i. Let g = 26 - 12. Which is bigger: g or i?
g
Let r(w) = w**2 + 7*w + 7. Let g be r(-7). Suppose 4*v = 13 + g. Let y = v - 3. Is y less than 2?
False
Let w = 6 + -5.75. Let r = w + -0.25. Is r greater than -2?
True
Let l(y) = -y - 8. Let x be l(0). Let k(m) = 6*m**2 + 5*m - 6. Let j be k(-1). Is x at least as big as j?
False
Let d = -21623/3 + 7207. Let g = -0.13 - -0.07. Is g less than d?
False
Let r = 22 + -22. Suppose -2*n - n - 117 = r. Let h = n + 37. Is -3/2 at least as big as h?
True
Let a = -504 - -513. Which is smaller: a or 19?
a
Suppose 4*o + 4*l - 20 - 16 = 0, -3*o = 4*l - 32. Suppose -4*n - o = b - 5*b, -2*n + 13 = b. Let c be (-4)/10*n/16. Is c bigger than 1?
False
Let x be (-5 + 5)*(0 + 1). Suppose -5*s + x*s = 150. Which is greater: s or -29?
-29
Let t = -26 + 27. Let p be t/(-8) + 114/(-240). Is -1 bigger than p?
False
Let z = -483 + 484. Is -1/25 less than or equal to z?
True
Let a be (-99)/15 + 3 - (-2)/10. Is a at most as big as -4?
False
Let g(j) = -18*j - 1. Let n be g(4). Let s = n + 76. Which is bigger: s or -3?
s
Let r be (2/(-5))/(-1) - (-49170)/825. Which is bigger: -2 or r?
r
Let p = -147 + 150. Let g be p/(-18)*(2 - (-1 - -13)). Which is greater: g or -11?
g
Suppose -k - 2*k - 17 = 5*w, -4*w - 18 = -2*k. Let p be 1/1 - k/(-1). Let g = -1873 - -1878. Are g and p equal?
False
Let h = -3846/31 - -124. Suppose 2*j = -5*m + 11 - 30, 6 = 2*j. Let v be (-6)/10 - (-2)/m. Is v smaller than h?
True
Let s = 2815/16 - 311/16. Which is smaller: s or 158?
s
Let h = -14 - -4. Let u = h + 14. Suppose 0 = -4*y - y + 20. Does u = y?
True
Let n be 4/(-6)*1782/132 + 5. Suppose 4 = 4*i - 228. Let c be i/(-12) - (-2)/(-4). Is c less than or equal to n?
True
Let j = 371 - 3343/9. Suppose -3*i = -215 + 230. Which is bigger: j or i?
j
Suppose -5*o - 4*j + 238 = 0, -2*o - 17*j = -18*j - 90. Which is greater: o or 42?
o
Let o(s) be the second derivative of s**3/6 + 3*s**2 - 4*s. Let l be o(-4). Let f be (-2)/4*(l - 0). Which is smaller: -1/7 or f?
f
Suppose 2*w - 22 = -4*c + 4*w, 4*w + 17 = -c. Is -6 equal to c?
False
Let x = 11985/371 - -158/53. Let f = 35 - x. Is f bigger than -1?
True
Let g be (2 + 32/(-5))/((-3)/15). Let a(z) = -z**3 + 21*z**2 + 21*z - 14. Let l be a(g). Is -36 greater than l?
False
Let n be 2/(-6) - (-143)/6. Let h = n + -24. Let m be 8/(-12) - 42/(-9). Is h smaller than m?
True
Let m(f) = 26*f - 13. Let x be m(2). Let l be 4/(-6)*x/26. Let t = -3 - -3. Which is greater: l or t?
t
Let z(b) = -b**2 + 3*b**2 + 2*b**3 - 14 + 12*b**2 - 3*b. Let a be z(-7). Let g = 21 + -15. Which is smaller: a or g?
g
Let l(b) = b**3 + b**2 - 4*b - 3. Let u be l(-2). Let x = 34 + -42. Let i = 9 + x. Is u < i?
False
Suppose 3*q - 6 = 47*m - 46*m, 3*m + 6 = -3*q. Is -2/1257 greater than or equal to q?
False
Suppose -34 = -3*n - 19. Is n != 5?
False
Let n = 568 + -572. Which is smaller: n or -8?
-8
Let o be (-188)/6 + (-408)/612. Is o at most as big as -31?
True
Let y = -53 + 33. Let h = y - -26. Let p = h + -6. Is 14/9 bigger than p?
True
Let i(k) = k**3 + 7*k**2 + 9*k + 5. Let o be i(-6). Let z = o - -14. Which is smaller: 1/51 or z?
1/51
Let a be 4/(-20) - (-22)/10. Let l be (-403)/143 - (-3)/((-33)/a). Is l >= -0.03?
False
Suppose -183*c + 4*q = -180*c + 18, -4*c - 16 = -4*q. Let s be 0*((-10)/4 - -2). Suppose -t + 5*i + 18 = s, -2*i + 0*i - 9 = -t. Is c less than t?
True
Let r(y) = -y**3 - 24*y**2 - 43*y + 20. Let g be r(-22). Does g = -1?
False
Suppose 22*u - 28*u = 426. Which is greater: u or -356/5?
u
Let p(v) = -v**2 - 5*v + 7. Let b(c) = c**2 + 11*c - 3. Let q be b(-13). Let i = -29 + q. Let y be p(i). Is 1 at least as big as y?
True
Let k be (8/6)/((-112)/84). Which is smaller: 18/97 or k?
k
Suppose -2*r = 3*r + h - 26, -h = r - 6. Suppose r*z = 2*z + 3*t, -z - 6 = -4*t. Let x = 0 - -2. Are z and x non-equal?
False
Let q be (-95)/60 - 90/(-72). Let t be 157/(-63) + 4/(-18). Let f = t + 69/28. Which is greater: f or q?
f
Suppose 10*u - 5*u = -35. Let k be 6/u*(-14)/9. Let p = -14 + 16. Is p greater than or equal to k?
True
Let m(d) = 13*d - 2. Let l be m(1). Let i be (-5)/(-33) - (-2)/l. Let j = 0.6 - 2.6. Is i bigger than j?
True
Let x = -60 - -92. Let f = x + -31.9. Is f < 4/9?
True
Let w = -961136/17 + 56568. Which is bigger: w or 32?
32
Let l be (-21)/2*(-50)/11175. Is l > 0?
True
Let c be (-108)/162*(-177)/2. Is c at most 404/7?
False
Let d be (-6)/(-9) + 0 + (-46)/6. Suppose -65 = -4*r - 0*r - 5*k, -27 = -2*r + 3*k. Let m be 31/(-5) - (-3)/r. Which is bigger: d or m?
m
Let q = 1450.7 + -1451. Which is smaller: 437 or q?
q
Let w(r) = 10*r**2 - 2*r + 1. Suppose g - 4 + 3 = 0. Let i be w(g). Let h be i/2*(-20)/(-12). Is h equal to 9?
False
Let s(g) = 9*g + 1. Let o be s(-1). Let k(v) = -v - 10. Let q be k(3). Let f be 3 + q/2 - 3. Which is bigger: f or o?
f
Let j = -112.9 - -113. Let h = -0.7 - -2.7. Let x = h - 2.05. Is j > x?
True
Let n(o) = -o**2 - 2*o. Let q be n(-5). Let r be (30/9)/(2/q). Is -25 < r?
False
Suppose -4*a = 4, -3*w + 5*a + 42 = 289. Let p be (w/(-180))/((-4)/10). Which is smaller: -2/3 or p?
p
Let t(k) = k**3 + 5*k**2 + 4*k + 4. Let u be t(-4). Suppose -43 = 8*s + 5. Let m be (1/3 + -1)*s. Is m less than u?
False
Let w(d) = -d**3 + 6*d**2 + 8*d - 7. Let g(y) = 6*y - 1. Let z be g(3). Suppose 5 = -2*n - 5, -z = -o + 2*n. Let k be w(o). Is k > -2?
True
Let f = -4.86 + 5.66. Which is smaller: f or 16/3?
f
Let x = 27 + -27. Suppose -s - a + 6*a - 27 = x, 0 = 5*s + 2*a + 27. Are -7 and s nonequal?
False
Let t = 698.18 + -690. Let b = t + -8. Let o = 0.02 + b. Which is smaller: 0.01 or o?
0.01
Let v(y) = y**2 - 2*y - 43. Let i be v(0). Let s = 35 + i. Is -6 smaller than s?
False
Suppose 171*f = 172*f - 9. Are f and 0.039 unequal?
True
Let d = -191 - -213. Is d less than 17?
False
Let z(q) be the first derivative of q**3/3 + 4*q**2 + q - 2. Let c be z(-7). Suppose -20 = -5*g, -2*j + 2*g - 13 = 3. Which is bigger: c or j?
j
Suppose r = 5*i + 15, 0*i - i = 4*r + 3. Let q be (14 - (-434)/(-28)) + (-4)/(-10). Is q at least r?
False
Suppose 2*u + 88 = -5*a, 2*u + 32 = -2*a - 2*u. Which is smaller: a or -94/5?
-94/5
Let o be ((-54)/21)/((-3)/28). Let g be o/(-32) + (-42)/8. Is -7 <= g?
True
Let c be (1620/25)/(3 + (-28)/10). Is c equal to 325?
False
Let p(c) = -c**2 - 5*c - 2. Let v be p(-3). Let d be 39/6*(2 - v). Which is bigger: d or -11?
-11
Let s(l) = l - 15. Let u be s(0). Suppose 2 = n + 18. Which is smaller: n or u?
n
Suppose -2*o - 27 - 3 = 4*l, 4*o = -2*l - 24. Let f(r) = -14*r**2 - 1 + 25*r**2 - 11*r - 13*r**2 + 6. Let 