c*b + 2*p + 6, -3*p = -b - 16 for b.
-4
Let u(d) be the first derivative of -d**4/4 + 3*d**3 + d**2 + d + 1. Let w be u(9). Solve -3 - 7 = 2*g - 3*m, -g + 5*m = w for g.
1
Suppose -b = -4*v + 6, -4*b + 2*b = 3*v - 10. Let a = 4 - v. Solve 3*i + 13 = -a*s, s = 3*i - 2*i - 4 for i.
-1
Suppose 22 = 4*p - 46. Suppose -5*h + 4 + 21 = 0, -2*d = -3*h - p. Solve -4*b = -d, -2*g - g + 8 = -b for g.
4
Let v be (-6)/2 - (-12)/3. Let x be 26/6 + v/(-3). Solve o + 12 + 1 = x*a, -4*o - 13 = -3*a for a.
3
Let l = -12 + 14. Let y be (-1)/(-4) - (-142)/8. Suppose u = 4*k + y, u - 4*k - 10 = -2*k. Solve u*n + t - 9 = 0, -4*t = -2*n + 6 - l for n.
4
Let a = -36 + 40. Solve 2*f = h + a*h + 10, 3*h + 6 = -2*f for f.
0
Suppose -2*f + 3*j = 14, -4*f = -4*j + 27 - 7. Let z be -2*(f + -1)/4. Let b = 2 + 0. Solve 3*k - 3 = -p, b*p - k + z = -3*p for p.
0
Let o = -53 - -4. Let f be (o/28)/((-1)/4). Solve a = -3*j + f, 2*a + 4*j = -a + 11 for a.
1
Let n = 3 + -1. Suppose -r + 33 = n*r. Let p = r - 8. Solve -2*j + 3*k + 2 = 0, -p*j = -6*j + 4*k + 3 for j.
1
Let z = -18 + 21. Let n be (-328)/28 - 2/7. Let j be n/20*(-5)/1. Solve 3*k - 3 = z*a, k + j*a - 5*a = -1 for k.
3
Let w be (-6)/(-4)*16/6. Let m be (3 - 3)/(2 - w). Solve m*o - 3*f + 12 = 3*o, 4*f + 29 = 5*o for o.
5
Suppose -2*j - 2 = -4. Solve 4*o = -h - 19, 0 = 4*h - 0*h + o + j for h.
1
Let z be 5 + -3 + -2 + 2. Solve i - 6*h + z*h = 7, -4*i + 2*h = 0 for i.
-1
Let m = 55 - 10. Let r be (-32)/(-6)*m/12. Solve r = 5*k + 3*f, f = -5*k + 6 + 4 for k.
1
Let h(f) = -f**3 + 4*f**2 - 4*f + 3. Let a be h(2). Let p = -1 - a. Let g = p + 8. Solve 2*z + 3*n + 20 = 0, -36 = z + g*z + 4*n for z.
-4
Suppose 2*d + 0*d = n + 2, -n + 13 = 3*d. Solve 18 = -2*p - 4*b, 0*p + n*p + 24 = -2*b for p.
-5
Let h be 10/4*16/20. Solve g - 16 = -3*t - 4*g, -4*g = -5*t + h for t.
2
Let r(m) = m**2 + 8*m + 7. Let f be r(-7). Let i = 3 - 0. Let t(n) = 2*n**2 - 2*n - 2. Let s be t(i). Solve f = 2*g + 2*c - s - 0, c - 14 = -4*g for g.
3
Let q be (-2)/(-1) + (6 - 5). Suppose 4*u + 4*x = 24, u - 3*x + 9 = q. Solve u*p + 0 = 3*n + 12, 4*p = 5*n + 17 for n.
-1
Let j(c) be the first derivative of -6*c + 1 - 7/2*c**2 - 1/3*c**3. Let z be j(-6). Solve 0 = -5*t - r, -2*t + 2*r + 3*r = z for t.
0
Suppose -2*y + 10 + 34 = 0. Let z = y - 8. Solve 3*g - 3*w = 24, -2*g - 4*w = -0*g + z for g.
3
Let a(o) = -o**2 - 11*o - 20. Let z be a(-8). Solve -z*y + 3*l - 7 = 0, -4*y + 5*l - 20 + 3 = 0 for y.
2
Let j(s) = s**3 + 5*s**2 + 4. Let w be j(-4). Let m(q) = -3*q**2 - q**2 + 5*q**2. Let g be m(-2). Solve g*i + d = i - 8, 5*d = w for i.
-4
Suppose -13*q - 2 = -2. Solve -2*s - f + 5 = q, 6*f - 15 = -3*s + 3*f for s.
0
Let l(c) = -c**3 + 5*c**2 + 4*c + 14. Let o be l(6). Solve o*g + d = 3, 2*d = -0*g - 3*g + 2 for g.
4
Suppose -1 = s - 4*j, -3*s + 1 = -s - 5*j. Solve 4*r = 3*t + 7, s*t - 2*t = -r - 7 for t.
-5
Let p = -41 + 11. Suppose -4*m = 3*g + 32, -4*g - 4*m = -29 + 69. Let w = g - p. Solve 3*o = -5*x - 5, 5*x - 4*o - w = 8 for x.
2
Suppose d + 156 = -2*d. Let z be d/14 - 12/42. Let n = z - -6. Solve -l - 4*f = -18, n*l = f - 3*f + 6 for l.
-2
Let s be 9 - 7 - (1 - 12). Let q = s + 5. Solve -2*k = -3*y + k - q, -2*y + 8 = 3*k for y.
-2
Let y(u) = 0 - 9 + 4*u - 1 + 7 + u**2. Let q be y(-5). Solve q*t + 12 = 6*t, 5*k + 4*t + 3 = 0 for k.
-3
Suppose -3*y + y + 6 = 0. Let n be (-2 - 24/y)/(-2). Let f(c) = -c**2 + 6*c. Let p be f(n). Solve -h + 7 = -2*g + 1, -33 = p*g + 2*h for g.
-5
Let o(g) = g**3 - 10*g**2 - 12*g + 11. Let l be o(11). Solve -2*c = -l*v - 4*v - 16, -16 = -4*c for v.
-2
Let h = -9 - -9. Let y be -2 - (-6)/(3 + -1). Let a be (-1 - y) + 0 + 5. Solve -5*i = -a*i + u + 2, h = -2*u + 8 for i.
-3
Let d be 164/205*1*5*1. Solve d*s = w + 17, -4*w = -3*s + 17 - 1 for s.
4
Let m be (0 - -2)*20/(-8). Let h = 7 + m. Suppose 0*u - h*u = -8. Solve 0 = z - 0*a - u*a - 17, 2*z - a - 6 = 0 for z.
1
Let y = -52 + 81. Let i = 17 - y. Let q be 2/(-3) + (-44)/i. Solve 2*l = 3*v - 3, 0*l = l + q*v + 6 for l.
-3
Let m = -17 - -22. Suppose g - 10 = 2. Solve -q + m*s + g = -5, -3*s - 11 = -q for q.
2
Suppose 3*o - 2 = 4. Solve -4*v + 3*i - 3 = 0, o*v + v = -5*i - 24 for v.
-3
Let f = 3 + -1. Suppose 8 = x + 6. Solve 12 = f*d + x*k, 3*d - 3*k = d + 7 for d.
5
Let l = -2 - 1. Let d = l - -9. Suppose 0 = 4*j - 4*a + 8, j + 3*a = d*j + 6. Solve -3*w - 2*f = -18 + 5, w - 2*f + 1 = j for w.
3
Suppose -5*b + 3*c + 0 = 2, -26 = -5*b - 4*c. Solve 5*r = -y + 11, y + b*r - 5 = -0*y for y.
1
Let r(b) = -2 + 3*b - 2*b + 9 + 5. Let a be r(-7). Solve 0 = -5*j + 3*i - a, -4*j - 6*i = -3*i + 4 for j.
-1
Suppose -23 = -5*t - 8. Solve i = -5*g - 30, g + 12 = -2*i - t for g.
-5
Let h be 4 + 1 - (-4)/(-2). Let o be -2 - 7*(-4 + 2). Solve 3*r - o = -4*v + r, 4*r = v - h for v.
3
Suppose 5*y + 3*g - 4 = 0, 3 + 5 = -2*y + 2*g. Let w = 9 + y. Let i be 23/2 + (-2)/4. Solve 2*c + w = 3*b - i, -13 = 2*c - b for c.
-5
Let d = 3 - -2. Suppose 26 = d*x + 1. Solve -x*p = -15, i + 4*p = -i + 4 for i.
-4
Suppose 0 = 7*g - 2*g - 15. Suppose g*l = -5*p + 34, 2*l + 0*l - 5*p = -19. Solve z - 4*c - 13 = 0, 0 = -z + c - l*c - 11 for z.
-3
Suppose 2 = 3*n - 4. Let t(o) = 1 + n + 0*o**2 + 9*o - o**2. Let d be t(8). Solve 4*l + d = -a, -5*l + 3*a = 20 + 15 for l.
-4
Suppose -17 = -4*t - 3*v, -5*t = -5*v + 4 + 1. Suppose -t*i + 6*i - 15 = -3*m, -2*i - 3*m + 3 = 0. Solve 2*z + i = -2*j, -4*z + j - 2 = -0*j for z.
-1
Let o be 16/7 + 18/(-63). Let z = 1 + 1. Suppose g + 2*n = 2, 0 = 3*g - z*n - 1 - 5. Solve g*u + o*u + 4 = d, 0 = u + 4*d - 16 for u.
0
Suppose 3*l = -14 + 104. Suppose 0 = 5*h - 125 + l. Suppose 5*j - 14 = -4*z + h, 4*z = 5*j - 17. Solve w - 2 = z, -3*c + 28 = 4*w for c.
4
Suppose 6*n - 15 = -3. Solve 5*f = -3*d - n*d - 25, -5 = -5*f + 5*d for f.
-2
Let z(y) = y**3 + 21*y**2 - 22*y + 2. Let o be z(-22). Let k be -4*(-1 + (-25)/4). Let n be 1 + (1 - 0) - 0. Solve -4*t + o = n*v, -5*v + 6 = -4*t + k for t.
2
Let h be (-1)/((-2)/(2*-2)). Let d be (-3 - 0 - -3)/(-1). Let l = d - h. Solve 4*v + l*m - 1 = 3, 9 = -5*v + m for v.
-1
Let l(b) = -b. Let h be l(6). Let d be 3 + (2 + h)/4. Solve -2*i + 4 = 0, 0*p + 4*p + d*i + 16 = 0 for p.
-5
Let r(o) = -1 + 7*o**3 - 2*o**3 + o**3 - 2*o**3. Let u be r(1). Solve 4*v - 2*d + 4 = d, 5*v + 5 = u*d for v.
-1
Let n(q) = q**3 - 6*q**2 + 2*q - 7. Let r be n(6). Suppose r*t - 4 - 6 = 0. Solve 4*h + 20 = 4*a, 4*a = -h + t*h + 14 for a.
3
Suppose 10 = 5*i - 0. Solve -5*r = n + 17, i*n - 13 = 4*r + 3*n for r.
-4
Suppose 23*p - 10 = 18*p. Solve 0 = -5*z + 3*y - 4 + 1, -2*y = -z - p for z.
0
Suppose -2*s + 2*z - 19 = -z, -2*z + 26 = -4*s. Let l be ((-12)/15)/(1/s). Solve 4*u + 3*i = 18, -l = -3*u - u + 4*i for u.
3
Let k(h) = h**2 + 13*h - 12. Let r be k(-14). Solve 3*f = 2*x - 1, -4*x + f = -r*x - 7 for x.
5
Suppose 0 = -8*x + 7*x + 3. Let f(o) be the first derivative of -o**4/4 - o**3/3 + o - 2. Let y be f(-2). Solve -3*m = x*t - 18, -8 = -y*t + 2*t + 2*m for t.
4
Let a = -5 - -6. Let v(j) = -5*j**3 - 2*j**2 + 1. Let t be v(-1). Suppose b - 3*b + 15 = 5*i, t*b = -i + 3. Solve -y + 23 = 5*f, -3*y = f - i*f - a for y.
3
Suppose 0 = -9*z + 76 + 122. Solve d = -5*c + z, -c + 12 = 5*d - 2 for d.
2
Let h be 10/20 - (-1)/(-2). Solve -2*t + 0*t - 10 = 2*m, 4*t + 5*m + 22 = h for t.
-3
Let s(w) = -1. Let x(u) = -5*u + 3. Let y = 5 - 4. Let t(d) = y*x(d) + 4*s(d). Let f be t(-1). Solve 20 = -4*b - 4*q, -2*q = -f*b + 2*q - 20 for b.
-5
Let j(s) = s - 1. Let m be j(-2). Let k = 8 + m. Suppose 13 = k*r + 2*l, l + 7 = r + 3. Solve -6 - 4 = 2*w - 5*t, 0 = -w + 2*t - r for w.
5
Let v(a) = 2*a**2 - a**2 - 7*a + 0*a**2 + 8. Let n be v(6). Suppose -n*o + 28 = 2*o - 2*p, -o = -4*p + 7. Solve -z = q - o, 5 = -2*q + 15 for z.
4
Let c be 2 + -1 - 1 - -2. Let x = c + 2. Solve -2*y + 0 - x = d, y = 0 for d.
-4
Let h(s) = -s**2 - 6*s - 3. Let k be h(-5). Suppose -i + 4 = -k. Solve 15 = -3*v - u, -3*v - 5*u = i + 21 for v.
-4
Let p = 18 + 8. Suppose 0 = 3*j - 16 - p. Suppose 0 = -3*h - 3*d + 6, -5*h + 11 + 19 = -5*d. Solve h*v = -c + 5, -c + 4*v - j = c for c.
-3
Let q be (-43)/(-9) + 4/18. Let j be (-128)/(-6) + q/(-15). Solve -j = 2*u - o + 6*o, 4*u = 4*o + 28 for u.
2
Let h be 7 + -3 + 0 + 3. Let v = h + -4. Solve 0 = 2*n - m - v*m + 2, 5*m = -4*n - 17 for n.
-3
Let a be (-2)/(-8) - 39/12. Let i 