Let j be 49⁄2 + (-5)/(-10). Suppose 3*p = 3*r + 9, -3*r - 3*p = 4 - j. Solve -m - r = -3*m for m.
1
Let x(l) = 8*l**2 - 2l - 1. Let q be x(-1). Let b be 6(-1)/2 - -7. Suppose -2 = j - 4*j + 2*n, 2*j = 4*n - b. Solve -j*s + q = -1 for s.
5
Let p be (-2)/4 - (-13)/2. Let h(q) = 3*q - q - 4*q + 1 + 3*q. Let b be h(-1). Solve b = -0*i + 2*i - p for i.
3
Let c = 32 + -29. Solve -4*v = -19 + c for v.
4
Suppose 0 = 3*t - 2*h + 10 - 26, -t = 4*h + 4. Suppose -4 = -t*d + 24. Solve -12 = d*c - 3*c for c.
-3
Suppose -t + 6*t - 20 = 0. Solve 3*o = -5 - t for o.
-3
Let z = 5 + 3. Solve -6*t = -2*t + z for t.
-2
Let a = -2 + 4. Suppose -44 + 8 = 4*g. Let s be (-4)/a - g - 0. Solve s*f + 16 = 3*f for f.
-4
Let j = 10 + -20. Let h = -7 - j. Solve h*c = -0*c + 9 for c.
3
Let r be (18⁄21)/(2⁄28). Let w be 1 + -1 + 1 + 1. Suppose 2 = -b - w*b + 4*m, -2*m = -2*b. Solve 5*n + r = b*n for n.
-4