(-1 - -73) - (-1 - -3). Let s = -344/5 + b. Let n = s - 13/15. Is -1/2 at least n?
True
Let l = 1/4892 + -7471/650636. Suppose c + 5*i - 69 = 0, 327*c - 323*c - 5*i + 74 = 0. Is c less than l?
True
Suppose 47*y - 176*y + 38*y - 1274 = 0. Which is greater: 280 or y?
280
Let u = 240.2 - 34.2. Let o = 112 - u. Is -0.1 less than or equal to o?
False
Let k = 73 + -51. Suppose -5*m + k + 17 = -3*w, 0 = -w - 3. Suppose 3*z + 17 = 3*p + p, -4*z = -5*p + 21. Which is greater: m or p?
m
Let z(y) = -y**2 + 2*y + 1. Let u be z(-2). Let t = 13518/2185 + -216/95. Let k = t + -661/69. Which is smaller: u or k?
u
Suppose 0 = 3*l - 4*o + 9556, 0 = -4*l + 2*o - 13344 + 576. Is -3196 equal to l?
True
Let b = -5307/2 - -2902925/1094. Let g = -5 + 5. Is g at most as big as b?
False
Let r be (-1)/(36/(-130) - 4/(-20)). Let a(v) = 6*v**2 - 80*v - 16. Let w be a(r). Is -41 >= w?
True
Let l = 0.807 + 358.193. Let z = 367 - l. Which is smaller: -0.9 or z?
-0.9
Suppose -4*x - 8029 = -249. Let j be (-355260)/(-182) - (5 + 2). Let y = x + j. Is -1 at least as big as y?
False
Let x be 2/6 + -2 + (-260)/(-30). Suppose -3*a + x*a = -u + 16, 4*u + a = 4. Are 79 and u equal?
False
Suppose 0*o + 21 = 7*o. Suppose -55*n = -54*n - o. Let j be ((-15)/n - 47)/2. Are j and -26 equal?
True
Let a be (-929)/9 + 6/27. Let p be (-6)/(-2)*(31 - (-4312)/(-66)). Is p at least a?
True
Let a be (-2)/(-4) - (2 - 24/(-16)). Let k be -1 - (a + 5) - -55. Let y = k + -83. Which is bigger: -32 or y?
y
Suppose 30*c - 62*c + 18144 = 0. Which is greater: c or 569?
569
Let g = 32351 + -32351. Let f(c) = 4 + 0*c**2 - 9*c + c**2 + 2. Let s be f(5). Which is smaller: s or g?
s
Let u(m) = -6*m + 196. Let z be u(40). Is -89/2 < z?
True
Let s be (-4)/14 - (-3820)/140. Let n be (1 - (-49)/(-28)) + s/4. Suppose -3*t - 10 = 2*t. Does n = t?
False
Let x be ((-1 - -1) + -1)/(8/168*21). Which is bigger: -3/7 or x?
-3/7
Let a(x) = -x**3 + 5*x**2 - 4*x - 9. Let o be a(-5). Suppose -248*w + 3510 = -o*w. Which is bigger: w or -271?
w
Suppose 3*i - 3 = -2*w, 11*i + 5*w + 1 = 12*i. Let c = 449 + -13471/30. Is i at least as big as c?
True
Let a(w) = 13*w**2 + 23*w + 132. Let s be a(-11). Which is bigger: s or 1451?
s
Suppose 888*s = 1760*s - 884*s + 12. Let d = 14438/185385 - -2/3635. Which is bigger: s or d?
s
Suppose 5*f - 9342 = 13*f + 5*j, 0 = 3*f - 5*j + 3517. Is f smaller than -1167?
True
Let l = 1.42 + 80.58. Let y = l + -82.9. Let v = 0.93 + y. Are -4 and v unequal?
True
Suppose -37*z - 1732 = -704 + 3264. Suppose 2*g + 3*p + 233 = 0, -3*g - 263 - 95 = -4*p. Is z at least as big as g?
True
Suppose -42*c + 59*c - 15*c = 820. Which is greater: 406 or c?
c
Let v be (1 - 57/(-12)) + -2. Suppose -4*q = -4*f - 321 + 17, -5*f - 5*q - 430 = 0. Let t be 4/(-10) + 0 - f/15. Which is smaller: t or v?
v
Let o = -1 - -1.2. Let n = 0.42 + 0.73. Let w = 1.35 + n. Is o > w?
False
Let r = 73.11 - 14.21. Are r and 2/5 unequal?
True
Let d = -1.625 - -12.345. Which is smaller: -0.1 or d?
-0.1
Let c(m) = m**3 - 18*m**2 - 35*m - 101. Let i be c(20). Suppose 0*n = -2*n - 312. Let p be (6/n)/(2/20). Is i smaller than p?
True
Let i(j) = -11*j + 34. Let b be i(4). Suppose 196 = 4*a + 48. Suppose 0 = -5*k - 23 - a. Is b at most k?
False
Let r be (-52464)/52896 + (2 - (3 - 2)). Is r greater than or equal to -1?
True
Let g(d) be the first derivative of 7*d**2/2 + 8*d + 15. Let m be g(6). Let l = m + -49. Which is bigger: l or 2/9?
l
Suppose 4*d = -0*d + 3*g - 46, 57 = -5*d + 4*g. Let m = -16650 + 16646. Which is smaller: d or m?
d
Suppose 175*y - 324*y = -169*y - 295480. Is -14774 less than y?
False
Suppose -30*p + 25*p = 67*p + 174672. Is p < -2425?
True
Let v = 12 - 4. Let y be (1*v)/1 - 0. Suppose t + 13 = m - 3, -3*m + 8*t = -98. Is m != y?
True
Let j = 5481 + -6452. Which is bigger: 0 or j?
0
Let d be -5*((-12)/(-90))/((-22)/33). Which is smaller: 3/1030 or d?
3/1030
Let k = -7.255 - -8.255. Is -796 equal to k?
False
Let u = 38 - 40. Let d be (u/(-3))/((-2)/(-6)). Suppose 2 = -m, 0 = -n - 0*n - d*m - 6. Which is greater: n or -1?
-1
Let i be (-9)/(-70) - 0*(-1)/1. Let p = i + 1513/210. Let n = p + -23/3. Is -16 > n?
False
Suppose 0 = 115086*u - 115112*u - 26. Let g = -20/13 - -134/273. Which is smaller: u or g?
g
Let f be ((-4)/(-32) + (-7)/(-168))*(-80)/(-44). Which is bigger: 22 or f?
22
Let g = 20.1 - 38.58. Let o = -8.48 - g. Is -27 less than or equal to o?
True
Let t = -995483 + 995482.9. Let b be (24/2630)/((-4)/(-10)). Which is smaller: b or t?
t
Let f = 7/1608 + -43465/11256. Which is smaller: f or 3/22?
f
Let i(o) = -10*o**3 - 5*o**2 + 3. Let f be i(2). Suppose 0 = 2*c + 2, -u - 303 = 4*u + 3*c. Let q = f - u. Are -37 and q equal?
True
Let i be 8/(-10) - 16/320*-16. Is -6/1325 at most i?
True
Suppose l = 5*m - 14, 5*l + 93 = 73. Which is smaller: m or 38?
m
Let g = -3200 - -3231. Do g and 8/9 have the same value?
False
Let i = -6585 + 5269. Is -1318 at least as big as i?
False
Let d = -663.3 + 661.8. Which is smaller: d or 1.5?
d
Let a be ((-642600)/17)/8 - (-3 + 11). Is -4734 < a?
True
Suppose -5*m = -2*w - 282, -1 = -9*w + 10*w. Suppose 59*k = m*k - 48. Do -81/5 and k have the same value?
False
Suppose 3*a + 2 = -4. Let l = 3408.43 + -3474. Let t = l + 65.7. Is t greater than a?
True
Let r = 308 + -306. Suppose 777 = -r*l + 177. Is -300 less than l?
False
Let h = 29457 - 29477. Which is smaller: h or -0.316?
h
Let l(u) = -u**3 + 2*u**2 + 2*u - 1. Let m be l(3). Let f be (-174)/(-9) + m/(-6). Let s(z) = 3*z**2 - 2*z - 1. Let h be s(3). Is h bigger than f?
False
Let h(i) = i**3 - 8*i**2 + 7*i + 9. Suppose -3*o - 5*f = -38 + 7, 0 = o - 3*f - 1. Let b be h(o). Suppose -8 = -q - b. Which is smaller: q or -2/17?
q
Let x be 384/(-48624)*1/68. Which is bigger: 0 or x?
0
Let y be (-131388)/(-234846)*12/(-8392). Let h = -2/13047 + y. Which is smaller: h or -1?
-1
Let v = -1139065/41 + 27782. Which is smaller: v or -75?
-75
Let x = 212 + -206. Let i be (126/(-84))/(x/(-4)). Is -5 >= i?
False
Let n = -5 + -1. Let m be (68/3)/((-7)/(-21)). Let s be 0 + -5 - (-357)/m. Which is greater: s or n?
s
Let x = -159609788624486/58311 + 24634940848/9. Let d = -1296/11 - x. Are d and 0 equal?
False
Let i be ((-5136)/(-23112))/(4/9). Let x = -0.19 + 0.08. Let t = x - -0.1. Which is greater: i or t?
i
Let s be (120/32)/((-6)/(-1008)). Suppose -31*f = -41*f - s. Which is smaller: -247/4 or f?
f
Let y(r) = -r**3 - 8*r**2 - 14*r + 9. Let l be y(-5). Let c be (l/(4/(-3)))/(6/(-42)). Do 22 and c have the same value?
False
Let i = 49 - 33. Suppose 3*g + g = -i. Let p = 83534.11 - 83534. Which is smaller: g or p?
g
Let a be (-284778)/(-2912) - -3 - 1/(-16). Which is smaller: 2 or a?
2
Suppose -3*a - 8 = 2*r, 4*r - 3*a - 12 = -2*a. Let n = 1 - r. Is n less than -93?
False
Let l = 10020.078 + -10020. Which is smaller: -4/3 or l?
-4/3
Let m(j) = -j**2 + 6*j + 4. Let n be m(6). Suppose q + n*p = 17, 2*q + 0*q - 26 = -4*p. Let z be ((-96)/(-4))/(q/6). Are 16 and z unequal?
False
Let v = 190 + -290. Let a = v - -101.79. Is -2/3 less than or equal to a?
True
Suppose -118 = -12*b + 2. Let w be b*2*14/98. Which is greater: 2 or w?
w
Suppose 305*l + 641 = 306*l. Let h = 626 - l. Which is bigger: -17 or h?
h
Let x = 34058/117 - 2138/9. Is x at least 54?
False
Let l be (-641993)/1524*-3 - 1/(-4). Let t = 1264 - l. Suppose 8*m = 3*m + b - 4, -3*m + b - 2 = 0. Is m <= t?
True
Let g(f) = -6*f - 86. Let o be g(-14). Let y be (-1 - 1)*o/40. Are 2/11 and y non-equal?
True
Let y = -20683 - -20812. Do 223 and y have the same value?
False
Suppose -i - 4*z + 11 + 13 = 0, -5*i + 3*z + 5 = 0. Let k(s) = s**3 + 4*s**2 - 5*s + 2. Let m be k(-5). Let d be (-3 - -1)/(m + -3). Is i at most as big as d?
False
Let m(k) = -k**3 + 132*k**2 - 126*k - 166. Let x be m(131). Which is greater: 1951/4 or x?
x
Let n = 589.07 - 591. Let c = -29.93 - n. Is 1 less than c?
False
Let y = -138627945 - -39535303634501/285190. Let v = -219958229/383295360 + y. Let x = 1/384 + v. Which is smaller: x or -2?
-2
Let s = -2.25298 - 0.24702. Which is bigger: s or -28?
s
Let g = 48 - 242/5. Suppose 0 = -41*r + 4*r - 777. Which is smaller: r or g?
r
Let z = -23799/29228804 + -1/48796. Which is smaller: -1 or z?
-1
Let w = 371 - -279. Suppose 4*d - 840 = 4*r, w = -0*r - 3*r - d. Which is greater: r or -214?
-