Instant Pot Beef Stew With Potatoes

"This Instant Pot beef stew is an easy and simple stew with vegetables like pearl onions, carrots, potatoes, and mushrooms. It's very easy to make in any pressure cooker. Prep Time 20 minutes Cook Time 1 hour Servings 5 servings Calories 413 kcal Ingredients 1 1/2 pounds chuck roast or beef stew meat cut into 1-2 inch chunks 16 ounce bag frozen pearl onions 8 ounces carrots about 3, peeled and chopped into 1 inch chunks 1 pound Russet potato about 1 large, peeled and chopped into 1 inch chunks 10 ounces mushrooms quartered 2 cups beef stock 3 tablespoons tomato paste 3 tablespoons all-purpose flour 1 tablespoon butter 1 teaspoon salt"