Let k = 7 + -12. Let d = -1 - k. Suppose -d*f - 52 + 132 = 0. Solve -f = -w - 3*w for w.
5
Let y = -19 + 27. Let w be 7⁄2 + (-4)/y. Suppose -2*p - 8 + 2 = -4*r, -2*r + w*p = -1. Solve -c + r*c - 5 = 0 for c.
5
Suppose -z - 2*z + 4*v + 31 = 0, 23 = 3*z - 2*v. Solve 0 = m - z*m for m.
0
Let j = 3 + -2. Let o = 1 - j. Suppose -i + 0 + 5 = o. Solve -13 - 12 = -i*y for y.
5
Suppose -k - 1 = -3. Let y be k/9 + 133⁄9. Let r = -5 + y. Solve -5*w + 0*w - r = 0 for w.
-2
Let a© = -c**2 + 2*c + 2. Let t be a(2). Suppose -t = -2*s + 10. Solve m + s = 3*m for m.
3
Let g(t) = -t3 + 4*t2 + 8*t - 7. Let a be g(5). Suppose -5*i + a + 7 = 0. Suppose 2 = 3*o - o. Solve -d - i + o = 0 for d.
-2
Let v be (-2)/4 - 822/(-12). Suppose -p - v = -5*p. Solve 5*z - 8 - p = 0 for z.
5
Suppose 0 = d - 2*x - 10, 5*d + 21 - 6 = -3*x. Suppose d = -4*b + 5 - 1. Let i be -5b(-18)/15. Solve -i = -j - j for j.
3
Let v(j) = -7j + 3. Let b be v(2). Let n = 1 + b. Let q be n(15/(-6) - 0). Solve q = -4*y + 9*y for y.
5