Let l = 13 + -9. Solve 14 - l = -5*v for v.
-2
Let t = 58 + -42. Solve 0 = 4*v - 0 + t for v.
-4
Let p be (4⁄10)/(1⁄25). Let d = 12 - p. Let v = d + -1. Solve -v - 3 = -4*z for z.
1
Suppose -81*p = -76*p - 25. Solve p*f + 10 = 10*f for f.
2
Let n = -1 + 11. Solve -t = 4*t - n for t.
2
Let o be ((-40)/(-12))/((-2)/(-3)). Suppose -i + 0*i - 37 = 5*p, 0 = 5*p - 2i + 46. Let u be -8(28/p - -3). Solve u*b + o + 3 = 0 for b.
-2
Suppose -u = -2*u + 5. Suppose -u*f = 4*r - 11, 0*f + 7 = -r + 2*f. Let h be r + (0 - -1) + 6. Solve 5*j + 4 + h = 0 for j.
-2
Suppose 0 = -a - a. Suppose 4*p + 4*x + x = -17, p - 2*x - 12 = a. Solve 5*o - 13 = p for o.
3
Let c be 3(-2)/15-10. Suppose 4*t - 16 = -2*m, 3*m + c*t = 5*m + 16. Solve 5*k + m*k = 10 for k.
2
Let r = 15 - 5. Suppose r = -2*a + 5*c, 5*c - 10 = a - 0. Solve a = j + 4*j + 5 for j.
-1