*w - 380. Let b be z(20). Are b and -12/2609 unequal?
True
Let s(p) = 62*p**3 - p**2 - 25*p + 55. Let i be s(3). Which is smaller: i or 8222/5?
8222/5
Let h = -209/1896 + 12/79. Let t = 53/120 - h. Which is smaller: t or 0.178?
0.178
Let g be 2/(-6) - (8/(-30))/(30/(-3075)). Let f = -59 - -31. Does g = f?
False
Let o be -10 + 9 - (-2303)/1953 - 4/18. Is o at most 0.22?
True
Suppose n - 5*g = 15, -4 = -5*n + 5*g + 31. Let s(b) = 6*b**2 + 6*b**2 + 9*b**2 + 6*b - 20*b**2 + n. Let h be s(-4). Are h and -6 unequal?
True
Suppose 0 = -4*m - 5*q + 6*q - 1035, -2*q = -6*m - 1550. Let u be ((-16)/1)/(-5*(-8)/m). Which is greater: u or 105?
105
Let s(h) = h**2 + 22*h + 39. Let n be s(-20). Let f = -117 - -16030/137. Which is bigger: n or f?
f
Let j be (0 + 1)*1/(-1)*-10. Let b(n) = -4*n**2 + 51*n + 15. Let o be b(j). Which is bigger: o or 126?
126
Let p(c) = -6*c - 131. Let i be p(-22). Let j be ((-1)/(-5))/(80/(-112)). Which is smaller: i or j?
j
Let w be 375/(((-2)/6)/(5/30)). Let p = 184 + w. Suppose 3*m + 2*l + 19 = 0, -3*m + 0*m - 14 = l. Is m < p?
False
Let z = 6872 - 6872. Which is smaller: z or 465?
z
Let v = 132688/7 + -18955. Let z be (-7)/3 - -2 - 0. Is v bigger than z?
True
Let o be (-29 - 4)/(-3) + -3. Let y(k) = k**2 - 11*k + 10. Let p be y(o). Let j = 15 + p. Are -3/11 and j nonequal?
True
Let o be (12/(-9))/(((-2)/(-26))/(-6 + 9)). Which is smaller: o or -59?
-59
Let b = -311 + 316. Let z be 2*(9/2 - (-1 + b)). Which is smaller: z or 3/14?
3/14
Let f = 294.6 + -326. Let b = f + 26. Let u = b - -1.4. Is u not equal to -0.2?
True
Let i(l) = 13*l**2 - 8*l - 21. Let z be i(-3). Let u be (z/70)/(4/182). Which is smaller: 238/3 or u?
u
Let k = 1741 - 1741.1083. Let i = k + 0.1083. Let w = 10 - 6.1. Is i bigger than w?
False
Let z(j) = -2*j**2 + 13*j - 12. Let c be z(6). Is 721 greater than c?
True
Let d(x) = -x**3 + 5*x**2 + 9*x - 6. Let p be d(6). Let u = p + -24. Let r be 1/(15 - (-5684)/(-377)). Which is greater: r or u?
u
Let a = -3/22813 + 13003479/524699. Which is greater: a or 25?
25
Let r be 24 + 4 + -5 + 2. Let l = 28 - r. Let t be (-15)/10*2/l. Which is greater: 1/81 or t?
1/81
Suppose -121*g = -40*g - 6075. Which is smaller: 79 or g?
g
Let w be -6 + (-93375)/25575 + (-96)/(-33) + -3. Which is greater: w or -11?
w
Suppose -499*t + 496*t + 11613 = 0. Which is smaller: 3872 or t?
t
Let z = 97 - -17. Let m = z + -121. Which is smaller: 0.8 or m?
m
Let c = 1422 + -1343. Let z be (-405)/(-5) - 6/(-3). Which is smaller: z or c?
c
Let l = -51632 + 51510. Let v = 0.2 - 1.2. Is v > l?
True
Let r(q) = 3*q**3 + q**2. Let g be r(-1). Let n = 133595801/143 - 934246. Let a = n - -111/13. Is g equal to a?
False
Let z = -3301 - -3301. Let c = -4/21 + -44/63. Is z less than c?
False
Let v = 23.4 + -25. Let t = v - -0.9. Let s = 5338/5 - 1068. Which is greater: t or s?
s
Let j = -2631 - -13157/5. Are -410/23 and j equal?
False
Suppose 52*r + 38*r = 75*r + 5025. Which is bigger: -0.7 or r?
r
Let k = 33388 - 33405. Which is bigger: -1194/67 or k?
k
Let d be 2/2 + (-43268)/(-84). Let o = d + -516. Let n = -0.4 + 0.2. Do n and o have different values?
True
Suppose -8*o + 3*o = -40. Suppose 2*x - 4*x + o = -2*p, p + 2*x + 16 = 0. Let s be ((-6)/p)/(58/(-8)). Which is greater: s or 1?
1
Let m be -11*978/774 + 14. Is 0 less than m?
True
Let s be 968/6*(-13)/(52/(-6)). Let n = 243 - s. Which is smaller: -4/115 or n?
-4/115
Let q be (-29)/(-87)*(5 + 5100/(-1018)). Is q at most 0?
True
Let i(h) = 10*h - 1. Let b be i(-1). Suppose 36*l + 313 = -2531. Let s = 69 + l. Which is smaller: s or b?
b
Let a = 961 - 973. Suppose -64*v + 56*v = 248. Is a at most v?
False
Let o be (-1 - 0)*(-2)/(((-24)/1516)/6). Is o smaller than -758?
False
Let l be 30030/(-98) - (-5)/4. Let h = 1247/4 + l. Let j be 5/((-10)/(-16)) + -2. Is j greater than or equal to h?
False
Let y be 198/30 + -6 + 13 + -2 + -12. Which is smaller: y or -602/17?
-602/17
Let h = -32011 + 224079/7. Which is smaller: -1/51 or h?
-1/51
Let c(k) = 6*k**2 - 6*k + 5. Let d be c(9). Let m = d - 2201/5. Let n = 275 + -274.9. Which is bigger: m or n?
n
Suppose -o + 0 = -1. Let m be (-2 - (-91)/46)*3912/75. Let c = m - -24/25. Which is greater: o or c?
o
Let a = 384 + -321. Suppose 3*l + 443 = 5*r, -l = -4*r + 206 - a. Is l bigger than -151?
False
Suppose 0 = z + 4*f + 5 - 1, -z - f - 1 = 0. Let x be z + 1 - 8918/8890. Which is bigger: x or 1?
1
Suppose 95*z - 5796 = 177269. Is 1926 bigger than z?
False
Let t be 5/(-60) - (-1 - -1). Let x = 302 + -305. Let q be (-85)/15 + 5 - 1/x. Which is smaller: t or q?
q
Let s = -6954 + 6961. Which is greater: 107/14 or s?
107/14
Suppose -1 = d, -2*d + 5 = -3*v + 10. Which is greater: v or 2/19557?
v
Let t = 35205/109 + -323. Let g be 3291/(-16677) + -5*5/(-75). Let u = g + t. Is -2/9 at least as big as u?
False
Let o = 69 + 124. Let c = -193 + o. Are -98 and c unequal?
True
Let y = 23 - 8. Suppose -4 = -y*z + 13*z. Suppose 0 = 5*r + z*w + 168, r - 5*w - 1 = -13. Is r less than -33?
False
Let o = 80.63 - 80.43. Which is bigger: 583 or o?
583
Let u(j) = 21*j - 80. Let z be u(4). Suppose 266 = -2*q + 2*o, -z*q + o = -o + 528. Do q and -130 have different values?
True
Let j(y) = -12*y**2 + 41*y + 2. Let f be j(4). Let u be 206/(-13) + 6 - (-4)/f. Are u and -41 unequal?
True
Suppose 4*s - 5*m = -891, 2*s - 5*m + 186 = -257. Let j = 59 - 58.9. Which is smaller: s or j?
s
Suppose -h + 303 + 4 = 0. Let f = h + -2147/7. Is 0.009 greater than f?
False
Let o(a) = 99*a - 3668. Let s be o(37). Which is smaller: s or 178?
s
Suppose -141*u = -144*u + 264. Let p = -5.1 - -2.1. Is p at most u?
True
Let p(j) = -j**3 - 15*j**2 + 5*j + 77. Let w be p(-15). Which is greater: w or -14.9?
w
Suppose -7*g = -76 + 538. Let c = g - -70. Suppose -w = -0*u + c*u - 100, -3*u + 4*w + 56 = 0. Which is smaller: 25 or u?
u
Let p be (-2 - (-4)/(-2))*(-10 + 8). Suppose x - 2*k = 0, 3*x + p*k = 3*k. Suppose -4*d - 138 + 134 = x. Which is bigger: -1/24 or d?
-1/24
Let q be 6 + (-159108)/(-240) + (-1)/5. Is q not equal to 669?
True
Let l = -220 - -539. Let s = -25480 - -25800. Which is greater: s or l?
s
Let c = -2609 - -1963. Is 1 < c?
False
Suppose 3*p + 46 = -4*d - 14, -5*p = -d + 77. Suppose 2*r - 3 = -a, 2 + 3 = 3*r + a. Suppose 3*l = r*l + 4*c - 9, 0 = -5*l + c - 7. Is p smaller than l?
True
Let p(f) = f**3 - 27*f**2 + 93*f - 24. Let w be p(23). Is -3/1393 <= w?
False
Let z(i) = 17*i + 53. Let v be z(-3). Let a be v + 2 + (-3 - (-32)/(-24)). Let b = -0.46 + 0.06. Is b less than a?
True
Let v = -159 - -71. Suppose -56*y - 132*y - 7128 = -107*y. Do v and y have different values?
False
Let z = 0.05 + -0.15. Let y = 2444 - 4873/2. Which is greater: y or z?
y
Let g = -120 - -119.6. Let w = -0.6 + g. Is -1 at most w?
True
Let h = 2719 - 2719.03. Which is bigger: 147 or h?
147
Let b = -3.999 - 0.101. Let z = 30 + b. Let i = -26 + z. Which is bigger: i or 4/7?
4/7
Suppose 5*p = 2*v - 1935, -3*v + 596*p = 601*p - 2865. Which is smaller: v or 964?
v
Let x(n) = -n + 6. Let y be x(4). Suppose y*g - 4*l + 12 = 0, g = 2*g - 5*l + 6. Let q be 93*((-8)/g - 1). Is 31 less than q?
False
Let q(h) = h**2 - 87*h - 660. Let v be q(94). Which is greater: -1899 or v?
v
Suppose 4*h = 4*v - 0*h - 100, 0 = v + 3*h - 41. Let x = 54 + v. Let m = x + -247/3. Which is greater: m or 4?
4
Let j = -6177 - -2656. Are 2/7 and j equal?
False
Let o = 278 + -276. Let j be ((-168)/7182)/(o/6). Which is greater: j or 0?
0
Let k be 210/(1190/(-34)) - (1 - (-21680)/6). Which is smaller: k or -3619?
k
Suppose 4*v - 3*v = 13. Let i(l) = -13*l + 191. Let w be i(14). Suppose -32 = w*n - v*n. Is 42/5 > n?
True
Let c = 21.7 - -4.3. Let d = -36 - -70. Let q = c - d. Which is smaller: -1/4 or q?
q
Let q = -816.2 + 814.2. Do -44.5 and q have the same value?
False
Let g be ((-30)/(-15) - (7 - -3)) + -10. Let j be (8/10)/((-6)/130). Which is greater: j or g?
j
Suppose -1227 = -10*n - 1237. Which is greater: -2/4831 or n?
-2/4831
Let d = 193 - 46. Let w = d - 78. Let c = w + -38. Which is greater: c or 1?
c
Let v be ((-51)/5134)/(2 + (-358)/104). Let r = 22549/343525 + v. Let y = -4/91 + r. Which is bigger: -1 or y?
y
Let j be ((-12)/(-15) + -2)*12560/(-24). Suppose -5*l = -2*x + 1451 - 403, -3*l + x = j. Which is greater: -207 or l?
-207
Suppose 17*m - 51 = -2