-1467/28. Let m(d) = 6*d + 48. Let n be m(-4). Which is greater: n or p?
p
Let h = 40 + -40. Suppose h = -i + 3*i. Suppose 2*f + 10 = d - 0, -3*f - 6 = i. Is d < 6?
False
Let t = 2398.2 + -2259. Is 2 > t?
False
Suppose 6*p - 5*p - 1 = 0. Suppose -y - i = -82, y - i - 40 = 46. Let b be (18/y)/(p/(21/6)). Is b greater than 12?
False
Let t = -527 - -517. Let u be (-3 + 5)/(t/(-140)). Is u at most 34?
True
Let h(d) = d**2 + d - 1. Let o be h(2). Suppose 4*b + 6*w = w + 15, -o*w = -4*b - 15. Let v = 55509/20 + -2775. Which is smaller: v or b?
b
Let d be (-2)/2 - 17/(-20). Let l be (-9)/((-18)/(-4)) - -4. Suppose 4*r - 5*s + 29 = -0*s, 3*s - 17 = l*r. Is r at most d?
True
Let i = -7399 + 13673. Let z = 56522/9 - i. Let w be (-6)/9*(-33 + 6 - -12 - -6). Is w <= z?
True
Let o = 116 - 125. Let p = o + 0. Which is smaller: p or -7?
p
Let u be (759/66)/((-2)/38). Which is smaller: u or -220?
-220
Let n(c) = 14*c - 5025. Let j be n(0). Let p be (6/15)/((-40)/j). Is p less than or equal to 51?
True
Suppose 2*k - 15 + 0 = 3*m, 5*k = -5*m + 25. Is 9/164 bigger than m?
True
Suppose -5*n + 22*z = 26*z + 26, -3*n = 5*z + 26. Let d be ((-57)/(-9))/(n/(-42)). Which is greater: 131 or d?
d
Let l be -398 + 399 + ((-3)/(3/299) - 1). Which is smaller: l or -298?
l
Let c(p) = 476*p**2 + 4*p - 21. Let t be c(5). Let f = t - 6413559/539. Is 0 at most f?
True
Let c(w) = 5*w + 23. Let l be c(-6). Let s be -4*45/(-40)*(-8)/6. Which is smaller: s or l?
l
Let y = 253 - 251. Which is smaller: 31/53 or y?
31/53
Suppose -148823 = 77*b - 83397 + 141858. Is b <= -5381/2?
True
Suppose 4*j - 7 + 43 = 0. Let o = -176.39 - 8.41. Let y = 185 + o. Which is greater: j or y?
y
Let p be -850 - 0/2 - (-2048 + 2040). Which is greater: -843 or p?
p
Let l = 1140 + -1078. Do 62 and l have the same value?
True
Suppose 33 = 2*m + 39. Let u be 5*m*5/15 + 95. Which is bigger: 89 or u?
u
Suppose -n - 5*d + 18 = 0, -4 = -d + 1. Let a(b) = -2*b**2 - 3*b - 4. Let s be a(n). Let p = s - -50. Is p bigger than -31?
False
Let f(t) = -t + 19. Let u be f(14). Suppose 2*k + o + 44 = -4*o, -3*k + u*o - 66 = 0. Let q = -13 - k. Is q != 1?
True
Let i(m) = -2*m + 0*m - 96 + 97 + m. Let q(v) = -v + 3. Let w be q(2). Let a be i(w). Is 1 smaller than a?
False
Let j be (-9)/42 + (-36)/(-168). Are 12/961 and j nonequal?
True
Let g be ((-15)/30)/(1567/(-196) - -8). Which is greater: -34 or g?
-34
Let w(c) = 4*c**2 - 3*c**2 + 9 - 9*c + 33*c. Let d be w(-29). Is 153 bigger than d?
False
Let x(j) = -2*j - 51. Let c(q) = -2*q + 8. Let h be c(16). Let y be x(h). Let f = -0.06 + 0. Which is greater: f or y?
f
Let q = 525.293 + -525. Let f = q - 0.303. Is f at most -60?
False
Suppose -132 = -4*l + 5*w, w + 60 = 2*l - 0*l. Let c(f) = -12*f - 223*f**2 + 1 + 7 + 2*f**3 + 242*f**2. Let m be c(-10). Do l and m have the same value?
True
Suppose 6*r - r = -4*k - 1302, -2*k - 1296 = 5*r. Let c be 5 + r*((-44)/8 + 5). Is c at most as big as 132?
False
Let i be 3/(6/8 + -1). Let m(z) = z**3 - 18*z**2 + z - 18. Let s be m(18). Let w(k) = -k - 12. Let h be w(s). Do h and i have different values?
False
Let u(c) = -c**3 - 2*c**2 + 3*c + 5. Let h be u(-1). Is -20/217 <= h?
True
Suppose -6*b + 5 + 1 = 0. Let n be ((-110)/55)/(164/6). Which is greater: n or b?
b
Let g = -74 + 71. Let o be 0 - (-8)/6 - (-13)/g. Let h be (o*5/(-15))/(-1). Does h = 1?
False
Suppose -289 = 2*w - b, w - 3*b + 725 = -4*w. Suppose 0 = -n, 3*a + n + 564 = -a. Are a and w unequal?
True
Let v be (88/32)/(2/(-88)). Let d be v/(-11)*(-3)/1. Let a = d - -60. Which is smaller: a or 26?
26
Let g(i) = -260*i - 4380. Let l be g(-18). Which is smaller: l or 2103/7?
l
Let v be (-10)/(-35) + (-6)/21. Suppose 4*x - 51 - 21 = v. Let s = -19 + x. Are -1/5 and s unequal?
True
Let p = -1311 - -1309.078. Let s = 50.078 + -50. Let j = s - p. Which is smaller: 3/5 or j?
3/5
Suppose -2*p - 76*p - 2235 = -66039. Which is greater: 825 or p?
825
Let y = -13553 + 10898. Is -2657 > y?
False
Let g = -1.8048 + 1.9048. Which is bigger: -38445 or g?
g
Let p = 1935 + -1929.235. Let w = -0.135 - p. Let t = w - -7.9. Which is smaller: -2/11 or t?
-2/11
Let s = -145.94 - -146.04. Let p be (1/(-61))/(3/3). Does p = s?
False
Let d = 1068 - 1761. Let r = d - -692. Are r and -2 nonequal?
True
Let b be (-11)/(-2)*17/((-119)/42)*4. Is b less than -1047/8?
True
Let z = 17948997/184757 + -252/3931. Let i = z - -39/94. Is 97 bigger than i?
False
Let y be 4/(-5) + 1512/(-210) - -227. Which is smaller: 228 or y?
y
Let u = -14856.4 - -14832. Which is greater: u or -3?
-3
Let p(o) = o**2 - 10*o + 26. Let b be p(5). Let i be (24 - 58)/(5/20). Do i and b have the same value?
False
Let b(r) = 5*r**3 + 8*r**2 + 16. Let p be b(-6). Is -3882/5 less than or equal to p?
True
Let j be (-1246)/(-6130) - 2/10. Suppose -53*s - 23*s = 9*s + 85. Is j at least s?
True
Let k be (-609)/((-187)/132 + (-4)/(-6)). Suppose -15*t - k = 13*t. Which is smaller: t or -27?
t
Let u be 3/4 - -2*31364/(-83680). Is u <= 0?
False
Let d(u) = -12*u**2 - 3*u - 1. Let l be d(0). Is 62.3 at most l?
False
Let o be (-2)/8 - 42/(-136). Suppose -902*m + 8 = 2*n - 904*m, -5*n = 4*m + 25. Which is greater: o or n?
o
Let r = 11302 + -11301. Is 3/8714 less than r?
True
Let g(m) = -2*m**2 + 50*m + 32. Let h = 59 - 32. Let v be g(h). Are v and -77 nonequal?
True
Let z(m) = -m**3 + 76*m**2 - 72*m - 423. Let f be z(75). Is -2564/13 smaller than f?
False
Let b(j) = j**3 + 7*j**2 + j + 13. Let k be b(-7). Suppose -k*r - 336 = 186. Let t be -4 - r/15 - 2. Does 4 = t?
False
Let u = -235 + 572. Let y be (26/6 + 4/(-12))*(-98)/(-196). Which is smaller: y or u?
y
Let p = 126894/7 - 18075. Let a = p + -1114/21. Is a > 221?
False
Let f(p) = -8*p - 879. Let g be f(-42). Is -544 > g?
False
Let v be 0/(-1 + (2 - -1)). Let k(c) = -2*c**2 + 4*c + 3. Let a be k(v). Let u be ((-15)/(-63))/((-3)/(-54)). Which is smaller: u or a?
a
Let y be 0 + (((-12)/(-5))/(-6))/(-88). Let z = 829 + -829. Which is smaller: z or y?
z
Let p be (1 - 1 - 1)/((-1)/2). Suppose -p*k + 12 = z + z, 3*z - 4 = 4*k. Suppose 7*o - 2*o - 1 = f, 3*f - 10 = k*o. Which is bigger: -3/13 or o?
o
Let h = -782 - -2324/3. Let k(r) = 2*r**3 + 5*r**2 + 3*r + 13. Let u be k(-3). Let m(b) = 31*b + 147. Let g be m(u). Which is smaller: g or h?
g
Suppose 9 + 21 = -4*i + 3*j, i - j + 8 = 0. Let s(r) = 25*r - 167. Let u(x) = 23*x - 167. Let t(y) = 3*s(y) - 4*u(y). Let n be t(10). Is n <= i?
False
Let n(x) = 2*x**2 + 3*x**2 - 1 - 4*x**2 + 6 - 4*x. Suppose -r = k + 3 - 4, -11 = -4*k + 3*r. Let c be n(k). Is c <= -1?
False
Let r = -158/53 + 1953/424. Are r and -45 non-equal?
True
Let x be -1*(-151)/(-3) + (71 - 66). Let t = x + 397/9. Which is smaller: t or -1?
t
Suppose -15*w - 3048 = 2187. Which is smaller: w or -348?
w
Suppose 0 = -15*b + 21*b + 78. Let g be 56/(((-52)/8)/b). Which is smaller: g or 113?
g
Let t be 13 + 9 + -18 - 502. Is -496 greater than or equal to t?
True
Let f(t) = 38*t**2 - 22*t - 13. Let v be f(3). Is 263 != v?
False
Let i(l) = l**3 + 2*l**2 + 1. Let d be i(-2). Let t = 3758426/13 + -288896. Let c = 214 - t. Which is smaller: d or c?
c
Let h = 294 + -417. Let g = -3 - h. Which is smaller: 0.1 or g?
0.1
Let q be 17/(-3) - 18/(-27). Let g(u) = -10*u**2 - 9*u + 7. Let y be g(q). Let o be y/(-8) - (-21)/(-28). Is 22 at least as big as o?
False
Let o(t) = 3*t**2 - 168*t - 13. Let q be o(57). Which is bigger: q or 167?
167
Let d(p) = -3*p**2 + 16*p + 12. Let f(x) = -16*x**2 + 81*x + 59. Let v(a) = 11*d(a) - 2*f(a). Let l be v(15). Let t be -10*(-1)/34*-6. Is t bigger than l?
False
Let h = 15/13598 - 12809751/394342. Which is smaller: h or -31?
h
Suppose -2*a + 4*j - 260 = 0, -3*a + 51*j - 46*j - 391 = 0. Which is smaller: -5 or a?
a
Let x(j) = -3*j**2 + 109*j - 989. Let c be x(19). Which is greater: c or 7/1863?
7/1863
Suppose -29*h = 26*h + 29*h - 92*h. Is h greater than -1/1436?
True
Let z(y) = -y**2 - 18*y - 44. Let b be z(-14). Let r be -26 + (-5 - b/(-3)). Does r = -29?
False
Let v(a) = 2734*a**3 + 9*a**2 - 6*a - 4. Let z be v(1). Is z bigger than 2733?
False
Let h be (7002*(-10)/160)/((-3)/2). Let g be 1 - 1*295 - 1. Let k = h + g. Which is greater: k or -2?
-2
Let w be (-2)/(-4) + 4/(-3). Let b(f) = -f**3 + 32*f**2 + 2*f - 66. Let v be b(32). Is w bigger than v?
True
Let r = 5977/7 + -868. Sup