Let k(x) = 3*x**2 + x - 5. Let b be k(-2). Solve 0 = -b*s + 30 - 10 for s.
4
Let s be (-2)/2 + -25 - -1. Let c = -11 - s. Solve -11 - c = 5*f for f.
-5
Let w = 122 + -122. Solve -z - 1 + 3 = w for z.
2
Let t(l) = -l3 + 5*l2 - 3*l + 2. Let u be t(4). Suppose -4*c = -c - 21. Suppose -4*m = -c*m + u. Solve -4*y + m = -2*y for y.
1
Let v be 283⁄12-3. Let g = 23 + v. Solve 0 = -h - h + g for h.
1
Let g(o) = -o + 22. Let v be g(19). Solve -v*r + 6*r + 6 = 0 for r.
-2
Let r be (-16 - -10)*(-2)/4. Solve -12 = -3*b + r for b.
5
Let z(p) = -p**2 + 8*p + 6. Let v be z(8). Solve 0 = -v*q + 2*q for q.
0
Let h be (-7)/(14⁄4) - -3. Solve 4*d = h + 3 for d.
1
Suppose 5 = 3*f - 1. Suppose 2*n = -4*j + f + 2, -23 = -5*j + 2*n. Let i(u) = -2*u - 5. Let d be i(-6). Solve -j*y + d = -8 for y.
5