a - k = 4*u for a.
-3
Suppose 3*f - 5*x - 18 = -0*f, 3*f = 3*x + 24. Let v be -1 + ((-2)/2)/(3/(-9)). Solve -v*s - f + 3 = -4*w, -w + 20 = -5*s for s.
-4
Suppose 3*c + 2*c = -5, 3*c + 23 = -2*o. Let k be 3*4*o/(-12). Solve 3*a - 2*a - 23 = -4*v, 5*v = 5*a + k for a.
3
Let n(q) = q**2 - 21*q + 21. Let o be n(20). Solve 2*w + 2*d + 5 = o, -4*d = 12 for w.
1
Suppose 2*o + 57 = 3*x - 3*o, -3*x = -4*o - 57. Let a = x + -15. Solve -a*l - l - 2*d = -10, 0 = 5*l + 5*d - 10 for l.
2
Suppose 0 = 8*d - 88 - 88. Solve 3*s - 5*u - d = 0, 2*s - 20 = -3*s + 5*u for s.
-1
Let u = -9 + 13. Solve 3*n - 12 = -4*s, -5*n + 3*s + u = -16 for n.
4
Suppose 5*f + 4*n - n = 22, 3*f - 18 = -3*n. Solve -3*z + 5*y - 9 = -0*z, y = f*z + 6 for z.
-3
Let t be 0/((3 + 4 + -3)/(-2)). Solve 2*v + r - 3*r + 2 = t, 6 = -5*v + 4*r for v.
-2
Suppose 0 = j - 4*j - 3. Let d be -2 + j - (-6 + 0). Suppose 2*v = 5*m - 4, m - 13 = -d*v - 2. Solve 5*b + 16 = -s + 4*s, m*b = 2*s - 8 for b.
-2
Let u(y) = -2*y + 3 + y - y - 14. Let r(o) = -o - 1. Let d(q) = 3*r(q) - u(q). Let n be d(6). Solve n*i + 3*a = -9, -i + 2 - 3 = -2*a for i.
-3
Let z(u) = 3*u - 3. Let m be z(2). Let t be 22/6 - (-2)/(-3). Suppose q + q = m*c - 23, t*c + 3*q - 3 = 0. Solve -4*g - 26 = -c*s, 0 = 2*s - 5*s + 6 for g.
-4
Suppose 0 = -10*x + 3*x + 35. Solve 2*a = -4*w - 2, -3 + 18 = -x*a for w.
1
Let u be 4/(-16)*((3 - 0) + -7). Solve 8 = -q + 5*k, -5*q + 4*k = u - 3 for q.
2
Let r(i) = i + 2. Let g be r(5). Suppose -g = u - 4*s - 0, -u = -s + 1. Suppose -u = -5*t + 4. Solve 5*l - 10 = -5*d, 5 = 3*d + 5*l - t for d.
2
Let g be 12/(-30)*1*5. Let d be 4 - (g + 32/(-4)). Solve 3*m - 5*w + 11 = 0, w = 5*m + d - 3 for m.
-2
Let n = -9 - -13. Suppose l + n*l - 35 = 0. Solve 3*i - 5*p = 28, 15 = -5*i - l*p + 3*p for i.
1
Suppose 19 = 7*r - 16. Solve 0 = -r*p - 5, 0*f + 3*p = -f - 1 for f.
2
Suppose 4*h + z + 17 = 0, -5*h + 3*z = -0*h. Let c be h*(-1)/3 + -1. Solve c = 4*x - 5*x + 5*f + 12, 0 = x + f for x.
2
Suppose 2*a = 29 + 11. Suppose -4*k + 9*k + 16 = -x, 3*x + a = -k. Let m = x - -9. Solve 0 = m*u - 4*t - 20, -5*u + 6 = -u + 5*t for u.
4
Let w be (-10)/(-15)*9/2. Solve 5*x = -4*k - 24, -3*x = -4*x - w*k - 7 for x.
-4
Suppose 19*a + 264 - 1024 = 0. Let u(v) = v - 2. Let n be u(5). Suppose -5*r + 50 = 5*z, z + 15 = r + n*z. Solve 3*s - 24 = 2*w + 1, r*s - a = 3*w for w.
-5
Suppose 0 = 3*k - 7 - 2. Let u(z) = 2*z**2 + 9*z - 1. Let a be u(-7). Suppose -2*m - 4 = -a. Solve 17 = 2*y + k*v, 3*y = -5*v + 13 + m for y.
1
Let l = 7 - 4. Suppose 0 = -4*a + w + 29, 5*a - 7*w = -3*w + 28. Suppose 3*p - a - 4 = 0. Solve 0 = -v - 2*z + 1, -1 = l*v + p*z - 4 for v.
1
Let k = -7 + 4. Let p = -1 - k. Let b be 7/3 + p/3. Solve -5*x - 4*i = -1, 2*i - 20 = b*x + x for x.
-3
Suppose a + 3*a + 32 = 0. Let t(p) = p**2 + 8*p + 3. Let o be t(a). Solve -5*d - 4*y - 22 = 7, 2*y = o*d + 13 for d.
-5
Let o be (-58)/(-4) + (-8)/(-16). Suppose -8 = -7*a + 3*a. Suppose 3*t = o, -a*d = -5*t + 3*t + 4. Solve -r + 2*k = -4*r - 2, 3*k - 27 = d*r for r.
-4
Suppose 6*j - 5*j - 7 = 0. Suppose -3*u - 21 = -l - j*u, -3*u = -12. Solve -2*f + 8 = q + 3, -5*q + 25 = l*f for q.
5
Suppose 5*r - 6 = 19. Suppose -4*o - 4*g = -16, -g = -r*o + 25 + 25. Let h = o + -4. Solve 5*j = 2*n + 15, n + 0*j + 10 = h*j for n.
-5
Let p(h) = 7*h**2 - 3*h + 2. Let f be p(1). Suppose 0 = 2*r - 3*v + 4*v - f, 0 = 4*r + 3*v - 14. Solve -4*d - 5*x = -11, 18 = 5*d - 0*d + r*x for d.
4
Suppose 16 = -4*g + 2*r, 4*r = -9 - 7. Let l be ((-4)/g)/((-4)/(-12)). Solve -l*f - 2*d = -14, -4*f = -9*f + 2*d + 14 for f.
4
Suppose -3*p + p = -20. Suppose -w + z + 1 = 7, -24 = 5*w - 3*z. Let a be (w + -2)*(-2)/5. Solve g = 5*q - p, -a*g - g - 2 = -q for q.
2
Let z be 1 + (-1)/4*(6 + -6). Solve w + 15 = -5*i, 2*w + 7 - z = 2*i for i.
-2
Let s(q) = -q**2 + 2*q + 5. Let h be s(0). Solve 4*n = 5*f + 23, -3*f + h*n = -0 + 19 for f.
-3
Let z(t) = t + 10. Let l be z(-7). Let s be 39/9 - 1/l. Solve 0*v - v - 5 = -s*b, v - b = 1 for v.
3
Suppose 167*h - 36 = 155*h. Let g = 9 - 5. Solve 4*b - h*c = 5*b + 10, -c = -g*b - 1 for b.
-1
Let t(s) = -s**3 - 7*s**2 - 8*s - 9. Let x be t(-6). Suppose -4*z - i + 18 = -2*i, -4*i = -3*z + 20. Solve x*r = -3*u, 0 = -z*u - 3*r - 1 - 0 for u.
-1
Let r be 1/(-3) + (-2)/(-6). Let x(s) = 4*s + 54. Let u be x(-13). Solve -6*c + 3 = -c - u*o, r = -4*c + 4*o + 12 for c.
-1
Suppose -5*l = -3*l + 5*x - 55, -4*l = -2*x - 74. Solve -5*z - l = -5*g, 4*g + 1 - 9 = 2*z for g.
0
Suppose 0 = g + 2*g - 9, 3*g = j + 4. Solve j*z - 15 = -3*a, 4*a = 8*a - z - 20 for a.
5
Let a = 0 - -2. Suppose 2 + a = 2*b. Solve 0 = -n - 2*q - 3, 2*n = 3*n - 3*q - b for n.
-1
Suppose 9*r = 10*r - 5. Solve -2*o = -3*b + 2 - 3, 2*b - r*o = -19 for b.
3
Let r be -1*1 + (11 - 10). Solve 5*y + 4*f - 17 = r, 3*f = 5*y - 0*f - 31 for y.
5
Suppose o + d - 11 = -2, 2*d - 22 = -3*o. Solve -o*j = -3*l + 4, 0*j + 16 = -5*l + j for l.
-4
Let d be (3 + 3)*1/2. Let w(x) = x**3 - x - 4. Let p be w(-3). Let y be (-5)/(-15) - p/6. Solve d*m + 5*g = -22, 0*g - 5*g = y*m + 20 for m.
1
Let m be (-3)/(-1) - 60/20. Solve -2*k + 0*c = -4*c - 16, m = k - 5*c - 14 for k.
4
Let s be 6/(-2) + 2 - (1 - 7). Solve p - 4*p - s*r = -19, 5*p + 2*r = 0 for p.
-2
Let b be (-1)/(10/65 + (-34)/52). Solve -b = -a + 5*k - 7, -4*a = 4*k + 20 for a.
-5
Let b be 2/(-3) + 44/12. Solve -b*d - 6 = 2*a, 5*d - 2 = 4*a - 12 for a.
0
Let g(b) be the third derivative of -b**5/60 + b**4/4 + 5*b**3/3 + 2*b**2. Let f be g(7). Solve 3*p + 7 = q + q, -18 = f*q + 5*p for q.
-1
Let k(l) = l**3 - 7*l**2 + 6*l + 8. Let i be k(6). Let p = 3 - i. Let s = 8 + p. Solve -3*m + s*w = -12, 2*m = -3*m - w + 26 for m.
5
Let h = -2 - -15. Suppose -3*f + 22 = h. Solve -4*y = -12, -2*l + y = -f*l for l.
-3
Let k = -24 + 16. Let b(g) = 3*g + 8. Let z be b(-8). Let c = k - z. Solve -d + 1 = s, -s + 4*d + c + 13 = 0 for s.
5
Let j(r) = r**3 - 22*r**2 + r - 16. Let n be j(22). Solve 2 = h - 4*p - n, -2*p = h + 4 for h.
0
Suppose -79 = -3*s - 2*z, 5*z + 57 - 192 = -5*s. Solve -5*k + s = 2*f, 5*k + 2 = -3*f + 32 for f.
5
Let s be (1 + -2)*3 + 10. Let v = s - 4. Solve -2*p - 2*p + 8 = 0, -v*p = -3*b for b.
2
Let z = 28 - 28. Solve z = -x - x + 4*s - 18, 2*s - 12 = 2*x for x.
-3
Let l = -25 - -29. Solve -u - 6 = -4*q, -2*u + l + 4 = 2*q for q.
2
Let m be (-66)/11 - (-4 + 0). Let i be 48/6 - (5 + m). Solve 0 = s - i*r - 29, -4*r - r = s + 21 for s.
4
Suppose -7*v = -11*v. Let u(s) = s**2 - 10*s + 2. Suppose q + 5 = -3*k, k - 20 + 5 = -2*q. Let z be u(q). Solve -r - 5 = 5*g, 0 = 5*g - v*r - z*r + 20 for g.
-2
Suppose 10*x - 5 = 9*x. Solve 2*j - 2*a = 12, 0*j + 3*j = x*a + 28 for j.
1
Suppose 3*d - 3*u = 5*d - 2, -6 = -4*d - 5*u. Suppose 2*r - 14 = -0*r. Suppose -3 = -2*w + r. Solve 0 = w*k - 2*i - 0*i - 9, 0 = d*i + 8 for k.
1
Let d(w) = w + 14. Let k be d(-14). Solve -2*y - 5 = -m + 2, k = -5*y - 25 for m.
-3
Let s(y) = y**3 + 4*y**2 + 4. Let p be s(-4). Solve 0 = -5*l - p*h, -2 = 3*l - h + 3*h for l.
-4
Let x(y) = -3*y**3 + y. Let s be x(-1). Suppose g = s*g. Solve g = 3*p + 15, -j = -5*p + 4*p - 10 for j.
5
Let r(q) = 2*q**2 + 2*q - 1. Suppose 6 = -3*z + z + 4*p, -5 = -z - 2*p. Let b be r(z). Solve -2*f = -6*f - 4*k - 4, b*f = 3*k + 3 for f.
0
Suppose -5 = 3*b - 2, -l + 4*b = -10. Solve 2*w + 2 = -2*g + 14, 4*g = 2*w - l for g.
1
Suppose 8*q - 4*q = 20. Let d be 0 + -2*6/(-4). Solve -31 - 2 = -2*u + q*f, d*f = -2*u - 7 for u.
4
Suppose 8 = c + c. Let x(z) = -2*z - 2. Let u be x(-5). Solve g + 13 = -c*v + 4*g, 5*v + u = g for v.
-1
Let p be ((-10)/(-5))/((-2)/(-4)). Solve -h = -2*c, -p*h + h = -c for h.
0
Let x(y) = y**3 - 7*y**2 + 7*y + 5. Let u be x(6). Let g = u + -8. Suppose 0*h + h = g. Solve h = 3*w + f, 5*w - 3*f - 15 = 2*w for w.
2
Let s(l) = -l - 6. Let o be s(-9). Solve -n + 3*a - 20 = 0, n - 12 = -o*a - 2 for n.
-5
Let o = 8 - 32. Let i be 21/4 - (-6)/o. Solve 0*v + 9 = -3*u + i*v, 5*u = 2*v - 15 for u.
-3
Let w(c) = -c**2 - 7*c - 4. Let s be w(-6). Solve s*n - 24 = 4*d - 6, d = n - 7 for d.
-2
Let h be ((-16)/((-2)/(-1)))/(-1). Suppose 34*l = 19*l + 60. Let q be ((-1)/2)/(2/(-16)). Solve 4*y + q*x - l = -h, 5*x + 15 = 0 for y.
2
Suppose 9 = -3*k - 2*g + 25, -k - 5*g + 14 = 0. Solve 0 = -5*q - 4*s - 40, -s - 31 = k*q + 2*s for q.
-4
Let q(h) be the second derivative of -h**3/6 