Let c = 13 - 13. Solve 5*v + 2 + 3 = c for v.
-1
Let y(z) = -z3 + z2. Let c be y(1). Solve -5*m - m - 12 = c for m.
-2
Let w be (-50)/(-10)*6⁄10. Let i(z) = -z3 - 4*z2 + 3z - 5. Let m be i(-5). Let t be 0(10⁄4)/m. Solve -w = a - t*a for a.
-3
Let y = -45 - -48. Solve a + y = 8 for a.
5
Let q(g) = -g - 5. Let w be q(-5). Let y = -4 - -10. Suppose -y = -5*m + 3*m. Solve -3*f + 6 - m = w for f.
1
Let c be ((-3)/6)/(1/(-4)). Let k be (-18)/22 + c/(-11). Let j be 24/(-9)*k*3. Solve 3*h - 4 - j = 0 for h.
4
Suppose 0 = 7*a - 2*a + 35. Let n = a - -9. Solve -m + 1 = n for m.
-1
Let v(t) = -t**2 - 2t - 2. Let k be v(-2). Let m be k((-9)/6)/1. Suppose 0 = -2*n + 2*d + 24, -5*n - m*d = -51 + 15. Solve l + 2*l = -n for l.
-3
Suppose 0 = -4*b + 2*c - 40, -12 = -b - 8*c + 3*c. Let t(u) = u**2 + 8*u - 2. Let o be t(b). Let l = o + 3. Solve 2 = -g + l for g.
-1
Suppose 4*l = -2*n - 2*n - 8, 5*n - 18 = 2*l. Suppose 0 = -v + 1, 3*u + 7 = -v + 17. Suppose b = n*b - u. Solve 4*o + 1 = -b for o.
-1