ich is bigger: w or u?
u
Let y = -2400/23 + -22/69. Which is smaller: y or -104?
y
Suppose 3691 + 1901 = -24*a. Which is bigger: -239 or a?
a
Let b = -0.8 + -6.5. Let p = 28705.1 - 28705. Which is bigger: b or p?
p
Let k be ((-3)/6)/(14/(-104)). Let w be 3/4*((-32)/56 - 4). Let y = k + w. Are y and 3/10 unequal?
True
Let l be (-1744)/(-288) + 6*7/(-189). Suppose 3*p - 5*b + 4 = 0, 2 + 22 = 2*p + 2*b. Is p > l?
True
Let o = -73 + 207. Let s = -132.9 + o. Let l = 0 - -3. Which is smaller: s or l?
s
Let n = 1.2 + -1.29. Let o = 0.869 + -0.269. Which is smaller: o or n?
n
Let l = 331775/192 + -1728. Let y = 60 + -59. Is l less than or equal to y?
True
Let x be ((-13)/(-28) - 0) + (-86 + 44)/168. Which is greater: x or -9?
x
Let d be 63441/(-15) + (83/1079 - (-88)/(-130)). Is -4230 at most d?
True
Suppose 0 = 3*z + 2*n + n + 6, 3*n + 6 = -4*z. Let r = -4308/7 - -404959/658. Is z not equal to r?
True
Let p = 16.78 + -44.78. Is p bigger than -0.15?
False
Let h be 4/14 - (-80924)/(-63). Let t = -1286 - h. Let g = -7 + 5. Is g < t?
True
Suppose 4*w - 1314 = -2*l, 0*l + 333 = w - l. Is 332 < w?
False
Let s be -3*(-1)/61 + 0. Let z = -585622/2062227 - 2/11269. Let v = z - s. Do v and 1 have different values?
True
Let b(f) = 8*f**2 - 19*f - 44. Let u(g) = 15*g**2 - 36*g - 87. Let r(m) = -5*b(m) + 3*u(m). Let a be r(-4). Is a bigger than 91?
False
Let k be (-3)/(-9*4/144). Which is smaller: -235 or k?
-235
Let y(l) = 2*l**2 - 285*l - 1118. Let p be y(146). Suppose 0 = 2*z - 6*z + b - 383, -389 = 4*z - 3*b. Which is bigger: p or z?
z
Let p = 0.28865 + 159.34135. Let l = p - 160. Are 5 and l non-equal?
True
Let p be 6/(132/(-2736)*8). Is 0.1 at least p?
True
Let r = 10915 + -10769. Which is smaller: r or 2748/19?
2748/19
Let g be (2/(46*-2))/((-102)/(-816)). Suppose 7*c - 26 = -33. Is c greater than or equal to g?
False
Suppose 52 = 2*t - 4. Suppose -3*j + t = -8. Is j at most as big as 0?
False
Let w = 529 - 836. Let n = w + 307.34. Which is greater: 1 or n?
1
Let r be (24/(-48))/((-2)/2492). Let q = -623 + r. Is q bigger than -13/9?
True
Suppose -5*w + 2*w = 5*b - 155, -3*b - 75 = -w. Let v be 105/w*84/1. Is 147 smaller than v?
False
Let y(n) = -37*n - 919. Let c be y(-26). Is c less than 302/7?
True
Let p = -50008 + 50008.164. Let w = 1.04 + -0.04. Is w > p?
True
Suppose 0*z - 15 = -5*z, -5*d - 12 = -4*z. Let y be 14/(-56) + (-13)/(-46). Which is greater: y or d?
y
Let v(i) = -3*i**2 + 20*i - 35. Let s be v(12). Is s at least -1142/5?
True
Let m be (10 + -3 - 7)/2. Which is smaller: m or -279?
-279
Let p = -86 - -150. Suppose -2*l + p = 6*l. Suppose 36 = -l*c + 156. Are 13 and c nonequal?
True
Let x(w) = -75*w**3 - w**2 + 2*w + 1. Let f = -508 + 507. Let y be x(f). Is 72 at least as big as y?
False
Let z = -1156287/75236 + 1291/84. Let d = -266027/56427 + z. Is -4 < d?
False
Let f = 25872 - 25872. Which is smaller: f or -3/18407?
-3/18407
Let x be (-5)/3*(-78)/10725. Is x less than or equal to -1?
False
Suppose -12*w - 850 - 446 = -216. Which is smaller: -814/9 or w?
-814/9
Let y = 15.91 + -15.81. Which is bigger: -2/8701 or y?
y
Let t = 19 - 3625. Which is bigger: t or -2/5?
-2/5
Let d(s) = 9*s - 1. Let n be d(-1). Let p be (-18 - -3)*8/n. Let j be 123/61 - 3*8/p. Which is smaller: 1 or j?
j
Let j be 6/(-16149)*(1 + (-180)/27 + 6). Which is greater: 0 or j?
0
Suppose 774*h - 778*h - 308 = 2*y, 3*h - 144 = y. Which is bigger: y or -0.2?
-0.2
Suppose 9 - 3 = 6*c. Let f = 24/611 - 3441/40937. Is f >= c?
False
Suppose 8 = 145*c - 146*c. Let y be 1*(2/c - (-400)/832). Which is greater: y or 0.08?
y
Let d = -2.041 + 1856.041. Is d at most as big as -0.1?
False
Let p(r) = -1006*r**2 + 17*r + 3 + 1 - r**3 + 1003*r**2. Let h be p(3). Do h and -6/17 have the same value?
False
Let o = -6.135 - -4.215. Which is smaller: 1.6 or o?
o
Let p = -43.73 + 43. Let a = p - -0.767. Let w = a - 0.037. Are w and 0.1 non-equal?
True
Let d(q) = q**3 + q**2 - 201. Let f be d(0). Suppose -10*y - 706 = 1324. Is y at least as big as f?
False
Let s = 63 - 66.7. Let k = 18713/28092 + 5/9364. Is s at least k?
False
Let w = 11539.67 - 11540. Is w at most as big as -13.1?
False
Let d be -1 + 12/4*-1. Let h = 5 + d. Let f be (-9)/12 - h/1. Which is smaller: f or -2?
-2
Let h = -16749 - -16749. Is -4/4905 <= h?
True
Let c(f) = 21*f - 211. Let d be c(10). Is -1415 at least as big as d?
False
Let a = 1058636/1022109 - 146/141. Which is greater: a or -1?
a
Let l be (-9)/5 - (-3)/(-4 - 11). Let t be -7 - (1 - -3) - l. Suppose 0 - 36 = 3*k - 3*w, 5*w = -3*k - 12. Is t <= k?
True
Let j = 36 - 36. Suppose u - 3*o = -o + 44, -2*o - 4 = j. Let r = -73 + u. Is r less than -31?
True
Let i be 2 + ((-18)/(-8) - 3 - (-3)/(-12)). Which is smaller: 8/233 or i?
8/233
Suppose 322*w - 291*w = -1333. Which is greater: -41 or w?
-41
Let m = -18 - -37. Suppose d + m = 2*d. Let q(j) = j**2 + 4. Let s be q(-4). Is s < d?
False
Suppose -2*j + 57 = 5. Let m = -518 - -520. Suppose 3*p - 97 = m*h - 6*h, p - 23 = h. Which is bigger: j or p?
p
Let z be (-5)/(-7 + 2) - 146/147. Let c = -41/147 - z. Is c less than 1?
True
Let w be (-636)/(-24) + 1/((-8)/4). Suppose 0 = -w*o - 170 - 3756. Which is greater: -152 or o?
o
Suppose 0 = 11*g - 3296 - 2380. Is g at least as big as 515?
True
Suppose -3*y = -11 - 4. Suppose 0 = -y*u + 41 + 74. Suppose -21*t = -u*t. Is -4 <= t?
True
Let o = -1 - -4. Suppose -4*k + 60 = 2*v, -2*v - 4*k + 75 = -o*k. Suppose 3*b = -2*w + 42 + 51, -3*b = -5*w + 180. Which is smaller: v or w?
w
Let z = 6.2 - 6.2236. Let a = -71.2764 + z. Let f = a + 71. Do -18 and f have different values?
True
Let z = -82 + 82. Suppose 26 = 2*i + 5*f, 2*i - 4*f + f - 10 = z. Suppose 5*t - 24 = i*t. Is 4 at least t?
True
Suppose -333*r + 337*r = -5*g - 17, 0 = -4*r - 12. Which is greater: -2/78173 or g?
-2/78173
Let k be (190/(-6) - 2) + 2/3. Let l = -30 - k. Suppose -4*n = l*n + 196. Which is greater: -27 or n?
-27
Suppose -8*m = -10*m + 10, 4*f + 2*m = 30. Suppose 204 = f*u - 816. Which is smaller: 203 or u?
203
Suppose -2 + 4 = n. Let b be 11/(-4) + n/(-8). Let q(k) = -71*k - 644. Let l be q(-9). Is l equal to b?
False
Let k = -1253.30252 + 1253.3. Which is smaller: 1 or k?
k
Let a be (49/7)/(1/3). Let v be (4*(-4)/(-8) - -3)*1. Suppose 100 = 10*s - v*s. Are s and a nonequal?
True
Let j be (-904)/3*2844/(-120). Let z = -7178 + j. Let y = 9292/255 + z. Which is greater: y or 0?
y
Let x be (-14)/(4/2) + (-254)/(-27). Are 3 and x equal?
False
Let d be (-4)/10 - 39/15. Let j = 2333 + -18689/8. Are j and d nonequal?
True
Let w be ((-2786)/196 + 14)/(-3). Is -761 < w?
True
Let n = -32 + -206. Let a = -69494 - -69258. Which is greater: a or n?
a
Let i = -7332 - -718537/98. Is i greater than -1?
True
Let t be (-2499)/630 + 2/12. Let f = -22 + 26. Suppose f = -4*g - 8. Which is bigger: t or g?
g
Let l = 4403 + -4168. Is 247 equal to l?
False
Let f be (-1)/(-3) + (-10)/30. Suppose 3*c + 9 = f, 2*x = 16*c - 13*c - 3. Is -94/13 bigger than x?
False
Let j(v) = 35*v - 351. Let u be j(10). Which is bigger: u or -88/225?
-88/225
Let n = -6.454 + 6.276. Which is greater: n or -4/3?
n
Let z = 29/330 + -9089/69630. Which is smaller: -1 or z?
-1
Let a be ((-408)/21)/((-48)/28056). Is a at most 11356?
True
Let p(w) = 2*w**2 - 13*w - 6. Let i be p(7). Let d = 1/825 - 1873/2475. Let o = 8/15 + d. Is o less than i?
True
Suppose 17*b = 253 + 206. Let z be ((-2)/b)/(7/(-462)) - 4. Suppose -4*n = n - 5. Is z equal to n?
False
Suppose -84230 = 95*o + 71760. Is o > -1642?
False
Let m(i) = -8*i + 22. Let p be m(5). Let j be 8800/(-90) - (-4)/p - 0. Is j equal to -99?
False
Let u = -4.4 - 21.6. Let x = 26.55 + u. Let v = 0.45 + x. Is 0 at least as big as v?
False
Let h(j) = j**3 + 9*j**2 - 6*j - 17. Let z be h(-9). Suppose z = -14*p - 495. Which is greater: -39 or p?
p
Let b(x) = x**3 + 7*x**2 + 9*x + 6. Let f be b(-6). Let h(c) = -c**3 - 11*c**2 + 12*c - 5. Let o be h(f). Let z(n) = 5*n + 24. Let v be z(o). Is 3 < v?
False
Let i be (-16)/(-2) + (-2142)/972*2. Which is greater: 4 or i?
4
Let l(h) = 19*h + 19. Let d be (2 - 5 - -7)*(-1)/1. Let q be l(d). Let v = q + 47. Which is bigger: 0.1 or v?
0.1
Let j = 99.2 + -98.2. Is j less than 3/2095?
False
Let r = -681.5 + 134.5. Let n = -546.9 - r. Is n at most -34.1?
False
Let f(u) = 3*u + 23. Let j