 = -r for x.
2
Let t(r) be the first derivative of -r**4/4 - r**3 - r**2/2 + 2*r - 6. Let j be t(-2). Solve j = -5*w - 5*y + 4*y - 14, 0 = -3*w - y - 10 for w.
-2
Let c(g) = -g - 6. Let r be c(-6). Suppose s = -r - 1. Let y be (2/s - -2)/1. Solve p - 2 = -w, y*w + w = -2*p for w.
4
Let r = -5 - -8. Solve -r*z = z - 4*l - 8, -6 = 3*l for z.
0
Let u(z) = 0*z + 3*z - 5*z + 3*z + 2. Let j be u(2). Solve -v + 4*c = -5, -4*v + 0*c = -j*c - 20 for v.
5
Let v(q) = -q**3 - 9*q**2 - 7*q + 8. Let g be v(-8). Let l = 4 - g. Suppose 0 = -l*k + 2*k. Solve -2*j - 12 = 4*a, -5*j + 5*a + 31 - 1 = k for j.
2
Let k(v) = v - 11. Let z be k(11). Suppose z = 2*b - 3*b + 5. Solve -b*d = -4*m - 5, -4*m = -5*d - 2*m + 5 for d.
1
Let m(v) = -v**3 - 22*v**2 + v + 24. Let p be m(-22). Solve 5*f - 4*c = 16, -p*c = -7*c - 20 for f.
0
Suppose -5*m = o - 0*m - 15, -14 = -2*o - 2*m. Solve 0 = o*p + 4*s - 1, 0*p - 14 = 2*p - 2*s for p.
-3
Suppose -17 = -5*k + 3. Suppose 0 = -k*d + 16. Solve 2*z - 21 = 3*n - 2, -5*n = d*z + 17 for n.
-5
Let v(s) = 3*s - 11. Let g be v(8). Let y = g - -4. Suppose 3*d = 2*d + y. Solve -2*f + 3*x + 11 = 0, 2*x + 5 = 5*f - d for f.
4
Suppose -q + 1 = -2*w, 0 = w + 2*q - q - 1. Let n be -2 - (w + 1 + -9). Solve 4*f - 8 = b + n, 16 = 3*f + 2*b for f.
4
Let m = -2 - -5. Let x = m + 1. Solve -2*j - 9 = 5*b - 2, 12 = -x*b for j.
4
Let u = 25 - 21. Solve u*o + 4*y + 20 = 0, -2*y - 1 = -o - 0 for o.
-3
Let h be -6*2/(-3)*1. Suppose 0*s - h = -2*s. Suppose -3*m + 8 = -s*m. Solve 0 = 5*z - 4*u - 1, 4*u - 2*u + m = 0 for z.
-3
Let i be -1 + (-1 - 16/(-4)). Solve 2*b - i*v - 20 = 0, -5 = -2*b - 0*v - v for b.
5
Let q be -1*((-8 - -1) + 1). Suppose -h + 7 = -5*c, 0 = 5*h - 4*c + 2*c - 12. Solve -10 = -5*x - h*y, -q - 2 = -4*x - 5*y for x.
2
Let q(g) = -g + 18. Let x be q(8). Solve m - 5*z = -x, -10 + 2 = -2*m - 4*z for m.
0
Let y be 2 + 1 + (0 - -2). Let o(f) be the first derivative of f**3/3 - 2*f**2 - 3*f - 3. Let j be o(y). Solve 3*c - 10 = -4*k - 3, -j*c - 5*k + 7 = 0 for c.
1
Let x be (4/(-6))/((-6)/(-45)). Let b be 8 - (-1 + -2 - x). Solve -v - v + 2*f + 16 = 0, 0 = 3*v + 3*f + b for v.
3
Suppose 0 = -3*m - 2*f + 16, m + f - 22 = -3*f. Suppose 4*i - 3*y = 32, -2 = -i + 3*i + 3*y. Solve -3*a = m*n - n + i, -a = n + 3 for n.
-2
Let i be 2/(9/((-18)/(-4))). Solve o - i = 3*a, 2*o + 3*a = 9 + 2 for o.
4
Suppose -3*b = b - 140. Suppose -5*u = -2*u - 9. Suppose 0 = 3*v + u*f - 21, v - 3*f = -2*f - 1. Solve v*p + 2*s = 25, -2*s = -3*p - 6*s + b for p.
5
Suppose 7 = -4*w - 9. Let l(c) = c**3 + 5*c**2 + 3*c. Let h be l(w). Let f be (-2)/5 + 154/10. Solve 4*q - 5*p + 25 = -f, 5*q + 9 = -h*p for q.
-5
Let m be ((-42)/(-5))/(3/15). Let z(u) = 24*u**3 + u. Let b be z(-1). Let l = b + m. Solve 3*f - l = 5*k, -3*k + 8*k = -f - 1 for f.
4
Let z(o) = -o + 2. Let h be 4/(-14) - (-99)/(-21). Let c be z(h). Solve -m + 3 = 4*x, -6*x + 9 = 3*m - c*x for m.
3
Let n(v) = v**3 - 4*v**2 + 2. Let x be n(4). Let o be (-30)/(-4) + -5 - 6/(-4). Suppose -3*k = -x*k - o. Solve 3*u = -k*f + 10, 4*f = 5*u - 0 + 26 for f.
4
Suppose 14*m = -4*m + 270. Solve -3*n = -j - j + 9, 3*j = 5*n + m for n.
-3
Suppose 3*p - 9 - 3 = 0. Let k be (-12)/12 + 3 + 2. Solve k*c - 20 = -p*b, -2*c + b - 6*b + 10 = 0 for c.
5
Let u be (0/9)/(2/1). Solve 3*b - 9 = -5*l, u*b + 2*b - 2*l + 10 = 0 for b.
-2
Let o be 1/(-4) + (-1)/(-4). Suppose -c + 7 = -o. Let w = c + -3. Solve d - 2*v + 0*v - 8 = 0, -3*v - 7 = -w*d for d.
-2
Let r(f) = -2*f - 13. Suppose 0 = 3*y - 3*k + 24, 2*y - 4*k = -10. Let b be r(y). Solve c + 0 = 3*q - b, 0 = -2*c for q.
3
Suppose 2*o - 3*p + 5 = 2*p, 0 = -4*o - 4*p + 32. Solve -5*k - o*c = 5, -2*k - c = k + 9 for k.
-4
Suppose 0 = -0*a + 2*a. Suppose 6 = -3*p - a*p. Let z be (2 - 2) + (-6)/p. Solve -z*i - 2*i = c, 0 = -5*i + 5*c + 30 for i.
1
Let l = 11 + -7. Let f be ((-14)/8 + 3)*l. Solve -3*c - f*v - 17 - 4 = 0, -4*c - 3*v = 17 for c.
-2
Suppose 0 = o + 3, 2*j - 8 = 4*o - 2. Let l be 2 - (4 - 2) - j. Solve -2*p + 6 = 4*z, 0*p + 3 = 2*p + l*z for p.
-3
Suppose 0 = 3*x - p + 17, 5*x + 2*p + 8 = -24. Let z = -6 - x. Solve -3*v + 6 = s, -4*v + 9 = s - z*s for s.
-3
Suppose 0*f = 2*f - 6. Let c be (-9)/45 - (-42)/10. Let y be 12/c - (-4)/2. Solve y*h + 3*w - 1 = -0*h, -f*w = -h + 11 for h.
2
Let o be 6 + (8/6*-3 - -4). Solve a + 11 = 4*m - o, m + a = 3 for m.
4
Suppose 2*o - 5 - 1 = 0. Solve -2*m + 3*n = 13, 16 = -o*m - n + 2*n for m.
-5
Let d be (-13)/(-1) + (-7)/7. Let q = d - 5. Solve k + 2 = -c + q, -4*k + 5*c - 25 = 0 for k.
0
Let s = 18 - -2. Suppose 8*c - 3*c - s = 0. Solve c*t + q + 7 = -3, -8 = 5*t - q for t.
-2
Let p = 62 + -59. Solve -f = -2*g + 6, 2*g - p*f = -5*f + 12 for g.
4
Suppose 7*d = 10*d - 57. Suppose 2*a - d = -11. Solve l = 4*h - 3*l + 20, 4 = a*h + 2*l for h.
-1
Let s = -22 - -22. Solve 3*q + y - 9 = s, 4*q - y = -4*y + 7 for q.
4
Suppose n = 69 - 67. Solve 3*j - n = -4*l + 9, -2*l = -4*j for j.
1
Let q(a) = -a**3 - 2*a**2 - a. Let z be q(-1). Suppose -107 = 5*t - 127. Let o = z + t. Solve 0 = -4*f - 2*j + 3*j - 4, 0 = 3*f - o*j + 16 for f.
0
Let w = 99 - 93. Solve -l + w = -a + 4*a, a = 5*l + 2 for l.
0
Let m be 4/18 + (-346)/18. Let v = m + 19. Solve 4*a = v, -3*n + n + 2*a + 2 = 0 for n.
1
Let f be (-1 + -1)*(-5)/(-10). Let i(u) = -u - 2*u + u. Let x be i(f). Solve 5*k + 3*g = 5, -x*k - 8 + 1 = 3*g for k.
4
Suppose -25 = -2*u + 3*b, -u + 2*b - 53 = -6*u. Let w = -9 + u. Solve -w*a + 4*t = 1 - 7, 3*a + 2*t - 9 = 0 for a.
3
Suppose -2*h - 10 = -3*y - 3*h, 0 = -3*y + 2*h + 16. Solve a - 15 = y*a, t + 5*a = -27 for t.
-2
Suppose -n + 0 = -3. Let h be 2/n*(-3)/(-2). Suppose -4*q + 15 = -h. Solve 15 = 4*i - z, q + 11 = 3*i - 2*z for i.
3
Let a(r) = r**2 + 11*r - 11. Let j be a(-12). Let d be ((0/(-3))/(-3))/1. Suppose d*s - 2 = -s. Solve 0 = x - s*k + 10, -3*k = 5*x - j - 14 for x.
0
Suppose u + 27 = -21. Let y be u/10*(-10)/3. Solve -w - 3 = -4*w, 5*d = -4*w - y for d.
-4
Let f be (4 - -4)*(-2)/4. Let l(p) = -p**3 - 4*p**2 - p. Let b be l(f). Suppose -5*q + 13 = -7. Solve -b*d - d - 36 = 4*w, w = 2*d + q for d.
-4
Suppose -1 + 36 = 5*f. Let w = -2 + f. Solve 0 = 4*v + a - 6*a - 6, -w*v + 18 = -a for v.
4
Suppose 4*b + b = -4*x + 75, 3*b = -3. Let y(d) = 2*d**3 + 12*d**2 - 2*d - 10. Let n be y(-6). Solve -3*s - 5*c - 17 = 0, 6*s - 4*c - x = n*s for s.
1
Let v(h) = -h**3 + 6*h**2 - 2*h + 8. Let f be v(6). Let n = f + 11. Solve -3*r + 2*s = r + 22, 5*s = -2*r + n for r.
-4
Let o(b) = -3*b**2 - 19*b - 2. Let h be o(-6). Solve -h*c + 3*j - 7 - 18 = 0, -c + 2 = 2*j for c.
-4
Let o be 3*-1*(-3)/(-9). Let p be (o - 3)*(-21)/12. Suppose 0 = 2*r + 1 - p. Solve 2*b = -3*b, -2*m + r*b = -2 for m.
1
Let c(b) be the third derivative of b**6/120 - b**5/10 - b**4/24 + b**3 - 5*b**2. Let f be c(6). Solve 4*r - t = 3*t - 16, f = -5*r - t + 4 for r.
0
Let y(a) = a**3 - 2*a**2 + 2*a - 1. Let l be y(1). Solve 3*c + p + 11 + 5 = l, 2*c = -p - 11 for c.
-5
Let r be (-10 + 6)*5/2. Let x be 4/(-10) + (-34)/r. Solve -x*d = -i + 4*i, -4*i = 3*d - 2 for i.
2
Suppose -16 = 3*u - 5*u. Let k = u + -6. Solve 3*a - 3*y + 11 = k*a, 3*y = 9 for a.
-2
Suppose -4*o - 5*b = -4 - 5, -5*b - 33 = -3*o. Solve -5*y = -10, -y + 11 = 3*g - o for g.
5
Let r(z) be the second derivative of z**4/12 + z**3 + 3*z**2 + z. Let g be r(-5). Solve -2*m = w + 12, m - 4*w - 11 = g for m.
-4
Suppose 4*j = 2*j + 3*f + 3, -4*j + 2*f = -2. Suppose 0 = -4*z, j = -2*w + 3*w + 2*z - 3. Solve p = -m, -8*p + w*p + 28 = -2*m for m.
-4
Suppose -10*r - 28 = -17*r. Solve 5*k = -5*p + 15, -5*k + r*p = -0*p - 24 for k.
4
Let t = -4 - -4. Solve -2*r - r - a + 3 = t, 0 = a for r.
1
Suppose 0*p - 5*j = -p - 4, 5*p - 38 = -4*j. Solve 0 = -4*l + 4*u - u + 3, 0 = l - 3*u + p for l.
3
Let x(c) = c**2 + 6*c + 3. Let y be x(-4). Let l be 10/(-4)*4/y. Suppose 2*h + l*h = 152. Solve 2*d + 4*q + 10 = 0, -4*d + 2*q = -h + 8 for d.
5
Let i be (11 - 8) + (0 - 1). Solve -u + i*u = -3*t + 8, -4*u = 4*t for t.
4
Let r be (0 + (-9)/(-12))*4. Solve -13 = 4*z + 3*c, -r*z + 4*c = 13 + 3 for z.
-4
Let h(q) = -q + 3. Let i be h(5). Let b be 0 + 0 + (-2 - i). Let z be (21 - 24)/((-4)/((-8)/(-3))). Solve -4*o + y = 1, -2*o + b*o - z*y = -2 for o.
0
Suppose w - 16 + 13 = 0. Let m(k) = -k**3 + 7*k**2 - 5*k - 1. Let c be m(6). Solve c*l + w*d - 10 = 0, -2*l = 4*d -