 g = m + -57377/21. Which is smaller: g or 2?
2
Let d = -123633.9902 + 123617. Let z = d + -0.0098. Let s = 1.1 + -0.1. Which is bigger: z or s?
s
Let r be (2 + -4)*(0 + -17). Let i be r/(-51)*(-3)/2. Which is smaller: i or 2/65?
2/65
Let x(m) = m**3 - 3*m - 3*m**2 - 5*m - 18 + 9 + 3. Let b be x(5). Suppose -9 + b = z. Are z and -4 nonequal?
True
Let p be (3 - 1)*(-8748)/(-24). Let o = -6577/9 + p. Let i be (1 - 1) + 21/(-7). Which is greater: o or i?
o
Let l(m) = -m**3 - 14*m**2 + 7*m - 34. Let z be l(-18). Let q = z - 98830/87. Suppose -4*o - 2 = -6. Is o >= q?
True
Let u be (-4)/(16/11)*-4. Suppose 0 = 4*v - 3*g + 3, -v - 5*g + 3 + 25 = 0. Suppose -3*t = 4*h - 0 - 56, 0 = -5*t - v*h + 75. Is t greater than u?
True
Let t be 8/(-6) - 3*(-2212)/5004. Let c = -289/1529 - t. Are -30 and c equal?
False
Suppose 2*l = -2*j + 40, 32 = 2*l + l - 4*j. Suppose 14*r - 84 = l*r. Is r greater than 0?
False
Let a(z) be the third derivative of -5*z**4/12 - z**3/3 + 3*z**2. Let m be a(8). Suppose 5*t - 81 = r, 149*r - 150*r - 2*t - 81 = 0. Is r greater than m?
True
Let s = -4419 + 4424.713. Let v = s + -5.46. Let b = -0.053 + v. Is 4 > b?
True
Let k = 0.0186 + 0.129. Let o = k + -0.0476. Do 48 and o have the same value?
False
Let o = 6507 + -7938. Is o > -1434?
True
Let x be (((-6753)/(-2))/(-3))/(-52). Let r be (2 + (-362)/6)/(1072/(-402)). Let q = r - x. Are q and 0 equal?
False
Let i = 1276/5 + -14126/55. Suppose 18 = -w + 15. Is i greater than w?
True
Suppose 4*x = -5*z + 958, -4*x = z - 6*z + 942. Let o = z + -190. Which is smaller: o or 6/13?
o
Suppose 118*a - w = 123*a + 2, w + 2 = -a. Suppose 12 = -s - 3*s, 5*c = -5*s. Suppose c*t = t - a*t. Which is greater: t or 2/83?
2/83
Let o(l) = -l**3 + 47*l**2 - 226*l + 4341. Let j be o(44). Suppose -2*t = t - 618. Which is smaller: j or t?
j
Suppose 0 = 408*w + 105*w - 291342 - 115980. Is 792 != w?
True
Let c = -366 + 1433. Are 1 and c equal?
False
Let o = 22826 - 22429. Which is smaller: 391 or o?
391
Let p be (8/(-2))/(40/620). Let b = p - -64. Suppose -24 = j + 5*y, -b*y - 16 = -3*j + 5*j. Which is greater: -2 or j?
-2
Let o(v) = v**2 - v - 14. Let b be o(-6). Let q(l) = 7 + 5*l - 13*l + 4*l. Let i be q(-5). Which is smaller: i or b?
i
Let g be 10/70 - (-142)/(-497). Which is greater: 141 or g?
141
Let k = -336 - -336.1. Is k bigger than -445?
True
Suppose a - 139 = -142. Let y be ((-4)/(-5))/(a*(-3)/(-234)). Do -22 and y have the same value?
False
Let d be 10 + (-364)/36 - 776/(-18). Let k = 379 - d. Which is smaller: 337 or k?
k
Let u = 1368223/31 - 44140. Are u and -4 non-equal?
True
Let c = 88180443/2155 + -40919. Are c and -1 unequal?
True
Let k = 16045/2 - 25735/3. Let p = -558 - k. Suppose 5*q = -3*n + 4, -4*n + 9*n - 16 = q. Is q < p?
False
Let f be 1/2*3/2. Suppose -39 - 6 = -9*d. Suppose 2*b = -w - 4 + d, 0 = -3*b. Which is greater: w or f?
w
Suppose 2*l = -5*i - 1006, 5*i + 0*l - 5*l = -985. Let t = -267 - i. Are -66 and t unequal?
True
Suppose -22*w - 5 = -27*w. Let d be w/2*2*(-6)/915. Is d >= 1?
False
Let t = 3.887 + 0.113. Let m = 2/625 + -256/1875. Which is smaller: m or t?
m
Let d(a) = 40*a + 4801. Let b be d(-120). Is b less than 4198?
True
Let z = 125025/73 - 1713. Is z bigger than -0.2?
False
Let t = -32 + 36. Let i be 8/20 + t/(-10). Let r(p) = p**2 + 18. Let z be r(i). Is 18 at least z?
True
Suppose -1330*s + 1356*s = 4498. Is s greater than or equal to 1/3?
True
Let f = -35 + 21. Let n = 4539 + -4542.313. Let z = n + 0.313. Do z and f have different values?
True
Let x(h) = h**3 - 6*h**2 - 8*h + 9. Let r be x(7). Let t = 1334 + -1335. Which is greater: r or t?
r
Let o = 10 + 49. Let l be (244/(-12)*3)/(-1). Is l at least o?
True
Let w(q) = q**3 + 8*q**2 - 2*q - 49. Let u be w(-10). Let b = 228 + u. Is -9/31 < b?
False
Let u be 5/2 - (-5304312)/(-2121795). Which is bigger: 0 or u?
u
Suppose -5*c + 2184 = 4*b, 3*c + 638 = 2*b - 410. Is b less than or equal to 5880/11?
False
Suppose -39*g + g - 38 = 0. Let r be (-5 - 4988/(-998))/(g/(-3)). Which is smaller: r or -1?
-1
Let t = -601/18 - -4171/126. Suppose -38 = -4*v + 2*l - 2, 2*v = -3*l + 2. Let x(i) = -i**2 + 5*i - 1. Let o be x(v). Which is smaller: t or o?
o
Suppose 4 = 4*d, l + 0*l + 5*d = -318. Let r = l - -385. Is r > 62?
False
Let j(q) = 2*q**3 - 56*q**2 + 5*q - 8. Let h be j(28). Suppose -144*a = -h*a - 216. Is 9 less than or equal to a?
True
Suppose -14*i = 2*i - 144. Let j = -29/3 + i. Are -120/17 and j equal?
False
Suppose m - 18 = -2*t, 2*m + 1 = 5*t - 35. Let g = -41424 + 372422/9. Let q = g + 2294/45. Is q at most t?
True
Let x = 1723 - 1722.9. Is 107/3 greater than x?
True
Let y = -149.8 - -149.9864. Is y greater than or equal to -0.1?
True
Let k = 2 - -23. Let u(i) = i**3 - 24*i**2 - 814*i - 104. Let b be u(43). Does k = b?
True
Let m be (1/(-1))/(10/22). Let d = 710 + -1402. Let c = d + 691. Is c < m?
False
Let g(m) = -m + 1. Let v be g(3). Let x(l) = l**2 + 7*l + 10. Let f be x(-5). Suppose 16*j - 2*j = f. Does v = j?
False
Let r be -18*(-2)/2*20/(-30). Let l = -493 - -793. Let v be (-4)/(112/l) - (-6)/(-21). Is r at most v?
True
Let r = 1927 + -2542. Is -1229/2 at most r?
False
Let l = 33 - 33. Let o(v) = -v**2 - 4*v + 2. Let t be o(l). Which is bigger: t or 7/11?
t
Let p be -1 + (-1 - -1) + 237. Let x be (-8)/p*(22/(-8) + 3). Is -1/2 less than or equal to x?
True
Suppose -j + 6*j + 600 = 0. Let r = 116 + j. Is -3 less than r?
False
Let b = 10602 + -30793/3. Let o = -477 + b. Which is greater: -139 or o?
-139
Suppose 0 = 3*z + 5*l + 4371, -10*z = -14*z - 5*l - 5818. Which is bigger: z or -1448?
z
Let s = -2.722 - -11.722. Which is bigger: -148 or s?
s
Let m be ((390/26)/(-15))/(1*-4). Which is bigger: m or -3959?
m
Let a = -171 + 167. Let f be (-64)/48*18/4. Let x be f/16 - 165/72. Are a and x equal?
False
Let g be 182/(-819) + (-633)/918. Is 0 > g?
True
Let b = -13.37 - -16.3. Let p = 4473 + -4473. Are p and b equal?
False
Let g = 6 + -3. Suppose -1722*b + 1724*b = 240. Let u be (b/(-25) - -1) + 2/(-10). Which is greater: g or u?
g
Let i be ((-6)/(-2))/(1/(-10)). Let h(k) = -87*k + 680. Let a be h(8). Let c be 0 + (0 - i/a). Is -2 >= c?
False
Suppose 2*y = -3*m + 35, -2*m + 2791*y + 10 = 2789*y. Let k = 2067 - 8227/4. Which is greater: m or k?
k
Let i(o) = 32*o + 1756. Let g be i(-55). Does g = -179/64?
False
Let n = 136 + -136.04. Let j = n + 0.14. Is 149 <= j?
False
Let k(r) = -6*r - 21. Let f be k(-4). Suppose -3*m = -f*p - 18, p + 3*m - 10 = -24. Is -12 smaller than p?
True
Suppose 9*k - 4*k = -80. Let y = 12 + k. Suppose 2*u + 2*u = -0*u - 4. Is y less than u?
True
Let h = -11 - -13. Suppose k = 0, 2*l = h*k - 6*k + 86. Let c = l + -42. Is 9/7 greater than c?
True
Let s(y) = -y**2 - 69*y - 404. Let f be s(-59). Which is bigger: f or 185?
f
Let y(u) = -u**3 - 33*u**2 + 35*u + 43. Let s be y(-34). Suppose 6*j - s*j + z + 126 = 0, 2*j = -5*z + 101. Is j greater than 43?
False
Let h = 16130 + -15947. Which is smaller: h or 196?
h
Let k = 90 + -241. Let s = k - -152. Is -0.017 smaller than s?
True
Let p be ((-2)/(-1) - -2)/(-6 + 7586/1264). Is p equal to 2528?
True
Let o = -2025 - -1887. Which is smaller: -139 or o?
-139
Let o(x) = 386*x + 1984. Let s be o(-9). Is -2 bigger than s?
True
Suppose -s - 4*g = 0, -2*s = g + 3*g + 4. Let q = s + 3. Let z = -91376/53 + 1724. Is q less than or equal to z?
True
Let c = -4399 - -4221. Which is smaller: c or -168?
c
Let d = 0.045 + 0.005. Let m(b) = b**3 - 11*b**2 + 11*b - 12. Let n be m(10). Let u be (-6)/(-3)*n/(-38). Does d = u?
False
Suppose 40*i = -5304 - 4056. Which is bigger: i or -2570/11?
-2570/11
Let t = -2289/2 + 1140. Suppose 0 = q - 5*q + 20. Suppose 2*b + b = v - 7, 5*b + q = 3*v. Which is bigger: v or t?
t
Suppose 2*l = -4*t - 76, 16*t - 2*l - 36 = 18*t. Are t and -59 unequal?
True
Let n be 0*(-13 - -7 - (-39)/6). Suppose 40*p + 2*p + 546 = n. Which is smaller: p or 1?
p
Let k = 5.05343 + -0.05343. Is k equal to 0.082?
False
Let j be (-2 - 0) + 22/(-10). Suppose 3*o + 6 = -c, -61*o + 60*o + 22*c - 136 = 0. Which is smaller: o or j?
j
Let y = 125 + 24. Let x = -149 + y. Let p = -289539/139 - -2083. Which is smaller: x or p?
p
Let l = 3/1617967 + -12314346969/71190548. Suppose 1263 + 467 = 10*y. Let w = y + l. Which is smaller: w or 1?
w
Let t be (-28)/(-102)