16.024. Let d be (6/(-18))/(4/(-6)). Let b = -1 + d. Which is smaller: b or g?
b
Let a be 48/60 - 3/(-5)*81746/(-42). Which is greater: -1169 or a?
a
Suppose -3*z + z + 2 = 0. Suppose z = -0*d - d. Which is smaller: d or -1/24?
d
Suppose -4*b = 2*n - 26, 3*n + 2*n - 5*b = 20. Let s = 710 - 689. Let a be 134/24 + s/(-196)*-7. Which is smaller: a or n?
a
Let v = 65 - 22. Suppose -44 - 85 = -3*i. Is i less than v?
False
Let v = -165.387 + -2.713. Let z = 168 + v. Which is bigger: z or 2/5?
2/5
Suppose -f + 118 = -2*f + 2*d, 0 = 4*f - d + 507. Let g = f + 128. Which is bigger: g or 16?
16
Let g be (-48)/504*(304/18 - -1). Let d = g + 1268/459. Is d less than or equal to 0?
False
Let n = -1214.6 + 1223. Let v = 53 + -42.6. Let w = v - n. Is w greater than -2.7?
True
Let p = 31 + -30. Suppose 2*z - 52 = -d - 0*z, 0 = -3*d - 2*z + 144. Let l be (-180)/d - (3 - 7). Is l greater than or equal to p?
False
Let w = -40 - -77. Let o = w - 62. Let v = 42 + o. Is 16 at most as big as v?
True
Let s be 903/(-3384) - (-12)/96. Is -1 > s?
False
Let o = -131.4 - 25.6. Let a = 290 + o. Let f = a + -133.04. Does f = 4?
False
Let g = 2814 + -2814.1. Is 3/851 equal to g?
False
Suppose -144 = 26*v - 2*v. Is v <= -16?
False
Suppose -13*j - 7 = 19. Suppose 2*o = -q - 342, -q + 33 = 3*o + 376. Let w be (3/15)/(j/(q/6)). Which is smaller: 5 or w?
5
Let w be (19/3 - 2) + (105 - 110). Let s = -0.7 - -1.24. Which is smaller: w or s?
w
Suppose -2*s - r + 55 = 0, -41*s + 3*r + 95 = -37*s. Which is bigger: -2/87 or s?
s
Let j = -53 - -27. Let s = 1247 - 1269. Let r = s - j. Is r less than or equal to 0?
False
Let v(z) = -2*z**2 - 14*z - 9. Let a be v(-6). Suppose 0 = -a*p + 6*p + 48. Is p not equal to -9?
True
Let m be (-4 - (-152)/32) + (-158)/(-8). Let w = 50 - 29. Is m != w?
True
Let c(t) be the first derivative of -t**2/2 + 5*t + 5. Let h be c(0). Suppose 2*x + n = x, 0 = -3*x + h*n. Which is bigger: -2/13 or x?
x
Let p(n) = 106*n**3 + 3*n**2 - 3*n - 4. Let x be p(2). Let k = 7654/9 - x. Let o = 2 - 1.2. Are o and k unequal?
True
Let c(p) = 7*p**2 + 3*p - 2. Let i(w) = 20*w**2 + 8*w - 6. Let g(h) = -17*c(h) + 6*i(h). Suppose 15*s = 37*s + 22. Let r be g(s). Which is greater: r or 1?
r
Let f = -30181/585 - 1/117. Which is bigger: -53 or f?
f
Let b(a) = -22*a**3 + a**2 - a - 1. Let p be b(-1). Let u(c) = 3*c**2 + 32*c + 47. Let m be u(-9). Let z be (-20)/(-5) - (-4 - (13 + m)). Is z bigger than p?
False
Let d be (7 - (2 - -12)) + -4. Let f be 1042/(-4)*6/4. Let i = -402 - f. Does i = d?
False
Let z(m) = m**2 - 47*m - 4107. Let o be z(-46). Is o less than or equal to 169?
False
Let i = 32812 - 32931.1. Which is bigger: i or 13?
13
Suppose 3291 = 6*t + 3303, 2*g - 6 = 4*t. Which is smaller: g or 1/34255?
g
Let f = 225.8 - 226. Is f at most as big as 2366?
True
Let s = -6944.42 + 6928. Which is smaller: s or 3?
s
Let s(k) = -k**2 - 28*k - 23. Let g be s(-27). Suppose j = d - 2 + 4, -3*d = -j - 2. Suppose -12 = -j*y + 4. Does g = y?
True
Let x = 52316 + -52278. Suppose -29 = -2*j + 43. Which is smaller: j or x?
j
Let d(b) = -4*b**2 - 10*b + 17. Let g be d(6). Let x = g + 125. Are x and -62 unequal?
False
Let k = 346 - 334. Suppose 16*z - 108 = -k. Which is bigger: z or 14?
14
Suppose -660 = 13*u - 9*u. Let z be 85/u - (-1)/2. Let w = -62 - -61. Is w <= z?
True
Let r(u) = -u**3 - 3*u**2 - u - 4. Let b be r(-3). Let o be (47/(-1))/(b/26). Let c be o/(-104) - (-2)/8. Is -13 greater than or equal to c?
False
Let n = 94.355 - 94. Let v = n - -1.445. Which is bigger: 3 or v?
3
Let q be ((-2)/6)/(1/(-27)*3). Let v be (q + 9635/15)*7/(-5). Let k = -904 - v. Which is greater: k or -2?
k
Let i(x) = x**2 + 2*x - 2*x - 2*x. Let l be i(6). Let m be (l/(-15))/((-4)/10). Is 4 > m?
False
Suppose 116*g - 481 = -53 + 500. Is 318/43 > g?
False
Suppose -12*d + 228 = -48. Suppose -d = -5*l + 22. Which is bigger: l or 1?
l
Let c = 5726 - 5902. Which is bigger: -179 or c?
c
Let f be 663/21 - 51/(-119). Suppose 148 = -f*v - 5*v. Let a = -888/215 + -3/43. Which is bigger: a or v?
v
Let z be ((-15)/6)/(2/(-5328)*3). Is 2220 at most as big as z?
True
Let b = -91.72 - -93.72. Let p = -60 + 60.067. Which is smaller: b or p?
p
Let p = -306743/17868 + 3/5956. Which is greater: -2 or p?
-2
Let c = -6746/3 + 7548773/3357. Is c equal to 0?
False
Suppose -i - 73 = -4*u, 33 = -i - 51*u + 47*u. Which is smaller: i or -263/5?
i
Suppose 3*m - m - r = -3, -m - 3 = -2*r. Let h be -26*(4/16*2 + m). Suppose 5*p - 40 = h*p. Is p <= -2?
True
Suppose -1431 = -75*b + 74*b + h, -1425 = -b + 2*h. Which is smaller: 8617/6 or b?
8617/6
Let v be 1026/(-3762) - 578/(-2079). Do v and -1 have the same value?
False
Let u be 22/6 + 16514/(-5385). Is 26 bigger than u?
True
Let y = 11 - -2. Let j be (-80)/410*(-2 + y/4). Let r = -139/738 - j. Which is greater: r or 0?
r
Let r = 553/519 + -69/173. Is 12948 less than r?
False
Let u be (2 + -3)*(19747/(-21) - 9). Which is smaller: 950 or u?
u
Let o = 7585687/21 + -361125. Is o >= 97?
True
Let j(q) = -q**3 - 46*q**2 + 3*q + 140. Let h be j(-46). Let f be (-3)/(9/15)*-1. Suppose 5*s = h*s - f*v + 20, -3*s - 12 = -3*v. Which is smaller: s or -4/49?
-4/49
Suppose -146*p = 125*p + 626823. Which is smaller: p or -2307?
p
Suppose -8*j - 17 = -1. Let k(c) = -c**3 + 3*c**2 + 4*c + 6. Let a be k(j). Suppose -2*v = -4*u - a, 2*u + 2*u = -5*v + 17. Is u < -15/11?
True
Let a be 1 - 17*2/36. Let h = 83.9 - 85. Let l = -0.1 - h. Is l greater than or equal to a?
True
Suppose 8*a - 143*a + 32940 = 0. Are a and 1214/5 non-equal?
True
Let y = -27307 - -27542. Which is greater: y or 3?
y
Let s be 2*-4*10/20. Let t = s + 4. Let y be 1164/(-3486) - 14/(-49). Is t at least as big as y?
True
Let c be -3*1 + 0 + -1. Suppose 0 = -v - 5*v + 258. Let y be (-154)/693 - v/9. Which is bigger: y or c?
c
Let g = -830.6 - -163.6. Let l = g - -662. Which is bigger: l or -76?
l
Suppose 56*k = -5*v + 58*k - 1018, -v - 188 = -3*k. Is v less than or equal to -205?
True
Let g = 3224/33 - -31796/165. Which is bigger: 290 or g?
g
Let s = 11 + -3. Let l be (-50660)/(-2980) + (5 - -2 - -1). Which is smaller: s or l?
s
Let q = -9382 - -10547. Which is smaller: 4663/4 or q?
q
Let j(p) = 136*p**3 - 2*p**2 + 2*p - 1. Let r be j(1). Let y be (8/12)/(6/r). Suppose 5*x - 33 = k, -k = 4*k + y. Is 6 greater than or equal to x?
True
Let z = -2169/973 - -12/139. Let x be 3/(-5 - (-68)/16). Let t be (-23)/7 - x/14. Is t less than or equal to z?
True
Let c = -183427/20 - -9165. Is -6 <= c?
False
Suppose -t = -69*i + 66*i - 246, 0 = -2*t + i + 487. Are 1211/5 and t unequal?
True
Suppose 5*q - q = -3*s + 3708, -2*s + 932 = q. Let l be q/946 + (-1 - 0). Is -1 > l?
False
Let d(m) = -63*m - 862. Let i be d(-45). Is i < 1973?
False
Let m(u) = -22*u + 112. Let t be m(5). Suppose -t*w = -7*w + 560. Which is greater: 110 or w?
w
Let f = -1146/231175 - 1/1321. Let c = f + -171/700. Is c greater than 29?
False
Let v be 6*1 - (-4514)/122. Is 421/10 bigger than v?
False
Let n be 6270/4*72/45. Suppose -5*z = 2*j - n, -1923 = -5*z + 3*j + 565. Is z >= -1?
True
Let a be (-235)/((-5 - -9)*(-2)/(-56)). Which is smaller: a or -0.1?
a
Let s be (-18)/6 - 1150/3836*-10. Let x = -951/3836 + s. Which is smaller: 1/24 or x?
x
Let q be (-2)/((-14)/(-3) - 4). Let w = -180 + 7561/42. Is q greater than w?
False
Let z be 3*((-5688)/135 - 4). Which is greater: -137 or z?
-137
Suppose -y + 8*y - 105 = 0. Let k be (-6)/3 + y + (5 - 4). Suppose k*p = -4*p + 1224. Which is smaller: p or 1?
1
Let h be (129 - -487) + 4 + -27. Are 586 and h non-equal?
True
Suppose -5*b - 127 = -3*s, 3*s - 138 = -b - 23. Let z be (2 - -36) + (-1)/(-1). Let k = z - s. Is -3/22 <= k?
True
Let k(n) = 103*n**3 - 7*n**2 + 3*n + 23. Let u be k(-5). Is -13041 at most as big as u?
False
Suppose -5*m = -4*m + 3*x - 6, -3*x + 18 = 5*m. Suppose m*p + 35 + 16 = 0. Which is smaller: p or 0?
p
Let h = 3312 - 3285. Which is bigger: h or -56?
h
Let h = 278.065 + -278. Let n = h - 0.865. Let f = 0 + 0.1. Which is smaller: f or n?
n
Suppose 10 = -4*m + 46. Suppose x - m = 13. Let j = x + -22. Which is smaller: j or 2/21?
j
Suppose 2*t + y + 669 = 0, 3*t + 6*y = 2*y - 1011. Which is greater: -338 or t?
t
Let i be (-4944)/58*-56*17/544. Is i less than 148?
False
Let y = 1501 - -632. Suppose -21*b = -y - 303. Which i