Let y = -30 - -32. Solve y + 1 = 3*u for u.
1
Let z = 56 + -54. Solve 2*n - z = 2 for n.
2
Let y(v) = -v3 - 2*v2 - 3*v - 3. Let p be y(-3). Suppose -7*b + p = -2*b. Suppose -2*u + 4*f = -0*u - 44, b*u - 45 = -f. Solve -2*j - u = -6*j for j.
4
Suppose 0*r = -2*r - 3*s - 18, 4*r + s + 56 = 0. Let d = 23 + r. Solve -d*o = -4*o - 4 for o.
1
Let g be (-3)/(3/(-2)) + 1. Suppose -g*w + w + 6 = 0. Solve -5*a + 2*a = -w for a.
1
Let p(s) = 3*s + 10. Let x be p(-7). Let j be 15 + 1 + 0 + -1. Let u = j + x. Solve u = 2*i + 2 for i.
1
Let u(z) = z**2 - 6*z - 15. Let p be u(8). Solve 0 = 2*v - 3 - p for v.
2
Let l(h) = -h3 - h2 + h + 2. Let p be l(0). Suppose b - p - 2 = 0. Solve -r = 3 - b for r.
1
Let w(t) = -7 + t3 - 1 + 20*t - 13*t2 - 5*t - 1. Let b be w(12). Solve -5*c = -b + 2 for c.
5
Let y be 9 + (-6 - (-4 - -1)). Suppose -3*b + 0*b + y = 2*p, 0 = 5*b - 2*p - 26. Solve -b*r - 20 + 0 = 0 for r.
-5