-2)/j. Solve 0*y = -2*h - 4*y - 10, -2*y - 2 = q for h.
-3
Let x = 57 + -56. Solve -k + 5*t + 0 = x, 5 = 5*t for k.
4
Let n(a) = a + 6. Let f be n(6). Let b = f - 9. Solve -5*l = -b*r - 16, -r = -0*r - 5*l + 12 for r.
-2
Suppose 2*x = -7*q + 5*q, 3*q = 2*x + 5. Let z be 22/8 + q/4. Suppose -4*v + 6 + 6 = 0. Solve -v*h - y + 13 = 0, -6 = -h + y - z*y for h.
4
Let k(d) = d**3 + 14*d**2 - d - 12. Let a be k(-14). Suppose 5*i - 24 = -n, 2*i = -3*i - 4*n + 36. Solve -i*p = 3*r + 9, 2*p - 12 = a*r + 2*r for r.
-3
Let c be 18/(-2)*(-5)/15. Suppose 5*a = -12 - c. Let x = 12 + a. Solve -j = -2*h - 7, 0 = 4*h + j - x + 26 for h.
-4
Let k be 6 + -1 + 3 + -3. Solve -19 = k*i - 3*n, -n + 25 = -3*i - 6*n for i.
-5
Let a(i) = -14 - 10 + 3*i**3 + 5*i**2 - 4*i**3 + 27. Let l be a(5). Solve -l*g = -3*v + 15, 0 = -3*g - 0*g - v + 1 for g.
-1
Suppose -1 = -3*x + 8, 5*k + 5*x - 60 = 0. Let r = k + -1. Solve -5*a - 8 - 7 = 0, 4*a = q - r for q.
-4
Let w(m) = -2*m - 6. Let p be w(-4). Solve p*l - 4*k = -3 + 15, 2*k = -2 for l.
4
Let d(u) = 2*u - 2. Let k be d(3). Solve -5*p = -k*s - 6 + 4, -4*p + 2*s + 4 = 0 for p.
2
Let r(t) = t**2 + 4*t + 5. Let v be r(-2). Suppose v = g - 11. Solve -4*z = -5*y - 5, g - 3 = 3*y for z.
5
Suppose 18 - 8 = 2*k. Let p(i) = 6*i - 4. Let b be p(2). Solve -3*t + b*t = 3*d - 20, 0 = k*d - 4*t - 16 for d.
0
Let u = -8 + 13. Suppose u*r - 8 = r. Solve 7*w = r*w + 2*n + 19, -2*n = 4 for w.
3
Let t(m) = m + 12. Suppose -5*j + 2*i = 4*i + 41, -20 = 2*j + 2*i. Let u be t(j). Solve 5*n + 35 = -u*q, 4*q - 3*q + 4 = 0 for n.
-3
Suppose -9 = 4*i + 7. Let z = -2 - i. Suppose -a + 12 = z*a. Solve -1 = y + a*l, -5*l = 2*y - y + 2 for y.
3
Let x(k) = -14*k. Let o(n) = -5*n. Let p(f) = -8*o(f) + 3*x(f). Let v be p(-2). Solve -3*c - 2 = i + v, 2*i = -2*c for c.
-3
Let c(v) = -2*v**2 + 30*v + 5. Let m be c(15). Solve 4 = 4*q, m*f = -2*q + 4*q + 8 for f.
2
Let q be 4/(-14) + 44/7. Suppose 24*m - 5 = 25*m. Let k = m + q. Solve -4*b + k + 23 = -2*s, 4*b - 8 = -2*s for b.
4
Let a(j) = 2*j**2 - 4*j + 3. Let w be a(2). Suppose -2*g = -2*q - 0 - 2, 2*q + 7 = -w*g. Let z be (-9)/q*(-4)/(-6). Solve 5*v - 12 = 5*r + z, -4*v = -r for v.
-1
Let f be 4/18 + 208/117. Solve 5*c = 10, -3*l = -6*l + f*c + 11 for l.
5
Let w be 37/7 - 4/14. Let f be 1903/55 + (-2)/(-5). Let g be (-3)/(-6) - 6/(-4). Solve -w*n = -5*a + f, g*n + a - 6*a = -29 for n.
-2
Let h be 122/12 - 6/36. Let q = 13 - h. Solve 1 + 16 = -2*x + q*t, -x + 24 = 5*t for x.
-1
Let n be (1*4)/((-12)/(-9) + 0). Solve -n*r = 3*t - 2*r, -3*t = 5*r for t.
0
Let j be -6*(-2)/(2 - 0). Let h be 8/(-6)*j/(-4). Suppose -2*u + 4 = -h. Solve 3*w = 7*p - u*p - 19, 2*p - 5*w - 13 = 0 for p.
4
Suppose -2*o + 24 = -5*t, 6*t - 3*t + 14 = o. Suppose -15 = -5*v + o*v. Solve -5*g = p + 7, -v*p + 4*p = -3*g - 9 for g.
-2
Let a be 2/8*4*-3. Let b be (a + 2)*-5 + -3. Solve c - 2*l + 2 = 0, b*c = -0*l + l - 4 for c.
-2
Let w = -6 - -10. Suppose -w*j + 3 = -j. Solve 17 = -3*k + h - 6*h, -h - j = 3*k for k.
1
Let w be 0/(0 + (-4)/2). Suppose -5*c = -w*c. Solve 5*g + 1 = 2*l, c*l = l + g + 3 for l.
-2
Let p = -30 + 35. Solve 2*a = 3*h - p, -2*h - 5*a + 11 = -24 for h.
5
Let v(x) = -x**2 + 9*x - 13. Let n be v(2). Solve 0 = m, g + m = 4*m - n for g.
-1
Let b = -67 - -71. Solve 15 = -2*z + 5*z - 3*k, 3*z - b*k - 15 = 0 for z.
5
Suppose 55 = -3*m + 8*m. Suppose -2*n = 5 - m. Solve -5*g = 4*b + 27, 2*g = n*g - 5*b - 12 for g.
-3
Let a = -14 + 18. Suppose -2*s + s = -a. Solve 4*y = -4*k + 8, 3*y - 10 = 5*k + s*y for k.
-3
Let v be 7/2 + 14/28. Solve -c - 5*z + 0 = -4, -2*z = -c + v for c.
4
Let k(t) = -t**2 - 2*t. Let v be k(2). Let g(d) = d**2 + 8*d + 9. Let b be g(v). Solve 4*y = -2*i - 1 + b, 3*i + 2*y - 12 = 0 for i.
4
Let n = 99 + -68. Solve 5*l + n = -2*u, 11 - 1 = -2*l for u.
-3
Let d be (-1 + -1)*(-7)/2. Let l(z) = -z**2 + 4 + 0*z + 7*z + 2. Let b be l(d). Solve b*o = -4*k + 3*o + 20, 0 = -k + 2*o - 6 for k.
2
Suppose 0 = 18*s - 8*s - 50. Solve -q + 2*l = 15, 2*q + 3 = s*l - 32 for q.
-5
Let s(d) = -2*d - 20. Let w be s(-12). Solve 4*t = 2*y + w, -5*t = y - 12 - 0 for t.
2
Let q = 106 - 106. Solve q = -3*t - 4*c + 8, -3*t - t = c - 2 for t.
0
Suppose -y - 15 = 2*y. Let v(r) = 4*r + 1. Let z be v(2). Let q = y + z. Solve -2*j - 10 = -q*l, 5*l + 3*j - 37 = -8 for l.
4
Let r(j) be the first derivative of -j**2/2 - 4*j + 1. Let u be r(-2). Let n be 1 - (2 + u/2). Solve n = 3*l - 2*g - 1, -2*l + 26 = -0*l + 5*g for l.
3
Suppose -5*u + 28 = 2*n, 5 = 4*u - 11. Solve -1 = n*m - 3*s, 5*m + 0*m - 4*s = 0 for m.
-4
Suppose 10 + 2 = 4*w. Let h(o) = -w + o**2 + 3 - o. Let j be h(2). Solve -j*l - 3*z = 14, -12 = -4*l + 2*z + 2*z for l.
-1
Suppose -1 = -2*y + 5. Let c be (0/1)/(8 - 10). Let x = c + y. Solve -2*i - 17 = -5*u, -x*i - u = 3*u - 32 for i.
4
Let b be 1/(-3) + (-7)/(-3). Let p(l) = l**2 - 1 - l - 3 + 0*l**b. Let s be p(3). Solve -3*t = -5*i + 1, -3*t + 4*i = s*i + 4 for t.
-2
Let s = -41 + 24. Let q = 35 + s. Solve 3*k + q = 3*b, -7*b + 16 = -3*b + 4*k for b.
5
Let k(z) = z. Let h(a) be the first derivative of -3*a**2/2 + 10*a - 3. Let j(g) = h(g) + 2*k(g). Let b be j(7). Solve 5*x - x - r = -b, 3*x - r = -1 for x.
-2
Suppose u + 4 = 3*u. Suppose 11 = 2*i + 3. Suppose -3*t + i = 2*k, -5*k = 4*t - 2*k - 5. Solve -t*s - 10 = 0, -4*n - s = u*s + 23 for n.
-2
Suppose -5*a + 33 = -17. Suppose 4*i - a = -i. Suppose i*f - 6*f = -16. Solve -5*w + 5 = 0, -f*w + 0*w + 10 = 2*x for x.
3
Let k = 31 - 19. Let y be (-3*(-30)/(-9))/1. Let l = y + k. Solve -2*s = 4*a + l, 0*s + 5 = 5*a - 5*s for a.
0
Let k = -1 - -5. Let c = 1 + 1. Suppose 0 = -0*o + c*o - 8. Solve -2*m - o = -k*q, -q = m - 0 - 1 for q.
1
Let x(t) = t**2 - 5*t + 7. Let s be x(5). Suppose -s + 2 = -h. Solve -5*q + 4*u - 1 = 2, -2*q = h*u - 12 for q.
1
Let f be (2 + -2)/(-4) - 0. Suppose -2*b + 9 - 3 = f. Suppose 17 = 5*u - l, 4*u - 5*l + 0 = 1. Solve -4*w = t - 9*w + 25, -b*t + u*w - 31 = 0 for t.
-5
Let q(c) = c**2 + 11*c - 22. Let o be q(-13). Solve -3*m + 2*y + 21 - o = 0, 0 = 2*m - 4*y - 14 for m.
5
Suppose 3 = 5*a - 12. Suppose 0 = -7*w + 3*w + 16. Let n(d) = d**3 - 4*d**2 + d + 1. Let u be n(w). Solve u*c - 17 = -a*i, -3*c - 2*i + 6 = -4 for c.
4
Suppose 6*p = v + 2*p - 12, p = -2*v - 3. Suppose l = -v*l. Solve l = -5*f - r - 2, 10 = -0*f + 5*f - 5*r for f.
0
Suppose t + 0*v - 12 = -2*v, -3*t = -v - 1. Suppose t*s + 4*f = 22, 23 = 4*s - 2*f + 3*f. Solve -4*k - 5*r - 7 = 0, -s*k = -3*r + 16 + 2 for k.
-3
Suppose -4 = 6*z - 22. Solve 2*p = p - 2*b + 5, 35 = -4*p + z*b for p.
-5
Let q(v) = v**2 + 2*v - 1. Let a be q(-2). Let p = -1 - a. Suppose -4*m = -5*s + 2*s - 9, p = 5*m - 3*s - 12. Solve 0 = -l + 4, m*r - l = -3*l - 1 for r.
-3
Let i(y) = 2*y + 2. Let l be i(-6). Suppose -20 = -3*t - 5*r + 4, -4*t = 2*r - 18. Let h be (l/(-8))/(t/12). Solve h*d - 15 = p + 2, 5*d - 11 = 3*p for p.
3
Let j(n) = -n**3 + 3*n**2 + 2*n - 4. Let z be j(3). Let d be (-170)/(-50) - z/5. Solve -4*b - 3 + 1 = 2*f, d*b = 4*f - 7 for f.
1
Suppose 0 = 2*s + 3*s + 5*o - 45, 3*s + 2*o = 23. Solve 4 = -s*w - h, -6*w = -3*w + 2*h + 8 for w.
0
Let p(b) = 5*b**3 - b**2 + b - 8. Let d(q) = q**3 - q**2 - 1. Let u(k) = 4*d(k) - p(k). Let c be u(-3). Solve -3*j + c*j + 27 = -5*x, -j + 6 = -3*x for j.
-3
Let c = 42 - 6. Suppose 2*m - 2*u = -u + 6, 4*m + 4*u = c. Let i = -6 + 6. Solve 2*h - 10 = m*o, i*h - 3*o = 2*h + 22 for h.
-5
Let h(p) = -p**2 + 2*p + 4. Let b be h(4). Let u be ((-12)/10)/(b/20). Suppose 2*m + 0 = u. Solve 3*t + 5*w + 14 = 2*t, m*t - 2*w - 9 = 0 for t.
1
Suppose -t + 16 = -3*f + 65, -2*f + 51 = 3*t. Solve 3*n + h + 13 = -0*n, 4*n + 2*h + f = 0 for n.
-4
Suppose 0 = 3*v - x - 3, -3*x - 3 = -2*v - 2*x. Let t(u) = u**2 - 2*u - 4. Let f be t(4). Solve v = 4*m + q + 5 - 0, q = 5*m + f for m.
-1
Let v(w) = -w**2 - 2*w + 1. Let p be v(-3). Let o = p + 12. Let b be (-4)/o + 154/35. Solve 2*c - 3*d - 8 = 0, c - b*d = 2*c + 18 for c.
-2
Let n = -4 + 7. Suppose -36 = -n*u + u. Solve 5*i - 26 = 3*j, -j - u = 2*i - 6*i for i.
4
Suppose 5*z - 3*z = 0. Solve -h - 20 = 5*f, z = -0*h + 4*h - f + 17 for h.
-5
Let b = -1 - -31. Solve -10 = -a + 3*d, -2*a - b = 3*d + d for a.
-5
Let r be 3/2*(-56)/(-42). Suppose -7 = -r*k - 1. Solve 5*s - 30 = 2*q + k*q, 5*s - 4*q = 26 for s.
2
Suppose v - 3*s - 1 = -0*v, -4*v + 5*s 