 -3*m + 19 = h - 7*m, 3*h + m = k for h.
3
Suppose -4*b + 3*m + 30 = -11, -4*m = -4*b + 40. Suppose -4*s + 5 + b = 0. Solve 5*c = 2*h + 11, h - s = -c + 2*h for c.
1
Suppose -5*p + 7 = -3. Solve l - 3*r + 5 = 0, l + 11 = 5*r + p for l.
1
Let t = -16 - -24. Suppose -5*j + j = -t. Solve -3*o - 2*y = 16, -j*o + 6 = -0*y - 2*y for o.
-2
Let g be 2*1*(-18)/(-9). Solve 5*c + 7 = -g*h, 5*c - 3*c = h + 5 for c.
1
Let f = -1 - 5. Let v = f + 14. Let r be 1/2*(v - 4). Solve r + 16 = -w - 3*k, -k - 14 = 3*w for w.
-3
Let k(h) = h**2 - h + 5. Let z be k(0). Let y = -2 - -4. Suppose -y*c + 44 = 4. Solve -6 = 2*i - x + 1, -5*i = -z*x + c for i.
-3
Suppose 4*j = -3*q + 2*q - 9, -5*j + 5*q = -20. Let b = 20 - j. Suppose -2*w + 29 = -5*z - 0, -2*w - 3*z = -b. Solve 2*u - 9 = 4*k - 3, -5*k + 4*u = w for k.
0
Let t(z) = z**3 + 4*z**2 - 2*z - 6. Let j be t(-4). Solve 3*h + 9 = j*n - 0*h, 4*n + 3*h + 9 = 0 for n.
0
Suppose 2*q = -0*q. Solve 3*s - 3*j + 5*j + 3 = q, 4*s + j = -4 for s.
-1
Let f(t) = t**2 - t - 3. Let c be f(5). Solve c = 5*y + 4*h, 2*h - 6 - 2 = -2*y for y.
1
Let v = -16 - -19. Solve -4*d + 27 = 4*k + 7, v*k - 4*d + 6 = 0 for k.
2
Suppose r = 4*c - 40, -5*c - 4*r + 0*r = -29. Suppose 0 = a - 4*a + c. Let i be a/(-2)*6/(-9). Solve -2*l - 3*p - 1 = 0, 5*p = -l + 2*p + i for l.
-2
Let l be 78/15 - 2/10. Let z(y) = y + 10. Let d be z(0). Let i = -28 - -30. Solve -d = -2*s + 4*m, -i*s = -0*s + l*m - 1 for s.
3
Suppose 2*k + 3*a - 26 = 0, 5*k - 2*a - 43 = -4*a. Solve 2*f = m + k + 5, -4*f + 12 = m for f.
4
Suppose 0 = 5*g - g. Suppose g = 2*s + 3*s - 15. Solve 2*k - 7 - s = 3*t, 3*k + 19 = -4*t for t.
-4
Suppose 2*t - 7 = 21. Solve 2*q = -x - t - 0, -3*x - 37 = 5*q for x.
-4
Suppose 4*d = 96 - 12. Solve -13 = -0*o - 2*o + y, 0 = -3*o + 2*y + d for o.
5
Let l(p) = p**2 + 8*p + 9. Let v be l(-7). Solve -5*n = v*x + 14, 4*n + 17 - 4 = -x for x.
3
Let i be 26/7 - (-4)/14. Suppose -i*h - 3 = -15. Suppose -4*f = d - 1 - 6, -2*d - 10 = 0. Solve -2*q - f*q - 26 = h*p, -5*p - 3*q = 22 for p.
-2
Suppose -2*v = -7*v + 30. Suppose 0*b - 4*b - 16 = 0. Let c = v + b. Solve x + l = 0, 5*l + 1 = -2*x - c for x.
1
Let x = -13 - -15. Suppose -37 = -3*f + 5*a - 0*a, 2*f + x*a + 2 = 0. Solve -3*n - f*q = -n - 14, n - 2 = 3*q for n.
5
Let a be -1 + 1 - -16 - 0. Suppose 0 = 5*h + 31 + 59. Let u be (-6)/4*24/h. Solve -u*t = -6*t + 2*m - a, 5*t - m + 14 = 0 for t.
-2
Let a(i) = -i**3 + 18*i**2 + 4. Let t be a(18). Solve 2*u - 14 = -t*q, 2*u - 16 = -5*q - 2*u for q.
4
Suppose -o + 4*m = 23 + 3, m + 78 = -3*o. Let a be (o/8)/(4/(-16)). Solve -3*l + 5*j + a = 0, 2*l - j + 4 = 1 for l.
-4
Let v be (-8)/(-6)*18/4. Let r = v - 1. Let z be (4/8 - -1)*14. Solve -4*h = -3*d - 17, r*d + 3*h = z - 1 for d.
1
Let t(l) = l**2 - 2*l - 6. Let o be t(5). Let p = -6 + o. Suppose -5*s = -4*r - 4, p*s + 8 = -r + 6*r. Solve 2*w + 2*n - r*n - 4 = 0, -2*w + n = -6 for w.
4
Let d = 54 - 50. Solve -d*v + 3*t - 14 = 0, -v + 5*t = 2 + 10 for v.
-2
Let u = 103 + -84. Solve o = -3*q - 2, 5*q - 4*o - u - 6 = 0 for q.
1
Let b = 23 - 23. Solve -5*d + 22 = -3*v, b = -4*v + 2*d - 8 - 12 for v.
-4
Suppose -11 = -6*c + 1. Solve i + 0 = p + 1, c*p = i - 1 for p.
0
Let d = 0 + 2. Solve 5*x + 1 = 4*f, -7 + 0 = 5*x + d*f for x.
-1
Let o(x) = -2*x + 2. Let z be o(3). Let l be z/(-20) - (-39)/5. Solve -d = -2*g + g - 1, g - l = -2*d for d.
3
Let q = 192 - 192. Solve 0*i + f = -3*i + 3, -4*i - f + 4 = q for i.
1
Let x = 170 - 166. Solve r + 6 = -3*k, -x*r + 6 + 2 = -4*k for k.
-2
Let s = 13 + -4. Let r be (s/3 + -3)/2. Suppose 0 = f - 2 - 1. Solve q + r*q + 16 = -f*p, -4*q - 2*p = 24 for q.
-4
Suppose -56 - 94 = -5*x. Suppose -2*k + 5*j - 6 = -36, -j + x = 2*k. Solve -k = 5*p + 2*g + 2*g, 2*g + 15 = -5*p for p.
-3
Suppose 5*k - s + 3 = 0, 5*k + 2*s = 1 + 5. Solve 5*m - p - 12 = -k*p, 5*m - 18 = -p for m.
3
Let n = 82 - 77. Solve n*g + 40 = 5*m, -4*g - m - 11 = 2*m for g.
-5
Let g(u) = -5*u - 8. Let c be g(-2). Solve -5*z + 16 = -2*y, 2*y + c*z - 5 = -7 for y.
-3
Suppose 0*u + 12 = l - 3*u, 0 = 3*l + u - 6. Suppose -5*f + 5 = -4*v, -l*v - 2*v + 25 = 0. Solve h - 3*z = f, -5*h + 0*z = z + 23 for h.
-4
Let h = 12 + -13. Let y be 2 + (7 - (h + 1)). Solve -y = -3*g + 3*z, g = -4*z - 0*z - 2 for g.
2
Let c = -10 - -23. Suppose 0 = -l + 20 + 5. Let r be (3/(-5))/((-5)/l). Solve -4*a - 41 + 15 = -r*n, -a = -4*n + c for n.
2
Let o = -25 - -28. Solve 0 = -4*q - 2*g + 22, -g - 1 - o = -3*q for q.
3
Suppose -5*f - u = -2*u - 63, -u = -4*f + 51. Solve m = -3*d - f, 3*m = 4*d + 28 + 1 for d.
-5
Let j = 12 - 7. Suppose j*i + 21 - 336 = 0. Let l be (-3)/(-12) - i/(-4). Solve -3*z = x - 2*x + l, 5*x + 3*z - 8 = 0 for x.
4
Let s(i) = -3*i - 5. Let j be s(-8). Solve -5*p - 2*q = j, 2*p + 8 = -2*q + q for p.
-3
Suppose -4*d = 2*c - 18, 0*c = -5*d + 5*c + 30. Suppose 3*b + 5 = 4*z - 3, -d*b + z + 15 = 0. Solve -b = -2*t + 3*f - 7*f, 0 = -4*f - 4 for t.
4
Let b be (3/1)/1 - (-70 - -69). Solve 0 = x + 4*u, 0 = 4*x + x - b*u - 24 for x.
4
Suppose -2*z - z = -12. Suppose -2*a + z = 2*a. Let i be -3*(4/3 + -2). Solve i*q + 18 = 4*l, -7 = -3*l - q - a for l.
3
Suppose 4*d = 3*k + d - 18, 0 = 4*k + 5*d - 15. Solve 1 = 4*u - 4*l + 5, k*l = u - 11 for u.
-4
Suppose -3*t + 34 = 3*o - o, 4*o - 12 = -2*t. Let y = -29 + 33. Solve v = q - 1, -y*q = -v + 4 - t for q.
3
Let x(b) = b**3 - 5*b**2 + 2*b - 7. Let y be x(5). Let k = y + -1. Solve -j = 2*a, 2*j + k*a + 0 - 4 = 0 for j.
4
Let j be (3 - 2) + (-2)/(-2). Suppose -4*d = -2*d - 38. Suppose -24 = -4*f - 2*u, j*u - d = -2*f - f. Solve -f*w - 2*m - 27 = 0, -3*w - 13 = -5*m - 3 for w.
-5
Suppose -2*t = t + 4*v - 70, -23 = -t - v. Let h = -3 + 6. Suppose h*f - t = f. Solve -3*r + 0*r - 2*w = 14, -4*r - f = -5*w for r.
-4
Let d be ((-4)/5)/(8/(-100)). Suppose -1 = x - d. Let w be 4 + 0/(2*-1). Solve x = -3*k + 3*m, k + 0*m - w*m = -6 for k.
-2
Let p be -2*3*(-1)/2. Suppose p*w - 3*c = -w + 64, -5*w + 80 = -3*c. Solve -w - 5 = 4*l - s, 2*l + 3*s = -7 for l.
-5
Let j(m) = -3*m + 19. Let u be j(5). Solve -d - 16 = 5*n, -u*n - 13 + 0 = d for d.
-1
Let x = 70 - 68. Solve 0 = -x*b + 5*z - 33, -z - z + 30 = -5*b for b.
-4
Suppose 2*a - 4*g + 10 = 4, 5*a + 15 = -g. Let z be 10/1*a/(-6). Suppose -z = -5*h + 10. Solve -7*s + 4*p = -3*s - 20, -h*s - 2*p - 5 = 0 for s.
1
Let m = -72 - -108. Solve 4*b - m = -5*p, -12 - 12 = -5*b - p for b.
4
Suppose q + 0 - 7 = 0. Suppose -4*f + 5 + q = 0. Let c = 49 + -46. Solve c*k + a = f*a - 19, 5*a = 2*k + 20 for k.
-5
Let t be (1 - (2 - 1))/(-2). Let j = -61 + 65. Solve -5*h + 4*f - 1 + 18 = 0, -j*h - 2*f - 2 = t for h.
1
Let t be ((-16)/10)/((-10)/25). Let n be (-16)/10*(-10)/4. Solve t = y, 4*o = o + n*y - 28 for o.
-4
Let s be (3/(-4))/((-7)/(-28)). Let x be 4/(-12) - 73/s. Solve y + 4*m = 14, -m = -2*y + 4*m - x for y.
-2
Suppose -3*h + 5*h = 5*a - 10, 5*a + 25 = -5*h. Let s = -2 + h. Let m be s/1*(-4)/14. Solve 6*i = 2*f + i + 8, m*i + 1 = 5*f for f.
1
Suppose -29 = -7*j + 6. Solve 11 = -4*z - 3*f, -4*f + 7 = j*z + 20 for z.
-5
Let k be 1 - (-1 + -2 + 37). Let m = k + 73. Solve 2*l = 2*c, -5*c - m = 3*l + 2*l for c.
-4
Let q be (-24)/(-14) + (-8)/(-28). Suppose -4 = -q*n + n. Let s(a) = -a**2 + 13*a - 30. Let b be s(10). Solve 5*o + n*y - 5 = 0, b*o - 40 = -4*o + 4*y for o.
5
Suppose -9*t - 18 = -54. Solve 5*k + y = 3*y - 9, 8 = t*y for k.
-1
Suppose 0*z - 1 = z, 5*z + 17 = 4*u. Solve 2*a - 3*c + 0*c = -2, u*a = -3*c + 27 for a.
5
Let b = 0 - -2. Let s = 227 + -202. Solve -b*i = n - 13, -6*n = -n - s for i.
4
Let p(r) = 1 + 5 - 4 - 1 + 5*r**3 - r. Let d be p(1). Suppose -d*s + 21 = -2*s. Solve 0 = -j - 3*m - s, -8 + 1 = -3*j + 5*m for j.
-1
Let p = -6 - -6. Suppose 3*v + p - 1 = 5*j, -4*v + 11 = 3*j. Solve -3*m - 6 = w + v*w, 0 = -5*m - 4*w - 5 for m.
3
Let q = 0 - 0. Suppose -s + 2*s - 1 = q. Let p = 16 + -11. Solve -4*a = p*u + 11, -5*u + a - s = 15 for u.
-3
Suppose 3*o - 2*v = 3 + 1, -5*o = -v - 16. Solve -s = 5*f + 11, o*f + 3 = 3*s - 2 for s.
-1
Let s(n) = -n**3 + 6*n + 2*n**2 - 5 - 9*n**2 - 4. Let x be s(-8). Suppose u + r = 2*u - x, -16 = 4*r. Solve -l + 4*h = 23, -u*l + l + h = 11 for l.
-3
Let i = -11 - -20. Let c(x) = -3*x + x**3 - 13 - 10*x**2 + 10*x + 4*x. Let j be c(i). Solve -p = 4*k + 2*p, -2*p - j = k for k.
3
Let a(t) = -3 - 4 - 2*t + 4 + 1. Let y be a