*n + l - 4*l for n.
0
Suppose 3*q + r - 4*r - 15 = 0, -4*q - 2*r + 2 = 0. Solve -a = -2*p + 4*a + 12, q*p - 2*a = 0 for p.
-4
Let o(u) = u + 6. Let t be o(-2). Solve -d + t = 4*k, 4*k - 8 = 2*d - 4*d for d.
4
Let d be ((-10)/(-25))/(1/10). Solve -2*z + d*m + 14 = 0, -m + 2*m = 3*z - 11 for z.
3
Suppose -n + 10 = 7. Suppose 0 = -2*f + f + 4. Let k be f/8 + 2/(-4). Solve -4 = -k*m - 4*m - 4*b, n*b + 5 = -m for m.
4
Suppose -5*w + 2 = 57. Suppose s = 1 - 0. Let n = s - w. Solve 5*v = -3 - n, v + 5 = -a for a.
-2
Let r(h) = 7*h**3 + 2*h - 1. Let f be r(1). Suppose -p = 3*p - f, -11 = -v + 3*p. Suppose 5*x - 33 - v = 0. Solve -x = -a + 2*d, -4*a - 25 = 2*d + 3*d for a.
0
Suppose y = -4*k - 1 + 7, -5*k - 24 = -y. Let m = -10 + y. Solve -4*j = 4*t - 4, 2*j - 2 = -t + m for t.
-4
Let q(m) = -2*m - 7. Let x be q(-7). Suppose -x*i + 2*i = -10. Suppose 0 = p + 4*p. Solve 0 = 3*d + 2*a + i*a + 22, -d - 2*a - 10 = p for d.
-2
Let l = -8 + 9. Suppose -m - g = -l, -g - 11 = 2*m - 4*m. Solve -m*o - 2 = -4*t - 6, 5*o - 2 = 2*t for t.
-1
Let z(v) = v**3 - 6*v**2 - 7*v - 2. Let t be z(7). Let b(k) = k + 4. Let d be b(t). Solve 0 = -5*q + 3*l + 20, q + 3*l = d*q - 4 for q.
4
Let a = 14 - 14. Suppose 5*z - 20 = -a*z. Solve -l + 3*c = -2, z*l - 4*c = 20 - 4 for l.
5
Let w(m) = m**2 + 11*m + 5. Let k be w(-12). Let u = 7 - 15. Let i = u - -12. Solve -q = i*g, 0 = -5*g + q + 2*q - k for g.
-1
Let r(j) = j**2 - 3*j - 6. Let c be r(5). Solve -2*h = 2*u, -2*h - 3 = c*u - 1 for u.
-1
Let z(i) be the second derivative of i**4/12 - 11*i**2/2 - i. Let f be z(6). Solve -23 = 4*v - 3*g, 3*g = 8*v - 3*v + f for v.
-2
Let d = 29 - 45. Let a = 18 + d. Solve 0 = 3*t + 4*w + 31, -a*t + 3*t - 5*w = 15 for t.
-5
Let x(w) = 15*w + 7. Let i(r) = -10*r - 5. Let v(z) = 8*i(z) + 5*x(z). Let h be v(-2). Solve 4*j - 41 = -h*o, 5*o - 13 = 2*j + j for j.
4
Suppose -4*g + 0*q - 3*q = 1, -5*g - 5*q - 5 = 0. Suppose 0 = 2*x - 3*x - 2*y + 8, -g*x + 5*y + 25 = 0. Solve -2*w + 2*p = 12, -5*w - 4*p + x = p for w.
-2
Suppose 0 = 5*v - u + 7, -v - 5*u - 17 = -0*u. Let h be (-14)/(-6) + v/6. Solve -g = s, -2*g = 3*s + h - 3 for g.
-1
Suppose 4*x - 6*r + 2*r = 24, 5*r = 3*x - 26. Solve -3*n - 6*b = -x*b - 11, -3*b = 3*n - 12 for n.
5
Let k be (-4)/30 + (-248)/(-60). Solve 0 = -k*w, -i + 0*i + w + 1 = 0 for i.
1
Let x = 31 - 27. Suppose a - 24 = -w + 5*a, -4*a = 20. Solve -4*u + 5 = l, x*l + u = 9 - w for l.
1
Let t(h) = 2*h + 11. Let d be t(-11). Let o = -9 - d. Solve 0 = -v - o*l, -2*l - l - 10 = -v for v.
4
Let j(s) = s - 7. Let q be j(7). Suppose 5*k - 4*n + 4 = 2, 4*k - n - 5 = q. Suppose 0 = -i + 3, k*d - 19 = -5*i. Solve d*o = 5*f + 24, -o + 3 - 1 = 0 for f.
-4
Suppose 4*n - 8 = 16. Solve -n*s + 29 = -5*m - 2*s, -2 = m + 3*s for m.
-5
Let x = -2 - -8. Let f be (-4)/(8/(-6)) - -8. Suppose 1 = 3*g - f. Solve -x*o + 4*i = -3*o - 17, -4*o + 16 = -g*i for o.
-1
Let p = 31 - 28. Solve -c + 5*d + 4 = p*d, -2*c - 5*d = 19 for c.
-2
Suppose -6 = 2*j - 5*j. Suppose -4*x = -2*w + 6, -20 = -4*w + j*x + 10. Solve 5*f = -4*a + w, -1 = 4*f + 3*a - 8*a for f.
1
Suppose 2*q = 3*k - k - 6, k + 5 = -q. Let i be (-186)/q*6/9. Suppose -v - 9 = -4*d, 6*d + 5*v + 1 = 4*d. Solve -y + d = -3*a, 9 - i = a + 5*y for a.
-2
Let v(b) = -2*b**3 - 5*b**2 + 2*b + 2. Let g be v(-4). Let k = -28 + g. Solve m - 4*a = -4*m - 8, k = -2*m - 2*a for m.
-4
Let v(n) = 2*n - 4. Let d(c) = c**2 - 6*c + 8. Let i be d(6). Let t be v(i). Suppose t = h + 2*h. Solve -21 = h*f - 5*j, -2 = 3*f - j + 11 for f.
-4
Suppose 12 = 4*y + 5*w, -y - 9 = -4*y - w. Let g be (-2)/9 + (-20)/(-9). Suppose -3*h + y = -g*h. Solve 0*j + h*j + 3*i = -9, 6 = -2*i for j.
0
Let u(b) = -2*b. Let y = -1 - 0. Let m be u(y). Solve 8 = -m*r + 4*i - 3*i, -r + 2*i = 1 for r.
-5
Suppose -r - 3*m + 8 = m, 4*m + 12 = 4*r. Solve 5*n - 2*u - 4 = 0, -r = 4*u + 4 for n.
0
Let b = 1 - -1. Let c(x) = x. Let h(f) = f**3 - 6*f**2 - 2*f + 5. Let g(v) = -5*c(v) - h(v). Let u be g(4). Solve 3*q = 3*s - u, 2*s - 20 = -2*s - b*q for s.
5
Suppose n - 3 = 5*u, -2*n = -4*u + 6 - 18. Suppose 0 = -w + 3*w - n. Solve -w*d - i = -17, i - 4*i + 1 = 2*d for d.
5
Let j = -16 + 21. Solve -j*m - 4*n + 4 = -7*n, -3*m - 2 = -4*n for m.
2
Let d(s) = s**3 - 6*s**2 - 7*s + 5. Let g = 2 + 5. Let j be d(g). Solve -11 = -p + 6*p + b, j*p + 3*b + 13 = 0 for p.
-2
Suppose 0 = -0*n + n - 5. Let b be 3/8 + 39/24. Solve 0 = -n*j + b*f - 8 - 3, -j - 1 = -f for j.
-3
Let d(x) = 4*x + 2. Let z be d(3). Solve -2*a - 5*n + n = z, n - 1 = -2*a for a.
3
Let n = 1 - -4. Suppose -5*i + 27 = 4*d - 31, 5*i = -n*d + 70. Let c be (-18)/d + (-11)/(-2). Solve 2*z + 4*m - 2 = 0, m + 3*m - c = -4*z for z.
1
Let f be (-1)/(1 - 8/6). Let p be -2*-1*f/3. Let l be 2 + 0 + (17 - p). Solve -3*g + 2*n = 3*n - l, 0 = -4*g - 5*n + 41 for g.
4
Suppose -4*y - 1 = -3*y. Let q be 0 + 0 - 4*y. Suppose -12 = -17*a + 13*a. Solve -b = -a*b + n - 3, q*n = 4*b for b.
-3
Let u = 62 + -38. Suppose u = x + 5*x. Solve -2*g - 6 = 0, g + 9 = 3*r - x*g for r.
-2
Let w = 0 + 1. Let s(x) = -x**3 + x**2 - x + 3. Let g be s(0). Let m be ((-1)/g)/(2/(-12)). Solve r + 18 = -r - m*f, r - w = f for r.
-4
Suppose 3*v = -15 + 60. Let z be 3*(v/9 - 1). Solve -m + 3*w = -z*m + 11, 2*w = -4*m + 24 for m.
5
Suppose -2*a + 1 + 3 = -4*k, 5*k + 3*a = 17. Let x = k + 1. Solve -3*m = -x*v + 8, 4*v = -2 - 6 for m.
-4
Let i be 1 + (-1 - (2 + -7)). Let d(b) = b**3 - 5*b**2 - 6*b + 3. Let g be d(6). Solve -i*p + x - 30 = 0, -x = g*p + 2*x for p.
-5
Let r(b) = b**2 + 5*b + 4. Let v be r(-5). Solve 0 = v*j + 3*h - 9, -4*j + 2*j - h = -5 for j.
3
Suppose 11 = 5*u - 9. Let z(v) = -4*v + 4. Let c be z(u). Let p = -9 - c. Solve 5*f + 2 = 2*m - 5, 2*m - p*f = 1 for m.
-4
Suppose 1 = l + b, l + 0*b + 4*b + 8 = 0. Solve h + l*r = -0*h - 12, h = 2*r for h.
-4
Let v(l) = l**2 + l + 35. Let f be v(0). Suppose -7 = -2*i + f. Solve -41 = -5*c + 4*j, 2*j - i = 5*c - 54 for c.
5
Suppose 5*y - 4*j = 2*y - 5, 0 = -3*y + 2*j + 5. Solve 15 = -y*k, -2*a - 8 = -6*a + 4*k for a.
-1
Let h = 3 + 2. Suppose 10 = h*m - 0*m. Solve 2*a + 4*n - 4 = -m*a, -2*n + 8 = 0 for a.
-3
Let d be ((-4)/5)/(2/(-5)). Solve -8 = -3*u + d*z - 3, 2*z + 9 = -u for u.
-1
Let p(j) = 3*j. Let a(k) = 16*k - 1. Let n(u) = -2*a(u) + 11*p(u). Let x be n(-2). Solve -b - 3*f - 1 = 0, x*f + 4*f = 0 for b.
-1
Let y be (-1)/3 - (-26)/6. Let d be 1 - (-1 + (-8)/2). Let g be (-34)/(-3) + 2/(-6). Solve d = -2*u + y*a, 0*u - u = -4*a + g for u.
5
Let q(h) = h**3 - 14*h**2 + 15*h - 17. Let u be q(13). Solve -4*c = 3*g - u, -c = c for g.
3
Let o(t) = -t**3 - 10*t**2 + 5. Let v be o(-10). Solve d = 4*a - v, 2*a + 1 = -4*d - 1 for d.
-1
Suppose -2*s = 3*s + 120. Let z be (1/(-4))/(6/s). Let k be 3 - z - 12/(-4). Solve -k*p + 15 = 4*x, -x = -5*p - 0 + 15 for x.
0
Let y = 11 + -7. Suppose 2*n = 4*n - y. Solve 0 = -4*c + n*i - 30, -2*i = -3*i + 5 for c.
-5
Suppose -j = -3*j. Solve -2*g - 15 = -4*s - 35, g + s + 2 = j for g.
2
Let c be (-32)/(-112) + 108/14. Solve -4*u + c = 0, -k + 9 = 3*u - u for k.
5
Let z(v) = 2. Let x(j) = 2*j - 10. Let l(i) = 2*x(i) + 10*z(i). Let a be l(1). Solve c = -2*k + a*k - 6, -c - 4 = -k for k.
2
Let q = 23 - 13. Let g = 7 - 3. Let h be 2/(-2 + q/g). Solve -s = -j, -j + 12 = -h*j for s.
-4
Let r(n) be the third derivative of n**5/30 + n**4/12 - n**3/3 - 3*n**2. Let a be r(-2). Solve a*g = -8*y + 3*y + 4, -y + 4*g = 8 for y.
0
Suppose -4*z = 58 - 22. Let w = z - -15. Let n(h) = h**2 - 5*h - 1. Let i be n(w). Solve 3*g + 8 + 7 = 2*x, 5*g = -i*x for x.
3
Let p = 5 - 1. Let z be (-2)/((p/(-10))/2). Solve 3*h + 20 = -4*f, z = -h - 0*h - 3*f for h.
-4
Let l be (-1 + 2 + 3)*-3. Let d = -8 - l. Suppose -3*x + 25 = -4*c - c, -d*x = c - 18. Solve 5*y - 4*u + 0*u = -x, 2*u = 2*y + 2 for y.
-1
Let k(r) = 6*r**2 - 3*r - 3. Let v be k(-1). Let a = -2 + 7. Suppose a = -3*h + 17. Solve o = d - h, 2*d + v*o + 16 = 2*o for d.
0
Let t(n) = -6*n + 1. Let r(w) = -w + 1. Let f(l) = 5*r(l) - t(l). Let z be f(0). Suppose 0 = j - 0*j - z. Solve -j*d - k - 4 = -1, k = 5 for d.
-2
Suppose 2*p - 7 = -1. Let y be (-3)/(p/3) - 2. Let g be -2 - (-1 - (-1 - y)). Solve 4*r - 8 = -2*h, g*h = r + 4*r - 10 for r.
2
Suppose 5 - 23 = -2*y + 4*d, 0 = 5*y - 4*d - 51. Let o = 14 - y. Solve 2*s + 5 - 23 = -2*t, 11 = o*t - s for t.
5
Suppose 0 = -2*a + u 