 Let n be m(l). Is n greater than 13?
False
Let m = 11554033/353 + -32731. Is 0 bigger than m?
True
Let p(a) = 4*a - 6. Let s be p(7). Let f be 248/(-14) + s/(-77). Let h be -2 + -11*3/f. Which is smaller: 1 or h?
h
Let i(v) = 1678*v**2 - 22*v + 23. Let p be i(1). Is p >= 1678?
True
Let z be 0 + -2 + (-88 - -90). Which is smaller: z or -1/1379?
-1/1379
Let l be ((-159)/(-12))/(-2*6/96). Which is greater: l or 1/2?
1/2
Let f(x) = x**2 + 2*x - 2. Let z be f(-3). Let k = -3.8695 + 0.0695. Which is bigger: k or z?
z
Let h = 72 - 50. Let k be 2/(-4)*(h/(-2) + 7). Which is smaller: 2/115 or k?
2/115
Let o be (-1 + 16/12)*-4. Suppose 2*v + 2*g = 57 - 9, -3*v - 2*g + 73 = 0. Suppose 10 = 3*h - 2*a, 0 = -4*h + 5*h - 5*a - v. Which is greater: o or h?
h
Let h be 2640/160*(-8)/12. Let z(l) = -l**3 - 6*l**2 - 2*l - 8. Let s be z(-6). Suppose -14 = n + w, -5*n - s*w = -9 + 77. Does h = n?
False
Let t = -1291 + 1299.09. Let j = 8 - t. Let f = j - -0.01. Which is bigger: 1 or f?
1
Let m(g) = -g**3 + 12*g**2 - 14*g - 18. Let q be m(11). Which is smaller: q or -48?
q
Suppose 2*p = -5*s - 3*p + 45, -4*s = -5*p + 9. Which is greater: s or -13?
s
Suppose -5*y + 3*w = -2*y - 81, 4*y - w = 111. Which is bigger: 37 or y?
37
Let u = 79.8 - 4.8. Let t = u + -75. Is t >= 1/11?
False
Suppose 4*q = -2*v - 4, -2*q + 1 - 51 = -5*v. Which is greater: 102/13 or v?
v
Let m = 22 + -23.5. Let i = m + 1.4. Do i and 2/35 have different values?
True
Suppose 24 = -0*o + o. Suppose o = -5*r + r. Is r > -5?
False
Let g = 28223207 - 13732783. Let c = -228644399309/15779 + g. Let m = 1/509 + c. Is 0 at most as big as m?
True
Let b = 61409/192045 + -11/3255. Let s = b + 1/59. Which is smaller: s or -2/17?
-2/17
Let m be (-2)/((-1)/((-5)/(-60))). Let d = -0.06 - -0.16. Let l = d + 0.2. Is m <= l?
True
Let q = -6.4 - 4.2. Let j = q + 7.6. Which is bigger: -15 or j?
j
Let r = -86 + 85.886. Let x = -0.986 + r. Is -2 at most x?
True
Let s = -2.6 - 2.5. Let k = 21.1 + s. Which is bigger: k or 4?
k
Let d = 241 - 253. Is -0.1 != d?
True
Let b be 2/(-5) + (-136)/(-40). Suppose -22 = -5*p + 2*i, -b*p = -6*p + 2*i + 10. Suppose 0 = 2*m + p, -5*x = -2*m - 14 - 2. Which is smaller: x or 1?
1
Let n(q) = -q**3 - 52*q**2 + q + 52. Let v be n(-52). Is -1/346 greater than or equal to v?
False
Let o be 888/(-8)*(-1)/6. Is o greater than 18?
True
Let u(g) = 14*g - 51. Let n be u(6). Is 32 at least n?
False
Let k = 933259/19558 - 9/2794. Let d = k - 48. Which is greater: -5 or d?
d
Suppose 4*r = 4*x + 72 + 32, 148 = -5*x - 4*r. Which is bigger: x or -25?
-25
Let j be (-1)/((4/(-30))/((-14)/21)). Let k be (-230)/45*1 - j. Let p = -0.3 - -0.4. Is k greater than p?
False
Suppose 0 = 3*r - j + 30, 4*r + 0*r - 5*j = -51. Let w be (-21)/27 + 2/r. Do 2/7 and w have different values?
True
Let m = 1.2 - 1.2. Let u = 10 + -28. Let k = u - -16. Is m >= k?
True
Let h = 91495/7 + -13109. Let p = 38 + h. Which is smaller: p or 0.15?
p
Suppose -z = z - 3*w - 49, -5*z - 3*w = -154. Suppose 3*f = 2*b - 53, -3*f + 7*f + 80 = 3*b. Is b at most z?
True
Let s = -98 + 98.17. Are s and -4 nonequal?
True
Suppose 4*v = 10*v - 30. Let m be (-1 - (-3)/v) + 63/45. Is 1/2 at most m?
True
Suppose -2*c + 25 = 3*c. Let n(s) = -s**3 + 6*s**2 - 4*s - 4. Let r be n(c). Let z be (-60)/225*(-6 + r). Which is smaller: z or -0.4?
-0.4
Let r = 1413.859 + -1414. Is r < -1?
False
Suppose -4*d + 367 = -c, 303 = -5*d - 3*c + 783. Is d >= 3?
True
Let q = -44 - -3. Let w = 44 + q. Which is greater: w or 0?
w
Let i(w) = -w - 7. Let t be i(-10). Suppose t*y = -5*q + 15, 5*q + 1 = -2*y + 11. Which is bigger: -3/13 or q?
q
Suppose -3*p - 47 = -r + 3, 4*p + 90 = 2*r. Let g = 1 - r. Let m = 23 + g. Is -10 bigger than m?
True
Let y be 9/15*8/3. Suppose -2*w - 5*r - 6 = 0, -15 = -5*w - r - 7. Which is greater: y or w?
w
Let p(z) = z**2 + 8*z + 9. Let w be p(-5). Let v be (-9)/(-21) - (7 + w). Are -1 and v equal?
False
Let j = 14 - 16. Which is bigger: j or 1?
1
Let y(q) = -q**3 - 3*q**2 - 4*q - 2. Let g be y(-2). Let a be (0 - 1 - -1)/1. Let x be (a - -3)*(6 + -5). Which is greater: x or g?
x
Let t = 241 - 268. Which is smaller: -26 or t?
t
Let t be 158/1320 - 7/21. Let a = -2/55 + t. Suppose 2*d = -3*d. Is d smaller than a?
False
Let b = 412.851 + -413. Is 1 < b?
False
Let k = 12 + -47. Let j = 35 + k. Suppose -2*l - 30 = -4*m, j*l = 4*l + m + 60. Is -15 not equal to l?
False
Suppose 0 = -5*j - 5*v - 35, -86*j + 3*v + 18 = -88*j. Which is greater: j or 3/115?
3/115
Let d(k) = -k**2 - 18*k + 64. Let g be d(-21). Is -2/279 at most as big as g?
True
Suppose 21*f - 28*f = -1022. Which is smaller: 147 or f?
f
Let v be -72*(42/(-24) - -1). Which is bigger: 62 or v?
62
Let w be ((-3)/(-4))/(18/(-48)). Is w at most 304?
True
Let k(u) = 6 - 4 + 5 + 7*u. Let q be k(-3). Which is smaller: q or -12?
q
Let p(n) = -n**2 + 7*n - 3. Let v be p(7). Let m = -526 - -520. Is v greater than m?
True
Suppose p + 9 = 5*s, 3*p + 5 + 2 = 5*s. Suppose 2*r + 7 = d, -3*d + s*d = -5*r - 16. Which is smaller: 0 or d?
0
Let z = -737 + 58957/80. Which is smaller: z or 0.01?
z
Let u be 10*(20/25)/(-2). Which is smaller: -32/9 or u?
u
Let v(z) be the third derivative of -z**5/60 + 7*z**4/24 - z**3 - 2*z**2. Let y be v(6). Let n = 0.25 - 0.25. Are n and y nonequal?
False
Let t be (-392)/(-6)*(-4 - (-5)/2). Let s = t + 100. Which is greater: 1 or s?
s
Suppose 4*i - 122 = 2*t, -4*t + 5 - 1 = 0. Suppose -3*l - 4 = -13. Suppose -l*q + i = 1. Are q and 8 nonequal?
True
Suppose 9*p - 4*p - 505 = 0. Let v = p - 117. Is v != -16?
False
Let j = -0.1248 + 117.1248. Is -1/4 at least j?
False
Suppose -18*o = -21*o + 114. Suppose 3*h - 20 = -o. Is -36/5 less than or equal to h?
True
Let c = 37 + -41. Let n(o) = 2*o**2 + 7*o + 5. Let r be n(c). Is r <= 6?
False
Let j = -124.96 - -2.96. Let f = 121.73 + j. Is f greater than or equal to 0.1?
False
Let i(q) = q**2 - 3*q - 10. Let c be i(5). Let k be 4*(c - 2)/(-2). Suppose -5*m - 12 = k*p + 81, -3*p = 3*m + 57. Which is greater: -16 or m?
-16
Let v = 1.2 + -10.7. Let d = -0.5 + v. Let n = 12 + d. Which is greater: -4/3 or n?
n
Suppose -17 = 29*b + 12. Is b at least -16/85?
False
Let a(z) = -51*z - 97. Let n be a(-2). Are n and -26 nonequal?
True
Let h = 28.5 - -4.5. Let w = h + -26. Let c = 0.1 + -1.1. Are c and w equal?
False
Let f be 57/(-189) + 1*(-5)/(-15). Let k = f + -67/126. Which is bigger: 0.2 or k?
0.2
Suppose -367 = -9*y + 128. Suppose 27 - y = 2*n. Which is greater: n or -15?
n
Suppose 0 = v - 5*b, 0 = 3*v - 5*b + 2 - 12. Suppose -v*p = -p - 68. Is 17 greater than or equal to p?
True
Let q = -3649/296 - -248/37. Which is greater: q or -6?
q
Let u = -53 + 82. Suppose 0 = -3*t - t + 20, 0 = x + 5*t - u. Suppose -q - x*n = -0*n + 10, -3*q + 4*n + 18 = 0. Which is smaller: 1 or q?
1
Let q be -33 - -41 - (-2)/((-4)/6). Suppose q*x = m - 0*m - 14, 5 = m - 2*x. Is m equal to -2?
False
Let f be ((-3)/3)/(3 + 138/(-42)). Let q = f + -15/4. Which is smaller: q or 0.5?
q
Let t(f) = 9*f**3 - f - 1. Let w be t(-1). Suppose -27*n + 256 = -59*n. Is n at least as big as w?
True
Let j(f) = -f**2 - 8*f + 25. Let g be j(-13). Let m(n) = -n**3 + 5*n**2 + 7*n + 10. Let o be m(7). Which is greater: o or g?
o
Let p be (-237)/(-118) + (-6)/3. Let n = 83 + -84. Which is smaller: p or n?
n
Let p be ((-388)/(-6))/(10/75*-10). Which is smaller: p or -50?
-50
Let k = 4.34 - 4.7. Let s = k - -6.36. Let d = 3 + -2. Is d not equal to s?
True
Let o be 27/45 - (-12)/(-20). Which is greater: o or 6/257?
6/257
Let w = 396 - 397. Are -2/1073 and w equal?
False
Let o = -339.73 + 336. Let j = -3.8 - o. Is 5 smaller than j?
False
Let m = 73 + -87.8. Which is smaller: m or -1?
m
Let u = -0.191 + -0.059. Let g = u - -1.25. Let c = -0.1 + 0.3. Are c and g unequal?
True
Let j = -1 - -5. Let s be (-13 + 1)/(j - 5). Let l be (-23)/(-20) - 9/s. Is l > 1/7?
True
Let p = -12 - -12.04. Let t = -0.86 - p. Let m = 0.7 + t. Is -1/2 != m?
True
Let d(l) = -l**2 + 6*l + 5. Let z = 88 + -85. Let c be d(z). Is c <= 1?
False
Let q = -13/912 + 10511/97584. Is q less than or equal to 0?
False
Let v = -0.213 - -0.253. Which is smaller: v or -0.3?
-0.3
Let n = 70 + -39. Let h = n + -30. Which is smaller: -2/157 or h?
-2/157
Let c = 62 + -61.96. Let f = c + -0.24. Which is smaller: 12 or f?
f
Suppose -3 = -