Suppose 3 + 2 = v. Let t(u) = u3 - 5*u2 - u + 7. Let c be t(5). Suppose -v = -x + c. Solve 5*z = 8 + x for z.
3
Let k be (12⁄3)/(-1) + 0. Let z = -4 - k. Solve 2*l + 3 + 3 = z for l.
-3
Suppose -3*t = -2*x + 4, 2*t + x - 2 = 4*t. Solve t = -i - 2*i for i.
0
Let k(x) = -x + 3. Let s be k(5). Let y = 2 + s. Let n be (y - 1) + 1 + 20. Solve -g + n = -5*g for g.
-5
Let v be (4/(-8 - -4))/((-2)/14). Solve 4*l = v + 9 for l.
4
Suppose -5*r - 10 = 4*p + p, 0 = -4*r + 4*p + 8. Let f = -4 + 8. Solve -t + f = -r for t.
4
Suppose 2*p + p - 18 = -i, -30 = -2*i - 4*p. Solve 5*n + 1 = -i for n.
-2
Suppose 0*c + n - 4 = -5*c, 0 = -2*c - 5*n - 3. Solve 4 - c = -3*f for f.
-1
Let j(a) = -2*a. Let u be j(-2). Suppose 3*v - 12 + 43 = 5*g, 3*g + u*v - 7 = 0. Solve 0 = 5*s - g for s.
1
Let i(p) = p**2 - p. Let x be i(1). Solve x = s - 0*s for s.
0