Suppose 6*r + 4 = 8*r. Suppose 4*t - 14 = -r*h, -3*t - 5*h + 10 = 2*t. Solve 0 = -t*x + 6 - 1 for x.
1
Let z = -36 - -15. Suppose -116 = -2*y - 2*y. Let g = z + y. Solve -a = a - g for a.
4
Let c = 0 - -4. Suppose 4*r - c = 4. Solve r*u + 5 = u for u.
-5
Let s = 17 + -7. Let d = s + -6. Solve 0 = d*m - 2*m + 4 for m.
-2
Suppose l - 2*c = 2, -3*c = l + 2*c - 9. Suppose -2*a - 24 = -5*u + 2*a, 0 = -l*u - 4*a + 12. Solve -u*j = 6 + 6 for j.
-3
Let s be (-6)/2 + (-3 - -6). Solve s = -8*j + 4*j for j.
0
Let x(g) = g**2 - 6*g + 2. Let f be x(5). Let j be (5 - 2) + 1 + f. Solve j + 3 = -4*y for y.
-1
Suppose k = l + 6*k, 0 = -2*l - 4*k. Suppose -4*q - 3*q = l. Solve -2*f + q*f = 0 for f.
0
Suppose -5 = b - 8. Solve 18 = -b*z + 6 for z.
-4
Let j = -8 + 13. Suppose -a + 0*a + 3 = 0. Suppose -a*s + m - 11 = -6*s, 0 = s - j*m - 9. Solve -f - f = s for f.
-2