Let p = -6 + 8. Solve p*d + 3*d = 20 for d.
4
Suppose 0 = o - u + 5, 3*u = -2*o - u - 16. Let k(h) = -h3 - 5*h2 + 6*h + 3. Let v be k(o). Suppose 2*a + v*a = 20. Solve 0*w - a*w = -4 for w.
1
Let a(v) = -v**2 + 6*v + 13. Let t be a(7). Let c be (t/(-15))/((-12)/30). Solve -c = -2*k + 3 for k.
2
Suppose -3*d + 29 = 2*w, 14 = 5*w + 2*d - 31. Let n = -5 + w. Solve -n*a + 3 = -a for a.
3
Let c be 6 + 1 + 0 + 0. Let g = -7 + c. Solve 4*o - o - 12 = g for o.
4
Let x(s) = s3 - 4*s2 + 5*s - 4. Let z(b) = -2*b**2 + 5. Let j be z(4). Let k be ((-1)/3)/(3/j). Let d be x(k). Solve -d*n = 2*n for n.
0
Let m(h) = h**2 - 1. Let d be m(2). Let s = d - -2. Suppose 0 = 2*z - 5*w - 22 - 28, 0 = s*z + 3*w - 94. Solve 4*o + o = z for o.
4
Suppose 5*l + 32 = 3*a - 25, -60 = -2*a - 4*l. Let r = 8 - -10. Suppose 2*m = -4*t + a, 0*t + r = 3*t - 3*m. Solve -t*q + 3*q = -15 for q.
5
Let a be 0/((-2)/2 + 0). Suppose 0 = -b + 4*v + 10, 3*v + 27 = 3*b + b. Solve 2*h = -a*h + b for h.
3
Let a(h) = 3*h**2 - h - 1. Suppose f + f - i = -4, 2*f + i = 0. Let q be a(f). Suppose 2*v + 6 = 0, 0 = -m + 4*v + 14 + 2. Solve x + q = m for x.
1