ve 4*r = -y + 2*y + 11, -4*y - 2*r + 10 = f for y.
1
Suppose -s + 5*p = 10, -14 + 6 = 4*s - 4*p. Solve 2*n = s, -3*m - 2*n - 2 = -5 for m.
1
Suppose -7*j + 24 = -3*j. Solve q + b - j = 4*q, 3*q + 2*b + 6 = 0 for q.
-2
Suppose h + 2*h = 2*u + 8, 4*h - 14 = u. Solve -h*y = 0, 0 = -j + 2*y - 2 + 4 for j.
2
Let b(s) be the third derivative of s**4/24 + s**3/2 + 2*s**2. Let c be b(-6). Let k = c + 6. Solve 0 = -t - 2*t, -3*t - 9 = -k*y for y.
3
Suppose 0 = -5*d + 6*d - 2. Solve 0*o = 4*o + t - 10, d*o - 14 = -5*t for o.
2
Suppose 0 = z - 3 - 2. Let s = z - 2. Suppose s*y - 7*y + 48 = 0. Solve 5*b - q = y + 8, -3*q + 30 = 3*b for b.
5
Suppose 0*z = 2*z. Suppose z*v = -5*v - 3*c + 37, -3*v - 2*c = -23. Solve 2*a - 20 = -a + 5*d, v*a = -2*d + 23 for a.
5
Let v = 4 + 1. Let o = v + -5. Solve -5*n + 17 + 1 = -4*c, o = -c + 3*n - 8 for c.
-2
Let x be -1 + 12 - (2 + -3). Let a = 18 - x. Suppose -4*s = -5*b - a, b = s + 2*b - 6. Solve -s*t - 1 = -0*y + y, 3*y = 3*t + 12 for t.
-1
Let x be (-4)/(-3)*6/4. Solve 2*q + 4*k + 13 = -11, 3*q + 4 = x*k for q.
-4
Let b(g) = 6*g + 2. Let h be b(8). Suppose 0 = 4*t + t - h. Suppose 2*i = -3*y + t, 0 = 4*i - 16 - 4. Solve 5*q + 0 = 3*x + 1, 3*q - 3*x + 3 = y for q.
2
Let a be ((-2 + 2)/4)/(-2). Suppose 0 = -3*i + 5*h + 40, h + 4 + 18 = 2*i. Solve -2*z + 3*o + 2 = a, -o - i = 4*o for z.
-2
Let k(n) = n**3 - 6*n**2 - 7*n. Let p be 6/21 - 141/(-21). Let r be k(p). Solve 3*w - 29 = -4*h, r = 3*h + 5*w - 24 - 6 for h.
5
Let n = 18 - 13. Suppose m = -4*m - 5*q, -3*q = -2*m + n. Let a be m/((-2)/(-30)*3). Solve -3*w - 3 = -2*v, 0*v - 5 = a*w - 2*v for w.
-1
Let w(x) = 2*x**2 - 14*x - 31. Let u be w(9). Solve -8*y = -4*q - 3*y + 27, 2*q = u*y + 21 for q.
3
Let k be (7 + -8)/((-2)/10). Suppose k*r - 9*r = 0. Solve r = -2*d + b - 1 - 11, 3*b = 5*d + 31 for d.
-5
Let p(h) = -h - 1. Suppose -4*d = -d - u + 17, 3 = -3*u. Let s be p(d). Let a = 1 + s. Solve 3 = -2*q - 3, 2*q = 5*n - a for n.
0
Suppose 0*z - 7 = -2*m + z, 3*m - 4 = -5*z. Let x = 3 - m. Solve -5*k - 8 = 2*o + 6, x = -5*o - k + 11 for o.
3
Let a(v) = -4*v + 11. Let s be a(8). Let g be (-2)/(-7) + (-477)/s. Solve 2*t - 3*n + g = 0, -2*t + 4*n - 16 = -3*t for t.
-4
Let d(r) = -3*r - 15. Let g be d(-6). Solve 5*z + g*k + 24 = 0, -5*z + 0*k + 2*k = 9 for z.
-3
Let l(u) = 5*u - 2. Let o be l(1). Solve -o*b - 15 = m, m + 7 = -5*b - 18 for m.
0
Suppose -4*j - n = -7, 0 = -3*j + n + 7 - 0. Solve j*u - 5 = -r, 0 = 2*r + r - 15 for u.
0
Let c(v) = -v**2 - 11*v - 6. Let m be c(-11). Let o be (-8)/(-16)*(0 - m). Let x = 4 + -1. Solve o*p - f = -x, -3*p - 2*f = 2*p - 6 for p.
0
Let r be 6/9 - (-14)/6. Suppose -u = 2*l - 16, r*l + 4*u = 2*u + 25. Solve -4*q - m = -11, -3*q - 5*m = -l*q - 7 for q.
2
Let p = 16 - 15. Solve v = 3*a + p, 15 = -5*v - 3*a - 2*a for v.
-2
Let k be (-4)/(4 + (-18)/4). Solve -k = 3*n + 2*t, 2*t + 0 = 3*n - 8 for n.
0
Suppose j + 1 = o + 2, -5*j + 41 = 4*o. Let b(y) = y**3 + 10*y**2 + 9*y + 5. Let h be b(-9). Solve 4*g - h*q = j*g + 5, 0 = -3*g + q + 1 for g.
0
Let o = 6 - 3. Let j be 4/6 + (-2)/o. Solve j = -4*z + 4*n - 4, 5*n - 4 = n for z.
0
Let b = 7 + -16. Let i(q) = -q**3 - 8*q**2 + 6*q - 11. Let g be i(b). Solve 4*z = -2*t - g, -2*t = -4*z + 2*t - 16 for z.
-4
Let f be 0 + 16/7 + 18/(-63). Solve 0*n - 4*m = -n + 15, 0 = f*n + 5*m + 9 for n.
3
Let m be (-17)/(-5) + 6/(-15). Let y be -2*(-2 - m/(-6)). Solve -q = -2*q - h + 3, 4*h = -q + y for q.
3
Let m = 27 + -16. Solve -2*c - k = -m, -4*c + 4*k - 13 = -k for c.
3
Let l(t) be the third derivative of t**4/6 - t**3/2 + 2*t**2. Let y be l(2). Solve z + z = -v - 1, y*v + 4*z + 5 = 0 for v.
-1
Let b be (3 - (-5 + 3)) + -1. Suppose 0*s - 2*c = b*s - 8, 2*s = 3*c + 4. Solve s*g - 2 = -3*f, f + 3 = -3*g + 13 for f.
-2
Suppose 2*h + 3*v + 12 = 0, 0 = 5*h - h - 5*v - 20. Solve h = -4*b - 5*s + s, 3*b + s - 6 = 0 for b.
3
Suppose -3*m + 5*j = -18 - 8, 3*j = 6. Solve -3*i - i + m = 2*k, 0 = -4*k + 4*i - 24 for k.
-2
Let o be (3/(-5))/(4/(-20)). Let u = -10 - -26. Solve -o*g + 4*g + 3*r = 7, -2*g + 4*r - u = 0 for g.
-2
Let u be (-20)/8*(-2)/5 + 4. Solve -3*s + 21 = -2*f + 5*f, 0 = -u*f - 3*s + 29 for f.
4
Let a(p) = 2*p**3 - 2*p**2 + 2*p - 1. Let s be a(1). Suppose 4*z = 7*z - 27. Let b = z - 3. Solve -3*y + 2*d + 7 + s = 0, 4*d = y - b for y.
2
Let c be -4*((-9)/2 - -2). Solve m + 2 = 3*k, -4*k + 5*m = k - c for k.
0
Let s = 93 - 91. Solve y - 3*y + 14 = -4*f, 4*y = -s*f - 22 for y.
-3
Let b(n) = n - 1. Let c be b(6). Solve -c*m - 10 = 0, -2*r + 4*m = -3*r - 11 for r.
-3
Let k = 4 + -6. Let c be -1 - ((-60 - k) + -3). Let s = 86 - c. Solve 5*b = -3*x - s, -b - 4 = x + 2 for x.
-2
Let p be (-4)/8 - (1 - (-14)/(-4)). Solve p*b = 4*z - 10, 5*z = -2*b - 3*b - 10 for z.
1
Suppose 0 = -4*s + 7 + 9. Suppose -s*v = -v - 6. Suppose 2 = -5*n + 17. Solve -3*k + v*k = -n*a - 8, -2*a + k = 6 for a.
-2
Let n = -11 + 54. Let i = n + -108. Let y = 96 + i. Solve -g = 4*g - 3*c + 35, 4*g - 3*c = -y for g.
-4
Let p be 2*5 + 0/2. Suppose -3*r = 1 + 17. Let v = p + r. Solve -c = -q, 5*c - v*q + 7 - 2 = 0 for c.
-5
Let k(l) = l**3 - 3*l - 4. Let o be k(3). Solve 5*n = -2*t - 0*t + o, 2 = -4*t + 5*n for t.
2
Let d(o) = -o**3 + 4*o**2 + 5*o - 2. Let m be d(5). Let b be m/8 - 61/(-4). Solve 7*r - 2*r = -b, 4*p = 3*r - 11 for p.
-5
Let x = -26 + 34. Solve -2*v - 5*c = -c - x, 3*v + c + 3 = 0 for v.
-2
Let r = 26 - 25. Solve -r - 15 = f - 4*n, 4*f - n + 19 = 0 for f.
-4
Suppose 0 = 3*d + 4*g - 26, 37 = 2*d + 5*g + 15. Suppose -d = -w - 2. Solve -b = 4*b + 10, -b = -o + w for o.
2
Suppose 27*i = 30*i - 15. Solve -4*l + 28 = -5*z, 0 = -i*z - 5 - 15 for l.
2
Let i be (-150)/(-14) - 6/(-21). Let m be i/5 - (-3)/(-15). Solve 5*q + 5 = -3*b + 1, -m = -5*q - b for q.
1
Let n(q) = -q + 2. Let y be (-25)/15 - 3/9. Let f be n(y). Solve 4*w + d - 12 = 0, 5*w - 5*d = f + 11 for w.
3
Let a = 7 + -3. Solve -13 = -2*h - 5*j, -a*j - 12 = 3*h - 7*h for h.
4
Suppose 2*y - 21 + 8 = -h, 4*h - 4*y = -8. Suppose 5*q = 2*j + 3*j + 5, -5*q + 7 = -3*j. Let u = h - j. Solve 0 = u*s + 2*v - 14, -s + 5*v = s for s.
5
Suppose -19 - 37 = 2*i. Let f be i/(-20) + 6/10. Solve -2*v = -5*t - 22, -5*t - 4*v + f*v = 18 for t.
-4
Let s = -172 - -172. Solve 3*k - 6 = -2*f, -3*k = -s*k for f.
3
Let v be 4 - 0/(0 - -2). Let m be v/(-5) + (-48)/(-10). Solve 5*p + 15 = j, 0*p = p - m*j - 16 for p.
-4
Let d(p) = 4 + p**2 - 5*p**2 + 5*p**2 + p. Let o be d(0). Suppose o*j + 4 = -3*r - 2, -4*r = 4*j + 4. Solve -r*m - 14 = 4*n - 0*m, 22 = -5*n + 2*m for n.
-4
Let b(m) = -m**3 - 13*m**2 - 12*m + 4. Let j be b(-12). Solve j*n + 12 = -f + 2*f, -5*n = -5*f + 30 for n.
-2
Let b = 10 + -1. Let j = b + -5. Suppose 0 = -4*c + 3*c + 5. Solve -j*r + c*n = 29, 0*r - 17 = -3*r - 4*n for r.
-1
Let i = -7 - -7. Suppose -3*j + 4*s - 9 = i, 2*j + 5*s - 10 = 7*j. Suppose -g = -3 - j. Solve -8*f + g*f + 4*v = 32, v + 17 = -4*f for f.
-5
Let d = -7 - -3. Let f(i) = -i**2 + 5*i + 5. Let z be f(6). Let a = z - d. Solve s + 15 = a*h - 2*s, h = -2*s - 10 for h.
0
Suppose 8*z + 4*r = 4*z + 52, 3*r - 3 = 0. Let c = -6 - -11. Solve -l = -0*l + 3, 3*u + c*l = -z for u.
1
Let s(h) = -2*h - 11. Let z be s(-8). Suppose z*f - 2*f - 36 = 0. Solve -11 = -4*y - 2*g + g, 3*g = 3*y - f for y.
3
Suppose -w = -4*m + 23, 2*m + 2 = -w - 3*w. Suppose -m*r = 2*i - 2, r + 2*i = -6 - 0. Solve d = -r*x + 8, 3*x - 2*d = d + 3 for x.
3
Let h(j) = j**2 + 11*j - 9. Let y be h(-12). Solve -y*l - l = -3*d + 14, -3*d - 1 = -l for d.
-2
Suppose -x - 3 + 6 = 0. Let m be (-1)/((-4)/3 - -1). Solve -2*l - l - m = 2*s, -5*l + x*s - 5 = 0 for l.
-1
Let j = -5 - -7. Let n(s) be the first derivative of -7*s**2 + s + 1. Let h be n(-1). Solve 0 = r - 3*g - j*g - h, 4*g - 7 = -3*r for r.
5
Suppose 3*j - 6 = -t, -3*t + 0*t + 5*j = -4. Suppose 5*m + t*v - 27 = 0, -3*m - 6*v = -2*v - 14. Solve -m = 4*c - 3*g, 5*c + 7 = 5*g + 2 for c.
-3
Suppose -10*u + 52 - 2 = 0. Solve 4*n = u*j - 0*j + 31, 3*n = -4*j for j.
-3
Suppose -14 = -2*b - 4. Solve -b*p + 2*x = 0, -p = p - x for p.
0
Suppose -44 = -18*r + 7*r. Solve -3*i - r = -s + 3, -i = -5*s + 7 for s.
1
Suppose 2*u = 6 + 6. Solve -b + u*b = 2*m + 2, 3*b - 10 = -m for b.
2
Let v(u) = -2 + 12*u - 11*u - 2 + 3. Let j be 1*-4*1/(-1). Let z be v(j). Solve 0 = 3*k, c = -0*k - z*k for c.
0
Suppose -2*i + 2*