Let r(u) = -u. Let w be r(0). Let y(z) = -5 + 4 + z**2 + 4 - 1. Let v be y(w). Solve -2*o + v = -2 for o.
2
Suppose -5*d = 0, -6*z - d = -z - 10. Solve z + 2 = -q for q.
-4
Suppose 3*u = u + 10. Suppose u*s = 4*s + 5. Solve s = d + 3 for d.
2
Let o be 2/(-1)*(2 - 4). Let x be (-1 - -2)/(2/o). Solve 2*f + x*f = -20 for f.
-5
Let k(q) be the third derivative of -3*q2 - 1⁄60*q5 + 0 + 1⁄120*q6 + 0*q - 2⁄3*q3 - 1⁄12*q**4. Let v be k(3). Solve 5*l = l + v for l.
2
Let b be 0 - -11 - (0 - -1). Suppose i - 4*f = -2*i + 29, -5*i = -2*f - 25. Solve -i*t - b = -t for t.
-5
Suppose 0 = -6*d + d. Suppose -9*w + 4*w + 55 = d. Solve w*r - 5 = 6*r for r.
1
Suppose -4*c = -3*n - 0*c + 5, n = 5*c - 2. Solve n*k - 8*k + 25 = 0 for k.
5
Let g be 5/(-2) + (-3)/2. Let m be -1*(0/(-1))/g. Solve m = -4*a + 2 - 10 for a.
-2
Suppose -3*i + 7*i = 20. Solve -i*s + 1 = 16 for s.
-3