Suppose -5*t + t + 12 = -4*q, -2*t + 6 = -4*q. Solve -13 + t = -5*g for g.
2
Suppose -21 = -3*i + 21. Suppose 5*q - i = 3*q. Solve -q + 4 = 3*w for w.
-1
Let z(d) = d**2 - d + 5. Let o be z(0). Suppose 0*p + o*p = 0. Suppose 0 = 5*x - p*x. Solve 5*h + 10 - 30 = x for h.
4
Suppose n = -x - 2, x - 8 = 3*n - 2. Let k be (-7)/21 - (-28)/3. Suppose 2*f = 3*f - k. Solve -f = -x*g - 3*g for g.
3
Suppose -4 = m - 11. Solve 15 = -m*h + 4*h for h.
-5
Let j = 35 - 30. Solve g + 4*g = j for g.
1
Suppose -23 = -3*g + 5*a, -2*a + a - 5 = -g. Let r(q) = 9*q3 + 2*q2 - 2*q + 1. Let d be r(g). Let m = d - -4. Solve m = 2*t + 4 for t.
5
Let i = 19 - 14. Solve -5*j + i = 10 for j.
-1
Let c(q) = q3 + 2*q2 - q + 3. Let k be c(0). Solve -k*w + w = 0 for w.
0
Let z(p) = p**2 + 5*p + 2. Let o be z(-5). Suppose -8 = -3*q + 2*f, 3*q - o*f - 16 = -2*q. Suppose q*v - 32 = 2*v. Solve 2*l + v = 6*l for l.
4