 -2*x - 4*k for x.
-5
Suppose 4*v = -v + 15. Suppose -p - 1 = -v*j, 0*p - 3*p + 3*j = -3. Suppose p*r - 5 = r. Solve w + w - r*x - 6 = 0, -4*x - 16 = 4*w for w.
-2
Let a be 3 - 3 - (-1 + -1). Let y(p) = -3 + 7 - 2*p**a + 7*p - p**3 + 2. Let v be y(-4). Solve 5 = 2*q - 1, -z - v = -3*q for z.
-1
Let v(c) = -c**3 + 15*c**2 + 18*c - 14. Let y be v(16). Let d = -12 - -12. Solve 3*p + y = 5*b, -5*p - 2*b + d = -1 for p.
-1
Suppose 4*v + 10 = 2*c, v + 1 = -2. Let n(o) = 5*o**2. Let h be n(c). Let w = 7 - 2. Solve -8 = -x + w*g + 7, 0 = -h*x + g - 21 for x.
-5
Let q be (3 + -2)*1*2. Let r be -3*(-2)/4*q. Solve -2*s - r*s = -10, -5*s + 6 = k for k.
-4
Let y be (-4)/6 - (-32)/3. Let d = 4 - y. Let k = d - -8. Solve 5 = -5*o, -k*p - 3*o - 2*o = -1 for p.
3
Let v(i) = -4*i**3 - 9*i**2 + 4*i**2 - i**2 + 3*i**3. Let y = -7 - -1. Let f be v(y). Solve -a = -p - 2*a - 10, -3*p - 4*a - 35 = f for p.
-5
Let h(y) = 3*y + 4. Let b(i) = -10*i - 13. Let r(u) = 2*b(u) + 7*h(u). Let x be r(2). Solve 0 = x*w - 5*w, 5*t = 5*w - 10 for t.
-2
Suppose 4 = -3*l - 0*s + s, 3*s + 27 = -4*l. Let y = 5 + l. Solve -5*b + 20 = 0, 3*g - y*b + 26 = 3*b for g.
-2
Suppose -3*d + 14 = 4*b - 2, 12 = 2*d + 4*b. Solve -10 = -d*f - 4*q + 2*q, 1 = q for f.
2
Let y = 22 + -10. Solve 0 = 3*z + 2*z - t - y, -4*t + 6 = -2*z for z.
3
Let p(b) = 3*b + 9. Let f be p(-5). Let h(y) = -y**2 - 5*y + 13. Let n be h(f). Solve -4*t - n - 38 = 5*g, 0 = 4*t + 3*g + 35 for t.
-5
Let h be (-14)/(-4) + (-2)/4 - 3. Suppose 20 = 6*y - 2*y. Solve 4*a + 2*i = h, -4*a = -6*a + y*i for a.
0
Let r = -224 - -229. Let y = -5 - -10. Solve -y*o - 10 = r*a, a - 2*o + 1 = 5 for a.
0
Let j = 10 - 6. Suppose 0 = j*q - 0*q - 16. Let t be (-66)/(-10) - (-8)/20. Solve -4*d - q*z = -t*d + 26, 0 = -d - z - 3 for d.
2
Let r(p) = p**3 - 6*p**2 + 2*p - 8. Let c be r(6). Suppose 4*o - 31 = c*f + f, 5*o - 17 = -f. Let u = f - -7. Solve -3*m = 4*h + 20, u*h + 0*m - 2*m = 0 for h.
-2
Let s be (4 - 0) + (-6)/(-2). Suppose -4*y - s = -5*c + 133, -79 = -2*c - 3*y. Solve -3*d - c = 4*b - 8, 4*d - 3*b + 7 = 0 for d.
-4
Let r be (-4)/(-6) - 44/12. Let s(o) = o**3 + 5*o**2 + 2*o. Let j be s(r). Suppose 0 = 4*m - 0*m - j. Solve -5*x = -c + 23, -4*c = -m*x + 5*x + 18 for x.
-5
Let h be (-44)/(-6) - 14/(-21). Suppose -2*u = h - 34. Solve c - 3*j + 4 = -u, -4*c + j = 13 for c.
-2
Let i = 9 + -3. Solve 14 = b + 4*s, 3*b + i = -5*s + 27 for b.
2
Let n be 24 + (1 - 0)*0. Solve 0 = 4*i + 4*l + n, 2 = i - 2*l - 7 for i.
-1
Let n = 3 + 2. Solve -n*c + 9 = -d, -2*c - 4*d + 8 = -0*c for c.
2
Let c(r) = 8*r - 4. Let w be c(3). Suppose -w = -4*o + i - 2*i, -o + 2*i = 4. Solve l = -3*b - o*l + 22, b - 9 = -2*l for b.
-1
Suppose -1 = r - 6. Let j(v) = -v**3 + v**2 - 2*v - 1. Let c = -5 - -3. Let g be j(c). Solve r*o = -z + g, 5*z + 3*o - 5 - 4 = 0 for z.
0
Let i = -45 - -63. Let c = i - -1. Solve -c = -3*n + 2*w - 7*w, 2*w - 19 = -5*n for n.
3
Let k be (-3)/(-2)*(-80)/15. Let g be 1*3 - (-8 - k). Solve 4*v - 1 = -v - 3*y, -11 = 5*v - g*y for v.
-1
Let m(u) be the first derivative of u**2 - 2*u - 2. Let f be m(4). Let d be 2/4 - (-18)/(-36). Solve -f = 5*a - 5*v - 1, d = 3*a + 3*v + 27 for a.
-5
Suppose 2 + 4 = -3*t. Let w be (-1 - 2 - t) + 1. Solve -v + 6*b - 3*b - 9 = w, -4 = -2*b for v.
-3
Let s be (-4)/4*2/1. Let j = s - -7. Solve 0 = 2*b - 4*b + r + j, -3*b = -4*r for b.
4
Let p(s) = -s**2 - 54. Let m be p(0). Let w = -34 - m. Solve -6*v + 4*c + 4 = -3*v, -3*c = 2*v + w for v.
-4
Let j = -8 - -11. Let m = -3 + j. Solve 3*k + 15 = -m*a - 3*a, 2*k = a - 10 for k.
-5
Let q = -3 + 3. Suppose q = u - 5 - 0. Let b = -6 - -9. Solve -4*r + b = -u, 3*v + 3*r = 9 for v.
1
Suppose -2*x - 3*d + 3 = -39, 10 = 5*d. Solve 3*q - 3*a - x = 0, -4*q = q + 3*a - 6 for q.
3
Let x be 25/15 - 2/(-6). Solve x*n - 13 = l, 10*n = 5*n - 2*l + 19 for n.
5
Suppose 4*h - 7*h - 6 = 0. Let q = 9 + h. Solve 4*p + 3*y = q*y + 8, p - 5*y - 6 = 0 for p.
1
Let k(y) = 3*y + 1. Let l be k(1). Solve 0 = -4*m + 2*n + l, -4*m + 3*n = -0 - 2 for m.
2
Suppose 0 = -i + 6*i. Let x = 12 + -7. Solve -s + 4 = 3*c, -x*c = -i*c - 10 for s.
-2
Suppose -2*s - 24 = -6. Let i be -6*(12/s - -1). Solve -3*u = i*g - 9 - 6, -g = 4*u - 20 for g.
0
Let a = 10 - 7. Solve a*r + 4*h - 13 = 0, -2*r + 4*h - 18 = -0*h for r.
-1
Suppose 0 = 3*p - 2*p + 6. Let g be 8 + 0*(-1)/(-2). Let i = p + g. Solve -3*u - 13 = r + 4*r, i*r + 3 = u for u.
-1
Let l(s) = s**3 - 2*s**2 + 3*s - 2. Let d be l(2). Solve -r = 4*g + 7, -17 = 5*r - 2*g + d*g for r.
-3
Let f(o) = -o**3 + 7*o**2 - 6*o + 5. Suppose 5*c - 45 = -15. Let r be f(c). Solve -3*u - 5*l + 10*l + 20 = 0, -r*u = -2*l - 8 for u.
0
Let s(t) be the third derivative of t**6/120 + t**5/10 + 2*t**3/3 + 6*t**2. Let x be s(-6). Solve -20 = y + 5*u, x*y - 4 = -0*u + u for y.
0
Let m = -68 + 73. Suppose -3*w + 11 = 2. Solve -2*r = -w*r + m*s + 29, 0 = -r - 3*s - 11 for r.
4
Let j = 51 + -45. Solve 4*f - 2*r = j, 2*f - 3*r = -f + 3 for f.
2
Let l be (-2)/6*-2*3. Let b be l/(-8) - 65/(-20). Solve g + 4*p = 0, -5*g - p + 22 = b for g.
4
Suppose -2*w + w - h + 2 = 0, 4*w = h + 13. Solve 2*t + 0*k = 5*k - 10, 5*t - w*k + 25 = 0 for t.
-5
Let o(z) = -z - 3. Let l be o(-4). Solve 0 = -2*a - 4*i - 8, -3*a - 5*i - 9 + l = 0 for a.
4
Suppose f + 2*l - 2 = 11, l - 17 = -4*f. Suppose 4*c - p = 34 - 12, p = -f*c + 13. Suppose 3*y - 1 = c. Solve -3*z = 3*x - 3, -3*x - y*z + 2 = -1 for x.
1
Let p be (3/9)/(7/63). Suppose 0 = -3*a + 6 - 0. Let w(k) = k**2 + 2*k - 1. Let v be w(-3). Solve 0*n - v*q = -p*n - a, n + 2*q = 2 for n.
0
Let x = 7 + 1. Suppose 5*m = -2*b - x, 6*b + 12 = 2*m + 3*b. Solve -2*f - 14 = f - 4*k, m = -f - 2*k + 2 for f.
-2
Let q = -1 + 5. Solve q*l = -4*a + 3*l + 7, -4*l - 4 = 0 for a.
2
Suppose 2*q - 9 = -3. Let y be 3 - -3*(-1)/q. Solve y*h = 7*h + v + 1, -9 = 5*h - v for h.
-1
Suppose b + 2 = 0, 5*r + 4*b = -b + 15. Solve -28 = r*g + 3*v + v, -5*v = 3*g + 22 for g.
-4
Suppose 24 = -6*z + 9*z. Let j = 11 - z. Solve 5*o + 30 = 5*a, j*o + 6 = -a - 0*o for a.
3
Suppose -2 = 3*s - 4*s. Solve -s = -x, 2*x = 7*l - 4*l + 13 for l.
-3
Let f = -16 + 24. Let w = 0 + f. Let p be (-1 - -2)/(1/3). Solve 4*a + w = 0, p*g + 2*a + 4 = g for g.
0
Let j = -95 - -51. Let y be (-11)/(j/24) - 1. Solve -18 = o + 4*q, y*o + q = 6 - 1 for o.
2
Let y(p) = p**3 + 7*p**2 - 7*p + 1. Let u be y(-8). Let d = -1 - u. Solve 0 = -f + 2*h + d, -3*f + h + 3 = -5 for f.
2
Suppose -w + 5*z - 12 = -0*z, 0 = 3*z - 9. Solve 2*g + 3 = v, 5*v + 6 = -2*g - w for g.
-2
Suppose p - 4*l - 5 = 7, -5*p + 2*l + 6 = 0. Solve p*u + 2*u - 2 = -3*m, 0 = 3*u + 5*m - 5 for u.
-5
Suppose 4*f - 4*u - 4 = 0, -3*u - 4 - 5 = -5*f. Suppose 2*g - f*g + 3 = 0. Solve -n - y = g*n, 5 = -n + y for n.
-1
Let g = -25 - -40. Solve 5*h = -g, -6*p - 16 = -p + 2*h for p.
-2
Let u(j) = -j**3 - 11*j**2 + j + 15. Let q be u(-11). Solve -4*v - 2*m = 0, 2*v + q*m + 0 = -6 for v.
1
Suppose -4*c + 20 = n, c - 1 = -n + 4. Solve -k + x + 7 = n, k - 4*k - 4*x + 7 = 0 for k.
5
Let m = -3 - -6. Let f(t) = t**3 - 5*t**2 + t - 5. Let q be f(5). Let u be (6/(-2) + 4)*7. Solve n - z - u = q, 4*n + m*z + 23 = 8*n for n.
2
Let k(x) = 2*x. Let b(c) = 2*c. Let g(l) = 3*b(l) - 4*k(l). Let z be g(-2). Solve 4*f = -0*j + j - z, -2*j = -5*f - 8 for j.
4
Let g be 2/(-2)*1 - -7. Let q be g/(1 - 1/(-2)). Suppose -5*s - 12 = -3*w - 2*s, -3*w = -q*s - 12. Solve -z + m = -4*m + 27, -w*z + 12 = 4*m for z.
-2
Let w be (-2)/6 - 130/6. Let s = w + 32. Let h be 27/6 + (-1)/2. Solve -4*m = -2*l + m - 4, 0 = h*l - m - s for l.
3
Suppose 0 = 2*f - f + 3*i - 7, 24 = 2*f + i. Suppose -4*v = -41 + f. Solve -13 = -3*t + o, 2*o - 8 = 4*t + v*o for t.
3
Suppose -3*d + 2 = 5. Let y = 13 - 13. Let h be (0 - d)*(y + 2). Solve 5*b = h*f + 29, 5*f + 0*f = -2*b for b.
5
Let s(z) = -z**3 - 4*z**2 + 4*z - 3. Let x be s(-5). Let u(t) = -t + 2. Let h be u(x). Solve 3*n - 5*n = -4*k, 5*k - 4*n = h for k.
0
Suppose -4*v - v = -30. Suppose -2*q + 2*d = 78, -36 = q - 4*d + v. Let t = 69 + q. Solve -3*p + 5*i = -t, 0*p - 2*p = 2*i + 6 for p.
2
Let t be (-3 + 3)*1 - -5. Solve 5*r + 3*l - 4*l - 10 = 0, -t*r = -3*l - 10 for r.
2
Let a(m) = 6*m**2 - 2*m - 2. Let y be a(-1). Solve -w + 1 = 4*h - y*w, -w + 23 = 5*h for h.
4
Let w = -65 - -69. Solve 2*c + r - w = 4, 4*r = 0 for c.
4
Let t = -77 - -79. Solv