ast as big as s?
False
Let z(k) = -490 - 7*k + 448 + 2*k**2 - k**2. Let y be z(11). Is -0.18 > y?
False
Let i = 553961/104 + -5326. Is 1 less than or equal to i?
False
Suppose -7*o = -2*o + 65. Let r(t) = -t**3 + 4*t**2 + 3*t - 2. Let x(w) = 2*w**2 + 6*w + 5. Let k be x(-3). Let j be r(k). Which is greater: o or j?
j
Suppose -36*f = 34 - 142. Suppose 4*p + 60 = f*t, 6*t - 56 = 5*p + 7*t. Is p > 0?
False
Let a = 0.4 + 0.6. Let q(l) = l**3 + 17*l**2 + 39*l - 43. Let k be q(-14). Which is smaller: a or k?
k
Let a = 1375351/1740 + -3952/5. Let p = -2699/2 - -704437/522. Let k = p + a. Is 0 < k?
True
Let x = 65 + 114. Let k be (24/28)/((-836)/174629). Let p = x + k. Is p > 1?
False
Suppose 18 + 472 = -45*r + 94*r. Suppose 4*h = 2*t + 8 + 12, 4*h - 26 = 5*t. Let b be (-6)/r - 204/60 - t. Does 11 = b?
False
Suppose 0 = -2*i - 5*t + 6, t - 6*t = 10. Let p be 5/2*(-20 - 694/(-35)). Which is greater: i or p?
i
Let d(h) be the first derivative of -7*h**5/60 + 5*h**4/8 - 4*h**3 - 15. Let o(l) be the third derivative of d(l). Let s be o(3). Does s = -28?
False
Suppose -6*q - 29 = 7. Let k = -154 + 149. Which is smaller: q or k?
q
Let a(y) = 38*y**3 + 2*y**2 + 54*y - 206. Let v be a(4). Which is bigger: v or 2471?
v
Let s(r) = 6*r**2 - 11*r - 3. Let f be -6 + (-112)/(-18) - 64/(-36). Let q be s(f). Is 3/142 at least q?
True
Let c(g) be the first derivative of -g**4/4 - 29*g**3/3 - 39*g**2 - 5*g + 34. Let q be c(-26). Is q > -54/13?
False
Let s be -103 + 19 + -1 + -2. Is s equal to -17?
False
Let u be ((-11290)/9032)/(10/16). Let h be 0 - 1 - (0 + 10). Is h at least as big as u?
False
Suppose -50 = 3*x + 1. Let m(a) = 25*a - 53. Let j be m(2). Let c be 12/48 - (j - (-4)/16). Which is bigger: x or c?
c
Suppose 4*f - 4*y - 124 = 0, y - 99 = -4*f - 0*f. Suppose -b = 9 - f. Let l(q) = q**2 - 18*q + 13. Let u be l(b). Are -9/2 and u non-equal?
True
Let s = -381.3 + 381.2. Are 243.9 and s nonequal?
True
Suppose -126*d - 7 + 49 = -84*d. Which is bigger: 10/8971 or d?
d
Let s = -86 - -132. Suppose -3*w + 43 - s = 0. Is w <= -7/8?
True
Suppose 3*r = -4*w, 10*w + 68*r - 67*r = 0. Let p = 4 - 5. Let z be p/3 - 14/(-45). Which is bigger: w or z?
w
Let s(w) = -38*w**3 - 31*w**3 + 67 - 19*w**2 - 7*w + 68*w**3 + 30*w. Let d be s(-20). Which is smaller: 1 or d?
1
Suppose -333 = -61*p + 216. Let f be (11 - -1)*1/2. Is f > p?
False
Let w = -434 - -445. Suppose 3*k + w = 5*a, 0 = 5*k - 2*a + 29 + 2. Which is smaller: k or -6?
k
Let z = 3230 + -3232. Let u = -73621/27 + 2726. Is u bigger than z?
True
Suppose -70*l - 402 = 47*l + 300. Let p = -1 + -3. Which is smaller: l or p?
l
Let f be -2*(-96972)/2520 - (-3 + 0). Let w = f + -80. Which is bigger: w or 1?
1
Let d(v) be the first derivative of -v**2/2 + 4*v + 43. Let w be d(1). Let c be (138/(-48) + w)/((-22)/(-24)). Are 0 and c non-equal?
True
Let r = 234 + -103. Let c be 7/35*(0 - -10). Let l be (c - (1 + 11))/(14/(-182)). Is l greater than r?
False
Let v(j) = -11*j - 21 - 26 + 1. Let x be v(-4). Is x at most as big as -3?
False
Suppose -3*a + 3*z + 27 = 0, -11 = a + 4*z - 0. Let g be (4 + -9)/a + 265. Is g <= 263?
False
Let g(o) = 20*o**2 + o - 4. Let u be g(-2). Let r be -1 + -4 + 68*(-7)/28. Let p = r + u. Are p and 53 non-equal?
True
Let k(q) = -q**3 - 11*q**2 - 25*q - 7. Let a(c) = c**3 - 40*c**2 + 111*c - 8. Let v be a(37). Let s be k(v). Is -1/63 bigger than s?
False
Let c = -368267/9352 + 4/1169. Suppose -4*i + 77 = -3*n, 244*i = 3*n + 242*i + 97. Which is bigger: n or c?
n
Let k be ((-17592)/1860354)/(28/(-18)). Let h(i) = i - 3. Let z be (-1 - (0 - 4)) + 1. Let q be h(z). Is q at least as big as k?
True
Let n be (12/9 + (-12)/((-16848)/(-1885)))/1. Suppose -3*p + 0*p = -3*j + 6, 0 = j + 4*p + 3. Which is smaller: n or j?
n
Let m = -0.5 + 1.5. Let b = 131 - 171. Is b greater than m?
False
Let v = -7063/20 - -120431/340. Let r = 1 + -1. Which is smaller: r or v?
r
Let a = 1528726498/1235073 + -9/58813. Let q = -1237 + a. Is q != 0?
True
Suppose 257*c + 1 - 3 + 2 = 0. Are c and -25/23 non-equal?
True
Let k = 9.976 + 98.024. Is -24 greater than or equal to k?
False
Let p be -8 + ((-252)/(-135) - (-2)/15) + -15060. Which is smaller: p or -15067?
-15067
Let w be (-337)/(-20) + (19 - (-1 - -9)). Are 27 and w equal?
False
Suppose -7*j = -142 - 124. Let d be ((-112)/18 - -4) + 2. Is d < j?
True
Suppose 4*j + 6 = 2*f, j - 20*f + 23*f - 16 = 0. Which is bigger: j or -12/523?
j
Let a = 55406 - 942179/17. Which is smaller: -17 or a?
-17
Let m = 709/172 + -16/43. Let c = -1724 + 1729. Is m < c?
True
Let z = 15241/3 + -5081. Which is smaller: 0.214 or z?
z
Suppose -3*c - 173 = v, -v + 39 + 16 = -c. Which is smaller: -0.44 or c?
c
Suppose -24 = -4*q - 2*g, -4*q + q + 18 = 4*g. Let l be q - -8*(-21)/27. Which is greater: 1/6 or l?
1/6
Let o be -13*2/40 - ((-127)/5 + 25). Is 2942 less than o?
False
Suppose 75*v + 410 + 790 = 0. Suppose -k - 3*o - 7 = 0, -k + 3*o = -2*o + 31. Let w = v - k. Which is greater: -1/3 or w?
w
Suppose 45*i = 98*i - 37*i. Is 1/6883 greater than or equal to i?
True
Let k(y) = y**3 - 4*y**2 - 83*y + 11. Let g be k(13). Which is smaller: 456 or g?
g
Suppose 6*r + 0 - 18 = 0. Suppose 0 = n + o - 3, r*n = -5*o + 13 + 4. Are n and -7/9 equal?
False
Let f be -8 + 3 + -10 + 12/12. Let h be ((-21)/12 - -1)*4. Does f = h?
False
Let b = 1422.23 - 1436. Let y = b - -0.17. Let v = y + 14. Is -13 bigger than v?
False
Let j be ((-8)/1722)/((-27)/(486/12)). Suppose 2*c + 5 = 3*y - 0, -4*y = -4*c - 8. Is j less than or equal to c?
False
Let q be (-180)/(-210)*(0 + (-17)/3). Let p be ((-1)/2)/(-1)*-6. Let x be (-2)/4*(15 + p). Which is smaller: x or q?
x
Let z = 10111.79 + -10119. Which is smaller: 0.04 or z?
z
Let c = 86 + 95. Let j = -103 + c. Is j equal to -0.1?
False
Suppose -g - 4*g + 23 = x, 5*x - 4*g = -1. Let z be (87/27 - x)/(46/207). Let p = 21268/21 - 1013. Which is smaller: z or p?
p
Let g(h) = -5*h + 5. Let r be g(-4). Let d = 128 - 105. Is d greater than r?
False
Let u = 17 - 18. Let r be -1*1 - (8 - 11) - u. Let q be (0 + (-14)/r)/(16/24). Is q greater than or equal to -7?
True
Let a(d) = -99*d + 815. Let k be a(11). Which is bigger: k or -1916/7?
-1916/7
Let i = 26933 - 26933.13. Does -5/7 = i?
False
Let r(k) = -2*k**2 + 12*k - 35. Let d be r(-13). Let i be (-7)/(-28) + d/4. Let v = i + 1453/11. Is -1 at least as big as v?
False
Suppose -4*g - 4*r + 10636 = 0, -2*g = -g + 2*r - 2662. Which is smaller: 2655 or g?
2655
Suppose -2*m + 7 = -3. Suppose -4*f = l + 4 + 11, 4*f + 11 = -m*l. Let n be ((-2)/(-2))/((-130)/520). Is n greater than or equal to f?
True
Let f be (13 + -11)*(-225)/(-6). Let c be (f/10)/((-27)/(-828)). Is -1/2 smaller than c?
True
Let b be 26/7 - 2/(-7). Let u = 1490 - 1477. Suppose -25 = -k - b*k, u = -r + 2*k. Which is greater: -6 or r?
r
Let u = 1/645 - -214/645. Which is smaller: u or 41.9?
u
Let b = -9070764/73 + 124257. Suppose 5*u = 5*m - 5, 4*u - 1 = 3*m + 3*u. Is m bigger than b?
False
Suppose 0 = 5*i - 558 + 553. Let b be (-5 - i/1) + 17. Is b bigger than -4?
True
Let q(z) = -92*z - 798. Let l be q(-9). Suppose 2*v - 18 = -0*x - 4*x, 4*v + 3*x = 21. Which is smaller: v or l?
v
Let l(f) = -19*f - 34. Let s be l(-4). Let r = s + 6. Is 46 < r?
True
Suppose 0 = 4*h + 4*v - 0*v - 4, -5*v = -3*h + 11. Suppose p + 3*d - 11 = h*p, 2*p - d = -7. Which is smaller: -6 or p?
-6
Suppose -41100 = -3*h + 2*c, 3*h = 3*c + 50259 - 9159. Is 13701 greater than h?
True
Let g be -6 - 2*(-15)/(-10). Let h be (-9 - g)/(-2 + 3). Which is greater: 1/276 or h?
1/276
Let p be (-107)/(-3) - 1/(-3). Let a = 858/79 - 5227/474. Is a greater than p?
False
Let l = 21 - 85. Let k = l - -83. Suppose -v = d - 5 + k, 10 = 5*v. Which is greater: d or 3?
3
Let p = 247 - 267. Let s(z) = z**2 + 19*z - 16. Let b be s(p). Let r(o) = o**2 - 4*o - 4. Let t be r(5). Which is smaller: t or b?
t
Let p be ((-178)/90)/((-253)/(-24)) + (-366)/(-2013). Let f be 1/(-5) - (-3)/15. Which is smaller: f or p?
p
Let g = 0.3375 - -767.6625. Which is smaller: g or -0.1?
-0.1
Let r = -665 - -662. Let b be (4/272)/(r/126). Are -1 and b nonequal?
True
Let w = 415.1983 + -415. Which is smaller: w or 2/5?
w
Let c be (-8)/80*-6 - (-6)/(-10). Suppose 9*m + 8 + 226 = c. Do m and -0.2 have the same value?
False
Suppose s = 4*a - a + 15, 2*s = -a +