. Which is smaller: 2/9 or s?
2/9
Let w be (1/(-1 + 3))/(30/5400). Suppose 29 = 7*x - w. Does 152/9 = x?
False
Suppose -3*v - 5 = -2*x - 349, x - 3*v + 172 = 0. Let n = -171 - x. Is -0.025 < n?
True
Suppose n = 2*y - 3, -y + 5*n = -3*y - 15. Let m(o) = -o**3 - 2*o**2 + 3*o - 28. Let d be m(y). Which is smaller: d or -29?
-29
Suppose 5*v - 22 = 23. Let a be 1/((-12)/(-2 - 82)). Which is bigger: a or v?
v
Let z be (-4)/(-10) + 224791/235. Let k = z + -957. Let g be 2/(-2)*(0 + 0). Is k greater than g?
False
Let s = 48 - 112. Let x = s + 63.9. Is x bigger than 49?
False
Let d be (-281576)/23310 - (-5)/((-210)/24). Let h = -44/185 + d. Is -13 <= h?
True
Let h = -373 + 378. Suppose -5*a = 4*w - 8*w, 2*w + h*a = 0. Is -1/11 > w?
False
Suppose 0 = -j - 24 - 166. Let m = 170 + j. Are -26 and m nonequal?
True
Let q = 160 + -16. Let m = q - 144. Which is greater: -9 or m?
m
Let h be ((-49)/2)/(-8*7/112). Suppose 4*d + 0*d - 20 = 0. Suppose -5*u + 170 = 3*b, 5*u + 253 - 23 = d*b. Which is bigger: b or h?
b
Let w = 1.188 + -1.288. Which is bigger: -1839 or w?
w
Suppose -6*p - 105 = -13*p. Let u be (-2696)/2208 + p/12. Is -1 at most as big as u?
True
Let x = -548536/195 - -2813. Suppose i - 3*y = 13, -5*i + 25 = -1323*y + 1318*y. Is x < i?
True
Let k = 225 - 319. Let b = k + 92. Which is greater: b or -17/8?
b
Let t(o) = 303*o - 14846. Let a be t(49). Let g be (-1 - -3) + 474/(-236). Which is smaller: a or g?
g
Suppose -18*u + 17*u + 3 = 0. Let y be u/2 + 203/14. Suppose -5*i - y = 3*i. Is i smaller than -4?
False
Let d = -103 - -105.06. Let s = d + -2.16. Is -2/15 at least s?
False
Let n be 7/(-14) - 148/(-8). Let x be n/(-60)*456/36. Is -4 > x?
False
Let h = 885923 + -80620993/91. Let v(p) = 21*p + 1. Let b be v(1). Let y = h + b. Which is smaller: y or -0.1?
-0.1
Let x = 2212/9 + -246. Let c = -13 - -13.4. Let w = c + 0.6. Which is bigger: x or w?
w
Let u be 9 + -1 - (-8 + 7). Suppose u*f - f - 24 = 0. Suppose -11 = -b - f. Which is smaller: 6 or b?
6
Let m be (36/(-30))/6 + 778/(-10). Let a = -61 + 97. Let q be (a/27)/((-1)/(297/m)). Is 5 > q?
False
Let p = -17/673964785 - 21624833319591/30602718992495. Let g = -2/2671 - p. Let a be ((-8)/10)/(2/(-5)). Is a smaller than g?
False
Let j = -2 + 3. Let p = -0.257064 - -0.180064. Which is smaller: p or j?
p
Let q = -233 - -233.1. Let k = 0.023 + -0.803. Which is smaller: q or k?
k
Let l = 23 + -41. Let u be (-58)/28 - (-9)/l. Suppose -232 = -22*c - 298. Is c at least u?
False
Let n be 27/(-12) - -3 - (-85)/20. Suppose n*j - 14*j = -2637. Are 293 and j equal?
True
Let s(t) = 204*t + 167. Let g be s(-24). Let a = g + 174961/37. Let f be (0 - -1)*(0 + -1). Which is greater: f or a?
a
Let g(l) = -2*l**2 - 97*l - 18. Let j be g(-69). Is -2846 not equal to j?
True
Let p = 1272598/2043 + -5606/9. Do p and 1 have different values?
True
Let w = 2946 - 2948. Is w < 0.0908?
True
Suppose 0 = -4*o + 12, 3*d - 272*o + 6 = -270*o. Are d and -278.4 unequal?
True
Suppose 9*r + 7 = 16. Suppose -t - r = 3*w - 6, -2*t - 4 = -w. Let q = -24 - -17. Do t and q have the same value?
False
Suppose 38*i + 99940 = 2*i - 2*i. Which is bigger: -2629 or i?
-2629
Let v = -63/200 - 1/200. Let s = -2666 + 1278. Let j = s - -1387. Is v bigger than j?
True
Let o(c) = -c - 1. Let n(p) = p**2 - p - 2. Let k(i) = n(i) + 5*o(i). Let r be k(-3). Suppose 5*g - 54 = -t, 4*g + 3*t - r = 32. Is 8 equal to g?
False
Let d be (-2)/28*12/15. Do d and 32.5 have different values?
True
Let o = 5.458 + -141.458. Which is smaller: o or -1?
o
Suppose -5 = -5*w - 5. Let m be -9 - 17/((-8330)/4440). Is w bigger than m?
False
Suppose 11*v - 15*v = 2*b - 596, -v + 3*b + 156 = 0. Which is bigger: 163 or v?
163
Let r = -0.002 - -0.002. Which is greater: r or -138.4?
r
Let c(b) = -3*b**2 + 114*b + 116. Let a be c(39). Are a and -4/1739 nonequal?
True
Let t(w) = 10*w - 159. Let n be t(-3). Let i = n + 186. Is i < -55?
False
Let b be ((-2)/5)/(-10 + 1064/70). Is b >= 8?
False
Let f = -137 - -114.5. Let o = f - -22.4. Is -29 <= o?
True
Let r be (1/(-6))/((-7)/21) - 10881/20774. Which is bigger: r or 0?
0
Let a = -29.07281 + -0.01719. Which is smaller: a or -2/3?
a
Let k(h) = 332*h + 4800. Let n be k(-47). Which is bigger: n or -10803?
-10803
Suppose 255 = -32*b + 37*b. Let r = b + -59. Let a be (-9 - r)*(-1)/(2 + -1). Are 3/55 and a non-equal?
True
Let j be (-18825)/(-12) - (2/8 - (-7)/14). Is 1568 at least as big as j?
True
Let z be (2 - 10/6) + 49 + 4512049/159. Is 28427 < z?
False
Let a = -290.8 + 177.5. Let r = -114 - a. Let g = -9.7 + 15.7. Which is smaller: r or g?
r
Suppose 0 = 12*h + 24, -2*i + 0*i + 3*h - 6866 = 0. Are i and -3437 equal?
False
Let n = 42.06 - 0.06. Let w(m) = 38*m - 83. Let h be w(6). Let o = -291/2 + h. Which is greater: n or o?
n
Suppose -5*s - 131 = 184. Suppose -50*b + 51*b = -62. Is b less than s?
False
Let y(a) = -a**3 + 5*a**2 + a - 6. Let j be y(5). Let c be (2 - (-10)/(-15)) + (-17346)/(-72). Let k = c + -243. Is j at most k?
True
Let y = 3119 - 2728. Which is bigger: 393 or y?
393
Let f = -16596 - -7691. Is f > -8907?
True
Suppose -393*i - 39209 = 77905. Which is smaller: i or -341?
-341
Let b = 0.00161 + 63.77839. Let m = b - 64. Which is smaller: m or -8?
-8
Let j = -91.5 - -103. Let n = 132.5 - j. Let x = 125 - n. Is x less than 0.05?
False
Let t = -53 + 62. Let j = 11 + t. Let x be j/140 + 96/14. Is x at most 34/5?
False
Let p = 78/19 + -1136/323. Let w = 30 + -44. Let n = -12 - w. Is n smaller than p?
False
Let t(p) = 12*p - 4. Let v be t(1). Suppose 0 = -17*b - v*b + 25. Are 4 and b nonequal?
True
Let g = -0.91 + -0.19. Let r = -1675 - -1674.88. Is r < g?
False
Suppose 5*o = u - 24, -3*o - 19 = -4. Is -92/71 greater than u?
False
Suppose -13*c + 16*c + 62788 = 47*c. Is 1428 smaller than c?
False
Let s be 2 + -12 + (17 - 13). Let l be (-9)/s*5/(-15)*8. Is l bigger than -7?
True
Let d = 17593 + -17602. Which is smaller: 313 or d?
d
Let p be -2 + 10444/30 - -7. Let z = p + -353. Let n be ((-5)/(-3) + -2)*3. Does n = z?
False
Let g(c) = -c**3 + 51*c**2 - 8*c + 252. Let h be g(45). Which is bigger: h or 12044?
12044
Suppose -2*t = -3*q - 989, -8*t + 10*t - 959 = -3*q. Suppose -19*u - t = 330. Which is smaller: -46 or u?
-46
Let u be -4 + 4/8*(8 + 1). Let m = 3.808 + -2.978. Which is smaller: u or m?
u
Let i = 16762490/7 - 11985653/5. Suppose 7*l + 9956 = 11*l. Let o = i + l. Is -1 <= o?
True
Suppose -w = -3*w - 36. Let k = w - -37. Suppose i - k = -4*i + 3*u, 0 = 5*i - 2*u - 16. Is -6 <= i?
True
Let h = -861 + 967. Suppose -h = -6*q - 238. Which is bigger: q or -89/4?
q
Let u = -113 + 117. Suppose -2*m = 7 - 17, 60 = -4*i + u*m. Is i greater than -1?
False
Suppose 23 = 17*b + 23. Let s be -3 + ((-15664)/1085)/(-4). Let o = s - 2/217. Does o = b?
False
Suppose 4*n + 76 = 3*w + w, 0 = -5*w + n + 99. Let m be ((-3)/6)/(5/w). Let b be (-1 + (3 - 4))/m. Is 10 != b?
True
Let r = -31 + 26. Let d be 0*1/(-4) - 3 - r. Let b be d - (9/(-4))/(5/(-4)). Which is smaller: 0 or b?
0
Let p = 67 - 94. Let m be ((-3)/(-15))/(-4*8/64). Is m greater than p?
True
Suppose 12*j + 71 = 1199. Let k = 97 - j. Are 8 and k unequal?
True
Let t = -21 - -1.2. Let r = 117.9 - 97.9. Let s = t + r. Which is smaller: -14 or s?
-14
Let k = -77.963 + -0.037. Let z = 78.2 + k. Let y be 1/2*(-4)/(-10). Is y greater than or equal to z?
True
Suppose -52*w = -54*w - 286. Let f = 139 + w. Let i = -10 + 11. Which is greater: f or i?
i
Suppose 2*x - 2301 = -d, x - d - 1015 = 128. Suppose -c - h - 2*h = -287, 4*c + 4*h - x = 0. Which is smaller: 288 or c?
c
Let q(f) = f**2 - 3*f - 4. Let d be q(4). Let i be 692/10*(-2)/(16/2). Let j = -9149/530 - i. Is d <= j?
True
Suppose 5*m - 25 = 0, -r + 282 = -5*m + 99. Let w be r/(-2)*(10/(-5) - -6). Let h be (-1)/(4/26 - (-168)/w). Which is smaller: 7 or h?
h
Let h(m) = -5 - 2*m - 3*m**2 + 25*m**3 + 8*m**2 - 24*m**3. Let x be h(-5). Let p = -7 + 10. Which is smaller: p or x?
p
Let c(f) = f**3 + 7*f**2 - f - 7. Let i be (-1 - -4)/((-9)/(-39)). Suppose -i = 2*j + 1. Let a be c(j). Which is bigger: 1/2 or a?
1/2
Let u(c) = -17*c + 27. Let v(a) = 26*a - 40. Let z(k) = -7*u(k) - 5*v(k). Let x be z(0). Is x smaller than 9?
False
Let u be (6 - 0)*(-70)/105. Let f be ((-3)/u)/(((-1918)/8)/(-7)). Which is smaller: 0 or f?
0
Suppose -1552 = -4*