-1 or u?
-1
Let l = 15 - 16. Let z be (-1)/((4 - l)/(-5)). Let m(y) = 6*y**2 + 3*y - 3. Let d be m(z). Are d and 22/3 nonequal?
True
Let f(q) = 7*q - 2. Suppose 0 = -5*l - 7 - 8. Let v(m) = -4*m + 1. Let z(a) = l*f(a) - 5*v(a). Let n be z(6). Is n not equal to -11/3?
True
Let m = 850.6 - 1052. Let n = -201 - m. Which is smaller: -5 or n?
-5
Let g be ((-2)/3)/((-5)/(-3)). Let d = 5364.47 - 5366. Is g bigger than d?
True
Let l = -134 - -148. Let b be (-8)/114*l/(-21)*-135. Which is smaller: b or -6?
b
Let s = -29/3 - -28/3. Let x = 9 + -13. Let f = x + 5. Which is smaller: f or s?
s
Let s be (2554/6)/(18/27). Is s at least as big as 638?
True
Let t = 1059 + -1052.97. Let z = t + -0.03. Let i = 5130 - 5129. Is z > i?
True
Suppose 212*x = 3413 - 1293. Is x < -496?
False
Suppose -7*l = -2*l + 3*x - 9311, -4*l - 4*x + 7444 = 0. Let b be (1 + l/(-1848))/(1/(-6)). Is -1 bigger than b?
False
Let n = -76 - -91. Suppose -2*h + 4*c = -6, -4*c = -3*h - 0*c + n. Suppose 0 = -h*f - 10*f + 247. Which is bigger: 15 or f?
15
Suppose -3*q + 692 = 2*j, -3*j - 5685*q = -5684*q - 1010. Suppose 2*l + 3*o = 665, -2*l = -o + 2*o - 667. Is j not equal to l?
False
Suppose 23*l + 28305 = 5*f, 0 = -3*l + 4*f + 1230 - 4932. Which is bigger: l or -1231?
l
Let x = -789 - -719. Let b be (x/(-8))/((-12)/48). Which is smaller: -40 or b?
-40
Let b = -37729 + 37728. Which is smaller: -67/155 or b?
b
Let x = -4192/9 - -29263/63. Is x < 2?
True
Suppose -9413 = 100*z - 2613. Which is bigger: z or -73?
z
Let t be (-2)/6 + (-5)/(-15). Let r be ((-3)/5)/(-3) + 16/(-30). Is r at least t?
False
Let h = -2 + -29. Let m = -25 - h. Let q = -5.9 + m. Is 1/12 at most q?
True
Let m = 79 + -154. Let y = m - -72.4. Which is smaller: -3 or y?
-3
Let t(w) be the third derivative of w**6/120 - 11*w**5/60 + 11*w**4/24 + 7*w**3/3 + 34*w**2. Let v be t(10). Is 24 less than v?
False
Suppose -328*q - 14687 = 445*q. Let i = -8 + 2. Let d(s) = s**3 + 5*s**2 - 3*s - 3. Let l be d(i). Which is smaller: l or q?
l
Suppose 3*q - y + 6*y = 6, 5*q = -2*y + 10. Let z = -128 + 224. Suppose -g = -7*g - z. Which is greater: q or g?
q
Let r = 209 + -206. Let z be -8 + -2 + (r - 5). Is 0.02 at most as big as z?
False
Suppose 4*m - 2*i - 2 = 0, 0 = 6*m + 16*i - 21*i - 5. Is 8/111 at least as big as m?
True
Suppose -55*q + 44*q - 76797 - 23193 = 0. Are q and -9091 non-equal?
True
Let i = 106 - 113. Let f be ((-2)/(-4))/(i/1008). Let v be 4/f*4 + (-21)/27. Are -20 and v unequal?
True
Suppose -t + 21 = 19. Suppose -t*q - 9 = 7*q. Let n be (1 - -1)*2/(-14). Do q and n have the same value?
False
Let h(o) = -o**3 + 6*o**2 - 10*o + 83. Let d be h(7). Let l be 48 - (2/3)/((-6)/d). Is l < 42?
False
Let l(c) = -2*c. Let h be l(-2). Suppose -t - 84 = -h*t. Suppose 75*x = 79*x - 5*g - 121, -3*x + 90 = -3*g. Which is smaller: t or x?
t
Let i = 12.034 + -11.834. Is i at least 13.77?
False
Suppose 0 = t - 5*d - 42, 3*d = -3*t + 43 + 65. Let o be (-1460)/8*(-2)/10. Is o bigger than t?
False
Let n = -18 + 17.8. Let t = -175 + 141. Which is bigger: n or t?
n
Suppose 3*q + x + 1132 = 0, -499 = q - 5*x - 95. Is q not equal to -383?
True
Let b be 6/(-15)*(0 + 25). Suppose 0 = 14*f - 33*f - 76. Let u(c) = 6*c**3 + 22*c**2 - 5*c - 2. Let o be u(f). Which is smaller: b or o?
o
Let r = -286.9326 + -0.0674. Let f = -3351 + 3350.8. Is r at least as big as f?
False
Suppose -5 = -146*c + 147*c - 178. Is 122 equal to c?
False
Let j = -8567 - -42849/5. Is j at least 5/32?
True
Let d(o) be the third derivative of o**6/120 - 7*o**5/20 + 7*o**4/3 - 19*o**3/3 + 2*o**2 + 25*o. Let s be d(18). Is s > -66?
True
Let u(b) = 51*b + 247. Let y(q) = 17*q + 83. Let d(m) = 2*u(m) - 7*y(m). Let t be d(-12). Are t and 117 equal?
True
Suppose 45*a + 52*a + 74023 = 18*a. Are a and -941 non-equal?
True
Suppose -111 = -3*k + 39. Let p = 33 - k. Suppose -v = -5*q - 86, 3*q + 34 = -3*v + 4. Are p and q equal?
False
Let f = 4073.37 + -4073. Is -6 greater than or equal to f?
False
Let z(j) = 406*j + 2808. Let d be z(-7). Which is greater: 16 or d?
16
Let s be 3/12 - 7708/496. Let i = s - -23412/1519. Which is bigger: i or -1?
i
Let p be (-1)/((-3)/(-3)) + 27. Suppose 10*d + 632 = 132. Let l = p + d. Is l at least as big as -24?
True
Let r(f) = f**2 - 35*f + 54. Let v be r(26). Let j = -151 - v. Is j less than 1?
False
Suppose 266 = 4*t - 20*t - 198. Is t > -44?
True
Let h = -69.8 - -2.8. Let o = h - -41. Let w = -25 - o. Is 11 < w?
False
Let s(w) = -w**2 + 12*w + 83. Let o be s(-13). Which is smaller: -238 or o?
o
Let z be 2 - (2315 + -5)/(-11). Let a = -8 - -11. Suppose a*h + z = -h. Is h equal to -54?
False
Let p be -4*2/4 - 100/5. Let t = -22 - p. Which is smaller: t or -14/11?
-14/11
Suppose 2*m + 59 = m. Let p(n) = 5*n - 26. Let g be p(17). Let k = g + m. Which is smaller: k or 10/21?
k
Let q(m) = -35*m**2 + 24*m + 9. Let r be q(10). Let l = r - -2058. Let k = 8366/7 + l. Is k >= 3?
False
Let f = -2.05 + 0.05. Let b(c) = 5*c - 39. Let i be b(4). Let l be 2/(i/17 + (-19 - -20)). Which is bigger: l or f?
f
Let f(w) = w**2 + 10*w + 20. Let x be f(-4). Let i be (2/5)/(30/925) - x. Do i and 16 have the same value?
False
Suppose 2*b + 374 = -3*t + 3402, 5*t = b + 5051. Suppose 0 = -8*c - t - 286. Is c smaller than -162?
False
Let s(q) = -q**2 + 16*q - 20. Let g be s(14). Let m = g - 13. Let d = -485 + 481. Which is greater: m or d?
d
Let w(f) = -f**2. Let z be w(0). Let b = -258 + 77. Let t be b/(-756) - (-11)/(-44). Which is bigger: z or t?
z
Let i(a) = 1207*a + 17991. Let x be i(-15). Let c = -3/28 - -5/14. Is c equal to x?
False
Let a be (1/3)/(114/(-18) - -6) - 102. Let r be (-1596)/15 - (-15)/(-25). Is a > r?
True
Let b = 28981 - 28980. Are -1268 and b unequal?
True
Suppose -4*x = -j - 13, 3*x = -5*j - 0*x + 27. Let t be j - (4 + 1) - -2. Let u = -11/9 + 289/207. Which is smaller: u or t?
t
Let z be ((-21)/2730)/((-3)/(-756)). Which is smaller: z or -1?
z
Suppose 0 = 4*o - 5*h + 36, -13*h = 2*o - 17*h + 24. Let n be (-1140)/150 - o*2. Which is smaller: n or -82?
-82
Let n(z) = 581*z + 8715. Let i be n(-15). Let j be (-1)/(-8)*(-4658)/(-1). Let k = -585 + j. Is i <= k?
False
Let q = 7636 + -7624. Is 131 smaller than q?
False
Suppose -5*s + 164 = 39. Let y = -15564 + 15587. Is y at least as big as s?
False
Suppose 5*m = -0*j - 4*j + 2, 0 = 4*j + 8. Suppose -9*s + 26 = -1. Suppose s*g - m = g. Is g equal to 25?
False
Let z = 1723 - 1551. Which is smaller: z or 171?
171
Let l = -5558 + 5435. Which is smaller: -129 or l?
-129
Let g(z) be the first derivative of z**2/2 + 8*z + 1. Let p be g(-4). Suppose 0 = -9565*u + 9574*u - 72. Which is bigger: u or p?
u
Let n(j) = 7*j**3 + 19*j**2 + 29*j + 55. Let q(r) = -10*r**3 - 29*r**2 - 44*r - 82. Let b(o) = -7*n(o) - 5*q(o). Let c be b(-11). Is c bigger than -40?
False
Let j = -1239/10 - -124. Let p = -419 - -418.9854. Let w = p + 0.2146. Do j and w have the same value?
False
Suppose -5*s + 3*s = -2*j, 0 = -5*s. Suppose -2*c + 56 = -j*i - i, 0 = -c + 5*i + 19. Let v = c - 96. Is v != -67?
False
Suppose 4 - 19 = -3*u. Let z = u - 3. Let j = 4969 + -4968. Which is smaller: j or z?
j
Let n(f) = -36*f + 244. Let v(z) = 4*z - 27. Let o(m) = 3*n(m) + 28*v(m). Let t be o(3). Let c be t/(-9) + (-8)/(-12). Is c smaller than 2?
False
Suppose 35 = 14*s - 119. Suppose -62*c + 51*c = -s. Which is smaller: 15/7 or c?
c
Let s = 3998 + -7805/2. Is 96 less than s?
False
Let t = 334.82 + -334.62. Which is greater: t or -36.21?
t
Let p = -8170 + 8169. Which is smaller: p or 3185?
p
Let d be 8*4*(-5)/(-6 - 4). Suppose 9*z + d = 8*z. Let h(m) = -m**3 - 15*m**2 + 16*m - 2. Let q be h(z). Which is smaller: q or -3?
-3
Let u = -689/2 - -3453/10. Which is smaller: 1 or u?
u
Let b = 3675 + -922426/251. Do b and 1/4 have the same value?
False
Let f be (126/594)/((-1)/(-18)) - 6/(-33). Which is bigger: 29/8 or f?
f
Let r be (-167948)/33588 + -6 + 11. Which is smaller: r or -1?
-1
Let h be (-10)/(-24)*(1088/80 - 13). Let k = 160 + -159. Which is bigger: h or k?
k
Suppose 8*f + 20*f = 11*f + 3791. Which is greater: f or -6?
f
Let a(o) be the third derivative of 17*o**4/12 - 4*o**3/3 - 43*o**2. Let u be a(2). Suppose 0 = -65*p + u*p - 45. Is p smaller than -5?
True
Let h(d) = -d**3 + 8*d**2 + 3. Let s be h(8). Let u be 18*110/105*(-1)/s. Is u > -7?
True
Let 