 - s - 13 = 0, 5*h + 2*s = -m*s - 16 for h.
-2
Let n(b) = -2*b + 7. Let h be n(-7). Suppose 0 = -5*v + 2*v + h. Let u(s) = -s + 10. Let i be u(v). Solve i*g = 3*f + 6*g, 0 = f + 5*g for f.
0
Let m = -300 + 303. Solve -o - o = -m*p + 14, -4*p = -o - 12 for o.
-4
Suppose 38 = p + 2*u, 2*p - 31 = -5*u + 45. Let f be (-11)/66 + p/12. Solve 0 = -5*m + 2*c - 23, 0 = 4*m + 2*c + f*c - 8 for m.
-3
Let g(z) = 4*z**2 + z - 4. Let r be g(-2). Let m = 12 - r. Solve -6*x = -m*o - 3*x - 11, 4*x - 8 = o for o.
-4
Suppose p = -4*z + 64, 2*z - 6 - 26 = -2*p. Suppose 5*q + 1 = z. Solve -3*f + q*v = -15, 3*v + 5 = -3*f + 2 for f.
2
Suppose 0 = -22*h + 20 + 90. Let g be 12/(1 - 0/(-3)). Suppose 4 = -2*a + g. Solve -a*b + 0*t + t = h, t - 5 = -b for b.
0
Suppose 3*g = -0*g - 12. Let c(b) = -b**2 - 5*b - 2. Let p be c(g). Let d be p + 4/(7 + -3). Solve -m - 5*w = -0*w, d*w = 4*m + 23 for m.
-5
Let j(q) = q - 63. Let z be j(0). Let s = -60 - z. Solve 5*f + s*m - 27 = 0, 0 = 4*f + m - 0*m - 16 for f.
3
Let r be ((-2)/8)/(24/(-384)). Solve 2*o - 1 + 6 = -c, -r*c - 2*o = 14 for c.
-3
Suppose -3*c - 3*u + 21 = 0, 5*u = 8*c - 12*c + 33. Solve -g + 5*b = -10, c*b - 2 = -g - b for g.
5
Let p be (-20)/(-22)*11/4*2. Solve -2*a = -3*h - 11, 0 = -p*h - 4*a - 0*a - 33 for h.
-5
Let k(l) = l**2 - 4*l + 7. Let v be k(5). Suppose 0 = 5*d - 5*q - 10, -3*q - 5 = -8*q. Solve -2*b - 4*s = -v, b + d*s - 8 = -0 for b.
2
Let m(s) = -s**2 + s + 1. Let b(o) = o**3 - 11*o**2 + 13*o + 11. Let f(j) = b(j) - 4*m(j). Let i be f(5). Solve d = -3*c + 4, 2*d + i*d - 4*c = -16 for d.
-2
Suppose -16*n + 9 = -55. Solve 1 = 2*g + 3*g + n*h, -4*h - 1 = 3*g for g.
1
Let a(t) = -3*t**3 - 7*t**2 - 3*t + 2. Let g be a(-2). Solve -g*y - y - 45 = -5*k, -10 = 2*y for k.
4
Let y = -89 - -89. Suppose -4*x + 0*a - 5*a + 48 = 0, y = 5*x + 5*a - 55. Solve p = -d - 3, 3*p = -0*p - 5*d - x for p.
-4
Let p = 5 - -1. Suppose p*l = 5*l + 2. Let v = -35 + 37. Solve -g + 6 = -j, -j - l*g + v - 5 = 0 for j.
-5
Suppose -3*n - 18 = -a, 13 = -2*a - 3*n + 4. Suppose -2*z = a*z. Let r be z*(4/1)/4. Solve -y + r = -3*b + 9, 4*b - y - 12 = 0 for b.
3
Suppose 3 = 52*b - 49*b. Suppose -p + 4*x = b, -p + 6*p = -2*x + 61. Solve -5*n = -g + p + 15, 3 = 3*g for n.
-5
Suppose 0 = 2*i - 2*v - 12, 0*v - 5*v = -3*i + 20. Solve -8 = -2*x + 2*b + 4, -12 = x + i*b for x.
3
Suppose 2*z - 11 = -3. Suppose -4*m + z + 16 = 0. Solve 0 = -4*u + m*c + 10, -4*c + 2 = 3*u - 21 for u.
5
Let y(l) = -16*l**2 - 1. Let f be y(-1). Let o be (-3)/3 + 3 + f. Let r = -11 - o. Solve 5*h + 2*n - 35 = 0, r*h + 3*n - 45 = -2*n for h.
5
Suppose -3*j - g = -17, 214*j = 212*j - 3*g + 16. Solve 4*w - 5*r = 13 + 2, 0 = -j*w + 5*r + 15 for w.
0
Suppose -3*r = -r - 4. Suppose v = r*v + 27. Let m be (-6)/v + 258/54. Solve 4*f + 3*n = 8, -3*f + 1 + 5 = m*n for f.
2
Suppose -4*c + 6 = -2*u, -2 - 11 = -3*u - 5*c. Suppose 0 = -2*r + u + 5. Solve -5*m = -3*h + 19, -r*h + 25 = -4*m + 8 for m.
-2
Let t(c) = c**3 - 3*c**2 + 2. Let g be t(3). Suppose -141*f + 134*f = -28. Solve -g*m + f*r = -14, -r + 0*r = -2*m + 5 for m.
1
Let j(b) = -b**2 - 28*b + 134. Let n be j(-32). Solve -4*f + 17 = 3*w, n*f - 5*f - 17 = -5*w for w.
3
Let s be (-5 + 1)/(4 + -6). Let o be (-8)/(-28) - 4/(-42)*-3. Solve -r - 2 = o, -s*r = -m - m - 4 for m.
-4
Let m(b) = b - 6 + 1 + 4. Let v be m(5). Solve d + v*w + 17 = 0, -5*d + 2*w + 3 = -0*w for d.
-1
Suppose 0*m - m = v, 5*m - 3*v - 32 = 0. Suppose m*p - 4*h = 4, -2*h + 4 + 3 = p. Solve -2 = 5*s + z + 4, -2*s + 1 = -p*z for s.
-1
Let x(u) be the first derivative of -u**3/3 + 5*u**2/2 - 4*u - 7. Let g be x(3). Solve -2*i + 14 = b + 3, -2*b - 8 = -g*i for i.
5
Suppose 0 = n + 5, 0*n + 4*n = 5*p - 45. Suppose -q - 2 = 2*h, 6*h - h - q = -p. Let b be -1 + h + 5 - 0. Solve -31 = 2*k - 5*s, b*k + 4 = 5*s - 30 for k.
-3
Suppose 0 = -5*i + 2*v + 132, -30*v = 2*i - 27*v - 49. Solve 4*o + 3*u - i = 0, 3*u - 4*u = -2 for o.
5
Let i(w) = -2*w**2 + 9*w + 4. Let z be i(0). Solve 0 = -3*r - z*v, 2*r + 0*r - 5 = -v for r.
4
Suppose 4*a = 3*o - 7, 2*o = a + 3*o - 7. Suppose -2*g - v + 18 = v, 0 = -5*g - a*v + 30. Solve -3*r = -4*y + 12, -4*y + r + 8 + g = 0 for y.
3
Suppose -m - 12 = -7*i + 3*i, -8*i - 5*m - 4 = 0. Solve i*y + 4*r - 10 = -12, 4*r + 8 = 4*y for y.
1
Let w(t) = 3*t - 13. Let i be w(15). Let m = i + -16. Solve -2*f + 4*u + 0*u - m = 0, 12 = 3*f + 3*u for f.
0
Let b be 11 - 3 - 2 - 2. Suppose x = 4*x + 4*j - 7, -2*x = b*j - 2. Suppose 0 = -s + x*s. Solve -c - 3*c + 4*h - 36 = s, -5*c - 2*h - 17 = 0 for c.
-5
Suppose 5*m = 5*r + 25, -2*m + 9 - 3 = 2*r. Let y(z) = 21*z - 21*z + 1 - m*z**3. Let s be y(-1). Solve 5*a = w - 0*w + 21, -4*a = -s*w for w.
4
Let d(p) = -p**2 - p + 11. Let r be d(-3). Solve 0 = r*c - q, 2*c + 2*q + 17 = 5 for c.
-1
Suppose 2*z + 20 = 5*s, 5*z - 4*s = -5*s + 4. Solve -2*y + 0*y - n + 3 = 0, 2*y - n - 13 = z for y.
4
Suppose 37*r = 34*r + 27. Suppose 4 = -p + r. Solve 3*t = p*a + 18, a - 2*a = -3*t + 6 for t.
1
Let t(n) = 4*n**2 + 2*n - 51. Let r be t(-4). Solve 4*c + 24 = 4*z, -r*c - 14 = 3*z - 0*c for z.
2
Let l = 219 + -215. Solve -5*w + l*q - 49 + 8 = 0, -6 = 2*w + q for w.
-5
Let m be 2/(-1) - (5 - (1 - -6)). Solve 11 = -3*g - 4*b, -4*g + b - 6*b - 14 = m for g.
-1
Suppose -25 = 134*y - 139*y. Solve 4*q - 5*b + 21 = -14, 5 = -4*q - y*b for q.
-5
Let r be (-24 + -6)/6*-1. Solve o - w = -r*w - 19, -4*o - 5*w - 21 = 0 for o.
1
Let x(b) = -b**3 + 44*b**2 + 44*b + 49. Let z be x(45). Solve -z*d = 2*r + 2, -2 = -d + 3*d for r.
1
Let q = 534 + -518. Solve -2*b - q = -2*n - 4, 5*n = -3*b + 6 for n.
3
Let o = -25 - -13. Let t be (-60)/(-16) - 3*1/o. Solve -t*m + 5*n - 6 = -4, 0 = 5*n - 10 for m.
2
Let t(s) be the third derivative of s**5/60 - s**4/6 + s**3/3 + s**2 - 40. Let o be 0*(1 + 0) - -4. Let n be t(o). Solve 3*m - 17 = 4*x, -3 = n*x + 7 for m.
-1
Let t = 465 + -359. Let w(l) = -3*l**2 + 7*l. Let p be w(6). Let h = p + t. Solve 5*c + 4*y = -5, 5*y - h = 5*c + 2*y for c.
-5
Let b = -38 + 37. Let a be (8/(-6))/(b/3). Solve -o = -a*v - 0*o + 23, -4*o = 12 for v.
5
Let i = 6 - 3. Let a(n) = 3*n**3 + 4*n - n**3 - 5*n**2 + 0*n**3 - 1. Let s be a(i). Solve -22 = -d + 4*w - 9*w, 4*w - s = -2*d for d.
2
Let t(n) = 4*n**2 - 22*n - 10. Let b be t(6). Let m = 7 + -4. Suppose -m*r + r = 5*a - 37, -b*r + a = -19. Solve -3*o + 0*o = 2*i + r, 8 = -i - 2*o for i.
2
Let l(v) = -v**2 - 7*v - 8. Let m be l(-2). Solve -m*d + 5*u - 10 = 0, 0 = d - 4*u + 3 + 8 for d.
5
Let y = -6 + 8. Suppose 0 = 5*p + 4*v - 26, 2*p + 0*p = -v + 8. Suppose 5 = -q, 3*h + 26 = 7*h - p*q. Solve 24 = -h*g + 3*m, 7*m - 2*m - 14 = -y*g for g.
-3
Let r(i) = i**3 - 5*i**2 - i - 5. Let d be r(5). Let q be (15/d)/(1/(-4)). Suppose 6*y - q - 6 = 0. Solve -4*s + y = 2*k + s, 2*s - 5 = -5*k for k.
1
Let t(q) be the first derivative of q**4/4 + 11*q**3/3 + 9*q**2/2 - 8. Let g be t(-10). Solve i = -3*o - g, 2*i + o + 14 = -3*o for i.
-1
Let l = 104 + -101. Solve -3*o - s = 13 - 1, -l*s = -9 for o.
-5
Let v(h) = 4*h. Let p be v(1). Suppose 2*r + p = 6*r, -18 = -3*q - 3*r. Solve 0 = -n - 2*z - 4, 5*z + 15 = -q*n for n.
-2
Let h(v) = v**3 - 8*v**2 + 2*v + 35. Let d be h(7). Solve j = 4*j - 3*p - 6, d = 5*j - p - 6 for j.
1
Suppose -2*v + 235 = 2*s + 69, -5*s = -2*v - 436. Let m = s - 81. Solve -l - 4*d - 4 = -3*l, -m*l = -d - 10 for l.
2
Let m(l) be the third derivative of l**4/12 - 4*l**3/3 - l**2. Let w be m(8). Solve -4*g + 3*g - 25 = -5*b, 2*b - w = 0 for g.
-5
Let y(i) = 3*i**2 - 9*i + 4. Let w be y(3). Solve w*l - 12 = 2*s, 0 = l - 2*s - 2*s + 4 for l.
4
Suppose 5*c = -3*l, -4*c + 6 + 16 = -2*l. Solve -3*b + 12 = 0, 5*h + 4*b - 29 = c*b for h.
5
Let h = -72 + 76. Suppose 0 = -4*t - h*t + 120. Solve 0 = -0*k - 4*k, 3*n + t = 4*k for n.
-5
Suppose 37*u = 8*u. Solve 2*r + 0*r + 5*m - 18 = u, 4*r = -m for r.
-1
Let x(w) be the second derivative of w**3/6 + 2*w**2 - w. Let a be x(0). Solve 4 = a*u + 4*t - 0*t, -4*u + 2*t + 10 = 0 for u.
2
Let l(j) = j**3 + 9*j**2 + 7*j - 4. Suppose -4*k - 40 = 3*s + 7, 0 = 5*k - 5*s + 15. Let c be l(k). Solve 16 = -i + c*x - 3, 0 = 3*i - x + 13 for i.
-3
Let a be (0*2/(-6))/((-45)/9). Let b(l) = -l**3 + 4*l**2 + 2*l - 4. Let y be b(3). Solve 3*c - y = j - c, a = -4*c + 12 for j.
1
Let t(v) = -6 + 25*v - 24*v + 0*v**3 - 9*v**2 + v**3. Let q be t(9). Let