, -4 = o*h for s.
4
Let b be (6 + -7)*4/(-2). Let z(o) = -o + 8. Let m be (-38)/(-6) - 2/6. Let v be z(m). Solve -v*a - b*l = -10, 0 = 2*a + 5*l + 4 - 29 for a.
0
Let l(k) = 5*k**2 + 4*k - 6*k - k**3 + 2*k - 3*k. Let h be l(4). Suppose -4*p - 20 = -4*i, 4*p + h = -5*i + 29. Solve -2*c - 3 = -u, i = 4*u - 4*c + 1 for u.
-1
Let r(f) = -3*f - 9. Let a be r(-4). Solve 0*o + 2*g + 6 = 2*o, 0 = -a*o + 4*g + 7 for o.
5
Let x(a) = 3*a - 9. Let f be x(5). Solve 4*t - f = -3*s, 4*s - t + 14 = t for s.
-2
Suppose 0 = -5*t + n + 5, -5*n = -4*t - t + 25. Solve 30 = 5*g + 2*u, 2*u + t*u - 26 = -4*g for g.
4
Let h(u) = u**3 - 3*u**2 + 5*u - 4. Let o be h(3). Let z be (45/6)/3*-2. Let c = o + z. Solve 0 = -4*m - 3*y, 2*m + 3*y - c*y - 18 = 0 for m.
3
Let a be 1/(0 - 1/(-3)). Let s be -3*(9/18 + 10/(-12)). Let k be (0 + s)*(a - -1). Solve 0 = -2*g + k, 5*o - 2*g + 0 = 1 for o.
1
Let w(k) = -k**3 - 6*k**2 - 7*k - 6. Let a be (-4)/14 - 132/28. Let i be w(a). Solve 4*l = 5*d + 28, -2*d + 0*d = i*l for d.
-4
Suppose 0 = 5*x - 6*x - 5*o + 10, -2*o = 3*x - 17. Solve m = -x*h + 23, 32 = 4*h + h + 4*m for h.
4
Suppose 8*f - 3*f + 2*k = 15, -6 = -2*f + 5*k. Solve -5*x + 18 = -3*l, -f*l = 5*x - 14 + 2 for l.
-1
Suppose 7*g = 3 + 4. Solve 3*h = 2*a - 3, -g - 7 = 4*h - 4*a for h.
1
Let q(p) = -p**2 + 2*p - 1. Let s be q(2). Let z be (s - -3)/(2/7). Suppose 9 = 4*r - z. Solve 5*x + 3*h - r = x, -h - 8 = -x for x.
4
Let f = 21 + -17. Suppose f*l = -0*l + 20. Solve 2*g + 5*x = 29, -l = -3*g - 2*x + 11 for g.
2
Let i(h) = h**3 + h**2 + h + 5. Let q be i(0). Let t = -6 - -10. Let d be (-38)/(-12) - 3/18. Solve -d*m = 3*f - 12, -q*m + t = -5*f - 6 for f.
1
Suppose -2*m + 5*f + 24 = 0, -2*m - 3*f - 10 + 2 = 0. Solve -5*n - 5*p + 13 = -2*n, m*p = 10 for n.
-4
Let j be (2 + 16/(-12))*9/2. Solve q + 3 = 3*y - j, -2*q = 5*y - 10 for q.
0
Let c be (16/(-10))/(1 + (-14)/10). Solve -w = w + q + 5, -2*q = -c*w + 2 for w.
-1
Let n be 2 - 0 - (-1 + 1). Suppose n*u = u. Let v(w) = -10*w**3 + 1. Let y be v(-1). Solve -2*t = -u*m - 3*m + 7, -3*m = 2*t - y for t.
1
Let i(y) = y**3 + 4*y**2 - 6*y - 1. Let v be i(-5). Suppose 13 = v*g + 5. Solve 3*k + q - 4 = 0, -g*k - 5*q - 14 = -4*k for k.
2
Let j(m) = m**2 - 2*m - 5. Let x be j(6). Solve 4*a = -s + x, 4*a - 2*s = 5*a - 3 for a.
5
Let b = 3 + -2. Suppose 0 = 4*i + j - 8 - 2, i - b = -j. Solve -i*x + s = x - 21, 5*x - 2*s = 30 for x.
4
Let p be (-182)/8 - 1/4. Let l be 4/(-14) - 150/14. Let n = l - p. Solve -3*v + n = -g, -2*g - 8 = -4*v + 2*v for g.
0
Let x(n) = -n**3 - n**2 + 2*n + 2. Let s be x(-2). Solve 0 = -v + 4*q - 9, s*v - q = -v + 6 for v.
3
Let r be (-1 - (-1 - -1)) + 3. Solve -d - 4*z + 2 = 0, r*z = 2*d - 3*d for d.
-2
Let z(n) = -13*n**2 + 19*n + 5. Let x(a) = -3*a**2 + 5*a + 1. Let t(h) = 9*x(h) - 2*z(h). Let l be t(6). Solve -s = l, -4*q + 2*s + 9 = -3*s for q.
-4
Suppose -5*l + 8 = 5*q - 32, 0 = 4*q - 2*l - 14. Let n = -1 - q. Let a be n/(-10) + 2/5. Solve 0 = -p + 2*c - 2, -2*p = -c - a + 2 for p.
0
Let g = 361 - 254. Suppose g = 6*z - 31. Solve 0 = -a + 2*h + 9, 5*a - h - z = 4 for a.
5
Let c be 0 + (-4 - -3) - -4. Solve -3*f - 8 = -3*v + 10, -c = 2*f + v for f.
-3
Suppose -2*r + 36 = 2*r. Let k be 6/(-2 + 2 + -1). Let g = r + k. Solve 4*o + y + 8 = -3*y, 2*o + g*y = -1 for o.
-5
Let q be (-21)/(-35) + 7/5. Let w(n) = 0*n**2 - 2*n + 4*n**q - 1 - 2*n**3 + n**3. Let g be w(2). Solve 3*o = -4*d - 13, 4 = -4*o + 5*d - g for o.
-3
Suppose 8 + 4 = 3*y. Suppose -a - 5 + 4 = 0, -4*o = -y*a - 16. Let d be o/((-3)/(-13)) + 2. Solve -f + 1 = -3*r - d, 4*r = -20 for f.
1
Let a = 5 + -1. Solve 6*u + 5 = 4*u + c, 5*u - a*c = -8 for u.
-4
Suppose -90 = -4*v + v. Suppose 2*s + 0*s - v = 0. Solve 5*g = -4*q - 4, 2*g - 4*q + 39 = s for g.
-4
Let h be (3/(-6))/(1/2). Let q = 1 + h. Solve 5*o - 2*f + 16 = o, -3*f = q for o.
-4
Let y(i) = i**3 + i**2 + i + 16. Let p be y(0). Solve 4*u + 2*w - 12 = 0, 5*u - p = u - 3*w for u.
1
Suppose 0 = -5*r + 2*r + 6. Let k(s) = 3*s + 4. Let g be k(-2). Let u be (5/2)/((-1)/g). Solve -u*h = -4*o - 2, 3*h - 3*o = r*o + 9 for h.
-2
Suppose -6*w + 72 = -2*w. Solve -4*t = 4*a + 36, 2 - w = -t + 4*a for t.
-4
Suppose 3*o - 49 = -7. Solve 4*d - a + o = 0, -d - 8 = -2*a - 1 for d.
-3
Let q(c) = -c**2 - c. Let r be q(-1). Suppose 3*h - 7 - 2 = r. Solve -4*z = h*j - 8*z + 25, -3*z = -12 for j.
-3
Let x be 1 + 4 - ((-6 - -4) + 2). Solve 0 = -3*u + x*d - 1, -4*u - 3 = -4*d + 1 for u.
-2
Suppose -3*c + 18 + 15 = 0. Solve 0 = 5*j + 2*v - c, j + v - 11 = 5*v for j.
3
Let p = 2 + -2. Suppose g + 0*g = p. Let a = g + 4. Solve 3*l + a*h = 3, -6*l + 5*h - 24 = -3*l for l.
-3
Let q be -3 - (12/(-2) + -16). Let z(y) = 4*y - 3. Let p be z(2). Let k = p - 2. Solve -2*g = k*j - q, 0 = -3*j + 2*j + 5 for g.
2
Let b(d) = 4*d**2 - 6. Let c(a) = -1. Let n(g) = b(g) - 5*c(g). Let x be n(1). Solve 2*o = -3*q + 4, 15 = -q + 2*o + x for q.
-2
Let a = -70 + 122. Suppose a - 142 = -2*u. Solve -5*x - 36 = -3*o + 4, 4*o = 5*x + u for o.
5
Let y be (26/(-65))/((-2)/10). Solve -4*r + y*r = -t + 8, 2*r = -4*t - 18 for r.
-5
Let y(k) = -k**3 - 10*k**2 + 11*k + 4. Let p be y(-11). Let u(i) = i**2 + 5*i + 2. Let s be u(-5). Solve -p*c = 2*r + 3*r, -s*c = 4*r for c.
0
Let u = -4 + 5. Let d = u - -2. Solve -d*c = -3*g + 6, 7*c = 2*c - 4*g + 17 for c.
1
Let r(i) = i**3 - 8*i**2 + 6*i + 7. Let x be r(7). Suppose x = 4*f + f - 15. Solve 0 = f*y + 4*j - 1, 2 = 4*y - 4*j + 10 for y.
-1
Let t = 10 - 6. Suppose 0*x = t*x - 16. Solve -19 = x*p + 3*r + 3, 0 = 3*p + 5*r + 22 for p.
-4
Let s(o) be the second derivative of o**4/3 + o**3/6 + o**2/2 - 2*o. Let p be s(-1). Solve 2*z - 2*a - 4 = 0, -p*a + 7 = -z - 0 for z.
5
Let w(d) = d**3 + d**2 - 4*d + 3. Let q be w(3). Suppose 2*l + u - q = 0, 2*l + u = 7*l - 85. Suppose a + 3*a = l. Solve a*j = -4, -5*j = 5*p - 4 - 16 for p.
5
Let u(l) = l + 10. Let a be u(-5). Let v be (4/(-6))/(6/9). Let x be v*1 - (-14 + 4). Solve -a*t + 6 = -4*i - 1, 3*i - x = -t for t.
3
Let k(j) = j. Let c be k(0). Suppose -4*r - 5*f = -10*f - 18, -5*r - 4*f + 2 = c. Solve 0 = -5*m - 5*o + 3 + 17, -r*m = -4*o - 8 for m.
4
Let i(v) = v + 13. Let p be i(-8). Suppose -24 = -4*a + 5*m, 5*a - 31 = m - 1. Let r be (a/2 - 1) + -2. Solve r*n = -4*n - 4*y - 16, -p*n = y for n.
1
Suppose 0 = -3*d + 1 - 10. Let q = d - -3. Suppose q = -5*c + c. Solve -2*g + 3*g - 3*j = -2, -5*g + 2*j + 16 = c for g.
4
Let k = -27 + 30. Solve 2*t - 2*i - 4 = -0*i, 0 = k*t - i - 6 for t.
2
Let u(o) = o**2 + o - 1. Let p be u(-3). Let d = -5 + 7. Solve -5*c - j - 2 = -p*j, 8 = -d*c - 2*j for c.
-2
Suppose 6*b - 3*b - 216 = 0. Let g be (-1)/(-2) - b/(-16). Solve -5*s - 12 = 3*o, 3*s - s - g*o + 11 = 0 for s.
-3
Let u(y) = -y**3 - 10*y**2 - 9*y + 4. Let j be u(-9). Suppose -15 = -i - 2*i. Suppose -3*p = -i*p + 8. Solve -j*d = -5*f - 25, p*f + 10 = 4*d - 10 for f.
-5
Let h = 29 - 26. Solve 4*d = -y - 11, -h*y - 2*y = d - 21 for y.
5
Let n = -28 - -40. Solve 5*x = 4*f - 30, 0 = 2*x - 3*x + 2*f - n for x.
-2
Suppose -3*u - 72 = -7*u. Solve 0 = 4*j + 2*i + 10, 17 = -2*j + 5*i - u for j.
-5
Let u(p) = 32*p**2 - 2*p + 1. Let h be u(1). Solve 4*b + h = 5*m - 0*b, 0 = 3*m + 2*b - 1 for m.
3
Let s(r) be the third derivative of -r**4/8 + r**2. Let f be s(4). Let g be (f/30)/((-2)/20). Solve -w = 4*p + 6, -4*p - 12 = g*w - 0*p for w.
-2
Let a(v) = -v**3 + v + 8. Let d = -2 - -2. Let m be a(d). Let p be m/20 + 4/(-10). Solve p = -3*y - 3*r + 7*r + 2, y - 4*r = -2 for y.
2
Suppose 4*c + 5*g = -9, -g + 4 = -9*c + 4*c. Let m be c*(-9)/(-3)*-1. Solve 0*z + 3*z + 15 = m*w, 3*w = -4*z + 1 for z.
-2
Let g(o) = o**2 + 3. Let u = -11 + 11. Let m be g(u). Solve -m*q + 4*a = 16, -2*q + q + 4 = a for q.
0
Let g be 1*(-5)/(20/(-8)). Suppose 35 = 5*k - 25. Solve -4*a + 2 = -g*h - 0, 3*h = -3*a - k for h.
-3
Suppose 0 = -4*l - 0*l + 12. Solve i - 2*i = -4*b + 13, -l*i + 6 = 3*b for b.
3
Let t be (-2)/(-2)*(-48)/(-16). Solve 0 = -t*a + 2*f - 5, 4*a + f + 2 = -f for a.
-1
Suppose 2*t + 9 = 3*y, 3*t - 6 = -3*y + 3. Solve i + 20 = 6*i + z, -5*i - 2*z + 15 = t for i.
5
Suppose 2*b + 2*b - 8 = 0. Let w = 55 + -33. Let d(p) = p + 9. Let m be d(-5). Solve -m*r + 17 = -5*q - 4, w = 5*r - b*q for r.
4
Suppose -5*c - 4 + 14 = 0. Solve 2*g = -3*i + 3, 3*i - 8*i = g + c for g.
3
Suppose -2*d = 3*d - 20, 3*r