Let z = 9 - 5. Solve 2*r = -z - 2 for r.
-3
Let x(k) be the third derivative of k4⁄24 - k3 + k**2. Let z be x(0). Let a be ((-26)/z)/(2⁄6). Solve 5*o - a = 7 for o.
4
Let d be 36/(-8) - (-1)/(-2). Let f = d - -5. Solve 15 = 3*m - f*m for m.
5
Let v = -21 - -28. Solve -3*k = -v*k for k.
0
Suppose 5*n - 5*m = 10, 0 = -8*m + 4*m. Solve -n*b + 10 - 2 = 0 for b.
4
Let k be -3*(-6)/9 + 1. Suppose 4*o = -0*o - 12, -4*o = 5*f - k. Solve f*t - 3 = 6*t for t.
-1
Let x(l) = -l3 + 4*l2 + 2. Let m be x(4). Let z(v) = -2*v + 10. Let i be z(5). Solve i*g = m*g + 2 for g.
-1
Suppose -10*h = -3*h. Solve -g - g = h for g.
0
Suppose 0 = -4*l - 4*q - 12, 0*q = -3*l + q - 5. Suppose 0*x - 3 = -4*x + 5*m, -3*x = 5*m + 24. Let b = l - x. Solve b = -4*i + 9 for i.
2
Suppose 5*g + 40 = l, 0 = -g - 0*g - 5*l - 34. Let m = g - -11. Let f = m + 0. Solve f = -w - w for w.
-1