5*d, u*d = 2*d + i - 3 for d.
1
Suppose 3*r + 3 + 3 = 0, -4*m - 2*r + 8 = 0. Let n(o) = -o**3 + 4*o**2 - 2*o + 4. Let j be n(m). Suppose 2 = 3*b - j. Solve 5*k = -5, 0*d - b*k - 1 = d for d.
2
Let k = -1004 - -1011. Solve -k - 18 = -5*j - c, -4*c = j - 5 for j.
5
Let k be (5 - 1)/4 + 4. Solve 0 = -5*v - k*f + 10, 12 = 5*v - 3*f + 6*f for v.
3
Let x = -20 + 22. Suppose 4*l - 17 = -l - 2*j, -3*l = -x*j - 23. Solve l = 5*q, 3*q - 7 - 2 = 3*v for v.
-2
Suppose -4*b + 0*b - 4*o = -28, 3*o - 5 = b. Solve -5*l - 11 = -1, b*u + 3*l = -10 for u.
-1
Suppose 3*n + 49 + 2 = 0. Let m = n - -23. Let h(w) = w - 4. Let o be h(m). Solve -g = -5*g + 5*l + 7, -2*l + o = -4*g for g.
-2
Let i = 778 + -769. Solve -4*h - 14 = -2*c + 3*c, -h = 3*c + i for h.
-3
Suppose -35*p + 33*p = -8. Solve 2*d + p = 4*m - 0*m, -6 = -3*d for m.
2
Let v(g) = 2*g + 11. Let t be v(-4). Suppose t*m = 7 - 1. Solve 1 = 5*q + 4*s, -5*s - 3 = m for q.
1
Let v = -1380 + 1382. Solve v = 2*h - 3*n + 9, -3*h - 5*n - 20 = 0 for h.
-5
Let r be 26 + (-6 - 5 - -3). Solve -3*v + y = 4, r = -4*v + 2*y - 7*y for v.
-2
Let f = -5 - -16. Let y = 16 - f. Let v = 10 + -5. Solve 3 = -4*i + 4*b - 5, -y*i - 30 = v*b for i.
-4
Let b = 2 - -18. Let l = 23 - b. Solve 0*u + 4*u + 2*r + 14 = 0, 3*r + 12 = l*u for u.
-1
Suppose -4 = 2*j - 8. Suppose 4*l = 4*t, -j*l - 2*t + 9 = -3. Solve -n = -a + 5, -5*n = -l*a + 4 + 19 for n.
-4
Let a be (-238 + 240)/(2/3). Solve -25 = -5*o + x - 0*x, 3*o - 27 = a*x for o.
4
Let h = -5 - -10. Suppose 2*f - 2*z = 8 - 6, -3*f = -4*z - 1. Solve -h*q + 25 = 0, -2*n - n = f*q for n.
-5
Let j(n) = 2*n**2 - 6*n - 1. Let z be j(4). Let o be -6 + 2 - (-13 + z). Solve -g = f - 1, 3 = -4*f - o*g - 1 for f.
-3
Let c(w) = 4*w**2 - 3*w - 4. Let m be c(-1). Solve -2*y = -m*v + v - 12, 3*v + 10 = y for y.
4
Let r(q) = -q**3 + 8*q**2 - 3*q - 4. Let k be r(6). Let p = -47 + k. Solve -3*m + p*z - 3 = 0, 5*m + z - 7 = 12 for m.
3
Suppose 8 + 0 = 2*s. Let g(f) = -f**2 + 8*f - 4. Suppose 6*b - 5*b = 7. Let y be g(b). Solve -y*d + 16 = d + t, -s*d - 3*t = -24 for d.
3
Let r = -20 - -32. Suppose 15*c + 60 = r*c. Let y be 7*(1 - c/(-28)). Solve -3*a - 3*u + 37 = y*u, u - 5 = 0 for a.
4
Let r be 768/56 + (-69)/(-21) + -3. Solve 1 + 1 = -3*p - 2*g, -r = 3*p + 5*g for p.
2
Suppose 58 + 11 = 23*h. Solve t = 5*m - 4, 5*m - 1 = m + h*t for m.
1
Let s(a) be the second derivative of 10*a + 7/2*a**2 - 1/20*a**5 - 1/6*a**3 + 0 + 1/2*a**4. Let x be s(6). Solve 5*d + 4*h = 5, -h + x = -d - 7 for d.
-3
Let h be (-11*(-11)/363)/((-2)/(-18)). Solve -h*p - 13 = 4*j, -20 = 5*j + 2*p - 9 for j.
-1
Let p(b) = b**2 + 4*b - 8. Let q be p(-6). Let k = -1818 + 1826. Solve -q*h - 2*d + k = 30, 5 = -d for h.
-3
Let g(n) = -n**2 - 2*n + 9. Let w be g(-4). Let h(v) = 5*v. Let q be h(w). Solve -25 = 2*k - q*l, -3*l - 11 = 5*k - k for k.
-5
Suppose j + 5 = 0, 0 = 5*z - 4*j - 8 - 27. Suppose -9 = z*q + 3*h, q + 2*q - 5*h - 15 = 0. Solve 0 = -3*m + 3*d - 15, -3*m + q*d + 5*d = 15 for m.
-5
Let d be (0 - 2 - -3) + 2. Suppose -4*m + y - 38 = 0, -d*y - 8 = y. Let b be 1/2 - 25/m. Solve 0 = -5*a - 0*u - b*u - 19, 4*a + 14 = -3*u for a.
-5
Let x(g) = 2*g**2 + 9*g - 28. Let s be x(-8). Solve 4*j - s = -4*a, 5*j + a - 27 = -0*a for j.
5
Let r = -32 - -41. Let o = 11 - r. Solve p - 2*h - 2 = -4, 0 = -p - h - o for p.
-2
Let r = -391 + 393. Solve 0 = 2*p + 2, r = -3*m + 5*m + 2*p for m.
2
Suppose 23*m - 153 = 6*m. Solve m*o + 5*i = 4*o - 15, i - 3 = -4*o for o.
2
Let c = 2 - 0. Suppose 0 = p + 5*n + 1 - 13, 0 = -4*n + 8. Solve -k = w, -c*k + 10 = -p*w - w for k.
2
Suppose 5*q + 3*c = 23, -4*q = 43*c - 45*c - 14. Solve -2*m + y + 5 = 13, 3*y - q = m for m.
-4
Suppose -4*u - 6 = -4*y - 9*u, -4*u - 12 = -y. Let p(d) = d**3 + 5*d**2 + 3*d - 4. Let w be p(-3). Solve -c + a = 4*a + 3, -y*a - 4 = -w*c for c.
0
Suppose 0 = 5*n + l - 13, -4*n + 4*l = -7 - 13. Suppose -d = 5*z - z - 17, n*z + d = 13. Let a = z + 1. Solve 3*i = -4*p + 11, -4*i + a*i = 2*p + 7 for p.
-1
Let u(w) = w**3 - 8*w**2 + 2*w + 9. Let x be u(8). Suppose 4*p = -p + x. Solve 2*t - 4*t + 3*k - 13 = 0, t = -p*k + 26 for t.
1
Let r(n) = 4*n - 15. Let d be 1 + -1 - 0 - 25/(-5). Let m be r(d). Solve c + 5*u = 5*c, 5*c + m = 5*u for c.
-5
Suppose 7*b - b = 18. Suppose 0 = -u - b, x - 5*u - 16 = -u. Solve 0 = 3*i - 4*n - x, 0 = 3*i + 2*i - 4*n - 12 for i.
4
Suppose 0 = -3*q - 1 - 2. Let b be q + (15 - 3 - -1). Suppose b = t + 3*t. Solve 0 = -2*j + 2*k, -4*j - 1 = -t*k + 3 for j.
-4
Let a be 3 + -3 + 1*-12. Let n = a + 14. Suppose -13 = -3*t + y - 2*y, n*y = 3*t - 1. Solve 3*w = 5*d + 24, -3*w = -w + 3*d + t for w.
3
Suppose j + 0*j - 6 = 0. Let h = 453 - 451. Solve 0 = -2*v + j*o - 4*o + h, -7 = -v - o for v.
4
Let r be -4*(1 + (-63)/28). Solve -5*d = -r, 4*w - 5*d + 9 = -0*d for w.
-1
Let d(s) = s**3 + 5*s**2 + 4*s + 5. Let u(z) = -3*z + 32. Let h be u(12). Let k be d(h). Suppose 5*y = 4*y + 4. Solve 0 = 2*b + 4, -y*p - k*b - 4 = 14 for p.
-2
Let x = -36 + 38. Let p be (-3)/(-1) - x/(-2). Solve 0*f = p*n - 3*f - 35, 3*f + 5 = -2*n for n.
5
Suppose 0 = 5*p + 11 + 4. Let x(q) = -q. Let w be x(p). Suppose -w*s - 2*s - 2*k = -104, 3*k + 54 = 3*s. Solve 5*d = 4*r - s, 2 + 14 = -4*r - 4*d for r.
0
Let y be (0/(-10))/(-2 + 0). Let h = y + 6. Solve i + h = -g + 2, -3*g = -4*i - 16 for i.
-4
Let w = 1072 - 1070. Solve -2*b = h - 6, 2*h - w = -0*b + b for h.
2
Suppose 9 - 24 = -3*u. Suppose 5*v = v - 5*k - 20, -2*v - u*k = 20. Solve l - 5*l = 2*q, -q - 4 = v for l.
2
Suppose 0*t + t = 2*u + 150, -4*t = -2*u - 156. Let j = 77 + u. Solve 3*w - j*r = -15, w + 2*r + 5 = 6*r for w.
-5
Let m(p) = p + 1. Let g be m(3). Let d(b) = b**2 + 49*b - 328. Let q be d(6). Solve a - 3*z + g = -q, 3*a = -3*z + 18 for a.
3
Let h be (-3)/1 + (-220)/(-10). Suppose 18*a + 6 = h*a. Solve -1 = -w + 2*l - a, 0 = 2*w + 2*l - 8 for w.
1
Suppose -4*h - 3*z + 2*z = -21, -h = 3*z - 8. Suppose -w = 3*o - 171, -3*o - 2*o = 5*w - 295. Let p = o + -36. Solve 5*f = h*t - 0*t + p, -2*f + 6 = -4*t for t.
1
Let l = -1896 - -1914. Solve 0 = -4*i + 4*j + 16, 21*i - l*i - j = 6 for i.
1
Let x(l) = -l**2 - 13*l - 5. Let y be x(-12). Suppose 0 = -8*d + y*d + 1. Suppose z = d + 2. Solve z*j - j - 2*t + 8 = 0, t = 5 for j.
1
Suppose -b - 2*b = 222. Let p be -2 + (b/(-1) - -2). Suppose -p = -5*d - 24. Solve -j + d = -3*y - 0*j, -13 = 4*y - j for y.
-3
Let v(c) = -12*c - 17 + 7 - c**2 - 19 + 2*c**2. Let o be v(15). Solve 8*l + b - 2 = 3*l, -5*b - o = -l for l.
1
Let d = 30 + -20. Solve -4*g - g = w - 25, 0 = 2*w - 5*g + d for w.
5
Let j be (-6)/2 - (1815/11)/(-15). Solve 5*u = -2*n - 15, 2*u = 5*n - 3*n + j for n.
-5
Let q = 265 + -262. Solve 4*d - 20 = -0*d, -q*t - 4*d + 35 = 0 for t.
5
Let j(w) = -w + 11. Let q(g) = -3*g + 2*g - 2 - 3*g + 3*g. Let v be q(-7). Let m be j(v). Solve 0*d = 2*d + 4*b + 6, 4*d + m = -5*b for d.
1
Suppose -5*q + 49 = -3*h, 0 = 2*q - q + 5*h + 7. Let u be (-5)/((-5)/q) + -3. Solve -4*i - 5*y - 22 = 0, -3*i - 5*y = -8*i - u for i.
-3
Let i(p) = -3*p**2 - p - 4. Let j be i(0). Let z = -2 - j. Solve 15 = 3*t, 3*m = -0*t + z*t - 13 for m.
-1
Suppose -13 - 7 = -5*m + 2*w, -9 = -2*m + w. Solve -3*p = -x + 2, 0 = -3*p + x - m*x + 2 for p.
0
Let c = 5 - 3. Let f be (0/1)/(12/6). Suppose f = 5*z - 4*h + 5, c*h - 6 - 4 = 0. Solve -3*k + 3*v - z = 0, 0 = -5*k + 4*v - 4 for k.
0
Suppose 16 + 0 = 4*h. Suppose 0 = -5*k + 5*y + 18 + 22, y = -h. Solve 2*o - 3*w = 2*w - 6, -15 = 5*o + k*w for o.
-3
Let l(w) = 2*w**2 + 1. Let k be l(-1). Suppose 0*m + 25 = 2*m + k*j, -m + 20 = 3*j. Solve 4*s + 2 = -2*b + 14, b - 15 = -m*s for s.
3
Let s be (-31)/(-4)*(-20)/(-25)*5. Solve -q = -4*t - 9, 5*q + 3 = 3*t + s for q.
5
Let z = 13 - 8. Let m(g) = 2*g - 5. Let s be m(z). Suppose t = 4, 2*o = 3*t + 21 + 9. Solve 2*a + 19 = 3*p, s*a + 7 + o = p for p.
3
Let o = -500 + 504. Solve 9 = 3*i - 4*l, 4*i - 3*l - 8 - o = 0 for i.
3
Let d = 89 + -132. Let i = -37 - d. Solve -4*v + 5 = u + i, -2*v = -2 for u.
-5
Let i be 26/((-12)/(-2) - (0 + 4)). Suppose -i + 18 = t. Solve t*l + 0 - 8 = 4*z, 3*l - 18 = -2*z for z.
3
Let x be 4/3 - -2*9/27. Solve 3*o - 5*m = -3 - 12, o = -x*m + 6 for o.
0
Let c be 0*((-9)/6 - -1). Let a(f) = f - 15*f + 17 + 73*f**2 - 72*f**2. Let u be a(13). Solve -u*v + z = 2*z + 15, -3*v + 3*z = c for v.
-3
Let g be 7 + (6/(-2) -