w be -1*(-15 - -16 - 3*12). Suppose -l + w = -j + 31, l + 4*j + 16 = 0. Which is bigger: l or 12/23?
12/23
Let z = -19160 + 19161. Which is smaller: z or -6522?
-6522
Let s = 517 - 513. Suppose s*k = -n - 5, k - n = -3*n - 10. Let p be 2 + ((-4)/14 - 1). Which is smaller: p or k?
k
Let u(m) = -m**2 - 11*m + 68. Let t be u(-16). Let h(y) be the second derivative of y**3/3 - 2*y**2 + 4*y. Let i be h(3). Is t less than or equal to i?
True
Suppose 0 = 3*k - 3*u + 15, -5*k + 4*u - 19 - 5 = 0. Let j be ((-135)/225)/(k/50). Which is bigger: 9 or j?
9
Let p(q) = -q**2 + 22*q - 89. Let f be p(16). Which is smaller: f or 114?
f
Let r(h) = h**2 - 3*h - 5. Let d be r(-8). Suppose d + 52 = m - 4*g, 489 = 4*m + g. Let f = 373/3 - m. Which is bigger: 0 or f?
f
Suppose -12*o + 258 = -13*o. Let v = -259 - o. Which is bigger: 2/713 or v?
2/713
Let s(j) = -115*j - 774. Let c be s(-6). Is -671/8 <= c?
False
Let m(j) = -j**2 + 27*j + 41. Let y be m(22). Let f = 150 - y. Which is smaller: f or 5/12?
f
Let q = -55 - -66. Suppose 17 + q = -2*n. Let x = -35 - n. Which is bigger: x or -0.1?
-0.1
Suppose 0 = 5*y + 2*j + 6832 + 18610, 3*j - 25437 = 5*y. Is -5089 >= y?
False
Let b be ((-15)/(-110))/(-3)*(-12)/9. Is -2/3 less than b?
True
Suppose 0 = -4*u + 5 - 9. Let d be (36/(-20))/(u - (-21)/30). Suppose -2*s - 5*n = 9, 0 = -d*n + 2*n + 4. Which is greater: -6 or s?
-6
Let h = 3071/1155 - 106/231. Let r = -1 - -2. Which is greater: r or h?
h
Let v(l) = 5*l - l**3 + 74*l**2 - 5 - 39*l**2 - 31*l**2 + l. Let p be v(5). Which is bigger: -9/19 or p?
p
Suppose 2*y - 5*d + 19 = 0, -y - d = -6*d + 22. Let n = -0.33 + -57.67. Let k = n + 64. Are k and y equal?
False
Suppose -86*v - 232 = -94*v. Let y(g) = -4*g + 115. Let s be y(v). Which is smaller: -3/46 or s?
s
Suppose 0*g + 32 = 4*g - 3*y, -2*y - 8 = 0. Suppose g*s = 5*n - 165, -4*n + 162 = n - 2*s. Let d be (-187)/9 - n/144. Is d < -22?
False
Let z be 1788/252 + (-14)/2. Let u be (101/(-5))/(2 - 4). Let v = 21/2 - u. Is v greater than z?
True
Let o be (1/4)/((-144)/64*51). Which is smaller: 1 or o?
o
Let i be ((-8)/66)/((-2)/(-36)). Let g(m) = -15*m - 106. Let z(x) = -x**3 - 6*x**2 - 5*x - 1. Let k be z(-2). Let h be g(k). Which is smaller: h or i?
i
Let w = -50 - -30. Let y(l) = l + 21. Let n be y(w). Let q be (-11)/20 + (49/28 - n). Which is smaller: 0 or q?
0
Suppose 4*t = -3*i - 441 - 87, 4*i - 3*t = -729. Let w be 1/(-10)*i/(-4635). Which is smaller: w or 1?
w
Suppose -10*q + 3193 + 527 = 0. Let z = 785/2 - q. Let l = z - 169/6. Is -7 >= l?
True
Let r be -1 + 4/(252/(-427)). Suppose 25 - 16 = 3*v. Suppose 64 = v*y - 11*y. Which is bigger: y or r?
r
Let m = -38 - -38.044. Let y = m - -28.956. Let u = y + -24. Is 0 bigger than u?
False
Suppose 1066 = -29*w - 326. Let s be (12/(-16))/((-296)/w). Which is bigger: s or 0?
0
Let v = 90.427 - -0.973. Is 2 != v?
True
Let i be (2 - 8*1) + (15964047/264)/69. Which is smaller: i or 870?
870
Let h = 25058 + -25065. Is h less than -379.7?
False
Suppose 5*q - 4*j = 1807, -5*q + 3*j = -6*q + 350. Suppose 915 = -26*m - q. Is m >= -99/2?
True
Let w be (72/(-20))/(3/60). Let t = w - -72. Suppose t = -5*p - 2*j - 4, -2 + 0 = -3*p + j. Which is bigger: 5 or p?
5
Suppose 58 = -w + 56. Let j be (-1)/w + (-255)/30. Which is smaller: j or -52/7?
j
Suppose -3*n - 3*k - 3534 = 0, n - 5*n - 4722 = 2*k. Which is smaller: -1185 or n?
-1185
Let p be 4/54 + (-246100)/2484. Is 1 greater than or equal to p?
True
Let v = -6954 + 6953.95221. Is -1 <= v?
True
Let m = 518.4 + -517.746. Does m = 6?
False
Let g = 2.3821 - 2.5821. Which is greater: g or 0.381?
0.381
Let j = 856 + -9388/11. Let k be (-3)/((-12)/8 - 0). Which is bigger: k or j?
j
Let x(q) = -q**2 + 56*q - 407. Let b be x(12). Is 2296/19 at least as big as b?
False
Let l = 0.174 + 0.826. Suppose 125 = 2*n + 3*n. Let g = n - 101/4. Which is smaller: l or g?
g
Let p = -2393 - -1039. Is p bigger than -1354?
False
Let p = -9.529 + -0.171. Let a = p - -49.7. Let l = a + -3. Which is smaller: l or -0.1?
-0.1
Let n = -29022/5 + 27669/5. Which is smaller: n or -272?
-272
Suppose 0 = -40*f + 1723 - 1683. Are 2/4245 and f unequal?
True
Suppose 5*b + 5964 = 20*d - 16*d, -d + 3*b + 1484 = 0. Is d at least as big as 1495?
True
Let l = 3 - 11. Let g(u) = -u**3 - 9*u**2 - 22*u - 65. Suppose 2*i - a = -14, 29*i = 27*i - 5*a - 14. Let x be g(i). Is l < x?
False
Suppose 0 = -47*m + 72*m. Which is smaller: -2/6115 or m?
-2/6115
Let q(t) = -t**3 - t**2 - t - 16. Let g be q(-8). Suppose -17*r + g = -87. Which is bigger: -2 or r?
r
Suppose 5*w - 29460 = 32*u - 36*u, -3*u - 23599 = -4*w. Is w at most as big as 5896?
True
Let x = -3872.12 + 3872. Which is greater: 73 or x?
73
Let z = -45.74 + -0.26. Let y = 7995 + -7994.9. Is y != z?
True
Let z(n) = -577*n - 42. Let c be z(-6). Suppose c = -6*j + 3*j. Let s = -10214/9 - j. Which is smaller: s or 5?
5
Let i = -138 + 121. Suppose -6*j + 9*j - 12 = 0. Suppose -k - 8*v - 38 = -3*v, -j*k = -2*v + 64. Which is bigger: k or i?
i
Suppose -317*o - 46*o - 302*o = 237*o. Let u be (4/722)/(-1 + 2). Does u = o?
False
Let a = -2512 - -2815. Which is greater: a or -8?
a
Let w(m) = -m**3 - 27*m**2 - 2*m - 58. Suppose -11*d - 108 = -7*d. Let a be w(d). Let n be 32*(-1)/9 - a. Which is greater: -1 or n?
n
Let r = -3009 + 2952. Is r != -75?
True
Let v be -14 - (-1491)/(-63)*45. Is -1089 less than or equal to v?
True
Let c = 21867/274 - -780/137. Let o = -160 - -246. Is o > c?
True
Let r be 1*1/(-2)*(-59 + -7). Suppose -r*j = -21*j + 24. Is -31/19 bigger than j?
True
Let i = 126.92 + -176.4. Is i greater than or equal to 1?
False
Let b = -153815251/324114 - -1/46302. Which is bigger: -475 or b?
b
Let k be ((-53310440)/(-42))/4 - 0. Let c = k - 317200. Let w = c - 124. Are 0 and w unequal?
True
Let d(t) = -36*t - 4. Let i be d(2). Let v be 2960/(-38) - (10 + (-2444)/247). Which is smaller: v or i?
v
Let j = -1 - -5. Let o(m) = -m. Let v be o(j). Let z = 3466478 + -3466479.1. Does z = v?
False
Let p = 429.55013 + -0.05013. Which is greater: p or 2/7?
p
Let d = 146.097 + -146. Let j = 0.197 - d. Is j greater than or equal to 130?
False
Let j = -3588 + 2081041/580. Is -3/4 less than j?
True
Let v = -19866 - -21801. Are 1934 and v unequal?
True
Let z be 0/(-14 + 10) - -264. Is 236 <= z?
True
Let w be 1 + (1347 + -2 - -2). Let a = 4007/3 - w. Suppose 5*z + 38 = -3*j, 16986*j + 4*z = 16987*j + 7. Is a >= j?
False
Let d = -1762 + 835.23. Let g = 927 + d. Let b = 1 + 1. Is g <= b?
True
Let x(u) = 2*u + 4. Let t be x(10). Let q = 37895 - 416569/11. Are q and t non-equal?
True
Let k = 65 + -32. Let s be 1/(-3) - (-143)/k. Suppose s*u + 31 = -65. Are u and -26 nonequal?
True
Let m = 43 + -93. Let t = m - -86. Suppose 2*x = -3*j - 24, 3*j + x = 3*x - t. Which is bigger: j or -11?
j
Suppose -5*o + 0*u = 4*u - 2730, 0 = 4*o + 5*u - 2193. Let d = 527 - o. Let w = -36 - -22. Does w = d?
False
Suppose -3*j + 3*d - 6 = 0, -d = -1 - 3. Let z(q) = -3*q**j - 5*q + 6*q - 10 - 18*q. Let u be z(-5). Is -2/17 bigger than u?
False
Let o be (1513/2314)/((-5)/(-30)*219). Which is bigger: -1 or o?
o
Suppose -4*n - 827 = 933. Let z(v) = -v**3 + 10*v**2 + 6*v - 225. Let y be z(12). Which is greater: y or n?
n
Let a = -6 + 8. Let c = -689.56 - -675.5196. Let x = -0.0404 - c. Which is greater: x or a?
x
Let n(u) = -u**2 + 17*u - 29. Let o be ((-10)/2 + 0)*-3. Let q be n(o). Let g be 0/(q/(-1)*4). Which is greater: -4/9 or g?
g
Let l(c) = -c**3 - 11*c**2 - 12*c - 22. Let f = -292 + 282. Let b be l(f). Is -8 > b?
False
Let j = -10258.5 + 10710. Which is smaller: 0.2 or j?
0.2
Let o be ((-13)/(45747/(-27)))/(6/4). Suppose 0 = -7*h + 8*h. Is h > o?
False
Let z be (-2992)/(1*2)*(6/(-2) + 4). Which is smaller: z or -1493?
z
Let c be (0 + 3/5)/(16/80). Let z be 21/(-294)*(10970/c + -2). Let f = 261 + z. Which is greater: f or 1/3?
1/3
Let v be 722/6 + (-1)/3. Let p = -15611 + 15731. Is v at least p?
True
Let v be (-1)/(((-3)/(-30))/((-4)/(-10))). Let u be (v/16)/(18306/(-4584) - -4). Is u >= -37?
False
Let c(b) = b**2 + b + 5. Let w be c(-3). Suppose 262*h - 7 = 261*h. Is w at least as big as h?
True
Let z = 946.3 - -2010.7. Which is smaller: z or 2/15?
2/15
Let l be (108/5)/(5/25). Let r be (((-8)/3)/2)/((-144)/l). Let o = 17265/476 + -254/7. Is r at most o?
False
Let w be