Let m(u) = -3 + 0*u - 3 - 2*u. Let t be m(-4). Let v = 21 + -20. Solve t*b - 3*b = v for b.
-1
Suppose -3 = 3*o, -6*o = -z - o + 13. Solve z*f - 3*f = 10 for f.
2
Suppose 5*c = 73 + 2. Solve 0 = 4*j - c - 5 for j.
5
Let q(g) = g3 + g2 + g + 13. Let b be q(0). Suppose b = 4*r - d, -4*r + 0*r = 4*d + 12. Suppose r*z + 2*z = 80. Solve 5*a - z = -0*a for a.
4
Let o be ((7 + 2)/(-3))/(-1). Suppose -2*q + 0*q + 10 = 0. Let c(p) = -p3 + 6*p2 - 5*p + 2. Let y be c(q). Solve -o*h + y*h + 3 = 0 for h.
3
Suppose d + 5*t + 17 = 5*d, -5*d = -t - 16. Let x be (6/(-4) - -1)*0. Suppose -o + 6 = d*c - 2*o, 2*c - 3*o - 11 = x. Solve 10 = 3*y + c for y.
3
Suppose 0 = -2*v + 3*v. Solve 0*p - p + 5 = v for p.
5
Let l be 1*((4 - 3) + 1). Suppose 2*m - l = m. Solve m*y - 3 = -y for y.
1
Let x(h) = -2*h + 5. Let a(p) = -3*p + 8. Let y(m) = -5*a(m) + 8*x(m). Let v be y(-2). Let z be v - (0/(-2) + -2). Solve 0 = z*g - 2 - 2 for g.
1
Let l© = -10 - c + 4*c - c - c. Let n be l(6). Let s be 78⁄8 - 1/n. Solve 2*k = 4*k - s for k.
5