e of -u**5/20 - u**4 - 2*u**3 + 8*u**2 - 47*u. Let k be m(-11). Are k and c equal?
False
Let x be (-1033)/(-8) + 7/(-56). Let w = x + -155. Which is smaller: w or -27?
-27
Let r be ((-12)/8)/((-2)/(-4)). Let h be 9/(-12) - (r + 189/(-12)). Suppose 18 = 15*c - h*c. Is c >= -19/3?
True
Let d be 4/(-22) + (4683246/(-231))/(-2). Let k = 10156 - d. Is k >= 19?
True
Let o be (1*(1 - 195))/(7 - 5). Let v = 81 - o. Let n be -3*(-6)/(-72) + v/72. Which is greater: n or 3?
3
Let s be (5572/35)/((8/(-20))/1). Let c = s + 399. Is c bigger than -1/633?
True
Let y = -19764 + 19765. Which is smaller: -110/21 or y?
-110/21
Let c(q) = 2*q**2 + 107*q - 1135. Let n be c(9). Which is greater: n or 530?
530
Let p(o) = -4*o**3 + 14*o**2 - 7*o + 3. Let v be p(3). Is -3/2306 at most v?
True
Let k(i) = i**3 - 40*i**2 - 99*i + 1. Let r be k(43). Which is bigger: 1289 or r?
r
Suppose 2*t - 19 = -81. Suppose -j = -2*m - 87, -84 = 2*m + 7*j - 9*j. Let f be (m/10 + 4)/((-2)/(-124)). Is f less than or equal to t?
True
Suppose -14*n - 2448 = -17*n. Suppose -11*h = -3*h - n. Let s be 4/(2/h*6). Is 36 smaller than s?
False
Let m = -2734 + 2734.07. Let a = 0.4 - 0.4. Which is greater: m or a?
m
Suppose -13*g + 174 = -42*g. Let l be g*6*3/72*-6. Is l equal to -6?
False
Let x(s) be the second derivative of 2/3*s**3 + 0 - 1/12*s**4 - 5/2*s**2 - 2*s. Let k be x(2). Is 1/30 >= k?
True
Let s = -3672 + 3436. Which is smaller: s or 2/9?
s
Let u(c) = c**2 - 4*c - 5. Let t be u(5). Suppose 17*m + 41 - 24 = t. Is -1/150 at least m?
True
Let z be (-12)/36*(-2)/(4/6). Which is greater: z or -7/856?
z
Let k be 1*-1 - (9 + -5 - 5092/1197). Is k smaller than -1?
False
Let r = 34.94 + -117.6. Let u = r - 7.34. Is 2 < u?
False
Let y(a) = 50*a**2 - 12*a - 38*a**2 - 12*a**3 + 13*a**3 + 14. Let h be y(-13). Let k = 73/260 - 2/65. Do k and h have different values?
True
Suppose -2*h = -5*m + 1453 + 428, -1937 = 2*h + 3*m. Is -954 bigger than h?
True
Let k be -15 + (0 + 4 - 9) + 0. Let o be 4/k - 307/(-1485). Is o at least as big as 1?
False
Suppose f + 224 = 5*g + 2*f, -76 = -2*g + 3*f. Let c(u) = u**3 - 2*u**2 - 4*u - 12. Let m be c(5). Is m greater than or equal to g?
False
Let y = -4 - -2. Let q be -2 - -83*(y + 1). Let r be 87376/(-7112)*4/(8/14). Is q < r?
False
Let n(t) = -t**3 - 9*t**2 - 17*t - 13. Let x be 3 + 10*(1 - 2). Let a be n(x). Suppose -a = l - 5*l. Which is smaller: l or 10/17?
10/17
Let o be (-16)/544*-17 - -1. Is o != 4/11?
True
Suppose 51*c - 2853 = 3420. Which is bigger: 115 or c?
c
Let a(t) = -t**2 - 62*t - 670. Let r be a(-13). Is -56 <= r?
True
Suppose 13393 + 25037 = 70*n. Which is greater: n or 550?
550
Let h = 17 - -39. Suppose 13*g = 49*g + 6228. Let w = 173 + g. Which is greater: h or w?
h
Suppose 0 = -86*b + 178*b - 130548. Which is smaller: b or 1418?
1418
Let p = -6975 + 6973. Are p and -569 equal?
False
Let j = -5315 - -4854. Is j greater than -466?
True
Let m(y) = -2*y + 2. Let j(o) = 12*o - 29. Let u(b) = j(b) + 5*m(b). Let w be u(9). Is -4/41 less than or equal to w?
False
Let n(f) = f**3 - 9*f**2 + 8*f - 4. Let y be n(8). Let k be y/(-8)*-2*-1. Let s be (-1)/((-3)/(-5)*k). Is s != -1?
True
Let l = -15959 - -15868. Are l and -25 equal?
False
Let s be ((-8)/(-70))/((-7)/(-2905)). Let j = -334/7 + s. Which is greater: -0.291 or j?
j
Let h be 1385500/4388160 + (-1)/3. Let q = 6/653 - h. Does q = 0?
False
Let j(y) = -78*y + 81. Let g be j(-3). Suppose 7*b + g + 126 = 0. Is -63 at least as big as b?
True
Let x = -0.07 + 126.07. Let r = x + -126. Which is smaller: r or 1?
r
Suppose 9*d - 49 = -22. Let o(z) = -11*z + 20. Let b(q) = q - 1. Let h(i) = 6*b(i) + o(i). Let r be h(d). Which is greater: 3/109 or r?
3/109
Let y = 8.7 - 12.9. Let g = -19.3 + 15. Let d = y - g. Which is greater: d or -0.3?
d
Suppose -2*d - 77 = -l, -l - 16 + 84 = -5*d. Is l != 24?
True
Let q(k) = -k + 1. Let g(r) = r + 32. Let b(v) = -g(v) - 4*q(v). Let z(w) = -w**2 - 19*w - 36. Let o be z(-16). Let u be b(o). Which is bigger: u or -3/5?
u
Suppose 18*k + 13*k - 1674 = 0. Suppose 631*c - 630*c = -k. Does -57 = c?
False
Let w = 15.57 - -0.43. Let g = w - 18.9. Let l = g - -2.9. Does l = -16/3?
False
Let c be (-36 - 1258/748) + 37. Let v = 2 + -3. Are c and v equal?
False
Let l = -0.053546 - 501.022454. Let z = 501 + l. Which is smaller: z or 0?
z
Suppose 24*q - q = 161. Suppose -3*g = 18*n - 14*n - q, -2*n - 3*g = -5. Which is bigger: n or 14/37?
n
Let g = 18.61 + -17.6. Which is smaller: 3 or g?
g
Let m(l) = l - 6*l + 23 - 12*l - l**2. Let w be m(-16). Let n = -43 + w. Which is bigger: n or 0.16?
0.16
Suppose b - y = -3*y + 8, -2*y = 5*b - 8. Let g be (2 + b)*(7 + 133/(-14)). Let l be g + (-2)/306*-767. Which is bigger: l or 1?
1
Let f = 360 + -348. Suppose 3*p + 0 = -f, -5*b - 237 = -2*p. Which is smaller: b or 6?
b
Let r = 67.031 + -67. Let j = 52.969 + r. Let p = -52.9 + j. Which is smaller: 1.5 or p?
p
Let g = 4.889 - -0.111. Let z be (-10)/4*1623/30. Let d = -136 - z. Is g bigger than d?
True
Suppose -3*w - 3*g = -21, 5*g - 1243 + 1215 = 2*w. Let z = 704 - 13354/19. Which is smaller: z or w?
w
Let g be (-596)/10 - (15 + -13). Suppose -42*d - 52*d - 1665 - 4257 = 0. Is g greater than d?
True
Let b be -3 - (-5)/((-20)/(-52)). Suppose -b = -5*x, m = 17*x - 12*x - 8. Let v = 346/305 - -4/61. Which is smaller: v or m?
v
Let j be ((-2)/1*2 - -1625)/(-5). Which is greater: -324 or j?
-324
Let d be 4/140*(30 + 2). Let q be -5 - (-4 - 11/5). Let p = q - d. Is -0.05 less than p?
True
Suppose 5*v - 7*a + 78 = -9*a, v + 15 = -a. Let s be (v/(-4))/(-16)*-7. Is s at most 16?
True
Let y(l) = 8*l + 178 - 337 + 174. Let d be y(-2). Is -4/23 < d?
False
Suppose -3*g + 2*h + 40029 = 0, -92*h + 88*h = 5*g - 66737. Which is smaller: 13344 or g?
13344
Let b = -0.207 - -0.807. Which is bigger: b or 7/6?
7/6
Let g(h) = 14*h**2 + 11*h + 25. Let c be g(-5). Let n = c + -321. Let w = -1489/13130 + -1/505. Is w less than n?
False
Let y = 58 + -50. Suppose y*m - 620 - 372 = 0. Which is smaller: m or 125?
m
Let b be (8/(48/1629))/(((-189)/28)/(-9)). Is b at most as big as 366?
True
Let r = -23965 - -6782105/283. Is r at most as big as 2/13?
True
Suppose -36*g + 1440 = -0*g. Suppose n - 46 = -4*p, -g = 9*n - 10*n - p. Which is bigger: n or 43?
43
Let j = -258 + 233.3. Let i = j - -23.7. Which is greater: i or -0.041?
-0.041
Suppose 80*t + 368706 + 111454 = 0. Which is smaller: -6005 or t?
-6005
Let p = -1072 - -640. Let d be 4/10 - p/120. Let t be (-3)/d*88/495. Is t <= 7?
True
Suppose -2*t + b = 5*b - 226, 5*b + 141 = t. Suppose 2*j + 33 = -t. Let s = j - -83. Is 9 <= s?
False
Let y = -17685 + 17685.0026. Is y equal to -6?
False
Suppose -5*h - 19*h + 456 = 0. Let n(o) be the second derivative of 19*o**3/6 - o**2/2 - 5*o. Let f be n(1). Is h <= f?
False
Let z be (-26)/(-30) - 1 - (-9966)/495. Which is smaller: 40 or z?
z
Let y be -4 - (-1 + (-5 + 1241)*(-9)/(-18)). Which is greater: y or -620?
-620
Suppose 4*n + 10 = -m + 18, -2*m = 5*n - 10. Which is greater: m or -117/79?
m
Suppose f = 3*o - 134, 3*f + o = 2*o - 362. Let d = 773 - 890. Which is smaller: d or f?
f
Suppose -50*s - 303 = 3*o - 55*s, 3*s - 9 = 0. Which is greater: -106 or o?
o
Let d be (147/(-4))/(1/12). Suppose -2*y - 908 = 4*q, -549*y + 553*y + 1732 = 4*q. Is y at least as big as d?
True
Suppose -7*t + 4*h - 8674 = -9*t, 5*t - 21739 = -h. Which is smaller: 4352 or t?
t
Let s(f) = 3*f - 33. Let p be s(14). Suppose 3*n = -4*l + 3 - 11, 3*l + 6 = 0. Suppose -2*o = -n*o - 20. Are o and p equal?
False
Let v = 33.4 + -50.4. Let a = -17.1 - v. Let o = -63 + 112. Which is smaller: o or a?
a
Let b = -0.122 - -0.022. Let o = 64.1983 + -0.1983. Which is bigger: b or o?
o
Suppose 3*r + 1 = -2, 3*r = -2*j - 5. Let k be 4 - j/((-4)/(-8)). Suppose -5*y - n = -102, -k*y + 2*n + 56 = -3*y. Is y at most 18?
False
Let t = 217 - 225. Let f be (t/(-32))/(2/8). Which is bigger: f or 2/491?
f
Let k(c) = -c**3 - 6*c**2 + 6*c - 6. Let r = -1 + -5. Let z be r + -2 + (-4)/(-4). Let l be k(z). Which is smaller: l or -2/7?
-2/7
Suppose -6*t = -35*t + 1653. Suppose 59*k + 290 = t*k. Which is smaller: k or -146?
-146
Let i(q) = 25*q - 17. Let u be i(5). Suppose -4*v = -p - u, 3*v - 5*v = -5*p - 36. Let d = v - 37. Which is smaller: -4 or d?
d
Suppose 0 = 12*a - 13*a - 1, -4*a - 68 = 