1. Set your Instant Pot to sauté mode and heat the olive oil.
2. Add the chopped onion, garlic, carrots, and celery. Sauté for about 5 minutes until the vegetables are softened.
3. Add the lentils, diced tomatoes, vegetable broth, cumin, coriander, smoked paprika, salt, and black pepper. Stir to combine.
4. Close the lid, set the valve to sealing, and cook on high pressure for 15 minutes.
5. Once the cooking time is up, allow the pressure to release naturally for 10 minutes, then quick release any remaining pressure.
6. Open the lid, stir the soup, and adjust seasoning if needed. Serve hot.