Let v = 1 + 1. Let r be ((-4)/v)/(-2)*-17. Let d = 25 + r. Solve 3*g - d = -g for g.
2
Let y be 0 + 22 - (-2 - 1). Suppose y = 5*f + 2*n + 5, 3*f - 4*n = 12. Solve f = -2*m + m for m.
-4
Let n = -15 + 31. Suppose -m + 5 = 0, -2*m - 38 + n = -4*a. Suppose 2*b = 8 + 6. Solve b*r - 3*r = -a for r.
-2
Let i = 5 + -2. Suppose 5 = -5*a - 10. Let b be 1*a/i - -3. Solve b*r + 2*r = 0 for r.
0
Suppose 0 = -4*k + y - 2, 0*y + 6 = -3*k + 3*y. Solve 0 = -3*r - k*r for r.
0
Let z(i) = -i2 + i. Let w(q) = -8*q2 + 8*q + 1. Let h(m) = -w(m) + 6*z(m). Let g be h(2). Solve g*p + 2 = -1 for p.
-1
Let w be (-1 + -2)*25⁄15. Let t = -2 - w. Let p = 5 - t. Solve -1 = p*z + 1 for z.
-1
Suppose 0 = -9*q + 4*q. Suppose -b + 2 = 2*b + y, 0 = 5*b + 3*y - 6. Solve b = -i - q*i for i.
0
Let x = 12 - 15. Let q be 4/(8⁄6) + x. Solve q = r - 3*r for r.
0
Let h be (1/(-1))/(11 + -10) - -4. Solve 0 = -h*p + 5*p + 8 for p.
-4