Let v = 16 - 25. Let k = -1 - v. Solve 7*z - k*z - 3 = 0 for z.
-3
Suppose 3*x = -3*n + 30, 2*n = 3*x + 2*x - 57. Solve -4*t - 27 + x = 0 for t.
-4
Suppose -5*m = 5*d - 50, -5*d - 4*m - 5 = -55. Let q = 15 - d. Solve -2*u + 3*u = q for u.
5
Let a(j) = -j**3 + 11*j - 3. Let q be a(3). Solve q*h - 8 + 20 = 0 for h.
-4
Let c(v) = -v**2 + 12*v + 1. Let a be c(12). Solve -a - 3 = 4*d for d.
-1
Let u be (32⁄4)/(-4) + 8. Solve t = u*t + 25 for t.
-5
Suppose 3*c + 0*c - 12 = -4*f, 3*c - 6 = -2*f. Solve -f*b = b - 16 for b.
4
Let j = -47 - -49. Solve -x + 3 - j = 0 for x.
1
Let o be 4⁄3*6⁄2. Suppose o*l = -l. Solve 0 = m + 1 - l for m.
-1
Let j be (16⁄8 - (0 + -2)) + 0. Solve j*i - 6 = i for i.
2