-3*c, -3*v = -l*c + 4 + n for c.
3
Suppose -10*j - 90 + 290 = 0. Solve -i = 5*v - j, 4*i = -v - 3*v + 16 for v.
4
Suppose -b = j + 4*j + 17, -2*b + 5*j = -26. Let x be (-224)/(-12) + (-2)/b. Solve -4*i = u - 0*u, 4*u = 2*i - x for i.
1
Let m = -22 - -27. Solve 2*x + 3*z - 19 = 0, m*z + 23 = -5*x + 58 for x.
2
Let d(f) = -f**3 - f**2 + 2*f + 3. Let o be d(-2). Let s be (1 - (o + 0)) + 6. Solve 4*v + 17 = c - 2*c, -8 = -s*v + 4*c for v.
-3
Suppose -4*u = -4*j - 56, 2*u + 32 = 6*u + 2*j. Suppose 5*d - 10 = u. Suppose d*t + t - 15 = 0. Solve 5*w - 2*n + 7 = 1, 0 = -t*w - 3*n + 9 for w.
0
Suppose 5*u = 4*k + 1 + 7, -4*u = -k - 13. Solve 0 = 5*o + 4*i + 22, -k*o + 4 = -4*i - 2 for o.
-2
Let l(w) = w. Suppose f - 5 = 1. Let j be l(f). Solve -4*y - d = -10, y - j*d + d - 13 = 0 for y.
3
Suppose -3*q + 2*z = 4*z + 148, 4*q = 3*z - 220. Let d = q + 84. Let o be (d/(-10))/(1/(-5)). Solve -5*n = -2*l + o, -1 = 4*n + 2*l + 1 for n.
-2
Let p be 5/(-20) + 130/8. Let a = -3 + 5. Let k be a/(-4) + 15/6. Solve 4*y - p = k*s, 4*y - 3*s - 2 = 12 for y.
5
Let i be 3/27 - 78/(-27). Solve -3*g - 4 = -2*b, -i*g = -2*g + 3*b - 17 for g.
2
Suppose -5*q - 6 = -21. Solve 2*x - 19 = q*p, -4*x - p + 4 = 1 for x.
2
Suppose -9*m = -30 - 15. Solve -m*u = s - 14, 16 = u + u + 3*s for u.
2
Let t(h) = 4*h - 43. Let f be t(13). Solve -2*n - 2*q = q + f, 3*q + 9 = -3*n for n.
0
Suppose 2*c + 4*n = -12, -5*n + 8 = 4*c + 23. Suppose -2 - 7 = -3*y. Let w be 36 + y*3/9. Solve -3*d = 5*q + w, c - 2 = -2*d + 2*q for d.
-4
Let n be 48 + -3*8/(-12). Solve -j - 2*d = 2*j + 5, 0 = -5*j + 5*d - n for j.
-5
Let q = 48 + -44. Solve -3*o + 2*w = -6, q*w = -0*w for o.
2
Let l = -6 + 7. Let j be (l + -4)*(-4)/6. Solve -3*m + j*m + 5*x = 19, 4 = x for m.
1
Let f = 4 + -4. Suppose f = -v - 0*v + 9. Let x(q) = q**3 - 9*q**2 + 4. Let k be x(v). Solve 2*b + 5 = m, k*m + 2*b - 1 = 19 for m.
5
Let x be (-3)/(-6) - (-43)/2. Solve d + 7*r - 4*r + 9 = 0, 2*d - 4*r = x for d.
3
Let x = 19 + -8. Suppose 5*r = 4*i + x, -3*r + i + i = -7. Solve 4*k = -3*q + 4*q, k = -r*q for q.
0
Let y be -4*((-6)/(-4) + -2). Suppose 3*u + 4*a = 10, -7*a = -4*u - y*a + 3. Let b be 2/(1*(-2)/(-2)). Solve -v - b*z - 7 = 0, -2*z = -u + 6 for v.
-3
Suppose 2*i + 0 = 6. Solve -n - 11 = -2*q, -3*q + 24 = -i*n - 0*n for q.
3
Suppose 3*a + 0*a = 0. Suppose 0 = -a*s + 2*s - 4*g - 12, -4*s = -3*g - 9. Solve 0*i + 6 = 3*i, s = -3*q - 3*i + 12 for q.
2
Suppose 4*f + 0*f = -8. Let c be f/4*-4 - -1. Solve -5*r - 10 = -5*q, -5*q - c*r + 19 = -5*r for q.
5
Let h be ((-24)/108 + (-14)/18)*-2. Solve -4*v + 16 + 14 = h*y, v - y = 0 for v.
5
Let h be 0*1/(-4) - -1. Let o be (4/6)/(h/3). Solve 3*p + 2*i = 11, o*i - 6 = 2 for p.
1
Suppose 0 = h - 0*h - 5. Suppose 3*l - h + 23 = 0. Let j = -1 - l. Solve 2*q - 14 = j*o - 0, o = -3*q - 13 for q.
-3
Suppose 7*n = 2*n - 30. Let u = 11 + n. Suppose -18 + 78 = u*r. Solve -3*c - 3*d + r + 3 = 0, 15 = 3*c + d for c.
5
Let r be 16/6 + (-2)/(-6). Suppose 1 = d - r. Suppose 20 = 2*n - d*y, n - 4*n + 4*y = -24. Solve 4*a + 0*a - q + 18 = 0, a + n*q + 13 = 0 for a.
-5
Suppose 0 = 5*q - 5. Suppose -4*g - 11 = q. Let d be 32 - 2/(5 + g). Solve 2*u + 0 = -4*b + 20, 0 = -4*u - 5*b + d for u.
4
Let v(i) = 57 + 4*i**2 - i**3 - 62 - 6*i + 0*i**3 + 2*i**3. Suppose 4*b - b = -15. Let o be v(b). Solve o = 4*s - g + 17, -2*g = -5*s - 0*s - 25 for s.
-3
Let r be (-20)/3*(-30)/25. Let w = 11 - r. Solve -2*d + 5*y = 0, 2*y = w*d - 2*y for d.
0
Let l(b) = b**2 - 6*b - 10. Let v be l(9). Solve 4*u - 5*m + v = u, u - m = -5 for u.
-4
Let l = 23 + -13. Solve 7 = n + d, 3*n + n - 2*d - l = 0 for n.
4
Suppose 9*r = 4*r - 5. Let h be r/(3/(-9)) + -1. Solve 3*d + 18 = -d - 2*f, 5*d = h*f for d.
-2
Suppose -3*y - 177 = 117. Let u be (24/14)/((-28)/y). Solve -3 = -x + n, 0 = 2*n - u + 16 for x.
-2
Let s(k) be the second derivative of -k**5/20 + k**3/6 + 5*k**2/2 + k. Let t = -2 + 2. Let j be s(t). Solve -4*u = j*b - 21, -28 = -5*b + u + 2*u for b.
5
Let v = -14 + 16. Let s = -3 - -8. Suppose d = -3*d + 3*t + 14, 2*t = -s*d + 29. Solve 5*f - v*w = w + 6, -5*w = -d*f for f.
3
Suppose 13*s = 10*s + 12. Solve 0 = -v + n - 1, 0 = -s*n - 12 for v.
-4
Let v(m) = -4*m - 2. Let t(i) = i + 1. Let b(r) = -5*t(r) - v(r). Let u be b(-6). Suppose 4*z - u - 17 = 0. Solve j = -3*d + 10, -2*d + 2 + z = j for j.
1
Let q(k) = k**3 + 6*k**2 + 6*k + 1. Let f be q(-4). Let j be 24/f*6/4. Solve -3*t - 10 = -4*m - 2*t, -2 = -5*m - j*t for m.
2
Let t be 12/(-4) + 5 + 1. Solve 0 = t*r - 3*h + 21, r - 5*h + 5 = -18 for r.
-3
Let y(m) = 3*m - 17. Let f be y(7). Suppose 0 = -h - z - 3*z + 20, -f*h + 56 = 4*z. Solve 0 = 3*x - h, -3*o - o + 28 = 4*x for o.
3
Suppose 40 - 46 = -a. Let o be a/(-21) - (-111)/21. Let y = -13 - -32. Solve -y = -o*g + 5*u + 6, -u - 5 = 0 for g.
0
Let f be (-9)/(9/(-2)) - 0. Solve 0 = -2*t - 5*a - 20, -f*t - 9 = t - 3*a for t.
-5
Let r be 15/20*(-24)/(-9) + 4. Solve -4*w + 2*k = 28, -2*w = 2*k + 2*k - r for w.
-5
Suppose -8*w - 9 + 25 = 0. Solve 0 = 7*m - w*m + 10, 5*m + 20 = 2*r for r.
5
Suppose -d + 90 = -6*d. Let z be (-8)/(-36) - 266/d. Solve 3*y + 0*y - 3*u = 0, 5*u + z = 0 for y.
-3
Let b(j) = 2*j. Let d be b(2). Suppose r + 6 = -d*p + p, 0 = 3*p - 4*r + 21. Let k be 2*1 + p/(-3). Solve 3*f + 2 = 9*l - 4*l, 0 = -3*f - k*l - 18 for f.
-4
Let z be (-1)/((-12)/28) - (-2)/3. Solve 0*r + 32 = -5*t + z*r, 2*r = -2*t for t.
-4
Let w = 10 - 7. Suppose 0 = 5*j + w*z - 16, z + 3 = -0*z. Solve j*u - 5*s + 3 = -12, -u - 4*s = -7 for u.
-1
Let v(f) = -f**3 - 8*f**2 - f - 3. Let s be v(-8). Let z(q) = -q**2 + 7*q - 7. Let t be z(s). Solve -2*x = 4*r + t*x + 15, 15 = 4*r - 5*x for r.
0
Let v be (-1215)/(-35) - (-4)/14. Let l = v + -23. Let w = -8 + l. Solve 2*y - 6 = 2*m, -5*y + w*y + 5 = -2*m for m.
-2
Let c = 8 - 2. Let t(m) = 17*m + 7 - 10*m + 4 - 8*m. Let g be t(8). Solve 5*l = 4*d + 15 + g, c = -5*d - 2*l for d.
-2
Suppose -3*d = 1 - 10. Suppose -3*o = -2*z + d, 5*z - 3*o - 2*o = 10. Suppose 0 = z*v + 4 - 13. Solve v*k = -3*a, 5*k = 2*a - a - 6 for a.
1
Suppose s - 4*s = -9. Let a = s - -4. Solve 3*u + 5 = -5*h, 3*u - a*u = -3*h - 3 for u.
0
Let j be (-87)/(-6)*(-2)/(-1). Solve 4*t - 17 = 5*z, j + 6 = -5*z - 5*t for z.
-5
Suppose -4*r = 2*k - 6, -2*k = -4*r + 13 - 3. Suppose 5*h - 3 = -n + r, -2*h - 2*n + 2 = 0. Suppose -1 = -a + h. Solve -2*c - o + 11 = c, -a*c - 2*o = -6 for c.
4
Let u be 0 + 0*(-1)/(-2). Suppose -3*v + 0*v = 3. Let d be (-9 - v/1)/(-2). Solve -d*b = 6*o - o + 11, u = -3*o + 5*b - 14 for o.
-3
Let x be (-7 + 31)*1/2. Suppose x = 4*h - 0*h. Solve -3*r - h = 2*m + 3*m, 4*m = 4*r - 28 for r.
4
Let h be (0 + -6*1)/(-2). Let m(b) = 1 - h - 1 - 3*b. Let u be m(-3). Solve 4*o - 5*o + 5*v = -11, -u = 3*v for o.
1
Let z be 9/(-6)*(-2)/3. Let o be (4 - z - 2) + -1. Solve -g - 4*n - 15 = o, -4*n - 24 = -4*g + 16 for g.
5
Let h(y) = -y**2 + 5*y - 3. Let u be h(4). Let w be 47*4/(-1 - u). Let z be w/(-18) - 10/45. Solve 3*o = 5*d - 7, -3*d + 3*o = -4*d + z for d.
2
Suppose 3*x - 3 = -0*x. Suppose 3*h + 6 = 6*h. Solve h*j = 4*w - x + 3, -2*j = 2*w + 4 for w.
-1
Let h(o) = -o - 3. Let r be h(-4). Let z = r - -2. Suppose z*y = -2*y + 20. Solve 3*l + 12 + 0 = -p, 3*p = y*l + 3 for l.
-3
Let j(x) = -x**3 - 6*x**2 + 2*x + 8. Let s be j(-6). Let f = -2 - s. Solve m = -5*r + 3*r - 1, 5*r = -f*m for r.
2
Let a be 2/((-4 - -5)/1). Solve 6 = -a*q, -y + 6*y - 3*q - 19 = 0 for y.
2
Let y(a) = -6*a**2 - 55*a - 2. Let r be y(-9). Solve 3*j - 9 = 3*g, r*g - 2*g - 21 = -4*j for j.
4
Let t be (16/(-6))/(-4)*-3. Let u = 4 + t. Suppose 0*l = -u*p - l + 14, 3*p - 4*l + 1 = 0. Solve -3*x + p = -0*x - i, 0 = -i + 4 for x.
3
Suppose 0*q + 60 = 4*q. Let s = 34 - q. Solve 4*m = 3*i, 5*i - i + s = -m for m.
-3
Suppose -2*d + 6*d = 4, 0 = 3*z - d - 11. Solve 6 = 5*j - 3*f + 25, j = -z*f - 13 for j.
-5
Let h(c) = c + 3. Let f be h(0). Solve 5*p = 5*g - 35, -f*g - 4 = 8*p - 6*p for p.
-5
Let m(d) = -d**3 - 2*d**2 - 3*d - 1. Let f be m(-2). Let l be (-2)/f + (-17)/(-5). Let s be (-1 - 0/2)*-5. Solve s*v + 40 = 3*o + 2*o, 3*v + l = -4*o for v.
-5
Let u be 191/8 + 17/136. Suppose -3*x = -114 + u. Solve 3*o - 13 = -2*p, -3*p - 5*o = -8*p - x for p.
-1
Suppose -3 - 9 = -4*n. Suppose 4*o - 19 = -n. Solve 0 = 4*z + g + 9, -2*g + 11 = -z - o*g for z.
-1
Let d(c) = c. Le