 b**3 + 19*b**2 - 20*b. Let g be z(-20). Let u be ((-7)/82)/(6/(-544)*-8) - -1. Which is greater: u or g?
u
Let t be (-12*8/(-64))/(1/2). Suppose -x + 11 = -t*g, 0*g + 1 = -3*g - x. Let d be (4 - (g + 6)) + (-16)/(-12). Is 0 greater than d?
False
Let h be 9/(-12) - (4 - (-78)/(-8)). Suppose q + h*c = -21, 0 = -5*c + 8 - 28. Let y be (-33)/33 + (q - (-159)/80). Which is smaller: y or -1?
-1
Let k = -150 - -152. Are k and 50 non-equal?
True
Suppose 0 = 2*l + 3*k - 38, 5*l - 25 = 5*k + 20. Let x be (-9 + (-1947)/(-220))/(l/(-5)). Which is bigger: 1 or x?
1
Let r be -20*((-24)/15 - -1). Suppose 0 = -r*g + 13*g + 19. Suppose 0 = -6*c + 10*c + 72. Which is bigger: g or c?
c
Let n = -9 + 19. Let l be (-38)/(-399) - (-584)/42. Let o(k) = 4*k - 46. Let w be o(l). Is n at most w?
True
Let r = 20 - 1. Let j be 6/(-2 - 0) + 6. Suppose -k - 40 = -j*k. Is r equal to k?
False
Suppose -2*z - 26 = -4*x, 0 = 2*x - 4*z + z - 15. Suppose x*f - f = 4*i - 3, 4*f + 9 = i. Let w be 1/f*0/((-4)/2). Which is greater: -5/8 or w?
w
Let h = 248 - 247.9. Let o = 132.982 - 133. Which is bigger: o or h?
h
Suppose -77*x = -75*x - 4*k - 28, -k - 25 = -5*x. Suppose 0 = -x*n - 3*r - 840, r = 6*r - 20. Which is smaller: n or -212?
n
Let f = -614 - -1044. Let n be f/25*-5*2/4. Is -128/3 smaller than n?
False
Let l be 1/10*86 - 9. Let i = 249 - 224. Which is smaller: i or l?
l
Let t(y) = -y**3 + 13*y**2 - 5*y + 13. Let r be t(7). Let m = -179 + r. Are m and 94 nonequal?
True
Let w(m) = -2*m**2 + 5*m - 11. Let c be w(13). Let v = c - -1985/7. Which is smaller: v or 1?
v
Let a = 167165178/3253 - 51388. Do a and 0 have different values?
True
Let w = -67 + 71. Let r be (1 - (-7)/7)*30/w. Suppose 0 = -5*p - 17 + 102. Which is greater: p or r?
p
Let j = -12719 + 12720. Is j at most as big as -2/13209?
False
Let r = -0.43 - -0.435. Let z = -1.005 + r. Let h = z - -1. Is h less than 64?
True
Let n = -3986 - -3957. Let f = 1 - 1. Suppose 0*u = 2*u + 10, f = -2*b - 4*u - 76. Is n less than b?
True
Let r be 3/(-5) + 54/(-10). Let l be -9 - 264 - 42/r. Is l < -264?
True
Suppose i - 2*a + 290 = 0, 0 = -18*i + 19*i - 4*a + 294. Which is bigger: i or -862/3?
i
Let p = -9162 - -8488. Is -677 at most p?
True
Let x be (-104)/39*6/(-4). Let l be (-3)/2*(x - 0). Let i be ((-1)/2)/(15/l). Which is smaller: i or 1?
i
Let w(c) be the third derivative of -c**5/30 - 9*c**4/8 + 43*c**3/6 - 20*c**2 - 2. Let n be w(-15). Is n at most -10?
False
Let n(y) = y**2 - 3*y - 3. Let i be n(5). Suppose 13 + 1 = i*o. Let z be ((-232)/(-28) - 8)/(2/13). Is z at least as big as o?
False
Let v = -25379/38055 - -3/12685. Which is greater: v or -7039?
v
Let t be ((84/(-8))/7)/21. Let u = -44 + 44. Suppose u = 6*i - 4*i + 2. Which is smaller: i or t?
i
Let q(c) = 2*c - 6*c + c + c. Let n be q(0). Let i = 65/6 - 3866/357. Is n at least i?
False
Let t = 2.6432 - -0.3308. Let j = t - 3. Let c = 2.026 + j. Is c <= -5?
False
Let s be 139/1251 - (-3023)/(-27045). Which is bigger: s or -1?
s
Let w = 23 + -22.965. Let g = 1.007 + w. Let i = -0.042 + g. Which is smaller: 1/14 or i?
1/14
Let s be 4978/3 + 16 + 16 + -27. Is 1665 != s?
True
Let d(q) = 962 - 1120 + 6*q + q. Let f be d(19). Which is smaller: f or -28?
-28
Suppose -3*i - 33 - 159 = -3*m, 4*i - 122 = -2*m. Let d = m - 59. Suppose 4*f + 20 = -d*q, 4*q + 20 = -f - 4*f. Is f smaller than -2.1?
False
Let b be (-88 - -85) + (2 - 106298/(-106296)). Let v = -108583/121549476 + b. Is -1 smaller than v?
True
Let j = -10 - -8. Let s be (j + 2)/(0 - 1). Suppose -30 = 68*g - 65*g. Which is greater: s or g?
s
Let t(d) = 4*d**2 + 8*d - 4. Suppose 3*p - 14 = 8*b - 3*b, -10 = 3*p + b. Let c be t(p). Which is bigger: c or 2?
2
Let r be 0 - (-2 + (-278)/(-142)). Let u = 92009 + -92008. Is u greater than r?
True
Let q = -1904/5 + 89438/235. Let y be 4/8 + 2/(-4). Which is bigger: q or y?
y
Let j = 94 + -82. Suppose 0*z + j*z - 120 = 0. Suppose -z*t = 6*t + 240. Which is smaller: t or -17?
-17
Let v = 1275912/5 - 258221. Which is bigger: v or -3040?
v
Let s be 55 + -52 - (-3548)/(-65). Let w = -261/5 - s. Let g be 8/(-36) + (-7)/9. Which is greater: w or g?
w
Let u(y) be the third derivative of y**6/60 - 13*y**5/60 + y**4/4 + 2*y**3 - 2*y**2 + 7*y. Let t be u(6). Which is bigger: t or 9?
t
Suppose 0 = 54*w - 25*w - 1479. Suppose -156 = -7*a + 4*a. Is a != w?
True
Suppose -u + 2 = 4, 3*j - 2*u - 88 = 0. Let c(v) = 7*v - 28. Let r(n) = -13*n + 56. Let d(q) = -11*c(q) - 6*r(q). Let p be d(j). Which is smaller: 4/53 or p?
p
Suppose 12 = 4*x - 2*x. Suppose -4*k + 33 = -j, x*k = -j + 3*k - 40. Suppose u = -25 - 13. Which is smaller: u or j?
u
Let n(k) = 50*k**2 + 22*k - 15. Let m be n(6). Let u = m + -9524/5. Is 13 less than u?
False
Suppose 0 = 2*y - 4*x - 20, -x + 2 + 4 = 5*y. Let b be ((y + -2)/3)/(-1). Let n = -6258 - -569480/91. Which is greater: b or n?
n
Let i = -2.51 + 2.586. Let s = -3.824 - i. Is s at least as big as -2?
False
Let a = 1 + -1. Let s = 1111 + -1063. Suppose a = s*g - 45*g + 6. Does -9/7 = g?
False
Let m(j) be the second derivative of -j**5/20 + j**4/2 - 2*j**3/3 + 9*j. Let i be m(4). Let b be 8/i - (-230)/4. Is b at most 58?
True
Let g be (21 + -15)*4 + (11 - 143). Suppose 0 = p + r + 109, 5*r - 513 = 5*p + 2*r. Which is bigger: p or g?
p
Let n be (0 + (-20)/(-25))*(0 + -13625)/1. Are n and -10900 non-equal?
False
Let x = 19126777/7010 - 5457/2. Which is smaller: 1 or x?
x
Let r = -0.06039 - 0.03961. Is r equal to -26/41?
False
Suppose 0 = 3*f + 967 - 208. Let k = -3799/15 - f. Let d = 2631.18 + -2631.18. Which is smaller: d or k?
k
Let i be (-3240)/(-6975) - 2/31. Let c be (-2)/9 + (-2)/(-9). Is i less than c?
False
Let f be (0 - (-24)/(-5))*5. Suppose y - j + 2 = -3*j, 4*j = -5*y - 34. Let a be y/35 + (-720)/28. Do f and a have the same value?
False
Let y = -734/3 + 241. Suppose 1 = -c - 4. Is c greater than or equal to y?
False
Let z(w) = -3*w**2 - 37*w + 18*w + 115*w. Let d be z(32). Let c be (4/(-18))/(40/(-12)). Is c <= d?
False
Let w = 0.1662 - -0.0338. Let p be (-4)/(-3)*54/(-6). Is p bigger than w?
False
Let t be -12 - 1 - 675/(-75). Which is greater: -957 or t?
t
Suppose 77 = -2*t - 2*a + 61, 0 = -2*t - 4*a - 20. Is -32/97 at least as big as t?
True
Let s be (-1)/13 + (-10776)/13. Let z = s + 920. Is 91 >= z?
True
Suppose -4*x = -4*o + 888, x + 662 = -2*o + 5*o. Let h be (10736/o)/((-14)/15). Which is smaller: -52 or h?
h
Let m be (7492 - (2 - 5)) + -2 + -5. Suppose -22*f + 206 = m. Is f less than or equal to -333?
False
Let z = 9562 - 4340. Is -1/4 at least as big as z?
False
Let v be (-46)/(-14) - (1 + 20/(-28)). Suppose -11 = -k - v*x, 0*k + 3*x = 4*k - 14. Suppose -5*c - 4 = m, 0*m + k*c = -5*m. Is m at most 3/37?
False
Let n(y) = -y**3 + 6*y**2 - 5*y + 7. Let t be n(8). Let g be (4 - 0) + t/(-1). Suppose 5*h - g = 5*j, -2*j = -6*h + h + 171. Which is greater: 34 or h?
h
Let r be 18 + -7 + 2 - 13. Which is greater: r or -1?
r
Let j(i) = -17*i + 28. Let t be j(2). Let l be 2 + 1/(2/t - 0). Is 5/68 > l?
True
Suppose -o = -0 - 4. Let x = -145 + 153. Which is smaller: x or o?
o
Let r(u) = -6*u - 40. Let f(g) = -1. Let i(v) = 4*f(v) - 2*r(v). Let w be i(-6). Do w and 4 have different values?
False
Let b be 1/(-15 + 4) + (-24660)/(-99) + 9. Are b and 261 equal?
False
Let u = -432015951014/131 - -3297816216. Let m = 157245626/11397 + u. Let f = m - -1674. Which is smaller: 0 or f?
f
Suppose -r = 5*y - 63, r + 8 + 20 = 2*y. Which is smaller: y or 15?
y
Let x(u) = -u**2 + 19*u + 19. Let f be (800/(-180))/((-2)/9). Let q be x(f). Is q less than 54?
True
Let q = 0.1642 - -4.7358. Let t = 2.94 - 0.04. Let w = t - q. Is w at most -1/2?
True
Let v = -120.8374 + -0.2626. Let x = v - -120. Let q = x + 1.3. Which is smaller: q or 2.6?
q
Let x(f) = 71*f + 17. Let w be x(18). Suppose -3*n + w = -10*n. Let y = n + 568/3. Which is smaller: 5 or y?
y
Let c(m) = 27*m + 997. Let t be c(-35). Are 5 and t non-equal?
True
Let x = -45542960844431/29822 - -1527159843. Let f = x - -1/806. Which is greater: f or 1?
1
Suppose 35*z - 40*z = -4*o + 675, o = 5*z + 150. Are o and 147 equal?
False
Suppose -11 = -g + 3*p - 13, -7*p = 5*g - 34. Let v = 90234/13 - 6936. Is g at least as big as v?
False
Let a be 2*-3*(-7)/(-42). Suppose -4*q + 4 + 12 = 0. Let d be ((-42)/(-9))/(q/12 + a). Which i