Let s = -8 - -9. Solve 4*y + 13 = s for y.
-3
Suppose 9 = 3*d - 0*d. Suppose w - 2*j = d*j + 23, -4*j - 60 = -4*w. Suppose -5*a + 23 = 4*b, -3*a - 3*b = 2 - 17. Solve w = -4*m - a for m.
-4
Let a(m) be the first derivative of -m**2⁄2 + 3*m + 5. Let t be a(0). Solve -o = -t + 1 for o.
2
Suppose -4*r = -r. Suppose r = -3*k + 8*k - 10. Solve -3*y - k = 1 for y.
-1
Suppose 2*m + 9 - 1 = 3*u, 4 = -4*m. Suppose -u*p + p = 0. Solve 0*b + 3*b = p for b.
0
Suppose -10*o - 70 = -15*o. Let f = 20 - o. Solve 6 = f*i - 3*i for i.
2
Let b = 151 - 147. Solve -b*k = 5 - 1 for k.
-1
Suppose -3*p + 13 = -2. Suppose -4*o = -16, -2*o = -g + 5g - 12. Let b be 1 + (g + 0)-1. Solve 3*l - p*l = b for l.
0
Let g = 205 + -203. Solve 2 = g*z + 8 for z.
-3
Suppose 0 = v - 2*o - 4, 0 = 2*v + o + 2*o - 1. Solve 2*c = 6 - v for c.
2