-l = g*m + 2*d, -24 = 3*m + 2*m - 2*d for m.
-4
Suppose 4*d = -2*j + 12, 0 = -5*d + j + j + 15. Suppose u + 29 = -c - 2*c, -4*c = -3*u + 56. Let v be c/(-2) - 6/4. Solve -v*i = 12, 6 = x - d*i + 2*i for x.
3
Let f(b) = -b**3 + 2*b**2 + 3*b + 3. Let a be f(3). Solve -6*c + c - 5*t = 10, -2*c + 16 = -a*t for c.
2
Let d(r) = r - 16. Let i be d(18). Solve -3*p + 37 = 5*z, -3 = i*z - z - 2*p for z.
5
Suppose 0 = -3*x + 34 + 11. Suppose 5 = 5*g, 7*g - 2*g = 4*j - x. Solve 0 = 2*c + j*t - 0 - 28, -4*t = -16 for c.
4
Let b = 15 - 15. Solve 20 = -0*m + 4*m - 4*t, b = -5*t for m.
5
Let g = 1 - -1. Let k be 3*4/4 + 7. Solve -3*s = -3*z - 15, -k = 2*z + z + g*s for z.
-4
Let m be (0/(1/1))/(-1). Suppose 2*q + 4*f = 20, -4*q - 3*f = q - 29. Solve q = -2*u + 5*c, 5*u = -5*c - m*c - 10 for u.
-2
Suppose -4*f - 2*o = -22, 0 = -4*f - 4*o + 19 + 13. Solve -v - 2*q - f = 0, 14 = -3*v + 4*q + 45 for v.
5
Suppose 3*u = 7*u. Suppose -j - 15 = -5*w + w, u = -2*j - 5*w + 35. Solve -19 = -4*n - j*l, 4*l - 1 = 4*n + 7 for n.
1
Let b = -1 + 4. Let x(t) = -t + 5. Let l be x(13). Let c be (-24)/16*l/b. Solve 0 = -3*i - 5*q - 14, -5*i + 0*i + 26 = -c*q for i.
2
Suppose 0 = -v + 6*v - 5. Let f = v - -2. Suppose -f*y = 2*y. Solve y = -h - i - 2*i - 19, 0 = -4*h - 5*i - 41 for h.
-4
Suppose -6*w - 27 = -9*w. Solve 4*g + 4*p = 0, -g - 2*p + 4*p - w = 0 for g.
-3
Suppose -13 - 12 = -5*b. Suppose -2*x + 5*v + 51 = 8*v, b*v = 25. Let h be x/(-30) + (-23)/(-5). Solve 2 = -2*c - h*f, 0 = -5*c - 0*f - f + 13 for c.
3
Let g(f) = 2*f**2 + 1. Let k be g(-1). Suppose -3*m = 2*s - 4*s - 33, -m - 4*s - 3 = 0. Let y = -8 + 13. Solve u + y*p = -k, 3*u + m + 0 = -2*p for u.
-3
Let o be (2/(-3))/((-4)/18). Suppose 5*b - 34 = 4*s, -4*b - s = -26 + 3. Suppose -v - v + b = 0. Solve 5*y - v*u - 8 = 0, 3*y - y + o*u + 1 = 0 for y.
1
Let u be (5 + (-2 - 0))/1. Solve -2*n - 4*b - 10 = 0, 5*n - u*b + 10 = 2*b for n.
-3
Let l(s) = s**2 - 6*s + 3. Let w be l(6). Solve 5*x + i + 6 - 1 = 0, w*x = 3*i + 15 for x.
0
Let g be (-99)/(6 - 3) + -2. Let q = -15 - g. Suppose -2*l = -0*l - 5*m + q, l = -2*m + 8. Solve -3*x + 15 = 0, l = 2*b + 3*x - 20 + 3 for b.
1
Let j(l) = 21 + 2*l**2 + l**2 - 7*l - 4*l**2 + 1. Let z be j(-9). Solve 3*r - 23 + 7 = z*q, -4*q - 8 = -r for r.
4
Suppose 4*l = -0*l + 5*m - 18, 0 = 5*l + 4*m + 2. Let x be (l/3)/((-3)/9). Let v = x + 4. Solve 0 = -4*n + 5*w + 14, -2*n - 2*w = 2*w + v for n.
1
Let b be ((-36)/(-8))/(12/16). Suppose 0 = -s + 1 + b. Solve -w = 3*l + w - 9, 0 = -l - 4*w - s for l.
5
Let k be (-630)/(-50) + (-2)/(-5). Suppose 0 = 5*r - 13 - 2. Suppose r*q = 14 + k. Solve -l - 2 = -3*y - 3, -2*l - y = -q for l.
4
Let f(m) = 5*m - 1. Let v = -3 + 4. Suppose -a = -2*z - 0*z + 1, -2*a = -z - v. Let q be f(z). Solve q*g - 2 = -2*x, g - 18 = 4*x - 2*g for x.
-3
Let x = 56 + -31. Suppose -x = -2*o + 5*k, 3*o = 2*o + 4*k + 17. Suppose -4*m + 8 = -t, 3*t + 3 = -m + o. Solve 5*w + 40 = 5*c, -3*c - 2*w - m = -1 for c.
3
Let s(w) = -w**2 - 6*w - 3. Let f be s(-5). Let x be f/(-4)*-4 + 2. Solve -5*i + 25 = x*m, -2*m - 10 = -i - i for i.
5
Let v = 4 + -2. Let f = -12 + v. Let d be (f/3)/(2/(-3)). Solve -5*r - 40 = d*t, -r + 2*t + 10 = -3*t for r.
-5
Let f = 19 + -5. Let x be 3/(-5) + (-3)/(-5). Solve x = 3*r + d - 17, r + 3*d - d = f for r.
4
Let s be (2/(-1))/2*-1. Let k(p) = p**2 + p + 0*p + 2*p - 2. Let j be k(-4). Solve 2*m + 5*f + 1 = 0, -s + j = f for m.
-3
Suppose -2*l - 20 = -4*l. Suppose t + 4*t = l. Solve -t*b - 2*c = -c - 13, 40 = 5*b + 4*c for b.
4
Let k be ((-6)/21)/(2/(-14)). Solve -4*s - 5*l + 0 = -31, l + 5 = k*s for s.
4
Suppose 4*n = -0*n. Suppose 7*d - 2*d = n. Solve -3*x + 4*k + 27 = d, -2*k - 2 - 4 = 0 for x.
5
Suppose -r + 2 = -0*r. Solve u = -5*n - 1, 4 = r*u + n + 3*n for u.
4
Let o = 2 + -2. Let s be ((-9)/(-12))/((-2)/8). Let u be (-3)/3*s - -2. Solve 3 = n - u*p - 10, o = 4*p + 8 for n.
3
Suppose 7*l - 2*l - 10 = 0. Let f = l - -3. Suppose -5*v + 12 + 8 = 0. Solve 2 = -v*m - f*n, 3*n + 0*n = m - 8 for m.
2
Let r be 19/3 - (-2)/(-6). Let k = r - 6. Solve k = -f - 2*y - 10, -f + 7*y = 3*y - 8 for f.
-4
Let t(m) = m + 4. Let u be -1 - (1 + -1 + 3). Let b be t(u). Solve -f - 4*d = 2, 5*f + b*d - 12 = 2*d for f.
2
Suppose -4*a + 89 + 11 = 0. Solve 0 = 4*h - 2*h + 3*j - 10, -j = 5*h - a for h.
5
Let k be (-14)/(-5 + 8 + -4). Let y be ((-4)/6)/(k/(-42)). Suppose 0 = -4*q + 5*q - 3*l - 11, -q - 3*l = 7. Solve -y*s + 8 = -3*m, -2*m + 3*s + q = -m for m.
-4
Suppose -k - 4*k - 10 = -5*o, 3*o = 2*k + 8. Let b be 42/(-12)*(-1 - -3). Let z = b + 9. Solve -3*r + 10 = k*y, 0 = 3*r + 3*y - z*y - 11 for r.
4
Let v be 9 - -4*25/(-20). Solve -3*d = 2*u - 16, v*d - 4 - 6 = 3*u for d.
4
Let p(s) = -3*s - 5. Let z be p(-3). Solve -z*t + 17 = 5*r, 2*t + r + r - 6 = 0 for t.
-2
Let i = 16 + -14. Let u(b) = b**2 + 2*b - 4. Let a be u(i). Solve -5*v + a = -3*p - 13, -p = -v + 5 for v.
1
Suppose 2*f = 3*f - 5. Solve -o - 1 = 3*t, 0*o + f*t + 13 = 4*o for o.
2
Let z be (-1)/(-2)*0/1. Let t = -1 + z. Let w(u) = 4*u**2 - 1. Let p be w(t). Solve -r = -p*o - 17, -2*o - 26 = -3*r + 2*o for r.
2
Suppose -j = -0*w - 5*w - 7, 4*w + 4*j + 20 = 0. Let m = 3 - w. Solve x = 5, m*l + 6 = 3*x - 9 for l.
0
Let y be 3 - (-1 + (2 + 0 - 0)). Solve 3*f = -3*q - 9, 4*q - q = -y*f - 6 for f.
-3
Suppose 2*v - 10 = 6. Suppose 3*c + v = -1. Let a be ((-9)/(-3) - -25) + c. Solve 0*i - 5*m - a = -4*i, 5*i + 5*m - 20 = 0 for i.
5
Suppose -33 = -h + 5*d - 4*d, 2*h + d = 54. Solve 2*o = -2, -5*z - 5*o - h = -o for z.
-5
Let o(z) = -4*z - 2. Let j be o(3). Let f(h) = -h - 7. Let g be f(j). Solve 5*n - g - 38 = -4*b, 4*b - 15 = n for n.
5
Let p(t) = 3*t**2. Let z be p(1). Suppose 6*a = 13 + 11. Solve z*u + a = -2*w - 16, 8 = -2*w for u.
-4
Let s be (-2)/(-4) - (-10)/4. Suppose -5*v + 5*f = 45, 0*v - 2*v + f - 15 = 0. Let b be v/42 - (-296)/14. Solve -s*x = -u - 2*u + b, -2*u = 4*x + 10 for u.
3
Suppose 5 = -4*p + 1. Let c be (p*4)/2 + 1. Let b(z) = -z + 1. Let u be b(c). Solve -u*h + 2*y + 4 = 0, -4*h + 17 = h + 2*y for h.
3
Let d = -58 + 58. Solve -3*h = 0, d = 2*u + 3*h + 16 - 6 for u.
-5
Let r(i) = i**3 + i**2 - 3*i + 2. Let n be r(2). Let u = n + -6. Solve -u*z + y = 3, 0*y = 4*z + y + 15 for z.
-3
Let k = -5 - -11. Solve -5*u + y - k*y + 20 = 0, -16 = -5*u - 4*y for u.
0
Suppose 3*r - 156 = 2*i - 0*i, -228 = -4*r - 4*i. Suppose 5*t + 3*x - 64 = 26, -3*t + x + r = 0. Solve t = 5*k - 3*h, 2*k - 3 = -3*h - 0 for k.
3
Suppose 3*f + 74 + 345 = -2*u, 3*f = u + 205. Let m = -109 - u. Let o be (m/22)/(3/4). Solve 5*x + 5*n + o = -34, -10 = -5*x + 5*n for x.
-3
Let u be (-24)/(-10) + ((-35)/25 - -1). Solve -r - 2 = -4*o, o + 2 = -o + u*r for o.
1
Let k = 2 - 0. Solve -q - i = k*q - 10, i + 5 = 0 for q.
5
Suppose 0 = g - 3*l - 6, g + 3*l - 2*l = 2. Let j(m) = 2*m**3 - 2*m**2 - 3*m - 1. Let k be j(g). Solve 8*t - 5*u + k = 4*t, 2*t + 4*u = 0 for t.
-4
Let z(u) = 3*u**2 - 4*u - 2. Let o(w) = 7*w**2 - 9*w - 5. Let g(i) = 4*o(i) - 9*z(i). Let f be g(3). Solve d = 3*j + 2*j - 21, -j - f = -3*d for j.
5
Suppose -4*z - 14 = 46. Let l be z*(10/6 + -2). Solve 6 = -2*p + 2*d, p - l*d = 4*p - 7 for p.
-1
Suppose 2*w = -3*w + 85. Let z be (-9)/(-6)*8/3. Let a be z/10 - (-465)/25. Solve -h + a = 5*q + 4, -5*h - 2*q - w = 0 for h.
-5
Let r be ((-2)/((-8)/(-6)))/(42/(-28)). Solve -4*n - 17 = -m, -r = -5*m - n - 0*n for m.
1
Let d(l) = -l**3 - l**2 + 3*l - 4. Let b be d(-3). Suppose -26 = -b*j + 49. Let n(y) = -y - 6. Let k be n(-8). Solve 2*i + h + h = -k, 5*h - j = 5*i for i.
-2
Suppose -4*h + 16 = 6*l - 3*l, 0 = -h + 1. Solve -l*w + 20 = 0, w - 17 = -3*a - 0*w for a.
4
Let r(h) be the third derivative of -h**6/120 - 7*h**5/60 + h**4/3 + h**3/3 + h**2. Let f be r(-8). Solve f*l = -4*j + 5*j + 7, -4*l = -5*j - 17 for l.
3
Let w be -1 + 2 + -3 + 22. Let f = w - 0. Let a(d) = d**2 + d + 2. Let v be a(-2). Solve -j - j - 5*b = 25, f = -v*b for j.
0
Let m = -14 - -18. Solve -h - 5*g - 11 = 0, 11 = -5*h - m*g + g for h.
-1
Let c be 1 - 3 - (-6)/1. Suppose -c*p + 25 = 1. Solve 4*h = 12, 5*v - p*h = -h - 35 for v.
-4
Let d be (-2 + 0 - -3)*-7. Let z = d + 9. Solve -5*w = 2*s - 5*s + 22, -z*s = 2*w - 4 for w.
-2
Let r be ((-2)/6)/((-7)/(-231)). Let g = -9 - r. Solve -s + 3*c + 2 = -0*c, -4*s - 2 = -g*c for s.
-1
Let w = 137 + -200. Let z be 