Let p = -70 + 102. Solve 0 = 5*n - 7 + p for n.
-5
Let n(f) = 1 + 2 - 4*f + f2 - 3*f2 + 3*f**2. Let z be n(5). Solve -5*c - 23 = -z for c.
-3
Let g = 19 + -19. Solve -5*c + 2*c - 15 = g for c.
-5
Let v(i) = -2*i + 2. Let n be v(3). Let u be -2 + (n/1)/(-1). Solve 0 = -x + u*x + 3 for x.
-3
Let l = 111 + -61. Suppose -7*p = -12*p + l. Suppose 0*f + 3*f = 0. Solve 2*z = -f*z + p for z.
5
Let k = -14 - -18. Solve k*m = -m - 20 for m.
-4
Let f = 15 - 31. Let q be 33⁄7 + f/(-56). Solve 2*h - q = -15 for h.
-5
Let v(j) = 2*j - 6. Let u be v(6). Let w© = -1. Let y(d) = d**2 + 7*d - 6. Let i(f) = -2*w(f) - y(f). Let r be i(-6). Solve -5*t - u = r for t.
-4
Let r(d) = d - 2. Let v be r(6). Solve 4*k + 0*k - v = 0 for k.
1
Suppose 4*a - 9 = y - 4, -3*y - 15 = 2*a. Let v be a - -18 - (0 - 2). Suppose 0 = -4*t + 5*l + v, 4*l + 0*l + 34 = 5*t. Solve -2*s + 0*s = -t for s.
5