 Let o be j(37). Let i = o - -154. Is -80 less than i?
False
Let h = 22 + -44. Let a = -39324 - -314413/8. Is h at most as big as a?
False
Let d(y) = 10 + 6 - 2*y + y + 0. Let t be d(18). Which is smaller: t or -36/31?
t
Let l = 0.11 - -0.01. Let o = 36 - 103. Let y = o + 67. Is y equal to l?
False
Suppose -185*u + 194*u = 18. Let b be u*((-93)/(-54) - (-4)/(-18)). Which is bigger: 24 or b?
24
Let w be (-16)/40*(50 + 24320). Is -2/7 bigger than w?
True
Let i be 596/34270 + 5564/(-2530). Let w = -13 + 12. Do i and w have the same value?
False
Let x be 24/(-10)*(-11)/1067*40/16. Which is smaller: x or 0.12?
x
Let a = -1 + 3. Let s = -1 - -30. Which is smaller: a or s?
a
Let n = 71 + -91. Let f = n - -69. Let t = 41.5 - f. Is t not equal to 1?
True
Suppose -3*q + 3 = -0*q. Let s be ((-11)/(88/16))/1 - (-98)/33. Is q smaller than s?
False
Let u = -176/13 + 515/39. Let a(q) = 8 - q**3 + 4*q**2 - 2*q**2 + q - 1. Let s be a(3). Is s greater than u?
True
Let o = -35729/3 + 11802. Which is smaller: o or -109?
-109
Let l = -15.9 - 4.3. Let m = l + 20.2. Is 21 at most m?
False
Let s(x) = -4*x - 12. Let c be s(14). Let v = -69 - c. Let g be 2/(-18)*v + 7/(-21). Is g at least as big as 7?
False
Let h = 0.07549 + 0.02451. Let k be 3/1770*(-10)/(-12). Let m = k - 487/177. Which is smaller: h or m?
m
Let i be (25/(-10))/(2/52). Let s(t) = -3*t - t**2 + 18 + 3*t + 2*t - 9 - 11. Let g be s(-7). Is i bigger than g?
False
Let g = -1883 + 1881.44. Is g at least as big as 0.1?
False
Suppose -3*n - 2*n = -25. Let p be (-282)/(-54) + -10 + 616/63. Is p != n?
False
Let n = -2607 + 2804. Which is bigger: n or 0.04?
n
Let c(l) = -l**2 - 17*l + 6. Let o(u) = -2*u - 32. Let y be o(-9). Let w be c(y). Suppose -3*p + 48 = 3*t, 4*t + w = 5*p + t. Is p less than 12?
False
Let x(l) = 166*l - 2580. Let w be x(33). Is 2897 bigger than w?
False
Let y = -1057 - -1057.1. Which is bigger: y or -2/4289?
y
Let i(a) = -47*a + 40. Let m be i(1). Let g be ((-540)/19350)/(m/5). Which is bigger: 0 or g?
g
Let b(y) = 131*y - 1980. Let a be b(53). Which is smaller: 4964 or a?
a
Suppose 5*d - 4*u + 5757 = 0, 5*d - 3*u + 2545 = -3214. Which is bigger: d or -1151?
-1151
Let d be ((-3357)/5)/((-486)/(-1620)). Is -2238 equal to d?
True
Let z be -1 - (6/(-8) - (-11 + 287/28)). Is -6/53 at most as big as z?
False
Let j be (-364)/13 - -18 - (-17032)/1706. Is j <= 0?
True
Let q be -4 + 0 - 8798/(-212). Suppose -7*d + 380 = 3*d. Is d at least q?
True
Let v be 8 + 4326/356*2/(-3). Is -0.2 <= v?
True
Let o = -58.381 - -59.04. Which is bigger: -7 or o?
o
Suppose c + 3*s = 15, 201*c = 200*c + 2*s - 10. Is c at least as big as 2/2553?
False
Let k(n) = -n**3 - 7*n**2 + 133*n + 1004. Let f be k(-8). Which is greater: f or 53/12?
53/12
Let k be 0/(13/208 - (-62)/32). Is -1/1456 greater than k?
False
Suppose q - 10 = -3*p, q = p + 2*q - 2. Suppose 0 = -p*c + 443 + 189. Which is bigger: c or -2/7?
c
Let u = 27 + -36.2. Let j = 52.061 - -0.139. Let n = u + j. Which is smaller: -0.1 or n?
-0.1
Let l = -12154 + 60759/5. Let u = -4 - -9/2. Which is greater: l or u?
u
Let w be ((-620)/16)/(1/(-4)). Let t = w + -116. Which is smaller: t or 43?
t
Let x be (1932/(-506))/((-162)/132). Do 2/217 and x have different values?
True
Let u = -0.082 + -43.918. Let j = 4.26 + 56.74. Let i = u + j. Which is smaller: -2 or i?
-2
Let c = 365/566 + -1500757/2326543. Is -1 greater than or equal to c?
False
Let l = -13714 - -19728. Is 6016 at most as big as l?
False
Let z = -152 + 246. Suppose 3*o + z = o. Let c = 46 + o. Is c equal to 33?
False
Let g(h) = 146*h**2 + 102*h + 192. Let z be g(-6). Is 4836 at least as big as z?
True
Suppose 5*j = -3*w - 90, 4*w - 2*j = -6*j - 120. Let t be (-2)/(-4 + 2) + 58/w. Which is greater: t or -2?
t
Let o be 10/15 + 84/(-378). Which is smaller: -90 or o?
-90
Let o = -5841 + 5738. Which is smaller: -1528/15 or o?
o
Let u(l) = -l + 2. Let m be u(-6). Suppose 2*b + 21 = 3*q, 4*b + 5*q + 16 = -15. Let z = m + b. Is 1/29 > z?
True
Suppose -4*m = 49 - 77. Let t be 448/16 + 4*-1. Suppose -5*l - t = -8*l. Is m >= l?
False
Let g be (5 - (45 + -41))*4/(-82). Let h = 3 - 3. Let c = 0 + h. Is c at most as big as g?
False
Let d be (-22)/796*42588/(-5577). Which is smaller: d or -1?
-1
Let b = 38/97 - 82743/211460. Which is smaller: b or 1/3?
b
Suppose k = -k - 18. Suppose -139*a - 24 = -133*a. Let s be 2 - (a/(-2) + k/(-9)). Is -7/15 less than or equal to s?
False
Let h = 1122 - 1124. Let t = 35 + -34. Which is bigger: t or h?
t
Let n = -32 + 63/2. Let g = 346/993 + -5/331. Which is bigger: g or n?
g
Suppose 27*a + 100 = -143. Suppose 3*r + h = -21, 5*h + 5 = -4*r - 23. Which is greater: a or r?
r
Let j = 27 - -57. Let w = 133.9 - j. Let s = w - 50. Is s equal to 2/23?
False
Let t = -65 + 85. Suppose 20 = -t*p + 540. Are 26 and p nonequal?
False
Let r = -3017 + 2989. Is r >= -16/5?
False
Suppose -399 = 2*j - 3933. Suppose -265 - j = -16*l. Is 127 not equal to l?
False
Suppose -1570 = 8*i + 2*i. Let z = i + 121. Let l = 25 - 62. Which is greater: l or z?
z
Let r be 3013152/8624*1893/(-379). Let g = 12544/4169 - r. Let w = -1748 + g. Is w > -1?
True
Suppose -13*u - 315 + 4956 = 0. Let r be 2/(-7) - 3468/u. Is r < -11?
False
Let w be (-32 - -21)*((-2)/12 + 0). Suppose -7*m + 125 = -2*m. Let c = m - 24. Which is smaller: w or c?
c
Let j(n) = n**2 - 9*n + 3. Let d be j(9). Suppose -3*k = -d*z - 3, 6*z = 2*z. Let m be (13/(-15))/((-4)/12) + -1. Is k at least as big as m?
False
Suppose 47*a + 85*a - 599 = 325. Let q = -5 - -15. Suppose -2*y = -q - 0. Are y and a unequal?
True
Let l = -487 + 598. Let a be 667/l - 210/35. Which is smaller: a or 1?
a
Suppose -3*x - 2013 = -72*h + 68*h, h = 4*x + 487. Is h greater than 506?
True
Let j = 31081/649 - 900/59. Which is greater: 32 or j?
j
Let h = -18.76 + 0.66. Is -0.3 greater than h?
True
Let t = 614 - 3888. Which is smaller: -3275 or t?
-3275
Let i be (12/(-18))/(4*1/(-6)). Let o be ((-14)/(-63)*-3)/i. Is o > -6/47?
False
Let x = 2828 + -2871. Is x greater than -43?
False
Let v(a) = 2*a**2 + a - 9. Let m be v(-10). Suppose 99 = 4*d - m. Suppose d*l - 15 = 75*l. Which is smaller: l or -5?
-5
Suppose -u - 297 = 2*u. Let h be u/175 + 4/14. Let z be ((0/4)/(-3))/(160/(-32)). Is z > h?
True
Suppose 0 = v - 3*v + 4. Suppose 0 = v*j - 4*j. Let z be (3/(-6) + j)*8/4. Which is smaller: z or -3/26?
z
Let u = 88 + -50. Suppose -p + 34 = -u. Let v be ((-15)/p)/(3/(-6)). Which is smaller: -1 or v?
-1
Let v = 1456.69 + -1449. Let b = v - 7.59. Do 22 and b have different values?
True
Let n = 12002 + -11753.86. Let l = n + -248. Suppose 0 = 4*r - 0 + 8. Are l and r nonequal?
True
Let q be (-45)/176 - (-11)/(-176). Suppose -4*b + b - 18 = 5*f, 0 = b - 4*f - 11. Is q != b?
True
Let m = -0.16 - -0.204. Let h = m - 0.644. Which is greater: h or -2/19?
-2/19
Let u = 13923 + -83125/6. Let v = -691/30 + u. Which is smaller: 45 or v?
45
Let j = 310/169 + -141614/77571. Which is greater: j or -1?
j
Suppose 2*k + 2 = -0. Let p be ((-312828)/(-995))/(1/5). Let x = p - 55024/35. Is x < k?
False
Suppose -9570 = -5*l - 2*t + 8818, 2*t + 3668 = l. Does 3677 = l?
False
Let w = -73 - -99. Let r = -25.42 + w. Let f = r + -1.1. Is -2/7 at least as big as f?
True
Let i be (-5203)/(-129)*(-54)/(-384). Is 7 at least i?
True
Let z = -9185 + 8913. Which is smaller: 2/3 or z?
z
Let w = 1689.7 - 1683.4. Is 71 at most w?
False
Suppose 0 = 3*w + 16*o - 15*o + 14959, 2*w - 2*o = -9970. Let g = w + 44818/9. Which is smaller: -5 or g?
g
Let i = -12.7 - -142.7. Let w = i - 137. Is -20 not equal to w?
True
Let o = 14 + -15. Let x = 45621 + -45072. Which is smaller: x or o?
o
Let q be -2*(-4)/(-8)*(-8 + 2 - 44). Which is smaller: q or 354/7?
q
Let g be (-64)/20*(-12)/(-24). Is g > -3?
True
Let c be -568*315/3240 + 2/9. Are c and -707/13 equal?
False
Let r = -162 + 170.3. Let n = 0.15181 - -8.04819. Let a = n - r. Are -35 and a unequal?
True
Let q(b) = 14*b - 84. Let a be q(-16). Let d = a - -2152/7. Suppose 2*i + 22 = -0*f - 2*f, -3*f - 5*i - 41 = 0. Which is bigger: f or d?
d
Suppose -4*r + 5*r - 5*v = 41, -3*r - 133 = 17*v. Which is bigger: r or 4/6353?
r
Let b = 123 - 123. Suppose -4*s - 2*u + 22 = b, 18*s - 2*u + 2 = 17*s. Is s at most -5?
False
Let p be (3 - 1) + (-13 + 4 - -5). Let d be 1365/6160 - p/22. Which 