m = 1 - d. Solve m*c + 14 = h, 3*h + 2*c = 2*h - 1 for h.
5
Let p(v) = 2*v + 2. Let h be p(1). Solve 4*d - 6*x = -x - 14, 0 = 2*d + 3*x - h for d.
-1
Let j be (-18)/(-3)*(-4)/(-6). Solve -j*u - 12 = -0*u - 4*x, 0 = -u - 2*x + 9 for u.
1
Let w = -2 - -4. Solve 0*a - w = -2*p - 5*a, 5*p - 2*a + 24 = 0 for p.
-4
Let i(r) = 14*r**2 + r - 6. Let t be i(4). Let k be t/8 - (-3)/12. Solve 4*x = 4*v - k, 14 = 4*v + 6 for x.
-5
Suppose -4*d = -2*f - 4, -3*f + 1 - 3 = -5*d. Solve f*z = -2*t + 4*z - 8, -4*t - 2 = -3*z for t.
-2
Suppose q = 4*q - 147. Let w(z) = 2*z**3 - z**2. Suppose -4*t = i - t + 4, -5*i = -3*t - 16. Let b be w(i). Solve d + 21 = 4*g, 3*g = 5*d - b + q for g.
4
Let f be (-12)/(-5)*(-55)/(-22). Solve 18 = 3*d - 3*q, 3*d - q + 2*q - f = 0 for d.
3
Let r be 16/24 - (-7)/3. Suppose r*o + 19 = 2*d, 7*d - 21 = 4*d + 2*o. Solve 3*p + 3 = -2*m + 5*m, 0 = -m + d*p + 21 for m.
-4
Let m = 3 - -1. Suppose m*d + 3*g - 1 = 0, 4*g = -3 - 1. Suppose -7 = -2*r - d. Solve r*f = 5*q + 4, f = 5*q - 2*q + 4 for q.
-2
Suppose -s = -h + 4, 3 = h + 3*s - 5. Suppose 28 = h*m - c + 2*c, -c = -2*m + 7. Let y = 5 + 1. Solve -d + 8 + y = m*b, 5*d - 3*b + 14 = 0 for d.
-1
Let g be ((-15)/(-60))/(2/24). Solve 3*m + 6*b + 18 = 3*b, 5*m + g*b = -20 for m.
-1
Let l(a) = -a**3 - 3*a**2 + 4*a - 6. Let z be l(-5). Solve 3*r + p - 2 = -p, 5*p = 2*r + z for r.
-2
Let f be (1 - 3) + -1 - -7. Suppose -15 = f*o - 9*o. Solve -2*j = -4*j + 10, 4*j - 26 = o*c for c.
-2
Let k(i) = -1 - 3*i + i**2 + i**2 - i. Let h be k(3). Solve -5*b - h*t = -2*b + 27, -2*b - 2*t - 14 = 0 for b.
-4
Let o = -5 + 8. Suppose 8 = w + o*w. Let u be (-3)/(-1 + (-2)/4). Solve u*z + w*l - 8 = 0, -3*l = -0*z + 5*z - 18 for z.
3
Suppose 38 = 4*c - 5*i, 7*c = 4*c + i + 34. Let o = -39 + c. Let z be o/(-18) - 7/(-2). Solve -3*n + z*n + 2*j = -10, n = -4*j - 5 for n.
-5
Suppose -3*o = -2*o - 7. Suppose -3*d - 8 = -o*d. Solve d*n + 3 = b, -3*b - 1 = 4*n - 0*b for n.
-1
Let m = 40 - 35. Solve m*h = -4*r + 12, -r + 1 = -4*h - 2 for h.
0
Let m(p) = -5*p + 20. Let z be m(2). Solve -f + 3*f = 5*n + z, -f = -3*n - 6 for n.
-2
Let l be (75/50)/(6/8). Solve 3*i + q = 7, -l*i - q + 28 = -5*q for i.
4
Suppose 3 = 4*a - 3*a. Suppose w = -3*w. Let v = w + a. Solve v*u - 4*p - p = -20, 5*u = -4*p + 16 for u.
0
Let f be (1/(-2))/((-3)/18). Let u be f*(-2)/(-6) + -1. Suppose -2*w = 2*g, -6*g - 6 = -2*w - 2*g. Solve 2*j + w = -u*j + 3*q, 4*q - 6 = -2*j for j.
1
Let a be 9/1*(-2)/(-6). Let v = -5 + 7. Suppose -2 = v*d, a*d + 20 = 4*m + 1. Solve m*p = -5*u + 4*u - 16, 4*p + 4 = 2*u for p.
-3
Suppose 5*f - 6 = 14. Solve 5*u - 10 = 2*h, -f*u + 2*u + 4 = -5*h for h.
0
Let y be 20 + (2 - 4/(-2)). Solve -k = w - 5, 3*w + 1 = -5*k + y for k.
4
Suppose 25 = a + 4*a. Let k = -3 + a. Solve -k*l = 5*w - 2*w - 16, -5*w = l - 22 for l.
2
Let j = -6 - -10. Suppose -x = -3*c + 12, -5*x + 4*x + 23 = j*c. Solve 3*o + x*i - 3 = 3, -5*i + 22 = -o for o.
-2
Let r(i) = -6*i**3 + i. Suppose 4*v - 11 = -3*a + 8*a, 4*a = 2*v - 10. Let y be r(v). Solve l - y*l = -16, -3*l + 17 = -q for q.
-5
Let y(b) = -b. Let j be y(-5). Solve j*d = 5*i - 10, -i - 11 + 33 = -5*d for d.
-5
Let y = 15 - 12. Solve 5*g = 3*f - 22, 3*f - f + 17 = -y*g for f.
-1
Let a = 8 - 5. Suppose 4*v + 42 = 3*n + v, a*n + 4*v = 21. Solve n = -2*b + 5*p, 2*p + p = -4*b + 17 for b.
2
Let k = 150 + -148. Solve m - 12 = n + k*n, -4*n - 16 = 2*m for n.
-4
Suppose 5*m = g + 28, 4*g + 34 + 3 = 5*m. Let j(k) = -2 + 1 + m + 4*k**2 - 5*k. Let i be j(3). Solve -5 = -3*f - 4*p, 2*f + i = f + 4*p for f.
-5
Let a = -83 - -87. Solve 0 = -3*d - 5*s - 5, -a*s + 8 - 24 = 0 for d.
5
Suppose 2*i - 6*i = -12. Let s be (2 - 5)*-2 - i. Suppose -3*c + 15 = s*m, -4*c - 7 = -2*m - 3*m. Solve m*a + 37 = 5*j - a, 15 = -5*a for j.
5
Let r = -3 - -1. Let b be 0/r - (-1 - -1). Let l be 4*3/36*3. Solve -4*t - s + 7 = b, s = -l + 4 for t.
1
Let b(y) = -5*y + 7. Let l be b(-5). Suppose 2*x + l = -2*x. Let a = 9 + x. Solve 4*t - 3*n = -4, -2*t - 5*n - 1 = a for t.
-1
Let u be 1/((-8)/(-6) + -1). Solve 3*m - 4 = m, -m - 4 = u*z for z.
-2
Let v = 14 + -8. Solve -12 = -k + 2*o - 0*o, 2*k + 2*o = -v for k.
2
Let i(r) = 4*r**2 - 2*r - 2. Suppose 0 = 5*f - f - 8. Let c be i(f). Let t = 14 - c. Solve 0 = -2*g + 3*x + 4, -4*g - 3*x - 24 = t for g.
-4
Suppose -2*v - 30 = -2*o - 2*o, 2*o + 15 = -5*v. Let l be 2/23 + 339/69. Solve 3*f - 29 = 5*i, 2*i + o*f - 27 = l*i for i.
-4
Suppose -o - 8 = -5*o. Let g be -2*(-3)/6*21. Solve -3*p = -4*p - 5*d + 28, -o*p - 3*d + g = 0 for p.
3
Let a = 3 - -1. Solve -6*u - a*d = -u + 18, 3*d = -6 for u.
-2
Let r = 103 - 100. Solve -5*j + 10 = -6*j + 5*h, -3*j + r*h = 6 for j.
0
Let n = -17 + 8. Let r be (-30)/n - 4/(-6). Solve 0 = 4*s - 2*c - 16, -r*s - 1 = c - 11 for s.
3
Let b(u) be the first derivative of -u**2 + u - 2. Let f be b(-2). Solve 0 = 5*n + f*g, -2*n + 2 = 3*g - 2 for n.
-4
Suppose y + 4*v = -0*y, 4*y = -v + 15. Solve y*x - 12 = 5*c, 6 = -x + 3*x for c.
0
Let w = 2 + 6. Let u = -5 + w. Suppose u*s - 3 = 2*s. Solve -2*b + 3*v + 7 = s*b, -4*b + 10 = 2*v for b.
2
Let i(l) = 6*l**2 - 2*l + 1. Let s be i(1). Suppose s*g = 2*g + 9. Solve g*p + 3*y = 3, -5*p + 3*y - y + 33 = 0 for p.
5
Let i(n) = -n**2 - 6*n - 5. Let r be i(-2). Solve -r*h - 5*d - 7 = -6*h, -5*d = h + 11 for h.
-1
Let g = 164 - 160. Solve -4*p - 20 = 4*s, -3*s - 3 + 2 = -g*p for p.
-2
Let i be 1/(1 - (-1)/(-2)). Let b = -4 + i. Let x(r) = r**2 + r + 1. Let y be x(b). Solve 0 = 3*c + 3, 0 = -0*o - y*o + 3*c - 3 for o.
-2
Let s(b) = b - 2. Let a(v) = 6*v - 12. Let x(i) = -6*a(i) + 34*s(i). Let j be x(5). Let f = -3 - j. Solve -o - 4 = 0, f*o - 1 + 11 = -q for q.
2
Let r(v) = -2*v - 3. Let b be r(-4). Let u be (-7)/14*-1*2 + 3. Solve 0 = 4*m + u*f + 4, -b*m + 3 = 2*f + 17 for m.
-4
Let y = 5 - -35. Solve -y = -3*w + 5*g, 5*g + 20 = 2*w - 3*w for w.
5
Let t be 28/(-21) - 20/(-6). Solve -b - 4*i = -4, 0 = -5*b + t*i - 35 + 11 for b.
-4
Suppose 3 = i - 0. Solve q + 4*m - 17 - i = 0, 4*q + 2*m - 24 = 0 for q.
4
Suppose 26 - 16 = 3*n - 2*s, 3*n = 5*s + 25. Solve -3*r + 2*q = -12, n*r + 2*q + 2 = -2*r for r.
2
Let z be 1*(3 + (-4 - -2)). Suppose s - z = 1. Solve 5*h - 5*m = 20, 2*h + 3 = -s*m - 1 for h.
1
Let y(r) = r**2 - 6*r + 7. Suppose -o + 3 + 2 = 0. Let v be y(o). Solve -p - s - 1 = 5, v*s + 2 = 0 for p.
-5
Let j(h) = -h**3 - 3*h**2 + 5*h + 5. Let r be j(-4). Let k be (0 - (-17 + r)) + 2. Suppose 8 = y + 3. Solve y*g - 27 - k = 4*b, -4*g + 40 = -4*b for b.
-5
Let w be (-138)/9*3/(-2). Let v = w - 18. Solve 3*d = -3*o + 12, 3*d - v*o = -15 - 13 for d.
-1
Let p = 5 + -4. Let s(v) = 9*v**3 - v**2 + v. Let w be s(p). Solve -b - 21 = -2*x - 3*x, 3*x = -3*b + w for b.
-1
Let s(q) = -2*q**2 + 5*q - 1 + 0 + q**2. Let w be s(5). Let z be (1 + w/2)*10. Solve -h + 7 = -0*o - z*o, -2*h - 3*o = -1 for h.
2
Let r be 16/12 + (-15)/(-9). Solve -r*q + 40 = 5*k, 0 = k - 2*q - 0*q + 5 for k.
5
Let o(l) = l - 1. Let q be o(-2). Let c(n) = 2. Let i(h) = -h + 1. Let u(g) = -c(g) + i(g). Let t be u(q). Solve 3*v = 3*b - 21, 2*v - 3*b + 23 = -t*v for v.
-2
Let k(s) = s**2 + 13*s + 17. Let p be k(-12). Solve 3*m = 5*o - 2 - 2, -p*o - 20 = 5*m for o.
-1
Let k(p) = -9*p + 10*p - 3 + 0. Let m be k(4). Let j(l) = -l**2 + l. Let a be j(m). Solve -3*z + 6 = a, -q - z = 1 - 0 for q.
-3
Let m = 14 - 23. Let j be (1/(-3))/(1/m). Let b be 18/4 + j/6. Solve b*s - 5*r + 8 + 2 = 0, -5*s = 5*r for s.
-1
Let l = 38 + -35. Solve -l = 3*c + 3*r, c - 4 = 5*r - r for c.
0
Let g be ((-5)/3)/(-5 - (-32)/6). Let n be ((-4)/2 - 0) + 1. Let t = n - g. Solve -j + t = 0, -4*w + 6 = -3*j + 2 for w.
4
Let r(k) = 2*k + 14. Let n(f) = f**2 - 7*f + 3. Let x be n(5). Let s be r(x). Solve 0 = h + 4*z + 6, 0*h + 3*h - 2*z + 4 = s for h.
-2
Let p = 17 + -15. Suppose 13 = p*f + 5*m, -2*f - 4*m + 11 + 1 = 0. Solve -3*z - f = q, 5*z + 2 = -q - 6 for z.
-2
Let k be (-8)/6 + 240/18. Let o be (-11)/(-3) + (-8)/k. Suppose -3*z - 5*q + 8 = 0, 0 = 5*z - 2*q - 2*q - 38. Solve 2*u - g = o*g - z, g = u for u.
3
Suppose -5*k + 2*z = -8, 0 = -k + 3*z - 1. Let t(o) = -2*o**2 - 5*o - 2*o**k - 3 + 3*o**2. Let s be t(-3). Solve 2*q - 3*d + 13 = s*q, -17 = -4*q - 5*d for q.
-2
Let v(h) = -1 + 14*h + 3*h**2 - 10*h + 3. Let c be v(-2). Solve k + f = -4 + c, 3*k - 11 = -4*f for k.
-3
Suppose 5*k - 17 =