*h - 2*y for h.
-1
Suppose -s = 4*s - 10. Solve -5*d - 17 = s*q, q + 12 = 4*q for d.
-5
Suppose 5*h = 7*h - 16. Solve 21 = -4*y + 3*k - h*k, -4*y - 11 = -5*k for y.
-4
Let k(z) = z**3 - 3*z**2 - 6. Let i(o) = -o**3 + 2*o**2 + o + 6. Let n(v) = -6*i(v) - 5*k(v). Let a be n(-4). Solve d + a*m - 15 = 4*m, -5 = -4*d - 3*m for d.
5
Let n(f) be the third derivative of f**6/120 - f**5/5 + f**4/8 - 11*f**3/6 - 2*f**2. Let p be n(12). Solve 5*o = 5*m - p, 1 + 6 = 5*m + o for m.
2
Let i = 5 - 3. Suppose 0 = -0*o - i*o + 8. Solve -5*s - 15 = -o*c, -5*s + 5*c = 28 - 8 for s.
1
Let c = 7 - 5. Suppose 0 = c*g - 6 + 2. Suppose -g*f - 3*f = -25. Solve 14 = -4*a + f*n - 19, a - 5*n + 27 = 0 for a.
-2
Let y(i) = i**2 - 5. Let u be y(0). Let t = u - -5. Suppose 2 = 2*w - 2. Solve -5*a + 5*c - 20 = t, w*a + 4*c + 19 = -a for a.
-5
Suppose -4*c = 0, -6 = 2*l - l - c. Let o be l*((-30)/9 + 1). Suppose o = 4*g - 2*s, -s + 15 = 3*g + 2*s. Solve 3*y - 1 = 4*n, 3*n - 5*n - g*y = 28 for n.
-4
Suppose 4*y + 30 = 5*w + 2*y, -4*w + 24 = 2*y. Let k be w/(0 - (-3)/4). Solve -5*a + z - 6*z = 0, 4*a + 2*z = k for a.
4
Let n be (-1)/((-2)/(-20)*-2). Solve 2 = -4*q - 2*c, -10 = q + 4*q - n*c for q.
-1
Let b be 0 - -1 - (-2)/1. Let c be 2/6 - (-5)/b. Suppose -c*z = -z - 12. Solve 2*s + 0*s - 6 = m, 4*m = -s + z for m.
2
Let z(q) = q**3 - 8*q**2 - 7*q - 13. Let x be z(9). Solve x*y = u, 2*y = -2*u - 1 + 13 for u.
5
Suppose -3 - 1 = -2*q. Solve -3*f - 4 = g, 4*g = -g - q*f - 7 for g.
-1
Suppose 3*c + 11 = 2*o - 4, -4*o = 2*c - 70. Solve -3*g + 5*w - 3*w = 2, 0 = -5*g + w - o for g.
-4
Suppose 3*z = z. Suppose 3*i - 49 + 18 = -2*s, 5*i - 4*s - 37 = z. Solve 5 = -5*c - 3*o, -3*o - i - 6 = 0 for c.
2
Let t be 4/(-4) - -3 - -3. Solve -2*w + t = 3*i, -4*w + 16 = i + 1 for i.
-1
Let h be (-260)/(-22) - (-12)/66. Solve 4 = 3*l + 2*g + 1, -4*g + h = 0 for l.
-1
Suppose 3 = 2*i - 3. Suppose -4*x = i*h + x + 10, 0 = 5*h + x - 20. Solve -3*d + m + 2 = -2*d, 0 = 2*d + h*m + 24 for d.
-2
Let x be 1*1/(-2 + 1). Let o be 2 - ((-4)/x - 2). Solve 4*w - 3*w = -4*c + 9, -w - 5*c + 10 = o for w.
5
Let c(v) = -v - 13. Let l be c(-13). Suppose -2*y + y + 5*k - 21 = l, 0 = y + 3*k - 19. Let a = -1 + 3. Solve 3*z = a*g - 9, -5*z = 4*g - 3 - y for z.
-1
Suppose 6 = -0*w + 3*w. Suppose w*c = 4*c - 8. Suppose o = 11 + 5. Solve 0 = -c*f - 3*i + o, 0*i = -2*f + i - 2 for f.
1
Let c(z) = 2*z**2 - 4*z - 1. Let v be c(3). Solve -5*n + v*o - 25 = 0, -4*n - 5*o + 0 = 2 for n.
-3
Suppose 0 = -2*n + 2 + 2. Let z(h) = -h**3 + 2*h**2 - 2*h + 3. Let i be z(n). Let l be (i*1)/(2/(-4)). Solve 4*f + 4*g - 4 = 0, -22 = l*f + 3*f - 4*g for f.
-2
Suppose 5*z + 3*a = -0*z + 80, 2*z - 32 = -3*a. Solve 5*o + 2*q = -q, 3*o + z = -5*q for o.
3
Let h be (-2)/20 - (-588)/280. Solve -p = -2*q, -p + 4 = 2*p - h*q for p.
2
Let d(c) = c**2 - 19*c + 5. Let m be d(19). Solve m*n - 2*a = -20, 0 = 2*n - 4*a + 2 + 6 for n.
-4
Suppose -19*m + 15*m + 12 = 0. Let p(z) = -3*z - 1. Let s be p(-2). Solve 5*j - y - 16 = -0*y, m*j = -s*y + 32 for j.
4
Let y(w) be the first derivative of -w**3/3 + 7*w**2/2 + 6*w - 1. Let x be y(7). Let p be (4 - x)*7/(-2). Solve -2*r = -5*l + 11, -4*l + r = -p - 3 for l.
3
Suppose 5*q + 14 = 2*c + 49, 3*c + 10 = -q. Let d(g) = g - 1. Let i be d(q). Suppose 5*o = -0*o + 20. Solve -t - 12 = -o*x, 4*x - i*t - 19 - 5 = 0 for x.
2
Let l(k) = k**3 - 19*k**2 - 19*k - 20. Let w be l(20). Let x(d) = d**2 + d + 2. Let t be x(0). Let n = w + t. Solve 5*y + 9 = -2*f, 6*f - 5*y = n*f - 3 for f.
-2
Let s(a) = 2*a**3 - 3*a**2 - 2*a - 1. Let w be s(3). Solve -4*z - j + w = -7*z, -j = -2*z - 15 for z.
-5
Suppose 16*z = 13*z. Suppose z = 4*s + 3*b - 71, -4*s - 5*b + 36 = -29. Solve -2*y + s = n + 3*n, y + 4*n = 18 for y.
2
Suppose -4*a + a + 63 = 0. Let v = a - 21. Solve 15 = 5*k, k - 8 = 5*q - v*k for q.
-1
Let x = 13 - 11. Suppose -2*n = -3*s + 22, -5*s + 18 = -2*n - 12. Solve -3*k = 2*k + x*g + 35, -s*k - 25 = g for k.
-5
Let u(d) = 7*d - 2*d - 7 + 3*d - d**2 + 2*d**2. Let i be u(-9). Solve 15 = -5*z - i*y, -25 = 3*z + 2*z + 4*y for z.
-1
Let c(q) = q + 1. Let j be c(1). Suppose j*g + 12 = 6*g. Solve -g*k + 4 = z - 6, -5*k = z - 16 for k.
3
Suppose -t + 9 = 7. Solve b + b + t*o = 0, -5*o - 45 = -4*b for b.
5
Let w(m) = -7*m**2 + 21*m - 4. Let l(y) = -3*y**2 + 10*y - 2. Let s(p) = -5*l(p) + 2*w(p). Let h be s(8). Solve -2*g = 2*n - 6*g + 4, n = 3*g - h for n.
-2
Let c be 4/(-14) - (-144)/63. Solve -n + 12 + 2 = -5*w, -w + c = -5*n for n.
-1
Suppose -6 = 5*b - 2*s, -3*b - 4*s + 9 = -s. Suppose b = -4*l + 3*l + 4. Suppose r + 2 = l. Solve -g + r*g - 4 = -2*a, 3*a - 6 = 2*g for a.
2
Suppose 4*g - 29 = -3*c - 10, g + 14 = 3*c. Solve 0 = 2*i + c*x - 20, 0*x - 2*x = -2*i + 6 for i.
5
Suppose -r + 3 = -4*w, -3*r = 4*w + 1 - 10. Suppose -15 = -4*t + 45. Suppose w = 6*b - b - t. Solve s + 2*s = b*d + 27, d + 5 = 0 for s.
4
Let s be (3 - (-28)/(-12))*24. Solve -w - 4*q - 11 = 0, 2*w + 0*q + s = -5*q for w.
-3
Suppose -3*i = -0*i - 6. Let g be 0/2 + i*1. Solve -3*r - r = g*a + 12, -3*a - 4 = -r for r.
-2
Let g be (4/(-8) - (-1)/2) + 12. Solve -8*a + g = 2*c - 4*a, 2 = -2*c + 3*a for c.
2
Suppose -2*r - 58 = 3*r + 2*p, 0 = -5*r - 4*p - 56. Let q = 15 + r. Solve -3*s - 2*j - 15 = j, -20 = 4*s + q*j for s.
-5
Suppose 0 = -4*d + 3*b + 10 - 1, 0 = -3*d - 3*b + 33. Let l = -24 - -34. Suppose -k = -d*k + l. Solve -4*i = -2*j - k, 2*j = i + i for i.
1
Suppose 2*n + 40 = -3*n. Let m(v) = -v + 2. Let h be m(n). Let x = 1 - 1. Solve -5*w - h = 5*r, x*r + 3*r + 2*w + 5 = 0 for r.
-1
Suppose 0 = -4*p - 13 + 57. Suppose -p*y = -6*y. Solve y = -2*j - 5*s - 1, 3*j - 5*j + 2 = 2*s for j.
2
Suppose -z = -8 + 4. Suppose 0*u + z*u - 20 = 0. Suppose -4*y = 5*k - 11 - 0, y - 5 = k. Solve u*i = -y*f + 12, 2*f - 3 = -2*i + 3 for f.
3
Suppose 2*a - 3*a = -14. Suppose 6 = -4*x + a. Let q be 36/(-2)*(-1)/x. Solve 3*d - 5*c = -q, 3*c = -3*d - c + 18 for d.
2
Suppose -2*l = -0*l. Let t = 2 - l. Solve t*d - 5 = -z + 1, 2*d - 18 = 2*z for d.
5
Suppose 2*f = -3*p + 13, -4*f + 2*f + 11 = 5*p. Let m(z) = -z**2 + 8*z. Let l be m(f). Solve -5*u = -u - 2*n - 18, 4*u + 3*n + 7 = l for u.
2
Let b be 32/6 + (-3)/9. Solve b*y + 17 = -2*x, 4*y - 2*x + 4 = -24 for y.
-5
Suppose 17 = 3*l - 2*u, -3*l = -0*l - 4*u - 25. Solve -l*f - 2*h = 17, -8*h + 5 = -2*f - 3*h for f.
-5
Let y(o) = -o**2 + 3*o. Let m be y(3). Solve 2*n + 3*l - 19 = m, -9 = 2*n - 4*l + 7 for n.
2
Suppose -3*x - 32 = x. Let a(g) = -g**2 - 9*g + 4. Let z be a(x). Let c(d) = -d - 2. Let j be c(-4). Solve 3*i + i - 5*h - 20 = 0, 3*h = -j*i - z for i.
0
Suppose 4 = 4*k - 20. Let w = -6 + k. Solve 5*y - 5*m + 4*m - 7 = w, -4*y + 6 = -m for y.
1
Suppose 3*l = -5*s - 107, -4*s = 3*l + 100 + 9. Let c = -8 - l. Solve -4*y - 12 = 2*b, -2*y + 4*b = y + c for y.
-5
Let j be (-6)/(-4)*(-4)/3. Let n = 1 - j. Solve -n*c + 5 = 4*w - 10, 2*c - 5 = -w for w.
3
Suppose -4*s + 15 = -s. Solve -4 = 3*h - 5*c + 7, c = s*h + 11 for h.
-2
Let h(v) = 4*v - 3*v + 2 + 4 - 4. Let z be h(3). Solve -2*b + z*y - 6 = 0, -3*b - 9 = 4*y - 2*y for b.
-3
Let v be (-1 + 0)/(3 + -2). Let i = 2 - v. Suppose z = -i*z. Solve -2*y + 2 = 0, z = c + 4*c - 2*y + 2 for c.
0
Suppose 0 = 6*c - 2*c - 12. Suppose 1 = 3*n + 7. Let j be (1 - 0)/((-1)/n). Solve -2*s = -2*l + 2, j*s + 8 + 9 = -c*l for l.
-3
Let n be (12/(-42))/(2/(-56)). Solve -4*p = -2*s + n, -3*p - 13 + 0 = 2*s for s.
-2
Let o(d) = 0*d + 5*d - 2*d - 6. Let x be o(6). Suppose 0 = 5*t + 5*p - 6 - 44, 3*t - 3*p = 0. Solve -5*b + t*q - 21 = -6*b, -x = -3*q for b.
1
Let p(v) = -2*v + 3. Let z be p(-6). Suppose -8*c + z = -3*c. Solve -u - 3*u - 4*s = -20, 2*u - c*s = -10 for u.
1
Suppose 8*h = 4*h + 8. Suppose 2*c - 2*j - j - 3 = 0, 3*c - 2*j = 2. Solve 2*o = 4*y - 8, -h*y + 4*o + 5 + 11 = c for y.
0
Let x = -47 - -59. Solve -m - 23 = -h + 5*h, 0 = -3*h + m - x for h.
-5
Let j(n) = n**3 + 6*n**2 + n + 3. Let l be j(-6). Suppose -4*p + 7 = -1. Let f = p - l. Solve -4 = z - 2*v - 3, -z = f*v + 1 for z.
-1
Suppose -q = -5*q. Suppose 2*z - z = -5*a + 11, q = -2*z + 2. Solve 0 = 3*t + 4*f + 20, 3*t = -t + a*f + 10 for t.
0
Suppose 3*o = 2*b + 5*o - 2, 3*b - 31 = 4*o. Let r = 2 + b. Solve 4*t + r = -9, -8 = i + 2*t for i.
0
Let v be (-7 - -6) + 2 + 0 + 2. Let h be 13 - ((-1 - -2) + -1). Solve 0 = -v*u + 5*x - h, 