16. Which is smaller: 2 or w?
2
Let b = -295 - -274. Is b at least -21?
True
Let m = -5 - -14. Suppose -c = -5*c + 128. Let o = 41 - c. Are o and m equal?
True
Suppose -s + 0*s + 3 = 0. Suppose 0 = -s*g - h + 6 + 14, 0 = -5*g - 2*h + 33. Let m(b) = 2*b - 8. Let j be m(g). Which is smaller: j or 5?
5
Let l be -8 + 2 + (-3 - -2) + 49/7. Suppose f - 16 = -3*f, -d - 22 = -5*f. Let o be d/(-48)*2 + 0. Which is greater: o or l?
o
Suppose 2*u = 7*u - 35. Suppose -2*j = f - 4 - 5, -j - 3*f + u = 0. Suppose -k = 2*t + 3, -2 = 2*k + j*t - 2*t. Which is smaller: k or -3?
-3
Let q(a) = -a**2 + 12*a - 56. Let j be q(-6). Do j and -165 have the same value?
False
Let h = -11173/17 - -657. Is -2 smaller than h?
True
Suppose 2*l + 92 = -2*r, -2*r + 173 = -3*l + 2*r. Let a be 1/(-2 - (3 - l/(-6))). Which is smaller: a or -7?
-7
Let s = -60 + 23. Suppose 180 = -0*a - 5*a. Let u = a - s. Is u < -1/36?
False
Let a = -2.7 - -3. Let u be 36/(-352) + (-3)/(-8). Does a = u?
False
Let c be (-1*5 + 1)*250/900. Is 0 >= c?
True
Let q = 92 - 11. Suppose 3*c = -4*w + q, 0 = -3*w + c + 66 - 15. Is w greater than or equal to 18?
True
Let o = -3 - -8. Suppose 0*c + 5*c = o. Let d = -11/152 + -23/76. Which is bigger: c or d?
c
Let k = 287 - 3153/11. Is k >= -1?
True
Let i = 1 - 0.8. Suppose 0 = -4*f - 12, 5*q - f = q - 121. Which is greater: i or q?
i
Suppose 780 = -3*m + 258. Is m at least -176?
True
Let p = -52 + 21. Is -30 greater than or equal to p?
True
Let b be (4/30)/(130/(-25) - -6). Let z = -0.26 - -1.26. Which is greater: z or b?
z
Let k be (-2)/(-4) - (-595)/(-10). Suppose 10*q = -730 + 150. Which is greater: q or k?
q
Let x be (-7)/28 + (-1)/12. Let j = 16 + -15. Which is smaller: j or x?
x
Let s be ((-34)/192)/((-16)/76112264). Let r = 842391 - s. Let m = 1/192 + r. Is -1 at most m?
True
Let n(z) = -z**2 - 2*z + 20. Let l be n(3). Which is bigger: l or 58/11?
58/11
Suppose 0*y - 12 = 3*y. Let d = -42 + 28. Let i be 6/1*d/28. Is i greater than or equal to y?
True
Let i(m) = 49*m**3 - m. Let z be i(-1). Let w be 40/z + 2/(-12). Let y = -80 + 236/3. Which is smaller: w or y?
y
Suppose -61 = -29*c + 26. Is -4/93 not equal to c?
True
Let a = -424 - -427. Let i = -170 - -515/3. Let d = 7/3 - i. Is a at least d?
True
Suppose 21*h + 20*h - 1353 = 0. Is h greater than 434/13?
False
Suppose -f - 4 = 0, u = -u - 4*f - 8. Suppose 0*v = -u*v. Are 0 and v equal?
True
Let j = 24.6 + -48.5. Let c = -1.1 + j. Is 1 < c?
False
Suppose -15*a - 252 = -a. Let i = 3 + 16. Let m = i + a. Which is bigger: m or -2/33?
m
Let h = 0.6 + -0.2. Let d(n) = n**2 + 14*n - 13. Let m be d(-13). Let t = m - -25. Which is bigger: h or t?
h
Let v = -11086/17613 + -2/927. Are v and 0 equal?
False
Let f(y) = -2*y**3 + 5*y**2 - 11*y + 6. Let r be f(2). Which is smaller: -11 or r?
r
Let m(h) = 4*h**2 + 27*h + 53. Let f be m(-2). Which is smaller: f or 113/7?
f
Let g = -47.3 - -10.3. Is g <= 2?
True
Let j = -3 + 2. Let l be (24/(-1136))/((-36)/48). Do l and j have the same value?
False
Suppose -73 = 3*p - 28. Let c = 22 + -20. Suppose 5 = -2*y - 5*r, 3*y - 2*r + 25 = c*y. Is p greater than y?
False
Let z(r) = r - 2. Let c(k) = 15*k - 3. Let g(o) = 2*c(o) - 18*z(o). Let b be g(-5). Is -27 >= b?
True
Suppose -1719 + 1059 = -6*n. Which is smaller: n or 109?
109
Let q = 125 - 84. Let h = 13 - q. Is -27 at least as big as h?
True
Let j(p) = 2*p - 46. Let q be j(17). Let u = 45 + 165. Let s be 2/q - (-95)/u. Are -5 and s nonequal?
True
Let d = -169.3 + 161.6. Which is smaller: d or -1?
d
Suppose 4*l - 21 = l. Let a(r) = 2*r - 15. Let m be a(l). Is 0.1 greater than m?
True
Let g = 5/2 - 3. Let r = 0 - g. Let h = 0.2363 + -0.0363. Do h and r have different values?
True
Let w be (45/(-40))/(9/(-6)). Let u be -1 + 1/(3 + -2). Let k be 1*u/(0 - -3). Is w at most as big as k?
False
Let c be -12*((-805)/(-98) - 8). Are -2 and c equal?
False
Let l = 16 - 11. Let d = -17 - -27.8. Let n = -11 + d. Is n >= l?
False
Let q = 1128138629/540 + -2089145. Let p = 1/108 - q. Let l = -1/82 + -161/246. Is l at least p?
False
Suppose 0 = k + 4*z + 173, 3*k = -4*z - 532 - 19. Let h be (2/(-3))/(210/k). Is h >= 2?
False
Let x be 40/(-78)*17/((-170)/(-36)). Is x >= -2?
True
Let n be (0/16)/((-2)/2 - -2). Are -6/95 and n unequal?
True
Suppose 0 = 4*r + 3*w - 1, 0 = -3*r + w - 4*w. Which is greater: -4/147 or r?
r
Let m = -44 + 6. Let z be (-8823)/238 + (16/56)/(0 - -4). Which is bigger: z or m?
z
Let q = 166 - 108. Let o be 0 - (4 + -5 - q/(-54)). Which is bigger: -1 or o?
o
Suppose 4*x + 26 = -5*j, -2*x - 7 = -4*j + 19. Let k be 78/x - 1/3. Let h be (k/6)/(42/48). Which is smaller: -1 or h?
h
Let g(x) = -3*x**2 - 77*x - 46. Let c be g(-25). Which is bigger: c or 6?
6
Let t = -728 - -727. Is 2/2851 equal to t?
False
Let t = -1 - 0. Let z(k) = -7 - 3*k - k**3 + 6 + 3*k - k. Let y be z(0). Is t at most y?
True
Suppose 19 = d + 4*t, 0*t + 12 = 3*t. Let l = -0.147 - -2.147. Which is greater: d or l?
d
Let g be (-2 + 2)*2*4/(-16). Let q be (-4)/10 + (-157)/(-405). Let l = -157/405 + q. Which is greater: g or l?
g
Let y = -0.003 + -9.897. Let n = y - -10. Is n < -3?
False
Let z be -6 + 7/((-315)/(-260)). Which is smaller: z or -92?
-92
Suppose 3*j - 2*j = -9. Let m = 3 + j. Let k = -58 - -52. Are m and k equal?
True
Suppose 26 = -s - 5*a - 25, 10 = -5*a. Suppose -204 = 5*n + 2*b, -2*n - 33 = 4*b + 55. Is s not equal to n?
True
Let r(i) = -i**3 - 7*i**2 - 2*i - 10. Let q be r(-7). Let t(g) = -g**2 + 3*g + 4. Let c be t(q). Let s be 5 + (-183)/45 + 6/(-10). Which is bigger: s or c?
s
Suppose -3*c - v = -6, 41*v + 6 = 3*c + 40*v. Which is smaller: c or 13?
c
Let x = 619.84 - 620. Is x > -4/5?
True
Let m = 12 + -9. Let n be 12/(-107)*m/6. Let p = -280/1177 - n. Which is smaller: 0.3 or p?
p
Suppose 76 = -4*m + 5*j, 3*j + j - 76 = 4*m. Suppose -7*l - 198 = -72. Is l < m?
False
Let a = 11 + -11.05. Let x = 0.01 - a. Is -0.4 greater than or equal to x?
False
Let x = -7555/24 - -1261/4. Let i = x + -1/8. Which is bigger: i or 0?
i
Let q = -1.88 - 4.12. Which is bigger: q or 46?
46
Let n = 28 + -48. Let k = -12.1 + 12.2. Which is smaller: k or n?
n
Let t = 187 - 187. Suppose t = -14*j + 15*j + 20. Let u = -1 + -20. Which is smaller: j or u?
u
Let p = -2 - -6. Let v be -20*2/(-14) - p. Let k = 31/21 + v. Which is bigger: 6 or k?
6
Let k be ((-79)/(-36))/(7/(-3)). Let q = k - -1/12. Let a(u) = u**3 + 46*u**2 - 2177*u - 150. Let y be a(-75). Which is smaller: y or q?
q
Let w be 330/132*(-4)/10. Let f(j) = -2*j**2 - j - 1. Let y be f(-1). Let s be (1*(-4 - y))/(-11). Which is smaller: w or s?
w
Let p = 16113193/885 + -18207. Is 1 at least as big as p?
True
Let r = -1 + 0. Let k = -1 - r. Let x be 4 + -6 + 45/21. Which is smaller: k or x?
k
Suppose -24 - 132 = 3*f. Let q be -1*(0 - -1) - 53/f. Which is smaller: q or -1?
-1
Suppose -2*w - 1 = 5*s - 31, -2*w + 4*s = 6. Suppose 0 = w*h - 14 + 4. Suppose h*u - 5*i = -3*i, 4*i + 3 = u. Is u > 2/5?
False
Let p be 21*(45/(-12) - -3). Let i = p - -197/12. Suppose 0 = 5*a + 4*f + 16, -2*f - 12 = 4*a + f. Which is smaller: a or i?
a
Let z be (-1)/(13/(-108472)*7). Do 1192 and z have the same value?
True
Let o be (3/4)/((-12)/96). Suppose -2*w = -2*d - w - 13, 5*w - 10 = -d. Is d <= o?
False
Let z = -38 + 70. Let a = z + -26. Is a less than 6?
False
Let m = 0.0868 - 0.4868. Is m at least 46/11?
False
Let p(h) = -66*h + 10. Let s be p(-11). Are 735 and s unequal?
True
Let r(g) = -11*g - 122. Let a be r(-11). Is -4/13 at least as big as a?
True
Suppose 0 = -17*w + 1 - 18. Let r = -15 + 23. Let j be (4/(-90))/(r/(-10)). Which is smaller: w or j?
w
Let b be (-4410)/27 - 4/(-12). Is -164 smaller than b?
True
Let h = -185001/133 + 1391. Let u = h + -580/20881. Which is greater: u or 1?
1
Let r = 77 - 95. Let i be 6/r*3 + (-10)/1. Which is bigger: -43/4 or i?
-43/4
Let d = -3.43 + 4.43. Which is smaller: d or -3/10?
-3/10
Suppose 0 = -3*n + 5*n - 6. Suppose 0 = n*r + 18. Let f(j) = -j**2 - 10*j - 9. Let x be f(r). Is 15 smaller than x?
False
Suppose -16*x + 1653 = -73*x. Which is smaller: -0.1 or x?
x
Suppose 3*y - o = 3, -5*y - o = 2*o - 5. Let m be (-1)/1 + (-32)/(-22). Which is bigger: m or y?
y
Let z = 17.91 + -18. Let c = -178 - -178.77. Let v = c + 0.23. Is v greater than z?
True
Let s = -4041 - -12128/3. Let y = 1