3*q - l*g + 13, -q + 2*g = -g + 3 for q.
3
Let r be (-20)/3*(5 + -2). Let k = 30 + r. Solve c - 29 = 5*u - 2*c, k = -4*u - 2*c for u.
-4
Suppose 0*y = -2*y - 2. Let n be (-4)/y + (1 - 2). Solve 5*j = -3*m + 10, n*j - 2*m - 9 = 16 for j.
5
Suppose -123 = 4*b - 131. Suppose 3*v - 6 = -4*g - 16, 3*v + 6 = -3*g. Let l = v - -3. Solve 0 = -l*z + 2*z + p - 11, b*z + 26 = -4*p for z.
-5
Let d(l) = -l**2 + 2*l + 1. Let j be d(2). Let o(g) = -3*g - j - 2 + 4 + 4*g**2. Let b be o(2). Solve -3*c - b = -4*k, 10*k = -c + 5*k + 9 for c.
-1
Let k(u) = 27 - 16 + u + 35. Let x be k(0). Suppose -5*s - 3*v + 14 + x = 0, 12 = s - 5*v. Solve 0 = -5*f - 10, -3*f - s + 3 = -b for b.
3
Let g(j) = -5*j**2 + 2*j + 5. Let m be g(0). Solve 0 = 2*c - m + 1, -2*c + 9 = -h for h.
-5
Let x be (5 - 11)/(-3) + 0. Solve -2*h + 9 + 7 = -2*o, x*o + 4*h = 2 for o.
-5
Let c be 4 - (4/(-4) + 0). Solve 0 = -c*n - h, -4*h - 15 = 5*n - 0*h for n.
1
Let h(j) = 1 + 6*j - j**2 - 6 - j**3 + 7 - 1. Let o be h(-4). Solve 3*g - 2*g = 5*c + 5, -3*c - o = -5*g for g.
5
Let a be ((-8)/(-1))/((-6)/(-9)). Solve 0 = 4*m + 2*h - 15 - 1, 3*m - a = -3*h for m.
4
Suppose 10 = 8*m - 6*m. Suppose 0 = -5*i - 2*b + 4, -m*b + 13 = 3. Solve i*p + 6 = 3*f + 3*p, 3*f = p + 2 for f.
1
Let o be 3 - (-1 + 1 + -2). Suppose 3*b - 1 - o = 0. Suppose 5*m - b*u - 24 = m, 3*m = -u + 13. Solve 9 = -c - 4*z, -m*z - 8 = 2*c - 2*z for c.
-1
Let v be (-35)/15 + (-2)/(-6). Let z be v*3/(-6)*2. Solve a = 4*o + 7, -5*a - 12 - 7 = -z*o for a.
-5
Let k be -1*((-5)/25 - 72/15). Solve y + 8*d = k*d - 10, 4*y - 4*d = 24 for y.
2
Let m(s) = s**2 - 3*s**3 + 2 + 2*s**3 - 4*s**2 - s. Let i be m(-2). Solve 5*c + 28 = -4*b, b + 3*b + 8 = i for c.
-4
Let w(i) = -i**2 + 8*i. Let c be w(8). Suppose -4 + c = -s. Let j = 11 + -8. Solve 2*d - j*o = 13, -3*d + 6 + 5 = s*o for d.
5
Let j be 5 - (-6 + 4) - 4. Solve -3*a = j*l, 2*a = 5*a for l.
0
Let o(c) = c**3 + 3*c**2 - 1. Let f be o(-2). Suppose 0 = -f*l + g + 7, 3 = 4*g - 5. Solve -5*x + 3*v = -2*x - 3, x - l*v = 1 for x.
1
Let y = -8 - -16. Let w = y - 5. Solve 5*v = 5*l + 5, 3*v - 4*l - 3 = -w*l for v.
1
Let b(v) = -v. Suppose 5*n - 43 = 47. Suppose 5*d + 7 = -n. Let g be b(d). Solve 0 = -5*t - 25, 5 + 5 = g*o - 2*t for o.
0
Suppose 0 = -3*v + 30 - 0. Solve -v = -j + 2*k - 5*k, 0 = -4*j - 2*k + 10 for j.
1
Suppose -3*u - u + 16 = 4*j, 5*u - 14 = -2*j. Solve p = -5*f - 18, f - p = 2*f + j for f.
-4
Suppose -2*m + 4 = l, m + l - 4*l - 16 = 0. Suppose -2*v - 4 = b, -v - 12 = m*v + 3*b. Solve -2*i = 3*y + 10, -4*y + 3*y - 4 = v for i.
1
Let q be 1 + 2 + -3 - -1. Suppose 2*z = 2*p + q + 5, -4*z = 3*p - 26. Suppose 5*t + z*y = 0, -y = -2*y - 3. Solve 0 = -4*i - 5*b - 19, -t*i = -i + b + 5 for i.
-1
Suppose 4*y - 8 - 12 = 0. Solve -2*l = 2*t + 4, -y*t + 5*l - 35 = -t for t.
-5
Let c be (0 + 2)*-1 - -2. Solve 4*o + 20 = 4*i, 4*i + 2*o = -c*o + 2 for i.
2
Let f be 2/(-7)*(-7)/1. Solve 2*p - 3*v = -7*v + 8, 4*v = f*p for p.
2
Let w(n) be the third derivative of -11*n**5/60 - n**4/12 + n**3/6 + 2*n**2. Let y be w(1). Let i = y + 29. Solve -2*m + 10 - 3 = q, i = 5*m + 3*q for m.
4
Suppose 4*o - a - 11 = 0, -4*a + a + 3 = -3*o. Suppose -3*z - 27 = -4*p - 8*z, 0 = 4*p - 5*z - 77. Let h = p - 9. Solve -k = -5*i - 6, 7 = -o*k + h*i - 1 for k.
-4
Suppose -2*r + 12 = r. Suppose 0 = -3*z + u + r, 5*u = 2*z + 6. Solve z*d + 9 = 1, -3*w = 3*d + 3 for w.
3
Let y(n) = -2*n + 1. Let j be y(-1). Let a(d) = -3*d. Let t be a(-7). Suppose 0 - t = -3*o. Solve 5 = f - r, j*r + 5 = -o for f.
1
Let z(m) = -m**2 - 3*m + 4. Let o be z(-3). Solve n = a + 3, o*a - 3*a = 4*n - 12 for a.
0
Let y = 39 + -19. Suppose m = 5*m + y. Let h be (m/15)/(1/(-9)). Solve -4 - 2 = -3*x - 5*o, h*x = -2*o - 3 for x.
-3
Let d be ((-16)/24)/((-1)/3). Solve -c - 28 = -5*a + 2, -30 = d*c - 4*a for c.
-5
Let f(k) = -1. Let p(i) = i + 3. Let z(h) = 2*f(h) - p(h). Let x = -1 - 7. Let w be z(x). Solve -w*r + 6 = 2*j - 3*j, 0 = 2*j + 2*r - 12 for j.
3
Suppose -5 = -3*b + 4. Solve -24 = 2*a - 6*a - 4*o, 4*o - 19 = -b*a for a.
5
Suppose -3*a = 4 - 19. Suppose -3*k + 2*k - a*m = -30, -2*k + m + 5 = 0. Solve -k*y + 50 = -5*g, 3*y - 45 = -y + 5*g for y.
5
Let y(o) = -o**3 - 7*o**2 - 8*o - 7. Let r be y(-6). Solve -d + 4*c - 17 = 0, 0*d - 11 = -r*d - 4*c for d.
-1
Let n = 8 - 6. Let b be 2*(-1)/n + 25. Solve -11 = -2*h + y + 1, -5*h + b = -y for h.
4
Suppose -5*t + 20 = 2*n, -2*n + t + 9 - 1 = 0. Solve g - m = m + n, -2*g + 2*m + 6 = 0 for g.
1
Suppose 5*l = 10*l - 40. Solve 2*q + 7 = -3*a + l*a, 5*a - q = 6 for a.
1
Let l be 2 - -1 - (-5 + 3). Suppose 3*o - y + 5*y = 27, -4*y = l*o - 37. Solve 3*t + o*f + 22 = 0, -f - 19 = -4*t + 2*f for t.
1
Let g = -12 + 11. Let d be (2 - -1) + 1 + g. Solve -4*q + 0 = d*w + 14, -3*q - 4*w = 14 for q.
-2
Suppose -1 = -3*h + 8. Let s = -11 - -14. Solve 4 = k - 2*l - 5, -h*l - s = 2*k for k.
3
Suppose 3*q = 7*s - 2*s - 60, 3*q - 30 = -5*s. Let j = s - 7. Solve 3*p - 18 = -2*p + j*u, -2 = -p + 2*u for p.
4
Let y(a) be the first derivative of a**3/3 - 13*a**2/2 + 13*a - 2. Let q be y(12). Solve -x = 2*l - 4 + 3, -4*l = x + q for l.
-1
Let m be -2 - 4/16*10*-2. Solve -2*s = 2*f - 2, -m*s - f + 5 = -s for s.
4
Let k(l) = -4*l**2 - 7*l + 6. Let s(d) = -9*d**2 - 15*d + 13. Let t(y) = -7*k(y) + 3*s(y). Let c be t(-5). Solve -m = -q + 1, 5*q + m = 3*m + c for q.
0
Let c(a) = -a**2 - 5*a - 5. Let y be c(-5). Let z be (-1)/2*(-11 - y). Let p(k) = k**2 - 4*k - 2. Let w be p(5). Solve q - w = -j, -q + 13 = z*q + 5*j for q.
2
Suppose 6*s - 25 + 7 = 0. Solve s*m - 5*o - 3 = 0, -8*m + 4*m + 4*o + 4 = 0 for m.
1
Let s(y) = -y - 8. Let x be s(5). Let m = 22 + x. Solve -5*u + m = -4*h, -6*h = -h - 3*u + 8 for h.
-1
Suppose -2*h + 9 = -3*a, -2*a + 3 = -3*h + 14. Suppose -5*y - 21 - 22 = -m, 0 = h*y + 12. Solve -3*d - 4*l + m = 0, l - 8 = -2*d - d for d.
1
Let m(i) = -i**2 + 4*i + 16. Let g be m(6). Solve -4*a - 13 = -5*a - g*b, -a + 7 = b for a.
5
Let n = -1 - -5. Suppose -2*g = -g + 5*r - 7, 3*r - 11 = -n*g. Solve -2*t = 0, -g*t + t = 5*o - 25 for o.
5
Suppose 6 = -4*o + 10. Solve -3*p = -p + 4*n - 20, -4*p + o = -5*n for p.
4
Let c(u) = -u**3 + 11*u**2 + 12*u + 1. Let f be c(12). Solve 2*s = 4*m + 20, -5*s = -4*s + m - f for s.
4
Suppose -8*s = -4*s + 4. Let v = 9 - s. Solve 5*i - v = 2*w, 3*i - 34 + 7 = -3*w for i.
4
Let k(j) = j**3 + 9*j**2 + 7*j - 6. Let l = -17 - -3. Let f = l - -6. Let u be k(f). Solve 5*q = s - 10, 3*q = u*s + s + 6 for q.
-3
Let g = 3 + -12. Let j be (3/(-4))/(g/24). Solve 0 = 4*p + j*u, 3*u = 4*p - 31 + 11 for p.
2
Let o = 22 - 22. Solve n = 2*j, -n + j + o*j = 0 for n.
0
Let k be 23/5 - 12/20. Solve -2*u = -g, -k*u - 1 = g - 7 for u.
1
Suppose 0*n - 7 = n. Let g be (-2)/4 + n/(-2). Solve -g*w + 5*u - 8 = 0, 2*u - 4 = 2*w - u for w.
4
Let f(j) be the first derivative of -j**3/3 + j**2 + 3*j - 1. Let m be f(3). Solve m = -i + 5*z, -z = z for i.
0
Let p(u) = -2*u**2 + 25*u - 9. Let v be p(12). Solve v*j + 1 = 2*s, -2 + 7 = 5*j for s.
2
Suppose 0 = -3*q + 2*q + 8. Let s(h) = h**2 - 7*h - 4. Let v be s(q). Solve i + 4*m - 9 + 4 = 0, -v*i + 1 = -3*m for i.
1
Suppose 22 + 36 = 5*z - 4*c, -z + 16 = -3*c. Solve -3*g = g - i + 2, 0 = 2*g - 5*i + z for g.
0
Let s(y) = -y**2 - 8*y + 33. Let j be s(-11). Suppose 10 + 4 = 5*u + 2*o, 0 = -5*o + 10. Solve 3*i - h = -j*i + 7, -4*i + 6 = u*h for i.
2
Let g(n) = -n**2 + 10*n + 16 + 4 - 4. Let q be g(11). Solve 9 = -2*m + q*m + 2*b, -2*m + 4*b = -22 for m.
5
Let t = 4 + 0. Suppose t*h + 9 + 6 = -g, 3*h + 15 = 0. Let w = -2 + g. Solve 8*s - 5*o = w*s + 10, o = 3 for s.
5
Let c = 3 + 2. Suppose -3*a - 2*a = -3*f + 27, -2*f - a + c = 0. Suppose -2*d + f*l + 16 = 0, l + l - 40 = -5*d. Solve 5*g = 3*i + d, -5*i - 1 = g + 3 for i.
-1
Suppose -s = -0*s + 20. Let v be (6/5)/((-2)/s). Solve -3*r = v, 0 = 2*y + 2*y - 3*r for y.
-3
Let u be 4*2 - (-4 - -4). Suppose -u = 4*d, -3 = -4*p + d + 7. Suppose c = m - 8, -2 = -5*m - 4*c + p. Solve 0 = -m*k + k + x, -4*k + x - 1 = 0 for k.
-1
Suppose 2*y - 3*y + 2*d + 14 = 0, 4*y = 4*d + 60. Suppose 0*r = -r + 1. Let c be (-2 - 0)/r*-2. Solve -4*v - 2*m + y = 0, 3*v + 0 - 17 = -c*m for v.
3
Suppose 5*u + k - 6 - 9 = 0, 4*k + 12 = 4*u. Suppose -20 + 92 = 4*i - u*j, -5*i + 59 = 4*j. Let x = i - -10. Solve -2*q - 2 - 1 = g, -x = 4*g - 5*q for g.
-5
Let 