Currently, the math control action only allows some math action to be done (i.e. sum, average, product, max, min). However, with a subtract action, we can calculate the balance of a contract value to determine whether there's sufficient value in the contract.
Thank you for this idea. This has now been released as a part of new a new Action implementation in the SYNCHRO Forms Designer. Users can now use common math functions to perform calculations across several fields, as well as use number constants to get an outcome such as percentages or promilles.