 -2*h - x*z for h.
-4
Suppose 0 = 4*k + k - 15. Let m be 1*k - (4 + 62). Let u be (-18)/m - (-117)/7. Solve -b - u = 4*n, 0 = 4*b - 0*n - n for b.
-1
Let q(h) = h**2 - 8*h + 7. Let k be q(7). Suppose a + 0*a - 5 = k. Solve 2*z + 25 = -2*z + 3*s, 0 = -5*z - a*s - 5 for z.
-4
Suppose 6*q - 40 = q. Suppose -k - 19 = -q. Let f = k + 16. Solve 8 = -4*y - 4*z, 30 = -0*y + f*y - 5*z for y.
2
Suppose -6*a = -8*a + 42. Let f be (-38)/(-57)*a/2. Solve -5*i + 2 = -j, -f*j = 4*i - 2*j - 19 for i.
1
Suppose -2*p - 4 = -4*v, 7 = -v + 4*p - 6. Solve 6 = -2*i + v*o, -4*i - 5*o + o = -8 for i.
0
Let p(w) = w**2 + 3. Let b be p(0). Solve 4*h + 4*k + 40 = 0, -b*h + 5 = -h - 3*k for h.
-5
Suppose 0*x + 3*x - 9 = 3*f, 15 = 3*x. Solve 0 = -f*w - 2*i + 4, -i - 3*i = -w - 13 for w.
-1
Let y be (-7 + 1)*16/(-24). Suppose 12 = y*k - k. Let v(x) = x**3 + 8*x**2 - 2*x - 11. Let c be v(-8). Solve -4*j - 7 = -c*i, k*i = -0*j + 3*j + 6 for i.
3
Suppose 0 = 6*n - 7*n + 2. Let p(f) = -f**3 - 12*f**2 - 10*f + 16. Let y be p(-11). Suppose 4*x - x - 9 = 0. Solve -x*o - 11 = y*i, -i = 2*o + n*i + 6 for o.
3
Let t be -4 + 5 + (0/2 - 0). Solve -t - 3 = -2*l - p, 4*p - 7 = l for l.
1
Suppose 34 = 4*u - v, -3*u - 5*v = -4*u + 18. Suppose k = 3 + u. Suppose -4 = -3*z + k. Solve z*w = -m - 10, m = -4*w + 1 - 8 for w.
-3
Suppose -3*b - 2*o + 90 - 32 = 0, 4*o = 20. Suppose 3*x + 2*q + 16 = 0, 5*x = x + 2*q - 40. Let g = b + x. Solve -k - 4*k = -s + 22, g = -2*k for s.
2
Let s be (2/4)/(2/(-48)). Let j be 241/(-4) + 9/s. Let t = j - -85. Solve -y = -5*x - t, -4*y + 0*x + 24 = -2*x for y.
4
Suppose 25 = 5*p - 5*d, 4*p - 3*d - 33 = -14. Let t be 4/6*(-6)/(-4). Suppose p*m = 3*m + t. Solve z + 3*k = 2*z + m, 3*k = -3 for z.
-4
Suppose 7 = -3*g + 4*g. Let f(d) = d - 5. Let q be f(g). Solve 0*l + 5*i + 8 = 4*l, 4*l - q*i = -4 for l.
-3
Let j = -98 - -108. Solve o + o = 5*q + 19, -2*q - j = 0 for o.
-3
Suppose 4 = -b + 9. Solve b*p = 2*x, -x - 3*p + 3 = -4*p for x.
5
Suppose 25 = k + 22. Solve 0 = 3*n + 3*j - 18, 4*n + k*j + 8 = 7*j for n.
2
Let n be (-40)/(-22) - 2/(-11). Solve 2*t = -4, -5*d - 3*t - n*t = 30 for d.
-4
Let g be 47/9 - 6/27. Solve 5*w - 5*y = -10, -3*w - 4 = g*y + 2 for w.
-2
Suppose 3 = t - q, -3*t - 2*q + 9 = -0*t. Solve 0 = -t*g - 3*s - s, -17 = 5*g + s for g.
-4
Let o be ((-3)/(-4))/((-21)/(-84)). Solve 11 = 4*a - 5*i + o, -i - 10 = -5*a for a.
2
Let c(w) = -w**2 - 9*w - 11. Let a be c(-10). Let u be 7/a + (-2)/3. Let t = u - -4. Solve t*o = 4*s, -2*o + 2*s = 4*s for o.
0
Let d(z) = -2*z. Let q be d(-1). Suppose 7 + 1 = q*l. Solve l*m + 0*w = -4*w, 0 = -2*m + 2*w - 8 for m.
-2
Let i = 2 + 3. Suppose z + 21 = -i*r, -3*z + 22 = -r - r. Suppose 0 = -2*y - 3 + 7. Solve 0 = y*p + z, -n + 4*p = -p - 11 for n.
1
Let c be 7/(-9) - 2/9. Let g(m) = -4*m**3 + 2*m + 1. Let f be g(c). Solve f*p = -4*r - 9, 3*p + 13 = 3*r + 4 for p.
-3
Suppose -2*h = -2*z + 6*z + 8, -2*z - 4 = 2*h. Suppose 0 = 5*j - 4*j. Suppose -k + 4 = 2. Solve -3*y - v + 3 - 1 = j, h = 5*y + 2*v - k for y.
2
Suppose 2*o - 2 = 4. Solve -5*j = o*n - 6*n - 11, 15 = 5*n for j.
4
Let d(i) = 4*i - 3 - 3*i**2 + 2*i**2 + 1. Let p be d(4). Let x be 8 + p + 0 - 1. Solve 3*u - u - 16 = 5*z, 0 = -x*u + 4*z + 23 for u.
3
Let p = -19 + 24. Solve -3*q + 0*f + 2*f = 1, 0 = 2*q - p*f - 14 for q.
-3
Let k(s) = s**2 - 3*s + 2. Let d be k(0). Solve d*x - 4*f + 14 = 0, 0 = -f + 1 + 2 for x.
-1
Let s be (12/(-9))/(4/(-6)). Solve -c + 3*n + 4 = s, -12 = 4*c - 2*n for c.
-4
Let k(p) = -p**2 + 5*p - 2. Suppose 3*x = 4*m + 8*x - 33, 5*x = 5*m + 15. Suppose 6*l = m*l + 12. Let o be k(l). Solve -2 = o*v - 2*g, 5 = 4*g + 1 for v.
0
Let o(x) = -x**3 - 5*x**2 + 5*x + 1. Let d be o(-6). Suppose d = h - 2*j, -3*j - 21 = -5*h - 0*j. Solve -h*v + 24 = 3*l, -2*v + v + 5*l = 22 for v.
3
Suppose k + k = 0. Let z be k - (3 - 1)*-1. Suppose -5*y = -6 - 9. Solve 20 = 4*a - 4*o, z*o + 5 = -y*a - 0*o for a.
1
Let z be (-4)/26 + (-16)/(-104). Solve c + 10 = -3*v, -2 = -c - z for v.
-4
Suppose 5*u + a = -17, 5*a + 5 = 20. Let d be 0 + -1 + -3 - u. Solve 3*v - f - 3 = d, 3*v + 9 = 2*f + 3*f for v.
2
Let f = -7 + 11. Solve -2*h = y, 6*y = 4*y + f*h + 16 for y.
4
Suppose 0*l = -2*l + 4. Solve -l*t = -5*t - 5*c - 12, 0 = 2*c for t.
-4
Suppose -2*f - 64 = -5*o - f, -4*f - 4 = o. Suppose 2*s - o + 4 = 0. Suppose 2*n + 3 - 11 = 0. Solve 4 = a - s*m, -2*a - n = 2*m + 2*m for a.
0
Let m = -1 - 0. Let g be ((-14)/(-10))/(m/(-5)). Solve 3*d + g = -4*c, -d + 2 = 4*c - 1 for c.
2
Suppose 0*r + r - 4 = 0. Solve -2*k + s + 6 = -1, -r*k = 4*s - 8 for k.
3
Let p = 16 - 14. Solve -4*r = 5*c - 1 - p, -10 = -4*r + 2*c for r.
2
Suppose 0 = 2*o - 0 + 4. Suppose l = -0*l + 3, 4*l - 14 = -2*t. Let v = t - o. Solve -5*g + 10 = -3*h, 3*h - 2 = 2*g - v*g for h.
0
Suppose c = 4*r - 2*r + 4, 5*c + 2*r = -4. Solve -10 = 5*f - c, 5*w - 2*f - 19 = 0 for w.
3
Let z(u) = u - 3. Let v be z(7). Suppose -v*f + 30 = 4*y + 10, -2 = -4*y + 5*f. Solve p = -0*g + 2*g + 9, 0 = -y*p - g + 13 for p.
5
Let n be 18/(-27)*-3*1 + -2. Solve 3*d - m = m + 9, n = 4*d + 4*m - 12 for d.
3
Suppose -4*v = -2*v. Solve -5*o - 17 = -5*j + 3, v = -5*o + j - 12 for o.
-2
Let u be (-6)/8*(3 + 5). Let t = 9 + u. Suppose 8*g - a - 17 = t*g, 4*a - 32 = -5*g. Solve -5*z - 4*f - 20 = -z, 20 = g*z - 4*f for z.
0
Let u(k) = k**3 - 8*k**2 - 9*k - 4. Let c be u(9). Let i = c + 5. Solve 3*x - t = -8, -i = -3*x - 5*t + 3 for x.
-2
Let m(u) = u**2 - 6*u - 13. Let d be m(7). Let y = d + 14. Solve q - y = -4*g, -5*q + 32 = 4*g + 8 for g.
1
Let c(g) = -4*g**2 + 4*g + 7. Let s(i) = i**2 - i - 1. Let v(x) = c(x) + 5*s(x). Let j be v(2). Solve w + j = 2*w - n, 4*w - n - 7 = 0 for w.
1
Let s = -1 - 1. Let q = -4 - s. Let r be (2 + q)/3 - -5. Solve -r*j + 3 = 5*o - 7, 2 = -2*o + 4*j for o.
1
Let n(m) = -m**2 - 5*m. Let a be n(-5). Suppose a*z - 4*z = -132. Solve 5*o - 5*f - 45 = 0, -6*f + 4*f - z = -5*o for o.
5
Let t = 74 - 40. Let d = t + -21. Solve 4*n - 5*a + 4 = -d, -5*n - 2*a - 13 = 0 for n.
-3
Suppose c - 10 = -3*b + 2*b, -b + c = 0. Suppose -2*d + 27 = -5*u, 2 - 17 = -b*d - 5*u. Solve -2*m + d = -4*a, -a - m = -2*m + 3 for a.
0
Let d(z) = z + 1. Let b be d(2). Solve -5*o + l + 4 = -1, -o - b*l - 15 = 0 for o.
0
Let o(x) = -x**3 + 3*x**2 + 13*x - 11. Let b be o(5). Solve -5*a - 20 = -4*j, -5*j = -b*a - 6 - 10 for j.
0
Suppose 5*t - 29 = -14. Solve -3*b + x - 8 = -t*x, 2 = x for b.
0
Let o = 2 + 0. Let a be 1/(-3 - -2)*-4. Let u(p) = p - 1. Let x be u(a). Solve 5*g + 11 = k, x = -3*g + k - o for g.
-3
Suppose 0 = 2*r - g - 6 - 0, 0 = 2*r + 4*g + 4. Suppose r*u - 3 = 3*y - 1, -y = -4. Let f be 1/(1/3) - -1. Solve i = -j - 3, f*j + u = 2*i - i for j.
-2
Let g(v) = -v**3 - 3*v**2 + 5*v + 6. Let n be g(-4). Solve 2*r = -n*d + d + 5, r + 5*d - 16 = 0 for r.
1
Let g be 6/(-9)*(0 + 3). Let r be 3/g*-2 - 0. Suppose 5*t - 24 = -3*x + 2*t, -4*x = -r*t - 60. Solve 0 = -5*p + n + x, 0 = 3*p - 7*n + 2*n + 6 for p.
3
Let x be 2 + (1/1 - -2). Solve 4*s + 15 = x*h - 2, 3*s + 11 = 2*h for h.
1
Let n = 3 - 2. Let a be 0 + n + 2 + 1. Solve -y + 2*b + 11 = 0, -8 = 3*y + a*b + 9 for y.
1
Let y be (16/(-10))/(6/(-105)). Suppose y = 2*w + 6. Solve 2*b - 1 = -u, -6*u + 2*b = -3*u - w for u.
3
Let p be (0/(-1))/(-6 + 7 + -3). Solve -t - 3*x + 0 + 10 = p, 0 = 3*t + 4*x - 20 for t.
4
Suppose -5*n + 5*s = -5, -4*n + 4*s + 1 = -s. Solve 0 = g - n*c + 19, 14 = -2*g - 2*c + 4*c for g.
-3
Let m be 3 + (2 - -1) - 3. Suppose 4*o + m*j - 12 = o, 4*j = 0. Solve -l - o*q = -14, 3*l + 8 = l + 4*q for l.
2
Suppose -2*d - 4 = -44. Let g(r) = -r**2 + 11*r - 10. Let z be g(10). Solve d = -4*c, z = -2*m + 3*c + 16 + 5 for m.
3
Let z(b) = -b**3 - b**2 + b + 12. Let h be z(0). Let o = 26 - h. Solve -3*l - 2*c = -8, -5*c = 2*l - 3*l + o for l.
4
Let s be 4 + 1 + 1 + -2. Solve 2*p - 5*w = -14 - 1, 2*p - s*w + 14 = 0 for p.
-5
Let z(n) = -5*n - 1. Let k be z(-2). Let t = k + -5. Solve 4*u - 18 = -2*i, -2*i - 2*u = -t*i + 6 for i.
5
Let y = -140 + 145. Solve 3*r = y*a - 35, -4*a - 5*r + 1 = -2*r for a.
4
Suppose u - 4*n = 26, 3*u + 3 = 2*n + 31. Suppose u*j = 42 + 6. Solve 2*d - 4*d + j = -2*y, 0 = -5*d + 2*y + 8 for d.
0
Let o be (-1)/3 - 16/(-3). Suppose -o*h = -x - 17, -5*x = 3*h + 1 - 0. Solve h*t + 4*m = 43 - 11, 0 = -t - m + 9 for t.
4
Let j = 29 + -29. Solve 2*n = 5*b + 13