Let s(l) = 7l + 1. Let y be s(2). Let a = 2 - 2. Let f be -1(-1 - a) + y. Solve j + 3*j - f = 0 for j.
4
Let d be (-3 - -2)*1 - -3. Let n be d/6 + 85⁄15. Solve 0 = -2*w + n*w + 12 for w.
-3
Let r = 20 + -20. Solve 3*l = -r*l + 9 for l.
3
Let m = 3 - -1. Solve m*w = 4 + 8 for w.
3
Suppose 0 = 4*x + 3*n - 39, 2*x - 4*n - 60 = -2*x. Let i be (x/10)/((-3)/(-20)). Solve -z + i = z for z.
4
Let w(u) = -u**2 + 2*u. Let r be w(2). Suppose -5*k = 5*i, 8*k - 3*k + 15 = -2i. Let x be k((-48)/15 + r). Solve 0 = 6*c - 2*c - x for c.
4
Suppose 0 = -4*t - 3*d - 42, -t - 4*d = -3*d + 11. Let f be (t/(-2))/(3⁄6). Suppose -4 = -2*p, 5*a + 0*p - 3*p - f = 0. Solve -m = a*m for m.
0
Suppose -6 - 14 = -5*a. Suppose -c + 2*c = -a*z - 16, -5 = 5*c - 5*z. Let i = -3 - c. Solve 0 = -4*h - 15 - i for h.
-4
Suppose -2*f = -3*s - 2*s + 17, -18 = -5*s + 3*f. Solve -s = 14*n - 11*n for n.
-1
Suppose -5*r + 16 = 6. Solve -r = -4*s + 2*s for s.
1