Let r = 23 + -23. Solve 15 = -r*v + 3*v for v.
5
Let p(x) = x + 4. Let h be p(0). Let c be 80/(-35) - 2/(-7). Let q be ((-12)/(-30))/(c/(-10)). Solve -q*z + h = 2 for z.
1
Suppose -27 - 17 = -2*w. Solve -5*t + 2 = w for t.
-4
Suppose -3*h = h + 2*g - 14, 0 = -5*h - 3*g + 18. Suppose 5*q + 4 = -a, -12 = -2*q + h*q + 3*a. Let y(n) = 2*n - 5. Let s be y(5). Solve -s*w = -q*w for w.
0
Suppose 2*t = 5*k - 4 - 3, -2*t + 17 = 3*k. Let h = 0 + k. Solve 5*b - 2 = h for b.
1
Suppose 0 = -2*s + 5*s. Suppose u = -i - 3*u - 15, s = -3*i - 3*u. Solve -1 - i = -2*w for w.
3
Suppose -2*u + 3*u = 5*c - 18, 0 = 4*c - 4*u - 24. Solve 2*m = 5 + c for m.
4
Let l(z) = 19*z**3 + 1. Let x be l(1). Suppose 2*n - x = -2*n. Suppose -5*h - f = -4*h - 5, n*h = -3*f + 21. Solve -2 + h = -q for q.
-1
Let h be (-3 + 1)/(0 - (0 - -2)). Solve 4*l + h = -3 for l.
-1
Suppose 5 - 29 = 4t. Let z be 1(-3)/6*t. Suppose u + 4 = z*u. Solve -2*n = u*n for n.
0