Suppose 3*t = t + 22. Let u be 4⁄12 - t/(-3). Solve 0*y = -u*y + 16 for y.
4
Let x = 13 + -5. Let i be (-2)/(-8) - (-30)/x. Solve 0*s - 4 = -i*s for s.
1
Let z be (0/1)/(-1 - 12/(-4)). Solve -5*j - 10 = -z for j.
-2
Let u = 3 - 1. Suppose -2*k = 2 + u. Let m = k + 2. Solve m = -2*i - 2*i for i.
0
Suppose 5*p = -11 + 21. Solve -p - 2 = -t for t.
4
Let m = -8 - -17. Solve m + 6 = -3*u for u.
-5
Let z be (5⁄10)/((-4)/24) - -7. Solve z*f - f = 9 for f.
3
Suppose 2*d + 0*d + 15 = -f, 5*d + 45 = -5*f. Let y = -5 - d. Solve -7 = -2*l + y for l.
4
Let y = 40 + -20. Solve -y = 4*w - 9*w for w.
4
Let k be 1/((-1)/(-2) - 27⁄90). Solve 0 = 4*c - k + 1 for c.
1