*k = -23 for z.
3
Let z(f) = -2*f. Let m be z(-5). Suppose 5*k - 45 = 2*k. Solve m = -5*w + 2*j, 3*w = -2*j + 5*j - k for w.
0
Let x(b) = 2*b**2 - 2*b - 1. Let u be x(2). Let m = 19 + 0. Solve -2*r - u*o + m = 0, -6*r + r - 10 = -4*o for r.
2
Suppose 2*l = 5*o + 4, 8 = -4*o - l - 3. Let f = o - -4. Suppose 3 = -f*s + 9. Solve -2*h - 2*n - 4 = s*n, -4*h - 8 = 4*n for h.
-2
Suppose -2*k + w + 26 = -3*w, -5*k + 4*w = -35. Solve -k*a - a - 20 = 2*z, -z = 5*a + 22 for z.
-2
Suppose -4 = -3*p - 1, -4*n - p = -113. Suppose 16 + n = 2*d. Solve -5 = -y + 4*v, -2*v - d = 5*y - 3 for y.
-3
Let o(g) be the third derivative of -g**6/120 + g**5/12 - g**4/8 - g**3/6 - g**2. Let c be o(3). Solve -5*m = 3*b + 35, 5*m - 5*b + 3 - c = 0 for m.
-4
Let a(m) = m**2 - m - 18. Let h be a(5). Solve 5*j - 5*d - 20 = 0, h - 3 = d for j.
3
Let d be 75/(-25) - (-4 - (0 - 1)). Solve -2*a + 5 = 3*v, 2*a + 0*v - v + 15 = d for a.
-5
Suppose 4*d = -a - 2*a + 26, 2*d = 5*a. Suppose -c + 12 = a*c. Suppose -5*x = c - 24. Solve -4*k + s - 3*s + x = 0, -2 = k - s for k.
0
Let p = -19 - -33. Let i = 20 - p. Let r = -5 + 9. Solve -d = 4*o - 4, 0 = 2*d - r*d - o - i for d.
-4
Suppose 5*a - p = -5*p - 91, -3*p - 12 = 0. Let s be 5*(18/a - -2). Solve 0 = -f + s*r + r + 26, 3*f - 4*r = 23 for f.
1
Let k be (-16)/(-9) - (-6)/27. Let i be (-3)/2*-1*k. Suppose -3*s = -4*u + 25, 4*u + i = -4*s + 63. Solve 3*z = 2*b - z + 26, -2*z = -u for b.
-3
Let t(d) = 3*d + 2*d**3 + 8*d - 5*d**2 - 5*d**2 - 3*d**3 + 2. Let o be t(-11). Solve -o*r + 10 = -7*r, -2*i + r = -8 for i.
3
Let t be (-4 + 7 + -3)/1. Suppose 5*u = -3*k + 25, -2*k - k = t. Solve 3*y - l + 35 = -5*l, -15 = -2*y + u*l for y.
-5
Let v = 0 + 4. Suppose -f = f - v. Solve t - 3*h = -2*h + 2, 4*t + 4 = -f*h for t.
0
Let j be (-20)/(-3 - 2) + -1. Solve 6 = 3*f, -3*d + j*f = -11 + 2 for d.
5
Let b be 0 + 2/(-4)*0. Suppose b*x = 2*x + 12. Let f be (x/(-5))/(9/30). Solve 3*u = -4*m - 3, -u = -f*m - 2*u - 9 for m.
-3
Let s(q) = 4*q**2 - 1. Let l be s(1). Solve 3*x - 18 = -l*f, -4*x + 4*f = 3*f - 14 for x.
4
Let u(l) = -5*l + 2. Let y be u(2). Let d = y - -11. Solve 18 = -v + 3*v - 2*c, 2*v = -d*c - 2 for v.
5
Let b be (3 - 2) + -5 + 4. Solve b = 4*n + 2*k - 0*k + 18, -4*n + 2*k = 22 for n.
-5
Let v be -1 - -10 - (22 + -18). Solve -2*h = p, -3*h = -v*p - 18 - 8 for p.
-4
Let a be 105/6*(-12)/(-15). Solve 8 = -3*j - 2*f, 4*j + 5*f - a = 5*j for j.
-4
Let v(b) = -4*b - 12. Let y be v(-5). Let j be y/20 + (-92)/(-20). Solve -2*k = o - 4, 2*k + 4 = -j*o + 2*o for o.
-4
Suppose -4*u = -i - 12, i + 8 = 3*i. Let s = 3 + -2. Solve -13 = 2*y + u*z - s, -3*y + 7 = z for y.
4
Suppose 0*r = 3*r - 9. Let o = -14 + 29. Suppose 8 = 4*y - 4. Solve -3*p - o = -f, -4*p = -p + r*f + y for p.
-4
Let n(k) = -k**3 - 16*k**2 + k + 19. Let z be n(-16). Let p(a) = -a**3 + 4*a**2 - 2*a + 3. Let f be p(3). Solve -z*g = 9, -f = 3*s + 4*g - 0 for s.
2
Let p(l) = -l - 7. Let b(q) = -1. Let w(m) = -5*b(m) + p(m). Suppose 0 = -i + 3*i + 10. Let z be w(i). Solve 5*k - 4 = -4*t, -z*k + 32 = -3*t - 2*t for t.
-4
Let d be (-2)/5 + 2/5 + 9. Solve -4 = 2*m + 2*m, -3*m = -2*k + d for k.
3
Suppose 4*v = 5*k - 98, -5*v = 4*k + 41 - 144. Solve 30 = 4*p + 2*d + 4, -k = -2*p - 4*d for p.
5
Let o be 26/(7/((-7)/2)). Let z = o - -10. Let s = z + 6. Solve -5*j - 4*l - 26 = -s*l, l = 5*j + 24 for j.
-5
Let r(a) = a**3 - 18*a**2 - 19*a + 3. Let n be r(19). Solve -4*b = -5*v + n, v - 12 = -2*b - v for b.
3
Let j be 3 + 0 - 2*(-7)/(-14). Solve 0 = 2*p + j*g - 6*g + 18, 0 = -5*p + 5*g - 30 for p.
-3
Let q = -41 + 46. Solve -5*k = q*d - 40, -k - d = -2*d - 2 for k.
5
Let n(m) be the third derivative of m**5/20 + m**4/12 + m**3/6 - 3*m**2. Let r be n(-1). Solve -u + 6*u + 2 = -r*f, 4 = -4*f for u.
0
Let l = 1 - 10. Let n be l - (3/(-3) - -4). Let g be (8/6)/((-4)/n). Solve -s + 15 = 4*s, -g*k + 3*s + 3 = 0 for k.
3
Suppose -5*v + 4 = -v + 2*n, -4*v + 4 = -2*n. Let l be v/1 + 4*1. Solve -5 = -l*o - 3*a + 1, 0 = -5*o - 2*a + 9 for o.
3
Suppose 3*q = 4*q. Solve 3*m - 10 = -4*b, q = b + 3*b - 2*m for b.
1
Let c(q) be the third derivative of 7/6*q**3 - 2*q**2 + 0 + 0*q + 1/6*q**4 - 1/60*q**5. Let w be c(5). Solve -3*k = -k - 2*n - 8, w = -k - n for k.
1
Suppose 14 = 2*w + 5*c, 5*w = -2*c + 3*c - 19. Let q be (-7)/w - 6/(-9). Solve -k + 14 = -3*p, p = -2*k - q - 4 for p.
-5
Let b(v) = 2*v + 0 - 8*v - 11 + v**2. Let h be b(8). Solve 0 = -m - 2, -6 = -3*u + m + h for u.
3
Let p be (-21)/7 + -1 + 4. Let t = p + 10. Solve -4*l + 19 = 2*o - l, o - 5*l + t = 0 for o.
5
Let c(l) = -4*l - 5. Let w(a) = 5*a + 6. Let i(q) = 4*c(q) + 3*w(q). Let p be i(-4). Suppose 0 = 3*g + g. Solve 2*t + 2*x + 10 = g, -2 - 8 = p*t + 4*x for t.
-5
Suppose 2*a + 0 = 12. Suppose -a = -y - 3. Solve -3*j - 4 = 3*r + r, -y*j = r + 10 for r.
2
Let k be (-1)/(-5) - (-4)/(-20). Solve -2*i - 4*z + 22 = k, 0*z = 2*i - z + 3 for i.
1
Let h = -1 + 11. Suppose -2*k = 5 - 11. Solve -5*f + 45 = 4*a, -4*a + h = -k*f + f for a.
5
Let h(n) = n**3 + 3*n**2 + 1. Let d be h(-2). Solve -6 = -d*s + w, 3*s + 5*w = 2*w for s.
1
Let x be 4/6*-3 + 52. Let c be ((-6)/(-15))/(2/x). Let f = 11 + -6. Solve -32 = 4*a - 4*p, -6*p = f*a - p - c for a.
-3
Let f be (0*(-1 + 2))/(-1). Suppose f*k + 12 = 3*k. Solve 2*d + 25 = -5*v, k*v + 3*d + 7 = 4*d for v.
-3
Let k be 2/(-4)*(-6)/(-1). Let o(i) = 48*i**2. Let y be o(-1). Let g = k + y. Solve 0 = 5*h - 5*v - g, 2*h + 3*h - 2*v = 30 for h.
4
Let o = 6 + -3. Solve -2*y = -3*b + 3*y - 1, -y = -o*b + 7 for b.
3
Let l be (-6)/(-4)*8/12. Solve o + 2 = 2*a - l, -4*a - 4*o - 24 = 0 for a.
-1
Let d(p) = 8*p**3 + p**2 - p + 1. Let h be d(1). Let t(l) = l. Let x be t(1). Let w be (x - 0/3) + 2. Solve n = 2*m, 5*n + 2*m + w = -h for n.
-2
Let z be 4/3*(1 - -2). Suppose 4*a + 4 = 3*a, -z = -2*l - 3*a. Solve 4*k = 4*n - l, -10 = 3*k - 5*n - 0*n for k.
0
Let z(u) = -u**2 + 10*u - 15. Let a be z(8). Solve 0 = -h - s + a, -h + s = 3*s - 5 for h.
-3
Let b(a) = 9*a - 11*a**2 + 10 + 7*a**2 + 5*a**2. Let f be b(-8). Suppose -2*d = d. Solve f*l = -4*g - l + 8, 2*g - 5*l - 4 = d for g.
2
Let u = 22 + -15. Solve s + u = -w + 4*s, 4 = s for w.
5
Let c = -11 + 18. Suppose 0 = 2*n - 2*l - 39 + 11, -32 = -n - 5*l. Let v = n - c. Solve -o = 4*q - 15, o + 2*q - v = 3*o for o.
-1
Let s(b) = -b + 1. Let f be s(-9). Let k = f + -7. Solve -2*o - o + 2*x = 7, -3*x = k*o + 27 for o.
-5
Suppose 2*v - 3 = 1. Solve 5*q - 5*r = -15, -4*r + 6 = 4*q + v for q.
-1
Let a(l) = -l + 2. Let s be a(-2). Solve 0 = 2*c + 5*j + 16, s = -4*j + 2*j for c.
-3
Let z be (-20)/25 - 4/(-5). Solve z*k = -2*k - 2*c + 6, 2*k - 7 = -c for k.
4
Let b(m) = -m**3 + 15*m**2 + 17*m - 13. Let j be b(16). Solve 8 = -4*k + j*d, -5*d = 5*k - 2*k - 23 for k.
1
Let d be ((-4)/12)/((-1)/6). Suppose -3*f + 5*w = -17, -10 = -d*f - 4*w + 6*w. Solve -5 = f*c - k, -4*c + 3*k - 8 = -k for c.
-1
Let w(z) = -2*z**2 + 15*z - 6. Let a be w(7). Solve -5*h + v = 23, -5*v + a + 6 = 2*h for h.
-4
Suppose -7*q = -4*q - 9. Solve 7 = -j - z, 0*z - 3*z = -q*j + 9 for j.
-2
Let w(h) = 7*h + 2. Let m be w(2). Let c be ((-6)/(-8))/((-4)/(-32)). Let k = 7 - c. Solve -4*i + 3 = 3*d - k, 0 = 3*d - i + m for d.
-4
Suppose 0*j + 45 = 3*j. Solve -2*v - 6*m - 12 = -2*m, 0 = 3*m + j for v.
4
Let z be (1/(-2))/((-1)/(-6)). Let m = -1 - z. Solve y - m = 0, -y + 4 = -2*b + b for b.
-2
Suppose f - 2 = 10. Suppose -4*j + f = -5*m, j - 2*m = -0*m + 3. Solve -j*r = -p - 11, -2*r + 4 + 2 = 0 for p.
-2
Let p be (2/3)/((-2)/15). Let h = p + 8. Solve h*o + 3*v - 15 = -0*v, 5*v = -3*o + 21 for o.
2
Suppose -3*i = -6*i - 12, 3*h - 3*i = 27. Solve -h*m = -5*f + 15, f - 6 = 2*m - 4*m for f.
4
Let v = 0 - 0. Let i = 1 + 1. Suppose i*d + 7 = 5*f, 3*f = -4*d + 23 + 2. Solve h = -2*g - 7, v = 4*h - f*g - 3 - 2 for h.
-1
Suppose -u = 4*r - 4*u, 0 = 2*u. Solve r = 5*j - 4*c + 10, -2 = 4*j + c - 15 for j.
2
Suppose 8 = -2*a + 2, 3 = -2*t - 5*a. Solve -5*s - 2*w = 18, -5*s + 5*w + t = w for s.
-2
Suppose -4*w + 8 = -0. Solve 6*l - w*l - 1 = 3*g, -4 = 4*l - 4*g for l.
4
Let t be (2 + -3 + -1)/(10/(-25)). Solve -2*v = t*j + 21, 3*v + 0*j + 3*j = -18 for v.
-3
Suppose 0 = -3*a + 4*l + 65, 0 = -l - 3 - 2. Solve -3*n = a, 4*z + 9 = -2*n - 5 for z.
-1
Suppose -4*j + 4 = -2*j. Solve -j*a = -10, 5*a - 12 = 5*v + 8 for v.
1
Let w be 4*2/(-6)*-