2, 0*c + 6 = -2*g + u*c for g.
0
Suppose -57 = -12*v - 9. Solve -4*c - 20 = 0, 0*c + 4*c + 32 = -v*l for l.
-3
Let v(m) = 17*m**2 - m**3 + 4 + 0*m**3 + 8*m - 10*m**2. Let f be v(8). Solve -k - 5*r = 14, -r = -5*k + f*r - 10 for k.
-4
Suppose 7*l = 2*l + 45. Solve -12 = -2*t + 4*i, l*i + 8 = -t + 4*i for t.
2
Suppose 3*f - 5*f - 10 = 0, -4*p + 10 = -2*f. Suppose p*z + 9 = 3*z. Solve 3*a + 12 = 2*a - z*r, -3*r - 18 = 3*a for a.
-3
Suppose 0 = 4*g + 4*j - 48, 2*j + 5 - 18 = -g. Suppose -4*f + 27 = -3*r, -31 + g = -5*f + r. Solve -a + 3 = 3*w, 5*w - 4 = -f*a - 3 for a.
-3
Let p(q) = -6*q - 2. Let l be p(-1). Solve 0 = l*m - c + 6*c + 2, 0 = 3*m - 4*c - 14 for m.
2
Suppose a + 36 = -3*a. Let r be (a/(-15))/((-4)/(-20)). Let x be ((-8)/(-3))/(2/6). Solve 3*v + x = 7*v - r*o, 40 = 4*v + 5*o for v.
5
Let h(x) = 8*x - 1. Suppose 2*y - w - 5 = -y, -2*w = 3*y + 1. Let m be -2 + 1 - (y - 3). Let o be h(m). Solve -3*i + 5*k - o = 0, -4*k = 3*i - 0*k + 16 for i.
-4
Let s(h) = h**2 - h + 2. Let w be s(0). Suppose 0*f - 1 = -4*f - r, 2*r + 6 = 0. Solve -v - w*u - f = 0, 28 + 12 = 5*v - 5*u for v.
5
Let t = -2 + 1. Let b be t*(-2)/(-6)*-15. Solve -b*h = -3*p + 7, 0 = 2*p - p - h - 1 for p.
-1
Let r = 17 + -9. Let h be (-4 - -5) + -1 + r. Solve 0 = 3*z + 2*v - h - 17, -v - 15 = -4*z for z.
5
Let p(c) = 3*c + 9. Let u be p(4). Suppose -2*g + 5*a + 6 = -0, -3*g + 9 = -2*a. Solve -i = 2*i + 3*d + u, 2*i - g*d = 11 for i.
-2
Suppose -56 = -5*o + 24. Let u be (-1 - -2) + o/8. Solve 5*v - 6 = -u*l, 6 = -4*l + 4*v - 18 for l.
-3
Suppose 5*g - 131 = -116. Let c(h) = 2*h**2 - 3*h. Let o be c(2). Suppose 0 = p + 5*n + o, -5*p + 6*n + 18 = 3*n. Solve q = -g*f + 14, -p*q = f + f - 7 for f.
5
Let w be (3/(-2) - (4 + -6))*6. Solve 0 = 4*u + 5*o + 41, -w*u + 5*u = o - 3 for u.
-4
Let n = -8 + 8. Let b(l) = -l**3 - l**2 - l + 3. Let y be b(n). Solve -4 = -2*o + 4*v, -4*o - y*v - 7 = -6*v for o.
-4
Let j(o) = -o**3 - 10*o**2 + 10*o - 11. Let y be j(-11). Solve y = -r - 5*s - 8, -5*r - 2*s - 2*s + 2 = 0 for r.
2
Let o(k) = -2*k + 1. Let v be o(-1). Let b(c) = -c**2 + c - 1. Let u be b(2). Let d be 2 + (1 + u - -9). Solve d = 3*z - 3*j, v*j = z - 0*j - 5 for z.
2
Let j be -1*14 - (-6)/3. Let g be (3 - j/(-3)) + 4. Solve g*w = -4*x + 4*w - 18, -3*w = 6 for x.
-5
Let d be (-18)/(-12)*4/3. Solve 0 = -o - d*m - 4, 3*o + 5*m = 5*o - 19 for o.
2
Suppose -b = -2*d - 0*d, 0 = 3*d + b. Suppose 4*a + a = 3*u - 25, -5*u + 2*a + 10 = d. Solve -3*f + 0*j + 15 = -3*j, 5*j + 5 = u for f.
4
Let b(r) = -2*r**3 - r**2 + 2*r - 1. Let t be b(-2). Suppose t*z = 4*z. Solve -4*y - 5*w + 16 + 9 = z, -y + w = 5 for y.
0
Let l(g) = g**2 - 3*g + 6. Let v be l(5). Suppose -z - 5 = -9. Solve 3*i = 2*d + 13, -d - v = d - z*i for d.
-2
Suppose 5*l = -11 + 21. Solve 2*m + f - 3 = 0, 5*m + 0*f = l*f + 30 for m.
4
Let j be 126/15 + 2/(-5). Suppose -4*s = -j, -s - 1 - 3 = -n. Solve 3*f = -2*a - a + 12, -n = -2*a for f.
1
Let h(g) be the first derivative of g**3/3 - g**2 + 2. Let d be h(2). Let w be (30/(-72))/((-1)/8)*6. Solve -3*j + 3*l - 2 - 1 = d, 4*j + 2*l = w for j.
3
Let w(p) = p**2 - 3*p - 6. Let d be w(5). Solve 0 = -d*x + 4, 5*k = -5*x + x - 1 for k.
-1
Suppose -2*d + 6 = -5*d. Let u be -5*(d + 0 + 1). Suppose -2*z + 10 = 0, -5 = -3*x + 4*x - 2*z. Solve 0 = 5*f + 4*c - u, -f - 3*c - x = f for f.
5
Let a(n) = n + 6. Let d(r) = 2*r + 11. Let g(s) = -5*a(s) + 3*d(s). Let q be g(0). Solve 0 = 2*f + 4*t - 18, -q*t = -5*t + 8 for f.
1
Suppose 0*j - 3*j = -2*a - 13, -j = -a - 4. Solve 4*l = 3*k, -l = -j*l + 12 for k.
4
Suppose 66*y - 62*y = 16. Solve -y*i + 2*j + 30 = 0, -4*i - j + 40 = -5*j for i.
5
Let p(w) = 0 + w**2 - 2*w**2 + 2 + 1 - 6*w. Let n be p(-6). Solve 3*a + 6 = 0, -9 = -5*g - n*a - 40 for g.
-5
Let k = -11 + 13. Solve 3*v = k*v + 4*n + 11, -5*n = v + 16 for v.
-1
Let d = -141 - -151. Solve 3*k + 17 = -r, -40 = 5*r + 4*k - d for r.
-2
Suppose 0 = -5*o - 4*j - 8, j = -5*o + 3*j + 4. Suppose -t - 3*t = o. Suppose 0 = -t*p - p + 6. Solve p*b + z + 6 = 3*b, -6 = -2*b - 4*z for b.
-3
Suppose -3*a - 5*t + 0 = -14, 4*a = -2*t + 14. Suppose a*p - 2*u = -7*u + 75, 2*p - 66 = 2*u. Let l = -6 + p. Solve 4*r + 0 = -12, -3*c + 5*r + l = 0 for c.
3
Let c be (-18)/(-10) + 9/45. Solve 0 = -3*j - 5*h - 8, 2*h + 3 = -3*j - c for j.
-1
Let p = -103 - -129. Solve 2*o + 2 = 3*l, 11 - p = o - 5*l for o.
5
Suppose 4*c + c + 4*n + 20 = 0, 2*c - 5*n + 41 = 0. Let w = c - -9. Solve 2*d = 5*t + 14, w = -t - 0*t + d for t.
-4
Let c be 1*-3 - (0 + -6). Suppose 4*m + 94 = 2*z, -8 = 2*m + z + 29. Let i = -8 - m. Solve -2*g - k = -i, 5*g - 2*g + c*k = 24 for g.
5
Let x(l) = l**2 + 7*l + 5. Let k be x(-5). Suppose 36 = -5*f + n, -2*n - 2 = -4*n. Let s = k - f. Solve -2*t = -5*o - 29, -t + s = -2*o - 5*t for o.
-5
Let h be (-2 + (-9)/(-3))*2. Solve 2*q = -l - 2*l - 10, 0 = 2*q - h*l for q.
-2
Suppose 0 = -2*i - 9 + 25. Let v = 10 - i. Solve 9 = -v*n - 3*z - 4, 0 = n - 2*z + 3 for n.
-5
Let x be (-8)/3*6/(-8). Suppose -24 + 10 = -x*k. Solve b - 2*d - 11 = -0*d, 2*b - k = -d for b.
5
Suppose -2*s - 17 = 5*t, -6*s + 2*s = t - 11. Solve -14 = 3*k + 4*d, d - s*d = -3*k for k.
-2
Suppose -28 = -5*f - 2*m, -f + 31 = 4*f - m. Solve -3*a - 5*v + 15 = 2*a, 4*a - 5*v = -f for a.
1
Let t be (1 - (1 + 1))*9. Let b(r) = r**2 + 8*r + 15. Let c be b(-6). Let l be (0 - 6/t)*c. Solve k = -d, -12 = 3*d - 2*d - l*k for d.
-4
Let n(w) = -w**2 - 3 + 2 - 3 - 6*w. Let h be n(-3). Solve -3*r = g - 12, h*g + 2*r = 1 - 6 for g.
-3
Suppose 0 = 4*p - 2*v - 44, 0 = 2*p - 0*v + 3*v - 6. Solve -4*r = 20, -2*b + r = 2*b - p for b.
1
Suppose p = 4*p - 6. Let s(q) = q + 6. Let y be s(-5). Let r be (y/(-3))/((-1)/6). Solve r*g = -p*w + 9 + 7, -w = -g + 2 for g.
5
Let x = 4 - 1. Let g be 15*(1/x)/1. Solve g*p - 2*q + 0*q + 3 = 0, 2*p + q = 6 for p.
1
Suppose -2*w = d - 31, -w - 5*d + 65 = 3*w. Let c(g) = 2*g - 1. Let f be c(3). Solve 5*p + w = o, 0 = f*p + o - 5*o for p.
-4
Let r be 24 + 2 + (-6)/6. Solve 4*z - 2*w = -0*w - 10, -3*w = 2*z + r for z.
-5
Let z = 17 - 10. Let k be 10/(-55) - 4/(-22). Suppose 5*p = 5, a = 4*p - 2 - k. Solve -3*g - f = 17, -z*f - 7 = -a*g - 4*f for g.
-4
Let r be 3/(-6) + 7/2. Solve -3*s = g - r, -2*g - 14 = -0*s - 4*s for s.
2
Let g be -1*6/3 + 1. Let r be (1 - (1 - g)) + 3. Solve -5*v - 2 = -l - 22, -r*v + 25 = 3*l for l.
5
Suppose 0 = 4*d - 3*y - 15 - 14, 2*d + 2*y = 18. Suppose -2*q - 4 = -2*r - 2*r, -3*r + d = -4*q. Solve i + 3 - 5 = 0, r = 3*c + 4*i + 4 for c.
-4
Let v = 47 - 17. Let h(y) = 6*y**3 - y**2 + y - 1. Let r be h(1). Suppose 15 = p - 0*p. Solve 5*i + 13 = 3*s - p, 0 = 5*i - r*s + v for i.
-5
Let i(r) = -r**3 - 8*r**2 + 9*r + 3. Let v be i(-9). Let f be (2/(-4))/(v/(-24)). Solve 0 = 3*u - f*n + 15, -3*n + 4 = -u - 1 for u.
-5
Suppose u + 1 = 3. Let d be (1 + -1 + u)*4. Solve 0 = -3*b - t + d, 5*t = 2*b + 3*t - 8 for b.
3
Let s = -42 - -70. Suppose -3*j = 4*p + j - s, 5*p + 15 = 5*j. Suppose 0*g + g = p. Solve 0 = 2*w + g*i + 10 + 4, 0 = -3*w + 2*i - 1 for w.
-3
Let u(n) = -6*n - 3. Let h be u(-2). Suppose 3*o = -z - 4*z - 17, 0 = 5*o - z - h. Let k be -2 - (o - 2) - -3. Solve -2*i + m - k*m = -8, -2*i = -3*m for i.
3
Suppose 2*a = -5*y + 4 + 4, 5*a = -5. Solve y*r + 3*s + 6 = 6*s, -4*r + 5*s = 12 for r.
-3
Let l(z) = -z**3 + 4*z**2 + 5*z + 6. Let y be l(5). Let w be 0*(-3 + 21/y). Solve -2*n + 4*d - 26 = w, 4*d - 11 = -n + 6 for n.
-3
Let h(l) = -l**3 + 3*l**2 + 7*l - 7. Let b be h(5). Let g = -17 - b. Solve -4*r + r + 8 = 2*m, -5*m + g*r = -20 for m.
4
Let c = 15 + -7. Suppose -5*o = 4*n - 0 - 4, -5*o - 3*n = -c. Solve -4*q + 3*q + o = u, -q = -5*u + 26 for q.
-1
Let f(h) = -h**2 - h + 4. Let o be f(3). Let u(a) be the first derivative of -a**2/2 + 2*a + 6. Let p be u(o). Solve q - 2*r = p, -5*q + 2*q = 5*r + 3 for q.
4
Let p = 98 + -98. Solve -2*k + g + 0 - 5 = p, -3*g = -2*k - 3 for k.
-3
Let i = 9 - 7. Solve -o + d + 0 = 2, -i*o = -5*d + 4 for o.
-2
Let j = -25 + 37. Solve -5*z - 24 = g, j = z - 0*z - 4*g for z.
-4
Let w be 24/14 + (-6)/(-21). Suppose -w*x + 9 = x. Solve -2*s + 2*h - x*h = 0, -3*s + 3*h = 18 for s.
-2
Let f(l) = -l**3 + 8*l**2 + 9*l + 7. Let o be f(9). Solve -p - 2*c = -12, c = o - 3 for p.
4
Let a(r) = 2*r - 1. Let o be a(3). Suppose -5*t - 4*c = -13, -3*c - 29 = -3*t - o. Solve 2*k = -2*m - 2, -t 