Let q = 4 - m. Let c = -2 - -4. Solve q*j = c*j - 16 for j.
-4
Let w(b) = b - 3. Let d be w(5). Suppose -d*z = 3 - 7. Solve -c = z*c + 12 for c.
-4
Let p = 2 + 2. Suppose -2*d = 2*j - 14, -4*j + 3*j - 5*d = -19. Suppose -z = -5*l + 3*l + 2, -p*l - j = 2*z. Solve 0*w - w + 4 = l for w.
4
Let d = 45 + -40. Solve 2*q - d = 3*q for q.
-5
Let n be 4/((-6)/(-3)) + 0. Suppose -n*m + 0 = -8. Suppose 28 = 2*a + m*b, 5*b - 41 - 4 = -3*a. Solve 2*g + a = 6*g for g.
5
Let n = -4 - -6. Let t(j) = -8*j + 5*j + 2*j**n - 1 - 1 + 3. Let c be t(2). Solve c*g - g + 2 = 0 for g.
-1
Suppose 2*j + 4*c - 10 = 0, 5*j - c - c - 1 = 0. Suppose -2 = -2*n + 2. Solve -r - n = j for r.
-3
Let f = -2 - -3. Let z be ((-5)/(-2))/(3/6). Solve -z = 4*i - f for i.
-1
Suppose -r + 3 = -1. Solve 5*b - 6 = r for b.
2
Suppose -n = z - 2 + 3, 2*z + n = -1. Suppose -2 = -z*q - q. Let l be (-2)/4 + q/4. Solve l = -g + 6*g for g.
0
Suppose g = -3*j + 16, -2*j + 4 = -0. Suppose 2*m - 3 - 5 = -4*s, 0 = -5*s + 2*m + g. Let f be 4 - (-1)/(-2 + 1). Solve f + s = -q for q.
-5
Suppose 2*u - 17 = m - 4*m, -5*m - u + 26 = 0. Solve -m*f + 10*f = 5 for f.
1
Suppose l = -4*l. Let f = 44 + -19. Let y = f + -13. Solve l*z - y = 4*z for z.
-3
Suppose 4*n - 2*l = 12, 3*l + 2 = -3*n - l. Suppose -z - n*k = -0*z, 4*k = z. Solve 0 = t - 3 - z for t.
3
Suppose 0*h - 15 = 5*h. Let l = h - -3. Solve -f + 0*f + 4 = l for f.
4
Let h be 2/(-3)*234/(-12). Suppose 0 = 2*l + 10, p - 3*l = -5*l - 5. Let x = h - p. Solve -6*w + 4*w + x = 0 for w.
4
Suppose -j = -3*u + 10, -4*j + 0*j - u = -12. Solve -j*g = g for g.
0
Let i be 1/((-1)/(-5) + 0). Suppose f - i = -0. Let q(n) = n**2 - 6*n + 7. Let y be q(f). Solve -y*s - 4 = -6*s for s.
1
Let w(q) = q**3 + q**2 - 2*q + 4. Let r be w(0). Let k(m) = -m**2 - 6*m - 2. Let d be k(-5). Solve 0 = -4*o + d*o - r for o.
-4
Let l be 2/6 + 10/6. Let h be 15/10 + (-3)/2. Solve g = -h + l for g.
2
Let u = 2 + 8. Let n = -6 + u. Solve 2*l + 4 = n*l for l.
2
Suppose 0*h - 2*r + 20 = 3*h, 4*h - 3*r = 4. Suppose -1 = -h*p + 11. Let g be 6 - (p + (-6)/3). Solve -g*o = -0*o for o.
0
Suppose 6*d - 36 = 3*d. Solve -t - d = 3*t for t.
-3
Suppose -3*s - 2*s - 3*r = -3, 0 = s - 2*r - 11. Let b be (-12)/(-1 - s)*1. Solve b = -g - 0*g for g.
-3
Suppose -5*q - o = -16, -q - 4*o = 2*q - 13. Solve q = -2*x - 1 for x.
-2
Suppose 5*y + 5 = 5*o + 15, 0 = 3*y. Let g(z) = -z**2 - 4*z - 1. Let q be g(o). Suppose 0 = 4*j + 2*v - 14, -v - 4 = 3*j - 13. Solve -p - j*p = q for p.
-1
Let a(x) = x**2 - 8*x - 3. Let k be a(7). Let h be ((-12)/(-5))/((-3)/k). Solve 5 = -h*t + 3*t for t.
-1
Let d = -1 - -4. Solve -d*l - 2*l = 25 for l.
-5
Suppose 3*b - 8 = -2. Suppose -3*p - 6 = 0, 0 = -4*f + b*f + 2*p + 4. Let z = -6 + 10. Solve z*q - 16 = -f*q for q.
4
Let a = -6 + 11. Solve a = 2*w - 3*w for w.
-5
Let t = 23 + -15. Solve -t = -0*w - 4*w for w.
2
Let i = -24 + 28. Solve i*q - 3 = q for q.
1
Let q(z) = 2*z**2 - 2. Let g be q(-2). Let w be 5 + 2 + 2/(-2). Suppose -w*s = -11*s. Solve 2*b - g*b - 16 = s for b.
-4
Let v = -15 - -17. Suppose v*f - 3*f - 9 = 3*a, -2*f + 22 = -2*a. Let h(n) = n**3 - 4*n**2 - n + 4. Let t be h(4). Solve -2*q - f = -t*q for q.
-3
Let c be (15/(-6))/(4/(-8)). Solve -22 = c*h - 2 for h.
-4
Let a = 8 - 4. Let i(q) = -q**2 + 12*q + 13. Let g be i(13). Solve o + a*o = g for o.
0
Suppose -8*m = -3*m - 15. Solve m*z - 2 = 2*z for z.
2
Let q be (-1 - -10) + 8 + -10. Solve 3 = -l + q for l.
4
Let q(i) = -i. Let g(z) = 4*z + 3. Let w(j) = -g(j) - 5*q(j). Suppose 3*b = 2*b - 2*f + 8, 4*b + 2*f - 20 = 0. Let y be w(b). Solve -y - 4 = -c for c.
5
Let v(r) = 3*r**2 + 3 - r**2 - 24*r + 21*r. Let m be v(3). Suppose -2*k + m = k. Solve -k*q = -q - 3 for q.
1
Let n be (-68)/(-7) - 2/(-7). Let c be (-2)/3 - 32/6. Let l = n + c. Solve 0*r + l*r = -20 for r.
-5
Let g be (-5)/((-10)/18) - -1. Suppose -2*f - f + 17 = -j, -g = 5*j. Solve -3*m = -2 + f for m.
-1
Let r = -67 + 67. Solve r = -2*u - 0*u for u.
0
Suppose -2*d = -2*g + 5*g + 30, -3*d = -3*g - 30. Let k be (g/5)/(2/(-1)). Solve p = -k - 1 for p.
-2
Suppose -4*y = -2*y - 6. Let z = 4 - y. Solve 3 = q - z for q.
4
Suppose 0 = 4*v - 2*f - 3*f - 47, -5*v + 70 = -4*f. Solve -v = 5*t + 7 for t.
-5
Let x(p) = p**3 - 10*p**2 - 11*p + 4. Let i be x(11). Solve 0 = a + i*a + 10 for a.
-2
Let g = 6 + -4. Suppose 4*k + 7 = -q - g*q, 4*q + 18 = -k. Suppose k*j = -2*x + 4, x + j = -j. Solve -x + 13 = 3*t for t.
3
Let d = 5 + -1. Suppose -d*i = -i - 9. Suppose -5*y + 0*a - 1 = -i*a, 5*a = -5*y + 15. Solve 0 = -o - y + 6 for o.
5
Suppose -10 = -2*n, -5 = -3*s + 5*n - 3*n. Suppose 40 + 1 = s*r + c, -36 = -5*r + 4*c. Solve 2*g - r = -2*g for g.
2
Suppose -2*a - 4*i + 28 = -0, i - 52 = -5*a. Suppose l + 5 = -3*d, 0*d - 25 = 3*d + 5*l. Let g be d*-1*1/(-2). Solve -v + 6*v - a = g for v.
2
Suppose 0 = 5*x - 11*x + 12. Solve 2*b = -x*b - 8 for b.
-2
Let l = 8 + -8. Let x(v) = v + 3. Let t be x(l). Solve t*h + 3 = 4*h for h.
3
Suppose -w + 31 = -0*w. Let k = w + -23. Let r = 1 - -2. Solve r*p - k = 7*p for p.
-2
Let k = 0 - -2. Suppose 0*y = k*y + 18. Let m be (1 + 1)/((-3)/y). Solve m = -5*v - 4 for v.
-2
Let x = 67 - 63. Suppose 3*s - 4 - 11 = 0. Solve s*v = x*v for v.
0
Let t be (-2)/(-6) + 8/12. Solve -3*v - 5 - t = 0 for v.
-2
Suppose 17 + 23 = 5*g. Solve 4*b + 12 = g*b for b.
3
Let r(k) be the second derivative of 6*k**2 + 3*k + 0 - 1/6*k**3. Let p be r(10). Solve -a = p*a + 15 for a.
-5
Let p(x) = -x**3 - 5*x**2 + 5*x - 3. Let b be p(-6). Solve 0 = -2*v - b*v for v.
0
Let g(n) = -n**2 - 6*n + 3. Let a be g(-6). Suppose -2*t = t - a*c - 9, -4*t = 4*c - 12. Solve 5*j - 2*j = -t for j.
-1
Let f(u) = u + 8. Suppose p = 4*m + 6*p - 29, m = -2*p + 8. Suppose -2*r + 13 = -t, 2*r + 3*t = m*r - 27. Let k be f(r). Solve -5*w - 1 - k = 0 for w.
-3
Let l(f) = -f**3 - 3*f**2 - 3*f - 2. Let i(h) = h - 7. Let x be i(5). Let c be l(x). Let a be c - ((-2)/1 - 1). Solve a*s - 5*s = 2 for s.
-1
Suppose m + 2 = 3*m. Solve -w = -0*w + m for w.
-1
Let r be 50/18 - (2 + (-100)/45). Let u(z) = -z + 7. Let f be u(5). Solve p + f*p = r for p.
1
Suppose 0*d - 2*d + 6 = 0. Let h(b) = 2*b + 15. Let i be h(-6). Let m be (d*-3)/(-3) + i. Solve m*g = g + 25 for g.
5
Let l(x) = x - 3. Let g = 12 + -8. Let y be l(g). Suppose 4 + 3 = t. Solve y = 4*w - t for w.
2
Suppose 6*z - 6 = 4*z. Solve -4 + z = a for a.
-1
Let f(m) = m**2 - 4*m - 1. Let x be f(2). Suppose -5*z = 2*i, 0*z = -z - 2*i + 8. Let v = z - x. Solve 0 = -u - v + 2 for u.
-1
Let r = 9 + -13. Let q be 0*(r - -3)*-1. Solve -x - x = q for x.
0
Let t(w) be the third derivative of w**4/24 - w**3/3 - 3*w**2. Suppose 0 = 5*h - 6 - 4. Let y be t(h). Solve y*x - 5*x = -5 for x.
1
Suppose -i + 6 = i. Solve i*s - 5 - 1 = 0 for s.
2
Let t(l) = 2*l - 6. Let h be t(5). Suppose -60 = -5*p + h*a, 3*a = -p + 2*a + 21. Solve -p = -0*d - 4*d for d.
4
Let c be -1 + -9*(-5)/15. Solve c*u - 3*u = -2 for u.
2
Suppose -4*g + n - 2 = -n, -n = -4*g + 3. Suppose -v - v = 0. Solve v = -0*l + l + g for l.
-2
Let y be (-9)/(-6)*-2 - -3. Suppose y = z - 2. Let i be 2 + (1 - 1 - z). Solve a + 4*a = i for a.
0
Let s be (-14)/(-6) - (-4)/6. Solve 16 = -s*p - p for p.
-4
Let k = -2 - -6. Suppose 6 = k*u + d, -4 = 2*u + 2*d + 2*d. Solve 1 = u*s - 1 for s.
1
Let y = -5 - -3. Let p = 5 + y. Let w = -21 + 24. Solve 6 = w*l - p for l.
3
Suppose 10 = 5*h + 3*l - 0*l, 3*h - 6 = -5*l. Solve 0 = h*r - r for r.
0
Suppose 4*p + 16 = -k, 7*k + 2*p + 8 = 11*k. Solve k = 4*v - 3*v - 4 for v.
4
Suppose -3*j - 15 = 2*j. Let l be 2 + -3 + j + 7. Solve -l*d + 0 + 12 = 0 for d.
4
Let j be (1 + 2)/(1/1). Let h be 0*(j - (-5)/(-2)). Suppose h*p - p = -4. Solve -c + p = c for c.
2
Let x(s) = s + 2. Let a be x(0). Solve a*k + 1 = 11 for k.
5
Let l(m) = 4*m**2 - 2*m. Let g be l(2). Suppose -4*a - 3*d + 26 = 0, -2*d + 17 = 5*a - g. Solve -a*o = -0*o - 15 for o.
3
Let o = -42 - -42. Solve -4 = -c - o for c.
4
Let k(v) = 7*v**2 + 3*v**3 - 3 - 4*v**3 - 2. Let z be k(7). Let w = z + 8. Solve -d = w*d + 4 for d.
-1
Suppose 2*k + 2 = 4*d, -3 = -3*d + 2*k - 1. Suppose -w = -d*w. Solve c - 3 + 5 = w for c.
-2
Suppose -3*z = -z. Suppose z = g + 7*d - 2*d - 23, -g - 1 = -d. Solve 0 = g*c - c - 6 for c.
3
Let y be (3 - (-81)/(-6))*-2. Let f be (-1 - 5)*16/(-24). Solve -f*o + 1 = y for o.
-5
Suppose d = 