t w(n) = 63*n**3 - n**2 + 4*n - 15. Let o be w(14). Let g = o + -2935283/17. Let s = g - 173080/3247. Is 1 at most s?
False
Let i = 55 + -52. Suppose 4*x = i*s + 16, -5*x - 6*s = -4*s - 20. Suppose 19 = -u + x. Which is smaller: u or -14?
u
Let j be (-16 - -10)*(-1)/(-15)*15815. Is -6327 bigger than j?
False
Let s(y) = -y - 43. Let g be s(40). Let j = 60515/6 - 10169. Let l = j - g. Is l not equal to -16?
True
Let i = 16 - 15.92. Suppose 0 = 3*p + 4*v + 5, -8*p + 5*v + 40 = -5*p. Let g = p - 3. Is i at least g?
False
Suppose c = 4*s + 2, 2*s - 28 = -5*c + 4*s. Let x(u) = u**2 - u - 9. Let j be x(c). Suppose 0*p + 2*p + 10 = -2*f, -f - 5*p - j = 0. Is f <= 8?
True
Let y = -91 + 115. Let z be ((-8)/y)/(2/(-6)). Let t be (-294)/140*z/3. Is t smaller than -1?
False
Let u = 2917 + -2940. Which is smaller: -5/13 or u?
u
Let i = 3.21 + -2.81. Suppose -5*m = 2*q + 42, 25 = -4*m + m - q. Let d be 2/m + 4/(-8). Is i < d?
False
Let d be ((-1)/3)/(((-20)/24)/5). Suppose 2*r - d*m - m + 34 = 0, -4*r - 84 = 2*m. Let l be (-25)/r + (-6)/(-8) + -5. Which is greater: l or -22/5?
l
Let d be (-256)/(128/(-8)) - 16. Is 3/2692 equal to d?
False
Let s = 0.1421 + 19.7579. Do 0 and s have different values?
True
Let l = -3929 + 341830/87. Suppose -36*y - 8*y = 0. Which is bigger: l or y?
l
Let g be (-3)/(-6)*(-11 - -11). Is g at least 1/4001?
False
Let i = -156 + 160. Let x be 6/1 - (i + -14). Is x < 18?
True
Let h(s) = -2*s**3 - 83*s**2 - 115*s - 3295. Let t be h(-41). Let v = -131 + -129. Which is smaller: t or v?
t
Let x(r) = -r**2 + 52*r - 313. Let s be x(45). Which is smaller: 1/315 or s?
1/315
Let m = -74694.7 - -74695. Let u be 8/(-390)*(-5)/(-6). Which is smaller: m or u?
u
Let x be (2 + 2)*(1 - -3). Let j(r) = -3*r**2 - 26*r + 14. Let w(a) = -14*a**2 - 110*a + 57. Let o(y) = -9*j(y) + 2*w(y). Let g be o(x). Is g < -45?
False
Let v = 21337 + -15855. Is 10961/2 not equal to v?
True
Suppose 4*g = -3*l + 1544, 0 = -3*l + 8*g - 3*g + 1580. Suppose 20*p + 360 = -l. Suppose 46 = -4*u - 138. Which is bigger: p or u?
p
Let h = -236.056 + 233. Let v = h - -0.056. Which is bigger: -7 or v?
v
Let g = -0.0302 + -37.9698. Let t = -11 - -11. Let y = -2 - t. Which is bigger: g or y?
y
Suppose -18 = 4*q - 3*o, -5*q + 2*o = 31 - 5. Which is bigger: -43/6 or q?
q
Let h be (-5)/4*7/(13651925/11810). Let i be (3/1293)/(4/6). Let a = h - i. Which is greater: a or 1?
1
Let l = -2.88 + 143.88. Suppose -2*g - 3*y = -245 + 213, -5*y = -4*g - 68. Is g != l?
True
Let v be 2/16 - (56/(-98) - 2774/(-4144)). Which is smaller: v or -166?
-166
Let k be ((-22)/33)/(1 + 1595/(-1593)). Which is smaller: 2662/5 or k?
k
Let k = -208.5 + -44.5. Let j = k + 252.912. Which is bigger: 1/2 or j?
1/2
Suppose 13*c - 13*c = 11*c. Suppose 3*b = 5*x - 149, x + 4*b = 39 - c. Is x less than 35?
True
Suppose 14 = 4*i - 2*a, -i = -0*i + 3*a. Suppose 5*w - i*z = -4*z - 31, -4*w + 4*z = 20. Let j be (2 + (-29)/14)*-4. Which is bigger: w or j?
j
Suppose 4*u + 797 = 797. Suppose -30*l + 27*l = u. Which is greater: l or 3/137?
3/137
Let s = 0.4538 + 10.3582. Let k = s - 10.8. Which is greater: k or 1?
1
Let j = -3892 - -3841. Which is greater: j or 41?
41
Suppose -9*s + 25*s = 144. Let q be 6 + (-3 - s) - -34. Is 33 less than q?
False
Suppose -4*b = b - 100. Let a(t) = -t**3 - 30*t**2 - 32*t - 98. Let d be a(-29). Let k(s) = -s**2 - 21*s - 89. Let m be k(d). Which is bigger: m or b?
m
Let k(t) = 178*t - 533. Let a be k(3). Is -2/26175 less than a?
True
Suppose 3*z - 484 = 500. Which is smaller: 326 or z?
326
Suppose -9 = -4*u + 3*v + 6, -2*v - 10 = 3*u. Suppose d = -c + 6, -12 = 4*d - 7*d. Suppose u = c*s - 6*s - 48. Which is smaller: 0 or s?
s
Let p be 7*(0 - (68/14 - 5)). Let j be (100/32 - 3) + 387/(-1512). Which is smaller: j or p?
j
Let q be ((-768)/(-160))/((-3)/10). Let s be ((-307)/(-2))/((-8)/q + 0). Is 308 <= s?
False
Let n = -5/899 - -91/10788. Let f = n + 3107/8700. Is 1 less than f?
False
Let z be (-46)/(-11) + (-12)/66. Let k be (620/(-6) + -1)*(z + 0). Let l = k - -434. Is 18 at least as big as l?
True
Let z = 65 - 72.1. Let y = 64.9 - 67. Let c = z - y. Is c not equal to 4?
True
Suppose -9*s + 28*s + 5092 = 0. Let q = s - -268. Which is bigger: q or 6/77?
6/77
Let p(v) = 22*v**2 + 4*v + 1. Let n be p(-5). Suppose -125 + n = -29*t. Are -15 and t equal?
False
Let d be (96/10)/((-33)/165). Let m be (d/32)/(9/(-30)). Let j be ((-5)/(-2))/((-3)/(-6)). Is m equal to j?
True
Let t(p) = 3*p + 3. Let u be t(-2). Let f be (-3 - -5) + ((-6)/u - -2). Let z be (12 - 0)*(1 - f/24). Is z >= 7?
True
Let k = 97 + -100. Let p = 49 + -44. Let o be (-1 - 38/(-42))/(p/135). Is k at most as big as o?
True
Suppose 5*b - q = 2*q + 17, -3*b = 3*q - 15. Suppose 3*g + 3*m - 2 = 4*m, -8 = -3*g + b*m. Let p be -1 + ((-54)/(-45))/(266/245). Which is greater: p or g?
p
Let g be 1 + 4/16 + 1497/12. Let j = -150 + g. Is -22 smaller than j?
False
Suppose 0 = -6*i + 8*i + 44. Let l = i - -21. Let b = 283 - 25471/90. Which is greater: l or b?
b
Let d be ((-8)/20)/((-4)/(-675)*5). Let z = 14 + d. Let l = z + -3/5. Which is smaller: l or 0?
l
Let h be 8/(-44) - 7/(2310/79690). Which is greater: -243 or h?
h
Suppose 0 = 4*q - 7685028 - 753596. Let n = -1288998624/611 + q. Let o = 70/47 - n. Which is greater: o or -0.3?
-0.3
Let g = 2074 - 273769/132. Which is smaller: g or 0?
g
Suppose -3*t - 2*a + 91 - 110 = 0, 4*t + 65 = 3*a. Suppose 2*q - 28 = 3*g, 0 = 2*q - 3*q - 1. Which is bigger: g or t?
g
Let l = 123474 + -123760.742. Let g = l + -0.258. Which is greater: 2 or g?
2
Suppose -7*p + 2*u = -3*p + 4694, -2*u - 1186 = p. Which is greater: -1177 or p?
p
Let r = 91.9 - 92. Let o = 13 + -51. Is r at most o?
False
Let a be 1 + 61/9 + (-6)/(-27). Let z be a/(-44) + (-2547)/1419 + 2. Is z at least -1?
True
Suppose -5 = 2*a - 3*a, -3*o = -a - 49. Let k be (-1)/(-18)*(-36)/o. Which is bigger: 0.15 or k?
0.15
Suppose 0 = 3*t - 3*j - 213, -j - j = 4*t - 266. Let w = -71 + t. Let n be 2 - 0 - (3 - (8 + w)). Is 4 greater than or equal to n?
True
Let a(f) = 7*f - 73. Let n be a(10). Let z = -107 - -106.97. Which is bigger: z or n?
z
Let c be -670*(12/(-18))/(12/9). Let v = c - 1417/4. Let z = -19 - v. Is -11 smaller than z?
True
Suppose 2*c + 19*a - 4 = 23*a, 5*c + 2 = -2*a. Which is smaller: c or 14/2043?
c
Let o(u) = 216*u - 9437. Let f be o(39). Which is greater: f or -1016?
f
Suppose -4*o = 4 + 4. Let u = 13225/2 - 6338. Let h = u - 277. Which is greater: h or o?
o
Let i = 283 - 682. Is -397 less than i?
False
Let x be (-1 - (-5434)/(-165)) + 4/3. Which is smaller: -34 or x?
-34
Let t = 0.8008 + 51.1992. Is t not equal to -2/79?
True
Let v be (-2)/(-5) - 346/740. Let u be 9/(-63) + ((-90)/(-518))/(38/23). Let c = u + v. Which is smaller: 0 or c?
c
Let p = 5019.8716 - 5017. Let j = p - -0.0724. Let r = -0.056 - j. Which is greater: r or -12?
r
Let l be (-28)/((-1)/((-4)/34) - (-115 - -123)). Is -63 != l?
True
Let z = -15.49 + -1.11. Let s = z - -32.6. Do 6 and s have the same value?
False
Let q be (((-4)/(-624))/((-33)/(-616)))/(76/12). Is -1 greater than or equal to q?
False
Let w = 4432.4 + -4368. Which is smaller: w or -0.1?
-0.1
Let x = -0.0414 - 0.0786. Is x < 6/17?
True
Suppose -4*b + 8 = 0, -6 = -3*v + 7*v + 3*b. Is v not equal to 75?
True
Let x = -67081/5 + 12924. Let r = -495 - x. Let j(w) = w**3 + 2*w**2 - 4*w - 5. Let m be j(-3). Which is smaller: m or r?
r
Let l = 44358 - 45335. Is l at least -969?
False
Let n(r) = -16*r - 63. Let i(y) = -5*y + 1. Let u be i(1). Let t be n(u). Which is greater: 3 or t?
3
Suppose -32096 = 213*t - 145*t. Does -472 = t?
True
Let z = 6.472 - -158.528. Let n = -0.963 - 0.037. Is n != z?
True
Let r = 0.4 - 0.5. Suppose 15*q = 4*q + 3542. Let o = -1931/6 + q. Which is smaller: o or r?
r
Let r = 8788.1 + -8788. Is r equal to 13/4?
False
Let h = 138 - 336. Let i = 200 + h. Is i at least as big as 1.4?
True
Suppose 5*r + 94 = 14*r - 176. Suppose -4 = -5*q + q, 2*j + 2*q = 60. Which is greater: j or r?
r
Suppose 2*p - 34 = -3*t - 3*p, 5*t + 3*p - 78 = 0. Let m be (t/(-52))/(102/34). Is 1 <= m?
False
Let u = -26 + 23. Let s be (u - -14)*(7 - 1). Suppose -h - s = -7*h. Is 9 smaller than h?
True
Suppose -3*a = -4*v - 41, 5*a - 2*v - 104 = -31. Suppose -6*h - 9 = -a*h. Is 18/25 bigger than h?
False
Let d = 134