-3*s = -4*h + 13 for h.
1
Let k(q) be the third derivative of q**4/12 - q**3/6 - 15*q**2. Let s be k(4). Solve -3*w = 2*m + s, 0 = 2*w + 2*m + 4 for w.
-3
Suppose b + 3 = 0, 2*j + 0*j - 12 = 4*b. Suppose j = -3*w + 45 - 45. Solve -2*x + 3*p - 17 = w, 0 = x - p - 4*p + 19 for x.
-4
Let o be -1 - -23 - (6 + -1)/5. Let z be (-3)/9 - (-259)/o. Solve -4*f - 5*v - z = 0, -f + 26 = 4*f - 4*v for f.
2
Let v = -10 + 15. Suppose 0 = 2*t - v*t + 3. Let y be t/(-5) + 42/10. Solve 2*l = -y*k - 6, 5*k + 8 = -3*l + 2 for k.
-3
Let l = 415 + -411. Solve 0*t - 3 = t, 14 = a - l*t for a.
2
Suppose 0 = -5*z + 5*i + 85, 2*i + 12 = z - 2. Solve n = -5*j + 23, -j + z = 3*j for n.
-2
Let h be (-7)/(-105)*1565 - 2/(-3). Let y = 107 - h. Solve l + 4 + 2 = -2*k, -y*l + 2*k = 0 for l.
-2
Let b be (-11)/121 + 34/11. Solve -b*u - 1 - 10 = 4*v, -3*u - 15 = 0 for v.
1
Let u be 81/33 - (-54)/99. Solve 4*z + u*c + 13 = 0, 3*z - 10 = z + 4*c for z.
-1
Let l be (65/(-5) - -4) + 17. Solve -4*o + 16 = 3*x + 5, 0 = 2*x - 5*o + l for x.
1
Let t be 2/7 + (-676)/(-182). Solve 2*h + 3*o + 2*o - 23 = 0, -2*h + t*o - 4 = 0 for h.
4
Let m = -1383 + 1383. Solve 3*p + 9 = 0, m = -4*q - p + 6*p + 7 for q.
-2
Let j be 129/215*10/3. Solve -3*m = -j*h - 21, -2*m - 7 = -4*m - h for m.
5
Let z be (-14)/(-21)*(-36)/3. Let j be (12/8*z)/1. Let p = j + 16. Solve 2*v + 30 = 5*m, -p*m - v + 6 = v for m.
4
Let k(v) = -v + 3. Let h be k(4). Let i be (9/6)/(h/(-22)). Let r be (i/22)/(3/40). Solve 0*u - 24 = -u - 4*s, 4*s = r for u.
4
Let t = -1085 + 1089. Solve -t*z = 4*p - 0*p - 16, 18 = 5*p + 4*z for p.
2
Suppose 0 = 2*d - 24 - 28. Suppose 12*x - 14*x = -d. Suppose x = -f - 5*o, -23 = -5*f + 4*o - 1. Solve -5*y = 5*n - 2*y + f, -3*n + 26 = -5*y for n.
2
Suppose 2*f = -4, h - 150 = -4*h + 5*f. Let p be (-3)/9 + h/12. Solve -5*z = -p*x + 18, 3*z + 11 = -z + 5*x for z.
-4
Suppose -h = -45 + 40. Solve 4*c - 2 = -2*g, -12 + 2 = -g - h*c for g.
-5
Let d = -1687 + 1692. Solve 2*w - 5 - 1 = -2*u, u - d = w for u.
4
Let m(i) = i. Let z be m(3). Suppose 2*r = -3*o + 55, 33 = 4*r + 13. Solve 0 = -n + 2*f - 6 + o, 0 = z*n + 5*f + 28 for n.
-1
Suppose -5*c + 30 = 5*t, -c + 0*t + 5*t = -18. Solve -16 = 3*p - 4*y, -c = 4*p + y - 3*y for p.
0
Let j(x) = -x**2 + 15*x - 10. Let k be j(13). Suppose 0 = -0*u + 4*u + k. Let h be u/(32/(-12))*2. Solve -2*w = -3*f, 0 = -h*w - 0*w + 2*f for w.
0
Let h be (8/(-14))/(2/(-7)). Solve -4 = 5*z - h*s, -3*z + s = -s for z.
-2
Let j(g) = -g**3 - 19*g**2 + 4. Let c be j(-19). Solve -4*b = -2*b + c, 4 = -2*v - b for v.
-1
Let r be (3/6)/((-133)/(-42) + -3). Suppose -5*w + 3*y - 2*y = 0, 3*w - 3*y + 12 = 0. Let g = 2 + w. Solve r*b + 2*b - c = 7, g*c + 8 = 2*b for b.
1
Let s be ((-4)/(-24))/(((-87)/(-54))/29). Let r = 1 - 1. Solve 3*y + 0*x + s*x + 24 = 0, -3*y + 2*x + 1 = r for y.
-3
Let l(d) be the second derivative of -d**5/20 + d**4/2 - d**3 + 7*d**2/2 - 38*d. Let r be l(5). Solve r*x + x = -4*m + 11, 4*x - 8 = -4*m for m.
5
Let n be ((-3)/6)/((-3)/(-12)). Let y = n + 10. Solve 0 = -m + 3*m + y, 2*m = 2*z - 4 for z.
-2
Let l be 111/(12/(-20)*(-20)/(-8)). Let p = l + 79. Solve -2*s - 2 = 3*h - 5*h, 19 = -p*h - 3*s for h.
-2
Suppose -21 = -5*l + 5*v + 14, -3 = 3*l + 3*v. Solve 5*x - 3*x + 4 = 2*j, -l*j = -x - 12 for x.
3
Let b be (-114)/(-24) - 6/(-24). Solve 3*n = -4*s - 8, b*n - 4 = 4*s + 4 for s.
-2
Suppose 0*z + 3*z + 33 = 0. Let x = -1 + z. Let y be (x/(-10))/(16/200). Solve 3*j = y, 2*j = -0*i + 3*i + 7 for i.
1
Suppose 0 = a - 4 - 6. Solve 4*t = -2*x + a, -5*x - 2 = 3*t + 8 for t.
5
Let d = -58 - -66. Let x(v) = -3*v + 11. Let c be x(2). Solve 15 = r + 3*m, c*r - 5*m + d = r for r.
3
Let m be 1/(-1) - (-4 + 4 + -1). Solve 2*l - 23 = 5*s, -2*s + 5*l - 4 - 1 = m for s.
-5
Let v be (5 - -3) + (-6)/(-3). Let i = -5 + v. Solve -i*t = -4*l - 20, 22 = -t - 4*l + 2 for t.
0
Let z(v) = -2*v**2 + 5*v + 9. Let o be z(-2). Suppose 0 = 2*t + t + q, -14 = 5*t - 3*q. Let i be o*(3 + t + -3). Solve -4*s = 4*b + 8, -i + 1 = -2*b + s for b.
2
Let x(y) = -y + 33. Let g be x(4). Solve -5*c = -5*b - 9*c - g, -5*b - 28 = 3*c for b.
-5
Suppose -3*i - 4*j = -29, 3*i + i + 3*j - 27 = 0. Solve y + 3 = -2*q, 6*q = 5*q + i*y + 16 for q.
1
Let k(a) = -a**3 + 14*a**2 - 17*a + 52. Let j be k(13). Solve v - 5*n - 10 = j, 2*v - 2*n - 4 = -0*n for v.
0
Let v(r) = -7*r - 1. Let h be v(1). Suppose 14*q + 44 = 16. Let n be q + h/(-3 - 1). Solve n = s - 4*j - 2, -4*j - 1 = 4*s - 9 for s.
2
Let w = 246 + -243. Solve 2*b + w*b - 20 = 0, -3*n + 16 = 4*b for n.
0
Let c = -146 - -198. Let d be (c/(-65))/((-1)/5). Solve 0 = -p - d*s + 5, 0 = 5*p + 2*s - 4*s - 25 for p.
5
Let o(b) = b**3 + 24*b**2 + 36*b - 173. Let h be o(-22). Solve -2*s - 3*q - 5 - 16 = 0, -4*q = h*s + 29 for s.
-3
Let c(y) = y**3 + 9*y**2 + 8*y + 2. Let l be (7 + -3)*6/(-24). Let x = l + -7. Let p be c(x). Solve 2*v - 3*r = -3, p*v = -3*r - 2*r + 5 for v.
0
Let u be (-2 - 15/(-6))*0. Let k = 10 + -16. Let r be (-60)/(-8)*k/(-5). Solve o - 2*a + r = u, 0*o - a = 5*o + 12 for o.
-3
Let r(y) = y**3 + y**2 + 4*y + 11. Let x be r(0). Solve 2*f = 6*g - x*g - 18, 0 = f - 1 for g.
-4
Suppose -2*b = -138 - 26. Let f = b - 82. Suppose 5*h + 0 = 15. Solve -3*n + 8*n - 2 = -h*l, -4*n + l + 5 = f for n.
1
Let x be (-225)/(-30)*2/3. Suppose -4 = -7*j + x*j. Suppose j*n = -2*f + 24, -18 = -2*f + 2*n + 6. Solve 0 = -5*t + 4*h - 7, -7*h + 3*h + f = 0 for t.
1
Suppose -4*m = 3*t - 28, -3*t + 6*m = 5*m - 38. Solve 4*i + 5 = 3*f, -4*i - 4*f - t = -0*i for i.
-2
Let x(g) be the second derivative of -5*g**3/3 - 5*g**2/2 - 38*g. Let h be x(-1). Solve -b = 2*b + h*j - 15, 3*b = 3*j + 15 for b.
5
Let x be (4/6)/((-6)/(-27)). Let k = 1704 - 1700. Solve -l + 5 + 5 = x*b, -12 = -k*b for l.
1
Let y = -9 - -14. Let q(l) = 2 - 1 + 1 + 10 + l. Let i be q(-10). Solve 0 = y*c - 4*f - 15, f = i*c - 0 - 3 for c.
-1
Let z(v) = v**3 - 30*v**2 - 2*v + 67. Let m be z(30). Solve -2*o = -h - 3, 6*o = 3*h + o + m for h.
1
Let z(p) = 24*p - 284. Let s be z(12). Let o be 1*(-1 + 5) + 1. Let b = -11 + 20. Solve -s*q + b = -o*v, -3*q + 5 = -3*v - 1 for q.
1
Let n be 1 - -11 - 4/2. Suppose 20 = -6*o + n*o. Suppose 0 = -o*b - 4 + 39. Solve -3*t = -4*a + 15, -a + 6*t - 2*t + b = 0 for a.
3
Suppose 4*b + 16 = -3*y - 14, 0 = 2*b. Let i be (-146)/y - 38/(-95). Let p(g) = 5*g**3 + g**2 - g. Let f be p(1). Solve 4*k = f*o + i, 2*o - 3 + 9 = -4*k for k.
0
Suppose -7*u - 2*m = -5*m - 51, u - 4*m = 18. Solve s - 3*k = -5, 2*s + 5 = -5*k + u for s.
-2
Let h = -993 + 1004. Solve -3*p + h = 6*f - 5*f, 3*f = -4*p + 13 for f.
-1
Let l(t) = -t**2 - 7*t + 1. Let o be l(-4). Let i = 12 - o. Let m be 2/i + 17 - 1. Solve -4*v - 2*s + m + 10 = 0, -5*v - 3*s = -31 for v.
5
Let v = -12 - -12. Suppose b + v - 4 = 0. Suppose 5*z + 1 - 16 = 0. Solve 0 = -b*g + 3*g + s + z, -3*g + 5*s = -11 for g.
2
Suppose -2*s + 4*i - 11 + 179 = 0, 3*s - 222 = -4*i. Let c = s + -75. Solve 0 = 4*b + 3*y + 8, 2*y + 35 = -c*b + 7*y for b.
-5
Let q(k) = -k**3 + 6*k**2 - 5*k - 9. Let n be q(4). Solve 5*z + n = 3*d, -z + 2*z + 2 = 2*d for d.
1
Suppose -22*h + 83 + 665 = 0. Let a = -78 + 48. Let p = a + h. Solve 0 = -3*x + 2*k, x + 22 = -4*x - p*k for x.
-2
Let m(r) = -16*r - r**2 - 22 + 8*r - 2*r. Let g be m(-6). Solve 2*l - g = -2*p + 12, 3*p = -5*l + 25 for p.
5
Let i = -18 + 38. Suppose 5*x + 5 = 0, -4*p - 5*x - i = -9*p. Let t = p - 0. Solve -2*y + 3 + 1 = 0, 4*q = -t*y + 18 for q.
3
Let n be 1 - (3 - -2) - (10 + -16). Solve 3 = 2*j + 3*o + 20, 5*j = -n*o - 15 for j.
-1
Let j(f) = f + 17. Let b be j(-13). Suppose 10 = b*l - 5*i + 2*i, 4*i - 28 = -5*l. Solve -5*c + 0*c = -4*q + 21, l*q = -c - 9 for c.
-5
Suppose 4*a - 2*r - 1 = 69, -4*a = -3*r - 65. Let j = 22 - a. Let y(v) = -v**2 - 14*v - 10. Let z be y(-13). Solve 1 = -x, z*d + 0*d + 5 = -j*x for d.
-1
Let x = 157 + -92. Let u = x + -57. Solve 0 = w, -4*h + 3*w + w + u = 0 for h.
2
Let d = 428 - 740. Let y(a) = 14*a - 143. Let x be y(7). Let n be 36/x - d/15. Solve 0 = t - 2*t + b, -t - 3*b = n for t.
-5
Suppose 388*u - 98 = 374*u. Let z(c) = c + 5. Let w be z(-4). Solve 2*h - 2*t = -w + 3, 4*h = t + u for h.
2
Let u = -4 - -21. Suppose -16 - u = 3*l. Let i = 15 + l. Solve 2*a = -i*q + a - 8, q + 2 = 5*a for q.
-2
Suppose -o = 5*x + 1, 0*x - 3*x = -2*o - 15. Let p be (-28)/(-8) - 1*(-