Suppose -4*g = 15 - 23. Solve g*j + 2 = -0*j for j.
-1
Suppose 0 = 3*f - i - 3, 7 = 3*i + 16. Solve f = -y - 0 - 5 for y.
-5
Let i(t) = 3*t**2 + t. Let v be i(1). Suppose -8 + 36 = v*y. Suppose 0 = y*n - 3*n - 2*w - 24, 0 = n - 3*w - 16. Solve 0 = -2*g + 3*g - n for g.
4
Let g be 18 + 0 - (-2 + 4). Suppose -5*u + g = -u. Solve -u*v = -v - 9 for v.
3
Let a = -7 + 16. Solve 16 + a = 5*b for b.
5
Let i(h) = h + 4. Let o be i(-1). Solve -3*r = -o + 6 for r.
-1
Let s = -14 + 20. Let w be (-4)/s + 115⁄15. Suppose 2*c + 14 = -2*n - 2*c, 3*n + c = -1. Solve w = 3*i + n for i.
2
Suppose 3*a + 3 = -5*v, -5*v + 3*a - 1 = -4. Suppose 4*t + t = v. Solve -k = -t + 1 for k.
-1
Let s© = c**2 + 13*c + 17. Let i® = -r - 12. Let m be i(0). Let d be s(m). Solve 2*y = y + d for y.
5
Let a be 6/(-1)2⁄6. Let b be 2(3 - a/(-2)). Solve -b = -2*i + 4 for i.
4