Which is smaller: r or 565?
r
Suppose t = 3*f - 19359, 8*f + 6*t - 2*t - 51604 = 0. Which is smaller: f or 12903/2?
12903/2
Let w be 572/165*(3 + 3/(-2)) + -5. Which is smaller: 2/755 or w?
2/755
Let a = -0.2627 + -0.0373. Is a <= -6.27?
False
Let y = -3295 + 3295. Which is greater: -509 or y?
y
Let o = 4/291 + 34272/97. Is o != 353?
True
Let w(l) be the third derivative of 0*l - 1/6*l**3 - 1/12*l**4 - 1/60*l**5 - 11*l**2 + 1/30*l**6 + 0. Let k be w(-1). Is k <= -4?
True
Let b = -22.9579 - -23.119. Is 8 not equal to b?
True
Let i = 90.27 + -89. Let j = 1.47 - i. Is 7.5 less than or equal to j?
False
Let d = -382877121348 + 128263955887579/335. Let q = 358913 - d. Let m = q + 2/67. Is -1/22 greater than or equal to m?
True
Let f = 0.11 + 0.09. Let n = f + -0.02. Let l = 664.7 - 665.7. Which is greater: l or n?
n
Suppose -14*n + 19*n - 15*n = -180. Is -87 <= n?
True
Let x = 399 - 24338/61. Suppose -20 = 5*q + 3*t, -5*t - 43 + 18 = 0. Is q greater than or equal to x?
False
Suppose -3*a - 30 = 45. Let w = 24 + a. Is 2/49 greater than w?
True
Let m = 105/878 + -1024459/439. Which is greater: -2334 or m?
m
Let o be (-28 + 1)*13/(-39). Suppose -o*j - 42 = 66. Which is smaller: -18 or j?
-18
Suppose 14*v - 71 = 55. Let t(f) = f**3 + f**2 + f + 27. Let i be t(0). Suppose -3*u - 4*x + i = 2*u, -2*x = u - v. Which is greater: u or 1?
u
Let s be -11 - 935/(-88) - (-7)/((-56)/3685). Which is smaller: -460 or s?
s
Let l be ((-24)/(-4))/(-6) + (-36074)/10. Let n = -3564 - l. Let z = -177/4 + n. Is z at least 0?
True
Let m be (10/105*-3)/(1/(-7)). Suppose -m*p = -10, 18*y + 2*p = 16*y + 62. Is y > 25?
True
Let v(w) = 19*w - 148. Let c be v(8). Let j(u) = -u**3 - 2*u**2 - 4*u - 3. Let b be j(-4). Suppose -z - d - 5 = 0, 8*z - c*z - d = -b. Are -6 and z nonequal?
True
Suppose -3*s - 405 = -2*b + 7*b, -s = 0. Let d be (-330)/(-4) + (-4)/8. Let x = b + d. Are 9/5 and x equal?
False
Let t = 7.03 + -7. Let p = t + -0.33. Let s be 4*(28 - 4676/168). Which is greater: s or p?
s
Let d = 1.35 - 1.124. Let y = 0.024 + d. Let b = -0.14 + y. Is -3 != b?
True
Suppose 0 = -c - 3*z + 14, -3*c - 5*z + 27 - 5 = 0. Do -6/5567 and c have the same value?
False
Let k = 249.5 + -223. Let u = -17.5 + k. Let c = -0.3 - -0.1. Which is smaller: c or u?
c
Suppose 5*b + h + 52 = 274, h - 2 = 0. Let a be (-197848)/34*8/b. Let x = -1058 - a. Which is smaller: x or -1?
-1
Let c be 0 + (5*2/5 - (-252)/224). Is c at most as big as 2/3?
False
Let z = -14257 - -8171. Is -6087 at most z?
True
Let c = 28727 - 28728. Let k = -4222 - -726181/172. Is c at most k?
True
Let l be (-1)/((-50)/(-15))*28/21. Which is bigger: l or 227?
227
Let d be 70 + 7 + -4 - -3. Suppose 4*g - 4 = 3*g. Suppose 370 = 5*b - 5*c, -g*b + 302 = -c - 0*c. Is d smaller than b?
False
Let k = 3345 - 21316/5. Is 1 equal to k?
False
Let m = -4525 - -4529. Are 121.4 and m non-equal?
True
Let h = -143.55 + 216.6. Let n = -73 + h. Let a = -0.003 + 4.003. Which is greater: n or a?
a
Let h = 0.8164 + -0.5164. Which is smaller: h or -566?
-566
Suppose 2*p - 27 = -p + x, -2*x - 6 = 18. Let a = 7712/1485 + 2/297. Is a equal to p?
False
Let y = 3301 - 3298. Is -5/6 < y?
True
Let w(p) = 3*p**2 + 19*p - 27. Let u(y) = 4*y**2 + 20*y - 27. Let o(t) = 2*u(t) - 3*w(t). Let b be o(-13). Let f = b + -26. Which is greater: 54 or f?
54
Let n = -2044 + 2044.27. Let a = -17 + 13. Does a = n?
False
Let s(i) = -i**2 - 38 + 0*i**2 + i + i. Let f be (0/(2 + -3 - 1))/(423 + -420). Let k be s(f). Is -37 bigger than k?
True
Let j(b) = -109*b + 7847. Let v be j(72). Is v at most 3/4193?
True
Let f be ((-3)/1 + 25/10)*0. Let q be (-2743)/(-1625)*-3 + 10/2. Is f greater than or equal to q?
True
Suppose -121 = j - s, 0 = -s - 41 + 37. Which is greater: j or -120?
-120
Let a = -8.6536 - 1.4874. Is a <= -2?
True
Let w = -3.1623 - 12091.8377. Is w < 1?
True
Let k be (13/14)/((-1)/(-2)). Let q = -0.052 - -1.052. Let r = q + -2. Is r at least as big as k?
False
Let q = -24.2 - -252.2. Let k = 228.1 - q. Is k less than -0.012?
False
Let q = -3 - -56. Let n = -98 + q. Let d = n - -48. Is d > 1/3?
True
Let k = -3013 + 2876. Which is bigger: k or -140?
k
Let q be -6*(66/18 - 4). Let i = -19 - -19.01. Let x = -9.99 - i. Is q greater than or equal to x?
True
Let w = -400 + 183. Suppose -134*j - 1302 = -128*j. Do w and j have the same value?
True
Let x = -284 - -1992/7. Let s = 5311.8 - 5312. Do x and s have different values?
True
Let c(s) = 209*s + 1167. Let i be c(-5). Is i > 93?
True
Let y = -20117734687/17940 - -13456753/12. Let n = -3/299 - y. Are n and -6 equal?
False
Let v = 608252/10569 + -260/813. Let k = v + -1777/39. Suppose 28 = 2*y - 3*c, -2*y + c = -1 - 23. Which is smaller: k or y?
y
Let y = -72 + 71.965. Let x = y + 0.035. Let w = 8 + -6. Which is smaller: w or x?
x
Suppose -24*i + 41 = -40*i - 7. Is i equal to 6.68?
False
Let b(k) = -k**3 - 5*k**2 + 8*k - 6. Let p be b(-6). Let y = 0 + 43. Let l = y + p. Which is smaller: l or 26?
l
Let d be (-248)/31 - 235/(-30). Which is bigger: d or -1/56?
-1/56
Suppose 4*k = -5*a - 78 - 21, 0 = -5*a + 4*k - 131. Let w = a + 27. Suppose -n = 6*n - 7. Which is greater: w or n?
w
Let g(v) = -24*v + 361. Let r be g(15). Which is smaller: 6/1957 or r?
6/1957
Suppose -2*z + 11*z - 612 = 0. Suppose 5*s + m = -z, -m = -2 - 0. Which is smaller: s or -11?
s
Suppose 0 = 22*m - 3346 - 1142. Let f be (1 + -2)/((-176)/m - -1). Which is bigger: -7 or f?
-7
Let r = -2/939 + -9506/827259. Is -1 greater than r?
False
Let v(r) = r**3 - 5*r**2 - 7*r + 17. Let o be v(5). Let p be (29/(-1))/(3/o*-3). Which is smaller: p or -59?
-59
Let d = -5 + 4.992. Let v = d - 41.992. Let l = 10 + v. Is l greater than or equal to 1/2?
False
Let q be ((-12)/(-14))/(-1 - (-10 + (-5120)/70)). Which is smaller: q or 1?
q
Let k = 0.062 + -0.082. Suppose 4*b = 3*b + 29. Let s = b + -21. Which is greater: s or k?
s
Suppose u + 1753 = -r - 137, 2*r + 3780 = -u. Are -1890 and r unequal?
False
Let z = 2087 + -2075.9. Which is smaller: z or 7?
7
Let o = -185.07 - -2.07. Let l = 179.2 + o. Do l and -0.2 have the same value?
False
Let q be (7/147)/(429/(-1881)). Which is bigger: -1 or q?
q
Let b(y) = -y**3 + 2*y**2 + y - 3. Let n be b(0). Let a be 15/3 + n + 4. Let j be (-2)/(-20)*a*(-6)/9. Which is smaller: -11 or j?
-11
Suppose 4*o = 6 - 2. Let k be (-1)/(870/2030 - (-565)/252*-2). Which is smaller: k or o?
k
Let u = 1680 + -1711. Which is smaller: 20 or u?
u
Let t(k) = 8*k + 8. Let f be t(-3). Let c be f/(-40) + 22/(-5). Which is smaller: -2 or c?
c
Let k = 9078 + -1388890/153. Are k and 1 equal?
False
Let p = -16 - -272. Let r = -274 + p. Is r <= -8?
True
Let h(p) = 6*p - 33. Let n be h(6). Suppose 17 = v + x, 2*v = v + 4*x - n. Suppose -v*b = -2*b + 66. Is 2 < b?
False
Let g = 1414 + -57976/41. Let b = -5 + 4. Which is bigger: b or g?
g
Suppose -5*l = -5*d + 70, -142*d + 141*d = -2*l - 37. Let h = -56/59 + -3667/177. Is h greater than or equal to l?
True
Let v = -50 + 87. Let j(t) = -4*t - 37. Let x be j(-11). Suppose -x*m = 4*m - 3*m. Which is smaller: v or m?
m
Suppose -15*v - 720 = -0*v. Let i be ((-3)/(-45))/(8/v). Let p be -2*(1 + 10/(-4)). Is i > p?
False
Let m = -6 + 8. Let p be -1 + (0 - m) - (-69608)/23254. Which is bigger: 0 or p?
0
Let v = 63.126 + -65.126. Let r be (1 - 0)/((-3)/135). Let j be (3/r)/((-1)/3). Which is greater: j or v?
j
Let f be (-31)/(8060/40) - 189/(-91). Let g(t) = t**2 + 2*t + 2. Let q be g(-2). Does q = f?
False
Let l = 836 - 827. Suppose -l*c = -4154 - 1201. Are c and 595 nonequal?
False
Let z = 33.8 + -244.8. Let m = 208 + z. Is -0.17 > m?
True
Let i = 8860118/267 + -33184. Is i at most as big as 0?
True
Let l = -4999 - -70085/14. Is 7 < l?
True
Let h = -28 - -13. Let g = h + 24. Suppose -4*t + 1 - g = 0. Do 4 and t have different values?
True
Let u = 101359 + -101358. Let j = 88 + -22. Let y be -4*(1 + (-65)/j). Which is bigger: y or u?
u
Let v(k) = 507*k**2 - k - 1. Let f be v(-1). Suppose -2*s + s = -f. Let a be (0 - 10)*-1*(-117)/s. Which is bigger: -3 or a?
a
Let t = -16 + 19.6. Let w = t + 22.4. Let q be 0 + 2 + (-27)/18. Are w and q non-equal?
True
Let z(j) = -j**3 + 2*j**2 + 6*j - 2. Let o be z(-3). Let p be 1080/28 - (-3)/7. Let i = p + -15. Is i not equal to o?
True
Let i = 17909 + -17909.02. Which is bigger: -26