24). Is -162 less than or equal to a?
True
Let q(o) be the second derivative of o**5/20 - 5*o**4/6 + 2*o**3 - 11*o**2 + 10*o - 2. Let i be q(9). Is 3 <= i?
True
Let w = -2 + 7. Let n(t) = 18 + 5*t**2 + 2*t - t - t**3 - 21. Let a be n(w). Is a at least 1?
True
Let o(l) = -l. Suppose -5*x = -2*b + 19 - 2, 2*x = 4*b - 10. Suppose b = 2*n + 5. Let f be o(n). Which is smaller: 11 or f?
f
Let w be 6/30*1 + 13 + -5. Is w not equal to 8?
True
Let i(v) = -v**3 + 52*v**2 - 101*v - 44. Let f be i(50). Which is greater: -95 or f?
f
Let l(y) = 2*y**2 - 3*y + 5. Let c be l(1). Let i be ((-7)/6)/(2/(-6)). Which is smaller: c or i?
i
Suppose -2*z - m = -1, 3*z + m + m = -1. Suppose 8*w - z*w - 45 = 0. Suppose 0 = 5*j - 39 + w. Is j less than 6?
False
Let b = 16 + -16. Let u be (b/4 + -3)/(-1). Let i(o) = o**2 - o - 6. Let c be i(u). Which is smaller: 2 or c?
c
Suppose 4*z + 4*o + 836 = -z, z + 5*o + 184 = 0. Which is smaller: -163 or z?
z
Let q be (0 + 1)/(1/5). Suppose 0 = h - 2*o - 10, -q*h - o = -2*o - 23. Suppose 5*v - 3*i + 5 = 0, -h*v - 6 = 5*i - 2. Does v = -2/21?
False
Let q be 10*(-5)/(-50)*-8. Let a(v) = v**2 + 7*v - 4. Let s be a(q). Which is bigger: s or 1?
s
Let f = 541.6 + -541. Is 0 less than f?
True
Let g = -1.35 + 0.15. Let c = 14.2 - 14. Let s = c + g. Which is greater: -5/6 or s?
-5/6
Suppose -2*w + 4*l = -l + 35, l + 10 = -3*w. Let y be -14 - (w - 0)/5. Is y > -12?
False
Let y be 20770/93*(-3)/(-2). Which is smaller: y or 336?
y
Let w be 10/(-40)*-2*4/446. Does w = 1?
False
Let c(d) = -d**3 - 8*d**2 + 31*d - 21. Let o be c(-11). Is o > 21/46?
True
Let i = -1671/1562452 + -1/2339. Which is greater: i or 0?
0
Let z(g) = -g + 3. Let m be z(-7). Let j be m*(0 + (-2)/5). Let u be ((-6)/12)/(1/j). Is u > 0?
True
Let t be (-27)/1*44/(-12). Let a = t + -892/9. Which is smaller: -1 or a?
-1
Suppose 2*k = -k - 24. Let r be (-16)/(-6) - k/(-12). Which is bigger: r or 4?
4
Let s be 382/28*(-12)/(-58). Let k = s + -20/7. Let o = 1953 + -1954. Which is greater: k or o?
k
Let f = -3.7 + 4. Let p be 3/5 + 8/(-20). Which is bigger: f or p?
f
Let k be ((-100)/(-2) - 3)*(-21 + 10). Which is greater: k or -518?
k
Suppose 0 = -2*t - 6, 5*g + 2*t + 217 = -94. Let h = 3171/52 + g. Which is greater: h or -1?
h
Let i be (-81)/54*4*12/22. Which is bigger: i or 0?
0
Let a = 67.2 - -313.8. Which is smaller: a or -1/2?
-1/2
Let a(r) = -3*r + 28. Let w be a(16). Is -58/3 at most as big as w?
False
Let h = -545 - -549. Which is greater: -20 or h?
h
Suppose 4*i - 5*v = 2*i + 5, 21 = 4*i + v. Suppose 5*l - 2*l + 5*y + 31 = 0, 0 = l + i*y + 27. Which is bigger: -1 or l?
-1
Let z be (0 - 3/(-5))*45/(-4). Which is smaller: z or -1?
z
Let m(p) = p**2 - 8*p - 5. Let g be m(9). Suppose -191 = g*f + 13. Let y be ((-2)/f)/((-8)/12). Are -1 and y nonequal?
True
Suppose -8*q + 287 = -209. Are q and 61 nonequal?
True
Let y(a) = -19*a + 1. Let i be y(2). Let m = i - -109/3. Let c = -0.5 - -0.49. Which is greater: m or c?
c
Suppose b - 2*b + 2 = 0. Suppose 0 = -o - 6*o + b*o. Which is greater: -1/2 or o?
o
Let q = 1006 + -1006. Is q at least 10.9?
False
Let t = 4.3 + -3.9. Which is bigger: t or -8?
t
Let d be (123/5 + -1)/(16 + -10). Is 4 at least d?
True
Let q = -2 + 1.9. Let p = -14.86 + -0.14. Is q greater than or equal to p?
True
Let d(k) = k**2 - 5*k - 5. Let a be d(6). Suppose 2*j - 13 = -a. Let i = -5 + 11. Is i > j?
False
Let m be 408/42*(21 + 0). Is m at least as big as 202?
True
Suppose -3*m = m + 4. Let r be 3/(-24) - m/2. Are r and 2 non-equal?
True
Let v be 7 - (11 - 101/26). Let d = 2 + -1. Is d >= v?
True
Suppose -1827 = 136*k - 115*k. Which is smaller: k or -86?
k
Suppose 51*h = -8735 - 904. Is -188 at least as big as h?
True
Let w be 39/65*((-2076)/(-693) - 3). Which is bigger: -1 or w?
w
Suppose -2*g - 4 = -6*g. Let v = -1/559 - -7274/3913. Is g smaller than v?
True
Let f = 6 - 6.4. Let g = f + 1.4. Let x = 0.038 + -0.008. Which is smaller: x or g?
x
Suppose 0 = 2*r - 3*x + 2071, -2*x = 3*x + 15. Is -1039 greater than r?
True
Let o be 2/4 + 8/(-160)*-5. Let i(j) = j**3 + 5*j**2 - j - 5. Let d be i(-5). Suppose 4*y - 3*y + 4*q = 14, d = 3*q - 9. Which is bigger: o or y?
y
Let y be 68/869 - 49/539. Which is smaller: y or -1?
-1
Let d = -188 + 215. Which is smaller: 3 or d?
3
Let g be 0 + -3 + 276/(-76). Let d = g + 958/133. Is d < 0?
False
Suppose 0 = 3*m + 3*v - 3, 5*v - 5 = 0. Which is smaller: m or -5?
-5
Let u be -2*(-3)/60*4. Let k = -1 - -1. Suppose 7*j = -k*j. Which is smaller: j or u?
j
Suppose 7*a - 75 = 2*a. Suppose -3*t = 2*t - a. Suppose 0 = -p + 3*p - 5*y + 12, t*y - 32 = -5*p. Which is bigger: p or 5?
5
Let q = -155 + 130. Let g be -40*((-135)/q + -5). Is -77/5 smaller than g?
False
Suppose -u = -2*i - 12, i + 5 = u - 1. Let j = -2 - i. Let q be (6/4)/(-3)*-2. Is q at most as big as j?
True
Let w = -4.9 - -5. Let g = -0.9 - w. Let c be ((-3)/(-5))/(24/(-16)). Is g less than c?
True
Suppose 4 = 2*c + 24. Is -12 greater than or equal to c?
False
Suppose 6*r = 12*r - 288. Let o be 4/r*4*11 + -2. Which is greater: 1 or o?
o
Let w be ((-1)/(-12))/((-36)/(-32)). Let p(v) = -2*v + 2. Let f be p(2). Let a be 1/(-2) - (-1)/f. Is w > a?
True
Let d be (-4)/6 - (-38)/(-6). Let b(l) = 7*l**3 - 2*l**2 - l. Suppose 4*y + 1 = -3. Let s be b(y). Do d and s have different values?
True
Let q be (28/(-32))/(2 + 6/(-8)). Which is greater: q or 3?
3
Let x(i) = -17*i**3 - 1. Let n be x(1). Suppose -47 = 11*r - 14. Let f be ((-17)/r)/(4/(-12)). Which is smaller: f or n?
n
Let n = 864.7 - 865. Which is smaller: 16/3 or n?
n
Let p(r) = 0*r**2 + 2*r**2 - r**2 + 52 - 18*r + 0*r. Let h be p(15). Is 1 smaller than h?
True
Suppose 5*j + 7 = 17. Suppose 0 = 2*i + 4*x - 2, j = -2*x + 3*x. Which is smaller: i or -24/7?
-24/7
Suppose 2*o = -o. Let x be 1/15*3 - o. Which is bigger: 3 or x?
3
Suppose -5*m + 5*l = 20, -m = 4*m + l - 4. Are m and -2/3417 unequal?
True
Let t be ((-2)/6)/((-2)/(-2)). Let l = -0.05975 + 23.05975. Which is smaller: l or t?
t
Let k be (-4)/(-21) + (-5)/15. Let q = 3083/3 - 1057. Let p = q - -262/9. Is p >= k?
False
Let z = -2028 - -511055/252. Is 1 >= z?
True
Let o(n) = n**3 + 4*n**2 - 6*n - 5. Let y be o(-5). Suppose 5*d + 10 = -20. Is y != d?
True
Let b(v) = -v**2. Let r be b(1). Let k(z) = 4*z + 45. Let h be k(-11). Let m be (h/3*2)/((-2)/6). Which is smaller: m or r?
m
Suppose -38*w = -48*w + 1110. Is 6 greater than or equal to w?
False
Let f(i) be the second derivative of -i**4/24 - 5*i**3/6 - i**2 + i. Let w(n) be the first derivative of f(n). Let l be w(-6). Which is smaller: -1/13 or l?
-1/13
Suppose -4*z - 2 + 8 = g, -4*g + 52 = 2*z. Let p = -25 + g. Let t = p + 12. Is 1/29 not equal to t?
True
Let f = -15 + -25. Is f smaller than -41?
False
Let p(o) = 8*o + 97. Let f be p(-12). Is 12/7 <= f?
False
Suppose 4*m - 656 = -4*j, j + 2*m + 152 = 2*j. Which is bigger: j or 161?
161
Let u = -222 + 222.2. Is 23 > u?
True
Let o = -94 + 9. Is o bigger than -1/2?
False
Let a = 1732 + -1700. Let n be 31/2*4/2. Is a != n?
True
Let l be (-87)/(-145) - 26/60. Let f be (2/(-2*1))/1. Let c = f + 1. Is c < l?
True
Suppose -165*d - 272 = -173*d. Which is smaller: d or -8?
-8
Suppose -13*i - 44 = -9*i. Which is greater: i or -23/2?
i
Suppose 3*w = 4*m + 2*w - 12, 0 = -5*w - 20. Let b be ((-8)/(-6))/(4/(-18)). Let n be (0 + b)*m/(-12). Which is greater: 1/4 or n?
n
Let p be (1 - -1) + (-4)/(-4). Let j(n) = -n**3 - 13*n**2 - 32*n - 21. Let o be j(-10). Are p and o unequal?
True
Let t(z) = -z**3 + 16*z**2 - 14*z - 15. Let h = 116 - 101. Let p be t(h). Is p greater than -2/45?
True
Let q = -610/11 + 56. Suppose 2*m - 1 = u + 5, -5*u - 6 = -4*m. Which is greater: q or u?
u
Let k = -5 - 1. Let u be ((-225)/48)/(54/72). Is k bigger than u?
True
Let y = 911 + -911.2. Which is greater: y or -24.9?
y
Let s be (-2 - 1 - -2)*4/(-358). Let n = s + -372/1253. Is n bigger than 6?
False
Let y = 53419/18370 - 48/1837. Let q = 9/110 - y. Which is greater: q or -2?
-2
Let m be -2*4/(-132)*3*1. Are m and 73 equal?
False
Let i = 53 + -64. Let r(n) = 2*n + 19. Let y be r(i). Is y at most 1/7?
True
Let a(g) = -4*g + 12. Let b be a(4). Suppose 0 = -4*l + 4*c - 56, -3*c + 8 = l + 30. Let v = l - -12. Is b greater than or equal to v?
True
Let t be (-40)/(-60)*33/(-2). Let b be 1 - -2 - (0 + t). Is