c, y = -5*c + 3*s + 49 - 12 for c.
5
Let t be (10/3)/((-5)/(15/2)). Let j be 6/10 - (-5 + (-18)/t). Solve s + j = v, -4*s + 5*v = 3*v - 2 for s.
3
Let z = 15 + 0. Let p be (14 - z)*5*-1. Let t(j) = -j**3 + 6*j**2 - 3*j - 5. Let q be t(p). Solve 2*w = q*s + 11, -3*s + 6 = 3*w - 0*s for w.
3
Let g be 36/(-30)*5/(-2). Let s be 0/(-7 + g + 8). Suppose s = -x - 4*x + 15. Solve 0 = 3*f + 3*p - x, f - 2*p - 10 = -f for f.
3
Suppose 0 = 2*q - 6*q + 100. Suppose -7*p = -q - 3. Solve -4*c - 11 = -p*h + 5*h, 3*c = -9 for h.
1
Let k(x) = x**2 - 3*x - 6. Let u be k(8). Let l = u - 30. Solve 2*r + 14 = -2*q, 7*r + l*q = 2*r - 31 for r.
-3
Let z be 84/(-112) + (-11)/(-4). Solve -2*l + r + r - 10 = 0, -z*l - 4*r = -20 for l.
0
Let m be (-130)/(-14) + (-2)/7. Let v = 5 - m. Let b be v/5*(-60)/8. Solve b*l = 3*l - 5*a - 19, -2*l + a = -9 for l.
2
Let j be (0 - (-24)/21)/((-14)/(-196)). Solve -y - 2*w + 11 = 2, y - 3*w + j = 0 for y.
-1
Let p(s) = s**3 - 4*s**2 - 7*s - 4. Let u be p(6). Solve 8*h + 11 = -2*k + 7*h, h + u = -5*k for k.
-5
Let q(i) be the first derivative of 5*i**2/2 + 43*i - 33. Let f be q(-6). Solve 4*x - 18 = -2*p, 0 = -3*p - 0*p + x + f for p.
5
Let h = 25 + -6. Suppose 0 = -4*q - 2*b + 22, -q - 4*b + 5 = -18. Solve 2*k = -0*k + 5*t + 5, -q*k - 4*t = -h for k.
5
Let n(v) = -2*v**3 - 13*v**2 - 8*v - 10. Let y be n(-5). Let g = -12 - y. Solve -3*x = -3*d + 2*x + 37, 2*d - g = 5*x for d.
4
Let z(s) = -s**2 - 8*s. Let j be z(0). Solve 0*t - 12 = 2*v + 5*t, -v - 3*t - 8 = j for v.
4
Let m be (-2)/((-6 + 15)/(-9)). Solve -4*j - 2*l = m, -4*j - l = -0*j + 5 for j.
-2
Let o(i) = -i**3 + 9*i**2 - 6*i - 15. Let c = 24 + -16. Let z be o(c). Solve 3*u - q + 11 = 0, -5*q = u + 2*u - z for u.
-3
Suppose -3*w - 13 + 34 = 0. Suppose 4*n - w*n = -15. Suppose 2*d - 6 = -d. Solve 1 = -d*g - 1, a - g - n = 0 for a.
4
Suppose 4*k - 48 = k. Solve 5*x + k = -5*w - 4, 3*x = -5*w - 16 for w.
-2
Let z(n) = -n**3 - 19*n**2 - 66*n + 60. Let k be z(-14). Solve k*f - 12 = -4*x, x - 11*f = -16*f + 11 for x.
1
Let t = 1244 + -1241. Solve -2*n + 7 = 3*n + y, t*n - 2*y - 12 = 0 for n.
2
Suppose -14*w - 21 = -17*w. Let f be 12/4 - (-2)/(-2). Suppose 2*i = -v + 4 + 10, f*i - 30 = -5*v. Solve k - 2*p = -2*k + w, -5*k = -5*p - i for k.
5
Suppose 28*r = 3 + 137. Let t be (-195)/6 + 2/4. Let u be 1/(-3) - t/6. Solve -7 = -0*k - 2*k - r*y, 0 = u*k - 2*y - 3 for k.
1
Let u = 77 - 56. Solve 3*t + t + u = 5*x, -1 = 4*t - x for t.
1
Let h(m) = m**3 + 22*m**2 + 21*m + 16. Let r be h(-21). Solve -5*t - 14 = 2*c - 0*c, 3*c = -5*t - r for t.
-2
Let r be ((-696)/(-435))/(4/(-10)). Let l(a) = a + 6. Let u be l(6). Let j be (1 + r)/(u/(-64)). Solve 3*n = -4*q + 14 - 3, q = 3*n - j for q.
-1
Let j(a) = -a**3 + 10*a**2 - 14*a - 13. Let v be j(8). Solve -3*x + v*i - 4 = 2*i, -4*x - 3*i + 12 = 0 for x.
0
Suppose -7 = -4*o + 5, 5*g - o - 12 = 0. Solve 0 = -2*r - g*f + 2, -2*r + 16 = -6*r - f for r.
-5
Suppose x - 48 + 41 = 0. Solve -3*o + x*o + 3*w = 14, 8 = 2*o + 2*w for o.
2
Suppose -5*w = 3*o - 55, -3*w + 56 = 4*o + 12. Solve 2*g + 0*p - w = p, 4*g + 2*p = 0 for g.
2
Let t(q) = q**3 + 11*q**2 - q - 6. Let g be t(-11). Suppose -3*b + 5*f + 38 = 0, 0 = -5*f - 0*f - 5. Solve -3*o - b = g*p, 2*p = -4*o + 2 - 12 for o.
-2
Let t(f) = f**2 - f - 4. Let p be t(0). Let z be (2 + -2)*p/(-8). Suppose 0 = 2*r - 10 - 0. Solve w + 2*w + 3*u - 27 = z, 4*w + r*u = 40 for w.
5
Suppose -7*k - 30 = -37*k. Solve 5*l = -r + 5, 6 = r - 5*l + k for r.
5
Suppose -3*j + 28 = -4*j - 4*m, 5*j = -3*m - 55. Let t = 8 + 5. Let a = j + t. Solve 3*g = -5*p - 27, g = a*g + 16 for p.
-3
Let s(c) = c**3 - 29*c**2 - 34*c + 123. Let j be s(30). Solve -2*q - 2 = j*m + 2*q, 4*q - 4 = 0 for m.
-2
Let y(x) = x**2 + 30*x + 56. Let t be y(-2). Solve 12 = w + 2*w - 5*r, -5*w - 3*r + 20 = t for w.
4
Suppose 8*c - 4*c = -332. Let s = c + 95. Let i = -5 - -7. Solve s = 2*u - k + i*k, u + 4*k - 13 = 0 for u.
5
Suppose 0 = -2*c + f - 3, -f = -3*c - 5 + 3. Solve 2*x + c = -2*z + 3*x, 0 = 2*x - 10 for z.
2
Suppose l - 5 = 3*k, 3*k - 4 = -4*l + 16. Solve l*o + 10 + 0 = 4*p, -3*o - 3*p + 21 = 0 for o.
2
Suppose 13 = 4*m - 0*o - o, -4*m + 5*o + 33 = 0. Let r be 76/(-19) + 18/m. Solve x + r*b - 4 = 10, 4*x - 14 = b for x.
4
Let a = -8 - -17. Suppose 5*c = 3*b - 25, -12*b + 15 = -13*b - 3*c. Solve -r + z - 5*z + a = b, -5*r - 3 = 4*z for r.
-3
Suppose 7*k = 10*k - 9. Let u(p) = p + 1. Let b be u(k). Let j = -6 - -23. Solve b*n + 5*v + 3 = -j, -2*n - 5*v = 10 for n.
-5
Let n(x) = -x**2 + 4*x + 2. Suppose -3*a - 20 = -8*a. Let z be n(a). Solve k - 4*w = -5, -k - 3*w - z*w = 5 for k.
-5
Let t = 912 + -909. Solve 3*h + 12 + 3 = 3*a, 2*h - t*a + 14 = 0 for h.
-1
Let n = -9 + 15. Let b be (n/7)/((-30)/(-140)). Solve b*l + 5*h = -10, -l = -0*h + 3*h - 1 for l.
-5
Let d(x) = -x + 1. Suppose -2*t + 19 = -3*a - 3, 0 = 2*a - 5*t. Let i be d(a). Let l = 6 + i. Solve -5*b - 45 = 5*q, -2*b = -b + 3*q + l for b.
-5
Suppose o = 8 - 7, 0 = -w + 3*o + 6. Let y be w/45*(9 + 1). Solve -c + u = -0*c, -y*u - 5 = -3*c for c.
5
Let h(w) = -w**2 + 8*w - 11. Let q be h(5). Solve y + q*v = -12, 4*y - v = -0*v + 20 for y.
4
Suppose 4*g = 63 - 39. Solve 2*n + 8 = -2*a, -g = 5*a + n + 6 for a.
-2
Let n = -4 + 8. Suppose 0 = -2*h, 44 = 5*m - 4*h - 21. Let c be m + -13 + (1 - -4). Solve -c*u = -4*a - 4, a + 0*a = -n*u - 1 for u.
0
Let j(c) = -1. Let b(x) = x - 10. Let n(w) = -b(w) + 2*j(w). Suppose -3*f - 7 = -25. Let k be n(f). Solve -k*v - 9 = -5*s, v + 0*s = s - 3 for v.
-2
Suppose -5*y = 15, -4*y = 1936*o - 1933*o - 33. Let w(x) = -x**2 + 9*x - 7. Let m be w(7). Let s = -2 + m. Solve -s*f = l + o, 3*f + 15 = 5*l - 22 for l.
5
Suppose 4*c - 5 = -3*g + 2*c, -2*c = -g + 15. Suppose 0*s = g*s. Suppose -6 - 14 = -4*p, s = 2*j - 2*p. Solve 2*u - 2*w + 8 = -0*u, -j*w = -2*u - 14 for u.
-2
Let x(z) = 5*z**2 + 16*z + 17. Let d(o) = -9*o**2 - 31*o - 34. Let u(h) = 4*d(h) + 7*x(h). Let f be u(-10). Solve 3*t - 2*n = -4, -f*n + 5 = -4*t - 2 for t.
2
Let o(w) = w**3 - 22*w**2 - 2*w + 51. Let c be o(22). Let f(q) = -2*q - 5. Let z be f(-5). Solve -2*j + y - c = 0, j + z*y - 24 = -0*j for j.
-1
Suppose -234 = 124*o - 142*o. Let b(z) = z**2 - 6*z + 2. Let s be b(6). Suppose -s*v - 1 = -5, o = r + 4*v. Solve -2*g - 3*d - 11 = -0*d, -5*d = r for g.
-4
Let o(x) = -4*x - 43. Let t be o(-15). Solve 3*s + w = t, 4*w + w - 21 = s for s.
4
Let q = 1434 - 1425. Solve 5*w = b + 1 + 8, 3*w - q = -3*b for b.
1
Let l be (-105)/28 - 1/((-4)/3). Let o(t) = 2*t**2 - 7*t - 14. Let j be o(l). Solve j = 5*k, -3*f - 4*k = -18 - 8 for f.
2
Let i = -59 + 59. Let x = 23 - 12. Solve 4*k + 1 + x = 3*o, i = -4*k for o.
4
Suppose 4*b + 0*b = 24. Let l be 2 + (b/(-9))/(4/(-18)). Solve -l = 2*u + n, 0 = -2*u + 2*n + n + 7 for u.
-1
Let z = 260 + -260. Solve z = -y - 5*j + 3, 4*y + 0*j = 4*j + 12 for y.
3
Let t(a) be the third derivative of a**4/24 - a**3 - 30*a**2. Let z be t(10). Solve z*j - 3*v + 2*v = -24, -v = -2*j - 14 for j.
-5
Let p be (-4)/14 + (-847)/(-49). Suppose -23 - p = -2*x. Let l = 27 - x. Solve -4*o = 5*c - c + 4, -4*c - o = l for c.
-2
Suppose -3*t = -2*h - 74, -2*t - 4*h + 6 = -t. Suppose -5*p + n = -t, 5*n - 32 = -4*p + n. Solve 6*o - 2*o - 13 = c, 4 = p*c + 3*o for c.
-1
Let w(g) = g**3 + g**2 + 3*g + 77. Let v be w(0). Let d = -74 + v. Solve 0 = -5*n - l + 3, 0 = 2*n + 2*l + d*l - 15 for n.
0
Let n(v) = v**2 - 12*v + 11. Let y be n(11). Let w = 2 - y. Solve 4 = -2*h - 4*l + w*l, 2*h = 2*l - 8 for h.
-3
Suppose 13*p - 95 = -43. Solve g - 2 = 4*u + 10, -4*u + p = 3*g for u.
-2
Let w(k) = 2*k**3 + k**2 - 19*k - 4. Let g be w(3). Solve 0 = 5*a + 3*z - 0 + 6, -g = -2*a + z for a.
0
Let u be (4 + 265/(-10))*2. Let y = -40 - u. Solve -v - 6 = f, -3*f + 3*v - 17 = y*v for f.
-5
Let f be 5*(27/18 - 1/(-2)). Solve 5*n - 10 - f = -k, -4*n + 5*k - 13 = 0 for n.
3
Let g = -31 - -51. Suppose -65 = -5*b - 35. Let t be 25/(-10)*b/(-5) - -2. Solve -6*x + x + 4*q + 16 = 0, -t*x + g = -5*q for x.
0
Suppose 9*y - 47*y = -190. Solve y*a - 2*p = p - 10, 3*a + 4*p = -35 for a.
-5
Let p(a) = -2*a**3 - 4*a**2 - 2*a + 1. Let o = -11 + 9. Let r be p(o). Solve -5 = r*x + 5*j, 3*x + 2 = x + 5*j for x.
-1
Let k be (((-36)/(-15))/2)/((-33)/(-110)). Solve 9 = v - 0*q - 2*q, k*q = -12 for v.
3
Let p(d) = d**2 + 5*d + 5. Let w be