s - 37. Let d = -55 + 60. Let f(a) = a**3 - 6*a**2 + 6*a + 6. Let n be f(d). Let w be x(n). Are w and -16 equal?
False
Let i = -10987 - -10988. Is 41/137 bigger than i?
False
Let w be (17/((119/14)/17))/(36/(-21)). Is w at least -21?
True
Let w be ((-1143)/(-6) - 0)/(8 - 12). Is 3 at most w?
False
Let s(z) = -13*z - 170. Suppose 6 + 20 = -2*w. Let a be s(w). Let b = -95.41 + 95. Is a > b?
False
Let u = -53 + 55. Suppose -53 = u*r + 4*p - p, 0 = -3*r - p - 97. Is -100/3 less than r?
False
Suppose -2*r + 4*m + 122 = 0, -4*r + 4*m + 310 - 86 = 0. Suppose -3*b + 27 = -v, 3*v - 5*b + 26 + r = 0. Which is smaller: v or -23?
v
Let u = 969283/4245 + -8/4245. Is 227 smaller than u?
True
Let t(v) = -14*v**3 - 16*v**3 - 21*v - 29*v**2 - 31 + 32*v**3. Let l be t(15). Is -120 bigger than l?
True
Let k be ((-6)/(-4))/((-2)/3). Let n(z) = z**3 + 5*z**2 - 6*z + 6. Let t be n(-6). Suppose 30*d = 32*d + t. Is d <= k?
True
Let j = -91 + -252. Let c = j + 342.9. Is c at least -1/115?
False
Let m = -10/38799 + -7948/270235035. Which is smaller: 0 or m?
m
Suppose -20762 = 17*a - 7111. Let n = 803 + a. Which is greater: n or 3/343?
3/343
Suppose o + 2*x = -2*x - 66266, 0 = 5*o - 4*x + 331330. Let l = 21138836/319 + o. Let z = 1/29 - l. Which is bigger: -1/2 or z?
z
Let i be (6/(-48)*0)/(1 - 2). Which is smaller: i or -6/8113?
-6/8113
Let q be (-1 - (-27)/15)/((-376)/940). Let r be 14/(-35) - (-64)/(-165). Are q and r nonequal?
True
Let q be (-1325)/75 - (-6)/(-18). Is q > -66?
True
Let q(n) = n**3 + 24*n**2 - 26*n - 29. Let j be q(-25). Let k be (6/2067)/(j/(-6)*3). Are -1 and k equal?
False
Let t(s) be the second derivative of -s**5/20 + s**4/2 + s**3/2 + 9*s**2/2 + 12*s. Suppose 85*y - 86*y = -7. Let o be t(y). Is -19 at least o?
True
Let u = 63 - 47. Suppose -a - 12 = -3*n - 3, 5*n - 2*a - u = 0. Let v = -45 - -47. Is v greater than n?
False
Let n = -93306 - -17075054/183. Is n at most as big as -1?
False
Let j be 1526396/(-3162) + (-29)/31 + 1. Which is smaller: -483 or j?
-483
Let p = 17 - 46/3. Let g = -788 + 793. Suppose -8*x + 10*x + t - 2 = 0, 0 = -g*t. Is p <= x?
False
Suppose 4*w - 8 = -2*g + 12, w - 5 = -2*g. Is w greater than 134/21?
False
Suppose -7788 = 14*r - 3*r. Let c be (5/6)/((-20)/r). Suppose 0 = 2*s - 6*s + 4, 5*w - 4*s - 146 = 0. Which is smaller: w or c?
c
Let s = -324476485890371 + 124305643838763159443/383096. Let m = 1/47887 + s. Let w = m - 276. Are w and 0 non-equal?
True
Let v be ((-30)/(-80))/((-2)/236). Let q = v + 1017/20. Which is smaller: 1/4 or q?
1/4
Suppose -5*a + 2*b = 3*b + 112, -4*a = b + 89. Let o be ((-1 - 1)*2 - -9)/(-1). Let x(v) = 3*v - 7. Let d be x(o). Which is smaller: d or a?
a
Let t be 5 + (2242/354 - (-1)/(-3)). Which is bigger: t or 122?
122
Let w be -1*(12/(-4) - -5)*567/343. Is -3 smaller than w?
False
Let g be (23/(-3))/(5/(-15)). Suppose 2*j = 2*h - h - 88, 0 = 5*h + 3*j - 414. Let v be (-63)/h + 190/8. Is v at most as big as g?
True
Let r(s) = -2. Let q(j) = -j**2 - 9*j - 69. Let b(z) = -q(z) + 5*r(z). Let u be b(-6). Is u not equal to 41?
False
Let s(p) = -p**3 - 3*p**2 + 4*p - 1. Let u be s(-4). Let a(m) = -5*m**2 + 3*m - 5. Let w be a(12). Let f = -22741/33 - w. Which is smaller: u or f?
u
Let x(w) = -5*w**3 - 25*w**2 + 6*w + 12. Let n be x(-6). Is 149 smaller than n?
True
Let r(z) = 2*z**2 + 40*z + 178. Let c be r(-43). Is 2153 at most as big as c?
True
Suppose -17*w + 5890 = 2*w. Suppose 2*q - 56 = -4*r - w, -311 = 5*r - 4*q. Is -64 at most r?
True
Suppose -4*y + 38 = -j, -7*j + 9*j + 64 = 4*y. Is j at least as big as 11?
False
Let b be ((-15)/(-10))/((4/(-6))/(116/261)). Which is smaller: -71/51 or b?
-71/51
Let j be (6/(-9*2))/(1/(-21)). Let f = j + -11. Let a be (26/(-7))/(-2 - f). Is -1 greater than or equal to a?
True
Suppose 8*n - 25 = 2*q + 17*n, -4*n - 9 = 3*q. Is -17/12 at least q?
False
Let l(n) = -n**3 + 28*n**2 + 1. Let b = -138 - -166. Let p be l(b). Which is smaller: 8/51 or p?
8/51
Let j = -103 - -151. Let q = 503 - 454.9. Let i = j - q. Which is bigger: i or 29?
29
Let q(m) = -5*m - 15. Let s(z) = -z**2 - 6*z + 4. Let k be s(-7). Let f be q(k). Suppose -3*p - 5*h = 3, 5*p + 5*h + f + 5 = 0. Is 1 not equal to p?
True
Suppose -4 = s + 2*p - 0*p, 2*s = 3*p + 13. Let n = 30 - s. Suppose -12*d + 4*d + 725 = 17*d. Is n bigger than d?
False
Let h be (1*55/(-15))/((-3)/54). Suppose -5*x - 5*n = 350, 2*x + 64 = -4*n - h. Is x at least -76?
True
Let a = 0.04883 - 0.34883. Does -3/706 = a?
False
Suppose 0 = -6*p + 56 + 4. Suppose -12*x = -p - 14. Let w(r) = r - 4. Let f be w(5). Is x not equal to f?
True
Suppose -x + 117*s = 120*s + 57, -4*x - 4*s - 236 = 0. Which is smaller: x or 5/4?
x
Let t be 54/10 - (-2)/(-5). Let k be (2 - 4/(-8))*(-16)/(-10). Suppose 3*r = -u - 2*r + k, -r = -t*u - 110. Which is smaller: -22 or u?
-22
Suppose 3*m = -p - 130 + 52, -5*p - 364 = 2*m. Let v = p + 192. Is 120 not equal to v?
False
Let g = 1555 - 1559.3. Let b = -0.09 + 3.09. Let q = 2 - b. Which is smaller: g or q?
g
Let x = 459.3 - 455.3. Which is smaller: 7/66 or x?
7/66
Suppose -5*q + 4 = -4*q. Let h(c) = 4*c - 6557 - 5*c + 6549. Let i be h(q). Is -10 less than i?
False
Suppose 0 = 2*p + o - 362, -2*p - 4*o = -178 - 196. Suppose -8*t = -p - 13. Suppose 3*f + t = 11*f. Is 0 at least f?
False
Let w be (-234)/429 - ((-36)/(-693990))/(8/(-82690)). Which is smaller: 1 or w?
w
Let s(i) = -2*i**2 - 7*i + 5. Let z be s(-4). Let h = -146/5 - -6248/215. Is z at least h?
True
Let m be (17 - 11)*(-1)/(-2). Suppose -a - m = 3*o + 1, -12 = a + 5*o. Suppose 3*p - 75 = a*p. Which is bigger: p or -14?
-14
Suppose 3*f - 10 + 41 = 4*z, 3*f - 3*z + 24 = 0. Suppose 0 = 3*t - 5*t + 8. Let b be 9/15*t/6. Are b and f non-equal?
True
Let p = 7350 - 22048/3. Let l = -0.557 - -0.51. Which is smaller: l or p?
l
Suppose 110*y = -4030 - 7520. Let x be (-77)/(-132) - (-14)/y. Let o be 2 - (-1 + 2 - -1). Is x at least as big as o?
True
Let q = 7027 - 16492367/2347. Is q greater than 0?
True
Let s(u) = -u**3 - 14*u**2 - u - 13. Let d be s(-14). Let v be 102268/1100190 + 16/(-56). Let w = v - 2/2535. Is w at least d?
False
Let c = 46157 - 46404. Suppose 174 = -q - 73. Is q greater than or equal to c?
True
Let o(g) = -g**2 + 72*g + 4196. Let q be o(0). Which is smaller: 4198 or q?
q
Let r(h) = 2*h**3 - 17*h**2 + 78*h - 5. Let u be r(5). Suppose u*w - 2667 = 203*w. Which is greater: w or 380?
w
Let b = 0.8 - -0.2. Let t = 13.59786 - -0.40214. Which is bigger: b or t?
t
Let p be (-22)/(-77) - 3405/1113. Do -4 and p have different values?
True
Suppose -6*y + 11 = 17. Let t be -4 + (-5995)/(-858) - (y - -4). Which is smaller: t or 0?
t
Let s = 85 + -86. Let b be 1590/25*s*10/(-4). Is b <= 159?
True
Let z(y) = -y - 5. Let v be z(-5). Let p = -7794 - -7705. Is p greater than or equal to v?
False
Let g = 1456 - 406. Is 1051 less than g?
False
Let s = -0.0302 + 0.061. Let b = 0.1108 - s. Is 0.4 > b?
True
Let z be (-126)/63*3/18*3. Let x = -3421/60 + 170/3. Is x at most z?
False
Let j be ((-21)/14 + 1)*0. Let i be 8/(6*2/30). Suppose 2*b + j*b - 3*r + 11 = 0, -i = 4*b - 4*r. Which is smaller: b or 8?
b
Let b(x) = -x**2 + 7*x + 16. Let y be b(9). Let h be (4 - (-1 + 9))/(y/73). Suppose -w = 3*a + 47, 5*w + 2*a = -h - 50. Which is smaller: w or -39?
-39
Let z(y) = -3*y**2 + 7*y - 32. Let t be z(-6). Let w = t + 171. Let x be (24/(-40))/((-1)/(-17)). Is x bigger than w?
True
Let h be 70/((-15)/(-10)*6). Let s(b) = b**2 - 58*b + 65. Let g be s(57). Which is greater: h or g?
g
Let a be (2/3420)/((-17)/17102). Let n = -2/171 + a. Is 0 > n?
True
Let r = -2 + 6. Let z be (r/6 - -3)/((-1)/21). Is -79 smaller than z?
True
Suppose -12093 + 719 = -22*w. Let c = w + -407. Is c at most as big as -1?
False
Let w = -0.724 + 0.104. Let j = w + -0.38. Let c = -3 + 2.93. Is j at least c?
False
Let o = -11386.9591 - -11387. Which is smaller: -29 or o?
-29
Let x = -7369 + 7404. Which is bigger: 456/13 or x?
456/13
Let n be (-6)/((-6)/(-12) - 5/15). Is -37 >= n?
False
Let z(f) = 246*f - 1167. Let c be z(3). Which is bigger: -433 or c?
c
Let m(a) = -11*a**2 - a - 1. Let u be m(2). Let p be ((-6)/3 - 4) + 8. Suppose p*o - 1254 = -1350. Is o > u?
False
Let j = -96 - -100. Let q(l) = l**3 - 3*l**2 + 1. Let d be q(3). Let g be j/12 - ((-2)/6 + d). Is 1/5 equal to g?
False
Let