5, 2*k - y + 7 = 4. Which is smaller: k or 9/16?
9/16
Suppose 29*y = 102*y + 91177. Is -1249 at least as big as y?
True
Let d = -1537996 + 701326699/456. Let p = d - 25/24. Let g be (0*1/(-4))/((16 - 33) + 16). Is p at least g?
True
Let f = -1491/11 + 91160/671. Do -1 and f have the same value?
False
Let c = 38169.9 + -38169.9. Let j = -97 + 74.4. Which is greater: j or c?
c
Let t = 128.89 + -137.89. Let l = 1.58 + 6.32. Let y = 8 - l. Is t at least y?
False
Suppose -4*x - 4*z + 19 = 3, 2*z + 4 = x. Suppose -4*b - 4 = q + 46, -4*b - 52 = 2*q. Let w be 7/b - (-1)/x. Do -0.28 and w have different values?
True
Suppose 0 = 20*h + h - 72471. Let s be h/(-63) - (-5)/(180/(-8)). Is s at most as big as -56?
False
Suppose 290*z = 289*z + 2*y + 8, 0 = -3*z - y - 4. Are z and -38 unequal?
True
Let x(l) = -38*l**2 - 1. Let r be x(-1). Let s be (-4)/(-7)*966/(-12) + 5. Which is smaller: s or r?
s
Suppose 0 = -14*p + 38*p - 1176. Suppose 0 = -2*q + p + 63. Is q less than or equal to 56?
True
Let o = 30003 + -30157. Is 2/9 > o?
True
Let o be (128/(-112) - 12/(-7))*(-1883)/2. Which is bigger: -2691/5 or o?
o
Suppose -5*d - 9 = 11, -5*d - 65 = -3*j. Suppose -26*y + 486 - 148 = 0. Which is smaller: y or j?
y
Let w be (-56449)/209 - 3/(-33). Let a = 268 + w. Is -8 at least as big as a?
False
Suppose -4*f + 1 = h, 3*h - 3*f + 4*f = 3. Let q be 104/24 + 2/3. Let z be (-5)/(q/(-3)) - (h + 1). Which is bigger: z or 2?
2
Suppose 3*s = -5*l + 5107, 2*l - 376 - 1670 = 2*s. Is l smaller than 1020?
False
Suppose -2*o + 7 + 17 = 0. Suppose -3*u + o = 15. Is 3/47 equal to u?
False
Let s = -2358.115 + 2365. Let m = s - 13.892. Let g = m - -0.007. Does 0 = g?
False
Suppose 345 = -4*s - i + 2198, -1409 = -3*s + 2*i. Is s >= 464?
True
Let c = -205 + 202. Let a be 1/2*c*(-384)/(-9). Is -64 smaller than a?
False
Let r = -3.4 - -4.1. Let a = 3.082 - 1.082. Which is smaller: a or r?
r
Let b = 4.905 + 2.885. Which is smaller: 0 or b?
0
Suppose 50 = i + 4*u, -30*i - 3*u + 216 = -25*i. Does 20 = i?
False
Let f = -745.5 + 609.5. Which is smaller: f or 6?
f
Let g(f) = 14*f**2 + 7*f - 3. Let s be g(1). Let o(r) = r - 20. Let w be o(-10). Let i = s + w. Which is smaller: -10 or i?
i
Let b = 0.28 - 0.3. Let r = -69.3 - -69.12. Let v = b + r. Is v < -3/2?
False
Let p = 3092.0359 - 3092. Is -6 smaller than p?
True
Let w = 0.36628 + -346.36628. Is w at least as big as 5/3?
False
Let v = -1 - 5. Let a be (-1 + v/(-9))/((-9)/729). Is 24 greater than or equal to a?
False
Let p(d) = -24*d + 134. Let q be p(5). Suppose -2*z + 3*g + g = -16, 5*z = 5*g + 15. Let u be (-5)/(-20) + (z - q/(-8)). Which is smaller: u or -1/145?
-1/145
Let c(n) = -n**3 - 7*n**2 + 91*n + 106. Let x be c(-13). Let w be (10/(-20))/(1/122). Which is smaller: x or w?
x
Let x(l) = 0*l**2 - 17*l - 4*l**2 + 3*l**2. Let i = 1194 + -1211. Let z be x(i). Which is bigger: z or -1?
z
Let f = 141 + -66. Let i = -98 + 698. Let r = 675 - i. Is r >= f?
True
Suppose 10436*f = 10458*f + 19096. Is -867 at most as big as f?
False
Let m be 110/((-121)/11) + 10. Which is smaller: -1031 or m?
-1031
Let p(q) be the third derivative of -q**5/20 + q**4/12 - q**3 + 21*q**2. Let b be p(4). Let w be 23/b*(0 - (-1)/1). Which is smaller: w or 26/5?
w
Let d = -1175 + 1830. Let c be (-8)/((-240)/d) - (-7 + 2). Which is greater: 26 or c?
c
Let n = -2170 - -2067. Let m(i) = -i**2 - 2*i - 5. Let k be m(9). Is n at least k?
True
Let y = -93999/86 - -1093. Suppose -6131 = -5*z - 36. Let w = -1220 + z. Do w and y have the same value?
False
Let b = -149 - -148.741. Let n = 1.659 + b. Is n less than 5?
True
Let p(s) be the second derivative of -s**3/6 - 3*s**2/2 + 2*s - 10. Let z be p(-3). Which is bigger: 1 or z?
1
Let s(x) = -x**2 - 44*x - 436. Let c be s(-24). Which is smaller: 38 or c?
38
Let q = -2682 - -2681. Is q at least 1/697?
False
Let x(y) = 7*y**2 - 4*y - 2. Let n be x(-1). Suppose 0 = n*s + 9*s - 720. Is 40 at least s?
True
Suppose 5*w + 12 = v, v - 3*v + 2*w + 16 = 0. Let y(g) = -2*g**2 + 6*g - 10. Let l be y(v). Let i be (-56)/l + (27/33 - 1). Is i <= 2.1?
True
Let q(y) be the second derivative of y**3/6 - 11*y**2/2 + 8*y. Suppose -44 = -3*g - 11. Let x be q(g). Are -1/2 and x nonequal?
True
Let a be (-6)/51 - -8979*(-8)/(-204). Let q be 250/875 + a/(-1134). Is 1 not equal to q?
True
Let u = 2621/20 + -131. Let n be -2 + 4863/15 - (-4)/5. Let w = 323 - n. Which is smaller: u or w?
w
Suppose -d + 2*d - 4*w + 4 = 0, 4*w = 4*d + 16. Let c be 20872/2984 + -3 + d. Is -1 bigger than c?
False
Let r(w) = 3*w - 32. Let i = 89 + -84. Suppose 4*g = -i*g + 99. Let f be r(g). Is 1/21 at least f?
False
Let p = -1.143 + 0.143. Let y = 60 - 75.5. Let o = y - -20. Which is greater: o or p?
o
Let q = -25 - 90. Let s = q + 113. Let f be 1/((-116)/(-76) + -2). Are s and f unequal?
True
Let o(b) = -b**3 - 6*b**2 + b + 2. Let t be o(-5). Let j be (-4)/(-14) - 10/t. Let i be 0*((-50)/(-250) + (-6)/(-20)). Which is smaller: i or j?
i
Let c be 18 + (-7 - 3) + 10/2. Let r be 39/c - (6 + 0 + -2). Which is smaller: r or 8?
r
Let w be -5 + 15 + -6 + 17. Let g(n) = n**2 - 16*n + 81. Let h be g(w). Which is greater: h or 187?
187
Suppose -20*j - 908 = 452. Let s be 5*(-116)/8 + 6. Which is greater: s or j?
s
Suppose 0 = 2*c + 5*k - 229, 8315*c - k = 8314*c + 76. Let i(r) = -r**3 - r**2 + 89. Let l be i(0). Is c less than l?
True
Let m be (118/6)/((-14)/(-420)). Let r be 5 + (-9)/((-63)/4102). Which is bigger: m or r?
r
Let t = 14.92 - -0.08. Let j = t - 15.45. Let n = -0.45 - j. Are n and -64 non-equal?
True
Let d(w) = 22*w**2 + 20*w - 1. Let i be d(-1). Is i less than 340?
True
Let x be 1*(102/(-17))/12. Is x at least 1.1597?
False
Suppose z + 0 = 2, -3*k - 4*z + 8 = 0. Suppose k = g + 15 - 22. Let b be 55/(-10) + 5 - g/(-18). Is 0.2 less than b?
False
Let c(l) = -l**3 - 16*l**2 + 3*l - 36. Let t be c(-16). Let i be (8/6)/(t/234). Which is greater: i or -1/2?
-1/2
Suppose 10*r - 202 = 728 + 140. Which is smaller: -11 or r?
-11
Let m be (30/7670)/(-13 + 9). Which is greater: m or 0?
0
Let d = 28266 - 28265.9. Is d less than -2986?
False
Let c = 2 + -1.9. Suppose -6*g + 81 = -4*g + 3*m, g = 3*m + 27. Suppose 20*v - g = 24. Does v = c?
False
Suppose -2*n = 10*n. Suppose n = 159*r - 167*r. Is r <= -247?
False
Let s = 0.203 + 29.797. Let m = s - 124. Do 0.1 and m have different values?
True
Suppose -2*o = -4945 - 8315. Let h = o - 13759/2. Let k = -244 - h. Is k at most 5?
False
Let t = 2.99 + -2.7. Let a = t - 0.49. Let w = 15.981 - -2.019. Which is greater: w or a?
w
Let p = -39 + 43. Suppose g - p*g = 312. Let j be (2/4)/(2/g). Which is smaller: j or -1?
j
Let z(w) = 6*w**2 - 9*w - 4. Let t = -257 - -253. Let b be z(t). Is 128 <= b?
True
Let c = 29 + -30. Let h = -847097108604/222545 + 19032041/5. Let n = -2/947 - h. Is n at least c?
True
Let g(r) = r**3 + 9*r**2 + 16*r + 66. Suppose 0 = 2*q + 10*v - 6*v + 12, 5*q = 3*v - 43. Let h be g(q). Which is smaller: -0.2 or h?
-0.2
Let o be (3/(-75))/(2/(-6)). Let b(i) = -8*i**3 - 11*i**3 + 65*i - 5*i**2 - 10 - 8*i**3 + 26*i**3. Let y be b(-11). Which is bigger: o or y?
y
Let j be (-224)/84 + (-62024)/(-23268). Are 1 and j non-equal?
True
Suppose 5*x + 3*h = 120 + 42, 0 = -2*x + 5*h + 102. Let a(t) = t**2 + 2*t - 3. Let u be a(-3). Suppose -4*z + 13*z - x = u. Is z > 2?
True
Suppose 27 = 5*f + 52. Let g be (-4 - f)/(1/(-5)) - 153. Which is smaller: -156 or g?
g
Let i = 6363 - 6363. Let v be 2990/940 + 5/(-2). Which is bigger: i or v?
v
Let x be (48/(-56)*-7)/(1*-5). Let d be 0/((-2)/6*(-11 + 14)*2). Is d equal to x?
False
Let w be (-40)/(-35) - 2863397/623. Is w greater than -18377/4?
False
Let y = -1357/116730 - -2/3891. Let q = 5756 - 5757. Do q and y have different values?
True
Let c be 2 + 8462/(-16) - (-8)/(-64). Is c <= -2637/5?
False
Let n = 1875 + -1874. Which is smaller: n or 2/1471?
2/1471
Suppose 4*l - 1206 = 5*o, -4*o + 1188 = -16*l + 20*l. Let d = l - 301. Is d greater than or equal to -10?
True
Suppose -5*g = 0, 0 = -3*a - 5*g - 22 - 14. Let p be (a - -13)/((-1)/(-34)). Let s = -18 + p. Is s less than -1/3?
False
Suppose -9*x + 69 = -111. Let i(u) = 17 + 16 + x*u**2 - u - u**3 - 13. Let c be i(20). Do c and -1/4 have the same value?
False
Suppose 3*s = -3*h - 201, 8*s - 13*s = -11*h - 641. Which is bigger: h or -56?
