))/((-1)/(3680/(-24))). Let n = c + -42. Are -272 and n non-equal?
False
Let y = 4636 - 4649. Is 25 at most as big as y?
False
Let c = 261 - 296. Let m be 1/(-5) - (-98)/c. Is m less than -44/15?
True
Let o(q) be the third derivative of -q**7/5040 - q**6/180 - q**5/30 - 15*q**2. Let j(i) be the third derivative of o(i). Let m be j(-8). Is 0 bigger than m?
False
Let x = 44657 + -44456. Which is smaller: -1/15 or x?
-1/15
Let n = 154 + -136. Let g be ((-16)/6)/((-4)/6). Suppose -s + w - 5*w - n = 0, 0 = 5*s - g*w + 66. Do -14 and s have the same value?
True
Suppose 0 = -2*z + 2*h - 14, -4*h = z - 3*h + 7. Suppose -4*a + 3*w - 37 = 0, w + 4 - 3 = 0. Is a < z?
True
Suppose 809*u = 817*u - 192. Let l be 332*3/u + 3/2. Suppose 5*k - 221 = -3*r, -4*r = -4*k + 2*k + 78. Is k at most l?
True
Let g be (((-6)/39)/(22/(-143)))/((-2)/50). Which is greater: -260/11 or g?
-260/11
Let t be (92 - 104) + 583*25 + -3. Which is smaller: 14558 or t?
14558
Let p = 42647 - 42647. Which is smaller: -9/2789 or p?
-9/2789
Let b be (-350)/945*(54/(-15) + 3). Is -11023 at least b?
False
Let r(y) = -12*y - 492. Let q be r(-41). Which is smaller: q or -8/419?
-8/419
Suppose -k = -4*k. Let y(z) = z**2 + 62*z + 707. Let s be y(-47). Suppose k = -l - 4*t - 5, -3*l + 0*t - s*t - 35 = 0. Is l at least as big as -13?
True
Let a(q) = 5*q + 3. Let j be a(-3). Let f be (10/(-15))/((-8)/j). Let v be (-4 - (2 + 0))*f/2. Which is greater: 1 or v?
v
Suppose 21*m = -2408 - 2947. Let y = m - -225. Which is smaller: -28 or y?
y
Let g be (34/843)/(192/1224). Let m be 2/(-3)*6/562. Let p = m + g. Which is smaller: 6 or p?
p
Suppose 4*l + 2*v + 4260 = 2*l, -10638 = 5*l + 8*v. Which is smaller: l or -3/5?
l
Suppose 3*q = -2*d - 259, 26*d - 203 = 28*d - 5*q. Which is smaller: -115 or d?
d
Let s be (-3 - (-297)/5)/(7 + 657/(-90)). Which is greater: -185 or s?
-185
Let w = 23060/19558673 + -14/7279. Let d = w + -83289/10748. Which is smaller: -9 or d?
-9
Let l(a) = -19*a + 844. Let x be l(41). Which is smaller: 718/11 or x?
x
Let y = -283/410 - -8931451/12938370. Is y > 1?
False
Let m be ((-12)/(-9))/((-2208)/(-441) - 5). Let t be 24/15*560/m. Is 4 at least t?
False
Let f = -2235 + 33553/15. Suppose 0 = -0*m - 3*m + 2*a - 7, 2*m - 3*a = -13. Is m bigger than f?
False
Let c(r) = 6*r + 32. Let p be c(-4). Suppose -p*s + 6*s = -8. Is 17 at most s?
False
Suppose -o - 1325 = -4*m - 118, 3*o = 3*m - 912. Let g be ((-294)/m - -1)*1. Is g > 1?
False
Suppose 10 = -2*s - 3*s. Let h be 14/56 + 1494/8. Let b = h - 188. Is b bigger than s?
True
Let q = -0.05279 - -4.05279. Is q less than or equal to -18.9?
False
Let i be (-4)/6*3/(-2). Let h be 1 - 12 - (-10773474)/979210. Is i smaller than h?
False
Suppose 8*x = 644 - 180. Suppose -3*t - 3*h - x = 26, -4*t + 5*h = 67. Which is greater: -18 or t?
-18
Let k = 137 + -71. Suppose -4*q = 3*b + k, 4*q = 3*q - 5*b - 25. Which is greater: -10 or q?
-10
Suppose 10*r - 3*r = 371. Let g = r - 67. Is g bigger than -14?
False
Let g = -9 - -14. Suppose x = -g, x = -4*n - 3*x - 20. Let u be (-108)/63 + (-1 - -4). Which is smaller: n or u?
n
Let s = -352.29 - -140.42. Let r = 211 + s. Let y = r + 0.9. Which is smaller: -0.2 or y?
-0.2
Let t = 23.4 + -24. Let l = 42.4 - t. Let i = 45 - l. Is 4/5 equal to i?
False
Suppose -1 = -l - 5. Let u(h) = -h**2 + 2*h + 8. Let f be u(l). Let d be -4 - f/(-4 + 0). Are d and -10 unequal?
True
Suppose -15*a = 7*a - 2046. Suppose -a = -9*t + 204. Which is bigger: 36 or t?
36
Let u = -1459/8 + 27793/152. Do -11 and u have the same value?
False
Let b be -4 + (126/(-36))/((-9)/630). Which is greater: 963/4 or b?
b
Let g = -758 + 759. Which is smaller: g or -8/1633?
-8/1633
Suppose -3*z - 18 = -9*z. Suppose -c + 15 = v, z*v - 37 = -2*c + c. Let l = v + -5. Is 8 smaller than l?
False
Let j = -2 - 0. Let t = 726.85 + -723. Let y = 2.25 - t. Which is smaller: j or y?
j
Let q(c) = 659*c + 71. Let y be q(-3). Is y bigger than -1904?
False
Let i = 61 + -105. Let w = 43 + i. Which is smaller: -16 or w?
-16
Let o(y) = -y**3 + 9*y**2 - 12*y + 24. Let l be o(8). Let a be (12/(-10))/(l/150). Is a greater than or equal to 24?
False
Suppose 4*u + 3*m = 19, -3*m = -3*u - 5*m + 13. Let b be (-84)/36*(-1 + -2). Let d = -17/3 + b. Which is bigger: u or d?
d
Let y = -9949/7 + 1421. Which is bigger: -37.2 or y?
y
Suppose 2*p + 3*u = -141, -2 = 3*u - 11. Let t = -76 - p. Is 0.7 >= t?
True
Suppose -61*y - 58 - 1284 = 0. Let j be 4/((-12)/(-9)) + -15. Is j smaller than y?
False
Let u be (-2086)/8160 - ((-144)/1728)/(5/16). Let t = -3 + 2. Which is greater: t or u?
u
Suppose -258*n = 238653 - 235815. Let s be (1*2)/(2/(-7)). Let y = -3 + s. Is n greater than or equal to y?
False
Let a = 27/62 + -1141/1054. Is a != -2?
True
Suppose -2 = c, -5*i + 2*i + 8 = -4*c. Let r be (((-352)/6)/(-8))/((-398)/(-215409)). Let v = r - 3969. Which is smaller: i or v?
i
Let n = -1477/4 - -472643/1280. Which is bigger: n or 2/7?
2/7
Let u = 7095.88793 - -23.09407. Let c = u + -7137. Let f = c + 0.018. Which is smaller: f or -1?
f
Let r be ((-15320)/180 - (-8)/18)*-3. Which is bigger: r or -1?
r
Let n(k) = k**3 + 43*k**2 - 4*k - 167. Let g be n(-43). Let v(q) = 4*q - 1. Let b be v(1). Suppose 0 = -2*s + b*s - 6. Which is smaller: g or s?
g
Suppose 21*k = 2*k + 1179 - 1. Is k >= 7?
True
Suppose -35 = -5*z - 0*z - 5*f, -3*z - 5*f = -25. Let o be z + 0 - (-989)/(-23). Which is bigger: -39 or o?
o
Let l be (-6 - 152/(-16)) + 5060/(-1288). Let v = -113 + 159. Are v and l equal?
False
Suppose 5*b - 2*b - 3 = -h, -2*b = -3*h - 2. Let u be (6/4)/(b/(-54)). Is -83 >= u?
False
Let k be (-14427)/(-126) + 6/12. Which is smaller: k or 133?
k
Let c = 3622444/9 - 403488. Let h = -989 - c. Are h and 0.1 equal?
False
Suppose -602 = 28*a + 98. Which is smaller: -109 or a?
-109
Let l be 33 + 5/((-10)/(-4)). Let d = -4175 - -4209. Is d not equal to l?
True
Suppose -4*w + 15 = -w, 3*s - 2*w + 10 = 0. Let j(r) be the first derivative of -17*r**4/4 + 2*r**3/3 - r + 21. Let p be j(-1). Which is greater: p or s?
p
Let m(c) = 6*c**2 - 252*c + 5638. Let j be m(30). Is j at least as big as 3479?
False
Let w be (1/3)/(3/(-6)). Let p = -180 + -270. Let j = 447 + p. Is j at least w?
False
Let m(j) = 2*j**2 - 110*j - 129. Let b be m(56). Is b smaller than 3?
True
Let r = -48109 - -48110. Let c be (-10)/(-45) + (-664)/2178. Which is bigger: r or c?
r
Let p be (-20)/8 - (32/(-224))/((-2)/7). Which is greater: p or -200/87?
-200/87
Let g be 33/(-22) - (-2091)/6. Suppose 8*s - 45 = g. Which is bigger: s or 48?
s
Let h = -0.35 + 0.17. Let s = -0.42 + h. Let j = s - 4.4. Which is greater: j or -1?
-1
Let w = -26901 - -27014. Are 51 and w non-equal?
True
Suppose 2*u + 922 = 914. Let a = 9.01 + -9. Which is bigger: a or u?
a
Suppose 2*d = 10*f - 11*f + 177, -3*f = -9. Suppose y + 3*l = 27, -3*y - 4*l - 16 = -d. Is y less than 6?
False
Suppose s + 700 = 5*v, -5*s = -4*v + 448 + 112. Let f be 8/10 - (2 + (-108)/v). Which is smaller: -0.7 or f?
-0.7
Let j = -5357 + 5357.041. Suppose 0 = -2*y + 8, 5*b + 0*b - y = -9. Is j bigger than b?
True
Suppose 2*w = -120*z + 129*z - 174, 3*w + 72 = 3*z. Let x = 4 + -7. Is x at most z?
True
Let w(h) = 2*h**2 + 7*h - 14. Let f = -69 + 63. Let p be w(f). Let i(k) = 16*k**2 + k. Let c be i(1). Which is bigger: p or c?
c
Let h(i) = -5*i**2 - 65*i - 247. Let a be h(-18). Is a greater than -706?
True
Let s be (0/(5 - 4))/(-3). Suppose s = -5*w + 585 + 460. Which is smaller: w or 208?
208
Let x(c) = -c**2 + 6*c + 3. Let b = 20 - 14. Let j be x(b). Let y be j/((-1275)/860) - -2. Which is greater: y or -1?
y
Let a be 2*11/(-22)*-2*(1 + -154). Is a at most -1229/4?
False
Suppose -2*c - 15 - 1 = -4*w, 3*w + 3*c + 6 = 0. Suppose 63 = 6*b - 13*b. Let n(a) = -a**2 - 11*a - 9. Let o be n(b). Which is smaller: w or o?
w
Let l be (110718/234 + 8/(-52))*(0 - 1). Is l greater than -468?
False
Let v be 10*5/10 + -91. Let j be 15/20 + v/(-16). Is j at least as big as 7?
False
Let y = 520 - 519. Let b be y/2 - (94/12 - 8). Is -1/18 at most as big as b?
True
Suppose -2*t = t - 3. Let o = t - 1. Let c be (12/(-24))/((-2)/(24/(-174))). Is o greater than or equal to c?
True
Let v = 903/154360 - -11/680. Which is bigger: 0 or v?
v
Suppose 0 = -197*b - 205 - 2947. Are b and -181/12 equal?
False
Let y = -0.0455 - 