Let g = -54 + 56. Let x = 2 + -1. Solve g = -u + x for u.
-1
Suppose 0 = -2*a + 1 - 7. Let q = -25 - -5. Let c be (q/6 + 2)*a. Solve -3*s - c = 5 for s.
-3
Suppose k = 3*o - 11, -2*o + 0*k = 3*k - 11. Solve -m + o = -0*m for m.
4
Suppose 0 = -2*j + 4 + 4. Solve -5 = j*k + k for k.
-1
Let i(l) = -l + 5. Let a be i(4). Let d(v) = -v3 + 10*v2 + 2*v + 1. Let m be d(10). Solve -m + a = -4*f for f.
5
Let j = -10 - -6. Let v be 3⁄1*j/(-6). Solve -v*h + 5*h + 6 = 0 for h.
-2
Suppose 11 = 4*v - 5*k, -3*v = -5*v - 3*k + 11. Suppose 5*o - 4*o = v. Let f = o - 4. Solve f = s - 2 - 2 for s.
4
Let t = 32 - 29. Let n be (-4)/(-10) - (-8)/5. Solve -n*g - t*g = 0 for g.
0
Suppose i - 2*i - 30 = -5*f, 2*i = -4*f + 10. Let a be 0/(-2)*i/(-15). Solve b = -a*b for b.
0
Let q = -15 + 33. Suppose 2*r - q - 2 = 0. Solve -2*l + 0*l = -r for l.
5