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