+ y. Let n be (p + -2)/(4/(-8)). Solve d = 5*z, 0*z = n*z - 4*d for z.
0
Suppose -3*x + 2 = 4*p, 4*x + 18 = -x + 4*p. Let t be x/(-3) + 17/(-3). Let r = t + 5. Solve 5*b - 2*c = -5*c + 8, -2*b + 2*c = r for b.
1
Let h be 32/18 + 6/27. Suppose -p = -n, p = -0*n + 3*n + 8. Let k be -2*1 + 2 - n. Solve 0 = k*o + 3*y - h, 2*y + y = -3*o for o.
2
Suppose -q = -4*h - 0*h - 7, 4*q - 17 = 5*h. Let z be (0 + 1 + h)*-1. Solve 4*d + 0*i - 3*i + 12 = z, -12 = -5*d - 3*i for d.
0
Suppose 0 = 4*v - 16, 0 = 4*z + z + 4*v - 86. Let r(k) = -k - 5. Let o be r(0). Let w = -1 - o. Solve 0 = w*n - 2*f + f - z, -2*n = -f - 8 for n.
3
Let u(a) = -a**3 + 11*a**2 + 15*a - 29. Let b be u(12). Suppose 0*c + 20 = 5*c. Solve 2*f - b + 28 = 5*x, 3*f + 14 = c*x for x.
5
Suppose 3*z = -0*z + 12. Suppose 6 = 3*y - 6. Solve 0 = 5*r + z*c, -2*r - y*c = -4*r for r.
0
Let t = -42 + 42. Solve t = 3*z - 4*z - 3*a - 2, z + 4 = -a for z.
-5
Let s be 26/10 - (-1)/((-5)/3). Solve 3*l = s*t - 1 - 0, -2*t + 25 = 5*l for t.
5
Suppose 25 = 12*g - 7*g. Solve 0*b = -4*c + b + 8, 5*c = -g*b - 15 for c.
1
Suppose -2*m = 5*m - 84. Solve 22 = 3*j + 4*q, 0*q = -4*j + 5*q - m for j.
2
Let y be 2/(-3)*(-27)/6. Suppose 3*w = 2*w + y. Solve 4*a - 1 = -3*u - 9, 0 = -w*a - 5*u + 5 for a.
-5
Let u be (1 + 4/(-6))/((-1)/(-18)). Let z = -3 + 5. Let s = u - z. Solve 0*b - 4*v = 5*b + 25, s*v = -20 for b.
-1
Suppose 7 = 4*l - 9. Let b = l - 0. Suppose 5*d - 3 = 4*n, -6 = -b*d + 6. Solve 8 = -3*f + 2*c, 2 = -2*f + c - n for f.
-2
Let h be (-2 + 5/2)*2. Let s(v) = 2*v**3 + v**2 - v. Let n be s(h). Let f = 3 - 1. Solve -f*w = -5*g - 8, -g = -w + n*w - 4 for g.
0
Let i be 4*1*1/2. Suppose -x + 12 = -4*x, -i*c + 2*x = -12. Solve 0 = c*s - v - 9, -5*v + 0*v - 25 = 0 for s.
2
Let z(u) = u**2 - 4*u + 5. Let b be z(3). Solve -b*p = 5*h + 2*p + 10, -3*h - 3*p - 6 = 0 for h.
-2
Let v be (3 - 2)/(2/6). Let q be (-6)/4*4/v. Let z = q - -27. Solve 2*s + 1 = -2*k - 1, 5*k = 5*s - z for s.
2
Let v = -1 - -1. Suppose 0 = -5*d + 21 + 9. Let c = d + v. Solve 4*z - 2*h - c = 0, -5*z + 0*z + 7 = -2*h for z.
1
Let p(b) = -b**2 + 2*b + 10. Let u be p(4). Solve u*c - y + 2 = -3*y, 8 = -2*c + y for c.
-3
Let f be (24/(-4))/(9/(-12)*2). Suppose 56 = p + 3*p. Let r = p + -10. Solve r*a = d + 12, -3*a + 3 - 13 = f*d for a.
2
Let q be ((-24)/28)/((-2)/(-14)). Let u(w) = -2*w - 6. Let m be u(q). Solve -3*j + 4*k = -19, 0 = -2*j - 2*k - 2*k + m for j.
5
Let k be 32/14 + (-2)/7. Let u = 5 - k. Solve -y = -u*q - 13, 2*q + 3*y = 5*q + 15 for q.
-4
Let c = 25 - 20. Suppose -4*w = 3*h - 61, -c = 3*w - 2*h - 55. Solve -k + 2*m + 1 = 0, 3*k - w = -4*m + 7 for k.
5
Suppose 20 = 3*p - 5*w, 2*p - 20 = p + 5*w. Solve b = 5*q - b + 27, 2*q - 4*b + 14 = p for q.
-5
Suppose 14*r - 9*r - 10 = 0. Solve 5*x + 5*f + 5 = 0, 2*x - 2*f + 8 = r*f for x.
-2
Suppose 0 = -7*b + 4*b. Let x(g) = -g**3 + g + 1. Let z be x(b). Solve -u = -2*s + 2, 4*u = 3*s + z - 14 for s.
-1
Suppose -4*g - 5 = -21. Let t(m) = -m**3 + 3*m**2 + 6*m - 4. Let d be t(4). Solve 4*j + d*q - 4 = 0, -4*q - g = 4*j - 2*j for j.
4
Let j = 42 - 30. Solve 2*n + 4*l = j, 2*n + 0 = -l + 9 for n.
4
Let c = -5 - -7. Let g be (-1 + 0)*(-3 - c). Solve 3*n + g = w, -4*n - 2 = w - 7 for n.
0
Let r be -4*(-3 + (-21)/(-12)). Solve r*t + 5*f - 13 = -3, 8 = t + 3*f for t.
-1
Let j = 3 - -4. Suppose j + 3 = 5*n. Solve h = 3*t - 10, 3*h - n*t = -3*t + 10 for h.
2
Suppose 0 = -4*w + 62 - 2. Let c = w - 4. Let t(o) = o**2 - 5*o + 3. Let p be t(5). Solve 5*g - p*d = -2*d - c, 3*g + 3 = -3*d for g.
-2
Let u = -5 - -13. Suppose -2*n + 20 = 5*b - 2*b, -5*n = 2*b - 28. Let k = b - 0. Solve -u = -4*z, -k*t + z + 5 = -1 for t.
2
Let f(d) be the first derivative of -d**2 + 4*d - 1. Let u be f(4). Let n = 8 + u. Solve n*z - 18 + 6 = -2*v, 3*z + 3*v - 15 = 0 for z.
1
Let w be (4/(-6))/((-11)/33). Solve 2*j = w*q + q - 11, j - 3*q = -7 for j.
-4
Let m be 2/1 - (3 - 3). Let i be -1*((-8)/2 - -2). Let c be 17/4 + i/(-8). Solve -2*l = -5*o - l + 21, 28 = c*o + m*l for o.
5
Suppose 0 = -5*f + 35 - 10. Solve -2*j + 2 = 2*y - 4, f*y = 4*j + 24 for y.
4
Let i(w) = w**2 - w + 1. Let y be i(2). Solve -3*s - 2 = 4*f, -y*f + 2*s = 5*s for f.
-2
Suppose -4*b + 3 = -9. Let p = 5 - b. Solve p*f + i = -0*f - 1, 4*f = 5*i + 33 for f.
2
Let n be 3 + 0/((-6)/(-1)). Suppose -2*q - 5 = -q - 2*l, 0 = -q - 5*l - 12. Let s = -4 - q. Solve -3*z = a - n, 2*z + 0*z - a = -s for z.
0
Let t be 19/4 - 1/(-4). Let z be -2 + 7 + 0/(-12). Solve -27 = t*s + 2*i, -i = 4*s - z + 26 for s.
-5
Let n = 14 + -6. Suppose 5*h + n = 28. Suppose -h*o + 11 = 3. Solve -2*v = -y - 4, 3*v = o*y - y + 7 for v.
3
Let v be 18/(-2) - (4 - 5). Let s = -4 - v. Solve 2*w + 1 = -3*n, 2*n - w = s*n for n.
1
Let n(k) = k**2 - 3 + 7*k + 1 - 4. Let b be n(-8). Solve -y = 3*l - 14, 5*l = b*y + 1 + 26 for l.
5
Let w be (-8)/(-14)*(7 - 0). Let d(y) = y**3 - 5*y**2 + 2*y + 8. Let j be d(w). Solve j*r = -l + r - 1, l - 7 = -3*r for l.
1
Suppose -10 = -4*k + 34. Solve 4*x + 14 = 2*m, -3*x + k - 2 = 5*m for x.
-2
Let b(m) = 5*m - 1. Let t be b(2). Let n = t + -5. Let w(u) = 4*u + 4. Let j be w(n). Solve 26 = -5*y + 3*d + d, 4*d = 2*y + j for y.
-2
Suppose 6*k - 2*k + 8 = -4*t, -5*k = -5*t - 40. Solve -3*h + 10 = -2*v, 5*v + k*h = -4 - 0 for v.
-2
Let p be 1 + (6 + -4 - -9). Let l = 1 - -1. Solve l = -5*z + 4*z - b, 0 = -4*z - 2*b - p for z.
-4
Suppose -c + 10 = 2*l, -c - 1 + 3 = 0. Suppose -4*r = t - 20, l*t + 2*r + 17 - 41 = 0. Solve 4*z + 15 = -3*d + 2*z, 2*z + 18 = -t*d for d.
-3
Suppose -2*r - 7 = 2*m + 3, 5*m = -20. Let h be -1 + (-6)/(r + -1). Solve -3*o - j - 3 = 0, -h*o + 4*o + 2 = -3*j for o.
-1
Let t(g) = g**3 + 6*g**2 - 4*g + 4. Let f be t(-6). Suppose 3*d + 4*n = 16, d = -3*n + 5 + 2. Solve -x = d*q - 4*x - f, -4*q + x = -20 for q.
4
Suppose o - 4*o + 6 = 0. Suppose 2*x - 4*w + 5*w - 44 = 0, -5*x + 5*w = -140. Suppose 0 = -3*c + o*c + x. Solve -j - j + 3 = 3*q, 5*q - 3*j = c for q.
3
Let w(j) = j - 12. Let i be w(9). Let f = i - -8. Solve 7*x + 31 = -5*t + 3*x, f*x = -5*t - 35 for t.
-3
Let o be -1 + 0 - 16/(-4). Solve -s = -f - 4, -f - 3*s - 11 + o = 0 for f.
-5
Let q(v) be the third derivative of -v**6/120 + v**5/15 + v**4/8 - 2*v**3/3 - v**2. Let f be q(4). Solve -5*i - z + 0*z - f = 0, -5*i - 2 = -z for i.
-1
Let z = -2 + 5. Let c be 2/4*0/(-3). Suppose 0 = -3*j - j - 5*b + 17, c = 2*j + 3*b - 9. Solve -2*x - 14 = j*v, -z*x + 2*v - 2 = -3*v for x.
-4
Let x(m) = -m**3 + 1. Let n be x(-3). Let k = -20 + n. Solve 3*y + 4*v + 11 = 8*y, -v = 4*y + k for y.
-1
Suppose -f = 3*m + 18, -2*f - 4*m = -3*f + 3. Suppose -7 = -3*v + 5*q - 10*q, 2*v = q - 17. Let n = v - f. Solve 5*w + o + 12 = 0, w - n*o - 4 = -0 for w.
-2
Let s be 285/25 + 4/(-10). Suppose 4*b + 26 = -5*u, 2*u = 3*b - 4*b - s. Let c be ((-10)/u)/((-3)/(-9)). Solve -12 = 3*q + 5*d, 3*d = c*q + d - 11 for q.
1
Let l = 16 - -34. Suppose -l = -3*c + 4*y, 0*c - 72 = -5*c + y. Solve -2*o + 12 = -0*o - 3*z, 4*z = 2*o - c for o.
3
Let w(a) = -a + 12. Let s be w(7). Solve g = -5*c - 29 - 0, 4*c - s*g = 0 for c.
-5
Let j = -81 + 84. Solve j*q + 2*q - 13 = 2*o, 0 = -q + 3*o + 13 for q.
1
Let h be (-11)/(-5) - 5/25. Solve -2*g = -i - 3*i - 12, -4*g - 3*i = -h for g.
2
Let n(y) = -4*y - 18. Let g be n(-6). Solve 3*b + g = 3*v, -2 = 3*b - 5*v + 2 for b.
-3
Let g = 30 + -29. Solve 3*n = 4*v + 27 - g, -2*n - 6 = 2*v for v.
-5
Let t(g) = 2*g - 5. Let s be t(7). Let k = -7 - -7. Solve -5*x = s*a - 6*a + 11, -5*x - 5 = k for a.
-2
Let x(f) = -4*f**3 - 2*f**2 - 2*f - 1. Let v be x(-1). Solve 2*s = -2*i + v*i - 8, i + s = 2 for i.
4
Suppose 1 = -r + 4*x, -2 + 5 = 2*r - 3*x. Let b be 9/4 - (-11)/(-44). Solve -5*q + 12 = -r*v - 2, 0 = -3*q + 5*v + b for q.
4
Let m = -111 - -118. Solve v + a = 0, 0 = m*v - 5*v + 5*a - 15 for v.
-5
Let s be 54/10 - 18/45. Solve -5*z + 13 = -2*k - 22, -5*z + 50 = -s*k for k.
-5
Suppose 3*p - 6*p = 4*m - 5, -3*m = 4*p + 5. Let k = 63 - 31. Let s = -19 + k. Solve -4*j = -2*z + 2, -4*j - s = m*z - 5*j for z.
-3
Let m be ((60/9)/5)/((-2)/(-3)). Solve -4*v = -m*f + v - 14, 11 = 5*f - v for f.
3
Let l = -7 - -23. Let g be (-2 - 10/(-2)) + -3. Solve 2 = 4*v - 2*q - l, g = 5*v + 2*q for v.
2
Let i(t) = -7 + 0*t - 7*t - t**3 + 2*t + 7*t**2 + t. Let o be i(6). Solve 0 = o*b - 2*q - 0*q - 21, 3*q - 16 = -2*b for b