Suppose v - 2 + 1 = -n, -2*n - 7 = -v. Solve -v*z = z + 8 for z.
-2
Suppose 0 = -5*y - 3*x + 20, 0 = -4*y + 4*x + 8 + 8. Solve t = -y*t for t.
0
Suppose 4*y - 5*z = 13, -2*z - 1 = 1. Solve 0 = 6*q - y*q + 8 for q.
-2
Let o = 3 - 0. Suppose 0 = -c + o*c - n - 39, 4*c + 3*n - 93 = 0. Let h = 10 + -6. Solve -h*r - c = -1 for r.
-5
Suppose -3 = -d + 2*x, 2*d + 2*d = 5*x + 12. Suppose a = d*a. Solve -2*y + a*y + 8 = 0 for y.
4
Let r(b) = 2*b + 1. Let g = 10 + -6. Let u(j) = -2*j - 1. Let m(l) = g*u(l) + 5*r(l). Let s be m(6). Solve s - 1 = 3*t for t.
4
Let g be -1 + -2*(1 + -2). Suppose -y + 6 = g. Solve 0 = -t + y - 1 for t.
4
Suppose -5*n - 30 = -2*l, 3*n + 2*n - 5 = -5*l. Let z(i) = i. Let g be z(l). Suppose -3*b + 0*b - 25 = -g*j, -20 = -3*b - 4*j. Solve b = -4*r - 6 + 2 for r.
-1
Suppose -6*p + 11p = -30. Let m = -1 + 0. Let z be 0(m + p/(-4)). Solve 2*u - 4*u + 4 = z for u.
2
Let v be 4⁄18 - (-16)/(-72). Solve 0 = -v*j + 4*j - 20 for j.
5