2 - 6*c + 4. Let n be y(6). Suppose -3 = -n*w + 5. Solve 5*j = 0, 3*f + 2*j - 12 = -w*j for f.
4
Suppose -m + 2*m = -1, 3*f = -2*m - 2. Let b = 3 - f. Solve 2*k = -4*c - 2, 2*c - c = b*k + 17 for c.
2
Let m(b) = -b**2 + b + 2. Let v be m(2). Suppose 20 = y + 4*y. Let l = y + v. Solve 4*f + 28 = l*x, -4*x + 4*f - 3*f = -16 for x.
3
Let b(m) = -m**2 + 11*m - 6. Let o be b(12). Let u be (o/9)/(0 - 2). Solve -4*l + 15 = 2*t - u, -16 = -4*l - 4*t for l.
4
Let a = 25 + 14. Let l = a - 27. Solve -4*p + 2*f - 2 + l = 0, -p + 2*f + 7 = 0 for p.
1
Let z be -2 - (-5 - -3)/2*4. Solve -2*g + 12 = -4*f, -z*g - 3 = f - 4*g for f.
-3
Let a(n) = 3*n. Let v be a(1). Let i(u) = -u**2 + 4*u - 3. Let h be i(v). Let c be 0 - 0 - h/1. Solve o - z - 4 = 0, c = 3*o - 9*z + 4*z - 20 for o.
0
Suppose 11 = -5*k + 31. Suppose 0 = -w + 4*w + 2*a - 60, 80 = k*w - a. Solve 0*i + 2*i = 3*g - w, -8 = -i - 3*g for i.
-4
Suppose 5*c + 30 - 90 = 0. Let q be 40/(-6)*48/(-20). Solve 0*h + 2*h + q = 4*m, 4*m - c = 0 for h.
-2
Suppose 0 = -2*t + 17 - 7. Suppose 4*g - 5*g = t*v + 6, -3*g - 5 = 2*v. Let b = 6 + g. Solve p + b - 4 = -3*z, p = -2*z + 1 for z.
-2
Suppose 3*m - 20 = -2*y + 15, -y + 20 = 2*m. Let k(a) = 4*a**2 - a - 2*a**2 + a**2. Let s be k(-1). Solve x = -3*x - o + 8, s*o = 5*x - y for x.
2
Let z(c) = -c**3 + 5*c**2. Let f be z(5). Solve 0 = 4*g - 3*j - 12, f = -3*j - 0*j for g.
3
Suppose -4*o + 28 = 4*g, 5*g = 3*o - 1 + 12. Suppose 14 = o*l + 2*k, -l + 9 = -0*l + 5*k. Solve q = 2*f, 0*q + f + 18 = -l*q for q.
-4
Suppose 2*g + 4*m - 14 = 0, -4*g = -3*g - m - 1. Suppose g*a + 5*h = 31, 4*h + 6 - 18 = 4*a. Solve 5*o = a*s - 16, s + 3 + 2 = -4*o for s.
3
Let x(q) = q - 1. Let i = -10 - -15. Let g be x(i). Solve -g*t = -3*f - 4, -20 = -4*t + t - 2*f for t.
4
Suppose -m + 1 = -4. Suppose 5*i + 2*u - 10 = 3*u, 5*i + 2*u - 10 = 0. Suppose 0 = -0*t + i*t - 10. Solve 3*f + 5 = 2*q, -m*q - t*f - 50 = -0*q for q.
-5
Suppose n - 12 = 3*q, 2*q = n - 5 - 5. Suppose -3*m = -n - 3. Suppose 6 = m*i - 3, -c + 3*i = 9. Solve 5*t - 20 = c, -1 = -7*p + 2*p + t for p.
1
Let w = -31 - -53. Suppose 5*q = -2 + w. Solve -q*g = -i - 16, -3*g = -4*i - 6*g - 7 for i.
-4
Let g(p) = p - 6. Let i be g(11). Solve -i*k = -2*x + 18, -3*k - 2*x - 2 + 4 = 0 for k.
-2
Let f = -5 + 7. Suppose f*y + 0*y - 8 = 0. Suppose -4*t + 20 = 8. Solve 0 = -2*x - 2*r, -t*x + 6*x - y*r = 21 for x.
3
Let k = -23 + 56. Solve -b - k = 4*b + 4*w, 3*w = 5*b + 19 for b.
-5
Let d(j) = -j**2 - 10*j + 4. Let s be d(-10). Suppose 0 = -2*c + 10 - s. Solve -5*n - 2*w - 30 = 0, -1 = c*n - 5*w - 14 for n.
-4
Let h(r) = r**2 + 8*r - 5. Let c be (-8)/(-28) - (-65)/(-7). Let b be h(c). Solve -5*z + b*t = -1, -t + 7 = -5*z + t for z.
-3
Suppose 38 = 6*u + 14. Solve -2 = 2*j - 5*i + u*i, -16 = -4*i for j.
1
Let i(o) = 2*o + 19. Let w be i(-8). Solve 4*r = -5*q - 11, 0 = -w*q + 5*q + 6 for r.
1
Suppose 0 = 2*v - d - 9, 2*d + 8 = 2*v - 3*v. Let n(t) = 0*t - 9*t + 5*t**2 + 2*t**2 - 5*t**v. Let q be n(6). Solve 2*k = 5*p - q, 2*k + 4*p = -0*p + 18 for k.
1
Suppose 0 = 2*v - 5*t + 27, 30 = -3*v + t + 3*t. Suppose 0 = 4*h - 6*h. Let x be h/(v*(-1)/2). Solve 2*a = -s + 10, -2*a - 3*a - 2*s + 24 = x for a.
4
Let x(n) = -n**3 + 11*n**2 + 2*n - 6. Let s be x(11). Solve -2*m = 4*l + 6, -3*m + 3 = -l - s for m.
5
Let m be (-30 - -2 - 2)*2/(-5). Solve d + m = 5*d + 3*h, 2*d + 20 = 5*h for d.
0
Let s = 18 + -8. Let m = s + -3. Suppose m*a - 10 = 2*a. Solve -4*l = -3*d + 11, a*l - 3*l = 2*d + 11 for d.
-3
Let l(m) = -m**3 + 4*m**2 + 5. Let d be l(4). Solve -h = 2*q + 1, -2*q + 1 = d for h.
3
Suppose -34 = -2*b - 14. Solve -u - 5*c = b, u = -u + 3*c - 7 for u.
-5
Suppose -4*h - 20 = 0, w = -w + 4*h + 24. Solve -5*j = -w*r + 2, r - 5*j - 5 - 1 = 0 for r.
-4
Suppose -5*u = 5*p - 30, -5*p - 5*u = -3*p - 15. Solve -4*c = -p*h - c + 23, -2*h - 4*c = -4 for h.
4
Let n be (-16)/(-10) - 6/(-15). Solve q - 2*u - n*u + 19 = 0, 2*q - 3*u = -13 for q.
1
Let g be -3*((-30)/9)/(-5). Let i be 4/(-6)*39/g. Let l be (6/(-15))/((-5)/25). Solve 0 = l*a - 6*p + p + i, 0 = 5*a - 5*p + 10 for a.
1
Let h be 22/4 + ((-3)/2 - -1). Solve -j = h*q - 2, j + 3 = -0*j for q.
1
Let d be -3 + (-9)/(-1 - 2). Let s(q) = q**3 + 2*q - 2 + d*q - 2*q**2 + 0. Let l be s(2). Solve 2*m - 3*c = 14, 30 = 5*m - l*c - 3*c for m.
4
Let a = 108 - 103. Solve r + 1 = m - 0*r, a*r = 15 for m.
4
Let c be (0 - (-2)/(-4))*12. Suppose 0 = 2*m + 5*q + 4 - 23, 5*q - 55 = -5*m. Let b = c + m. Solve 2*k = -3*i + 3*k, -b = 2*k for i.
-1
Let t be (-6)/(-36) - (-65)/6. Solve -4*u + 17 = d, -t = -4*u + 3*d + 2*d for u.
4
Let m be 8 - -4*(-2)/8. Suppose j - 6*k + 2*k + 9 = 0, 3*k - 9 = 0. Let t = m - j. Solve -2*b + 5*z + 8 = 0, b = -b - t*z + 8 for b.
4
Let m(q) = -q**2 + 7*q + 20. Let l be m(9). Solve 5*y + 13 = -4*v, 5*v = l*v - 6 for y.
-1
Let q(w) = 5*w - 3. Let j be q(2). Solve -2*x + 3*a - 8 = j*a, -x + 5*a + 17 = 0 for x.
2
Let x be ((-7)/(-2) - 1)*2. Solve x = 3*b - 6*b - y, -3*b = 4*y + 20 for b.
0
Let i be (-7 - -10)*8/6. Solve -i*u = 4*t - 5*u - 2, 6 = 5*t - 3*u for t.
0
Let j = 67 + -62. Solve -2*l + k = 14, j*k - 25 = 4*l - 3*l for l.
-5
Suppose 0 = -4*r + r. Solve 4*x + 5*s - 8 = r, 4*x + 4*s = 3*s - 8 for x.
-3
Suppose -4*y = -2*i - 414, 0 = 2*y - 5*i - 210 + 23. Suppose 5*j - 2*h = -h + y, 2*j = -5*h + 37. Solve -5*s = 5*g - g - j, 3*g - 17 = -4*s for s.
5
Let a = 17 + -14. Solve -a*u - 1 + 6 = -o, -5*u = 3*o + 1 for u.
1
Let n be (0 - -7)*(1 + -2). Let i = -3 - n. Solve 13 = 2*q + p, i*q - 3 + 2 = 3*p for q.
4
Let x(m) = 2*m**2 - 5*m + 3. Let v be x(3). Let r be 56/21 + 2/v. Let t(b) = b**2 - b - 1. Let c be t(4). Solve r*g + 23 = -y - 4*y, -3*y = -g + c for g.
-1
Suppose 0 = -13*h + 17 + 35. Solve -4 = -h*o - 5*t, 4*o - 3*o - 1 = t for o.
1
Let n(z) = -z**2 + 7*z - 1. Let o be n(6). Suppose 2*d - 5*f - 15 = 0, 3*d + 4*f - 1 = 2*d. Solve -3*c - 21 = -d*a + 16, 0 = 3*c + o*a - 13 for c.
-4
Let n = -74 - -76. Solve -24 = l - 5*q, -n*q = 2*l + l - 13 for l.
1
Let c(j) = 4*j - 7. Let i be c(5). Solve -b - 3*b = 4*y + 4, b + 5*y = -i for b.
2
Suppose -w - 17 = l, -3*w - 28 = 4*l - 7*w. Let a be (-20)/(-6) + 4/l. Solve -a*d + 8 = -4*n, 0 = -4*d + d for n.
-2
Let k = 51 - 27. Suppose 2*j + j = k. Solve j - 23 = 5*w, r + 20 = -5*w for r.
-5
Suppose 4 = -3*p - 2*y, 0*p - 2*y - 4 = -4*p. Let u(b) = b. Let w be u(-4). Let a = w + 7. Solve -i = -4*h + 15, -4*i + 35 = -p*i + a*h for i.
5
Suppose 9*q - 5*q - 8 = 0. Solve q*z = -4*g, -5*z + 4*g = g + 26 for z.
-4
Let u = -16 - -26. Let m be 14/35 + 16/u. Let v(z) = -z**3 + 4*z**2 + z + 1. Let c be v(4). Solve -m*x + 0*x + 24 = -c*a, -28 = 5*a - 4*x for a.
-4
Suppose -3*w + 4 = 5*k, -2*k + 2*w + 8 = -0. Solve 0*v = v - k, -d - 5 = -v for d.
-3
Let u = 32 - 16. Let a = 2 + -2. Suppose 4*i - 12 - 8 = 0. Solve -i*x = -15, -d - 4*x + u = -a*d for d.
4
Let t(x) be the third derivative of 2*x**2 + 5/24*x**4 + 0 + 0*x**3 - 1/60*x**5 + 0*x. Let n be t(5). Solve u + 5*l - 25 = -u, 3*u + l - 5 = n for u.
0
Suppose 48 = -y + 17*y. Solve 1 = -y*z + h - 13, z + 5*h - 6 = 0 for z.
-4
Let o(d) = 2*d**2 + 5*d - 1. Let r be o(-3). Solve 14 = 2*f + r*b, 6*b = 5*f + b + 5 for f.
3
Let a = 36 - 20. Solve -5*u + a = -3*i, 0*i = -3*i + 9 for u.
5
Suppose -3*a + 8 = a. Solve 4*w - 6 = -a*d, -2*w - 12 = d + 3*d for d.
-5
Let g(c) = -2*c**3 + 4*c**2 - 2*c + 1. Let z(u) = u**3 + u. Let p(b) = g(b) + z(b). Let j be p(2). Solve 3*d + 13 = -5*a + j*d, 4*d = -12 for a.
-5
Let w = 12 + -8. Suppose -2*y = -w*y + 10. Solve 4*u - h + 14 = 0, -h = -y*u + h - 16 for u.
-4
Let h(s) = -s + 2. Let u be h(-5). Solve -w - 4*w = 4*d - u, 0 = -3*w - d for w.
-1
Let h(a) = a**3 - 4*a**2 + 4*a. Let u be h(3). Suppose 2*l - 3*l = y - 2, -5*l - 10 = 0. Suppose q = -y*q. Solve -u*s - 8 = n, q*s = -n + s for n.
-2
Let x = -16 - -4. Let v = 15 + x. Solve 5*a - v*m + 24 = 2*a, a - 5*m = -28 for a.
-3
Suppose 5*x - 12 = x. Let r be -2 + 23 + (-9)/(-3). Let m = -5 + 9. Solve -m*h - h - 37 = -4*d, x*h = 3*d - r for h.
-5
Suppose -2*q + 4 = g - 1, -2*g + 4*q + 18 = 0. Let r be 6/(-3) + -1 + g. Suppose r*p - 52 - 20 = 0. Solve -3*x + 4*i = i - p, x + 14 = -3*i for x.
1
Suppose r = 2*r - 1. Let z = 3 + r. Solve -5*l - 3*s = -23, -2*l - l - z*s = -16 for l.
4
Let i(n) = -n**3 - n**2 + 4*n. Suppose 5*u = 4 - 24. Let l be