n - m*n for n.
-2
Let z(j) = j**2 + 6*j + 5. Let y be z(0). Suppose y*x - 2*x = -5*q + 16, 5*x - 8 = q. Let i = -2 - -7. Solve -5*g - 10 = -i*u, -5*g + q*u = 21 - 2 for g.
-5
Let x = -216 - -218. Solve 4*c - 2 = -x*a, 0*c = -2*a + 3*c + 16 for a.
5
Let c be (4 - (-45)/(-10))/(2/4). Let d be (2*c)/(-2) - (-6 + 4). Solve 2*q + q = 5*y - 14, 18 = d*q + 3*y for q.
2
Suppose 41 = -5*t - 9. Let p(h) = h + 10. Let j be p(t). Suppose -4*y - 3*x = y - 14, 2*y = -2*x + 4. Solve 2*v + 2 = j, -5*f - y*v = 2 + 2 for f.
0
Let d be (-66)/7*(22 + -15). Let j = d + 71. Solve 2*v = -j*q + 10, -1 = -2*v + 3*q - 7 for v.
0
Let v(c) = -c**2 - 7*c - 2. Let r be v(-6). Suppose 11 + 5 = r*l. Solve 5*p = p - g - 18, 0 = -l*g + 8 for p.
-5
Let g = 100 + -175. Let u = 78 + g. Solve u*c + 5 = 3*z + 2*z, 0 = c + 4*z - 21 for c.
5
Suppose 5*w - 2 + 0 = -3*p, 2*w + 1 = -3*p. Solve a - 3 + w = 0, 0 = -3*g - 3*a + 21 for g.
5
Suppose 0 = -30*m + 41 + 109. Solve 0 = -m*s - 4*r - 15, 0*r = 4*s - 3*r + 12 for s.
-3
Let q be 0/((-7)/(-14)*2). Let z = 23 - 15. Suppose 0 = -q*h + 2*h - z. Solve 0 = -4*y - 2*s - 4, 2*y = -2*y - 4*s - h for y.
-1
Let h = 25 - 20. Suppose -h*m + 14 = q + 3, m = 2*q. Solve 5*v + 2*i + 15 = 40, m*v - 5*i = -19 for v.
3
Let w = -53 - -89. Let y = w - 11. Suppose 0 = 4*o + 3*m - y, 3*o + o - 3*m = 7. Solve 5*r = 3*z + 2*z - 10, -3*r = -5*z + o for z.
-1
Suppose 4*g - 4*q + 28 = 84, -4*q = -4. Suppose -10*t - 50 = -g*t. Let h = 13 - t. Solve 2*k - o + 2*o = 0, h*k = 2*o for k.
0
Let s(q) = -5*q + 298. Let d be s(59). Let y = 0 + 0. Suppose -2*m + y*m = -22. Solve -5*f = -d*g + 18, 0 = -5*g - f + 3*f + m for g.
1
Let d = -7 + 12. Suppose 0 = 4*r + d*y - 19, -y - 6 = -3*r + 13. Solve w - r*g + 8 = -g, -5*w - 10 = 5*g for w.
-3
Suppose -1988 = 2*t - 16*t. Let o = t - 139. Solve -o*d + d = -k - 4, 2*d = 5*k - 12 for k.
4
Let c = 6 + -4. Let o(s) = s**2 - 23 + 4*s**c + 20 - 3*s. Let x be o(-2). Solve 2*t = 5*g - x + 8, -3*g = 2*t - 9 for g.
3
Suppose 9*v - 48 + 3 = 0. Suppose -t - 2*m = -9, v*t - m - 10 = 2. Solve -t*p + 15 = 4*o, -p + 4*p = 4*o - 9 for o.
3
Let u(o) = 6*o**2 - 1 + 9 - 5*o + 0*o**3 - o**3. Let f = 628 - 623. Let p be u(f). Solve 3*c - i + 25 = p*c, c - 29 = -5*i for c.
4
Let z = 139 - 134. Solve -2*t = -2*k - 2, z*k = 2*k - 3*t + 21 for k.
3
Let c be 16/7 - (-2)/(-7). Let t(l) = -l**3 + 22*l**2 - 18*l - 55. Let v be t(21). Solve 5 + 0 = -4*z + o, c*z - 4*o - v = 0 for z.
-2
Let z = -1413 + 1415. Solve -q - z = 3*t + 3, q = -2*t - 5 for q.
-5
Let s be (-8)/14*(-28)/8. Let v be 1/(-6) - 76/(-24). Let u be v/(9*3/45). Solve 5 = -s*p - 3*k - 9, -3*p = -2*k - u for p.
-1
Let g = 23 + -16. Let p(f) = 20*f - 56. Let l be p(3). Solve 2*h = l*c - 12, -6*c + 2*h + g = -3*c for c.
5
Suppose 356*g + 18 = 365*g. Solve -5*s = 5*k, k - 3*s = g*k - 4 for k.
-2
Let y = 8 + -5. Suppose -y*x = x. Solve 3*z = -2*m + 2, -m + z - 8 - 1 = x for m.
-5
Suppose -4*z = -3*x + 1 + 15, 3*z = -3*x + 51. Suppose -20 = -5*d + 2*a, 3*d + 4*a = 21 + 17. Suppose -6 = -d*f + x. Solve -h = -f*b + 11, 4*b - 9 = -1 for h.
-5
Let k be (1 + -6)/(0 + 2/(-2)). Suppose -k*t = -2*j - 17, -4*j - 3*t + 35 = j. Solve 0 = -3*l - j*s, -4*l - s + 4 = -9 for l.
4
Suppose -z - 22 = 8*i - 10*i, 0 = -i - 3*z + 4. Solve 1 - 6 = -t, 2*t = -r + i for r.
0
Suppose 338*o = 302*o + 72. Suppose 3*i - 2*j = -6*j + 49, 60 = 4*i + 4*j. Solve 4*w = o*s - 3*s - i, 35 = -5*w + 3*s for w.
-4
Let r(p) = -p**3 - 11*p**2 - 12*p - 16. Let f be r(-10). Solve 4*z - f*a + 8 = 0, -3*z + 6*z + 2*a = 14 for z.
2
Let p(b) = -3*b**2 - 2*b + 1. Let o be p(-3). Suppose -5*m = 114 + 11. Let u = o - m. Solve 0 = 2*l - v + u*v + 28, v + 9 = -l for l.
-4
Let y = -294 - -297. Solve 2*h - y = 3*d + 1, 0 = -5*d - 20 for h.
-4
Let r(o) = o**2 + 10*o + 36. Let x be r(-3). Solve -3*b + 3*t = -x + 3, -b = -4*t - 13 for b.
1
Let t be (1 - 2)/(261/(-36) - -7). Solve 5 = -5*h + 5*f, 0 = -h - t*f - 1 for h.
-1
Let w = -59 - -75. Let d be (6 - w)*(-1)/2. Solve -2*f + 5 = -d*p, -11 = 2*p - 0*p + f for p.
-3
Suppose d = -593 + 606. Let j = 14 + -9. Solve -4 = 2*t + r, -j*r - 7 - d = t for t.
0
Suppose 2*y - 22 = -4*k, -9*k = -6*k - 4*y. Solve -3*b - 2*p + 12 = 0, 2*p - 3 - 13 = -k*b for b.
4
Let q(n) be the third derivative of 1/4*n**4 - 11/6*n**3 + 0 + 3*n**2 + 0*n + 1/60*n**5. Let l be q(-8). Solve 0 = v + 2*m - 0 + 1, 15 = -v + l*m for v.
-5
Let y(p) = -p**3 - 7*p**2 - 5*p + 8. Let u be y(-6). Suppose 4*s = s + 6. Suppose -s*a + 8 = 4. Solve 0 = m + l + a, -5*l = u*m - 6*m + 28 for m.
2
Let j(i) = 2*i - 3. Let q be j(4). Solve 5*h - q = -5*z, -3*h + 5*z + 6 = 3 for h.
1
Let q(p) = 2*p**3 - 66*p**2 + 65*p - 18. Let s be q(32). Solve y - 3*m = s, 3*m - 5*m + 14 = 4*y for y.
5
Let i be 84/60 - 1 - 26/(-10). Solve -i*n + 6 - 2 = -5*x, 5*n + 2 = 4*x for n.
-2
Let j be (-10)/6*(-1 + -11). Let y be (j/12)/(4/12). Solve 0 = 2*n + 2, y*r - 3*n = -0*n - 12 for r.
-3
Suppose -3*k = 2*i - 0 - 10, 5*k = -2*i + 14. Solve k*d + 0*q + 9 = q, 0 = -d + 2*q - 9 for d.
-3
Suppose -14*l + 18*l - 124 = 0. Let k = l + -31. Solve -3 = -4*g - 2*w + 5, k = 4*g + w - 12 for g.
4
Let b = 20 + -16. Let n be ((-6)/15)/(b/(-20)). Solve 0 = y - k + 2, -4*y + 0*y = -k + n for y.
0
Let f(m) = m**2 - m + 8. Let n be f(0). Let z = -8 + n. Suppose -4*h + 9*h = z. Solve 0 = -4*r + 5*w - h - 4, 0 = r - w for r.
4
Let u(p) = -p**3 - 18*p**2 - 19*p - 31. Let x be u(-17). Let h be 2/x + 38/6 + -1. Solve 0 = -2*w + b + h, -4*b - 8 = 8 for w.
1
Suppose -3*s = -5*i + 4 + 11, 4*s - 20 = 0. Solve -x + 5*l = 19 - 5, 0 = -3*l + i for x.
-4
Let f be ((330/88)/(-1))/((-6)/32). Solve -4*t - 3*q - 35 = 0, 0 = q + 3*q + f for t.
-5
Let r = -13 - -75. Suppose 4*q + 2 = 3*f - 25, 0 = 5*f - q - r. Let j be (f + -11)/(1/1). Solve -5*d - 5 = -5*w, -5*d + 10*d = -2*w + j for d.
0
Let r(g) = -5*g - 173. Let d be r(-35). Solve -n + 4 + 2 = -5*x, 4*x - d*n + 6 = 0 for x.
-1
Suppose -2*n - 2*q = -4*q - 10, 21 = n + 3*q. Solve -3*x + 11 = 5*v, 4*v - n*v - 1 = -3*x for v.
1
Suppose -2 = -c + 2*c. Let q be 34 - (5 + c)/((-6)/4). Solve 4*o = -5*j + q, -3*j + 6*j = -3*o + 24 for j.
4
Let l = -76 + 72. Let x be ((-21)/(-4))/(-3)*l. Solve -b + 10 = -5*d, -b - 3*d + 8 = -x*d for b.
0
Let c = 14 - 78. Let s be -4*4/c*8. Solve 3*f + 32 = -f + 4*p, 2*f + 4 = -s*p for f.
-5
Let g(j) = 9*j**2 + j. Let l be g(-1). Let f be 20/15*60/l. Solve 5*p - f = 4*d, 0 = 2*d - 3*d for p.
2
Let m be (312/3 - -5) + -2. Let f = 111 - m. Solve 4*p = -f*n - 32, -4*n = -0*n + 5*p + 36 for n.
-4
Suppose 0 = -u - 4*u - 4*r + 58, 79 = 5*u - 3*r. Let c = -36 + 60. Solve -5*w + u = 2*z, 0*z + 4*z + c = 3*w for z.
-3
Let t = -45 + 49. Suppose 0*x - 4*x + t = 0. Solve -5*h + 5 = 0, x - 6 = -l - 5*h for l.
0
Suppose -129 = -12*v + 15*v. Let x = 47 + v. Solve -y = -x*h - 4, -3*h - 2*y - 4 = -5*h for h.
-2
Suppose -239 = 5*n + 2*z, -n + 5*z - 84 = n. Let f = -43 - n. Solve 3*w - f = 4*b, -3*w - 1 = b - 0 for b.
-1
Suppose 4*s + 26 = 5*x, -3*x - x - 2*s = 0. Suppose -17 = -m + 4*f, -m - 5*f + 4 = 5. Let i be 11/(-33) + 65/15. Solve v + i*y = -m, 10 + x = -4*y for v.
3
Suppose 3*c = -1 + 4. Let a be ((-17)/34)/((c/8)/(-1)). Let d = -2 - -8. Solve -a*h - 2*t = -d, t - 2*t = -2*h - 3 for h.
0
Let d be (30/(-48))/(3/(-12))*2. Solve 5*l = 3*t - 9, 0 = d*l - l + 4*t + 20 for l.
-3
Let h be 0/(0 + -3 + 4). Suppose 0 = -3*w - 0*w - h*w. Solve -3*f + 4*f - 1 = w, 5*n - 27 = -2*f for n.
5
Let c(j) = 159*j + 799. Let l be c(-5). Solve 2*b + 2*b + l*f + 16 = 0, -2*b - 2 = -f for b.
-2
Let b = 13 - 11. Suppose -3*d = -b*d + 1, 4*p - 33 = 5*d. Let l be (18/p)/(13/91). Solve -3*g = v - 11, -2*v + g - l = -g for v.
-4
Suppose 43*b = 6*b + 74. Solve -b*o + 3*g + 18 = 0, -o + 1 = 2*o + 2*g for o.
3
Let q = 44 - 28. Let f(b) = b**2 - 12*b - 60. Let k be f(16). Solve -11 = 5*p + t, 0 = k*p - 0*t - t + q for p.
-3
Suppose 0 = 2*a + 3 - 9. Suppose 8*o = a*o + 10. Solve v + 15 = 5*c - 2, -3*c = o*v - 5 for v.
-2
Let b(p) = p**2 - 16*p. Let i be b(15). Let c be (0 - 2)*30/4. Let v = i - c. Solve v = o - 3*j + 17, 5*o + 7*j = 2*j + 15 for o.
-2
Let z(g) = -g**3 - 8*g**2 - 2*g - 6. Let o be z(-8). Suppose 22*m - o = 21*m. Let b = 8 + -3. Solve 0*q - 2*q + 10 = 4*t, b*t = m for q.
1
Suppose -13 = 5*r + 4*y, -2*r + 5*r = -y - 5. Let j = r + 10. Solve -6*z - 5*h = -2*z