Let q be -3*((-20)/6 + 3)*12. Solve 5*v = -32 + q for v.
-4
Let u(y) = y + 1. Let q be u(3). Solve -q = -5*r + 1 for r.
1
Suppose -3*m = -10*m + 21. Let t be 0 + -1 + 2*1. Let z be t/(2 + (-2 - -1)). Solve -4*p + m*p = z for p.
-1
Let i(a) = 2*a + 8. Let f be i(-3). Solve f*b + b = -3 for b.
-1
Let t = 7 - 11. Let w(u) = u**2 + u - 5. Let p be w(t). Suppose 0 = -4*x + 3*r + 48, 0 = 4*x - 5*r + p - 63. Solve -2*c + 5*c = -x for c.
-3
Let u be (2*1)/(2/(-5)). Let l = -5 - u. Suppose -f = 4*a - 6*f - 44, -2*a - 4 = 4*f. Solve -3*d + l = -a for d.
2
Suppose 5*x + 3 + 3 = -3*q, -4*x - 5*q = 10. Suppose j - 41 = -3*m, -5*m + 2*j + 0*j + 50 = x. Solve i - 4*i = -m for i.
4
Let o(q) be the first derivative of 7⁄2*q**2 - 4 + q. Let b be o(1). Solve -3*m - b = -m for m.
-4
Let g be 3 + (-1 - (0 - 1)). Solve -18 = -3*a - g for a.
5
Let x be (0 - -1)*2⁄2. Let b(h) = -1 - 2*h + 2 + 3*h. Let n be b(x). Solve -t + 2*t - n = 0 for t.
2