= h*t - 1, 2*s - t + r = 0 for s.
-1
Suppose -2*n = -5 - 1. Suppose n*r + 11 = 4*r. Let v = r + -7. Solve k - 4*w = 3*k + 28, 4*w = -v*k - 36 for k.
-4
Suppose 3*w - 7*w - 8 = 0, -3*o = 3*w + 6. Solve 3*g + 11 = 3*c - 7, c + 2*g + 9 = o for c.
1
Let a = 3 - 1. Suppose 4*v + 2*k - 36 = 0, 0*v = a*v - 3*k - 10. Solve 4*c - 8 = 2*w, -3*w - v = -3*c + c for w.
-2
Let v(o) = -2*o. Let x be v(6). Let c = x - -14. Solve c*m - 5*i - 8 = 0, 2*m + 2*m = 4*i + 16 for m.
4
Let m(p) = 4*p + 28. Let a be m(-6). Solve 2 = -2*o + d, 3 = -5*o + a*d - 2 for o.
-1
Suppose -5*a = -10*a - 4*b + 54, -5*a = -4*b - 86. Let o = 26 - 46. Let d be (-34)/(-8) + (-15)/o. Solve -2 + a = -3*y, -4*y = -d*f + 11 for f.
-1
Suppose -4*l + 3*l = -2. Suppose 4*o + 7*i - 4*i = 96, 5*o = -l*i + 113. Let d be (0 - 5)*6/(-10). Solve -y = -5*q + o, q - d*y + 17 = 2*q for q.
5
Suppose 18 = 4*h - h. Let y(q) = q**3 - 4*q**2 + 2*q + 3. Let m be y(4). Let d = -5 + m. Solve -4*v - h = 3*j, 2*v - d = -v + 3*j for v.
0
Let a = 6 + -8. Let r be a/(-8) + 26/(-8). Let g = r - -3. Solve -3*d - 3*x - 25 = -x, g = x + 5 for d.
-5
Suppose 5*v - 2*v - 6 = 0. Suppose -2*r + 10 = 0, -v*r + 18 = 4*p - 0*r. Solve -4*w + 5*h = -22, -3*w + 0*w + p*h + 13 = 0 for w.
3
Suppose 3*f + 2*f = 100. Solve -4*y = 4*p - f, -2 = -5*y + 2*p + 2 for y.
2
Let y = -3 + 2. Let r be 0 + y + -1 + 12. Suppose 0 = -4*v + a + 69, r + 33 = 3*v + a. Solve -n - v = -4*m, -3*n = -m + 5*m for m.
3
Suppose 75*d - 71*d = 8. Solve -4*c + 20 = -d*r, -2*c + 9 = -3*r - 5 for c.
4
Suppose 0*p + 4*p = -3*f + 29, -3*p = -4*f - 3. Let c(q) = q**2 + 3*q. Let d be c(-4). Solve d*j - 2 - 6 = -4*w, -3*j = -f for w.
1
Let t(j) = j**3 - 5*j**2 + 4*j + 4. Let i be t(4). Suppose 0*o - 10 = -4*a + o, 0 = -4*a - i*o. Solve -7 = 3*p + a, -p - 3 = 5*y for y.
0
Let s = -1 + 3. Suppose -s*t - 12 = -2*g, 0 = 5*g - 3*t - 5 - 19. Solve 5*u - u = q + g, -27 = -u - 5*q for u.
2
Suppose 5*c = 5*a + 159 - 39, 2*c - 4*a = 52. Solve 4*w = 3*x - c, w - x + 0*x + 6 = 0 for w.
-4
Let p be 2*(-4)/((-8)/15). Suppose 3*i + 18 = 2*b, -4 = 5*b + i - p. Suppose -g = -b*g. Solve k + 16 = -4*y, g = -0*k - 5*k - 5*y - 20 for k.
0
Let c = 0 + 12. Solve 5*h + 30 = 5*w, 0 = -3*h + 4*w - 7*w - c for h.
-5
Let n = 5 + -3. Let g(s) = -s**2 + 6*s + 10. Let u be g(7). Suppose 6 = h - t, -n*h + 0 = t - u. Solve -b - 3 = -5*d + 7, 0 = 3*d - h*b - 18 for d.
1
Let g be (-6)/(-9) - (-4)/(-6). Let l(j) = -j. Let p be l(-4). Solve -h + r = -g*h, 3 = p*h - 3*r for h.
3
Suppose -4*h + h = -15. Let r(i) = i**2 + 5. Suppose 5*p = 3*p. Let y be r(p). Solve y*f - 3*t = -22 - 12, -2*f - 5*t = -h for f.
-5
Suppose 20 = 6*o - 2*o. Suppose 2*g - 18 = -4*p, 4*g + 5 = o*p + 15. Solve -2*r = -p*f - 18, 4*f + 1 = -2*r - r for r.
5
Let p be 0 - (2*3)/(-1). Suppose 9 - 3 = -z - 2*w, 12 = -3*w. Solve 4*m - h - z + 6 = 0, 5*m - p = 4*h for m.
-2
Let p be 20 + -1 + -3 + 4. Solve 4*f = w - 5*w - p, -3*w - 11 = f for f.
-2
Let s = -19 - -22. Solve -g = u - s, g - 6 = 3*g - 4*u for g.
1
Let o = 67 - 62. Solve -o*r = -i + 20, 0 = 2*r + i + 8 for r.
-4
Suppose 0 = 5*j + 2*v + 2*v + 10, -2*v + 8 = -4*j. Let d be -3 + (j - -3) - -5. Solve -l - 2*l = -2*s + 15, -d*l - 3*s = 0 for l.
-3
Let l(u) = u**3 - 5*u**2 + 4*u - 6. Let o be l(4). Let i = 9 + o. Solve -q - 4 = 0, 0 = i*r + 5*q + 14 - 3 for r.
3
Let n be -15*(-6 + 0)/2. Solve -5*m + t = 5*t - n, 5*m - 4*t - 5 = 0 for m.
5
Let m(w) = -w - w**3 - 1 - 6 - 3*w + 7*w**2 + w. Let x be m(6). Let v(s) = -s + 10. Let b be v(7). Solve -5*y + 3*y + 2*c = -4, b*c + x = 4*y for y.
5
Let f(w) = w**2 - 2*w + 5. Let j be f(0). Solve -j*o - u + 3*u = -19, 3*o - 3*u = 15 for o.
3
Suppose 4*z = g + 39, -6 = -0*z - z - g. Solve 4*r + 3*w - 11 = 0, -r = r + 5*w - z for r.
2
Suppose -6*j = -5*j - 5. Let g be (-154)/(-8) - j/20. Solve -2*z + 3 = -c, z = 5*z + 3*c + g for z.
-1
Suppose 0 = 2*k - 6 - 2. Let q be (-1)/(-1 + k/6). Suppose -z + 0*b = -2*b + 7, -3*z + 24 = 3*b. Solve -2*l = -z*x - l - 5, 0 = -x - 2*l + q for x.
-1
Let m(j) = 2*j**2 - j + 3. Let t be m(3). Let g = -14 + t. Solve -4*o + g = 3*x + x, x = -2 for o.
3
Suppose -5*j + 4*a = -15, 7*j = 2*j - a + 15. Solve 5*n - 5*i + 50 = 0, 30 = -4*n - j*i + 5*i for n.
-5
Let g be (-10)/(-4) + (-3)/(-6). Suppose g*v - 18 = -3. Let c = -59 - -61. Solve -v*h - c*f + 18 = 0, 0*h - 4*h - 5*f = -28 for h.
2
Suppose 2*u - 33 + 21 = 0. Solve 0 = 2*l - 4*c + 8, -5*l - 3*c + u*c + 1 = 0 for l.
2
Let k = 41 - 26. Solve -3*b = k, 4*z + 4*b = 2 - 6 for z.
4
Suppose 0 = -4*k + 3*k - 9. Let y = 9 + k. Solve -3*h = v - 7, -3*v - 2*h + 7 = -y*v for v.
1
Suppose 4*k - 3*m + 16 = m, -2*m = -3*k - 10. Let j = -2 - k. Suppose j = -5*w + 9 + 6. Solve 4*v - 4*p - 1 = w, -4*p + 16 = 0 for v.
5
Suppose -p - 5 - 9 = 0. Let c = -7 - p. Solve 3*i = 2*r + c*i - 8, 8 = 4*i for r.
0
Let o(u) = -10*u**2 + 4*u**2 - u**3 + 3 + 0*u**3. Let w be o(-6). Solve 0 = 4*y - n + 3, -2*y - n = -w*y - 3 for y.
0
Let r(o) = -o**2 + 4*o. Let l be r(4). Suppose 5*a - 2 - 14 = -4*q, 4*a + 3*q = 12. Solve l = -5*z - u + 17, a*u + 6 = -2*u for z.
4
Suppose 0 = 20*n - 15*n - 175. Let i be n/21 - 1/(-3). Solve q + 3*d + i = 0, d - 6 = q - 3*q for q.
4
Suppose -1 = -k + 2. Let m = -3 + k. Solve -3*c + 23 = 4*t, 0 = 4*t - m*c - 3*c - 17 for t.
5
Let z be 38/14 + 10/35. Suppose 6 = z*a - 3*d - 0, a + 3*d = 10. Let n be 40/12*6/a. Solve -i - 2*i = -2*j - 25, n = j + 2*i for j.
-5
Suppose -m + 14 = -5*p - 1, -4*m - 4*p + 12 = 0. Solve -3*c - 5 = 2*c - 5*i, -c - m*i - 1 = 0 for c.
-1
Let m(x) = x**3 - x**2 - 2. Suppose 0 = -3*p + 4*g + 14, -5*p - 3*g = -8*p + 12. Let w be m(p). Solve 2*h - 5*z = -5, 2*z - 16 = -w*h - 0*z for h.
5
Suppose 2*p = -b + 10, -2*p = 5*b - 3*p + 5. Solve -3*v + 6*m = m + 19, b = 3*v - 4*m + 14 for v.
2
Let b = 3 + -1. Let o(j) = -3*j + 2 + j**2 - 4 + b*j. Let y be o(3). Solve 4*h = -2*g + 14, y*h - 14 + 3 = g for g.
1
Suppose 3*f + 3 = 4*f. Solve 0 = 3*b - 6 - 0, -z = -f*b + 10 for z.
-4
Suppose 5*v - 9*v = -80. Solve 4*y - 21 + 1 = 2*g, 4*y = -4*g + v for g.
0
Suppose -2*t - 6 = -5*t - 3*s, -2*s - 4 = 0. Solve t*c = -y + 3 - 19, -4 = y for c.
-3
Suppose 5*r + 3*i + 60 = 6*i, -2*i + 35 = -3*r. Let u be (r/12)/((-3)/12). Solve 5*a - 2*l - 1 = l, u*l = -4*a + 23 for a.
2
Let i be (3 - 5)/((-4)/10). Solve -z - 8 = 5*s, -12 = i*s - 2 for z.
2
Suppose -5*m + 4*q = -20 - 25, 3*q + 20 = m. Solve m*o + 10 = 0, 3*x - 3*o = 6*x + 6 for x.
0
Suppose -5*x = 4*x - 27. Solve -x*l + 3*i + 24 = 0, 22 = -4*l + 5*i + 59 for l.
3
Let q = -45 + 45. Solve -5*n + q + 5 = 0, 2*n = -s for s.
-2
Let q = 76 + -68. Solve -2*o + y - 10 = 3*y, -4*o - y = q for o.
-1
Suppose -4*c = -4*q, -c + 20 = -6*c. Let i be (40/(-12))/(q/6). Suppose -4*u + 3*v + 9 = 0, i*u - 6*v + 3*v - 15 = 0. Solve -4*y = -h, -y = h - u*h + 19 for h.
4
Let o be 4/(-26) + (-164)/(-52). Solve -o*w = -2*w + 2*t, 0 = w + 4*t + 4 for w.
4
Suppose 4*r - 2*s + s = 15, -5*s = 4*r + 3. Solve -3*k - r*l = -0*k - 3, k - l - 7 = 0 for k.
4
Let r be -2 - (1 - -2) - 0. Let a be 1/2 - r/10. Solve 0 = 4*t + q + a, -24 = -4*t + 4*q for t.
1
Suppose 3*y - 3 - 6 = 0. Suppose -5*x + y = -3*g, 6 = -x + 4*g - 7. Suppose 0*u - x*u = -42. Solve -31 = -2*c - 2*c - 5*p, -5*c + u = -2*p for c.
4
Let z be 4/22 + 20/11. Let q be 2*z*(-3)/12. Let k = q + 4. Solve k*s - 4*x - 3 = -0*x, 3*s - 6 = 5*x for s.
-3
Let p(h) = -h**2 - 6*h + 30. Let c be p(-9). Solve 0 = 4*f - 20, -c*i - 3*f = i - 3 for i.
-3
Let i be (-105)/10*(-2)/(-6)*-8. Solve -n - n = -2*y - 2, i = -4*n - 4*y for n.
-3
Let j = 101 - 277. Let r be (-2)/(-6) - j/12. Solve -p + 4*g = -r, 5*p - 3 = 3*g + 4 for p.
-1
Let q be (-1)/(-1)*1 - -3. Suppose 4 = 2*l + i, 3*i - 1 - 2 = -3*l. Solve -q*x - 23 = 5*v, -x + 0*x - l*v - 11 = 0 for x.
-2
Suppose 6*n - 2 - 16 = 0. Solve 15 = 5*x, s + 0*x + 13 = n*x for s.
-4
Let l(u) = -u**3 + 8*u**2 - 7*u + 4. Let x be l(7). Solve -5 = -5*m, -m - 4*m - 11 = -x*o for o.
4
Suppose 0 = 13*y - 3 - 10. Suppose -2*g = -6*g + 8. Solve -l = -3*d - g, -2*l - y = -0*d - d for d.
-1
Let g = -67 - -22. Let p be -5*3*6/g. Let f(r) = r**3 - r**2 - 1. Let o be f(p). Solve o*b - 7 = 2*b + 5*c, 5*b - 3*c = 13 for b.
2
Suppose 0*w + 9 = 3*w. Suppose h = -w*h. Solve h = 3*t + 2*c - 14, t + 0*t + 3*c = 7 for t.
4
Let m(c) = -c**2 + 15. Let h be m(0). Solve w = -5*r + 3