Let l = 0 - 0. Let a(y) = -y3 + 5*y2 + y + 5. Let x be a(4). Solve 5*t = -l*t - x for t.
-5
Let s(k) = k**2 + 3. Let o be s(5). Suppose -5*m = -o - 32. Suppose -2*p - 3*p = -j - m, -3*p + 4 = -j. Solve -j = -0*i + 4*i for i.
-2
Let v be 0*(-3)/(-1 + 7). Let f = 0 - v. Solve f = 5*t - 29 + 9 for t.
4
Let m be 18/(-4)*2⁄3. Let u = 2 - m. Solve u = -8*p + 3*p for p.
-1
Suppose 2*c - 4 = 2*l, 3*c + 0*c - 8 = l. Suppose -2*k + 2*y = 0, -5*k - y + 6 = -0. Suppose k = o - l. Solve -10 = 3*t + o*t for t.
-2
Suppose 0*a + 12 = 3*a. Solve -a = 3*x + 2 for x.
-2
Let v be 18 - 1 - (2 - 0). Let o be (-6 - 1)*(3 + -2). Let j = o - -15. Solve 3*k = j*k - v for k.
3
Suppose 2*h + 2 - 8 = 0. Suppose -10 + h = -r. Solve 3*n = 8 + r for n.
5
Let j be 0 - (0/(-2) + -5). Suppose -2*z - 6*x + 8 = -2*x, -3*z + 12 = 3*x. Let n = 2 + 5. Solve z*v + j = -n for v.
-3
Let g(o) = -2*o - 2. Let j be g(-3). Suppose -v + 6 = v. Suppose -k + v = -j. Solve -2 + k = 5*b for b.
1