j - q*p = 2 + 16, -p = -1 for j.
4
Let v be (5/(-2))/((-1)/(-2)). Let r = v - 2. Let p = 11 + r. Solve 3*o = p*u + 1 + 4, -u - 5*o = 7 for u.
-2
Suppose 3*v - h = 19, -4*v = h - 2*h - 24. Solve 0 = 5*m + v*d + 35, -m = 2*m + d + 11 for m.
-2
Let m(s) = 11*s**2 - s. Let z be m(1). Solve 3*h - 3*j - 24 = 0, -z + 1 = 2*h + 3*j for h.
3
Let y = 3 - 1. Suppose v = -4*i + y*v + 12, 0 = -5*v + 20. Solve i*g - p - 8 = -5*p, 3*g + 2 = -p for g.
-2
Suppose y + 1 - 3 = 0. Solve -r + 2*k + 5 = 0, 3*r - y*k + 5 = 4*r for r.
5
Let u = 5 - 10. Let s be ((-18)/(-10))/(-3)*u. Solve -2*w + s*j = 11, -2*j - 1 = w - 6 for w.
-1
Let n(w) be the second derivative of -w**4/12 + w**3/3 - w**2/2 + 2*w. Let i be n(1). Solve 5*y + 16 = 2*p, -3*y + 2*p - 10 - 2 = i for y.
-2
Let u = 32 - 28. Solve n + 6 - 1 = -3*g, -3*n - 2 = -u*g for n.
-2
Let g be (-1 - 0 - 0)*-2. Suppose 0 = -0*f + 4*f - 16. Suppose -5*u + x + 0*x = -30, 0 = f*u + 4*x. Solve -5*w + u*p = 0, -p - 4*p = -g*w - 6 for w.
2
Let v(q) = 2*q**3 - 14*q**2 + 3. Let i be v(7). Solve i*o - 4*w = -15, -5*o - 10 = -3*o - w for o.
-5
Let q = 7 + -4. Solve -5*r = 3*m + 7, r - 5*m + 1 = q*r for r.
-2
Suppose 5*w = -2*r + 55, -2*w - r - 6 = -27. Suppose -a + 2 = m, -6*m - 4*a + w = -m. Solve -5*b + 4*x + 15 = 0, 1 - 4 = -b - m*x for b.
3
Let r(v) = -3*v**3 + 2*v**2 - 2*v + 1. Let k be r(1). Let l be (k - -2)*1/2. Solve 0 = 2*g + c - 3, l = g + 2*c + 4 - 1 for g.
3
Let u = -20 + 33. Let x(d) = d**3 - d + 3. Let l be x(0). Suppose -2*y + 4 = -p - l, 18 = 3*y + p. Solve 3*g = t + y*g - u, 2*t + 3*g = 22 for t.
5
Suppose -4*f = -0*t - 5*t - 27, t + 18 = 5*f. Suppose 2*u + 2 = 5*v - 5, 0 = 2*u - f*v + 1. Solve u = -4*p - z - 0, 4 = -z for p.
0
Let h = 68 + -66. Solve i + h*g + 3 = 2, -3*i - 4*g - 3 = 0 for i.
-1
Let x be (-4)/18 + 2/9. Suppose -j + x*j = -2. Let f = j + -1. Solve -3*b + f = 3*a - 11, -5*b = -a + 10 for b.
-1
Suppose 0*u - u = -4. Let n be ((-2)/(-4))/(2 + (-9)/4). Let o = n + u. Solve -2*f + 4*b = -14, o*f + 5*b = 3*f - 19 for f.
-1
Let b be 3/(3/(-6)*-2). Let g = b - -2. Solve g*a + f + 7 = 6*a, 3*a + f = 1 for a.
2
Suppose 4*w + 3 = 7*w. Solve 4*l = 5*m - w - 3, -5*m + 40 = 5*l for l.
4
Suppose -3*g = -4*g + 5*m + 10, -2*m + 30 = 3*g. Let k = 10 - g. Solve -3*r - 2*a = -21, -5*r + 5*a + 10 = -k for r.
5
Let k = 4 + -7. Let w be (2 - 4 - -1)*k. Solve w*f = -15, -2*f = -5*y - 6*f for y.
4
Let x = -25 + 26. Solve 2*f - 8 = -4*b, -2*f + x = b + 2 for b.
3
Suppose -3*v = -5*y + 10 - 2, v = y. Solve 4*t + 3*l = -t + 29, y*t = 2*l + 10 for t.
4
Let l = 0 - -3. Suppose 0 = 3*t - l*m, 0 = t - m + 2*m - 6. Suppose -3*s + 9 = 3. Solve 4*y + a - 8 = -y, -t*y = -s*a + 3 for y.
1
Suppose -4*x - 22 = -102. Solve -5*t - 7 = f - 19, 5*f - x = -5*t for f.
2
Let s be 6/2 - 3 - -5. Solve 2*h + 0*t - 4*t - 10 = 0, -s*t = -2*h + 11 for h.
3
Suppose 4*b + 12 = 0, -8*b = -5*m - 3*b + 40. Suppose -3*t = 2*h + 4 - 11, 0 = 2*t + h - m. Solve 5*c + t*j + 3 = 4*c, -1 = 4*c + j for c.
0
Let h be (-1 + -1 - -4) + -4 + 14. Solve -p = 4*u + 4 - 22, 0 = 2*p + 2*u - h for p.
2
Let c be 4/2 - 0/4. Suppose -3*x + 25 = 5*p, -5*p - c = 2*x - 17. Let b = x + -4. Solve b = 3*v, -2*v + 10 = -3*z + 3*v for z.
0
Let a be -2 + (-1)/(-1) + 4. Suppose 0 = 4*u - 2*u. Suppose -q + 0*q + 33 = 2*p, 91 = 3*q + 2*p. Solve -2*r - 5*x = 2 + a, u = -5*r + 4*x - q for r.
-5
Let c(d) = -d**2 + 5*d + 2. Let q be c(6). Let h = q - -13. Let s(r) = 3*r + 3. Let o be s(h). Solve -k - 3*k = -5*b - o, k = -2*b + 1 for b.
-2
Suppose -2*l - 7 = -l. Let f = -5 - l. Solve k = -f*g + 2*k + 5, -5*k = 3*g + 25 for g.
0
Suppose 2*d - 15 = u, 24 + 6 = 5*d - u. Let t = 9 - d. Solve -t*p = r - 5, 4*p - 10 = 4*r - 30 for r.
5
Let a = 26 - 21. Solve a*j - 3*j - 26 = 4*s, 2*s + 7 = -j for j.
3
Let v = -13 - -21. Solve -v*d = -4*d - 2*w + 8, 0 = 4*d + 4*w + 20 for d.
-3
Suppose -3*x + 12 = -4*x. Let z be (-2)/(-7) + x/(-7). Suppose z = p - 0. Solve 4*y + 2 = p*m - 5*m, 0 = 3*y - m - 5 for y.
1
Let l(q) = q**2 - 7*q - 5. Let d be 3*(0 + (-32)/(-12)). Let a be l(d). Solve -4*i - a*o = 22, -i = -3*o - 3 + 1 for i.
-4
Let v(j) = -j. Let t be v(-5). Suppose 0 = -s - 2*z + 14, -3*s + 37 = -0*s + t*z. Solve -20 = 4*x - s*w - 8, w = -x + 7 for x.
2
Suppose -2*n + 0*n = 2. Let i = n - -1. Suppose 2*g + 34 = 2*w + g, 4*w - 5*g = 80. Solve 5*q - w = a, 0 = -4*a - i*a + 2*q + 12 for a.
5
Suppose 3*r + 2*m - 21 - 4 = 0, -2*m + 15 = r. Solve -r*y - 2 = -a - 3, -5*a - 3*y = -23 for a.
4
Suppose t + 5*t = -12. Let c(q) = q**2 - 2*q - 1. Let k be c(3). Let g be 0*t/6 + k. Solve -g*u = -4*d - 8, -2*u - 2*d = -5*d - 6 for u.
0
Suppose -4*s + 8*s = 4*z + 12, 2*s + z = 3. Solve 4*o + 21 = r, -4*r + s + 12 = -2*o for r.
1
Let z = 19 + -16. Solve 2*l - 1 = 5*h, -5*h - 15 = z*l - 4 for l.
-2
Let d = 6 - 4. Solve -i + 17 = 3*l, d*l - 3*l - 5 = -5*i for i.
2
Let x be 3/(0 - -3 - 2). Solve -14 = -2*m - 2*l, x*m + 0*m + 19 = 5*l for m.
2
Let v be (-26)/(-7) - (-6)/21. Solve 0 = 4*j - 16, -v*z + 9*j - 24 = 4*j for z.
-1
Let a be (-2 + 3)/((-2)/(-4)). Solve -3*f - a*d + 23 = 0, f + d = 4*f - 11 for f.
5
Let z(y) = -y**2 - 17*y - 9. Let q be z(-14). Solve 0 = 5*l - 2*k - q, -3*k - k - 36 = -4*l for l.
5
Suppose -3 = -4*a + 4*s + s, 0 = -a + s. Let j be 6/a + 8 + -3. Let p be 1/2*26/1. Solve 0 = -4*v + 5*n + 23, 4*n + p + j = 2*v for v.
2
Let s(a) = 2*a**2 + 6*a - 5. Let i be s(2). Solve 2*j - 4*o + i = -13, 5*o - 37 = 3*j for j.
-4
Suppose 5*g = -5*n + 80, 8*n - 3*n = -g + 64. Solve -4*v - 6 = -2*t, -v - t + 5*t = n for v.
0
Let n = -2 + 4. Let x be (-25)/n - 2/4. Let m be (-2 + x/(-4))*12. Solve 0 = -5*z - m, -5*z = v + v + 23 for v.
-4
Suppose -4*i - 2 = -5*i. Solve 4*c + 2*u - 1 = -5, i*c + 6 = -3*u for c.
0
Suppose -3*o = 5 - 17. Solve 4*n = 3*d - 16, 4*n + 4 = o*d - 12 for d.
0
Suppose -3*r + 1 = -14. Suppose 0 = -3*w + r + 25. Solve 0*i = i + q + w, 2*q = -i - 15 for i.
-5
Let p = 7 - 11. Let b be 175/55 - p/(-22). Solve j - 7 = -b*v, 2*j - 3*j = -4*v + 14 for v.
3
Let g(b) = b**3 - 6*b**2 + 2. Let l be g(6). Let x be l/(-4)*(-32 + -6). Solve 5*o = -n + x, 5*n - 2*n + 2*o = 5 for n.
-1
Let a = -11 + 15. Solve 8 = a*x + 4*y, -4 = -x - 2*y - 2 for x.
2
Let i = -20 - -25. Solve 4*n - 2*n - r = -3, -i*n + 5*r - 15 = 0 for n.
0
Suppose -b - 5*u = 20, -u - u = -2*b + 20. Solve -12 = -2*p - 4*g, -22 = -b*p + 2*g - 4*g for p.
4
Let v be (20/(-50))/((-2)/20). Solve 0*g = -2*g + 4, -a + g = v for a.
-2
Suppose 2 = -p + 5. Suppose i - p*i + 4 = 0. Solve -2 = -x - 4*c, i*x + 0*c = 4*c + 4 for x.
2
Let k be (-78)/(-14) - (16/(-14))/(-2). Solve 3*f = k*j + 25, -5*j + 3*j - 10 = 0 for f.
0
Let o(q) = q**3 + 6*q**2 + 6*q + 7. Let t be o(-5). Solve -5*i = -0*i - c + 29, t*c = -3*i - 7 for i.
-5
Let c(q) = -3*q - 3. Let a be c(-2). Suppose 2*u + a*u = 0. Solve u = 3*d - 3*f + 21, -5*f = 3*d + 4 + 1 for d.
-5
Let x(c) = c**3 - c**2 - 3*c + 1. Let l be x(2). Let j = l + 3. Let p be j - 2*3/(-6). Solve 0 = w - p*w - 3*g + 5, -2*w = 4*g - 4 for w.
4
Let j(a) = -a + 8. Let y be j(5). Solve y*f - 11 = p + p, -5*f + 29 = 2*p for f.
5
Let y(c) = -c**3 - 8*c**2 - 8*c - 4. Let o be y(-7). Suppose -2*m - o*m - 5 = 0. Let t be ((-2)/6)/(m/15). Solve -14 + 0 = 4*u - n, -3*u - t = 2*n for u.
-3
Suppose 0*a - 5*a + 25 = 0. Let o = a + -9. Let p = 7 + o. Solve p*k + t + 9 + 5 = 0, -5*k = 5*t + 40 for k.
-3
Let l(d) = -d**3 + 5*d**2 - 6*d + 13. Let v be l(4). Solve 8 = -4*o - 3*q + 5*q, -v*o = -2*q + 10 for o.
-2
Let p = -11 - -5. Let x = 16 + p. Solve -y = -5*v + v - x, -3*y = 3*v for y.
2
Let j = 20 + -17. Suppose 4*k - v + j = 7, -2*k = 4*v + 16. Solve -3*m + 2*q + 12 = k, 4*m - 7 = 4*q + 9 for m.
4
Let t(p) = 2*p**2 - 4*p + 3. Let i be t(2). Suppose 5*y = -2*z + 18, -16 = -2*z - 5*y + y. Solve 0 = -i*k - 9, z*o + k + 4 = -7 for o.
-2
Let n = 108 + -68. Suppose 8 - n = 2*m. Let p be (-4)/m - (-3)/(-12). Solve p = -4*s - 0*l + 5*l - 21, 0 = -3*s - 5*l + 28 for s.
1
Let x = 18 + -15. Solve -3*k = 4*m, -k + 16 = x*k for m.
-3
Let p be -4*2*(-9)/24. Let y be p/((-1)/(-15)*3). Suppose 0*c - 5*c = -y. Solve 5 = c*r + 4*h, -2*r - h + 4 = -4*r for r.
-1
Let n = 20 - 17. Solve 3*d - 9 = -n*g, -4*g = 7*d - 4*d - 12 for g.
3
Let o = 6 - 4. Let c(s) = 0*s + 2 + o - s. Let n be c(-5). Solve 5*z = 2*b - n, -z + 2*z = -2*b - 9 for z.
-3
Let s(h) = h