plug in
plug into
substitute
unknown quantity
unknown
figure
algebraic number
rootfinder
solution
root
reduce
arithmetic operation
Herbrandization
perturb
simultaneous equations
Karp reduction
simultaneous
multiply
formulate
Skolemization
system
throw in
recursive
Wick rotation
overrelaxation
formulaically
u-substitution
base-forming
resolvent
transposition
Knuth-Bendix completion algorithm
cookbookish
solve
do the math
eliminand
polynomially
tally
harmonic progression
deconvolute
equationally
rational root theorem
quadratic formula
exponential equation
factorize
elimination
Laguerre polynomial
factorise
numberwork
logarithm
calculatingly