10 = a*m, 4*m + 2*z = -12 for m.
-5
Suppose -14 = -5*k + 11. Solve -2*l + 28 = -k*d + 7, 3 = l - d for l.
-2
Let u = -53 - -55. Solve n + 4*r + 7 = 0, -u*r = n + 3*r + 10 for n.
5
Suppose h + 20 = 2*h. Solve u - 5*u + 4*k + 16 = 0, h = -5*u - 5*k for u.
0
Suppose 6 = -3*t, -6 = -2*v - t - 0*t. Solve -v*d - 3*c + 24 = 0, -d - 3 = 5*c - 26 for d.
3
Let k = 1 - -1. Suppose 5*o = 2*y - 29, o - 2*o - 9 = -k*y. Suppose 0 = 2*a + 3*a - 20. Solve -s = a*z - 24, -y*z - s = -11 - 3 for z.
5
Let v = -8 - -14. Let d = -7 + v. Let j = 4 - d. Solve 0 = -j*n - 3*b - 1, 3 = b for n.
-2
Let p(h) = h**2 - 22*h + 21. Let r be p(21). Solve 2*b - 2 = -o + 4*o, -3*b + o + 3 = r for b.
1
Suppose 0 = -7*i + 5*i + 10. Suppose 0 = -i*b - 5*p + 40, 12 = 2*b + 5*p - 10. Let t = 6 - 1. Solve 0 = 4*u + t*d + b, 5*u - 2*d - 11 = -2 for u.
1
Let v be 0*(-2 - -4)/6. Suppose v = -3*c + 12 - 3. Solve 3*y = -s + 5, 0*s - c*s = 2*y - 1 for s.
-1
Let k = -2 - 1. Let q be 0 + -1 + 0 - k. Suppose 0 = -0*n - 5*n. Solve -3*g - 3*r = -9 - n, 2*r = 2*g - q for g.
2
Let k(c) = c**2 + 3*c - 2. Let y be k(-2). Suppose -2*w - 20 = 3*w. Let x = y - w. Solve -5*p - 25 = x, 3*j + p = -2*j for j.
1
Let l be (-10*1)/(16 - 18). Solve -m - z - 2*z = 11, -l*z = 3*m + 17 for m.
1
Suppose x = -2 + 4. Suppose 1 + x = -p. Let h be p/(-2) - 261/(-6). Solve 5*i - h = -0*i + 4*b, b = i - 10 for i.
5
Let s be (4/6)/(2/15). Let h be (-2)/(-3)*3/2. Let z = h - -2. Solve z*k + 6 = 2*x, x - 1 = 3*k + s for k.
-2
Let d(r) = -r**2 - 8*r - 9. Let h be d(-6). Let f = 6 + -6. Suppose 0 = 3*z - f - 15. Solve 0*n + 25 = -h*o + 5*n, n - z = -2*o for o.
0
Suppose 0 = 2*c + 5*w - 21, 4*c + 3*w - 2*w = 15. Let y be ((-2)/c)/((-2)/15). Solve 5*x - 9 = 2*x, -y*x + 10 = -5*l for l.
1
Let m(u) = u**3 + 6*u**2 - u - 5. Let j be m(-6). Let a be 17 - (j - 2 - -2). Suppose 2*z = a + 4. Solve -4*f + 18 = t - f, -5*t - z = -5*f for t.
3
Suppose 0 = 4*d, h = -h - d + 14. Let b = h - 2. Solve -10 = -g + 5*v, -10 = b*v - 0*v for g.
0
Let o = -19 + 21. Suppose 6 = -2*g + 3*b, 3*g - 3*b = -g - 12. Let c = g - -6. Solve o*v + 5*y + 23 = 0, y - 7 = c*v + 3*y for v.
1
Let g(q) = -q**3 + 6*q**2 + 7*q + 4. Let p be g(7). Solve -5*k = r - 6*r + 20, 0 = 3*r - p*k - 13 for r.
3
Let m(l) be the first derivative of l**3/3 - 2*l**2 - 6*l + 3. Let a be m(6). Let k be -15*((-4)/3 - -1). Solve 7*y - 10 = -k*x + 3*y, 3*x - a = 2*y for x.
2
Suppose -14*v + 3 = -53. Let s be 156/7 - 4/14. Solve 3*j + 4*x + x = -19, -v*j - 5*x = s for j.
-3
Let c(r) = -r - 1. Let d be c(-3). Suppose -5 + 0 = d*s - y, 0 = 2*s + 5*y - 25. Let b be (7 - 0) + -2 + s. Solve 3*z - 22 = -b*w, -14 = -5*w - z + 10 for w.
5
Let s = -20 + 20. Solve 5*x + 2*w - 9 = -2*w, s = -3*x + 3*w for x.
1
Let d = -5 - -7. Let t be 86/6 - (-3)/(-9). Solve c + d*w = 13, -3*c + t = -5*c + 4*w for c.
3
Suppose 4*z = 5*q + 9*z - 40, -q - 17 = -4*z. Let m be (-4)/3*(-12 + -3). Solve 0 = -5*k - s + 7 - m, 0 = 3*k - q*s - 3 for k.
-2
Let m(v) = 4*v - 7. Let r be m(3). Solve 3*j - r*w - 7 = 0, 4*j - 4*w - 10 = 2 for j.
4
Let z(c) = -c**3 + 9*c**2 - 8*c + 8. Let i be z(8). Let p be (i/(-24))/(2/(-42)). Solve -4*n + 5*q + p = 0, q = 3*n - 0 - 8 for n.
3
Let n(s) = -s**2 + 7*s + 1. Let x be n(6). Suppose x = q - 6. Solve 4*o + q = -5*b, 3*o - 4*o + 2*b + 13 = 0 for o.
3
Let u be (-171)/(-38) - (-1)/(-2). Solve 0 = 2*w + 2*o - 8, u*w - 5*o + 2*o = 23 for w.
5
Suppose 0 = o - 2*o + 6. Let g = -11 + 14. Suppose 5*l + w - 6*w = 15, 2*l - 2 = g*w. Solve -i - 4*z = -l, -o*i + 4*z - 37 = -i for i.
-5
Let x = 22 + -1. Solve 0 = -4*b - 3*l - 1, -3*l + x = -2*b - 2 for b.
-4
Let s(m) = -m**2 - 2*m + 8. Let d be s(-4). Suppose -5*p + d*p = 0. Solve g - n = -g - 10, -3*g + 5*n - 29 = p for g.
-3
Suppose 5*j - 2*n + 25 = 0, 0*j + 5*j + 25 = -2*n. Let d = j - -8. Suppose k - 24 = -o - 4*k, -4*k = 2*o - 24. Solve 8 = i - o*a + 4, d*a = -3*i - 18 for i.
-4
Let b be (-5 + 1)*(-1)/1. Suppose 0 = -3*d + b*d - 11. Suppose -5*a = -4*t - 24, 5*a - d - 6 = -3*t. Solve 3*s + w + 7 = 0, a*s = s - 2*w - 2 for s.
-4
Suppose -4 = f - 0*f. Let j be (-2)/(-8) + (-19)/f. Let p = 10 - 7. Solve u + 0*u = -p*y - 10, j*u + 20 = 0 for y.
-2
Let y = -14 - -17. Solve 0 = 4*f - 0*i + 2*i, -2 = y*f + 2*i for f.
2
Suppose 2*t = 3*t - 2. Let v(o) = o - 4. Let b be v(0). Let k be (4/b)/((-1)/8). Solve 2*a = -k, 0*a + a + 2 = -t*z for z.
1
Let j(y) = y**2 - 11*y + 13. Let l be j(10). Solve 3*f + 9 = w, -7 - 14 = 3*w + l*f for w.
-3
Let u = 174 - 167. Solve -6*p - 31 = -p - 4*j, -p - u = -j for p.
-3
Suppose 2*f - 12 = -2*w, 2*f + 3 = -w + 10. Solve 2*d = -4*c - 3*d - 5, -w = 5*d for c.
0
Let i be 92/9 + (-6)/27. Let d be i/50 + 14/5. Solve j + j - 1 = h, 3*j = -d for h.
-3
Suppose -4*s - 16 - 1 = -q, 2*s = -6. Solve -i - 3*z - 16 = -2*i, q*i - 3*z - 32 = 0 for i.
4
Let v(s) = 6*s + 4. Let h(z) = -5*z - 5. Let i(c) = 5*h(c) + 4*v(c). Let u be i(-9). Suppose -4 = -g - u. Solve g*f - 2*b + 14 = 0, 0*f + 4*b + 20 = -4*f for f.
-4
Let s = -9 - -19. Let k = s + -7. Suppose -5*v + 14 = 2*m - k, 2*v + 4*m + 6 = 0. Solve -4*j + 2*h + 16 = 0, j - v + 1 = -2*h for j.
4
Let y = 15 + 11. Let m = -18 + y. Let z = -5 + m. Solve -3*c = -r + 7, z*r - c + 8 + 3 = 0 for r.
-5
Let v = -15 + 18. Let y be v + (-2 - (-2 - -2)). Solve 5*k + 0 - 5 = -4*p, -p - y = 2*k for p.
5
Suppose -8 + 3 = -z - n, -3*z - 6 = -4*n. Let y(x) = -x - 4. Let s be y(-7). Suppose -3*v = -9 - s. Solve 4*f + z*u - 16 = 0, 25 = 5*f + u + v*u for f.
3
Suppose 0*g + 4 = g. Let f = 0 + g. Solve -f*r = 2*l - 7*r - 11, l - r - 4 = 0 for l.
1
Let r(f) = -f - 3. Let d be r(-8). Solve -9 = 4*x - 4*c + 11, -5*x - d*c = 15 for x.
-4
Suppose -32 = -2*x - 2*x. Let i be (-5)/20 + 42/x. Solve -i*y - 9 = 11, g - 5*y = 15 for g.
-5
Let s(h) be the first derivative of 2*h**3/3 - h + 2. Let k be s(-1). Solve 0 = -4*n + l + k, -1 = -4*n + 3*l + 2 for n.
0
Suppose -4*i = -3*i + 4*x - 96, i + 5*x = 95. Let z be 14/91 - i/(-26). Solve 0 = 2*n - 4*w - 8, -n + w = z*w + 6 for n.
0
Suppose -3*x + 47 = -i - i, 15 = 3*i. Solve -x = -5*p + y, -2*p + 2*y + 20 = 2*p for p.
3
Let w(s) = -s**3 - s**2 + s + 2. Let x be w(-2). Solve -2*r = -8, -x*t = -0*t + 2*r - 28 for t.
5
Let x = 37 + -34. Solve -x*v = -q - 4*v - 1, q - v = 1 for q.
0
Suppose -5*b + 2*w = -33, 0 = b - 0*b - 2*w - 13. Solve b*o = -2*d + 17, -14 - 17 = 4*d - 3*o for d.
-4
Let z(i) = 7 + 2*i**2 + 3*i - 5 - i**2. Let w be z(-4). Solve -2*o - 2*a = 0, 4*o - a - a = -w for o.
-1
Suppose 2*n + 5*m = -3*n + 40, -n + 2 = 3*m. Let k = -2 + 5. Suppose 0 = t - 4. Solve o + t*o = -z - 20, -k*o + n = -4*z for o.
-3
Suppose -4*k = -3*p + 2*p - 7, k = -3*p - 8. Let w = p + 0. Let i be 0/w*(-2)/4. Solve -12 = 4*d - d + n, 5*d - n + 12 = i for d.
-3
Let k be 323/57 - 2/(-6). Solve -2*s = 5*h + 9 + 3, k = 2*s - 4*h for s.
-1
Suppose -a = 3*a - 48. Let j be (-8)/a*-12 - 3. Solve s = 4*z + 12, -8*s = -3*s - j*z for s.
-4
Let t be -5*1*4/5. Let w = t + 6. Solve -w*k = -p - 4*p - 12, -2*p + 4 = -3*k for p.
-4
Let f(l) = 2*l**2 - 12*l + 5. Let b be f(6). Solve 0 = 4*j - b*c - 5, 0*c - c - 1 = -4*j for j.
0
Let l(o) = 2*o**2 - 5*o + 5. Let a be l(2). Solve 0*g + 2*g = 5*y + 24, a*y = 2*g - 16 for y.
-4
Let m(y) = 7 + 3 - 10 - 2*y. Let w be m(-2). Solve w*l = p + l + 2, -p + 4*l - 4 = 0 for p.
4
Suppose 3*y = 12 - 36. Let k = -3 - y. Solve 4*u + x - k*x = -12, 0 = u - 4*x for u.
-4
Let p(z) = z**2 - z + 7. Let y be p(0). Let m = -11 + 11. Solve -3*o + 18 = -3*s, m = y*o - 2*o + s - 12 for o.
3
Let b(r) = r - 5. Suppose -5*k + 50 = -0*k. Let s be b(k). Solve -5*n - 2*q - 1 = -0*q, s*n = 3*q - 11 for n.
-1
Let i be (2/(-1) - -3)*0. Let r = 1 - 1. Suppose s - 2 - 3 = r. Solve -2*c - c + s*h = i, 3*c = h - 12 for c.
-5
Let f(c) = c**2 - 7*c. Let m be f(7). Suppose -5*x + 20 + 15 = m. Let w = x - 2. Solve -1 + 3 = -s - w*y, -16 = -5*s + y for s.
3
Let w(l) = -2*l**2 - 9*l - 7. Let h be w(-3). Solve -3*v + 8 = r, 0 = r - 2*r + 3*v + h for r.
5
Let f(d) = 36*d**2 + 1. Let g(y) = -y**2. Let x(w) = f(w) + 6*g(w). Let l be x(-1). Solve -3*t - 5*b = -32, -3*t = 2*b + 11 - l for t.
4
Suppose 2 = 5*j - o - 1, 0 = 2*o - 4. Let b be -2 + 4 + 0/(-2). Solve -10 = -b*y - 5*k, 4*k - 2 = -3*y - j for y.
-5
Suppose 0*l = -l + 3. Solve -2*g + 4*s = l - 1, 3*g - 2*s - 1 = 0 for g.
1
Suppose -2*v = -0*