pose -y + 19 = 2*i + 2*y, -3*i + 2*y - 4 = 0. Solve 5*z = 3*a + 22 - 6, 0 = -a - i for z.
2
Suppose -1 = 5*q - 11. Suppose 0 = -9*c + 56 - 29. Solve 2*j = h + q, -2*h + c*h = 3*j - 5 for j.
3
Let d(m) = -4*m - 25. Let s be d(-23). Let f = s + -64. Solve -2*r = 3*t, t + 1 = -f*r - 3*t for r.
-3
Let j be 18/27 + 100/12. Let a(t) be the first derivative of -t**2/2 + 12*t - 1. Let w be a(j). Solve -2*m + w*r = 5 + 5, -2 = 4*m + 3*r for m.
-2
Let b = -116 - -121. Solve -b*o + 5 = 0, o + 15 = -4*z - 0*o for z.
-4
Let c = -315 - -317. Solve -2*f = -4*t - 6, 4*t + c*f = t + 6 for t.
0
Let g be -11 + -4*(-2)/4. Let b = g + 12. Solve -5*p = -b*u + 34, -2*p - 3*u = -4*p - 19 for p.
-5
Let d be ((-38)/4 - -2)*(-48)/24. Solve -3*t + 3*s - s - d = 0, -4*t - 5*s = 20 for t.
-5
Suppose -4*s + 8 = -2*s. Suppose 5*c - 3*h - 13 = 0, s*c - 2*h = 9*c - 8. Solve -p - 5*q - 7 = -c, 3*q = -3 for p.
0
Suppose 0 = -28*r + 33*r - 25. Solve -x = -0*p - r*p - 16, p = -4*x - 20 for x.
-4
Suppose 18 = 2*b + 4*g - 44, -36 = -b + 3*g. Suppose -13 = 5*h - b. Solve -c - h*u + u = -19, -u - 15 = -5*c for c.
4
Let o = 1504 + -1496. Solve -4*z + 2*y + 28 - o = 0, -z + 2*y = -11 for z.
3
Suppose 3*x = -y - 5, -x = -5*y + 102 - 63. Solve 0 = -n - 5, 7*z = 3*z + n - y for z.
-3
Suppose -9*p = -29*p - 0*p. Solve -5*x - 5*i = p, -i + 15 = -4*i for x.
5
Let o = -131 + 131. Solve o = -4*v + 4*n, -v + n = -n - 2 for v.
-2
Let n(m) = m**3 + 9*m**2 - 37*m - 160. Let p be n(-11). Solve f + k = -2, -f - f = p*k - 5 for f.
-5
Suppose -30*s + 36*s = 102. Solve -26 = 4*q - 2*j + 5*j, -3*q - s = j for q.
-5
Let d = -9 - -39. Let v = d - 20. Solve 5*k + 1 = 3*g + 7, k + v = -5*g for k.
0
Let g(k) = -2*k**3 - 25*k**2 - 19*k - 82. Let t be g(-12). Solve -5*o - 3*w = -4*w + 4, 2*o - 8 = -t*w for o.
0
Let o = 1 + 1. Suppose 0*z = -o*z + 4*g + 12, 5*z + 3 = -g. Suppose -3*t + 24 + 36 = z. Solve -4*l = -t, -2*j - l + 6 - 3 = 0 for j.
-1
Let u = -3 + 7. Suppose 0*f - 3*f - 4*n = 65, 0 = 3*f + 5*n + 70. Let s be 4*1 - (f - -17). Solve 8 = -2*b - 2*y, s = 2*b - u*y + 4 for b.
-3
Let w = 846 - 845. Solve -a + 2*r + w + 3 = 0, 5*a = 4*r - 4 for a.
-4
Let s = 26 + -23. Suppose 2*m - s*u - 31 = 0, -84 = -5*m + 4*u - 3*u. Suppose 5 - m = 3*f, 4*f + 16 = -4*q. Solve 2*i + 3*r - 4 = -1, -4*i - 4*r = q for i.
-3
Suppose 24 - 84 = -20*o. Solve o*g - 1 + 4 = -3*q, -q = 3*g - 3 for q.
-3
Let q(s) = 9*s**2 - 82*s + 10. Let p be q(9). Solve n = p, -4*x - 2 = -2*n + 8 for x.
-2
Let n(u) = 5*u**3 + u**2 - u. Let d be n(1). Suppose o + d = 2*o. Let h = o + 2. Solve 0 = -3*y - 5*b + 8 - 31, y = 2*b + h for y.
-1
Let g(t) = 3*t**2 - 78*t + 82. Let k be g(25). Solve l + 5 = o, 3*o = 5*l + 16 + k for l.
-4
Let y be 10/(-2) - (12 + -21). Let n be 117/26 + (-6)/y + 2. Solve -2*w + n*o - 15 = 0, 3*o - 3 = 2*o for w.
0
Let t be (-14)/21 - 69/(-9). Suppose 0 = -9*u + 38 + t. Solve -3*y + 2*f + 18 = 0, -3*y + u*f + 5 + 22 = 0 for y.
4
Suppose q + 5*d = -11 - 3, 4*q + 5*d + 11 = 0. Suppose -2*f + 3*f - 1 = -b, 5*f = -4*b. Let l be f/(-4)*3 + q. Solve -5 = 3*w - 4*o, -5*w - 2*o = 21 - l for w.
-3
Let q = -4 - -10. Suppose l + q*l - 56 = 0. Solve 5*r - l = 2*x + 6, 0 = x + r - 7 for x.
3
Let u(n) = n - 5. Let z be u(10). Let j(b) = 2*b - 11. Let p be j(8). Suppose -m + 40 = 4*c - 0*m, 4*m = -c - p. Solve -y - c - 7 = -z*h, 2*y = -2*h for h.
3
Let k(p) = -p**3 + 2*p**3 + 2*p**3. Let v(n) = 2*n + 13. Let z be v(-6). Let f be k(z). Solve 2*a - f = 3*q - 1, 4*a = 4 for q.
0
Suppose 0 = -t - 5*v - 12, -4*t + 19*v = 23*v. Solve 0 = -4*m + 2*d + 16, t*m - 6*m + 4*d = -17 for m.
3
Suppose -150 = -11*r - 7. Solve 3*b + b = -5*f - r, -2*b = -6 for f.
-5
Let t = 586 + -564. Solve 5*y + 3*c + t = 0, -2*c - c = y + 14 for y.
-2
Let c(y) = -30*y**2 + 1. Let f be c(-1). Let h = -24 - f. Suppose -3*w + o = 2*o - 27, 0 = 5*w - 4*o - 28. Solve -h*v - 40 = 5*i, 26 = -i - 3*v + w for i.
-3
Suppose 4 = -d - 5. Let z(p) = p**2 + 7*p - 18. Let g be z(d). Suppose -5*u + 30 = r + r, -3*r + u + 11 = g. Solve -3*a + r = -w, -5*a + 4 = -3*w - 3 for a.
2
Suppose -68 = -9*n - 8*n. Solve 0 = -v + 4*g + 11, -3*v + 0*v = -n*g - 17 for v.
3
Let s(c) = -3*c**2 + c. Let z be s(2). Let l = -9 - z. Suppose 3*t = -n - 2 - l, 5*t + 5 = 0. Solve n*k + 10 = -2*k + 3*w, -5*w = 5*k for k.
-2
Let h = -39 - -63. Suppose h*o - 27*o = -60. Solve -11 = 3*s + 2*t, 2*s + 4*t = -2*s - o for s.
-1
Let i = 13 - 13. Let l be i + -1 + 60/20. Let f = l - -3. Solve 2*v - 14 = f*r, -2*v + 0*v = -4*r - 12 for v.
2
Let v = 2 - -49. Let m = -36 + v. Solve 5*s - m = -5*w, 14 = -2*s + 3*w + 5 for s.
0
Suppose -2*s + 6*s - 5 = -3*p, 4 = s - 2*p. Suppose 2*w = -s + 2. Solve 0 = -j - 5, w*l + 2*l + 2*j + 8 = 0 for l.
1
Suppose -2*l - c + 11 = 3*l, -2*l + 3*c = -1. Suppose -7*w = -3*w - 12. Suppose w*a + 8 = 7*a. Solve -3*j + 9 = 4*v, -4*v + a*v - 4*j = -l for v.
3
Let q = 593 - 564. Solve -5*s = -3*d - q, 0 = -0*s - 3*s - 2*d + 6 for s.
4
Let u(p) = 9*p - 371. Let n be u(43). Solve -4*w = -n, -q + 3*w = w + 9 for q.
-1
Let d(y) = -y**3 - 5*y**2 + 6*y. Let i be d(-6). Let h be i + 6*4/8. Let o = 9 - 6. Solve -6 = s + h*f, o*f - 7*f - 19 = 5*s for s.
-3
Let y be (-102)/(-21) + -1 - 3/(-21). Solve -4*n - 2 = n + m, n - y*m = 8 for n.
0
Suppose 3*o = -33 + 39. Solve 3*a + 6 = x + o*x, 5 = -a - 2*x for a.
-3
Let n(m) = -2*m**2. Let a be n(-1). Let h be a - (-2 - (1 + 1)). Solve -3*o + 5 = -8*o + h*p, -4*o = 4*p + 4 for o.
-1
Suppose 0 = -548*g + 557*g. Suppose -12 = -4*s + 12. Solve t + 4*p = -t + s, -2*t + 2*p = g for t.
1
Let q(h) = -24*h**2 + 26*h - 1. Let j be q(1). Solve 10 = -v - 4*m, 2 + j = -m for v.
2
Let n = -61 + 85. Let r be ((-3)/2)/((-3)/n*6). Solve 16 = -0*z - 4*z - u, 5*u + 8 = -r*z for z.
-4
Suppose -v = 2*v + t - 13, 5*t - 32 = -4*v. Suppose 20*d + 12 = 24*d. Solve h - d = 2*l, -2*l = -v*l - 1 for h.
1
Let q be 2*((-6)/(-4) + 1/2). Let f = q - 4. Solve 15 = 3*t + 5*z, 2*t + f*z - 3*z = 10 for t.
5
Suppose -5*c + 4*c = 3*b - 11, -5*c + 11 = 4*b. Suppose s + 4*t + 43 = 6*s, -2*t - 4 = 0. Solve -3*z = -2*q + s + 3, 0 = -b*z - 5*q + 25 for z.
0
Let a = -256 - -261. Solve 15 = 3*u + a*d, -4*d + 4 + 1 = u for u.
5
Let g = -52 - -56. Suppose -g*q + 8 = -0*q. Solve -q*v - m - 1 = -0*v, -2*v = -m - 1 for v.
0
Let z(r) = -r**3 - 13*r**2 + 13*r - 8. Let f be z(-14). Let w = f - 3. Suppose w*y - 27 = -2*l - l, 3*l + 5*y = 35. Solve 3*d - 2*b - 3 = 5, b = 2*d - l for d.
2
Suppose 4*y - 8 = 2*y. Solve -2*o + 14 = -2*c - 4*o, -y*c - 5*o - 31 = 0 for c.
-4
Suppose 0 = -5*t + t + 80. Suppose g = t - 15. Solve -r = g*c - 23, 5*c + 3*r = r + 26 for c.
4
Suppose -117*c + 197*c - 560 = 0. Solve y - c = -4*d, -16 = -4*d - 6*y + 2*y for d.
1
Suppose -162 = 10*z - 162. Solve -3*g = 0, z = i + 4*g - 2 + 3 for i.
-1
Let d be -15 + 8 + -3 + 13. Solve 5*y - 3 = n, 3*y = -d*n - n - 12 for n.
-3
Let j = 318 + -326. Let r(a) be the first derivative of -a**4/4 - 3*a**3 - 4*a**2 + 3*a - 2. Let d be r(j). Solve -y = 2*m - 6 + 3, -1 = 2*m - d*y for m.
1
Let v = -220 + 227. Solve -4*u + 3*z + v + 9 = 0, 8 = 4*u - z for u.
1
Let f(l) = 3*l + 2 + 17*l**2 - 4*l**2 - 12*l**2. Let j be f(-2). Solve -3*c = -5*v - 8*c + 5, j = -v - 3*c + 5 for v.
-1
Let m be 13 + (-2)/(8/12). Suppose r - m = -6. Solve 0 = -4*n - r*u + 16, -12 = 3*n - 4*n - 3*u for n.
0
Let p = -200 + 200. Solve 2*r + 8 = p, 3*a + 0*r + 2*r = -14 for a.
-2
Suppose 0 = -0*g - 5*g. Let t(c) = -17. Let x(s) = -s + 52. Let j(u) = -7*t(u) - 2*x(u). Let y be j(-5). Solve -2*b + 3*o + 9 = g, 2*b = y*o - 0*o + 11 for b.
3
Let p(i) = i**3 + 10*i**2 + 9*i + 8. Let c be p(-9). Solve 3*o = w + c*o + 24, 12 = -w - 2*o for w.
-4
Suppose -6*f = -2*f. Let z = f + 4. Let v = 19 + -14. Solve 0 = -s + z*t - 3, 3*s - 2*s + v*t = -3 for s.
-3
Let n be (-2)/(-6) + 50/30. Suppose n*t - 5 = 3. Solve 3*z - 13 + 0 = -4*p, t*p - 16 = 0 for z.
-1
Suppose 2*l + 3*l = 10. Suppose 0 = -4*z - 4, 0*h - 16 = -3*h + z. Solve 3*q + 2 - 11 = -l*j, -3*q = h*j for q.
5
Let c(u) = -u**2 - 7*u - 5. Let m be c(-5). Suppose m*o = 7 - 2. Suppose 0*l - l = h + o, -5*h - l = -11. Solve -2*i + 7*i = h*n - 19, -i + 3*n = 11 for i.
-2
Let o = 42 + -37. Suppose -3*j = 2*r - 0*j, -o*r = -3*j - 21. Solve 0 = -5*h - 5*m + 15, -r*h - 8*m + 13 = -3*m for h.
1
Let w(g) = -5*g**2 - 51*g - 6. Let t be w(-10). Solve 