-5*n = 4*a - l for n.
2
Suppose 5*f - 2 - 13 = 0. Solve 0 = -3*d + 5*h + 40, -3*h - 31 = -f*d - 1 for d.
5
Suppose -6 = -3*s + 2*s + 2*i, -5*s + 5*i + 20 = 0. Solve 3*k - 9 = -t, -t = -0*t - s*k + 11 for t.
-3
Suppose 0 = 5*u - 44 - 16. Let i be 28/6 + u/(-18). Solve -i*a = -5*n - 15, -n + 6 = -2*a - 3*n for a.
0
Let r be (1/4)/((-7)/(-84)). Solve -5*c = -4*z - 24, -2*c + r = 4*z + z for c.
4
Let o(d) = -2*d**3 - 14*d**2 - 14*d - 6. Let b be o(-6). Solve 2 = -4*y - 6, 2*y - b = -2*u for u.
5
Let c(z) = -z**2 - z + 4. Let p be c(0). Suppose j - 35 = 6*j. Let u be (2/j)/((-3)/21). Solve 4*g = -b + 11, -3*g - u*g + 22 = p*b for g.
2
Let w(l) = -l**3 - 2*l**2 + l + 2. Let s be w(0). Solve -5*p = -k, k + 7 = 2*p + s*k for p.
1
Suppose 4*n - n - 16 = -5*v, n = -4*v + 10. Solve -2*i - z = -5*z + 20, -n*i + z - 11 = 0 for i.
-4
Suppose 2*r + t - 5*t - 110 = 0, 5*r = t + 230. Solve 5*d = 5*v - r, -16 = 2*v - 6*v for d.
-5
Let w(n) = n**2 - n - 4. Let y be w(3). Suppose 0 = 3*t + y*t. Solve 4*o = -3*h + 10, -4*o = -3*h - t*h - 22 for o.
4
Let m = 1 - -4. Suppose 0*t + t + 4*f = -6, 5*t = m*f + 45. Solve -3*r = -4*c - 3, 3*c - 7*c + 2*r = t for c.
-3
Suppose -2 - 4 = -2*w. Solve -w*g - v - 12 = 0, 3*g - 2*v = v - 24 for g.
-5
Suppose 3*u = -u. Suppose -5*q + u*q = 2*f - 39, -f = -4*q. Suppose -2*c = 2*c - f. Solve 4*h + 20 = -0*h, 0 = -c*x + 5*h + 19 for x.
-2
Let m be (-8 - -7)*(-17 + 1). Solve -4*a = 5*j + 7, -m + 3 = -4*j + 3*a for j.
1
Let o = -245 + 175. Let r = 11 - o. Suppose 3*l = -3*h + h + 51, -l - r = -4*h. Solve 0 = n - 4*n - 3*t + 3, 0 = -5*n + 3*t + h for n.
3
Suppose -o + 45 = -4*l, 24 = -4*l + 3*l - 4*o. Let b be 8/6*(-18)/l. Let i = -7 - -9. Solve -b*p = -i*r + 10 + 6, 3*r = 4*p + 28 for p.
-4
Suppose -4*w = 2*s + 8, 4*s - 3 = -3*w + 6. Suppose -3*k = -s*k. Let h(j) = -j**2 + 8*j - 3. Let q be h(6). Solve -25 = -q*l + 4*l, -o + l - 5 = k for o.
0
Let f(o) = 2*o**2 - 3*o - 5. Let g be f(5). Let i be -3*(-5)/(g/(-4)). Let s be (-5 - -1)*i/4. Solve 4*p - 5*c = -40, 28 = -p - 3*p + s*c for p.
-5
Suppose -5*g + 25 = 0, -5*w - 4*g - 10 = -9*g. Suppose 2 = w*r - 4. Solve 4*a - b - 14 = 0, 5*a - 22 = -r*b + 2 for a.
4
Suppose w + 8 = 3*w, -5*w = y - 25. Suppose l = -4*m - 3*l + 16, -m + y*l - 2 = 0. Solve m*o - 8 = -5*v, -5*v + 9 = -0*o + 4*o for o.
1
Let h be (1/2)/(2/(-28)). Let s be (h - -6)/((-1)/3). Solve s*l + 2*v - 5 = v, -5*l = 5*v - 5 for l.
2
Let o(h) = -h + 10. Let t be o(6). Solve -5*m = -3*x - 22, -x - t*m - 12 = 4*x for x.
-4
Let k = 6 + -1. Let u be (-10 - -3)*(-4)/14. Solve 6 = u*n + 5*j, j + j = -k*n - 6 for n.
-2
Suppose 0 = -6*a - 3 + 33. Solve -4*q = -5*w + a, -q + 0*w - 4*w = 17 for q.
-5
Let n = 40 + -35. Solve m + 2*h + n = 0, -2*h - 29 = -3*m + 3*h for m.
3
Suppose -6*f + 2*f = -76. Solve 4*i - 3*m + m = -14, 5*m = 2*i + f for i.
-2
Suppose -5*h = q + 2 + 11, 2*h = -4. Let s = q - -5. Solve -2*i - 5*j - 3 = 0, 5*i + j = s*j - 21 for i.
-4
Suppose -4*q + 2 = -3*q. Solve 3*h = -f + 19, 0*f - 3 = h - q*f for h.
5
Suppose -3*s = 5*i - 486, -s = 5*i + s - 484. Suppose -2*d - 4*t + i = 2*d, -t = -d + 34. Solve p - 5*p - 3*l = -26, 2*l - d = -5*p for p.
5
Let w(s) = 2*s**3 + s**2 - s + 1. Let f be w(1). Solve 3*h - f*n = 12, -3*n = -0*n - 3 for h.
5
Let j(a) = -4*a - 12. Let u be j(-4). Solve 4*d - 2 = 2*h, 10 = -u*h - d + 3*d for h.
-3
Suppose -7*m - 41 + 13 = 0. Let j(a) = 2*a**2 + 7*a + 7. Let r be j(m). Solve 2*x - 2 = 4*q, -2*x - r = 2*x - 3*q for x.
-5
Suppose 6*c - c - 23 = -4*r, r - 2*c = -4. Solve -r*o + 3*k - 6*k - 10 = 0, 0 = -k for o.
-5
Let n be (-1 + 2)*(-1 + -2). Let x be 3/(-2)*8/n. Solve x*s - 2*g - 18 = 0, -5*g + 6*g + 5 = 0 for s.
2
Let m(u) = u**2 + 8*u - 6. Let s be m(-9). Let t be 10/s*(-6)/(-4). Suppose -6*b - 3*n = -2*b, t*b = -5*n. Solve 0*d + d + o - 3 = b, -2*o = 2 for d.
4
Suppose 2*a + 4*j = 16, 2*a - 32 = -2*a - j. Let o be (4 + -1)/(6/a). Suppose -p - o = -2*p. Solve 5*f = 19 - p, -5*b + f = 3 for b.
0
Suppose 2*d + 2*z = 16, 32 = 6*d - 2*d - 3*z. Let j be (0 - 4)*(-30)/d. Let o = 40 + -37. Solve -5*i = -4*i - 4*c + 16, -c = -o*i - j for i.
-4
Let p be 4*(9/4 + -2). Solve -p = -q - m - 0, -3*m + 8 = -2*q for q.
-1
Let k = 125 + -85. Suppose -r + 7 = 2*m, 4*r + 0*r - 4*m - k = 0. Suppose 2*u = -u + r. Solve -5*h = -3*c - 3*h - 17, u*c = 3*h - 18 for c.
-5
Let i = -35 + 25. Let y be ((-10)/(-4))/((-5)/i). Let r be ((-15)/(-9) - 1)*3. Solve -x - 9 = -b, -r*x + x - y*b = -21 for x.
-4
Let r = 7 - 3. Solve -d - 3 = -2*f, r*d = 3*d - f + 3 for d.
1
Let m be (-1)/(-4 - 93/(-24)). Solve 5*t - 15 = -5*k, 2*k - 10 = -m*t + 4*t for t.
2
Suppose -5*d = 15, -g + 3*d = -7 - 0. Let h be (3 + 4/g)*7. Solve 0 = 3*y + i + 14, -h*i + 5*i + 27 = -5*y for y.
-5
Let b = -1 - 9. Let u be (-6)/5*b/4. Suppose -y - 2*q - q + 9 = 0, -2*q - 5 = -u*y. Solve 0 = 4*c + 4*a, -2*c - 2*a - 9 = y*c for c.
-3
Let n be (-2)/(-9) + 2/(-9). Let x = n - -4. Let c be (5/(-15))/((-2)/66). Solve -c = -s + 3*r, -x*r + 7 = s + 24 for s.
-1
Let t = 8 - 4. Let p be (t - (-7)/(-2))*0. Solve 3*h - 3 = 4*i, -5*h + 5 = -p*h - 4*i for h.
1
Let s be -2 + -1 - (-19 - -8). Let i(h) = h**2 - 6*h - 11. Let m be i(s). Solve l - 4*l - 18 = -5*w, 2*l + m = w for w.
3
Suppose -10*h + 32 = -6*h. Let a = -3 + h. Solve 36 = a*l - 4*y, -2*l + 0 + 16 = -2*y for l.
4
Suppose y - 2 = 5*q - 1, 0 = y + q - 1. Solve 4 = -k, -2*i + 5*k + y = -15 for i.
-2
Let h(c) = c**3 + 10*c**2 + 5*c + 1. Let a be h(-2). Solve -3*d = y + 7, -5*d - 58 = -3*y - a for d.
-4
Suppose 4*i = i + 18. Suppose 2*k + b = i, 9*b - 4*b - 20 = 0. Solve x = -3*j - 3 + k, -j = 5*x - 18 for j.
-2
Let b = 8 - 4. Suppose 5*m - 2*o - 100 = m, 5*o - 86 = -b*m. Solve 2*c + m = 4*c - 4*p, -3*p = 2*c + 11 for c.
2
Let s(d) = 2*d**2 + d. Let r be s(1). Solve 16 = 4*i + 4*x - 0*x, -i = r*x - 10 for i.
1
Suppose 3*x - 14 = 46. Solve 2*p - 3*f + 5*f = 10, 4*p - x = 3*f for p.
5
Let y be (-1 - 1)/(6/(-3)). Let z be (y + -4)/(-1 - 0). Solve 5 = v - z*v - 3*o, o = -v for v.
5
Let r(i) = 3*i - 7. Let p be r(6). Suppose 3*m = 5*q - p, 3*m - 4*m + 11 = 2*q. Solve -3*o + 1 = 3*u - o, m*o = -3*u + 6 for u.
-3
Let x be (-40)/16*4/(-5). Let c be (-26)/(-4) - x/4. Let n be -2 - (-1)/((-1)/(-5)). Solve -2*t + o - c = 7, 7 = -n*t - o for t.
-4
Let o = 28 + -15. Suppose 2*y + 1 = 3*c + o, c = -4*y + 10. Solve 0 = -z - y*b + 3, 4*z + b - 12 = -2*b for z.
3
Let b = -4 - 2. Let o be (b - -7)/(1/2). Solve -s + 15 = 2*z, -s - 4*z = o*s - 35 for s.
5
Suppose 2*m = 10 - 2. Solve 3*l = -0*k - k - 4, 2*l = m*k - 12 for k.
2
Let p = -36 - -61. Suppose -6*x = -x - p. Solve -x*v = -4*k + 30, 3*k + k - 18 = -v for v.
-2
Let g be (-4 - -1)/((-9)/12). Suppose -u - 1 = -g. Solve -3*t - 37 = 5*m, u*m + 5*t + 29 = -6 for m.
-5
Let c be 1*-4 - 192/(-6). Suppose -10 = -5*f, -2*f + 6*f = 2*h - c. Solve 2*t + 9 + 0 = o, -5*t - h = 2*o for o.
1
Suppose -r + 4 = -0. Solve -4*d - c = 15 + 4, r*c = -d - 16 for d.
-4
Let z = 24 - 19. Solve -c - 3 - 11 = -z*r, 2*r + 4 = -2*c for c.
-4
Suppose -3*f + 3*w + 42 = 0, -2*f + 2*w = -3*f + 8. Solve 3*k - f = 0, 0 = -5*j - 4*k - 2 + 13 for j.
-1
Let o be ((-4)/3)/(2/(-3)). Solve -r + 7 + 3 = -o*h, -4*r + 22 = -2*h for h.
-3
Let l be -4 - (-9 + 5 + -2). Solve 5*h - l*h = 0, y = -4*h - 3 for y.
-3
Let d(k) = k**2 + 4*k + 5. Let r be d(-4). Let p(l) = -l**3 + 5*l**2 + 3. Let t be p(r). Solve -4*n - 2 = -4*a - 2*n, -t*n = 4*a + 3 for a.
0
Let u = 7 + -5. Suppose 0 = u*n + 4, -2*k + n + 14 = -n. Solve 5*o - k*y = -2*y + 13, -3*o - 4*y = -2 for o.
2
Let j(p) be the second derivative of -p**5/20 - p**4/4 - p**3/3 - 2*p**2 + p. Let v be j(-3). Solve -n = -v*r - 3, -3*r = -5*n - 5*r + 27 for n.
5
Let j = -2 + 7. Suppose 6 = -2*l, 6*a = 2*a + l + 3. Suppose a = 4*u + 1 - 17. Solve -j*i + 17 = -u*c, i - 5*c + 6 = 22 for i.
1
Let o(y) = -2*y + 1. Let i be o(1). Let f = -6 + i. Let n be -21*(f/3 + 2). Solve 5*d + r = -n, 4*d + r + 5 = -0 for d.
-2
Suppose 3 = 2*m + u, 2*m - 2*u - 8 = -m. Let q = -18 + 3. Let l = -10 - q. Solve -21 = -l*c - m*j, c + j = -2*j + 12 for c.
3
Let b = 4 - 14. Let j = -9 - b. Solve 3*v + 0*v = 2*h - j, -5 = v - 3*h for v.
1
Let z(c) = c**3 + c + 27. Let u be z(0). Solve -20 = -2*a - 3*k, -5*a + u = k + 3 for a.
4
Let p be (-8 - -11) + ((-2)/1)/(-2). Solve p*w = -5*x - 12, -w + 2*w + 5*x = -