Which is smaller: r or -1/116?
r
Let n = -352 - -353. Let y be (107/2 - n)/(336/(-280)). Are y and -45 equal?
False
Let o = -0.378 - 71.522. Let n = o + 64. Let t = -1225 + 1226. Which is smaller: n or t?
n
Let y = -54838 + 54840.9. Let j = -4337/234 - -4/117. Let r = j + 18. Are y and r equal?
False
Suppose 45*m + 22*m - 1541 = 0. Is m <= -0.1?
False
Let j = 867 - 341. Is j > 526?
False
Let j be (-1*(-1)/(-21))/(2256/(-334001088)). Let l = -7050 + j. Is l smaller than 1?
True
Let h(c) = -11*c**2 - 12*c - 5. Let i be h(-5). Let k = 221 + i. Which is bigger: k or 0.211?
k
Let g be (-80)/24*(-9)/2. Let s = 26 + g. Let v be (-3)/(-12*(-5)/(-800)). Are v and s unequal?
True
Let h(j) = -68*j**2 + 4*j - 4. Suppose 8*m - 7 - 1 = 0. Let g be h(m). Let c be (-1 - 3)/24*g. Is c >= 12?
False
Let y be (0/(-2))/(1 + 0). Suppose 185 = -c - 0*c. Let k = 183 + c. Is k greater than or equal to y?
False
Let u = -0.69 + 0.79. Let j = -45637/28 - -15352/7. Let w = 569 - j. Which is bigger: w or u?
w
Let o = -5542/1525 - -46/61. Let g be (-229)/458*8/2. Which is smaller: o or g?
o
Let z = -654 - -645. Suppose -4*j - 111 - 209 = 0. Let o be 4/(j/(-2))*-82. Which is bigger: z or o?
o
Let d = -25.559 - -0.059. Let m = d - -8.5. Is 1/9 <= m?
False
Let k(b) = -b**3 - 4*b**2 - 3*b - 5. Let d be 220/(-60) - (1/3 - 0). Let l be k(d). Suppose -5*m - l*z = -2*z + 10, -20 = 5*m + 3*z. Which is smaller: m or -4?
m
Let a be 2/(-12) - (-11)/(-6). Let f be -3*a/3 - (3 - 4). Suppose -f = -2*w + 1, w = -3*v - 1. Which is smaller: v or 6/25?
v
Let t = 2.9179 + 1.0821. Is t <= -1994?
False
Let j be (2*((-212)/(-40) - 5))/((-29)/(-10)). Which is smaller: 3 or j?
j
Let j be 24/(-60) + 204/(-30). Which is smaller: -6 or j?
j
Let r be -3 - (-8 - 1 - (0 - 2)). Let x be 138/(-23) - ((-246)/26 - 1). Which is smaller: x or r?
r
Suppose 3*a = -2*k + 17, -3*a = -k + 2*k - 16. Let t be 54*((-20)/(-8))/5. Let l = -21 + t. Which is bigger: l or a?
l
Let t = -105246234691638179/12 - -335630417842029753580863/38268020. Let w = t - 2/1913401. Let k = 346/3 - w. Is -2 at least k?
False
Let b(k) = -278*k**3 + 3*k**2 + 38*k + 72. Let p be b(-2). Is 2233 less than or equal to p?
False
Let l(f) = f**2 + f - 1. Let b be l(3). Suppose 0*y = -2*y - 2*g + 6, -5*y + b = 3*g. Let w be (-1)/(-2)*(-210)/2310. Which is bigger: y or w?
y
Let b = 1.09 + 90.91. Let t = b + 70. Let p = -71 + t. Which is bigger: 0 or p?
p
Let p = 45 + -43. Suppose -18*y - p = -2. Is -7/30 != y?
True
Let g be (33301/172)/((-2223)/104). Let b = 172/19 + g. Which is bigger: 0 or b?
0
Suppose 0*l = -5*l + 10. Let g be (l + (-48)/20)*-5. Let v(k) = -4*k**2 - 15*k - 6. Let c be v(-3). Which is bigger: c or g?
c
Let r be 4 + -3 - 3 - 1. Let x be ((-54)/24)/(r/(-5)). Suppose d - 24 = 6*d - t, -4 = -t. Do x and d have different values?
True
Suppose 0 = n - 366 - 254. Let q = 616 - n. Let u = 5 - 3. Which is smaller: u or q?
q
Suppose 0 = -142*w + 139*w - 5*t - 27, -35 = -5*w + 5*t. Are -6/2935 and w equal?
False
Let y be (-430)/(-3)*(-81)/(-135). Let u be 171/(-35) + y/301. Suppose 2*q + 5*h = 9*h - 18, -4*h = 3*q + 7. Is q less than u?
True
Let g = 2830 + -2814. Which is greater: 1.08 or g?
g
Let g = -72.61 - -107.61. Which is smaller: -293 or g?
-293
Suppose 91999 = -235*j + 531684. Is j != 1867?
True
Suppose 0 = -4*n + 5*i + 377, -3*n + 5*n = i + 187. Let x be n + -1 - (-6 - -3). Which is smaller: 98 or x?
x
Let t be (-4)/((-450)/(-452) - (-4 + 70/14)). Which is smaller: 907 or t?
t
Suppose -24*j = -22*j - 6. Suppose -3*k = -s + 4*s - 231, j*k + 65 = s. Is s at least as big as 0?
True
Suppose 2*c + 3276 = 2*q, -c + 1636 = -138*q + 139*q. Which is greater: 1638 or q?
1638
Let p be (-1)/(((-5)/(-105))/(2/(-6))). Suppose p*z - 5 = 16. Suppose 0*m = m - z*m. Does -32 = m?
False
Let o = -68844/11 - -6259. Suppose 2*r = -0*r - k + 5, -5*r + 14 = 3*k. Which is smaller: o or r?
o
Let i(j) = 174*j**2 - 6*j - 8. Let n be i(-6). Let q be ((-104)/n)/((-1)/(-1 + 0)). Let l be (4/6)/(2/(-3)). Which is smaller: l or q?
l
Suppose 46*d + 5 = 41*d. Let n = 20.997 - -0.003. Let k = n + -22. Is k at least d?
True
Let w = -17/836 + 148813/164692. Is 1 greater than w?
True
Let o = 215 - 151. Let k = -559 - -627. Which is smaller: o or k?
o
Let t = -8.83 + 8.03. Is t < -111?
False
Let g(k) = -k**2 + 5*k - 7. Suppose -10 + 12 = y. Suppose 0 = y*t - 10 + 4. Let i be g(t). Which is smaller: i or 1/4?
i
Let v be (12 - 13)*50/(-29). Let p = 6/326885 + -209207618/66357655. Let s = v + p. Does -1 = s?
False
Let w = 164856232/6787 + -24290. Is 1 equal to w?
False
Let u = -0.41 - -0.23. Let c = -123/2669 + -2/157. Let b = c + 21/68. Which is bigger: u or b?
b
Let j = 6544.02 - 6507. Which is smaller: j or 1?
1
Suppose 9*r - 6*r - 2*k - 48 = 0, 5*r = -4*k + 58. Do 77/4 and r have the same value?
False
Suppose -2*j = 5*x - 18, 0 = -6287*x + 6289*x - 5*j + 16. Is x <= 33/16?
True
Suppose -2*d - 4*o + 5750 = 0, 0 = -3*d + 3*o + 6720 + 1896. Are d and 1 equal?
False
Let f be (6/(-4))/(-48*(-8)/1280). Let b be 10 - (-2)/1 - 1. Let r = b - 15. Is r at most as big as f?
False
Suppose -k + o - 33 = 64, -k - 89 = o. Let d = k - -102. Suppose -l = l. Is d < l?
False
Suppose -o - 3*m + 9 = -0*o, 0 = -3*o + 2*m + 60. Let k = 132954 + -132936. Is o != k?
False
Let g = 161 - 162. Suppose 0 = 3*p - 3 + 12. Let w = p - -2. Does g = w?
True
Let o = 9 - 56. Suppose -7 + 111 = 2*a - 2*r, 2 = -2*r. Let h = a + o. Is h at most as big as -3?
False
Let r be 28884/(-581)*(-8)/(-60). Is -6 at least r?
True
Suppose 0 = 3*p + 5*i - 113, i = -2*i + 3. Let u = 0.215 - 0.015. Is p bigger than u?
True
Let m(i) = -6*i - 46. Let a be m(-13). Let r(q) = 2*q**3 - 66*q**2 + 58*q - 6. Let z be r(a). Is 2/3 smaller than z?
False
Let o = 35792861596/22175855 + -125/341167. Let q = o + -1614. Is -2/9 smaller than q?
True
Let u = -27.77 - -27.57. Is u greater than or equal to -1121?
True
Let t(b) = 5*b**2 + 6*b - 5. Let v = 14 - 18. Let u(a) = -6*a**2 - 6*a + 5. Let h(c) = v*u(c) - 5*t(c). Let w be h(-6). Is 7 equal to w?
False
Let m(q) = -2*q**3 - 27*q**2 + 36*q - 23. Let p be m(-15). Is -19 smaller than p?
True
Let t = -2021.45 - -2021.4. Which is smaller: t or 243?
t
Let f(o) = o**3 + 3*o**2 - 29*o + 5. Let i be f(-7). Let j be (-10)/i + (-190)/228. Are 0 and j unequal?
True
Let a(b) = 24*b**3 - 2*b**2 - b + 4. Let x be a(-2). Let v = x - -369. Let d be (1/(-4))/(v/20). Is d smaller than 0?
True
Suppose -h + 4*w + 79 = 0, 5*h + 3*w + 0*w - 303 = 0. Let v = 3669 + -3606. Is h equal to v?
True
Let g = 172 + -507. Let u = g + 300. Which is smaller: u or -0.1?
u
Suppose -648 = -27*h + 3*h. Suppose 6*x = 5*s + 3*x + 45, -3*s - 5*x + 7 = 0. Let n be (s/(-15))/((-21)/15). Is h >= n?
True
Let n(g) = 2*g**3 - 5*g**2 + 4*g + 16. Let d be n(7). Suppose -d*t = -487*t - 20. Is t at least as big as -10?
True
Suppose -5*k - 3*k + k = 8*k. Let m be (-1)/14*16/268. Which is smaller: m or k?
m
Let f(u) = -5*u**2 + 2*u - 7. Let s be f(4). Suppose 11*y + 874 = 27. Is s at most as big as y?
True
Suppose -24 + 190 = 141*g + 25*g. Which is bigger: g or -2/1287?
g
Let t(x) be the third derivative of -x**5/60 + 19*x**4/24 - 8*x**3 - 88*x**2. Let v be t(3). Which is smaller: -2/739 or v?
-2/739
Let t = 6 + -4. Suppose -p - t = -9. Suppose 0 = -3*l + 2*w - w + p, -2*w = 4*l + 4. Which is smaller: l or 7?
l
Let t = 0.4214 - 0.5016. Which is smaller: t or -1?
-1
Suppose 6*t = 3*t + 30. Suppose t*v = 8*v + 10. Let h be (-11)/(-55) - (-9)/v. Which is smaller: h or 7?
h
Suppose -2162*c = -2129*c + 5313. Is -1779/11 greater than or equal to c?
False
Let q(a) = 3*a**2 - 245*a + 1080. Let g be q(77). Let h = 437 + -5671/13. Which is smaller: g or h?
h
Let h = -48.9 - -7.1. Let f = -38 - h. Let d = -4 + f. Which is bigger: d or 3/7?
3/7
Suppose -5*j = -j - 4. Let m = 0.453 - 156.453. Let t = 155.6 + m. Which is smaller: t or j?
t
Let a(s) = -12*s**2 - 400*s - 48. Let b be a(-56). Is -15280 > b?
False
Suppose -5*u + v - 9731 = 0, -u - 54*v = -49*v + 1941. Is -1946 at least u?
True
Let t(h) = -h**3 + 13*h**2 - 29*h - 18. Let y be t(10). Let v be (-124 + 24)*y/90. Which is smaller: 9 or v?
v
Suppose -4*c - 4 = 52. Let f be ((-2)/(-5))/(c/(-70)). Suppose -6*p = f*p. Which is smaller: p or 1/11?
p
Let w = 0.02 - 0.14. Let a = 24.12 + w. Let q =