Let w be 3/(-4 - (-46)/10). Solve 0 = 4*x + 13 - w for x.
-2
Let v(d) = 9*d3 + 2*d2 - 1. Let t be v(-1). Let b = t - -13. Solve q - 1 = -b for q.
-4
Suppose 0 = -12*y + 20 + 4. Let d = -13 - -18. Solve d*b + y = -3 for b.
-1
Let a = 4 + -1. Let t be ((-2)/a)/(2/(-15)). Solve 0 = -2*n - t - 3 for n.
-4
Let c = 6 + -6. Solve -4*m + 15 + 5 = c for m.
5
Let m = 6 - 8. Let d(j) = j - 9. Let v be d(11). Let b be (m - (-7)/v)*4. Solve -s + b = s for s.
3
Suppose -4*s = -2*s - 46. Suppose 5*k + 8 - s = -5*z, -3*k - 2*z + 9 = 0. Suppose 3*j - 3 = -k*n, 2*j + 1 = -1. Solve -n*q + 12 = q for q.
4
Let p be (-3*(-1 - 0))/1. Let g(l) = p*l - 3 - 2*l - 2*l. Let d be g(-3). Solve d = z + 4 + 1 for z.
-5
Suppose 5*u = 39 + 6. Let y = -5 + u. Let q = 6 - y. Solve q*f = f - 3 for f.
-3
Let c(l) = 2*l - 38. Let i be c(19). Solve i = -4*o - 2 - 14 for o.
-4