Let y = 5 + -2. Let n® = -2 - 3*r - ry - 1 + 0 + 5*r2. Let f be n(3). Solve -m + f*m = -25 for m.
-5
Suppose -3y + 14 + 13 = 0. Let f be y(-3 - 10/(-3)). Solve 4*x = -f - 17 for x.
-5
Let y(n) = n3 - 4*n2 - 4*n + 4. Let s be y(5). Suppose 6 + s = -5*z. Let v = z + 7. Solve -p - 9 = -v*p for p.
3
Let b be 0/((1 + -3)*1). Suppose b = -x - u, 0 = x + u + 3*u + 3. Solve 9 + x = -2*a for a.
-5
Suppose 0 = -6*y + 3*y. Solve -3*b - 12 - 3 = y for b.
-5
Suppose -4*y + 1 + 11 = 0. Suppose -2*o - y*o + 10 = 0. Let m be 2/(8⁄10)*o. Solve -m*v + 14 = -1 for v.
3
Suppose -m = -s - 1, -2*s = 3*m - 27 - 1. Solve -m - 10 = 4*h for h.
-4
Suppose -5 = -k - 1. Solve 0 = -4*d - 8 + k for d.
-1
Suppose -3*q - 6 = -4*u - u, u - 12 = -3*q. Suppose -u*p - 9 = -5*g, 3*g + 7 = 2*g + 5*p. Solve 0 = g*z + 8 - 5 for z.
-1
Suppose 2*o = -o + 6. Suppose -o*u - 120 = -7*u. Let i be (2⁄6)/(4/u). Solve -9 = i*t + 1 for t.
-5