Suppose z - 20 = -3*z. Suppose -4*o - 3*s = -5*s - 14, 5*o = -3*s + 23. Suppose -2*m - 4 = -4*u, -4*m + 25 = o*u - u. Solve -z*t = -u*t - 2 for t.
1
Let z be (-3 - -7*3)/(-1). Let y = -17 - z. Solve -1 - y = -d for d.
2
Suppose -3*f + 4 + 5 = 0. Solve 5*k + f + 17 = 0 for k.
-4
Suppose 0*b = b - 2. Let k(g) = g**2 + 1. Let h be k(1). Let w be (h/3)/(2⁄15). Solve 3*q = b*q + w for q.
5
Let a be (0 - 2*-1)/(-1). Let b = a - -4. Let x = 3 + b. Solve 2*y - y = x for y.
5
Let o be ((-81)/(-36))/(6⁄8). Suppose 4*h - 3 = 5. Suppose 0 = -x + o + h. Solve -x*t + 3*t = 8 for t.
-4
Let u be (-10)/20 + (-2)/(-4). Solve a + u*a = 0 for a.
0
Suppose a + 3*a = 0. Solve a*m + 4*m = -20 for m.
-5
Let d(p) = p + 7. Let x(i) = 1. Let k(n) = d(n) + 6*x(n). Let f be k(-12). Solve z - f = -0 for z.
1
Let l(f) = f**2 - f - 4. Let s = 7 + -1. Let t = 9 - s. Let v be l(t). Solve 2*y + 0*y - v = 0 for y.
1