h + 0*n = -l*n - 4, 19 = 3*h - 2*n for h.
3
Let i be (0 - 7)*(-20)/7. Solve -8 = 5*g - 2*g + a, 5*g + i = -5*a for g.
-2
Suppose -5*a = -4*a - 7. Solve -i = w + 2 + 1, 5*i + a = 3*w for w.
-1
Let w = -34 + 36. Solve g - 2 = -k + 1, -5*k + w*g - 13 = 0 for k.
-1
Let s = 75 + -66. Suppose 0 = 3*n - 3. Let f = 4 + n. Solve -2*h + s = -a, -f*a - 13 - 4 = 4*h for h.
2
Let f = -4 - -8. Suppose 0 = t + f*t. Let j = 18 - 13. Solve 4*r = j*h + r + 23, -4*h + 4*r - 20 = t for h.
-4
Let g = 22 - 26. Let i be 1 + 0*1/g. Solve -3*q - b + i + 0 = 0, 5*b = -3*q + 5 for q.
0
Suppose -2*x + 10 = 2*x - 3*q, -2*x + 6 = -q. Let r = 8 - x. Suppose a = -0*a + r. Solve -24 = 4*k - a*i, -k + 5*i - 15 = k for k.
-5
Let c be 5/(5/2) - -3. Let t be (-8)/(-20) - (-18)/5. Suppose i - 1 = t*i - h, -5*i + 5*h - 5 = 0. Solve -r = -2*s - 0*s - c, -3*r + 3 = i for s.
-2
Let f be (-375)/50*-1*2. Solve -5*q + 2 = 4*a, 5*a = -2*q + f - 4 for a.
3
Let z = 5 - -1. Solve -4*y - 7 = 3*f + z, -3*y - 17 = -5*f for f.
1
Let p(m) = m**2 + 3*m - 1. Let x be p(-5). Let z = x - 9. Solve 24 = 3*s + 3*i, -3*s + z*s = i - 18 for s.
5
Suppose -5*t - 295 = -5*u, -5*t = -0*t - 3*u + 289. Let l be t/(-2) - (-3 + 3). Solve -2*i + l = -4*g, -4 = -2*i - g - 1 for i.
4
Let x be -3*((-40)/(-3))/(-5). Let w be -1 - 0 - (7 - x). Solve 4*a - 2*z = -24, w = 4*a + 3*z + 4 + 10 for a.
-5
Let a(z) = 5*z - 12. Let w be a(6). Suppose 22*d = 20*d + w. Solve -j + 3 = -4*o, o - 3*j - 4 - d = 0 for o.
-2
Suppose -3*i - 14 - 16 = -3*b, -3*i = 3*b - 48. Suppose -1 = 4*s - b. Solve 3*l = 0, -q + s*q - 3*l + 4 = 0 for q.
-2
Suppose -8 + 28 = 5*o, 4*o - 19 = -3*v. Suppose -3*f + v = 10. Let r(z) = -z**2 - 5*z - 3. Let m be r(f). Solve 0 = m*x + 5*d + 2 - 21, 3*x = 3*d + 3 for x.
3
Let r(f) = -f + 1. Let q be r(-4). Let p be (6 - 11)*3/(-5). Solve 0 = w - p, 3*w + q = -x + 5*w for x.
1
Let w = -8 - -14. Suppose -w*s + 2*s + 4 = 0. Solve -2*a - a - 4*o = s, 3*a + 2*o - 1 = 0 for a.
1
Suppose -3*v = l + 2*l + 3, -3*l + 4*v = -32. Solve 6 = l*m - 7*m - b, 3*b = -m - 10 for m.
-1
Let t(m) = m + 5. Let b be t(6). Let g = b + -11. Solve 2*q + 2*o = g, o = 2*q - 7*q + 8 for q.
2
Let l(z) = z**3 - 6*z**2 + 4*z + 5. Let n be l(5). Solve -2*o + n*o = q + 1, -5*q = -2*o - 31 for q.
5
Let w(m) = m**2 - 7*m + 15. Let g be w(4). Solve 29 = -4*o - g*v, -5*o = -5*v + 11 - 1 for o.
-5
Suppose 0 = y - 3. Let u = y - 3. Solve -40 = -3*g + 5*f, u = -3*g - 3*f - f - 5 for g.
5
Let h = -29 - -29. Solve -4*w + 4*n = h, 0*w + 2*n = -3*w + 10 for w.
2
Let o(w) = -w**2 + 2*w + 3. Let q(u) = 2*u - 1. Let d be q(2). Let x be o(d). Solve 5*p - 3*h + 15 = -19, x = -2*p + 5*h - 25 for p.
-5
Suppose -3 = -o - 1. Solve 4*k = -4*z - 16, -o*z = z - k + 16 for z.
-5
Let g be 2 - (-1)/(1/(-2)). Solve 0 = 2*n - 3*i + 4 - 0, g = 3*n + 4*i + 6 for n.
-2
Suppose -2*j + 3*a = 2, 2*j = -0*j - 4*a - 16. Let s be (10/j - -3)*8. Solve s*v - 2 = -p, -v - v - p = 0 for v.
1
Let z be (560/196)/(1 - (-10)/(-14)). Solve -2*y = -6, -v + 4*y - 7 = z for v.
-5
Let c = -15 + 15. Solve -1 = s - 0, 2*x + 3*s + 13 = c for x.
-5
Let w = -12 - -16. Solve -a = w*p, 4*p = -5*a + 2*p for a.
0
Let a(g) = g**3 + 5*g**2 - 3*g - 10. Let p be a(-5). Solve 0 = p*y - 10*y, -4*v + 12 = -2*y for v.
3
Suppose m - 5*z = -10, 5*m = -3*z + 6*z + 38. Solve 2*c - 4*a = m, -5*a + 2*a = 9 for c.
-1
Let d = 3 - 12. Let j = d - -15. Solve x - 4*c = -2*x + 8, 3*x + 3*c = -j for x.
0
Let k(v) be the first derivative of -v**3/3 + 3*v**2 + 3*v + 4. Let o be k(6). Solve -2*g = -3*g - 2*j + 7, 4*g = -3*j + o for g.
-3
Let i(g) = g + 10. Let p be i(-5). Solve p*u - 9 = 4*z, 0 = -2*z + 5*u - 9 + 2 for z.
-1
Let d be 172/36 - 8/(-36). Solve 0 = 2*f + 5*t + 4, 0*f - f - 2 = d*t for f.
-2
Suppose 5*c - 3*t = 4*c - 9, 0 = -5*c + 2*t + 7. Suppose 3*h = -c*r - 6, 2*h + 3*r - 2*r = 0. Solve -2*u - 3*m + 7 = 0, -2*u - 6 = 2*u + h*m for u.
-4
Let i be (-87)/(-15) - 1/(-5). Let d(o) = 2*o + 1 - o + i. Let y be d(-5). Solve 5*w - 4*m = -y*m + 6, 5*m - 2 = 4*w for w.
2
Suppose -3*k + 58 - 7 = 0. Solve 0 = -4*u - 0*i + 4*i - 4, -5*i + k = -u for u.
3
Let m = -21 + 26. Solve 2*r = z + 6*r - m, 3*r = 3 for z.
1
Suppose 3*k - 2*k = 2. Let j be (-3)/(-7) - 54/(-21). Solve -5*r = k*m + 20, 0 = m - j*r + 7*r + 13 for m.
-5
Let r be (42/35)/((-2)/30). Let u = r + 18. Solve -a + 2*k + 5 = u, k = a + 2*a - 15 for a.
5
Let m(s) = s**3 + 2*s**2 - s. Let v be 7/28 + (-9)/4. Let f be m(v). Solve 2*l + 5*d = -16, -f*d = 2*l + 2*l + 16 for l.
-3
Suppose -4*a - 12 + 0 = 0, n = -5*a - 11. Suppose -13 + 4 = -3*p. Suppose 3*y - 5*f + 2*f = -6, -y - 2*f = -13. Solve -n*o = y*w + p, o = -5*w + w + 9 for w.
3
Let m = -28 + 31. Solve -r = r + 2*j + 2, -3*r + m*j = 21 for r.
-4
Let i = -11 + 14. Solve 3*k = i*c, 2*k + 0*c = 3*c + 1 for k.
-1
Suppose -4*a - 82 = -10. Let o be (-3)/(-2*(-3)/a). Solve -k - m - o = m, -5*k - 15 = -5*m for k.
-5
Let q(t) = -t**3 - 4*t**2 - 2*t - 3. Let a be q(-4). Solve 0 = 2*p - k - 2, -4*p - a*k - 9 = 1 for p.
0
Suppose 2*m - 4*o = -116, 5*m + 5*o + 328 = 23. Let w be m/(-18)*(-6)/(-4). Solve 3*q - w*f - 15 = 0, 34 = 5*q - 2*f + 9 for q.
5
Suppose -a + 5 = 0, 5 - 25 = q - 4*a. Solve 3*l = 4*s + 10, 5*s - s - l + 6 = q for s.
-1
Let k(c) = 124*c. Let t be k(-2). Let p be 10/35 + t/(-14). Solve -3*l - 3*f - 11 = -5*f, -4*f + p = -2*l for l.
-1
Suppose -4*t + 2*t = -10. Solve -t*f + 25 = 0, -5*f + 2*f = -5*s - 15 for s.
0
Let u = -38 - -38. Solve 2*q + q + 3*a = u, -5 = a for q.
5
Suppose -b = 3 - 83. Suppose 0 = 3*u + 15, -5*d + u - 3*u = -b. Suppose 0 = -4*g + d - 2. Solve -r + 13 = 4*l, -g*r - 19 = -4*l - 3*r for l.
4
Let k(q) = q + 1. Let i be k(7). Suppose 7*s - 4*s + 4*t = i, 10 = 3*s + 5*t. Solve 2*o - o + 3*y = -10, s = 3*o + 5*y + 14 for o.
2
Let a be (-13)/26*(1 + -15). Solve -3*o = -t + a - 0, 3*o + 4*t = -32 for o.
-4
Let u(n) be the third derivative of n**6/120 - n**5/12 + 5*n**4/24 - n**3/6 - 3*n**2. Let d be u(4). Solve -d*c + x = -8, 9*c - 17 = 4*c - 2*x for c.
3
Let o be 3/(-12) + (-1)/(-4). Solve 2*s = n + 7, -n - 3*s + 28 - 10 = o for n.
3
Let s = -12 + 15. Solve 13 = 4*r - s*g - 8, r - 18 = 5*g for r.
3
Let n be 4/(-18) + (-40)/(-18). Suppose 5*k = -a + 6 - n, 12 = 5*k + 3*a. Solve 5*t + 0*p - 4*p + 23 = k, 19 = -5*t + 2*p for t.
-3
Suppose 2*l + 9*a - 2 = 4*a, -l = 4*a - 1. Solve 5*j - 2*x - 15 + l = 0, 5*x + 12 = j for j.
2
Let k be (5 + -10)*(-2)/2. Solve s - 7 = m - s, -k*m + 2*s = 19 for m.
-3
Suppose 6*q = q + 20. Solve -6 = -2*u + 2*z - z, -2*z = q for u.
2
Let b(y) = -y**3 - 8*y**2 - 7*y + 2. Let z be b(-7). Let c(i) = i**2 - 6 + 1 + z*i + 0*i. Let d be c(-5). Solve -2*g + 6 = 0, -5*g = 5*o - 0*g - d for o.
-1
Suppose 6*b - b - 15 = 3*q, 2*q = 3*b - 10. Suppose 3*c - 11 = 16. Solve -3*z + 6 = b, 5*z + 10 = d + c*z for d.
2
Suppose 5*m + 34 - 4 = 0. Let x = m - 1. Let v = 19 + x. Solve 4*l + v = -p, -2*l = -0*l + 8 for p.
4
Let s = -13 + 16. Suppose 7*o = 2*o + 75. Suppose 2*m + 2*d + d - 21 = 0, s*d - o = 0. Solve 2*a - 2*f + f = 4, -5*f = -m*a + 20 for a.
0
Let d(k) = 18*k**3 - k. Let x be d(1). Suppose 2*l + 3*l - 4*f = -21, -15 = 4*l - 5*f. Let g = 8 + l. Solve -4*a = g*n + 32, 2*n - 5*a = -0*a + x for n.
-4
Let w be -2 + 1 + 5 + 0. Suppose -a - 12 = -5*r, w*r + 0*r = -3*a + 21. Solve u + 0*u - 5*x - 24 = 0, 0 = -3*u - r*x for u.
4
Let n(g) = g**3 - g**2 - g. Suppose 0 = 5*m - 44 - 26. Let k be (-80)/(-35) + (-4)/m. Let o be n(k). Solve v + 7 = -o*p, -1 = -5*v - p - 0 for v.
1
Suppose o - 4*j + 16 = 2*o, -5*o - 4*j + 96 = 0. Solve -4*n = -9*n - x - o, -5*n - 5 = 4*x for n.
-5
Let n(z) = -z - 5. Let p be n(-7). Let v be 2/(-1)*42/(-4). Let r be (4/2)/(-2) + v. Solve -3*t - p*i - r = -6*i, 2*t = -2*i - 4 for t.
-4
Suppose -11*h + 39 = 2*h. Solve -3*n = 5*t + 10, 4*n - h*n + 6 = -3*t for t.
-2
Let j be (-50 - -1)/7 - -7. Let v be 2/(-6) + (-4)/(-3). Solve -t - 3*i + v = j, -3*i = -5*t + 14 + 9 for t.
4
Let b = -6 - -20. Suppose -i = i - b. Solve -s - 5*o + 3 = 0, -i = -4*s + 3*o + 5 for s.
3
Let n = 40 + -36. Suppose 0 = -3*i - i - 5*t + 5, 5*i - t = 28. Suppose 0 = -i*m - 0*m + 15. Solve -32 = -m*z - n*d, -3*z - z = -2*d - 6 for z.
4
Let x(w) = -w**2 - 9*w - 4. Let t be x(-8). Suppose -3*v = -t*y + 2 + 1, -4*y = 3*v - 21. Suppose -2*j + y = -j. Solve -5*b + j*h - 8 = 5, h - 5 = 2*b fo