*s - 4. Let v be k(-4). Let x = v + -258. Which is bigger: x or -277?
-277
Let m be (-4)/((-4)/1) - (-3841)/368. Which is greater: 12 or m?
12
Suppose -10 + 16 = -6*q. Let h be (q/41)/((-4)/4). Is 2 > h?
True
Let q be (78/(-480))/(1*(-6)/148). Let n = q - 47/15. Suppose -2*f = -2*v - f + 5, 2*f = -2. Is n less than or equal to v?
True
Let w(v) be the first derivative of -v**5/24 + 2*v**4/3 + 8*v**3 + 31. Let o(n) be the third derivative of w(n). Let a be o(4). Which is smaller: 2 or a?
a
Let h(x) = -185*x - 3887. Let b be h(-21). Suppose 4*a - a = u + 2, 5*u = 4*a + 12. Suppose -g - 4*o - 4 = -5*g, 0 = u*g - 5*o - 5. Which is smaller: b or g?
b
Let q = -3179/120 - -394/15. Is -6 at most as big as q?
True
Let u be ((-6)/15)/(7/5). Let w = -216 - -232. Let m be w/12*((-66)/(-8))/11. Which is greater: u or m?
m
Let t be 4784 - (-7 + 80/5). Is 4776 greater than or equal to t?
True
Let b be (-1)/(21/(-6)) + 1040/(-112). Let y be 30/(-4815)*b/3. Which is greater: 1 or y?
1
Let b be -4*1 - ((-10)/60)/(7/664). Which is smaller: 11 or b?
11
Let y be 432 - 1/(2 - 1). Let o = 244 - y. Is o at least -188?
True
Let j(i) = -7*i + 14. Let q be j(-5). Let f be (-21)/q + ((-96)/21 - 0). Suppose 3*c + 0*l - 4 = 4*l, 0 = 2*c - l + 4. Which is smaller: c or f?
f
Let h(l) = -6*l + 28. Let s = -33 + 31. Let k be s - (-24)/10 - 216/40. Let q be h(k). Which is smaller: 59 or q?
q
Suppose 11*b = 155*b. Which is bigger: b or 8/4909?
8/4909
Let r(g) = g**2 - 37*g - 282. Let s be r(36). Which is smaller: -1/5 or s?
s
Suppose 17*i + 3085 - 773 = 0. Is -136 >= i?
True
Let h be 36/5*440/12. Suppose -186 = 3*z + 2*b - 5, 4*z - 3*b + h = 0. Let k = -59 - z. Which is smaller: k or 19/6?
19/6
Let r = -1 + 2. Let c(a) = -a**3 - 12*a**2 + 2*a - 4. Let k be c(-12). Let q be (-8)/k - (-216)/(-609). Which is greater: r or q?
r
Let q be 17545/5475 - (2 - (-1 + 0)). Let b = -1/219 + q. Which is smaller: -44 or b?
-44
Suppose -188*v = -61*v + 509270. Is -4011 >= v?
False
Let l be (120/688)/(488/(-80) + -3 + 9). Is l less than -1?
True
Let y = 338 + -261. Suppose -18*i = -1464 + 114. Are y and i non-equal?
True
Suppose u = 3*k + 683, -4*k - 928 = 2*u + u. Let h = 645713/2838 - -304/473. Let b = h + k. Which is smaller: 0 or b?
b
Let c = -594 + 871. Let u = 181257 + -181256. Are c and u equal?
False
Let j be -7 + 1720/220 - (1 - (-26)/(-22)). Which is greater: -1/2514 or j?
j
Suppose -2994*a - 12950 = -3019*a. Is -8 greater than or equal to a?
False
Let d be 4/((-4)/3) - -6. Suppose -3*t - 12 = -d*g, 3*t + 4 = g - 2*g. Which is greater: 13/4 or g?
13/4
Let v = 6408 + -25633/4. Is v greater than or equal to -59/11?
True
Let p = 985 - 695. Let u = 868/3 - p. Which is greater: -52/11 or u?
u
Let v = 6667768/44591 + -2542/17. Is v <= 1?
True
Let u = 3945 - 39459/10. Let j = 9 - -3. Suppose -j*l + 5 = -17*l. Are l and u unequal?
True
Let f = 173 + -316. Let s be (((-48)/(-4))/(-48))/(33/(-88)). Which is smaller: f or s?
f
Let q be (-1 + (-38)/(-34))*47046/27000. Let j = -1/1125 - q. Is j smaller than 1?
True
Let x = 201 + -211. Let w(b) = 21*b + 84. Let s be w(x). Which is greater: -127 or s?
s
Let o be (-8)/((-120)/4025) - (-5)/(-15). Let g be ((-205)/287)/(o/(-14)). Which is smaller: 0 or g?
0
Let i(d) = 8*d**2 + d + 8. Let b be i(4). Suppose -4*w - b = -8*w. Suppose 120 = 3*f - 5*p, -p + 4*p = -4*f + 131. Is f greater than w?
False
Let d(o) = o**3 + 12*o**2 + 19*o + 12. Let n be d(-10). Suppose 0 = i + 4*j + 16, -2*j - 2*j = -4*i - 124. Let c = i - -47. Is n < c?
False
Let r be (-5)/(-4) + (-3)/(180/75). Is r smaller than 8/433?
True
Let p = -15188 - -17302. Is 4227/2 at least p?
False
Let z = 3139 - 2577121/821. Which is bigger: z or 2.9?
2.9
Suppose -3*m + 2*u + 773 = 0, 3*m - 385 = -4*u + 400. Is 258 less than m?
True
Let j(f) = 3*f**3 - 47*f**2 + 71*f + 100. Let a(n) = 4*n**3 - 70*n**2 + 106*n + 151. Let k(c) = -5*a(c) + 7*j(c). Let v be k(-22). Is v smaller than 186?
False
Suppose 5*a = -3*l + 8*a, 0 = -2*l + a - 1. Which is bigger: 1/159 or l?
1/159
Let j = -57513 - -14665841/255. Let u = j - 2386/33405. Is u at least 0.1?
False
Let m(n) = n**3 - 4*n**2 - 2*n + 6. Let p be m(4). Let v(z) = -z**2 - 10*z + 40. Let r be v(3). Let u be r + p + 4 + -3. Which is bigger: -10/9 or u?
u
Suppose -8*b - 18 = -4*x - 6*b, -15 = -2*x - 5*b. Let q be (-17 - -17) + (-1)/x. Let d = 0.08 - -4.92. Is q bigger than d?
False
Let o be (-2 + 16/7)*14042/68. Is 61 less than o?
False
Let w be 8 - 13826*355/339700. Let i = w - -510/79. Is -1 at least as big as i?
False
Let j = 4616/13 + -20850550/58721. Is j equal to 0?
False
Let u = 18.63 + -17.43. Let h = 0.29 + -1.29. Which is smaller: u or h?
h
Let r be (31/(-93))/(16/22608). Is -471 > r?
False
Suppose -3*d + w = -7, -2*w = 3*d + 2*w - 2. Suppose 5*o - l + 530 = d*l, 5*o + 4*l = -530. Let j = -23 + 23.1. Is o >= j?
False
Let w be (-12)/(-18)*24/2. Suppose -3*s - 3*d = -39, 0 = -2*s - 5*d + 370 - 326. Are w and s equal?
False
Let i = -90 - -805/9. Let y = -37 + 39. Which is bigger: i or y?
y
Suppose 4*q - 424 = -0*q. Let r(a) = 2722*a + 106. Let c be r(0). Is q at most c?
True
Let a = 70 - 71.63. Let m = a - -0.43. Is -1 at least m?
True
Let g(b) = -326*b - 119. Let k be g(-4). Suppose 0 = -10*s - k + 1195. Which is smaller: -0.108 or s?
-0.108
Let x(i) = i**3 - 5*i**2 + 3*i + 1. Let c be x(4). Let u be 9/2 - (-6 - c)/6. Suppose -2*l - 12 = -3*a, u*a - 5 - 15 = -5*l. Which is greater: 21/4 or a?
21/4
Suppose 3*x - 68 + 10 = -2*t, x + 3*t = 31. Suppose x*j = 70 + 58. Is 9 greater than j?
True
Let a be 7 + ((-72855)/(-8070) - 16). Is 0 equal to a?
False
Let c = 3473 - 232687/67. Is c > -4.5?
True
Let m(j) = -2*j**2 + 715*j - 1434. Let b be m(2). Suppose 0 = 5*s - 2 - 3. Let y be 18/(-2) - (s + 0). Is b at least y?
False
Suppose -4*a - 44 = -2*y, 3*a + 42 = 5*y - 40. Let u = 11 + 0. Is y > u?
True
Let f be (-50)/(8 - 265/30). Which is smaller: -82 or f?
-82
Suppose p - 21 = 3*d, -10*d + 5*d - 2*p = 24. Let i(q) = q**3 + 6*q**2 - 2*q - 10. Let w be i(d). Is 10 less than w?
False
Let p(x) = -2*x**2 - 157*x - 664. Let b be p(-74). Which is bigger: b or 180/257?
b
Let c be ((-175)/(-1500))/(21/5). Which is bigger: c or 1?
1
Let r = 0.889 + -404.889. Let n = r + 255. Does n = 1/3?
False
Let o(b) = -11*b + 146. Let v = 537 + -526. Let d be o(v). Is -2 less than or equal to d?
True
Let k = 153 + -145. Let y(n) = n**3 - 2*n**2 + 4*n - 2. Let v be y(2). Let x be v/(-24) + (-37)/(-4). Is x bigger than k?
True
Suppose 0 = v - l - 30 + 216, 0 = 2*v + 3*l + 407. Is v >= -191?
False
Suppose 4*c = 12*c - 48. Let s be (-2)/c + (-72)/108. Let t be (-24)/(-22) - (-1 - -3). Which is bigger: t or s?
t
Let x be (-46)/368 + (-15870)/16. Which is smaller: x or -990?
x
Let u = -5/242 + 631/24684. Is u smaller than 2?
True
Suppose -4*r + 4*g - 68 = 0, -r - 5*g + 9 = 2. Let y(k) = -2*k - 19. Let d be y(r). Let m = d - 1. Are 6 and m unequal?
False
Let a = -238891 - -28427764/119. Let k = a - 1/17. Suppose -2426*f + 2436*f = -30. Is k >= f?
True
Suppose 90*h + 584 = -73*h + 17*h. Do -1 and h have different values?
True
Let l = -439.766 + 0.766. Let n = 468 + l. Is n smaller than 6/7?
False
Let y be 5/(-20) + 1434/8. Suppose 37*j + 4*h = 32*j + 898, -4*j + 2*h + 708 = 0. Is j greater than y?
False
Let f = 0.25 + 4.55. Let a = 194 + -198.22. Let q = f + a. Is q greater than or equal to -0.1?
True
Let g be ((-684)/(-14))/(((-20)/35)/(-4)). Let z = g - 2059/6. Let h be (-1)/2 + 2/4. Is h smaller than z?
False
Let q(m) = 3*m + 14. Suppose -5*i = -i - l - 20, 0 = 5*i + 5*l - 25. Let y(j) = 4*j + 21. Let v(u) = i*y(u) - 7*q(u). Let b be v(6). Which is smaller: -31 or b?
-31
Suppose -95*d + 94*d = 399. Which is bigger: d or -400?
d
Let u = 0.4735 - 0.3735. Which is smaller: u or -15143?
-15143
Let y be -4*(((-20)/(-12))/5 - (-642)/(-9)). Is y != 281?
True
Suppose 0 = -5*q + h - 0*h + 68, -4*q = 4*h - 64. Suppose 7*d - 11*d = 2*j - q, 0 = j - 3*d + 13. Let x = -2/71 - -204/2201. Which is bigger: j or x?
x
Let a = 12 + -8. Suppose 0 = a*f - 7*f - 2*h + 48, -5*f + 58 = -4*h. Let y(g) = 16*g - 81. Let s be y(6). Which is bigger: f or s?
s
Suppose 4*b + 68 = 4*s, 5*s - b = -2*b + 61. Let p(z) = z**2 + 2*z + 14. Let r be p(-2). Is r <= s?
False
Let f be 1/3 + 84/18. Suppose -f*v + 12 = 37. Let 