Let f = -12 + 15. Solve -4*u + f - 11 = 0 for u.
-2
Let n = 5 - 2. Suppose -2*q + 3*q - n = 0. Solve -t + 16 = q*t for t.
4
Let s(x) = -2*x - 22. Let z be s(-11). Solve v + 2 - 1 = z for v.
-1
Suppose -3*f + 14 = i, -2*f + 0 = i - 10. Solve 2 - 10 = i*j for j.
-4
Suppose -n - 4*n = 0. Let b = -3 + -4. Let q be (-3)/b - 4/(-7). Solve n = w + q for w.
-1
Let v(u) = -u**2 - 3*u + 1. Let y be v(-3). Let s(z) = z - 4. Let l be s(4). Suppose 0 = -d - l*d + 3. Solve 2*w = d + y for w.
2
Let p = 4 - 1. Let x(m) = m**2 - 3*m + 3. Let z be x(p). Solve -z*b = -b for b.
0
Let x(h) = -2*h + 33. Let p be x(15). Solve 0*o - p*o = -15 for o.
5
Suppose -3*m = -n - 1, -1 = 2*n - n. Let a = 30 + -27. Solve 0*l + a*l + 15 = m for l.
-5
Let v be ((-12)/3 + 6)*(0 - -1). Solve 3*m - 1 - v = 0 for m.
1