Let k(l) = 5*l + 3. Let j be k(1). Solve r - j = -r for r.
4
Let o(n) = n3 - 5*n2 + 2. Let i be o(0). Solve -2 = i*l - 4 for l.
1
Let u = 1 - -6. Let d = 13 + -8. Let q(j) = 2*j - 5. Let o be q(d). Solve -u*f + 2*f + o = 0 for f.
1
Suppose 9 = -5*m - 1, -2*o + 16 = -4*m. Solve o*z - 2*z - 2 = 0 for z.
1
Suppose -33 = -2*j - 3*h, 3*j + 2*h + 2*h - 47 = 0. Solve -2*k = k - j for k.
3
Suppose 1 = 2*a - 21. Solve 2*f = a - 1 for f.
5
Suppose v = 4*f - 3*f - 5, 3*v + 19 = 2*f. Let i = v + 9. Solve -3*j + 0*j - 6 = i for j.
-2
Let o(b) = b + 7. Let l® = 1. Let v(u) = 5*l(u) - o(u). Let n be v(-2). Solve n = -d - d for d.
0
Suppose -3*h + 5*c - 24 = 11, 2*h + 3*c = -36. Let m = -10 - h. Solve 0 = o + 1 - m for o.
4
Suppose 2*l + 4*w = -20, -5*l + 10*l - 3*w - 15 = 0. Suppose 3*d - 3 - 3 = l. Solve 4 - d = n for n.
2