718. Let l = 75.023 - 0.023. Which is smaller: l or w?
w
Let n = -25552 + 24383. Is n smaller than -1166?
True
Let i be ((-38)/(-114))/((-6)/(-18)). Do -41/311 and i have the same value?
False
Suppose -7*o = -6*o + y - 107, 0 = -o + y + 109. Let j be (o/21)/(304/280). Which is greater: j or 4?
j
Let h = -11694 + 128512/11. Let i(j) = 8*j**2 - 123*j - 92. Let x be i(16). Which is smaller: x or h?
x
Let g be (-4)/6*3*181. Let v = 80772/91 + -16256/13. Let r = v - g. Which is smaller: r or -1?
-1
Let u be (-754)/234 - 32/18. Which is greater: u or 27?
27
Let p(v) = -9*v**3 + 10*v**3 + 6*v**2 + 2*v + 5 + 0. Let m be p(-6). Let w(x) = -x**2 - 191*x - 748. Let k be w(-4). Is m at most k?
True
Suppose -41225 = 69*k - 2240. Which is bigger: -3958/7 or k?
k
Let w = 9/464 + -45053/2320. Let p(l) = -l**2 + 77*l - 1460. Let u be p(45). Which is greater: u or w?
w
Let t be (-2)/((-9724)/(-21867)) - 1/2 - -5. Which is smaller: -1 or t?
-1
Let u(q) = -q**3 - 24*q**2 + 19*q + 21. Let i be u(-25). Let l = i + -2913/17. Which is bigger: l or 1?
1
Let n = 103 - 103. Suppose -32 = -4*p - 0*b + 5*b, 0 = 3*b. Suppose -36 = -4*d - 4*o, p*d + o - 33 = 3*d. Is n smaller than d?
True
Let l = 6/137 + 2138/1233. Do l and 3 have the same value?
False
Let o = -6508987/81 - -80359. Is o greater than or equal to 2?
False
Let w be (-5674)/4 + 8 + -12 - (-36)/24. Is -1421 less than w?
False
Let u = 6120.69 + -7.69. Let x = 6109.901 - u. Let a = x - 0.101. Is 1/3 less than a?
False
Let c = -201/1396 - 37/349. Is c less than 909.3?
True
Let k(o) = 27*o - 21. Let r be k(1). Suppose 0 = -r*d - 510 + 516. Which is bigger: d or 3/79?
d
Let q(s) = s**3 + 3*s**2 + 3. Let g be q(-3). Let d be (6 + -6)*(g - 2)/1. Which is smaller: d or -9/8?
-9/8
Let g = -11657 - -14302. Do -2/3 and g have the same value?
False
Suppose -3*s - 3*j + 0*j = -153, -133 = -3*s + j. Let o = 86 - s. Suppose v = z + o + 1, 4*v = 5*z + 161. Is v at least as big as 43?
True
Let x = 113 + -61. Suppose 0 = 53*u - x*u - 12. Which is bigger: u or 2/9?
u
Suppose -5*i + 5 = 0, -40 = 4*t + 2*i - 6*i. Let k be 1 + (0 - 3 - t). Let b = 453 - 445. Which is smaller: k or b?
k
Suppose -2*s - 5*u = -18, -711*s + 712*s = -u. Which is smaller: s or 5?
s
Let y = -20066 - -2247407/112. Let n = 3451/304 - 186/19. Let h = y - n. Is -1 equal to h?
False
Suppose 55 = -2*u - 3*u + 5*x, 65 = -5*u - 5*x. Let r be (1 - 2/(-22))/(u/(-6)). Which is greater: r or 0.5?
r
Suppose 0 = -738*z + 715*z - 46752 + 463213. Which is smaller: -1 or z?
-1
Let w = 18570 - 20919. Which is bigger: w or -2351?
w
Let c = -26/59 - -300/413. Let v = -19 - -20.4. Which is greater: c or v?
v
Suppose 0 = -16*j + 21*j + 15, -5*x = j + 18. Is x <= 3?
True
Let m = 4.2961 + 8.7039. Let v = 3.4 - 0.4. Which is smaller: m or v?
v
Suppose -33*f + 2*f + 54*f = 1748. Let z(n) = -9*n**3 - 1. Let p be z(-2). Let q = p - f. Which is bigger: -28/5 or q?
q
Let z be (12/(-8268))/(15/30). Let b be -1 - 1*(-3)/3. Is z less than or equal to b?
True
Let i = -30 + 15. Let r = i + 0. Let h = r - -13.9. Which is greater: -0.1 or h?
-0.1
Let c be (6/1656)/((-42)/(-16)). Suppose x + 8 = t + 14, -2*t = 12. Is c at most x?
False
Let y(h) = 15*h + 168. Let d be y(-11). Let j(i) = -17*i + 1. Let u be j(-1). Suppose -r = 3*f + 8, -d*f - 2*r - u = r. Is f at most -4/35?
True
Let z = 26917.49 + -26774. Let l = 0.51 + z. Which is smaller: l or 0?
0
Suppose 0 = m - 1 + 4. Let a(i) = -4*i**2 - 7*i + 6. Let p be a(1). Is m smaller than p?
False
Suppose 23*u = 22*u - 18. Let h be 4/6 - (192/u)/2. Is 33/7 bigger than h?
False
Let t be 10/(-10) + 1*3. Let m be 14 + (5 - 12) + -3. Suppose 110 - 18 = 4*u + 2*z, -46 = -t*u - m*z. Are 21 and u unequal?
True
Suppose 3*x + 2*k = -292 - 650, -x + 4*k - 328 = 0. Which is smaller: x or -317?
-317
Let d be 15/6*35/1. Suppose -455 = -5*h - 5*a, -h - 55*a + 85 = -56*a. Which is smaller: h or d?
d
Let l be 1 + 32/24*18/(-4). Let a be (l + 21/6)*(-56)/6. Which is smaller: a or 61/4?
a
Suppose 3*b + 1 - 9 = d, -4*b = 4*d - 16. Suppose -5*q + b*t - 33 - 7 = 0, 0 = 3*q + 2*t + 24. Is -34/5 less than q?
False
Suppose -4*m = -3*n + 4381 - 1318, -12 = -4*m. Which is smaller: n or 5121/5?
5121/5
Suppose 0*b + 12 = -2*h - 3*b, 5*h + 5*b + 20 = 0. Suppose -g + 5*a + 26 = -h*g, -7 = -2*g + a. Let l be g*3/(-126)*2. Which is bigger: l or 0?
0
Let f = -3076205812/16891 - -182121. Are f and 0 unequal?
True
Let f(p) = 18*p + 54. Let n be f(-3). Suppose -4*h = -n*h. Which is bigger: -4/3 or h?
h
Let s(y) = -2*y**2 - 108*y + 27. Let b be s(-53). Let h = 55 - 54.9. Which is smaller: h or b?
h
Let l(c) = -51*c - 145. Let n(a) = 32*a + 97. Let d(h) = 5*l(h) + 8*n(h). Let w be d(-52). Let i = 119 - 176. Is i < w?
True
Let o(h) be the third derivative of -7*h**4/24 - 2*h**3/3 - 9*h**2. Let a(m) = 7*m + 3. Let v(n) = -2*a(n) - 3*o(n). Let b be v(-2). Which is bigger: b or -9?
b
Let v be ((-2)/1)/(460/138*21/70). Let x = 0 - -0.25. Is x at most v?
False
Suppose z + 643 = -4*q + 4*z, -3*z - 637 = 4*q. Let m = 9104 - 9263. Which is smaller: m or q?
q
Let h be 33/22*1180/3. Let p = -676 + h. Is -256/3 greater than p?
True
Let j = -1823 - -1824. Let i = 0.03 - 1.33. Let t = i + 1.33. Which is greater: j or t?
j
Let z be 180/85 + -2 - ((-549080)/(-119) + 11). Is z greater than -4626?
True
Let a = -1.56 + -2.6. Let x = a - -177.16. Is -1/4 bigger than x?
False
Let c be (-1 + (-13)/(-7))*(-109)/((-1308)/(-4536)). Are c and -312 equal?
False
Suppose -2*n = 3*n + 4*r + 4, n = 3*r - 16. Let g(f) = f**2 + 5*f + 17. Let d be g(n). Is d not equal to 13?
False
Suppose 0 = -0*w - 2*w + 1472. Let t = 60468 + -59731. Which is smaller: t or w?
w
Let y = 43/4 - 185/8. Which is greater: y or -12?
-12
Let h = 5101403755/16437 + -310361. Is h < 0.2?
True
Let h be (72/(-45))/(12/270). Let w be (-628)/90 + (-252)/h. Which is smaller: w or 1?
w
Let n = -0.495 - -0.385. Which is bigger: n or 0.59?
0.59
Suppose -4*r + i + 24 = 6*i, 20 = 5*i. Let a(j) = -174 - 29*j + 294 - 121 - 149. Let k be a(-6). Which is smaller: r or k?
r
Suppose -4*v + 4*g - 40 = 7*g, g = -3*v - 25. Let a(c) = -8*c - 16. Let k be a(v). Let z be k/(-9) - 24/(-6). Which is greater: 1 or z?
1
Let b = 0.034 - 218.034. Let w = b + 217. Which is greater: w or 98?
98
Let q = 6200 + -6169. Is q < 297/10?
False
Let z = -355 + -28. Let b = 373 + z. Which is smaller: -8 or b?
b
Let h = -90 + 43. Suppose -u = -10*a + 3, -2319*u = -5*a - 2322*u + 26. Which is greater: a or h?
a
Let u = -62015 - -95574. Is u != 1?
True
Suppose 96334 = 240*d - 226*d. Is 6881 > d?
False
Let r(s) = 8*s - 252. Let k be r(15). Is -263/2 smaller than k?
False
Let o be 656/(-120) + 5 + (-18)/(-27). Let t be 1 + 1 + 19/(-5). Which is greater: t or o?
o
Let y be ((12/30)/(1/14))/((-7)/(-70)). Which is smaller: y or 329/6?
329/6
Suppose 1373*a = 1133*a. Is a != -411?
True
Let r be -2 - ((-8)/1900*65 + -2). Is r equal to -1?
False
Suppose 4*d + 19*t - 2507 = 22*t, -3*d = 3*t - 1854. Which is bigger: d or 624?
624
Let h(o) = -6*o**2 + 246*o - 3537. Let t be h(17). Which is greater: 0.04 or t?
0.04
Let n = -37486.564 - -37574. Let p = n + -0.436. Which is greater: 0.2 or p?
p
Let t be 0 + -2 - (-120)/500*10. Let i = -0.306 + 0.549. Does t = i?
False
Let j be (-2 - (-33)/9)/(47/(-282)). Let m be (-6)/(2232/1869) + j/(-2). Is -1 not equal to m?
True
Let n be 497046/(-2979900) + 2/12. Which is smaller: 1 or n?
n
Let u be (-304502)/2167110 + (-4)/66 - (-3)/15. Which is smaller: u or 1?
u
Let a be 15/2*(8/6 + (-272)/(-187)). Does a = 21?
False
Suppose -4 = -23*r + 19*r. Let a be 62/6 - (r - 1 - -1). Let j be (-24)/(-6) + 1*4. Which is greater: a or j?
a
Let j = 2595/406 - 89/14. Let l be (-1)/(-2) - (-48)/(-290). Let a = l - j. Is 1 != a?
True
Suppose 2*u - 21 = -3*l, -5*u = 4*l - 2*u - 29. Suppose 0 = -3*q - l*w + 14, q - 5*q + 8 = 4*w. Let a be 3 + (-2 - (-2)/q). Which is smaller: 0.05 or a?
a
Let x = 4480 - 3763. Which is smaller: 713 or x?
713
Let b = 972 + -966. Suppose -19*j - 775 = b*j. Is j > -29?
False
Let r = -2.45 + 1.75. Suppose -40 = -4*n - 12. Let v be -3 + 0 + -5 + n. Is r at least as big as v?
True
Suppose 0 = q - 2*q - 3. Suppose 6*j - 165 = -81. Let k be j/105*5*-6. Which is bigger: q or k?
q
Let a = 2195 + -2195. Let i = 14.5 - -2.5. Let g = i + a. Are g and -0.1 e