*r + 11 = -5*k + 4*r, 0 = 5*k + 5*r - u for k.
1
Suppose -h + 3 - 1 = 0. Let t(n) be the first derivative of 2*n**2 - 5*n - 20. Let l be t(h). Solve -u = l*y + 14, u = y - u for y.
-4
Let m(z) = -76*z - 758. Let b be m(-10). Solve 0 = -b*p + q - 7 - 3, -2*p + 4*q = 22 for p.
-3
Let h(n) = -22*n - 84. Let b be h(-4). Solve -4*i - 6 = -3*d, -5*d + 8 = -d - b*i for d.
2
Suppose 5*z - 49 = -4*s - 27, 3*z = s + 3. Solve 2 = -c - 2*n, -2*n = -s*c - 7*n - 5 for c.
0
Let o be ((-25)/30)/(3/(-36)). Suppose n + 18 = 3*n + 3*g, -3*n + 8 = -5*g. Let t = -4 + n. Solve -t*s = -3*b - o, -6*b = -2*b + 2*s + 4 for b.
-2
Let o be (23 - (1 - -9)) + -1. Solve -5*d = -5*w + 15, -4*d - 5 = w + o for w.
-1
Let n be 1*((-24)/(-3))/(-1). Let t = 23 + n. Solve 4*v - 2*g + 5*g - t = 0, 0 = 4*v + g - 5 for v.
0
Let r(x) = 26*x + 237. Let b be r(-9). Solve d - 6 = -b*h + h, 0 = 5*d - 4*h + 12 for d.
0
Suppose -3*l + 3*q = -37 - 2, l = -4*q + 28. Suppose -17*x + 5 = -l*x. Solve -x = -4*s + 3, 0 = -4*h + 5*s + 6 for h.
4
Let u(x) be the second derivative of 0 - 3*x + 7/2*x**2 + 1/6*x**3. Let b be u(-5). Solve 0 = -y + 4*v, -4*y - 4 = -b*y - 4*v for y.
-4
Let g be 6/2*-1 + 6. Let y be 0*(2/8)/((-9)/(-18)). Suppose -3*m + 3*i = y, -4*m + 2*i - 6*i + 8 = 0. Solve 3*w = -4*k + m, -4*w = w + g*k + 13 for w.
-5
Let n be ((-14)/4)/(3/(-6)). Suppose n*h = 5*h + 4. Let c = 92 - 92. Solve h*i + 13 = -k, -5*i = -c*k + 2*k + 30 for i.
-4
Let n = 34 + -24. Let w be (-2)/(-10) + 248/n. Solve 3 = 4*d - 3*f, 0 = -4*d - d - 2*f - w for d.
-3
Let r(k) = -2*k**2 + 6*k + 5. Let o(d) = d**2. Let q(m) = -3*o(m) - r(m). Let v be q(-5). Let x = 5 - v. Solve -3*t - 19 = x*b, -4*t = -b - 15 + 2 for t.
2
Let u be -3 - (25/(-5))/1. Suppose -5*m = 5*w, m + 0*m = 5*w + 24. Let h be 1/((1 + 0)/m). Solve -h*j = -2*q, 2*q - 3*j + u = -0*q for q.
-4
Let l = -14 + 22. Suppose 5*o - l = 2. Solve -2*h - 2*a = -0*a - 16, 0 = -o*h + 2*a for h.
4
Let v(i) = -i**2 - 14*i + 75. Let s be v(-18). Solve -s*m + 3*a + 12 = -0*a, 0 = -5*m + 3*a + 12 for m.
0
Let f be (-7 - -9 - 7)*(1 + -2). Solve -f*v - 4*y = 35, -y = 2*v - 4*y - 9 for v.
-3
Let u be ((-12)/(-3) + -3)*98. Let d be -30*(-2)/7 - (-42)/u. Solve i - d = 4*j + 6, -i - 3*j - 13 = 0 for i.
-1
Suppose 2*b = -3*b + 105. Let z be (-36)/b*(-14)/4. Suppose u = z*u. Solve -2*p + 10 = u, -4*h + 1 = 3*p - 2 for h.
-3
Suppose 2*o - 118 = 4*j - o, 0 = -j + 2*o - 32. Let r = -28 - j. Solve 5*t + 5*h - 25 = 0, -2*h - 1 + 5 = r for t.
3
Suppose 3*n + 12 = 4*n. Suppose -4*o - 4*t = -20, t = -3*t + n. Let s = -8 - -11. Solve 4*w = q + 4, 5*w - s*q = o*w - 6 for w.
2
Let m(r) = r**2 + r - 147. Let u be m(12). Solve -3*g + 2*g = 3*d, -3*g = u for d.
1
Suppose -21*m + 177 = 72. Solve -i + 0*v + 2*v - m = 0, 0 = 2*i - 5*v + 14 for i.
3
Suppose 4*v - v + 9 = 0. Let b be 3 - (3 - (v + 6)). Suppose -x = 1 - b. Solve -6*w + 17 = -2*a - w, -x*a - 8 = -2*w for a.
-1
Let q(b) = -6*b - 46. Suppose 4*m = 2*m + d - 23, -3*d - 30 = 5*m. Let r be q(m). Solve -o = -3*t - 2, -t + 3*t - 3*o = r for t.
-2
Let q(i) be the third derivative of i**5/15 + i**4/24 - i**3/3 - 5*i**2. Let s be q(1). Solve -3*r = -5*r + t - 4, -3*r = s*t + 6 for r.
-2
Let k(i) = 2*i - 3. Let w be k(3). Suppose 4*j = 5*c, w*j + j = -2*c. Solve -7 = -v + 3*r, -4*v + 2*r + 0*r + 18 = c for v.
4
Let y = 800 - 797. Solve 2*x - 11 = y*k + x, -5*x - 40 = 4*k for k.
-5
Let t be ((-78)/3 - 4)/(-1). Let s = -26 + t. Solve -4*z + 3*k = -11, -26 = z + s*k + k for z.
-1
Let s(r) = -r**2 - 14*r + 31. Let h be s(-16). Let p be (h/(-3))/((-5 + 7)/18). Solve 3*n - 5*f + p = 15, 0 = -f for n.
4
Let m = 986 + -983. Solve 0 = -m*s + 2*o - 17, -4*o + 3 = -1 for s.
-5
Let o be 0*(-9)/(-54) - -4. Solve o*c = 4*d + 20, 5*c - 15 = 3*d - 0*c for d.
-5
Let s(d) = d**2. Let t be s(-2). Let v be (t/15 - (-2)/5)*3. Solve i + 4*f - 8 = -0*i, i - 2 = -v*f for i.
-4
Let p(l) = 3*l + 20 - 6*l + 2. Let k be p(6). Solve k*z = -3*m + 1, -5 = z - 4*m + 3*m for z.
-2
Let l(q) = 2*q + 2. Let r be l(3). Suppose 23*u = 9*u + 70. Let i = u + r. Solve 0 = 5*p - 4*x - i, -2*p + 5*p - 11 = 4*x for p.
1
Suppose 0 = -24*j - 20*j + 308. Solve d + a = -1, -d + 2*a = -6*d + j for d.
3
Suppose 0 = -5*u - 14 + 54. Suppose u = 2*z, -t - 2*t + 23 = -z. Let v = t - 4. Solve -5*y = -4*q - 7 - 12, 0 = -2*y - v*q + 1 for y.
3
Let m be (-10)/7*189/(-54). Let g be 161/35 + (0 - (-2)/m). Solve s + 29 = g*j, s + 4*j = 5 + 11 for s.
-4
Let s(q) = -2*q**2 + 50*q - 87. Let a be s(22). Solve 20 = -3*u + y, u = -3*u + 5*y - a for u.
-5
Suppose -27 = 19*a - 20*a. Let i = 31 - a. Solve 0 = -i*u - c - 6, u - 5*u - 5*c + 2 = 0 for u.
-2
Let t = 4 - 2. Let l(m) = 2*m + 3. Let j be l(0). Suppose t*r = 7 - j. Solve -4 = u, -g + u = r*g + 2 for g.
-2
Let m(p) = -p**2 + 8*p + 5. Let x be m(8). Solve 0 = x*c + 4*t - t - 1, -c + 2*t - 5 = 0 for c.
-1
Let u(c) = c**3 - 2*c**2 - 4*c + 7. Let t be u(3). Let i = 17 + -12. Suppose i*q = -2*q + 21. Solve -t*m = -4, -5*m = b + b + q for b.
-4
Suppose -3*u - b = -8, -u - 16 = 15*b - 10*b. Solve 0 = -0*r - 2*r - 3*y - 21, u*r + 27 = -3*y for r.
-3
Suppose y + 8 = t - 2*t, 0 = -3*y - 2*t - 24. Let x be (-175)/y + 12/96. Solve -3*m = -2*v - x, -2*v + m - 14 = -0*m for v.
-5
Let n be 6*((-6)/(-9) + 0). Let l be (-8)/(-4) - (-21 - (0 - 0)). Solve 7 = u - 2*d, -5*u + 2 = n*d + l for u.
-1
Suppose 3*s + 45 = 5*m, 3*s = 4*m + 3 - 36. Solve 23*n = -2*t + 28*n + m, 5 = 3*t - n for t.
1
Suppose 4*l = -8, 2*v - 4*l + 36 = -0*l. Let w be (-1)/(0 + (-1)/26). Let m = w + v. Solve -m*r + 2*g = 14, -9 = 4*r - 2*r - 3*g for r.
-3
Let g(k) = k**2 - 21*k + 115. Let c be g(11). Solve -3*t = -4*p + 9 + 1, -3*p = -c*t - 2 for p.
4
Let y be (9/((-270)/(-96)))/(2/10). Let z = 20 - y. Solve -z*l - 11 = -3*u, -3*u = -u + 6 for l.
-5
Suppose -26 = -2*k - 5*m, -8*m = -2*k - 4*m - 10. Solve 0*g - k*g + 19 = -5*r, -4*g + r + 14 = 0 for g.
3
Suppose b - 19*b = 0. Solve b*q - 5*a + 11 = -q, -4*a + 11 = -3*q for q.
-1
Suppose -4*a - 17 = -5*r + 141, -r + 2*a + 28 = 0. Let q = r - 30. Solve -4*k + q*n = -0*k - 24, 2*n = 3*k - 17 for k.
5
Let q be 24 + ((-12)/78 - 82/(-26)). Solve -3*a + 4*i = -q, 2 - 3 = a + 2*i for a.
5
Let c(z) = 4*z - 24*z**2 + z**3 + 23*z**2 - 4*z - 2*z + 2. Let x be c(2). Suppose -3*h + h + x = 0. Solve 5*r - 5 = 0, -d = -0*r + r - h for d.
0
Let q = 169 - 24. Suppose 6*u = u + q. Solve 2*x = -5*v - u + 2, 0 = v + 5 for x.
-1
Let y(g) = 7 + 5*g + 8*g**2 - 17*g**2 + 11*g**2. Let p be y(-3). Solve 4*k = k - o - p, 0 = -4*k + 3*o - 35 for k.
-5
Let t = -380 + 384. Solve 0 = -4*l - 20, 0 = 5*k + t*l - 8 + 23 for k.
1
Let v = 31 + -11. Let d = -6 - -10. Suppose a + 15 = d*a. Solve a*w + 5*n = -0*n + v, -2*w = -2*n - 12 for w.
5
Suppose 3*a - 7 = 5*s, 2*a = -2*a + 3*s + 13. Solve k - 3*q = -6, 5*k + a + 12 = q for k.
-3
Let u be -1*2/(-4)*(-176)/1. Let r be u/(-20) - (-6)/(-15). Suppose -22 - 3 = -5*s. Solve -c = -5*h - 4*c - 34, -r*c + 13 = -s*h for h.
-5
Let f = -75 + 80. Solve f*n + 19 + 1 = 3*p, 0 = n - p + 4 for n.
-4
Let w(a) = a + 5. Let t be w(-4). Let l be (-6)/10 + (-24)/(-40). Solve b = -b - 8, -r + b - t = l for r.
-5
Suppose 53 = -3*f + 56. Let n be (-20)/(-6)*f - (-28)/42. Solve 2*i + i = -n*z - 1, -4 = z for i.
5
Let w = 43 + -45. Let d be 6/(2/(-16)*w). Suppose -138 = -3*t - 4*n, -3*n = -5*t - 4*n + 213. Solve b - 13 = 5*v - t, -b = -4*v + d for b.
-4
Let j be 1/2*14 + 3. Suppose -2*r - 4 = -2*c, r + 3*r = c + j. Let m be c/(-10) - (-53)/5. Solve b + 0*p - p - 10 = 0, -p = 3*b - m for b.
5
Let q(h) = -2*h + 1. Let i be q(-14). Suppose i = -0*o + o - 5*x, 3*o + 2*x - 53 = 0. Solve -5 - o = 4*p + 4*u, 0 = 5*p + 2*u + 18 for p.
-2
Suppose -a + 11 = 3*g, -7*a - 5*g = -5*a - 20. Solve -13 = -3*v - j, 1 = -a*v + 4*j - 0*j for v.
3
Let s be ((-15)/9)/((-7)/21). Let y(x) = -x**3 + 3*x**2 + 2*x + 4. Let g be y(3). Let i = -5 + g. Solve i*q - 5*o - 15 = 0, 15 = -4*q + q - s*o for q.
0
Let l = 832 + -832. Solve l = 4*u + q - 23, 12 = 8*u - 5*u - q for u.
5
Let p = 19 - 16. Suppose -28 = i + p*i - m, 5*i - 5*m + 20 = 0. Let d be 2/i + (-39)/(-12). Solve 4*v - d + 1 = -2*x, 13 = -v - 5*x for v.
2
Let y(w) = -8*w + 94. Let q be y(11). Let i be (-1 + 2)/(2/(-6)). Let a = q + i. Solve 3*p + 0*l + l = 16, -a*l = 2*p - 20 for p.
4
Suppose -36*g - 119 = -43*g. Suppose -3*d