= -p*n, 2*u - 5*n + 18 = 0 for u.
-4
Let h(f) = -f + 5. Let r be h(5). Let w be (-2 - -14)*(1 - r). Let z = w + 2. Solve 0 = -2*m - 5*b - 16 + 47, 3*m + b = z for m.
3
Let j(l) = 2*l**2 + l + 2. Let f be j(-1). Suppose -4*r = 20, -8 = g + 3*r - 0*r. Solve -5*a + 10 = 0, 0 = 3*z - f*a + g + 2 for z.
-1
Let o(r) = r**2 - 11*r + 29. Let x be o(8). Solve x*g - 5 = 3*v, -5*g = 7 + 3 for v.
-5
Let x be 115/20 - (-1)/4. Let w be 2/12 - (-29)/x. Solve -z + 3 = -a + 2, a + w = -3*z for z.
-1
Suppose -9 = -3*s + 5*j, 0*s = -2*s + 2*j + 6. Let u(m) = 39*m**2 + m. Let r be u(1). Let g = -6 - -10. Solve -g*b - r = -5*z, -b + s*z - 9 = 2*z for b.
-5
Let c = 13 + -27. Let d = c + 14. Solve 2*i + 3*i = 4*r + 3, d = 4*i + 4 for r.
-2
Suppose -3*y + 3 = -6. Suppose -4*x = -k + 1, 2*x = -2*k - 2*x + 14. Suppose -3 = -k*f + 7. Solve -2*d - f = -r, 18 = -d - d - y*r for d.
-3
Let l(r) = -3*r - 7. Let t be l(-5). Let p = 208 - 208. Solve 4*s + 5*u + 1 = p, 4*u + t = 3*s + 1 for s.
1
Suppose g = 2*g - 5. Let y = 13 - g. Solve 2*m = -2*p + 6, -y*m - 20 = -3*m - 2*p for m.
-2
Let i(f) = -f**3 - f**2 + f + 1. Let z be i(0). Solve -n + 5*x - z = 1, -8 = -4*n + 4*x for n.
3
Suppose 4*b - 2 - 14 = 0. Solve -b*d + 20 = 0, -5*f + 3*d + 5 = -0*d for f.
4
Suppose 20 + 60 = 4*m. Solve -7*b + 2*b - m = 0, -3*b - 6 = 3*j for j.
2
Let d = -4 - -3. Let z = 2 - d. Suppose 3 = m - 0. Solve g + 3 = 2*o, 4*o - z = m*g - 2 for o.
4
Let b be 46/14 - 2/7. Suppose -5*r = -3*c - 53, -4*r + 3*r + 7 = 3*c. Let p = 10 - r. Solve -j + b = 4*m + 2, p = -j - 2*m + 3 for j.
5
Suppose 20 = -5*f, 3*f - 4*f - 16 = -4*m. Solve -m*y + 4 = i, 2*y + i + i + 4 = 0 for y.
3
Suppose p + 17 = 4*o, -o + 3*p + 18 = -0*o. Solve d + 1 = -3*f + 2*f, 0 = 5*d + o*f + 5 for d.
-1
Suppose -5*v = 5*y - 115, 3*v + 23 = y + 2*v. Solve -y = r + n - 5*n, 0 = -2*r + 3*n - 21 for r.
-3
Let y(p) be the second derivative of p**5/20 - 3*p**4/4 + 4*p**3/3 + 3*p**2 - 5*p. Let u be y(8). Solve -3*s + 2*a = u*a - 12, 20 = 5*s + 2*a for s.
4
Let d(r) = r**2 - 2*r + 6. Let y be d(3). Solve -o + 8 = 2*v, -5*o + 35 - y = 3*v for v.
2
Suppose -z - 5*c = -0*c - 5, 5*z = -5*c + 5. Let q be 2 + 0 + (1 - 0). Solve z = 5*o - 5*m + 50, -q*o - 2*m + 35 = -8*o for o.
-5
Suppose -2*s + 6 = -2. Solve l + l = 4, -s*n = 4*l - 12 for n.
1
Let t be 4 - -15 - (0 - -2). Let n = 54 - t. Suppose 3*d + 0*z - 86 = -4*z, 3*z - n = -d. Solve 2*q - d = 4*c - 0*q, 27 = -4*c + 3*q for c.
-3
Let y(f) = f**2 - 8*f. Let w be y(8). Solve -4*q + w*o - o = -8, -o = 3*q - 5 for q.
3
Suppose 5*j = -2*b + 12, -5*j + 5*b + 11 = 6*b. Let f(h) = 2*h - 2. Let l be f(j). Solve -c = -3*x - 2*c - 19, -17 = 5*x - l*c for x.
-5
Let s be 0/((-2)/2) + 1. Let w(n) = 2*n**2 + n - 1. Let h be w(s). Let o = -12 + 14. Solve -h*y = 3*d, 0 = 4*d + o*y - 5*y for d.
0
Suppose 5*t = 2*s + 18, -3*t + s = -3*s - 22. Suppose x + 3*f = 11, f + f - 4 = 0. Solve -5*l - x*u = 0, -t*u + 2 = -l - 13 for l.
-5
Let w(o) = o**3 - 1. Let q be w(2). Let d(j) = j**3 - 8*j**2 + 7*j - 1. Let g be d(q). Let p = 3 + g. Solve -2*n = -5*a + 5, a + 5*n = -p*a + 34 for a.
3
Suppose 0 = -0*r + r. Suppose -3*t + 4*w + 23 = r, -5*t + 41 = -0*t - 4*w. Suppose v = 5*v - 16. Solve d - 9 - t = -3*n, v*n - 8 = 4*d for n.
5
Suppose 11 = 3*x - q, 7*x + q - 24 = 3*x. Solve -g = 5*s + x, -4*s - 3*g - 1 + 8 = 0 for s.
-2
Let j be -8 + 4 - (-7 + -1). Let d(b) = -b. Let o be d(-4). Suppose -4 = -4*t + 8. Solve -o*p - 1 = -t*w + 18, -w + 17 = -j*p for p.
-4
Let l = 5 + -4. Suppose -l = -4*k - 57. Let a = -9 - k. Solve o - 4*b + 25 = 0, -5*o - a = -2*b + 30 for o.
-5
Let i be (-20)/10*10/(-4). Solve 4*b + 0*b - 2*w = 4, 5*b = 5*w + i for b.
1
Suppose 0*j - 4*j = -12. Let r(g) = -16*g - 1. Let z be r(-1). Let y = z + 9. Solve -j*u + 13 = -5*i, 4*u + 3*i + y = -7 for u.
-4
Let x be 27/63 + (-50)/(-14). Suppose q - 5*l + 18 = -0*q, x*l - 18 = -q. Solve -5*w = -j - 3*j, 0 = 3*w + q*j + 22 for w.
-4
Suppose -20 = -3*s + 5*n, s + 4*n + 18 - 2 = 0. Let y(x) = x**2 + 10. Let v be y(s). Solve -13 = -i + 3*p - 3, -v = 5*p for i.
4
Let w(y) = -y**2 - 12*y - 18. Let v be w(-10). Solve 0 = -3*l - h - 11, 0*h + 5*h + 29 = -v*l for l.
-2
Let c(i) = -i + 6. Let g be c(4). Suppose f + 1 = 2*f + g*u, -2*u - 4 = 0. Let t be (1/(-3))/(1/(-6)). Solve 0 = t*q + p + f, -q - p + 1 = 3*p for q.
-3
Let o(n) = -2*n + 16. Suppose -5*k = -0*k, 5*k = 3*x - 21. Let g be o(x). Solve 0 = r + g*v - 5, 5 = r - v + 5*v for r.
5
Suppose 5*r - 7 = -2*k, -4*k + 3*r = k - 95. Let o(w) = -w + 16. Let i be o(k). Solve i*n - 12 = 4*u - n, -n + 15 = -5*u for u.
-3
Let i(w) = -2*w - 22. Let u be i(-11). Solve 0 = f - m, 0 = -f - u*m - 2*m + 12 for f.
4
Suppose -4 = -4*k + 16. Suppose -37 = -3*n + 5*o, -k*n + n - 4*o = 4. Solve -2*r + 12 - 2 = -2*a, -r + n*a + 8 = 0 for r.
4
Suppose 5*p = 25, 4*p = 2*q + 13 - 3. Suppose 2*g = 0, 4*g = 3*y + 2*g + 3. Let m be (5 - 1/1) + y. Solve -3*l + q*r = 19, m*l - 4 + 19 = 3*r for l.
-3
Suppose -52 = d - 14*d. Solve 2*j - 2*x = d*j + 10, -3*j + 3*x + 15 = 0 for j.
0
Let o = 54 + -42. Solve -2*h = 4*k - h + o, -2*h = -5*k - 28 for k.
-4
Let w be -2*(-15)/(-18)*3/(-1). Solve -3*t + k - 7 = 5, 0 = 5*t - w*k + 20 for t.
-4
Let o be -24 - (0 + -1)*-2. Let w = 43 + o. Let l = w + -7. Solve -2*r - 2 = 2*a, 2*a + l + 6 = 5*r for a.
-3
Let h be ((-30)/(-4))/(-5)*-6. Solve -5*q - h = -3*s - 4*q, 5*q - 3 = 3*s for s.
4
Let f(z) = -4*z**2 + 12*z - 3. Let j be f(2). Solve -5 = -j*s - 3*p, s - p = 5*s - 11 for s.
4
Suppose 0 = 2*t - n - 4, -24 = -0*t - 3*t - 3*n. Solve -t*l + 15 = -3*y, 3*l + 3*y = -14 - 1 for l.
0
Let r(m) = 5*m - 5*m - 1 + 3*m**2. Let g be r(1). Solve -g*y = -2*u + 20, 0*u = 3*y + 5*u - 10 for y.
-5
Let g be 1/((-3)/6) - -8. Solve 4*p + t = g*p + 14, 0 = 3*p - 3*t + 27 for p.
-5
Suppose 3*p = 12, 0 = -q + 5*p - 3*p + 46. Solve 3*v + 5*j + q - 20 = 0, -v - 28 = 5*j for v.
-3
Suppose 3*p + j + 2*j = 15, -p - 5*j = -25. Let c be (2 - -13)/(-1) - p. Let z be (4/2)/((-10)/c). Solve x - 3 = z*v, -v - 5 = 2*x - x for v.
-2
Suppose d = l + 5, 0*d + 3*l = -4*d - 15. Suppose 0 = -4*y + 5*s - d - 8, -2*s = -y - 5. Solve -y*i = 5*m - 2, m = -0*m + 5*i - 22 for m.
-2
Let k(c) = -c**2 + 8*c - 3. Suppose 4*o + 24 = 4*r, 5*r + 17 = 3*o + 49. Let i be k(r). Solve 4*g + 5*d = 15, -1 = i*d + 3 for g.
5
Let k(f) = 2*f - 1. Let l be k(3). Suppose 2*a + 92 = 4*y, y - 5*a + 92 = 5*y. Suppose -5*h = -y + 3. Solve 0 = -q - q - 3*g - l, -3*q = -h*g - 18 for q.
2
Suppose -3*w - p = -17, -5*p - 35 = -5*w - 0*w. Suppose -5*l = 5*g - 105, 2*l = -4*g + 4*l + 90. Solve 5*n + 2*r + g = 0, -n - 2*r + w = -3*n for n.
-4
Let q be 6/(-4)*-2 + -2. Let o be 6 + q + 6/(-3). Suppose o*a - 18 - 7 = 0. Solve a*l - 7 = -32, 4*u - 6 = -2*l for u.
4
Let p(h) = -h**3 - 6*h**2. Let r(a) = a - 12. Let i be r(6). Let q be p(i). Solve 3*v - 8 = -b, q = -2*b - 5*v + 4 + 8 for b.
-4
Suppose -d + 19 = -4*z, 4*d + 4*z - 16 = 5*z. Solve 5 + 5 = -d*w + i, -3*w - 16 = 2*i for w.
-4
Let p(g) = 2*g - 9. Let i be p(6). Solve 0 = -5*q + a - 21, a = q - a - i for q.
-5
Let x(h) = -h**2 - 5*h. Let k be x(-5). Solve -5*a + 4*q = 3*q + 18, k = 3*a + 3*q for a.
-3
Let i(y) = -2*y + 12. Let g be i(6). Suppose -5*l + 25 = g, z - 2*l - 3 = -l. Solve 3*o = -5*p + 11, 4*p - 3*o = -5*o + z for p.
1
Let s(i) = -i**3 - 3*i**2 + 3*i - 4. Let x be s(-4). Let p(h) = h**3 - 7*h**2 + 4. Let m be p(7). Solve l - 3*b - 8 = -b, -m*l + 3*b + 12 = x for l.
0
Suppose -3*l - 5*r = -9, -5*r = 4*l - 3*r - 12. Solve -4*j - 2 = l*y - 3, 5*j = -y - 7 for j.
-2
Let u = -132 + 152. Solve -3*r - 2*r + 4*h = 25, 4*r + 4*h = -u for r.
-5
Suppose 0 = 3*x - 3*l - 24, 2*l = -x - 3*l - 4. Let n = x - 6. Suppose n*d = -z - 5*d + 19, -4*z - d + 19 = 0. Solve -g = z*p - 5, -4*g = -3*p - 3 + 2 for g.
1
Let r be (-42)/(-4)*4/3. Suppose 3*z - 5*a - r = 0, 4*z + a = 5*a + 16. Solve -c = -5*s + 30, -z*s + 5*c + 35 = -s for s.
5
Let f(u) = u**2 + 4*u - 5. Let s be f(-6). Suppose -a + s = -k + a, 5*a = -k. Let j = -2 - k. Solve 11 = 3*n + 2, 3 = j*o + n for o.
0
Let f(p) = -p + 12. Let t be f(9). Suppose -t*a - 2*q + 1 = 0, 5*a + 25 = -0*q + 2*q. Let c = a + 6. Solve 4*g + 0*g - 10 = c*y, -2*g - 4*y + 16 = 0 for g.
4
Let o(l) = -l. Let z be o(-1). Let p be (-1)/z - (-8)/2. Solve 4*d - q = -2, -p*d + 0*q - 9 = 3*q for d.
-1
Let l be 8 