Let x(a) = -3*a + 1. Let y be x(1). Let k be (-4 + y/2)/(-1). Let g be 52/k - (-10)/(-25). Solve -4*o - 26 = -g for o.
-4
Let t = 3 - 9. Let i be 4 - (-7)/((-21)/t). Solve -i = -4*q + 2*q for q.
3
Suppose -6*t + 15 = -t. Solve -4 = i - t*i for i.
2
Let v(x) = x**3 + x + 20. Let z be v(0). Let r = z - 16. Solve r*h + h = 10 for h.
2
Suppose 0 = 2*v + v. Solve 4*d = -v*d for d.
0
Let v(k) = -k3 + 6*k2 - 3*k - 6. Let o be v(5). Suppose 0 = -5*q - g + 4 + 6, 0 = -3*q + o*g + 29. Let l = 11 - 9. Solve l*d - q = d for d.
3
Let i(t) = t + 7. Let d be i(-5). Let j be ((-6)/1 - -6)/(-1). Solve d*y + y = j for y.
0
Let c be (5 - 6)*(0 - -1). Let u be 7⁄7 - (c - 13). Suppose -3*m - 2*m = -u. Solve m*b + 4 = b for b.
-2
Suppose -5*m - 2*a = -70, 0 + 54 = 4*m + 2*a. Let c be 68/m + 2/(-8). Solve 3*n - c*n = 0 for n.
0
Let v(o) = 12*o - 3. Let s(l) = 2*l + 0*l + 1 - 6*l. Let a(m) = -17*s(m) - 6*v(m). Let i be a(-2). Solve -2*t - t = -i for t.
3