Let y = -3 + 3. Suppose y = 3*j - 5*j - 4*h + 12, -3*j + 17 = 5*h. Solve j*f - 8 = 8 for f.
4
Suppose s + 0*s - 23 = 0. Suppose -s - 1 = -2*c. Suppose 2*x - c = -4*d + 5*x, -3*d + 4*x = -16. Solve -q + 2 = -d for q.
2
Suppose 0*p + 30 = -5*p. Let b be 3/p*4 + 2. Let w(s) = -s**2 + 8*s + 11. Let v be w(9). Solve v*x - x = b for x.
0
Let t be (-6)/(-15) + (-4)/10. Suppose t*w = 3*w - 12. Solve 0 = w*g + 20 - 0 for g.
-5
Suppose -3*o - 50 = -3*u - 2*o, 13 = u - 4*o. Let q be ((-2)/(-6) - 0)*6. Solve 3*c = q - u for c.
-5
Let g be 1⁄3 - (-528)/9. Suppose g + 6 = 5*k. Let o be (140⁄15 + -9)/((-2)/(-18)). Solve -o*q + k = 4 for q.
3
Suppose 3*l + 2*l - 83 = q, 2*q - 38 = -2*l. Suppose h + 7 - l = 0. Suppose 2*t + 16 = 6*t. Solve 0 = -s - t*s - h for s.
-2
Let t(d) = -6*d - 1. Let c be t(-4). Let y = c - 15. Solve -2*q + y = -4*q for q.
-4
Let p = -4 + 3. Let h be -3*p/(3⁄2). Suppose -3 = -h*a - a. Solve -2*c - a = 3 for c.
-2
Suppose -4*j = -7*j. Let t = 7 + j. Solve -t = a - 3 for a.
-4