. Let c = -134 + 120. Let g be t(c). Is 122 greater than g?
False
Let w = 43207910/277797 + 16/21369. Let o = w + -2142/13. Which is greater: -10 or o?
o
Let p be 330/21 + -4 + 120/28. Suppose 17 - p = -k. Is -22/23 > k?
True
Suppose 90*u - 106*u + 3568 = 0. Let k = 264 - 41. Is u bigger than k?
False
Let w be (-63)/21 + 3 + 300. Do w and 304 have the same value?
False
Suppose 0 = 25*l - 36*l + 132. Let y be 2 + -435 + (l - 20). Do y and -440 have different values?
True
Suppose 61*z + 49 + 15 = 3. Which is greater: z or 10/1527?
10/1527
Suppose -733*o + 675*o - 4478 = 23652. Which is smaller: -481 or o?
o
Let i(u) = 2*u**3 + 37*u**2 + 51*u + 714. Let v be i(-17). Are v and 713 unequal?
True
Let d = 15222 + -15079. Which is greater: d or 135?
d
Let u be ((-2)/(-42))/((-2466)/(-21) + -15). Which is greater: u or -1?
u
Suppose -2*l - 874 + 302 = 5*r, 3*r - l + 341 = 0. Let m(c) = 220*c + 105. Let a be m(-1). Which is bigger: a or r?
r
Let f be 2/(20 - (-399)/(-19)). Let c = 59882674381 + -2539324806987547/42405. Let t = -2/3855 - c. Which is bigger: f or t?
f
Let b = -7392 + 7391. Which is smaller: b or 0.04351?
b
Let m(d) = -213*d + 7708. Let c be m(44). Which is greater: c or -1663?
-1663
Let x = 30.9 - 10.9. Let g = 19.96 - x. Let z = 0 - 2. Which is smaller: z or g?
z
Let a be (-48)/9 + (-10)/(-12)*-2. Let l be 31 + (-7 - a) + -1. Is l bigger than 30?
False
Let r = 25 + -22. Let w be ((-1)/r)/((-5)/(-255)). Suppose 2*k - 4*n = -28, 5*n + 1 + 20 = -k. Which is bigger: w or k?
k
Let b be 62/155 + (-2616)/(-10). Suppose -b*x - 95 = -257*x. Is x not equal to -21?
True
Let z(k) = k**2 - 2*k - 33. Let c be z(0). Let o = 77 + c. Let a = 43 - o. Which is smaller: a or -1/25?
a
Let b be 7/(91/65)*-96. Is b smaller than -477?
True
Let j(b) = -64*b - 56. Let t be j(2). Is -190 greater than or equal to t?
False
Let j(v) = -7*v - 14. Let f be j(-2). Suppose -5*p + 218 = 2*t, t + 4*t + 5*p - 530 = f. Which is bigger: 106 or t?
106
Let g = 399 + -411. Let y be ((-3 - -4) + 3)*(-87)/g. Is y at most as big as 42?
True
Let w be (-15)/(-1)*-1*-7. Let d = w + -106. Let o(k) = -k**3 - k**2 - 2*k - 2. Let g be o(d). Is -2/29 less than g?
True
Suppose -28*o = -41*o + 25*o. Suppose o = t + 32 + 24. Is t at least -4?
False
Let y be 3/(-1*(-3)/(-10)). Let i be 11718/(-2232) - (-14)/(-4). Which is smaller: i or y?
y
Let m = 9964.1 - 9964. Which is smaller: -3342/11 or m?
-3342/11
Let y = -135919 + 135594.945. Let k = y + 323. Let r = k + 0.055. Which is bigger: 0.8 or r?
0.8
Let c be 8 + (14751/(-60) - 39/(-65)). Is -237 >= c?
True
Let h = -21 + 47. Let c = h + -54. Let j = 0.012 - 0.012. Is c equal to j?
False
Let j = 3.802 - -1.208. Let b = 0.01 - j. Is -0.17 != b?
True
Let l = -1418 + 426820/301. Suppose 4*h + 7 = -5*z - 14, -h + 3*z = -16. Which is smaller: h or l?
l
Let q = 2215 + -2217. Let y(b) = -b. Suppose -2*m = -3*m - 2. Let t be y(m). Which is bigger: q or t?
t
Let d be (16/(-6))/((-120)/36). Let z = -156.01 + 156. Is z < d?
True
Suppose 4*b + m + 19 = b, -b + 2*m + 3 = 0. Let l(q) = -14*q + 7 - 19 + 7*q + 0*q**2 - q**2. Let r be l(b). Is r at least as big as -2/7?
False
Let i = 2567 - 4490. Which is smaller: -1926 or i?
-1926
Let c be 58/(-1) - (-84)/(-7). Let j be (14 - (22 - 13))*(-4)/c. Let d be (-4)/(-9)*42/4. Which is smaller: d or j?
j
Let f = -5/1659 + 7244/18249. Which is bigger: f or 3?
3
Let p = -166 - -171. Suppose -4*c = -a + p*a + 4, 0 = 2*a - 5*c + 2. Is a bigger than 1/463?
False
Let o = 484625.334 - 484213. Let i = -412 + o. Is 1 at most as big as i?
False
Suppose -25*f + 9*f - 34 = -50*f. Let x = -0.332 - -0.37. Which is greater: x or f?
f
Let x be (-2)/((-1)/2*-4). Let f(u) = -2*u**2 - 9*u - 3. Let i be f(-6). Let l be 12/26 + 21 + i. Do l and x have the same value?
False
Let v(b) = 3*b**3 + 4*b**2 - 3*b - 4. Let f be v(2). Suppose 46*m - f*m = -192. Is -10 less than m?
False
Let h be 10*18/(-135) + (-1058)/(-96). Let p = -39/4 + h. Is p <= -1/3?
False
Suppose 43535 + 67555 = -63*f - 8736. Is f greater than -1901?
False
Let g = 6715 + -7129. Which is bigger: -413 or g?
-413
Suppose 18 = -3*m, -f - 787*m + 789*m + 13 = 0. Which is smaller: -24/2669 or f?
-24/2669
Suppose -126*u + 128*u - 5*l = -8965, 0 = -3*u + 5*l - 13450. Which is smaller: -4484 or u?
u
Let q(k) = k - 2. Let z be q(7). Let w be 28/(3/5 + (-15)/150). Suppose -o + 3*h = w, 2*o + z*h = -57 - 33. Is -50 greater than o?
False
Let c = -1790/19 + 40289/133. Does 208 = c?
False
Let k(u) = 2*u**2 + 6*u + 23. Let m(n) = -3*n**2 - 13*n - 47. Let p(o) = -5*k(o) - 3*m(o). Let f be p(11). Suppose -5*y + f*y - 32 = 0. Is -32 at most y?
True
Let u(a) = -a**3 - 2*a**2 + 17*a + 5. Let b be u(-9). Let k = 420 - b. Which is bigger: k or 25?
25
Let n = -2205 + 2206. Which is greater: n or 5/52?
n
Let z = 362 - 360.77. Let g = z - 1.22. Let q = -3.7 + 0.7. Is g <= q?
False
Let x be 13/1963*((-6)/(-14) + 0). Let u = -1877/83503 - x. Is u less than 1?
True
Suppose -15*f + 7*f + 16 = 0. Suppose -6*a + f*a - 428 = x, -4*x = 5*a + 1734. Which is bigger: -437 or x?
x
Let t be 0 + 2 - -4*7. Let a(u) = u**3 - 7*u**2 + 2*u + 15. Let i be (-2 - -5) + 1/(-2)*-8. Let j be a(i). Which is greater: t or j?
t
Suppose -59*r + 147 = -66*r. Which is smaller: r or -219/10?
-219/10
Let h = 7651 + -7795. Which is smaller: -123 or h?
h
Let p be -49 - 3*(-9)/(-9). Let m = -93 + 41. Is m < p?
False
Let p(t) = t - 9. Let h be p(-6). Let w be h/35 - (-1 - -1). Let n = 688.9 + -689. Are n and w non-equal?
True
Suppose 0*r - 5*g - 16 = -r, 0 = 2*r + 3*g + 20. Let t be (-1 - 2) + (-10)/r. Let x = -0.01 - -2.01. Which is smaller: t or x?
t
Let o = 137.931 + -138. Let s(h) = 271*h + 18699. Let k be s(-69). Is o bigger than k?
False
Let t = -46 + 46.01. Let w = 8.01 - t. Let f = w + -9. Is -1 bigger than f?
False
Let i(x) = x**2 + 3*x - 5. Let z be i(-4). Let k be 824/5150*5/(-74). Which is bigger: k or z?
k
Let k(u) = -u**2 - 7*u + 5. Let n(c) = -c**3 + 11*c**2 - 10*c + 1. Let f be n(10). Let v be (-6 - -10)*f/(4/(-6)). Let b be k(v). Which is bigger: b or 10?
b
Let g = -4000 - -4000. Which is smaller: -16/485 or g?
-16/485
Let i be (-140)/(-26 - -12)*8. Which is bigger: i or 78?
i
Let z = 9417 + -9399. Which is bigger: z or 5/3?
z
Let p(j) = j**2 - 4*j + 16. Let x(s) = -2*s**2 + 5*s - 32. Let q(b) = -5*p(b) - 3*x(b). Let w be q(0). Let c = -4 + 20. Is w smaller than c?
False
Suppose -4*d - 17 = 3, 2*d = -o - 17. Let u = -3292 + 3274. Let v = o - u. Is v > 11?
False
Suppose 1 = 2*x - 1. Let i = 133197 - 16116835/121. Which is bigger: i or x?
x
Suppose 16 = 18*v - 2*v. Which is smaller: -1/48649 or v?
-1/48649
Suppose 4*c + 3*c = 441. Let z = 3 - c. Let j be (9/z)/(39/12). Is 0 <= j?
False
Let k(p) = -4*p**2 - 37*p - 10. Let n be k(-9). Suppose -8 + 76 = 4*f + 5*j, 3*f - 20 = 4*j. Let t be 44/(-24) - 2/f. Which is smaller: n or t?
t
Let b be (385/(-154))/(2/(-4)). Suppose -2*v = -b*c + 933, -16*c + 748 = -12*c - 2*v. Is 184 >= c?
False
Let u = -1 - -2. Let d(q) = 139*q - 371. Let j be d(-53). Let y be ((-73)/j)/(2/(-8)). Which is bigger: u or y?
u
Let o be -3*2 + 44*(2 + (-85)/68). Let c = -0.1 + 0. Is o >= c?
True
Let z = -4827 - -4827. Which is smaller: -4/4259 or z?
-4/4259
Let t(r) = -26*r - 3168. Let g be t(76). Are 1 and g equal?
False
Let t be 224/143 - (-2)/(-11). Let d(x) = -108*x**3 + x + 1. Let p be d(-1). Suppose p*o - 105*o = 0. Which is bigger: t or o?
t
Let a = 3.1 + 1.9. Let r = 0.714 - -0.016. Let s = 0.43 - r. Is s less than or equal to a?
True
Let h be -2*1 - (1131/(-3) + 8). Let z = h + -396. Which is bigger: -2 or z?
-2
Let p = 9.52 - -0.18. Let o = p + -9.8. Let q = 0.11 - 0.51. Do q and o have the same value?
False
Let w = -7750 - -6897. Which is smaller: -855 or w?
-855
Let s = 6 + -49. Let i = 43.127 + s. Let v = i - 0.027. Which is smaller: -22 or v?
-22
Suppose -17*x = 5*j - 20*x + 1257, 0 = 2*j - 7*x + 497. Are j and -255 unequal?
True
Let q(l) = -2*l**3 - 33*l**2 + 7*l - 85. Let a be q(-17). Let p be (a/10 - 8)*0. Which is smaller: p or 51?
p
Let d be 4/(-30) - (-42)/315. Let f(s) = -s**3 - 3*s**2 + 4*s + 1. Let o be f(-4). Let b be (3 + o)*60/(-16). Which is smaller: b or d?
b
Let w = -0.7081 + 0.6681. Which is bigger: w or 179?
179
Let n = 5446 - 5445. Let d = -22.079 - 0.221. Are d and n 