Solve 0*x = 5*x - 25, 0 = -2*i + 3*x - m for i.
2
Suppose -5*c + 3 = 2*g, -3*c + 4*c - 65 = -5*g. Suppose 0 = -3*k + k + g. Let m = k + -2. Solve -t - 5*j = 18, -4*j - 23 = m*t + 4 for t.
-3
Suppose -2*z - 15 = -4*r + 1, 2*r = -2*z - 4. Let a be 1 + -3*2/(-6). Let t = r - a. Solve -k = u - 2, 2*u + 4*k - 2 = -t*u for u.
3
Let b = -14 + 17. Suppose m + 6 = b*z, 2*m - 3 = -z - 1. Solve 4*y + m*y + 3*x + 7 = 0, -4*y - 2 = 2*x for y.
2
Let w be (3 + -3)*(0 + -1). Suppose -5 = -w*k - k. Solve 5*p - 2*r + k = -6, -3*r = -5*p - 9 for p.
-3
Let x(k) = -k**3 - 2*k**2 - k + 1. Let t be x(-2). Let s be -1 - (1 + -1) - -10. Let u = -6 + s. Solve -5*l + t = -u*i - 0, 2*l + 10 = 4*i for l.
3
Let t(m) = m**2 + 7*m + 8. Let p be t(-6). Let b be (2/(1/1))/1. Let n = b - -3. Solve n*j = 4*j - p*a + 12, j - 4*a + 12 = 0 for j.
4
Let w(x) = x**2 + 3*x - 8. Let v be w(-5). Let g = v - -2. Solve 36 = -5*k + g*u, 2*k + 5*u = 11 + 1 for k.
-4
Let f(b) = 3*b + 69. Let p be f(-21). Solve 4*h = 2*g - p, 4*h + 3*g + 31 = -0*h for h.
-4
Let r be ((-6)/4)/((-8)/16). Solve 5*l - 22 = -4*c + 3*c, 2*l + r*c - 1 = 0 for l.
5
Suppose -2*r + 4 = -6*r. Let k = 5 + r. Suppose -q + k*q = 12. Solve -q*i + 0*u - 28 = -4*u, -13 = 4*i - u for i.
-2
Let h = 6 - -7. Let u = 17 - h. Solve -2*f - u*y = -4*f + 10, -5*f = 4*y - 25 for f.
5
Let z(j) = j + 15. Let c be z(-11). Solve 4 = 4*s + 2*g, -s - 4*s = -c*g - 31 for s.
3
Let o = 1 - -2. Solve o*b + 0 = -4*l + 10, -3*b + 5 = -l for l.
1
Let h(a) = 2*a**2 + 18*a - 17. Let c be h(-10). Solve -3*g - 5*r + r + 4 = 0, 3*r = 2*g + c for g.
0
Let y = -10 + 14. Solve x + 3*v + 2*v = y, -x + 3 = 4*v for x.
-1
Suppose 0 = 5*s - 0*s. Let l(r) be the third derivative of r**5/60 - r**4/3 + 5*r**3/3 - 2*r**2. Let v be l(7). Solve w + v*x - 14 = s, w - 26 + 6 = -5*x for w.
5
Let y = -3 - -5. Solve 0 = -y*i - 2*i + 3*q - 7, 13 = -i - 3*q for i.
-4
Suppose 0 = -2*d + 4*p - 4, -2*p + 0 = -6. Solve -m - 4*m = -d*v + 8, 0 = -3*v - 5*m + 6 for v.
2
Let k be (-35)/14*(-12)/10. Solve -4*n - 7*b - 12 = -3*b, k*b = -9 for n.
0
Suppose 4*l = -5*c + 76, -2*c - l + 8 = -5*l. Suppose 0*g + 3*n + c = 2*g, -n - 34 = -4*g. Solve m - j + 2 = -0, -g = 2*m - 3*j for m.
3
Let a(l) = 2*l**2 + 16*l - 36. Let g be a(-10). Solve -g*v - t - 14 = 0, -2*t + t = 2 for v.
-3
Let p(i) = i**2 - 3*i - 7. Let r be p(5). Let t = -4 + 2. Let c(u) = -u**3 - u**2 - u - 1. Let o be c(t). Solve 0 = 3*k + y - r*y + 1, -o = -y for k.
3
Let y(l) = -l**3 - 2*l**2 - 4. Let i = 2 - -2. Let z = -7 + i. Let s be y(z). Solve 2*o = -2*u + 5*o + 9, 35 = -s*u - 4*o for u.
-3
Let g(r) = -3*r - 9. Let i(y) = y**3 - 6*y**2 - 7*y - 4. Let c be i(7). Let x be g(c). Solve x*z - 2*z + 4*p = 7, -4*z = -3*p + 29 for z.
-5
Let y(p) = p**3 - 6*p**2 - 8*p + 10. Let s be y(7). Suppose 5*b - 45 = 3*b - t, -s*t = 5*b - 111. Solve -d - 14 = 3*d + c, b = -4*d + 4*c for d.
-4
Suppose -4*b + 7*b + 33 = 5*p, 0 = -3*b - 3. Solve 0 = 4*t, p*w - 3*w + 5*t = 6 for w.
2
Suppose -6*a + 2 = -4. Suppose 15 = 3*v + 2*v. Let q = v + a. Solve -4*x + 2*x = q*f + 26, -3*f - 3*x = 27 for f.
-4
Let r(c) = c**2 + 14*c + 14. Let o be r(-14). Solve -3*z + p = 1, -z - o = z - 4*p for z.
1
Suppose -3 = p + 2. Let a = p + 10. Solve -s + 6*s = -2*v + 15, s = a*v - 24 for v.
5
Suppose 0 = -2*g - 0*g + 4. Let l be g/6 - 58/(-6). Suppose 3*m + 2*m - 2*t = -l, -3*m + 4*t = 20. Solve -5 = 5*x, r + 2*x + 0 + 4 = m for r.
-2
Suppose -f + j + 5 = 0, -4*f + 10 + 6 = -5*j. Let y = -9 + f. Suppose y = -5*z + 22 - 7. Solve -3*c - 12 = -z*n, 2*c - 3*c - 3*n = 0 for c.
-3
Let u(j) = j**2 + 14*j + 3. Let r be u(-14). Let c = -2 + 33. Solve 4*s + c = 3*v, 24 = -4*s + v + r for s.
-4
Let l(g) = -g**2 - 7*g - 6. Let t(c) = 6*c**2 + 36*c + 31. Let q(s) = 11*l(s) + 2*t(s). Let v be q(6). Solve -2 = b + w, -3*b = -3*w + 8 - v for b.
-2
Let w be (-3)/(-6) + (-2)/4. Let d = 3 + w. Suppose -d*i + 1 = -5. Solve 4*n + 5*c = 21, 5*n + 2*c - 15 = -i*c for n.
-1
Let c(i) = i**2 - 3*i - 4. Let r = -4 - -8. Let v be c(r). Solve 3*y + 9 = -4*p, 5 = -p - v*p + 2*y for p.
-3
Let q(s) = -s + 1. Let o be q(-2). Let n(r) = -r**2 - 13*r + 6. Let j = -21 + 8. Let m be n(j). Solve -24 = 3*l - 3*z, -o*l - 2*z - z = -m for l.
-3
Suppose d = -4*p - 23, 5*p + 0*d - 2*d + 19 = 0. Let y = 9 + p. Solve -k - 13 = 5*s - 3*k, -y*s = -k + 8 for s.
-1
Let h = 44 - 40. Solve h = -3*s - 5*k + 27, k = -5*s + 9 for s.
1
Suppose 0 = 2*w - 5*m, -5*m = -2*m. Let q(z) = z**2 + z + 8. Let r be q(w). Solve -3*u = 4*f, 0 = -r*f + 3*f - 2*u for f.
0
Let s = -23 + 25. Suppose 0 = 2*k + 2*k - 44. Solve -3*t + s*q - 6 = -7*t, t - 2*q + k = 0 for t.
-1
Suppose 3*p = 7*p. Solve -10 = -p*x + x - l, -5*x = -4*l + 45 for x.
-5
Suppose -2*b + 23 = 19. Solve 3*a - b*o + 4 = 2*o, -6 = 3*o for a.
-4
Suppose 2*m = m - 10. Let o(z) = 2*z - 305 - 13*z + 296 - z**2. Let v be o(m). Solve -5*s - 3*k = -v, -k + 3*k + 6 = 0 for s.
2
Let c = 15 + -10. Solve u = -3*i - i - 5, c*i - u + 13 = 0 for i.
-2
Suppose 5*u - 75 = -3*s, -s + 25 = 2*u - 6. Solve -c = 1 - 3, 3*i - 3*c + u = 0 for i.
-4
Suppose 6 = 4*f - f. Let i = -3 - -6. Let t = f + i. Solve -t*d - 24 = 2*h, 4*d = -2*h - 2*h - 24 for d.
-4
Let b = 5 + 3. Let p(d) = d**3 - 8*d**2 + 7*d + 7. Let v be p(7). Let t be (-2)/v + 46/14. Solve m = -3*j + b, t*j - 7 - 16 = -4*m for j.
1
Suppose 2*k - 69 = -k. Solve 0 = -5*i - 2*a - k, 7*i - a + 8 = 3*i for i.
-3
Let v be 9/(-7) - 2/(-7). Let i be v/((-1)/3) - -1. Let m be (9/12)/((-2)/(-8)). Solve m*y - d = 3*d - 31, 5*d = -i*y for y.
-5
Suppose -4 = -2*u - 0*u. Solve 5*f - u*f = 2*p + 11, 0 = -2*f - 3*p + 3 for f.
3
Suppose 0 = 12*c - 17*c + 15. Solve 5*d = 2*s - 23 + 2, -s + c*d + 13 = 0 for s.
-2
Let t(z) = -z**2 + 5*z - 4. Let v be t(3). Let u(x) = x**2 - 1. Let o be u(v). Solve -3*i = -3*l, -2*l + 7 = 2*i + o for i.
1
Suppose 5*i = i + 32. Solve p - 27 + i = 4*c, -4*p - 4 = 0 for c.
-5
Suppose 0 = b + 1 - 5. Suppose 18 = 4*j - 4*c - 22, -j + 10 = -b*c. Solve 0 = -g + 2*g - q + j, -4*g = 2*q + 10 for g.
-5
Let w be ((2/1)/(-2))/(-1). Let n be 6/(w/2*-3). Let i be 137/9 + n/18. Solve -u + i = 3*u - 3*t, 4*u = -3*t + 9 for u.
3
Let v(j) = 0 + 8 + 28*j - 29*j. Let z be v(6). Solve -3*k = -m - 0*m + 11, 4*k = -z*m - 18 for m.
-1
Suppose -5*k = -m - 6, 2*k = 2*m + 6 - 2. Suppose 2*b + 5*n = k - 10, 5*b = -n + 12. Solve -4*z + d = -6*z + 3, 3*d = -b*z - 3 for z.
4
Suppose -24 = 12*l - 18*l. Solve -2*w - w - 4*h = 3, l*w + 29 = 3*h for w.
-5
Let o be ((-1)/(-1) + -1)/2. Let g be -3 - (o + -9 + 3). Solve 15 = g*n, 0 = -0*s + 3*s - 3*n + 21 for s.
-2
Let c = 2 + 0. Let q = -5 + 8. Suppose -8*z = -11 - 37. Solve -3*f + v - z = 0, -5*f + q*v = -c*v for f.
-3
Let y be 25*(-1 + 5 + -3). Suppose 15 = 4*n + n - h, 5*n = -h + y. Solve 2*x = n*q + 10, -5*x + 0*q = -4*q - 19 for x.
3
Suppose -m + 9 = -4*m, m - 29 = -4*d. Let k = d - 5. Suppose -2*n + 3 = -k. Solve -n*y = 2*y + 5*p - 15, 0 = 5*y - p + 15 for y.
-2
Let v(i) = i**2 + 5*i - 2. Let z be v(-7). Suppose 0 = -2*k - 2*k + z. Solve k*r = -g + 15, -r - g + 4 = -1 for r.
5
Let q be (18/(-8))/(1/16). Let t be q/(-3) + 1/(-1). Suppose -4*b + t = -13. Solve -b*v - 40 = -5*x - v, -3*v - 34 = -5*x for x.
5
Let r(g) be the third derivative of g**5/20 + g**4/12 + g**3/3 - 7*g**2. Let f be r(3). Solve 8 - f = 5*x + 3*w, -2*x = 5*w + 26 for x.
-3
Let z be 2/(-3)*(-3 + 0). Solve 3*u + 5*d = 31, z*d = -2*d + 20 for u.
2
Let d be (-1)/(((-2)/(-2))/(-5)). Let z(f) = -2*f**2 - 25*f - 10. Let p be z(-12). Solve q - d*a = -12, 2*q + p*q = -2*a + 18 for q.
3
Suppose h + 2 = 5*l, -h = 3*l - 5*l - 1. Let t(k) = -k**2 + 6*k - 4. Let r be t(h). Solve 0 = -r*a - 0*a - 3*m + 8, 2*a - 2*m = 16 for a.
4
Let t = -6 + 8. Suppose i + 0 = t. Let w(z) = -z**3 - 5*z**2 - 6*z - 3. Let r be w(-4). Solve 4*u + h = -7, -3*u + i*u + r = -2*h for u.
-1
Suppose 338 = 2*z + 2. Let b be 2/13 + z/91. Solve -4*f + b*y = 19 + 1, 5*y = 0 for f.
-5
Let y(w) = w + 9. Let v be y(-7). Let j(m) be the second derivative of m**4/6 - m**3/3 - m. Let g be j(v). Solve 0 = 2*d - 2*f + 10, 4*f = -g*d + f + 8 for d.
-1
Suppose 3*b + 4*q - 61 = 0, 2*b - 2*q - 2*q = 74. Solve -2*m + 2*j - 2 = 0, 0*m + 5*j = -3*m - b for m.
-4
Let v be ((-3 + 7)/12)/(4/300). Solve -5*r = -v, 5*r = 2*s + r + 18 for s.
1
Let u(p) be the second derivative of p**3/2