Let x = -55 - -58. Solve 15 = x*s + 2*s for s.
3
Suppose -4*t + 30 = -t. Solve -3*b + t = -b for b.
5
Suppose -i - 4 = p, 0*i = 3*p - i - 4. Suppose 4*o + 0*o = p. Let u be o/((-2)/2 + 3). Solve u = 3*t - 15 for t.
5
Let a(f) = f - 2. Let s be a(6). Suppose -y = 3 - s. Let m be y/(-4) - (-125)/20. Solve -m = -2*k - k for k.
2
Let w(g) = 2*g3 - 2*g2 + g - 1. Let a be w(2). Solve 0 - a = 3*j for j.
-3
Suppose -7*t - 40 = -9*t. Let h = -3 + 6. Solve -t = z + h*z for z.
-5
Let z be 1/(-2)*0/1 + 12. Solve 0 = -2*g - 2*g - z for g.
-3
Let s(y) = 3*y**2 - 3*y + 2. Let t be s(1). Solve -3*z = -t*z + 2 for z.
-2
Let v(x) = -6*x - 52. Let j be v(-12). Solve -j = 2*d + 2*d for d.
-5
Let o = 3 + 4. Let c be 14/(-49) + 142/o. Solve -5*s + c = -0*s for s.
4