+ 3*h = 0 for k.
-2
Suppose 11 = 5*l - 9. Solve 0 = -3*d - 4*m - 23, -16 = l*d - 3*m + m for d.
-5
Let k = 9 + -6. Let o be 1 - (k + 12/(-2)). Solve 3*m - p - o*p + 17 = 0, m + 3 = p for m.
1
Suppose j + 2*j = 4*q - 259, -4*q + 251 = 5*j. Let u = q - 25. Suppose 5*m - u = -14. Solve 5*o - m*z - 25 = 0, -o - z + 4*z = -15 for o.
0
Suppose -10 = 5*j + 5*r, 3*j + 0*j + 5*r + 10 = 0. Solve -2*v = -4*t - 2, v + 5*t = -j*t + 15 for v.
5
Suppose -t - 4 = -2*t. Solve l - 8 = -t*z, -6*l + l = -4*z + 32 for l.
-4
Suppose s = -4*s - 30. Let k(b) = b**2 + 7*b + 9. Let j be k(s). Solve 2*w + 1 = 2*m + 5, -w + j = 0 for m.
1
Suppose -g + 3*q + 1 + 12 = 0, -6 = 2*q. Let m = -10 - -17. Let j(z) = -z + 7. Let h be j(m). Solve 4 = 2*s + x - 7, g*s - 4*x - 16 = h for s.
5
Let p(s) = -2*s**2 - 4*s - 2. Let q be p(-2). Let r be (1 + q)*(5 - 0). Let x = -2 - r. Solve -2*i - x*m + 8 = -0*m, 2*i = -2*m + 8 for i.
4
Let p(m) = 3*m - 1. Let h be p(3). Suppose 2*f = -2*f + h. Solve -2*w + 4 = -0*w, -2*s - 2*w = -f for s.
-1
Suppose 0 = 3*l - 0*l + 5*o + 1, -5*o - 7 = l. Solve -m + 1 = -2*x - l, -2*x + 4*m + 8 = 0 for x.
-4
Let j = 4 + -5. Suppose -3 - 21 = 4*q. Let i = j - q. Solve -4*s - r = -i, 3*s + 2*s = -r + 5 for s.
0
Let g(z) = -z**3 - 4*z**2 + 6*z + 1. Let k be g(-5). Let d be (-84)/(-10) + k/10. Solve -29 = -4*l - 5*b + d, -4*b = 4*l - 32 for l.
3
Suppose 4*w - 5*w - 3*j = -9, -4*w + 10 = -j. Solve p - 11 = w*s, p + s = 3*p - 2 for p.
-1
Let b = -11 - -15. Solve -2*c = 3*d - c - b, -5 = -5*c for d.
1
Let s = 20 + -34. Let b be (-7)/s + (-3)/(-2). Solve -l = -5*n - 3*l + 12, -20 = -3*n + b*l for n.
4
Let y be (-76)/(-14) - 3/7. Solve -y*b - 1 - 21 = t, 5*t + 5*b = -10 for t.
3
Suppose 24*u - 44*u + 400 = 0. Suppose -15 = -j - 4*j. Solve h = -4*a - u, j*a + 32 = -h - 4*h for h.
-4
Let x = -6 + 11. Suppose 24 = -x*t - 1, 40 = 5*n - 4*t. Solve -2*k = 0, -2*v = v + n*k - 6 for v.
2
Let v(f) = 3*f - 3. Let s be v(6). Let c be 24/s + (-2)/(-5). Let o be c/(-3) + 8/3. Solve 5*b = 2*r + o, 1 + 21 = 3*b + 4*r for b.
2
Let a be (-4)/(-5)*(-15)/(-6). Suppose 3*m = 4*v - 16, -11*m + 7*m - 5*v + 20 = 0. Suppose -a*y = -m*y - 26. Solve -16 = -4*n, y = -j + 4*n - 0*n for j.
3
Suppose 3*o = -o - 8, 5*m + 2*o = 16. Solve u - 2*c + 4 = -m, -3*u - 2*c = 0 for u.
-2
Let h be ((-5)/15 - -2)*3. Solve -2*c - h*v + 18 = 0, 9*c = 4*c + v + 18 for c.
4
Let p = 75 + -41. Solve 3*q = 5*a - p, 2*a + 2*q - 16 = 4*q for a.
5
Let q(o) = -o + 15. Let x be q(7). Let k = x - 8. Suppose 0 = -g + 3 - k. Solve -2 = g*w - 5, 3*f - 3*w - 9 = 0 for f.
4
Suppose 0 = 18*c - 16*c - 8. Solve c*r = 3*n - 14, -8*n + 15 = -5*r - 3*n for r.
-5
Let h(b) = b**2 - 6*b + 5. Let f be h(4). Let m = 3 + f. Let u be (-2)/(m - 2/3). Solve 3 = 4*v - 5*k - 9, 4*k = u*v - 9 for v.
3
Let k(c) = 2*c**2 - 11*c + 10. Let j be k(5). Solve 3*u + 7 + 7 = -f, -j*f + 20 = -3*u for u.
-5
Let j(l) = -l**3 - 7*l**2 - 7*l - 1. Let p be 0/(-3) - (0 - -6). Let m be j(p). Let g = 5 - m. Solve -c + 3*u = 8, g = -5*c - 2*u + 25 + 3 for c.
4
Suppose o + 5*o = 30. Solve -4*d - 24 = -o*v, 0*v - 2*d + 2 = v for v.
4
Suppose 7 = 3*x - 2*x. Let v = -1 - -10. Let m(a) = -a**3 + 9*a**2 + 3. Let z be m(v). Solve t = -z*r + 3*t - x, 2*r - 3*t = -8 for r.
-1
Let w = 24 + -22. Solve w*i + f + 3 = -2, 3*f = 3*i + 3 for i.
-2
Let g = -10 - 4. Let r be (0 + 2)*(-35)/g. Solve 0*s - t = 2*s - 4, -r*t = -4*s + 36 for s.
4
Let p be (40/(-25))/(4/30). Let u = -9 - p. Solve 1 = 2*f - x - 2, -3*x = u for f.
1
Suppose 45 = -6*w + 3*w. Let r be (-8)/(-2) - 8 - w. Solve -6 = -x - 3*t, -2*x + r - 2 = 3*t for x.
3
Let f = -7 - -4. Let l be (f + 4)/(3/15). Solve 5*u + 3*o - 2 = 16, -l*o = -5 for u.
3
Suppose 8*b - 3*b - 20 = 0. Suppose 12 = -4*f, -3*g + b*g + 5*f = -8. Let j be -2 + (-2)/((-2)/g). Solve h - 2*v - 13 = 3*v, -22 = j*h + 4*v for h.
-2
Let z(d) = -d. Let t be z(-6). Suppose -2*u = -r - u + 7, r = 5*u + 27. Suppose -h - 22 = -5*m - 0*h, 4 = r*m + 2*h. Solve -v - a = m, 5*v + a + t = -2 for v.
-1
Suppose 7*h - 15*h + 24 = 0. Solve 0 = -3*k - h, 2*k = 3*a + 2*a + 8 for a.
-2
Let y = -18 - 18. Let q be (-8)/y - (-32)/18. Suppose q*z = 4*f + 2, -3*z + 13 = 3*f - 8. Solve i - 21 = z*c, 3*i - 4*i = -2*c - 9 for i.
1
Let p = 58 + -57. Solve -2*z + 12 = -5*i, 3*i + p + 11 = 0 for z.
-4
Let z(b) = -2 + 4 + 5*b**2 - 3 - 2*b - 1. Let h be z(-1). Solve 2*c + 2 = n + h*c, -2*n = -2*c + 4 for n.
-1
Let x be 1*(-4)/3*-3. Suppose -3*k = k. Suppose 10 = -k*f + 2*f. Solve 2*d - f*y + 10*y - 17 = 0, 24 = -d + x*y for d.
-4
Let a = 49 - 25. Solve -3*x + o = -11, 0*o - 4*o - a = -2*x for x.
2
Let w(b) = -b - 6. Let z be w(-6). Suppose -2*t - 3*t + 5*v = -5, 2*t - v = 6. Solve 4*l - t*c + 17 = z, -2*l - c + 14 = c for l.
2
Let r(g) = 2*g + 32. Let k be r(-14). Solve 4*o + 2*j - 6*j + 12 = 0, k*o + 5*j - 24 = 0 for o.
1
Let z = -11 + 15. Let n be 4/18 + 68/18. Solve -n = 4*m + 4*b, 0 = z*m - b + 6 + 8 for m.
-3
Let b(y) = 4*y + 5. Let j be b(4). Suppose -4*x + 0*o + 34 = -2*o, x = -2*o + j. Solve 5*p - t = 0, 3*t - x - 2 = 2*p for p.
1
Suppose 0 = y - 0*y. Suppose y = k + k. Solve k = 4*f - 0*p + 2*p - 10, -5*p = 2*f + 15 for f.
5
Let i(s) = -4*s - 2. Let j be i(-1). Solve -u + 2*w = 6, 3 = 5*w - j for u.
-4
Suppose -90 + 15 = -5*t. Solve r = -u + 5*r + t, 4*r + 11 = 5*u for u.
-1
Let h(g) = g**2 - 10*g + 2. Let i be h(11). Suppose i = 4*t + 1. Solve -6 = 2*p - 2*j, 2*j - 18 + t = 5*p for p.
-3
Let g = -39 + 42. Solve -20 = 3*x - x - g*l, 5*l - 24 = x for x.
-4
Let x = 2 + 2. Solve -2*a - a - x*h + 11 = 0, -3*a + 20 = -5*h for a.
5
Let z(x) = -x + 1. Let k be z(1). Let b be (-1 - k)/((-2)/8). Solve 4*u = -4*h, u - b = -0*h - 3*h for u.
-2
Let a = 12 + -6. Solve -4*i - a = 5*j, -2*j + 4*i = 2 + 6 for j.
-2
Let k(n) = n**2 + 3*n + 4. Let i be k(3). Let z = -17 + i. Solve -21 = -z*r - 1, 5*r = -5*x + 40 for x.
4
Let n be (2/4)/(3/246). Let s be 2/(2 - 4/3). Suppose s*d + n = 4*d. Solve 3*j = -15, -4*z + j + 4*j = -d for z.
4
Let v(j) = -3 + 2*j**3 + 2 + 2*j**2 - j**3. Let a be v(-1). Solve -19 - 3 = -2*q + 5*g, a = 4*g + 16 for q.
1
Let i = -5 + 10. Let b = -40 + 19. Let n = 21 + b. Solve n = 4*v + 5*m - 10, 0 = -0*v - i*v - 3*m + 19 for v.
5
Suppose 4*s - 2*s = 0. Let b(c) = -c**3 - 7*c**2 - 5*c + 9. Let n be b(-6). Solve 2*r + n = -0*r - 3*i, r - 3*i - 3 = s for r.
0
Let d(n) = -3*n + 2. Let t be d(5). Let s = t - -13. Solve 2*i - g = -4*g - 4, s = -3*i + g + 16 for i.
4
Let d = -16 + 16. Let s be (0 - 0)/(d + -1). Let q(i) = -i**2 + 4. Let t be q(0). Solve s*n = -5*h - n - 22, 5*h + 37 = t*n for h.
-5
Suppose 4*y - 5*y = 15. Let f be y*(-1)/3*1. Solve 4*l = -3*z - 9, -5*l + 0*l - 10 = f*z for l.
-3
Let n be 3 - 0 - (-5)/(-5). Let f = n + 3. Suppose 2*z = f*z. Solve 3*g + 2*c + 1 = 0, 2*c = -2*g - 2 - z for g.
1
Suppose -t - 3 = 0, -2*t - 9 + 3 = 5*k. Let x(z) = -z**3 - z + 24. Let j be x(k). Solve -4*l - j = -4*i, 2*i - i = -l - 4 for i.
1
Suppose -8 - 1 = -f - 3*p, -3*f + 3*p + 15 = 0. Let a(t) = t**2 - t - 2. Let u be a(2). Let v = u + 5. Solve 3*z + 8 = -v*b, 4*b + z = -b - f for b.
-1
Let f be 2 - 4 - (-6 + 2). Let w = 5 + -2. Let n be (1/(-1))/(w/(-9)). Solve v = -f*j + n - 0, 0 = -v - 5*j + 6 for v.
1
Let y(v) = v**2 + 6*v - 13. Let k be y(-8). Suppose n + 4 = 2*n. Solve b - n*a = -8, k*a + 11 = 2*b + 3*b for b.
4
Suppose 0 = 7*p + 20 - 55. Solve 5*r - 20 = 0, -p*t + 10 = -2*t + r for t.
2
Let f = -41 - -25. Let l = -16 - f. Solve 4*p + 24 = 4*j, -4*j - 3*p + 3 = -l for j.
3
Let u(z) = -z**2 - 1. Let o be u(-3). Let i = -2 - o. Solve -2*k = 5*t - 4, -t + 4*k - i = -4*t for t.
0
Let n be ((-15)/10)/((-1)/4). Suppose 5*b - 292 = -2*v, -4*v + 54 = -3*b + 250. Let q be (n/5)/(18/b). Solve -2*j = -3*s, 2*s + 14 = q*j + 3*s for j.
3
Let a be 1/(-2) + (-7)/(-2). Suppose 0 = a*r + 9, -3*b - 1 + 4 = 3*r. Suppose -3*j = -2*j - b. Solve 18 = 3*k - 3*s, j*s + 10 - 2 = 0 for k.
4
Suppose 5*c + 4*m - 53 = 0, 2*c - 2*m - 11 - 3 = 0. Let i = c + -1. Solve -3*d = -i*d + 3*p - 10, 0 = -2*d + 3*p - 13 for d.
1
Suppose 0 = -3*f + f - 18. Let h be f/((-3)/(-12)*-3). Suppose 0 = -4*p + 2*x + h, 7*x + 25 = 5*p + 2*x. Solve 22 = -5*c - 4*b, -b - p = -c - 0*c for c.
-2
Suppose 0 = r - 0*r. Suppose r = 2*x - x - 7. Solve -4*w = -x*h + 2*h - 4, w - h = 1 for w.
1
Suppose -3*y - 2 = -14. Suppos