Let y be -2 + (-2 - (-4 + 0)). Solve t + 1 + 2 = y for t.
-3
Let s(v) = -4*v - 4. Suppose -3*t + 3 = 12. Let l be s(t). Solve 4*r - 6*r = -l for r.
4
Suppose -4*n + 5*n = 18. Suppose j = 4*r - 21, -j - j - n = -2*r. Solve 0 = -r*y - 7 - 5 for y.
-3
Let i = 2 - -1. Suppose -7 = -2*y - i. Solve 0 = c - y - 0 for c.
2
Let w = -21 - -12. Let n = w + 13. Suppose -5*a = 4*d - 1 + 2, 4*a + 4*d + n = 0. Solve a*u + 2*u = -25 for u.
-5
Let a = -3 - -11. Solve 0 = a*s - 3*s - 20 for s.
4
Let g(m) = -m3 - 5*m2 - 6*m - 3. Let i be g(-4). Suppose d + 18 = 4*h, -i*d - 4*h = -2*h - 20. Solve 0 = -4*y - 10 - d for y.
-3
Let y(m) be the third derivative of -m5⁄60 + 3*m2. Let v(t) = 7*t**2 - 4*t - 3. Let f(j) = v(j) + 6*y(j). Let n be f(5). Solve -1 = -n*w + 1 for w.
1
Let y = -50 + 53. Solve c = -y*c + 20 for c.
5
Let w be 5-1(8⁄5)/(-2). Solve 1 - w = 3*y for y.
-1