+ 697/17. Which is smaller: u or b?
u
Let k(b) = -b**2 + 11*b - 16. Let q be k(9). Let i = -6 - -10. Suppose -3*v + 0*r + 2*r + q = 0, -i*v + r = -1. Which is bigger: v or -2/31?
v
Let b = 872.96 + -41.96. Do b and -1 have the same value?
False
Let b = -5226.5 - -5226. Which is smaller: b or -0.139?
b
Suppose -8*v - 45 - 1011 = 0. Let b be 5*(-21*v/(-90) + -1). Is -159 > b?
False
Let c = 0.2653 - 0.1753. Which is smaller: c or -24?
-24
Let f = 160/553 - 905508/2765. Is f < -328?
False
Suppose 5*s - 2480 = -10*g + 15*g, 2*g - 2944 = -6*s. Which is greater: s or 486?
s
Let y = -178.83 - 1.17. Let x = -179.921 - y. Is x < 0.2?
True
Let n = 1501/2 + -44993/60. Which is smaller: n or 1?
n
Let t(y) = 3 + 7*y**2 + 2 + 0 - 3 + 4*y. Let u be t(-1). Is u equal to 1?
False
Let x be 1/(-6) + 306/(-108) + -71. Suppose 3*o + 234 = -3*n, -105 = -4*o - n - 402. Which is smaller: o or x?
x
Let l = -22 - -11. Let k be -2*(-5)/(5/l). Let n(c) = c**3 - 7*c**2 + 3*c + 15. Let d be n(4). Do k and d have different values?
True
Let g be 3/(12/(-38))*(-2322)/45. Which is smaller: g or 490?
490
Let b = 5 - -13. Let c(u) = -u**3 + 19*u**2 - 19*u + 7. Let t be c(b). Let g = -416 + 401. Is t greater than or equal to g?
True
Let z(a) = 4*a**2 + 4*a + 1. Let q(v) = 5*v**2 + 4*v + 2. Let k(t) = -3*q(t) + 4*z(t). Let w be k(-6). Suppose w*d = 5*d + 85. Is 15 > d?
False
Let h = -16/129 + 763/258. Does -2/11 = h?
False
Let z be 46192/(-720) - 48/(-30). Is z at least as big as -64?
True
Let u = 340 + -237. Let k = u - 75. Let a be 28/42 + k/(-33). Is a greater than -1.2?
True
Let w(f) = -111*f**2 + 7*f + 110*f**2 - 6 + 25. Let z be w(-2). Which is bigger: 2/775 or z?
z
Let f = -31742 - -349396/11. Which is bigger: f or 6?
f
Suppose -5*a - 5 = -50, 4238 = 2*q + 2*a. Which is smaller: 2116 or q?
q
Suppose -23*g = -43*g - 32*g - 11076. Is g at least -1285/6?
True
Let o = -251737/144 + 5245/3. Let x = -3231/16 - -202. Let q = o + x. Which is bigger: q or -6/17?
q
Suppose 12 = 6*n - 2*n - 3*b, -4*n + 12 = -5*b. Suppose -4*u = -10*k + 5*k - 861, 5*u = n*k + 527. Is -169 != k?
False
Let t = -8266 - -8275. Is t greater than or equal to 1599?
False
Let q be (0 - -2)*-7*3. Let i(s) be the first derivative of 27*s**2/2 + 256*s + 115. Let r be i(-11). Which is bigger: q or r?
r
Let m = 1110 - 1109.62. Let p = -19/15 + 13/30. Which is bigger: p or m?
m
Let r = 2013 + -1866. Which is bigger: 36 or r?
r
Let v = -85 - -85.019. Let l = v - -0.055. Let q = l - 0.174. Which is smaller: 3/7 or q?
q
Suppose 3*q - 5 = -2. Let x be q/((-6)/294) + -1. Is 0 less than x?
False
Let t be 44/(-20) - 1/(-5). Let s = 1 + t. Let r = 37653 + -37653.5. Which is greater: r or s?
r
Let a be (-196)/(-606) + ((-48)/(-792))/((-2)/(-22)). Is a greater than or equal to 0?
True
Let k = -521 - -520. Let r = 15991/65 - 246. Are k and r non-equal?
True
Let q(o) = 51*o**2 + 162*o - 499. Let h be q(3). Which is smaller: h or 438?
438
Let v(d) = -d + 13. Let t be v(-37). Let z be (20/(-6))/(-10) - t/(-12). Is 3 not equal to z?
True
Let p be 0 + -2 - (96 + -102)*2/4. Let t = 3549/3910 + -3/391. Are t and p equal?
False
Suppose 15470*g = 15469*g - 1142. Which is smaller: -1143 or g?
-1143
Suppose 10 = -2*z - 4*k, 21*z + 2*k - 15 = 16*z. Suppose -584 - 321 = z*w. Is -181 less than w?
False
Suppose 0 = -2*s + y + 200, s + 0*y = 2*y + 94. Let j = 141 - s. Let d = j - 37. Which is greater: d or 8/7?
d
Let d be ((-20)/(-15 - -35))/(-13). Which is greater: d or -73?
d
Let d = 5969.69 - 5967. Which is greater: -0.01 or d?
d
Let v(x) = -x + 1. Let r be v(-3). Let m be ((-2)/r)/(1/(-40)). Let h = 1/231 - -8545/462. Are h and m equal?
False
Let p be (19 + 3)*(-2 - 153/12). Let d = 324 + p. Which is greater: d or 46?
46
Let b = -1.23 - 0.17. Let g = 2.4 + b. Let t = -0.24 - -0.04. Is g less than t?
False
Let m = 3008 - 2910. Is 7 less than or equal to m?
True
Let q = 142/21 + -724/105. Let m be (2 - 0)/(-2)*1. Which is smaller: m or q?
m
Let b(g) = 2*g**3 + 19*g**2 - 12*g - 18. Let c be b(-10). Suppose 10 - 12 = -c*w. Is w greater than or equal to 4/81?
True
Suppose -312*i + 309376 = 189*i + 104467. Is i greater than or equal to 418?
False
Let y(d) = d + 6. Let b be y(0). Suppose -4*x + b*x = 6. Let l = -6.495 + 6.695. Which is smaller: l or x?
l
Suppose 16*b + 71 = 151. Let n(v) = -v**3 + 12*v**2 - 12*v + 5. Let j be n(11). Let m be 4/j + (-165)/(-45). Is b bigger than m?
True
Suppose -2*l - 4 = -4. Suppose o + 2*g + 4 = l, -o + 0*g - 16 = 5*g. Suppose -u + 13 = -5*y - o, y = u - 1. Which is greater: y or -6?
y
Let j(n) = -91*n - 75. Let h be j(-3). Let a be 132/h*(-9)/2. Are a and -72/17 equal?
False
Let k = -21.05 + 24. Let i = k + -2.5. Let s = i - 0.05. Is 4 less than s?
False
Let r be 15*6/18 + (-987)/147. Let q = -3 + 1. Let d = q + 2.1. Which is bigger: d or r?
d
Let w be -3 - (-2 + (-164)/(-39))*477/(-6). Which is smaller: 171 or w?
171
Let v = -1808747005/10407 + 173801. Is 1 at most as big as v?
False
Let a be (-2)/((-645)/45 + 0/5). Is 0 at most as big as a?
True
Let m be 0 - ((-26)/143 + (-30080)/(-154)). Is m != -195?
True
Let g(h) = 2*h**3 + 148*h**2 + 151*h - 250. Let t be g(-73). Which is bigger: -629 or t?
t
Suppose 4 = -4*t + 8*t. Let n be 5 + -10 + 3 - (-2418)/693. Let z = -2/33 + n. Which is bigger: z or t?
z
Let p = 10395/2 + -5464. Which is bigger: p or -266?
-266
Suppose -3*u - a - 3*a = 20, -3*u + a + 5 = 0. Let m(w) = w**3 + 13*w**2 + 9*w + 17. Let j be m(-13). Let k = 1092/11 + j. Which is smaller: k or u?
k
Let j(x) be the second derivative of -x**5/20 - 4*x**4/3 + x**2/2 + 164*x. Let d be j(-16). Is d <= -0.9?
False
Suppose -521 = -7*d + 697. Is 180 not equal to d?
True
Let t(j) = -65*j**2 - 57*j**2 - 13 + 124*j**2 + 12*j. Let a be t(-7). Is 4 less than a?
False
Let c = -102 + 124. Suppose 152 - c = -2*y. Is -66 <= y?
True
Suppose -45*x + 211*x - 2819012 = 0. Does 16982 = x?
True
Let u = 3240 - 3240.007. Which is greater: 11 or u?
11
Suppose 2*t + 182 = -2*h + h, -3*h + 182 = -2*t. Let j = -70 - t. Let r(i) = i**2 + 7*i - 9. Let m be r(3). Are j and m equal?
True
Let p(x) = -3 + 5*x**2 - 6*x**2 + 20*x + 2. Let k be p(19). Let r be (k/(-4))/((-6)/36). Is r < 26?
False
Let v be ((-84)/(-66))/((-10)/(-110)). Let r(j) = j**2 - 5*j - 3. Let q be r(6). Suppose 7*l = q*l + 16. Which is greater: v or l?
v
Let x = -572959/453192 - -233/184. Which is smaller: x or 0?
0
Let t = 2.5653 - 2.5653. Is t greater than or equal to 3537?
False
Suppose -n = 2, -4*y - n - 10 = -0*y. Let s(m) = m - 2. Let v be s(5). Suppose 2*d = v*i - 11, -4*i = -i - 9. Which is smaller: d or y?
y
Let b = 169 + -171. Let t = 11 + b. Does 10 = t?
False
Let z = 2/6215 + -23649/99440. Does 1 = z?
False
Let o(a) = a**3 - 19*a**2 + 19*a - 18. Let i be ((-24)/(2 - -2))/((-3)/9). Let t be o(i). Suppose 9*j - 10*j - 27 = t. Is -55/2 at least j?
False
Let z = -0.022 - 6.938. Let v = z - -7. Is v greater than 7/2?
False
Let d = -10622 + 53108/5. Is -260 smaller than d?
True
Suppose -4*p + 43 = 3*b + p, -b + 3*p - 9 = 0. Suppose 3*n + 68 = -4*a, -5*n = -b*n + 4. Do a and 5 have the same value?
False
Let o be (-1)/((-14)/(154/11)). Which is bigger: 3/5854 or o?
o
Let k(w) = -11*w + 78. Let u be 5/((-10)/6) - -10. Let j be k(u). Which is smaller: -2/887 or j?
-2/887
Let q be 16 + 1800/56 - (1/7)/1. Which is smaller: q or -11?
-11
Let d = 4859 - 3600. Does d = 1253?
False
Let w(s) = s**3 + 15*s**2 + 9. Let u be w(-15). Let i be (2 + 1)*(-21)/u. Suppose 141 = -t + 138. Do t and i have different values?
True
Let c(i) = -14*i**3 + i**2 + 47*i + 44. Let t be c(-1). Which is greater: t or 56/5?
t
Let w = 0.0774 - -1.7226. Which is bigger: w or 114?
114
Let r be (-66)/9 - 35/21. Let c be (-12)/30 - (-4)/10 - 2. Let d be (c/3)/(4*(-5)/(-300)). Which is smaller: d or r?
d
Let g = 1/14538 + -4264481/14538. Is -292 at least as big as g?
True
Suppose 185 = -2*g + 5*s, 8*g = 5*g - s - 320. Is g less than or equal to -102?
True
Let d = -75 + 79. Let h be (-1)/(d - 11/3)*1. Suppose 8 = -4*y, 3*y + 6 = s - 2*y. Is s smaller than h?
True
Let h be (1104312/84)/11*(-1)/(-2). Let z = h - 597. Which is greater: z or 0.1?
z
Let n(l) = 5*l**2 - 11*l + 20. Let y(v) = -14*v**2 + 32*v - 59. Let d(r) = -17*n(r) - 6*y(r). Let t be d(8). Let g be (-54)/t - 3/5. Is 3/10 equal to g?
Fa