*s + 7 - 23, h = 5*f + 15 for s.
2
Suppose -184*n + 188*n = -308. Let u = 77 + n. Solve -4*j + 5*m = 15, u*j + 4*j + 5*m - 15 = 0 for j.
0
Let d(r) = 32*r - 252. Let j be d(8). Solve 6*o + 3*u = 7*o - 6, -j*o + 10 = 2*u for o.
3
Let j = 18 - 10. Solve -5*l = 5*r + 35, -2*r = -2*l + l + j for l.
-2
Let l = -39 + 15. Let b = l + 26. Solve 0 = -5*d - 5*v, 3*d + 0*v - b = -4*v for d.
-2
Suppose -3*s = -4*a - 7, -s - s + 6 = -2*a. Let t(b) = 2*b**2 + 48*b + 5. Let l be t(-24). Solve 2*u - 7*u = 4*z - 16, l*z - a*u + 13 = 0 for z.
-1
Let m(p) = p**3 + 2*p**2 - 3*p + 4. Let v be m(-3). Solve 0 = -v*z + t + 4, 0 = -z - 3*t + 14 for z.
2
Suppose -4*g = -4*u - 32, 23 = 3*g - 2*u + 3. Solve g*c + 19 = 3*i - 0*i, -2*c - 8 = 0 for i.
1
Let x = 164 + -69. Let n = x - 91. Solve -a + 0*v = 3*v - 17, -20 = -n*v for a.
2
Let v(g) = 4*g**2 + 15*g - 20. Let n(t) = 3*t**2 + 14*t - 21. Let o(h) = -5*n(h) + 4*v(h). Let u be o(5). Solve u = -f - 2*r - 1, 0 = -r - 0*r for f.
-1
Suppose 3*r = -5*t + 99, 0*t + 3*t - 69 = 3*r. Suppose -t = -4*f - 9. Suppose i - 3*i + 2 = a, -f*a + 6 = 2*i. Solve i*q - 5*c = -2*q + 18, -c = 4 for q.
-1
Let d be (-8 - 6/(-3)) + 8. Solve -5 = d*k + m - 6, 24 = 3*k - 3*m for k.
3
Let q(n) = -n. Let l be q(-4). Suppose 0 = -7*m - l*m + 77. Solve m*t - 32 = 3*t + 4*s, -3*t - 2*s + 9 = 0 for t.
5
Suppose 281*y - 292*y = 0. Solve y = -j + f, -5*j + 3*f - 9 = f for j.
-3
Let r(g) = 3*g**2 - 11*g - 15 + g**2 + 13*g**2 + 4*g**3 - 2*g**3. Let l be r(-9). Solve 0*n - 5*n - 5*f - 15 = 0, 2*n - l*f = 9 for n.
0
Let g = 822 + -818. Solve -3*v = -g*w - 31 - 0, -24 = w - 4*v for w.
-4
Suppose -k + 53 = -0*k. Suppose k + 10 = -3*h. Let d = 46 + h. Solve -4*l = -2*v - v - d, -11 = v - 2*l for v.
-3
Suppose q - 3*u = 6*q - 9, 2*u = q - 7. Solve -3*x - 3*g - 6 = 0, 0*x + q*g = 4*x - 20 for x.
2
Suppose 4*k - 6 = k. Suppose 25*q = -12*q + 148. Solve 2*w - 3 = w + k*r, r = 3*w - q for w.
1
Let r(m) = m**3 - 5*m**2 + 2*m + 1. Let c be r(5). Suppose -3 - c = -2*i. Suppose 0 = -2*k + i*k. Solve -4*h + j + 5 = -2*h, 5*j + 5 = k for h.
2
Suppose p = 20*r - 17*r + 22, 4*p = 5*r + 67. Solve 3*t = -10*q + p*q, 2*t - 2 = 3*q for t.
-2
Let w(b) be the second derivative of b**5/20 - b**4/12 + b**3/6 + 4*b**2 + 5*b. Let j be w(0). Let m = 10 - j. Solve -6 = -q + m*p, 0 = 2*q - 7*q - 5*p for q.
2
Let i be (-1)/4 - -2*(-205)/(-40). Suppose 0*r - 5*r + i = -t, 5*r + 20 = 4*t. Solve 2*v = -t, -2*x + x + 4*v + 15 = 0 for x.
-5
Let q(g) be the third derivative of g**4/24 - 3*g**3/2 - 10*g**2. Let n be q(14). Solve -5*l + z - 7 = -0*l, -n*z - 13 = -l for l.
-2
Let o(f) be the first derivative of f**2/2 + f - 136. Let l be (-2)/4*(-2 - -4). Let p be o(l). Solve t - n + 0*n = p, -2*n + 10 = 3*t for t.
2
Let t(z) = 39*z + 3. Let f be t(0). Solve -16 = -4*l - 2*j - f*j, 0 = -2*l - 4*j + 8 for l.
4
Let j be ((-10)/4)/5*(-1 + 1). Let u(y) = y**2 + y. Let d be u(j). Solve 1 - 11 = -5*n + 5*t, d = 3*n + 4*t + 15 for n.
-1
Let t = 1 - -1. Let p(k) = 3*k**2 - 195*k + 383. Let u be p(63). Solve 0 = 3*a - 12, u*n - 13 + 0 = -t*a for n.
1
Suppose z - 4*w - 12 = 0, z + 0*w = -2*w - 6. Let q(h) = -h**2 - 6*h + 9. Let j = -6 + -1. Let r be q(j). Solve 3 = -a, z*t + 4*a + 22 = -r*t for t.
-5
Let z(y) = -y + 13. Let j be z(6). Suppose -4*k - 4*t = -40, -3*t + 14 = 5*k - 26. Solve 3*n - j = -k*h, n + 7 = 3*h - 0 for n.
-1
Let s = -13 - -12. Let j be ((-1)/(-2))/(s/(-8)). Suppose -4*x + x = 4*h - 23, -4*h - 40 = -j*x. Solve 4*i - i + c + x = 0, -4*i - 11 = c for i.
-2
Let z = -83 - -82. Let m be (1 - z/(-2))*(15 + 37). Solve m = u - 5*i, -3*i = 4*u - i + 6 for u.
1
Suppose 7*b + 0*b = 0. Suppose -5*j - 4*d + 21 = -3*d, b = -3*j - 2*d + 14. Solve -35 = -4*m + 5*n, n = -2*m - n + j for m.
5
Let u(l) = -14*l - 82. Let t be u(-6). Solve -s - t = a, -5*a + s = -2*a + 2 for a.
-1
Suppose -5*p + 22 + 15 = 2*u, -2*p - 4*u = -2. Solve v - 4 = 0, -2*v - p = 3*o - 5*v for o.
1
Let r = 77 + -77. Suppose 0 = -r*l + 3*l - 72. Solve 5*g + l = -4*y, -5*y + 7 = g - 4*g for g.
-4
Suppose -4*l + 2*b = -2*b + 52, 4*b - 60 = 5*l. Let m(h) = h**2 + 8*h + 5. Let o be m(l). Solve -1 = -3*z + o*n - 7, 15 = 5*n for z.
3
Suppose -32 = -m + 22. Let k = -49 + m. Solve -5*q + k*a - 2 = -12, -5*a = 2*q + 3 for q.
1
Let k be (-936)/39*(-8)/6. Solve -15 = -5*u, 4*r + 2*u + 2*u = k for r.
5
Suppose 3*k = k - 16. Let b be 2/k - (-50)/8. Suppose 10 = 2*a + 2*i, -1797*i = -3*a - 1801*i + 18. Solve -o + 18 = -5*d, 24 = a*o - 4*d + b for o.
3
Let i(v) = v**3 - 6*v**2 + 2*v - 8. Let r be (-510)/17*1/(-2). Let j = -9 + r. Let s be i(j). Solve -2*n + k + 0*k + 5 = 0, 0 = 2*n + s*k - 30 for n.
5
Let o be (322/(-56) + 5)/((-2)/8). Solve -3*j - 12 = -4*n + 2*n, o*j = -6 for n.
3
Let y be 222/30 + (-3)/(-5). Suppose -h + y = h. Solve -2*w - 5*k + 15 = -2*k, -h*w + 4*k - 20 = 0 for w.
0
Suppose 3 = 5*i - 7. Let s(b) = -b**2 + 11*b - 28. Suppose 3*h + 4 = -v, 0*v = -5*v + 4*h + 37. Let z be s(v). Solve -i*r - 2 = 5*y, -2*y + z*r = 11 + 1 for y.
-2
Let m be (2 + -7)*24/20. Let v be (-20)/m + 16/24. Solve 6 = -3*j, 0 = -2*x - v*j + j for x.
3
Let w(o) = -o**3 - 2*o**2 + 48*o + 4. Let m be w(-8). Solve -2*h = 3*h - 10, m*g = -4*h - 8 for g.
-4
Let a(d) = 7*d**3 + 68*d**2 - 19*d + 11. Let c be a(-10). Solve -5*p - c = 3*s - 7*s, -2 = -2*p + s for p.
3
Let i = -1611 - -1613. Solve 8 = -4*o - 2*d, -5*o - 16 + 5 = i*d for o.
-3
Let r = 494 + -484. Suppose 0 = j + 2*j - 6. Solve 6 = -3*u, u - r = j*k + 5*u for k.
-1
Suppose 8*y - 4*y - 9 = -3*s, 4*y = -5*s + 7. Solve 2*f = 5*r + 31, -f = -6*r + y*r - 18 for f.
3
Let w(z) = -z**2 - 5*z - 3*z - 2*z - 11 + 0*z**2. Let u be 0 + 0 - (-4 + 12). Let b be w(u). Solve 2*f + 7 + 2 = n, 4*f - b*n = -21 for f.
-4
Suppose -4*i - 2*p - 18 = -4*p, 0 = -4*i + 4*p - 20. Let l be (-30)/(-5)*i/(-6). Solve 0 = l*z - 0*w + 3*w, -z = -5*w + 23 for z.
-3
Let g(a) = 16*a + 232. Let y be g(-14). Solve 3*v - 2*l + 13 = 0, 3*v - 22 = y*v - 3*l for v.
-5
Let z(t) = -t**2 + 4*t - 3. Let v be z(1). Suppose -8*b + v*b + 80 = 0. Let h = -22 - -22. Solve h = -l - l + f + 5, 2*f + b = 5*l for l.
0
Let f(z) = z**2 - 65*z + 5. Let l be f(0). Solve 5*t - 4*h - 1 = -0*h, h = 3*t + l for t.
-3
Let r(k) = k**3 - 6*k**2 + 4*k. Let f be r(6). Let o = 46 - f. Let m = o - 10. Solve 2*z + m = -4*d, -3*z = 4*d - 0*z + 10 for d.
-4
Let n(m) = 10*m + 12. Let y be n(-1). Solve -5*s - 5 = 3*w + 21, -y*s + 4*w = 0 for s.
-4
Suppose 210 = 19*t - 56. Solve y + t = 3*b + 2, 5*y - 5*b = -10 for y.
3
Let l = -354 - -358. Solve 5*m - 3*m = 3*w + 3, 2 = -2*w + l*m for w.
-1
Let p = 785 + -783. Solve y - 18 = 4*d, -p*d - 3*y - 16 = -0*d for d.
-5
Let p(i) = -40*i + 324. Let b be p(8). Solve 0 = -5*w - b*t + 15, -2*w - 5*t + 9 = w for w.
3
Let p(z) = -4*z + 1. Let r be p(-1). Let h be -2 - (-18 - (-15)/((-10)/2)). Solve -h = -3*w + 4*v, 0 = -2*v - r - 3 for w.
1
Let u(j) = j**3 - 9*j**2 - 6. Let t(a) = 4*a**3 - 37*a**2 + a - 24. Let z(f) = 2*t(f) - 9*u(f). Let h be z(7). Solve -5*n = 4*b - 25, h - 6 = -n + 3*b for n.
1
Let u = -970 - -973. Let q(t) = -t**2 - 8*t - 4. Let y be q(-7). Solve y*d + 21 = -3*p, -10 = -5*p + u*p + 4*d for p.
-3
Let r = 94 + -89. Let y be r + (-1)/(2 - 1). Solve -38 = y*d - 5*f + 2, 5*f = -4*d for d.
-5
Let h(q) = 15*q**2 - q - 1. Let o be h(-1). Let g be (10/o*-3)/(-1). Suppose -g*t = 6*t. Solve -v + t + 3 = -p, -5*p = 3*v + 7 for p.
-2
Let w(t) = 2*t + 40. Let p be w(0). Let l be (-6)/30 + (-2)/(-10). Solve -2*s + 1 = g - 13, l = -5*g - 4*s + p for g.
4
Let v be (4/(-5))/((-8)/40). Suppose 4*a - 2*g = -0*g + 12, -3*a + v*g - 1 = 0. Solve f - 15 = -a*j - f, 1 = -4*j + f for j.
1
Suppose 9*k - 95 = 8*k. Let r be k/10*(-4 + 2). Let f = 23 + r. Solve f*a = 3*m + 12, 4*m + 2 = -a + 5 for m.
0
Let p be (-30)/4 + (-3)/6. Let n be -10*(3 + 28/p). Solve 16 = -g + 4*m, 0 = -3*g - n*m + 14 + 6 for g.
0
Let c = 804 - 799. Solve 5*h = f - 6, h + 18 = f - c*f for h.
-2
Let z(d) = d**3 - 3*d**2 - 2*d - 3. Let p be z(4). Suppose -p*o + 28 = -37. Suppose -3*g = o - 37. Solve 4*v = -2*b - 4, 2*b - g*v - 12 = -4*v for b.
2
Suppose -4*p + 7*p - 19 = -4*t, 5*t + 4*p - 24 = 0. Solve 0 = -3*c + 5*q - 20, -t*q + 7 + 2 = -c for c.
-5
Let r = -22 + 1. Let m = r - -31. Solve 0 = 2*c + z + 3*z + m, -4*c = 4*z + 8 for c.
1
Suppose -19*h = -132 - 96. Solve 4*c