Let u(a) = -a3 + a2 + 3*a + 4. Let h be u(0). Solve -h*t + 5 = -7 for t.
3
Suppose 8 = 3*y - 1. Solve -2*b + y = b for b.
1
Let l(o) = -5*o. Let f = 8 - 9. Let u be l(f). Solve 0 = -3*w - 2 + u for w.
1
Let o = 3 - 6. Suppose 2*c = b + 10, 4*b - 27 + 7 = -2*c. Let z = c + o. Solve j + z = 2*j for j.
3
Suppose -10 = -3*x - 2*x. Suppose l = 4*l - 9. Suppose -l*r + 0*r = 2*a - 2, 4*r + 2 = 2*a. Solve r = -x*d - d - 12 for d.
-4
Suppose -3*p = -7*p - 0*p. Solve p = -3*m + m - 8 for m.
-4
Suppose -o = 2, 3*i - 2*o - 4 = i. Suppose i = t + 2*t - 3, -u = -3*t. Suppose -u*v + 0*v = -2*a + 23, 5*a - 40 = 4*v. Solve 0*r + 4 = a*r for r.
1
Let d© = c**2 - c. Let r be d(2). Let x(h) = -h - 8. Let y be x(-9). Suppose -u - y = -r*u. Solve 4 = 3*l + u for l.
1
Let x be 40/(-4)*(-9)/(-6). Let u be ((-11)/3)/(2⁄6). Let z = u - x. Solve -5*a = -24 + z for a.
4
Let o© = -c**2 - 7*c - 1. Let r be o(-6). Suppose 5*v = -2*l - 2, 3*l + 3*v - 1 = r. Let y = -1 + 4. Solve -s - l = y*s for s.
-1