pose 2*s + 30 = 3*l + l, -2*s + 2 = 0. Suppose l = -z*w + 4*w. Solve 5*u - c + 20 = -4*c, -w*c = 20 for u.
-1
Let l(g) = -3 + 2 + 2*g**2 + 7*g**2 - 2*g + 3*g. Let f be l(1). Solve -y - 3*k - f = 0, 5*y + k = 4*k + 27 for y.
3
Suppose 8*q - n - 17 = 5*q, 3*q = -n + 13. Solve q*x - x - u = -16, -2*x - 5*u = 30 for x.
-5
Let u = 301 - 193. Let a be u/30 - (-3)/(-5). Solve 16 + 2 = 5*v - 4*c, -2 = -4*v - a*c for v.
2
Let k = 84 + -82. Solve -3*x - 1 = -c, k*c + 9*x - 4*x = 2 for c.
1
Let a be (-34)/(-9) - (-4)/18. Let p be (-15)/(-12) - (-3)/a. Solve p*t + 13 = -5*o, 12 - 3 = -3*t - 4*o for t.
1
Let b(n) = -2*n**2 + 3. Let j be b(-3). Let z be (j/2)/(-1 + (-1)/(-4)). Solve z + 10 = -5*m + i, -m + 3*i = 4 for m.
-4
Let c(s) be the second derivative of -s + 0 + 1/3*s**3 - 6*s**2. Let v be c(6). Solve -4*z = -9*z + b + 5, 5*z + 4*b + 20 = v for z.
0
Let n be 2 + 10/(-5) + 2. Let u be -6 + (n - (-1 - 0)). Let w be 40/(-15)*u - 3. Solve -10 = -w*m + 2*o, 9 = 2*o - 1 for m.
4
Let q(l) = 14*l - 4. Let a(p) = 42*p - 11. Let k(g) = -6*a(g) + 17*q(g). Let d be k(-2). Suppose 10 - d = -4*b. Solve -b = -4*h - 4*n, -h - 2*n = n + 1 for h.
2
Suppose -5*r = 31*r. Solve r = -t + i + 7, i = -3*t + 2 - 1 for t.
2
Let w(d) be the first derivative of d**2/2 + d + 23. Let b be w(3). Solve 6*f - b*f + 4*u = 14, 4*f = -5*u + 13 for f.
-3
Let n be (36/(4 - 13))/(4/(-5)). Suppose 3*i - 7*i + 20 = 0. Solve -a + 2*a + i*v = 16, -v + 8 = n*a for a.
1
Suppose 0 = -42*r + 39*r + 303. Let l = r - 101. Solve 2*v + 0*v - 11 = 5*z, l = -2*z - 2 for v.
3
Let v = 6 - 4. Suppose v*l - 4 - 4 = 0. Suppose w + 11 = 4*k, -3 = -3*k - 5*w + 11. Solve -6*b - l*a + 25 = -b, -5*a + 28 = k*b for b.
1
Let d(x) be the first derivative of -x**4/4 + 10*x**3/3 + x**2/2 - 8*x - 6. Let v be d(10). Solve -3*a + 5*r - 20 = 0, a + 3*r + v = -0*r for a.
-5
Suppose -2*o = 8, -8*b + 10*b - 3*o = 16. Solve b*a - 4 = 3*l, -l + 1 = -a - 2*a for l.
-2
Suppose 0 = 85*t - 80*t - 5. Let r be (-3 + 1)/(t/3*-2). Solve 4*f - 4 = a, -r*a - 2 = -f - 12 for f.
2
Suppose -27*l - 2 = -28*l. Solve 0 = 5*g - 5*d, -l*g = 3*d + 1 - 16 for g.
3
Suppose -3*b + 13 = -4*g, -4*b = 3*g - 9 - 0. Let j be 1*g - (-9 - 15). Suppose 15*v + 18 - 93 = 0. Solve -5*s + i = -j, 5 = v*i - 5 for s.
5
Let t(i) = 3 - 3 - 4*i - 6. Let q be t(-2). Solve -z + 6 = q*g + 19, -4*g - 11 = -z for g.
-4
Let h = -81 - -105. Solve 5*p = 2*m - h, m - 2*m + 22 = -5*p for p.
-4
Let x = 471 + -467. Solve l = -d + 5*d - 25, x*l = -2*d - 10 for l.
-5
Let g(i) = i**3 - 11*i**2 + 3*i + 74. Let v be g(10). Solve -5*d = 3*y - 2, -3*d - 1 = -v for y.
-1
Suppose -2*d = -4*j + 8, 0 + 12 = 4*j. Solve -r = -2*i - 3*i + 27, -i + 9 = -d*r for r.
-2
Let j be 2 - (-4 - -4 - -2). Suppose 3*q - 5 - 16 = j. Solve -2 = r + f, -3*f = 2*r - 1 + q for r.
0
Let u be 4/5 + (-455)/(-25). Solve -5*q + u = -4*i, 2*i - 4*q + 14 = -0*q for i.
-1
Suppose 0 = -3*j - 6, 2*r + 8*j - 14 = 3*j. Solve y + r = 3*d, -4*d + 13 + 2 = -y for y.
-3
Suppose 20 = -9*z + 5*z. Let q = z + 8. Suppose 2*d = -4*n + 7 + 13, 2*n = 4*d. Solve i = -c - q*i + 16, i - 21 = n*c for c.
-4
Let x(b) = 5*b + 46. Suppose n - 25 = 6*n. Let a be x(n). Solve -3*l - a = 4*r, -5*r - 2 = -4*l + 1 for l.
-3
Let m(x) = x**2 - x - 9. Let p be m(4). Suppose p*k = -2*o + 7*k, -5*k = -5. Solve -20 = -o*s - 2*u + 7*u, 3*s - 7 = -4*u for s.
5
Suppose 0 = 3*b + 59 + 13. Let v = b + 28. Solve 3*a = -2*s - 2, s = -s + v*a + 26 for s.
5
Suppose 0 = -0*i + 2*i - 4. Suppose 31 = x - i*v, 0 = -3*x - 2*x - 3*v + 90. Let p = x - 19. Solve -p*j - 2 = s, -3 - 11 = -3*s + 4*j for s.
2
Let a(i) be the first derivative of i**3/3 - 7*i**2/2 - 13*i - 35. Let d be a(-3). Solve 5*g = -5*z, -d = 3*z - 3*g - 47 for z.
5
Let r be (-782)/(-253) + (-2)/22. Solve 1 = -a, -z + 3*z + a = -r for z.
-1
Suppose -1138*y + 15 = -1133*y. Let v = -5 - -5. Let i be 2 + (1 - -2 - v). Solve n - d = -1, -2*n + 45 = y*n + i*d for n.
4
Let c be (-3)/(-1) - -9 - -3. Let u = 12 - c. Let k be 14 + u/(-1) - -3. Solve 2*o - 5*y = 5*o + 10, k = -5*o - 5*y for o.
-5
Suppose h + 20 = 3*h. Let c be (2 - 0/5)*30/(-1). Let l = -56 - c. Solve -l*v + 15 = -3*i, -i - i + 5*v = h for i.
-5
Let n be (-96)/20 - (-2)/(-10). Let r = n - -7. Solve 5*g - 7 = -c, -5*c = -g + r*g + 13 for c.
-3
Suppose 43 = h - 5*i, -3*i = 5*h - 10*h + 127. Solve 5*m + 3*f = 20, 4*f = 5*m + 3 - h for m.
4
Let g be (-19 - 0)*-5*(-6)/15. Let f = -35 - g. Solve 0 = -5*o - 0*s + 2*s - 31, 5*o - f*s = -34 for o.
-5
Suppose 2 = 2*r - 3*t, 5*r + 15 = -5*t + 45. Let d = 11105 + -11100. Solve 10 = -r*p - 2*u, 2*u - u = -5*p - d for p.
0
Let r be (-42)/(-3)*1 - -1. Let z = r + -12. Suppose -z*s + 5*i = 4, -s = -2*i - 2 + 4. Solve 0 = 3*p + s*u + 1, p - u + 3*u - 5 = 0 for p.
-3
Let p(j) = 15*j - 537. Let g be p(36). Solve g*v = -2*q - 14, 0 = 3*v + v - 4*q + 12 for v.
-4
Suppose -2*a + 2*r = -5*a + 35, -3*a - 5*r = -47. Solve -5*b + 3*x + 28 = -a*b, -5*b = 3*x + 32 for b.
-4
Suppose -4*i + 2*i + 4 = 0. Suppose -i*x + 4 = 2*m - 5*m, -x = 4*m - 2. Solve 2 = x*b - 5*u + 27, u - 5 = -3*b for b.
0
Let v be (4 + -3 - -1) + 6/3. Suppose f + 162 = v*c + 2*f, 0 = 5*c + f - 202. Solve -2*g + r - 6*r + 35 = 0, -4*r = 4*g - c for g.
5
Let h = 1468 + -1466. Let u(v) = v + 4. Let o be u(0). Solve 2*x = t - x - 2, h*x = -o for t.
-4
Let s(n) = 2 + n + 5*n**2 - 3*n + n**3 + n - 5. Let x be s(-5). Suppose 3*z = 2*j + 8, -3*j - 5*z + z = -22. Solve b = -y + x, -j*b + 1 - 3 = -4*y for b.
1
Let a(k) be the second derivative of -k**3/6 + 7*k**2/2 + 11*k. Let z be a(4). Suppose -10*m = -z*m - 49. Solve 3*y + 4*i - 3 = -m, 2*y - 20 = 3*i for y.
4
Let y(t) = -t**3 - 4*t**2 + 11*t + 4. Let j be y(-6). Let a be 74/9 + j/(-45). Solve -2*h + 2*z - 6 = 0, -4*z + a - 4 = 0 for h.
-2
Let g(j) = j**3 + 22*j**2 + 55*j - 34. Let h be g(-19). Solve -4*p + 4 = -3*s, -h*p - 2*s = 3 - 7 for p.
1
Let x(l) = l + 12. Let o(n) = n**2 - 9*n + 11. Let p be o(3). Let b be x(p). Solve -z - b*q = -5 + 24, 0 = -4*z - q for z.
1
Let j = 406 + -402. Solve d - 5*d - 8 = 2*i, j*d - 5*i = -22 for d.
-3
Suppose y = -y + 4. Solve -3*i = 2*s - 2, -s = i + y*s + 4 for i.
2
Let g = -282 + 285. Solve 5*m - g = 3*l + 16, -16 = -2*m + 4*l for m.
2
Let y(h) = h + 4. Let o be y(-2). Suppose o*j = 16 - 4. Solve -d = 4*b - 19, -j = 2*d - 2*b - 4 for d.
3
Let g = 70 - 68. Suppose -4*u - p = g, -2*p = 5 - 1. Solve u*a = r - 5*a + 19, 0 = -5*r + 3*a - 29 for r.
-4
Let p be 1 - (1 - 1 - -1). Let x be (0 + -15)/(-5) + p. Solve -4*u = 5*k + 12, -u = -2*k - 3*k + x for u.
-3
Let i(l) = 2*l + 22. Let g be i(-9). Let s be g + 3/(-15) + 1/5. Solve 0 = 5*k - s*h - 7 + 47, -k - 19 = -3*h for k.
-4
Suppose -19*t + 4800 = 4705. Solve 6 = z + 2*m - 4*m, 5*m = t*z - 15 for z.
0
Let w(z) = -z**3 - 19*z**2 - 17*z + 31. Let x be w(-18). Suppose 5*k + 0*c = c + x, 1 = 3*k - 4*c. Solve 0*i - 4*i + 4*g = -28, -9 = i + k*g for i.
3
Let i = -582 - -591. Solve -2*o = -4*x + 10, -3*x + 3*o = -0*o - i for x.
2
Suppose -80 = -93*t + 83*t. Solve -3*h + 16 = -4*f - t*h, -2*f + 3*h - 8 = 0 for f.
-4
Suppose t - 20 = -0*r - 3*r, -5*t = -5*r - 160. Suppose y - 5*v = t, -y + v = -21 - 0. Solve 3*d + 5*u = -y, -3*u = 2*d + d + 9 for d.
2
Suppose -50 = -15*y + 10*y. Solve z - 5*s = -y, 0 = 2*z - 0*z - s + 11 for z.
-5
Let o be 4/(-6) + 41/3. Let t = 53 - 54. Let f be (-11 - -1)*(-1)/(1 - t). Solve f*z + 35 = -5*r, -2*z + 4 = r + o for z.
-2
Suppose -w + 54 = w. Suppose -2*s - b - 46 = 0, 5*s + 17*b + 117 = 15*b. Let g = s + w. Solve 2*a + 22 = -4*r, -g*r + a - 1 = -r for r.
-4
Let k be (-435)/(-85) - 14/119. Solve -4*g - 14 = 2*q, k = -4*g + q - 18 for g.
-5
Suppose -3*r + 0*n + 5 = 4*n, 5*n = 3*r - 14. Let i = 13 - 8. Let d(h) = 51*h**2 - 16*h. Let m be d(1). Solve -k - o - 4 = -i, -5*k + r*o = m for k.
-4
Let j = 333 - 331. Solve -i - o - 1 = 0, 2*i = 6*i + j*o - 4 for i.
3
Let z be 6/18 + 1 + 8/3. Suppose 2 = 2*o, -15 + 3 = -z*y - 4*o. Solve 5*x + 22 = 2*r + x, 3*r + x = -y for r.
1
Let b = -98 + 106. Solve -2*i - j = 12, b = -0*i + 3*i - 5*j for i.
-4
Let s(i) = -3*i + 3. Let p be s(1). Let t be 4*(-1)/(-6)*(p - -3). Solve -t*q = -4*q - 2*z, 14 = -5*q + 2*z for q.
-2
Let f be 7 + 212/(-28) + 15*20/84. Let a be (-2 - -2)/(1 - 3). Solve j = -f*y - a*j - 6, -y + 3*j = -8 for y.
-1
Let h(q) = -q**2 + q. Let c be h