Let x(t) = 2*t - 2. Suppose 0*k - 2 = -2*k - 2*r, k - r = 7. Let j be x(k). Solve s = j*s - 25 for s.
5
Let y = -1 - -1. Suppose y = 6*z - 2*z. Let h(v) = v**2 + 1. Let l be h(-1). Solve -r - l + 7 = z for r.
5
Suppose -7*f - 10 = -2*f. Let w = 6 + f. Solve -q + w = 1 for q.
3
Suppose -o = 4 - 1. Let v = o - -3. Solve 0*f - f - 5 = v for f.
-5
Suppose 0 = -5*q - 5 + 45. Solve 15 = 3*u - q*u for u.
-3
Let c be 1/(2/(-12)) - -2. Let h be (-52)/(-44) + -1 - (-92)/(-22). Let g be h/2 - (c - 1). Solve g*x - 4 - 5 = 0 for x.
3
Suppose -3*d = -2*l - 0*l + 7, 2*l + 3*d = 1. Solve -2*n - 8 = l for n.
-5
Let t be (-4)/(-6) + 200⁄15. Let s = -9 + t. Solve -8 - 7 = -s*m for m.
3
Let a = -10 + 12. Solve a*j - 3*j = -4 for j.
4
Let z be -15*((-4)/3 + 2). Let k be (6⁄10)/((-2)/z). Solve -k = p + 1 for p.
-4