Suppose 0 = d + 2*d + 4*f - 31, 5*d - 41 = -4*f. Solve -d*q + 6 = 1 for q.
1
Suppose 24 = 4*u + 8. Let i be (1 - 5) + (u - -2). Solve 0*n = i*n - 10 for n.
5
Suppose 21 = 5*f - x, f + 0*f - 1 = -3*x. Solve 6 = 7*t - f*t for t.
2
Let m be 0 - 1 - (5 - 13). Let v = -3 + m. Suppose -i - 15 = -v*i. Solve 0 = i*w - 9 - 16 for w.
5
Let g(f) = -2*f + 38. Let k be g(17). Solve 1 = k*c - 3 for c.
1
Suppose -4 = -4*y + 8. Solve 7*o = 4*o - y for o.
-1
Suppose -x = -4*m + x + 6, 3*x + 2 = -m. Let u = 3 - m. Suppose p + 17 + 3 = 5*o, 0 = -u*o - 3*p - 9. Solve -o*l = -17 + 2 for l.
5
Let o = -42 + 42. Solve 2*a + 2*a - 20 = o for a.
5
Suppose -4*h = -12 - 4. Suppose -2*i = -5*w - 23, 0*i - 2*i - 22 = 4*w. Let x be 1/((1/(-2))/i). Solve -x*f + h = -4 for f.
4
Suppose 2*q - 18 = 4*r + 12, 30 = 3*q - 3*r. Let j be 0*4⁄16 + 2. Suppose 2*n = -q*v + 11, 3*v + 2 = n + j*v. Solve 0 = 2*i - n - 5 for i.
4