Let t be (6⁄9)/(3⁄9). Solve w + t = 3*w for w.
1
Let j(u) = 2*u - 9. Suppose -2*c + d + 1 = 4*d, 3*d - 5 = -c. Let p = c - -10. Let x be j(p). Solve -8 = -r - x*r for r.
2
Suppose 16 - 4 = 4*i + 2*v, 5*v = 3*i - 35. Suppose i*s = 1 + 4. Solve -4*o = s + 3 for o.
-1
Let x(w) = 7*w + 22. Let r(v) = -15*v - 45. Let c(i) = -2*r(i) - 5*x(i). Let m be c(-6). Solve -3*b - 2*b = -m for b.
2
Let s(b) = 2*b - 38. Let h be s(19). Solve 0 = -h*v + 2*v for v.
0
Let n(d) = d3 + 6*d2 - 9*d - 10. Let i be n(-7). Suppose -m = i*t - 7, 28 = 4*m + 2*t + 3*t. Solve 2 = -p + m for p.
5
Let f(h) be the second derivative of h6⁄720 + 3*h5⁄40 + h**4⁄12 - 2*h. Let o(d) be the third derivative of f(d). Let y be o(-7). Solve -y*g = -g - 4 for g.
4
Let l = 8 + 17. Suppose -3*p + 8*p = l. Suppose -p*q = -7 - 3. Solve f - q*f = 3 for f.
-3
Suppose -3*j + 5*i = 19, -4*j - 3*i + 0*i = -23. Suppose j*w - p = -2*w + 11, 2*p + 7 = 3*w. Let m = 1 + 1. Solve w*b = m*b - 2 for b.
-2
Let r = 5 - 2. Let q be -1 - (-3 + 4 - r). Solve 0 = -3*f + 2 + q for f.
1