Suppose 0 = 2*j + 2*j - 40. Let z = -6 + j. Solve 0 = 5*x - 19 + z for x.
3
Suppose -2*x + 4 = -0*x. Suppose -12 + 18 = 2*w. Solve -x*l = -w - 3 for l.
3
Let y© = 3*c**2 - c - 1. Let n = 0 + -1. Let r be y(n). Solve 2*x = -r*x + 20 for x.
4
Let t(o) = -o - 1. Let q be t(-5). Suppose 3*p + 2*d - 10 = p, 0 = p + q*d - 14. Suppose 4*b - p = 2*b. Solve c = -0*c + b for c.
1
Suppose -3*v + 6 = 3*y, 16 = -2*y + 4v - 10. Let j be y(-4)/(-6)*-1. Let z = -133 - -134. Solve 1 + z = -j*o for o.
-1
Suppose 0*v = -0*v - 2*v. Solve v = t - 0*t for t.
0
Let v(y) = y3 - 4*y2 - 9*y + 5. Let g be v(6). Suppose -57 - g = -4*x. Solve -u = -6*u + x for u.
4
Let r(m) = m + 1. Let a be r(3). Suppose -n + g + 16 = 0, -3*n + 44 = -n + 4*g. Suppose -j + n = a*w, -4*j - 5 = w + j. Solve w*d + 20 = -0*d for d.
-4
Let g = -3 - -5. Let t = g - 2. Let w(d) = d3 - 6*d2 + 2*d - 10. Let p be w(6). Solve t = p*m - m for m.
0
Let z be 245⁄42 - 2/(-12). Suppose -4 = 2*w - z*w. Solve 4*g + w - 13 = 0 for g.
3