Let s(y) = -y**2 + 10y - 12. Let d be (-4)/6-4*3. Let a be s(d). Suppose 6*z = -3*u + 2*z + 57, -z - 57 = -3*u. Solve -a*m + 7 = u for m.
-3
Let s be (-12)/(-15) + 205⁄25. Let a be -3 - (0 - 0/(-1)). Let w = s + a. Solve 2*j + w = -0 for j.
-3
Let p = 1 + 7. Let n = -8 + p. Solve 6*l - l = n for l.
0
Let b(x) = -x**2 - 6*x + 7. Let u be b(-6). Let y(i) = u + 5*i - 5*i - i. Let g be y(5). Solve -4 = 2*d + g*d for d.
-1
Let m be (-15)/(-21) - (-10)/35. Solve m - 16 = 3*z for z.
-5
Let h = 6 - 1. Let u = 34 - 13. Suppose 2*r - u = h. Solve 1 = 4*t + r for t.
-3
Let k be (-4)/14 + 8⁄28 + 2. Solve g - 3 = k*g for g.
-3
Let m = 12 - -1. Suppose 0 = 5*g - 10. Suppose -g*p - 5 = -v - m, 4*v + 20 = 5*p. Solve 0*f - f = v for f.
0
Let z = -1 - -7. Suppose -2*y + 2 = -z. Suppose -y*s - 4 = -12. Solve s*i = -i for i.
0
Suppose 0 = -a + 2. Suppose a*m - 3*m = 3*t + 10, 3*t + 8 = -2*m. Solve m*u + 10 = -3*u for u.
-2