Suppose 0 = -5*w + 1 - 6. Let q(a) = -5*a**2 - 1. Let r be q(3). Let g be w/3 + r/(-3). Solve 0 = 2*j + 3*j - g for j.
3
Suppose 5*j - 23 - 17 = 0. Suppose -17 = -2*g + g. Suppose 0*q + 3*d - 3 = -3*q, 5*q - 3*d = 37. Solve g + j = q*z for z.
5
Let s(l) = -4*l3 + l2 + l. Let a(y) = -3*y3 + y2 + 2*y. Let n(h) = -3*a(h) + 2*s(h). Let f be n(3). Solve q = 3*q - f for q.
3
Let c(n) = -n3 + 5*n2 + 2*n - 5. Let t = 23 - 18. Let d be c(t). Solve -d*o = -2*o - 15 for o.
5
Let o(f) = 6*f - 70. Let s be o(18). Solve 18 - s = -4*y for y.
5
Let z = 37 - 37. Solve 0 = 4*n - z - 4 for n.
1
Let v = -35 + 37. Suppose -10 = -5*h + 10. Solve 0 = 2*i + v*i - h for i.
1
Let l be 6/(-8) + 39⁄4. Let t be 3/(l/15 + 0). Solve -2*f - t = -f for f.
-5
Let z = 5 - 4. Let c be z*-1*5 - -1. Let x = c - -9. Solve 0 = -x*p - 0*p + 20 for p.
4
Suppose 0 = 5*c - 2*q - 17, 6 = 3*q - 6. Suppose -c*o = -0*o. Let y be -2 - (-2 + o + 0). Solve y*d = d + 2 for d.
-2