k(z) = z**2 + 8*z + 6. Let t be k(-7). Let m be ((-40)/2)/(t - 1). Suppose 3*p - m = 32. Solve n = 4*s - n - p, -2*s - n + 1 = 0 for s.
2
Suppose -3*t + t + 6 = 0. Suppose -s + 5 = t*g - 2, -2*s + 10 = 4*g. Suppose 0 = g*w - f - 6, -w + 14 = w + 3*f. Solve 2*z = -k, -2*k + 5*k = -w*z + 4 for z.
-2
Suppose -3*a + 8*a - 115 = 0. Suppose 2*y - 5*g = 3*y + 14, 2*y + 12 = -2*g. Let u be (-10)/y*(-18)/(-15). Solve 3*r - 27 = 8*r - c, -u*r = -4*c + a for r.
-5
Let o = 3 - 5. Let u be (-8)/(-4) - 2/o. Suppose 2*j = j + 2. Solve -j*p = -u*l + 2*p - 5, 5 = -5*p for l.
-3
Let c be -2 + 24/9 - 31/(-3). Solve -4*g + 2*j = 8 - 0, c = -3*g - j for g.
-3
Let h be 25/10 - (-4)/(-8). Solve -n + 0*n = 2*a + h, -4*n + 4 = -4*a for a.
-1
Suppose 0 = t - 2*t - 6. Suppose -3*b + 7 = -11. Let u = t + b. Solve 2*y - 13 = -0*a + 3*a, u = 2*y + 5*a + 27 for y.
-1
Let q(m) = -2*m + 1. Let n be q(-2). Let l = -228 + 233. Solve n*h = l*d - 10, 4*d - 6 = 4*h + 2*d for h.
-1
Let k be (-350)/(-11) - (-32)/176. Solve 6 = 2*z, -5*q + 2*z - 6*z + k = 0 for q.
4
Let y = -2 + 11. Suppose 7 + y = 4*z. Solve -z*m = 2*p - 0*m + 4, -5*p + 4*m = -18 for p.
2
Let u(n) = -n**2 - 8*n - 4. Let s be u(-7). Suppose 15 = -s*o + 6*o. Solve -5*m + 5*j = 10 + 5, -o*j = 0 for m.
-3
Suppose -16*g + 12*g + 80 = 0. Solve -5*r = -5*t - g, 3*r - 10 + 3 = -2*t for t.
-1
Let n(z) be the second derivative of z**5/20 - z**4/12 + z**3/6 - z**2/2 + z. Let u be n(2). Solve i + 29 = u*m + 4, -5*i + 3*m = 15 for i.
0
Let s = -16 - -18. Solve -5*a + h = -8 - 17, -4*h = -s*a + 28 for a.
4
Let g(w) = 15*w + 1. Let v be g(1). Let x = v + -6. Solve -n = -4*a - x, -2*n + a = 4*a + 2 for n.
2
Suppose 5*p = 10*p + 45. Let z = -7 - p. Solve 0 = 2*h + l + z, 5*h - l + 2*l + 8 = 0 for h.
-2
Let n = -123 - -144. Solve 4*f = 5*f + 4*x + n, f + 26 = -5*x for f.
-1
Let n(h) = 2*h - 16. Let a be n(8). Solve -20 = -5*i, -9 + a = -u - 2*i for u.
1
Let q(i) = i**2 - 10*i + 7. Let d be q(10). Let n = d - 7. Solve n - 10 = -4*w + j, 3*w = -5*j + 19 for w.
3
Let k = -143 + 159. Solve 2*y + 3*w = -w - k, 4*y = -2*w - 2 for y.
2
Suppose 0 = 5*z - 11 - 4. Solve -z + 9 = 3*l - 3*p, -10 = l + 3*p for l.
-1
Let x(f) = 3*f**3 - 2 + 3 + 1 - 2*f**3 - 4*f**2. Let z be x(4). Solve 0 = -4*j + 5*j - z, 0 = -2*t + 5*j - 6 for t.
2
Let x = -414 - -422. Suppose -4*r + 7*f - 3*f + 20 = 0, 5*f + 5 = 0. Solve r*k - x = -0*b + 4*b, -5*k = 5 for b.
-3
Let y = 7 + -4. Let g be 2/(-7) + 401/7. Let o be g/12 + 1/4. Solve -4*d - h + 6*h = 0, y*d = -o*h for d.
0
Let h = -23 + 43. Suppose -h = -z + 5*s, 3*s + 12 = -4*z - 0*s. Solve 3*c = 5*p - 10, z = p - 5*c - 2 - 0 for p.
2
Suppose -4*r - 14 = -54. Solve 2*u = -4*x + 8, 4*x - 2 = r for u.
-2
Let m be (-15)/(-30) - 9/(-2). Solve -m*j + 3*a + 6 = 0, -a = 4*j - 0*a + 2 for j.
0
Let z(v) = v**2 - 5*v - 5. Let u be z(6). Let h(f) = 27*f**2 + f - 1. Let m be h(u). Solve l - p = -1, 0*l + m = 3*l + 3*p for l.
4
Let j be 8/(-4) - -1 - -5. Let s(r) = r**3 - 8*r**2 + 10*r - 6. Let k be s(7). Solve -4*n = -20, 4*n - n = -j*o + k for o.
0
Suppose 18 = -0*p + 3*p. Let s be (24 - 1) + (1 - -2). Let k(y) = -17*y**3 + y**2 + y. Let o be k(-1). Solve -5*a = -m + s, -m + o - p = -2*a for a.
-5
Suppose 2*c = 2*y + 14, 5*c - 38 = 5*y + c. Let z = 13 + y. Suppose 0 = -f - 3*n, 3*f + 5*n + 2 - 10 = 0. Solve 0*r + f = -z*u - 3*r, 3 = -3*r for u.
-1
Let v be 30/18*6*1/5. Solve 0 = 5*c + 4*j + 17, -v*c - c + j = 0 for c.
-1
Let v = 7 - 2. Solve 3*o + 0*t + 3*t + 9 = 0, -t + v = 5*o for o.
2
Suppose 0 = -3*n + 5 + 7. Solve -10 = 2*j - n, -2*v + j + 1 = 0 for v.
-1
Suppose 2*y = -y + 5*r - 9, -5*r + 15 = 0. Suppose 7 = h + y. Solve -f + 2*m + 9 = 0, 0*m = -h*f + 3*m + 10 for f.
-1
Let u(b) = -b**3 + 4*b**2 + 2*b - 5. Let c be (-4)/6*(0 - 6). Let p be u(c). Solve 6*h - 3*h = p*n + 3, 5*n + 2*h - 16 = 0 for n.
2
Let n be ((-16)/56)/((-1)/14). Solve -8*s + 3*s = n*p + 9, 2*p - 3*s - 1 = 0 for p.
-1
Let i be (9/(-6))/((-3)/4). Suppose -z = 4*z. Solve 4*d + 2*s - 12 = z, d - s = i*s + 3 for d.
3
Suppose 6 + 0 = 3*j. Suppose -j*g + 0*g = 0. Solve -s + i + 2 = 0, -i + g = 5 for s.
-3
Let l(p) = 15 - 16*p**2 + 2 - 9*p**3 + 14*p + 10*p**3. Let i be l(15). Solve -i*b - 1 = -4*k - 3, 25 = 5*k + 3*b for k.
2
Suppose -3*s = -8*s + 45. Let h = s + -5. Solve -26 = 4*o - 5*k + h, 5*k - 15 = o for o.
-5
Let b(w) = 2*w**3 - 5*w**2 + 3*w + 2. Let i be b(2). Solve i*r = -4, 0*r + 8 = 5*p - 3*r for p.
1
Suppose 2*k + 4*m - m - 18 = 0, -3*m = -4*k. Solve -k*b - 2 = -3*y + b, 0 = 2*y - 2*b for y.
-2
Let g(f) = 3*f + 3. Let c be g(1). Solve 4*v + 5*r + 10 + c = 0, 3*v = -r - 12 for v.
-4
Let c = 146 - 126. Solve h = -4*x + c, -4*h + 6*h + 10 = 2*x for h.
0
Let b be ((-6)/(-3) - 2)/1. Suppose -5*v + 10 + b = 0. Solve 0 = 2*q - 2, v*j - q + 3 = 2*q for j.
0
Suppose -8*b + 11*b - 12 = 0. Solve n + 23 = -b*q + 5, 4*q = 5*n - 30 for q.
-5
Let r be (-9)/(-12)*(-32)/2. Let f = 8 + r. Let d be f/30*-3*10. Solve -2 = 2*t - 3*s + d*s, -4*t + 5*s = 4 for t.
-1
Suppose -2*l - 8 = -l - 4*f, 0 = 2*f - 4. Solve 5*a = -3*h - 14, l = 5*h + a - 2*a - 14 for h.
2
Suppose -2*m + 2*i = -5*m + 80, 0 = -m - 4*i + 40. Solve -g - 2 + 6 = 0, d - 5*g + m = 0 for d.
-4
Let r(m) be the first derivative of -m**2/2 - 4*m - 1. Let p be r(-7). Let o(s) = 2*s - 3. Let v be o(3). Solve -3*z - v = -0*z + p*l, 0 = -4*z - 5*l - 5 for z.
0
Suppose -f = 4*f - 3*a - 12, 3*a + 3 = 2*f. Suppose 3*r - 5*h + 0 = 3, -4*h - 3 = -3*r. Suppose -14 = -y - r. Solve -c + f*g - y = 3*c, c + 2 = 2*g for c.
-4
Suppose 58 = 2*x + 2*q - 0*q, 4*q = 8. Suppose 4*d = 57 - 13. Let p(r) = r**2 - 2*r + 3. Let y be p(2). Solve -y*i + 3*h - d = -h, 0 = 4*i + 3*h - x for i.
3
Suppose -21 = -4*z - 5. Solve 2*d - a + 19 = -z*a, 0 = -d + a - 2 for d.
-5
Let l(s) = -s**2 + 5*s - 3. Let o be l(5). Let c = -8 + 6. Let w be 1/3 + c/o. Solve 0 = n + k - 0*k + w, -4*k = -3*n - 10 for n.
-2
Suppose 4*p - 14 = 3*u, 4*p + 2*u = 7 - 3. Suppose y + 2 = p*y. Solve -3*g = -2*l - 5, -g - 4*l - 19 = -y for g.
-1
Let u = 3 - -1. Let n be -1 + (0 - 0)*1. Let v be 11 - (1 - (n + 1)). Solve -2*d = -4*a + v, u*a - 10 = 5*d + 3 for a.
2
Let n = 7 + -3. Let d = -3 + 8. Suppose -3*k + 4*k + 3*y = -10, d*k + 3*y - 10 = 0. Solve -n*v = -4*t - 4, -k*t - 4*v - v = -5 for t.
0
Let k be (-8)/(-20) - 56/(-10). Suppose 0 = -3*b + 2 + 10. Solve 5*n = -w - 6, 0 = n + b*n + 4*w - k for n.
-2
Let g(j) = j + 14. Let d be g(10). Let s = d - 20. Solve 4*n - s*p = -8, 5*p - 3*p - 16 = -2*n for n.
3
Suppose -4*i + 8*i = -52. Let l = -10 - i. Solve -6*r - j = -r + 5, -15 = -l*j for r.
-2
Let f be 1 + 2 + 1 + 0. Solve s + s - 4*c + 8 = 0, -4*s = f*c - 32 for s.
4
Let h(n) = -n**3 - 4*n**2 - 6*n - 5. Suppose -2*d - 1 = 7. Let k be h(d). Solve 0 = -4*w - 3*s + k, w + s = -2*w + 8 for w.
1
Let r(k) = 7*k**2 + 3*k - 2. Let s be r(1). Solve 2 - 30 = 5*l - 4*d, 3*l = -2*d - s for l.
-4
Suppose 2*r + 4 - 8 = 0. Solve 0 = 2*w + 10, r*y + 3*y = 4*w for y.
-4
Let h = 51 - 31. Suppose 0 = -7*r + 3*r + h. Solve 4*q + 2*n = -2*n - 12, -r*q + 15 = -n for q.
2
Suppose -4*p + 28 = -5*m, -p + 10 = -2*m - 0. Suppose -7*h = -11*h. Suppose 4*s - p*s - 32 = h. Solve 2*l + 3*d = -0*l + s, -l + 6 = d for l.
2
Let u(i) = 2*i**3 - 17*i**2 + 10*i - 11. Let l be u(8). Solve 3*m = 4*y - 1 - 12, 0 = l*y + m - 2 for y.
1
Let i(q) = q**3 + 8*q**2 + q + 11. Let d be i(-8). Let u(w) = d*w - 2*w + 4 + 4. Let j be u(-6). Solve -m = -b - 4, -10 = -2*m - j*b + 6*b for m.
3
Let j(i) = 3*i. Let z be j(1). Suppose -z*n - 41 = -6*n + 4*s, -s + 31 = 3*n. Solve 4*l + n = 4*m - 5, 5*m - 23 = 2*l for m.
5
Let n be 0 - (2 + -3)/1. Let a be n/(-3*2/(-18)). Suppose 2*h + 0*h + 4*o = -12, 5*h - 5 = -a*o. Solve 0 = 2*m, 2*m = 2*y - h*y + 2 for y.
1
Let t(p) = -p**2 + 6*p - 7. Let v be t(3). Solve -m + 7*o = v*o - 17, -3*m + 7 = -4*o for m.
-3
Let o be 5 - -2 - (5 + -1). Solve -o*j + 3*b + 10 = -5*j, 3*j + 2*b + 15 = 0 for j.
-5
Let b = 8 - 8. Suppose b*z = -2*z. Solve -x + 1 = -c, z = -x + 4*x - c + 7 for x.
-4
Suppose -y + 5*c + 40 = 0, -y = y - 5*c - 60. Suppose -3*h - y = 4*l, -3*h - 9 - 3 = 0. Let m be (-1)/l*(-132)/(-6). Solve -3*f = -j - 3, 3*j + m - 2 = 0 for f.
0
Let j(q) = 3*q - 21. Let f be j(7). Solve 2*s = 3*t + 11, t + 0*s + 3*s = f for t.
-3
Let q = -7 - -11. Let f be -3 + 3 - (0 + 0). Let g = q