Let w = -44 - -45. Solve w + 2 = 3*i for i.
1
Suppose -d - z = -17, -2*d + 2 + 36 = 3*z. Solve 5*g + 7 = -d for g.
-4
Let i = -15 + 17. Solve 2 = i*d - 2 for d.
2
Let r(l) = -l3 + 3*l2 + l - 1. Let a be r(3). Let i be (-5)/(-4)*(-3 - -7). Solve -i = a*w + 5 for w.
-5
Suppose 2*i - 4 + 0 = 0. Solve 3*y + 1 = -i for y.
-1
Let u be -26⁄10-5. Let f = 2 + 2. Let h = u - f. Solve -h = -4*o - 22 for o.
-5
Suppose t - 24 = -t. Suppose 30*p - t = 27*p. Let q = 0 - 0. Solve q*m + p = -m for m.
-4
Suppose -3*h - 3 + 7 = -5*c, 5*h - 12 = 3*c. Suppose -d + 2*a = -2, 0 = 2*d - 0*d - 3*a - 3. Solve h*i + d = 12 for i.
4
Let g be (3⁄30*-4*10)/(-2). Solve g*s = -2*s + 4 for s.
1
Let w(s) be the second derivative of s5⁄12 - s4⁄24 + 3*s**2⁄2 - 2*s. Let y(f) be the first derivative of w(f). Let m be y(1). Solve -m*z + 2 - 6 = 0 for z.
-1