Solve -5*c + z = 6*z - 30, -y*c + z + 14 = 0 for c.
4
Let a(d) = d**2 + 3*d + 2. Let q be a(-3). Solve q*s + 24 = 5*l + 8, 3*s + 2*l - 14 = 0 for s.
2
Let u = -2 + 4. Suppose 0 = -5*r + 4*x + 66, 0 = x - u + 6. Let k = r + -6. Solve n = -d - 0*d + 1, 0 = -2*n + k*d + 2 for n.
1
Let b(o) = 7*o**3 - o**2. Suppose -d + 2*z + 4 = -3*d, 0 = z + 3. Let t be b(d). Suppose 0 = -5*m + t*m - 17. Solve 5*s = -v - m, -2*s = 4*v + 3*s + 23 for v.
-2
Let i = 5 - 0. Suppose 0 = -u + i*f + 18, 0 = -u + 4*f - f + 12. Suppose u*n = p + 17, -2*n + 7*n = 5*p + 25. Solve 0*v + 4*r - n = v, -4*v = -3*r - 2 for v.
2
Suppose -y + 2 = -2*y. Let l = y + 1. Let o = l + 3. Solve 5*j - 1 = 3*f - o*f, 3*f = -5*j - 3 for j.
0
Suppose 5*c - 9 = 6. Suppose 3 = o, -m + o - 11 = -c*o. Let n(q) = 25*q**2 + q - 1. Let h be n(m). Solve -h = 5*a - i, -a + 6 = -0*a + 2*i for a.
-4
Suppose 2 = q - 0. Let r = 6 + -2. Suppose 4 = -r*d + 6*d. Solve 2*y = -5*x + q, -2*y + 4 = d*x + 2*y for x.
0
Let b be (-7 + 8)/(2/8) - 0. Solve b*g + 4*s - 18 - 2 = 0, -5*g + 3*s = -17 for g.
4
Let o be 18 + (-10)/5 + 4. Solve -o = -2*s + 7*s, -b = s + 5 for b.
-1
Let b(j) = 2*j - 6. Let f be -1 + (-1)/1 + -16. Let d = -13 - f. Let a be b(d). Solve 5*s - 2*l = 21, -1 = -3*s + a*l + 6 for s.
5
Let m(s) = 2*s**2 - 2*s. Let q be m(2). Solve -8 = -4*a - 0*a, q*a = 3*j + 20 for j.
-4
Let o = -20 + 24. Solve 5*p - 5*x + 0*x = 10, x + 2 = -o*p for p.
0
Suppose 0 = -2*j - 0*j - 26. Let m = j + 19. Solve 2*x - 2 = 3*a, m*a - x + 1 = 3*a for a.
0
Let k = 13 - 7. Suppose k*r - 20 = r. Solve 0*g - 8 = -j - 2*g, r*j = g + 5 for j.
2
Suppose 9 = -6*q + 39. Solve -2*n + 1 + 5 = 0, q*n - 18 = v for v.
-3
Let d = 320 + -317. Let p(x) = 2*x**3 - x**2 + 1. Let a be p(1). Let f be (-2)/(-8)*a*0. Solve -5*j + f*j + d = -b, 3 = -5*j - b for j.
0
Suppose 4*a - k = 16, 3*a - 2*k - 2*k - 25 = 0. Solve 0*d = 5*u + 4*d + 20, -3*d = a*u + 15 for u.
0
Suppose 4*t - 15 = t. Let f be ((-9)/(-6) + -3)*-2. Solve f*g - 4 = t*o + 6*g, g = 2*o + 6 for o.
-2
Let x(t) = 3 - t**2 - 1 + 3 - 5*t. Let l be -3 + 2 - 1*4. Let r be x(l). Solve 0 = r*a - j + 22, -5*a = -3*j + 22 + 4 for a.
-4
Suppose 3*z + 28 - 4 = 0. Let x(j) = j**2 + 7*j - 3. Let q be x(-7). Let b = q - z. Solve -2*g - 2*h = -6, 3*h = 5*g - 2*h - b for g.
2
Let d be ((-18)/(-4))/(9/12). Let z be (-21)/(-4)*16/d. Solve -2*p = -2*n + 10, 3*n - z = p + p for p.
-1
Let b = 134 - 129. Solve 0 = -3*r - x + 13, -x + 31 = b*r + 3*x for r.
3
Let g be 28/4 + 2/3*-6. Solve -2*x = 5*k - 15, g*k + 4*x - 17 - 6 = 0 for k.
1
Let l = 77 + -71. Solve 3*c + 2*i - l = 13, -i + 12 = 2*c for c.
5
Let j be (0 + -3)*(-4)/6. Solve 18 = -0*m - j*m + 2*s, 0 = 3*m + s + 7 for m.
-4
Let o = 16 - 11. Solve -u + 2*u - 4 = 4*a, -3*u - 2 = -o*a for u.
-4
Suppose 5*b = -5, 23 = -7*u + 9*u - b. Solve -2*m - 10 = -4*q + 16, 0 = 4*q + 3*m - u for q.
5
Let o be (-23)/(-4) - (-3)/(-4). Suppose 2*c = c + 3. Suppose 21 = c*g + 6. Solve 9 = -g*r - h, -o*r = -3*r + 4*h for r.
-2
Let q be (-15 - 0)*(-2)/5. Suppose -125 = -11*k + q*k. Let g = -8 - -13. Solve 0 = -g*d + 3*j + 40, -j = 2*d - 4*j - k for d.
5
Let n be -1*(-12)/10*5. Let s be (-4)/n + 53/3. Let i be (-144)/(-56) - 6/(-14). Solve s = -4*h + i*d, 3*h + 12 = d + d for h.
-2
Let m = 25 + -10. Let f be 1 + 0 - 24/2. Let n = m + f. Solve 0 = 4*t, 0 = d - t - 0 - n for d.
4
Let k(o) = o**3 - 14*o**2 + 12*o + 18. Let t be k(13). Solve 4*u - 45 = -t*r, -r - 20 = -6*u + u for r.
5
Let z(c) = c - 3. Let l be z(5). Let j = l - 0. Let u(q) = -q**3 - 4*q**2 - 4*q - 1. Let a be u(-3). Solve -k - 2 = d, -a*k = -j*d - 4 - 12 for k.
3
Let w(r) = r**3 + r**2 - r + 9. Let y(v) = -v**3 - 3*v**2 - 3*v - 2. Let d be y(-2). Let x be w(d). Solve 0 = 2*a - a + 2*f + 1, -5*a + 4*f + x = 0 for a.
1
Let g = -39 + 39. Solve -28 = -4*w + 7*w - 5*y, -w + y - 6 = g for w.
-1
Let r be -4*(-1 + 2/(-4)). Let j be 0 - -1 - (0 - 1). Suppose -r*m = -j*m - 48. Solve -n + 0*n - 3*z + 16 = 0, 0 = 3*n - 3*z + m for n.
1
Suppose 4*l = -7*b + 2*b + 33, 16 = 2*b + 3*l. Solve -5*c - b*h = 0, -5 = 3*h - 2 for c.
1
Suppose -5*j + 22 = 3*v, -j + 2*v = v + 2. Let l = 12 + -10. Let k be j - (2/l + 1). Solve -4*i - 4*y = 4, k = -2*i + 3*y - 2 + 15 for i.
2
Let o be (-1)/(-2) - 12/(-8). Suppose -o*a + 10 = w, 4*w = 5*a - 14 - 11. Let m = a - 2. Solve 2*r - 5*j + 3*j - 2 = 0, -m*j + 37 = 5*r for r.
5
Let z = -12 + 16. Solve 0*g - 2*c - z = g, g + 4 = c for g.
-4
Let f = 43 - 28. Let n(q) = -q**3 + 7*q**2 - 6*q + 3. Let s be n(6). Solve -s = -0*x - x + m, 4*m = -5*x + f for x.
3
Suppose 0 = -3*m + 212 - 20. Let k be 3/2*m/24. Solve -j - 4*p + 2 = 0, j - 2 = k*p - 2*p for j.
2
Let j(m) = 6*m - 32. Let g be j(6). Solve -g*b = 12, 0 = 4*u + 2*b - 0 + 14 for u.
-2
Let n = -4 - -7. Suppose n*a - 32 = -q, -3*a + 0*a + 112 = 5*q. Let y = -7 + q. Solve 5*v - 2 - y = 0, v - 7 = -i for i.
4
Let f(m) = m**3 + m**2 + 4*m + 3. Let j be f(-3). Let v = 47 + j. Suppose -5*s = -0*s - 45. Solve -4*t = -s*t + 2*w - v, 0 = 5*t - w + 20 for t.
-4
Let n be -4*(-3 + -3 + 4). Solve 8 = -5*m - 2*c, -2*c - n = -3*m - 2*m for m.
0
Let f be (-1)/4 + 2/8. Let t(r) = 4*r + 6. Let d(v) = 7*v + 11. Let c(o) = 3*d(o) - 5*t(o). Let m be c(f). Solve -4*s - 3*i = -10, 2*s = s - m*i + 7 for s.
1
Suppose 0 = -3*w + w + 8. Let i be -1*(0 + 1)*-2. Solve 0 = -w*j + 2*m + 6, -i*m - 3*m = -5*j + 15 for j.
0
Let v(q) = 3*q + 1. Let z be v(1). Suppose z = g + 2. Let h = 1 - -3. Solve -2*d = g - 4, -l + h*d = -1 for l.
5
Let r = -19 - -15. Let i be r/28 - 1/(-7). Solve 0*p - 11 = z + 5*p, i = 4*z - 4*p - 4 for z.
-1
Suppose 6 = -w + 3*w. Suppose x = w*x. Solve 37 = -3*j + 5*s, -2*s + s + 5 = x for j.
-4
Suppose -14*k + 28 = -12*k + 5*m, -2*m = -2*k. Solve -b - 26 = -5*i - 4*b, -k*i - 4*b = -24 for i.
4
Let w(k) = k - 1. Let a be w(6). Solve 5*h - 4*t + 10 = 0, -4*t + 35 = a*h + t for h.
2
Suppose 11*x - 3*u = 6*x + 20, 2*x - 8 = -2*u. Let l = x - 1. Solve 0 = -l*g - 3*f, 4*f + 4 = g - 4*g for g.
4
Let k(w) = -w + 1. Let c(t) = -4*t + 16. Let z(b) = c(b) - 6*k(b). Let v be z(-7). Let h = v + 10. Solve 2*y - 4*n + h = -n, -2 = 5*y - n for y.
0
Let z = 9 + -3. Let p be (-4)/z - 102/(-18). Solve u - 9 = -b + p*b, 5*u + 18 = -b for b.
-3
Suppose 4 = u + u. Let m be (-2)/(-7) + 45/(-35). Let p be u*(-3 - m)/(-2). Solve p*r - 2 = 4*a, -4*r - 3*a + 4 = a for r.
1
Let a = 7 + -3. Solve 3*j + 20 = -v - 3*v, -a*v - 16 = 2*j for j.
-4
Let y(c) = c - 5. Let f be y(8). Suppose 2*w + h = 3*w - f, -2*w = h - 15. Solve w*r + j = r + 30, 3*r + 2*j - 25 = 0 for r.
5
Let s(l) = l**2 - 1. Let u(y) = -2*y**2 - 8*y + 11. Let x(j) = -3*s(j) - u(j). Let b be x(6). Solve -b*v = -c + v + 29, -v - 5 = 0 for c.
4
Suppose 3*t - 12 = 3. Let s be (-3)/4 - 12/(-16). Suppose s = 8*f - 7*f - 25. Solve -u = -t*x - 6*u - f, 3*x - 5 = 2*u for x.
-1
Suppose 17*p - 16*p = 0. Let m(i) = -i - 7. Let s be m(-7). Solve 4 = -p*g - 2*g, s = -4*y - 3*g - 26 for y.
-5
Suppose 4*u + 5 = 5*u. Solve h + 24 = 5*y, 1 = -y + u for h.
-4
Let x be 170/(-15)*(-3)/2. Solve 0*r + x = -5*a + 4*r, 11 = a + 4*r for a.
-1
Suppose -3*j - 4*d = j - 32, 2*d - 24 = -4*j. Suppose 5*h = t + 17, h + 8*t - 3*t = -7. Let b be (h - j) + 4/1. Solve -4*z - f = 4*f - 8, -5*f = -b*z + 6 for z.
2
Let k(c) = -8*c - 3. Let n(f) = 15*f + 5. Let r(g) = 11*k(g) + 6*n(g). Let s be r(5). Suppose -1 = -2*h + s. Solve h*u = 5*y - 4*y - 11, 0 = y + 2*u + 1 for y.
3
Let f be 1/(4 - (-30)/(-8)). Solve f*j = -r - 4*r + 21, -2*r - 18 = -5*j for j.
4
Suppose 0*k = -2*q - 3*k + 21, -2*k = 2*q - 16. Let a(u) = 3 + u**2 - q + 6 - 6*u - 1. Let p be a(5). Solve s - 5*d - 25 = p, 0 + 5 = s - d for s.
0
Let o = -27 + 45. Suppose -4*n = 2 - o. Solve -n*g + 5*s = 36, -3*g + 7 = 4*s + 3 for g.
-4
Let q = -13 - -18. Suppose 0*m - 3*m - 3 = 3*w, q*m = -w + 3. Solve 2*y - m = 2*h + y, y = -1 for h.
-1
Suppose 6 = 3*o - w, -4*w + 0 = -5*o + 3. Let r be (-5 + -1)*(-1)/o. Suppose -3*d - r*d = -10. Solve 0 = 4*g + 2*m - 8, 5*g + d*m + 1 = 4*g for g.
3
Let r be (-2)/(-7) + 19/7. Suppose -s + r*s = 10. Solve 0*u - 2*u = -3*x - 21, s*u - 40 = 5*x for x.
-5
Let k = -22 + 16. Let h be k/(-18) + (-5)/(-3). Let f be (3 - h) + 14 + -2. Solve 2*y - 5*y + f = -4*g, -3*g = -4*y + 15 for g.
-1
Let f = -14 + 21. Let o be f + -3 - (-2 + 2). Solve 4*y = x - 1, o*x + 0*y - 4*y = 