4*j - j + 5, 2*w = k*j - 28 for w.
-4
Suppose 0 = 4*l + 4*k - 40, 3*k - 4 = -l - 2. Solve -3*j - 3*p + p + l = 0, -2*j - p + 8 = 0 for j.
2
Suppose -36 = -2*m + 8. Let i = 27 - m. Solve 9 = 3*k, -i*k = l - 0*l - 16 for l.
1
Let s = -21 + 46. Solve s = -5*m, q + 0 = m + 4 for q.
-1
Let s be (-7)/1*(-4)/14. Suppose 0 = o - 3*d - 9, 6*o - s*d = 4*o + 10. Solve 5 = -p + g - o*g, 0 = 3*g + 9 for p.
1
Let l be 5 - 0 - (3 + -3). Suppose 0 = -l*z + 10. Suppose -y + 3 = 4*w - z*w, -4*w = 4. Solve s + y*r + 19 = 0, 0 = -5*r + r - 16 for s.
1
Let a = 8 - 4. Let u be ((-6)/a)/(3/4). Let f = 2 + u. Solve 3*m - 25 = -4*p, -m - p + 6*p - 17 = f for m.
3
Let g be 34/(-4) - 4/(-8). Let o be ((-28)/g)/(-7)*-6. Solve -a - 4 = -5*t, o*t + 14 + 6 = -5*a for t.
0
Suppose -d + 2 = -0*d. Solve -4 = i - d*i + 2*c, 3*i - 3*c - 12 = 0 for i.
4
Suppose 3*s - 2*q = -4*q + 11, q = s - 2. Solve 0 = -2*a + 3*a - s*n - 7, 2*a - 5*n - 11 = 0 for a.
-2
Suppose 1 = 2*g - 9. Suppose g*c - 11 - 19 = 0. Solve 2*h = -2*s, 2*s + 1 = 3*h + c*s for h.
-1
Suppose 5*c + 5*m = 30, c - 6*c + 5*m = 20. Let w be (-6)/4*(-20)/6. Solve 0 = w*t - h + c, h + 4*h + 16 = 4*t for t.
-1
Suppose -5*t + 2 + 18 = 0. Suppose 0 = -t*d - 4, -9 = -s + 2*d + 3*d. Suppose 0 = -s*r + a + 9, 2*r - 1 = r - a. Solve b - r - 3 = -2*x, -2*b - 26 = -5*x for b.
-3
Suppose -15 = -3*y - 9. Solve -y*l + 4*k + 22 = 0, -2*l = -3*k - 26 + 7 for l.
5
Suppose -21 = 5*o + 19. Let q be (12/(-8))/((-6)/o). Let j = q - -4. Solve -j*c = 2*d - 16, c + 2*c - 5*d + 16 = 0 for c.
3
Let h(g) = g. Let y be h(3). Solve y*b = b - 8, 2*b = 4*u - 4 for u.
-1
Let m be 6 - 4 - (-2 + 1). Solve -2*i = w + 1, m = w - 4*w + 3*i for w.
-1
Suppose 0 = 5*j - 10 - 0. Let g be j/3 - 4/(-3). Solve -n + h - 1 = -0, g*n - h = 0 for n.
1
Let b be (-3)/(12/16) - -4. Solve 0 = -f + r + 5, r = 2*f - b*f - 8 for f.
3
Let f(q) = 3*q - 15. Let d be f(6). Solve -k - 2*s = d*k + 18, 0 = -5*k + 4*s - 3 for k.
-3
Let i = -86 - -45. Let b = 63 + i. Solve 4*q + 8 = -3*n + 8*q, 2*q = -3*n + b for n.
4
Let h(g) = -g**2 + 14*g + 1. Let n be h(14). Solve n = 2*o - 1, 18 = -3*k + 3*o for k.
-5
Let z(q) = q**3 - 5*q**2 - 7*q + 8. Let d be z(6). Let n(c) = -c**2 + 7*c - 6. Let h be n(6). Solve -3*a + 4*v + 4 - 10 = 0, h = -d*v + 6 for a.
2
Let d = 4 + 1. Suppose 0 = 4*s - s - 3*w - 96, -5*w + 38 = s. Let u = 46 - s. Solve -2*h + u = -3*a + d, h - 4 = -2*a for a.
0
Let t be ((-5)/(-5))/(2/16). Solve -4*y + 5 = -5*h - 0*h, 0 = -h - y + t for h.
3
Let p(c) = 2*c - 3. Let t be p(3). Suppose -5*i + 5*d = -20, -t*d = 4*i + 1 + 4. Suppose -3*k + 16 = i. Solve 4*z = -6*o + 5*o - 1, 0 = -2*o - z + k for o.
3
Let t(f) = 2*f - 4. Let c(h) = -10*h. Let x be c(-2). Suppose 4*l + l = x. Let i be t(l). Solve 0 = 3*u + u - i*o - 40, 2*u + 2*o = 0 for u.
5
Suppose 3*j + 6*r = 5*r + 16, 0 = -5*j - 4*r + 29. Solve -v + 5*v = -5*g - 3, j*g = 2*v - 21 for g.
-3
Suppose 1 = -k + 2*r - 0*r, 5*r + 29 = -2*k. Let o = k - -9. Suppose -3*m = o*m - 15. Solve 0 = m*p + x + 5 + 7, 5*p = 5*x - 40 for p.
-5
Let c(z) = -10*z - 14. Let t(l) = -2*l**2 - 6*l + 4. Let n be t(-4). Let j be c(n). Solve 3*q + 2 = -5*h + q, 3*h - 5*q = -j for h.
-2
Let v(r) = 2*r - 1. Let s be v(3). Let x = 25 + -21. Let i = 5 - 3. Solve 3*n - 19 = x*z - 3, -20 = s*z + i*n for z.
-4
Let n be 11*(4/2 + -1). Solve y + 13 = 3*h, -3*h = 3*y - 2*y - n for h.
4
Let p be 3*(10/6 - 1). Let o be (-32)/16 - (0 + -4). Solve -6 = -o*f + r - 1, 4 = 2*f - p*r for f.
3
Let b = -101 - -146. Suppose b = 3*q - 12. Suppose 2 + 6 = 2*z. Solve -4*w - 3*o = -q, z*w - 6 = -2*o + 8 for w.
1
Let u(x) = x - 16. Let w be u(9). Let a = w - -13. Solve a*h - 9 = 3*h, -4*s + 4*h - 12 = 0 for s.
0
Suppose 2*d - 4*d + 4 = 0. Solve -k - 13 = 2*k + d*y, -y - 4 = -k for k.
-1
Suppose -7 = 4*r - 3*r - 2*t, 5*r = -4*t + 35. Let q be 2/(-2) + r - -6. Solve 3*m - m - q = -2*a, 0 = 4*a - 20 for m.
-1
Let m be 5*5 + (-4)/4. Suppose t + 9 = n - 3, -3*t + m = 3*n. Solve -5*z + 28 = 4*w - z, 2*w - 4*z = -n for w.
3
Let l be (-22)/(-5) - (4 - (-115)/(-25)). Solve -l*o - 19 = 4*h - 4*o, 28 = -4*h - 4*o for h.
-4
Suppose 0*o = -3*o + 12. Solve 3*x + 3 = 0, -x - 19 = o*j + 2*x for j.
-4
Let n be (-3)/((2/39)/(-2)). Suppose -n = -4*q - 17. Solve 0 = -5*y + q, 4*j + 4*y = -j - 5 for j.
-5
Let q = 3 - 0. Suppose -2*x + q + 3 = 0. Suppose -8*v + 108 = v. Solve -w - v = -4*w - x*u, 5*w - 2*u - 13 = 0 for w.
3
Suppose a - 21 + 6 = 0. Suppose 8*g - 3*g + 20 = 0. Let x = g + 7. Solve -3*m + a = -0*m + 2*b, 20 = 4*m - x*b for m.
5
Let q be (-12 - -9)/(6/(-10)). Suppose 0*r + 10 = -4*z + 5*r, 2*z - 10 = -q*r. Solve l - 5*u - 8 = z, 3*l - 5*u - 13 = -u for l.
3
Let r be 36 + (-14)/8 + 5/(-20). Solve g - f - 12 = -4*f, 5*f = 3*g + r for g.
-3
Let f(a) = -2*a + 3 + 5*a - a - 3*a. Let t be f(0). Solve 5*b - 24 + 5 = -3*v, 0 = t*b - v - 17 for b.
5
Suppose 0 = 3*r + l - 6, -7 = -r + l - 5. Solve -v = 4*q + 23, 3*v + r = q - 2 for q.
-5
Suppose -4*p = 5*i - 39, -i + 22 + 11 = 5*p. Let u be (-4)/6*(-15)/2. Solve -u*r = 5*a - 30, -4*a + p = -8*r + 3*r for a.
4
Let g(i) = i**3 - 7*i**2 - i + 10. Let o be g(7). Solve -3*f + o*y = 4*y - 19, 27 = 3*f + 3*y for f.
5
Let o be (-4 - 21/(-6))*0. Suppose -5*z + 4 + 21 = o. Solve -2*q - 4*d = -7*d - 22, 0 = -3*q - 5*d - z for q.
5
Let h be (1 - 1) + (0 - -5). Let c be -4 + h + (-1)/(-1). Solve -5*t - 19 = n, 0 = c*n - 2*t + t + 5 for n.
-4
Let b be 28/6 - 6/(-18). Let z(u) = -u**2 + 5*u - 11 + 11. Let l be z(b). Solve -4*f - 12 = -q - l, 0 = 2*q - f + 4 for q.
-4
Suppose 0*l = -3*l + 3. Let h be (2/(-6))/(l/(-15)). Solve 0 = 2*z, v - 2 = -0*v + h*z for v.
2
Suppose 9 = 4*k + 1. Let l be 0/(-1 + 2 - -2). Suppose -3*v = -5*j, 5*j - 3*j - 2*v = l. Solve j = k*x + w + 4 + 4, -x + 3 = 4*w for x.
-5
Suppose 19*o - 18*o - 4 = 0. Let y(b) = 3*b**3 - b. Let l be y(1). Solve -t + 1 = k - 5, o*t - l*k = 6 for t.
3
Let i(z) = -z**2 - 10*z - 7. Let n = 10 + -35. Let h = 18 + n. Let v be i(h). Solve -4*r - v = -2*k, -4*k + 5*r + 26 = 7 for k.
1
Suppose 0 = x - 0 - 6. Let u be (-3)/(-9) - (-106)/x. Solve -4*y - 15 = -z - 6, y = -5*z - u for y.
-3
Let y(w) = 4*w**3 + w**2 + 2*w - 2. Let z be y(1). Solve z*v + 0*v - 6 = -r, 3*v = r + 10 for r.
-4
Let b(n) = -4*n - 7. Let l be b(-8). Let k be ((-12)/8)/((-2)/4). Suppose -k*u + 2*u + 3 = 0. Solve -2*x = u*o - l, 2*x - 56 = -5*o - 21 for o.
5
Let m(z) = z + 8. Let n be m(-5). Solve 2*o + 2*c = -c + 11, n*c = -5*o + 5 for o.
-2
Suppose 0 = -3*o - 4 + 49. Solve 3*h = -o, 2*u + u - 4*h - 14 = 0 for u.
-2
Suppose 3*d - 7*d = 0. Suppose -2*o - 2*o + 20 = d. Solve o*g = 2*r + 4, 2*g - r + 8 = -5*r for g.
0
Suppose -w = -1 - 1. Suppose -2 - 10 = -3*k. Solve p - v = w*p + k, 0 = -5*p - 2*v - 20 for p.
-4
Let k(n) = -n**2 + 10*n + 4. Let d be k(10). Let q be (2/d)/((-1)/(-8)). Solve -b = 5*s - q*b + 9, -5*s - 5*b + 15 = 0 for s.
0
Let d = -5 + 8. Let p = -1 + d. Solve 4*i = -3*t + 3 - 0, -p = 4*i - 2*t for i.
0
Let h(z) = -z**3 - 9*z**2 - 8*z + 7. Let l be h(-8). Suppose 2*t - l - 1 = 0. Let s = t + -2. Solve 0 = i - 3, 3*i = -s*n + i + 8 for n.
1
Let d(g) = -g**3 + 8*g**2 - g + 10. Let i be d(8). Solve 4*x - 4*v + 32 = 0, x - 3 + i = -2*v for x.
-5
Let n be (15/(-12))/(5/(-4) + 1). Solve -3*p + 2 = -4*p - s, 0 = -4*p - n*s - 9 for p.
-1
Suppose 17 = 5*g + 2. Suppose 0 = -2*i + g*i - 2. Solve 4*y = -4*f + 2*f + 30, -i*f = -2*y for y.
5
Let p be 6/(-27) + 20/9. Let o = p - -3. Solve 2 + 4 = -o*k - 3*i, -3*i = k - 6 for k.
-3
Let j(i) = -i**3 + 14*i**2 - i + 20. Let u be j(14). Let x = -144 + 304. Suppose -a = -u*a + x. Solve 0 = -2*n - 2*n + 3*k + a, 17 = 5*n + 2*k for n.
5
Let p be 74/10 + 4/(-10). Let t(v) = -3*v**2. Let u be t(-1). Let f = -1 - u. Solve f*i + p = 4*k - 3, 0 = 5*k - 15 for i.
1
Suppose 12 = g + 3*g. Suppose 3*x - 4 = 4*x. Let c be x/14 - 30/(-7). Solve 5*b = g*v + 8, c*b + 0 - 4 = 3*v for v.
4
Suppose -5*c + 5 = -c - w, 4 = -c - 5*w. Solve -3*m + c = m + 3*o, m - 2*o - 3 = 0 for m.
1
Let b(p) = p**3 + 3*p**2 + 3*p + 2. Let g be b(-2). Let f(y) = y + 19. Let u be f(g). Solve 25 = 4*i + 3*r, -i - 3*r + u = 2*r for i.
4
Let g be -2 - 0 - -5 - 0. Let z be ((-6)/8)/((-4)/16). Solve 4*m = -b - 0 + z, -b = 3*m - g for m.
0
Let k(b) be the first derivative of -3*b**2/2 - 3*b - 8. Let r be k(-6). Solve -5*g = -s - s - 