 - 6*m = -2*n. Solve -n*f + 20 = 2*f for f.
5
Suppose -11*z + 21 = -10*z. Suppose -3*x + 3*s + z = 0, 13*s - 15*s - 11 = -x. Solve w + 2*w = x for w.
1
Suppose 17*f = 34*f - 170. Solve f*b + 25 = 15*b for b.
5
Let a be 3/2*24/18. Let d be (2 - 1)*4 + 2. Solve -5*m = -a*m - d for m.
2
Suppose -n = -0*a - 3*a + 3, a = -3. Let i(y) = -y**2 - 13*y - 11. Let k be i(n). Solve -x + 4 = -k for x.
5
Suppose 0 = -p - 2 + 7. Suppose 0 = -3*f + s + 1, 4*s + p = -s. Suppose -5*d = -3*u - 8, -2*u - 4 = -3*d - 0. Solve f = -2*t - d for t.
-2
Let j = -44 + 36. Let f be (30/24)/((-2)/j). Solve -f*y - 5 + 0 = 0 for y.
-1
Suppose 0 = 3*x - 2*j - 223, x - 71 = j - 2*j. Suppose 0 = -3*w + 4*a + 45 + 15, -4*w + 3*a + x = 0. Let t = w - 2. Solve -5*f - 4 = -t for f.
2
Let y be (-3 + (-32)/(-12))*-3. Solve -26*n = -25*n + y for n.
-1
Suppose 7*k = 6*k. Solve -3*j + k*j - 6 = 0 for j.
-2
Suppose -4*m + m - 15 = 0, -o - 4*m = 18. Solve o*q + 2*q = -12 for q.
-3
Let g(c) = -35*c - 243. Let a be g(-7). Solve -a = -n + 2 for n.
4
Suppose 0 = 2*w - 23 + 15. Suppose -4*n = 6*q - w*q - 32, 3*q = -12. Solve n = -3*v + v for v.
-5
Let k = 1050 - 1043. Solve 0 = k*u - 10*u + 15 for u.
5
Let x be (-4983)/(-561) - 6/(-51). Solve 4*v - x*v = 10 for v.
-2
Suppose 191 = -6*d + 11*d - 2*u, -4*d = 5*u - 166. Solve -d = 5*f - 29 for f.
-2
Let x be (-2)/((-1)/(10/4)). Let q = -23 - -36. Let l(w) = -w**2 - w + 3. Let j be l(0). Solve -j + q = -x*n for n.
-2
Suppose 0 = -2*l - 4, -5*r + 7*r = -2*l + 26. Solve 16*f = 21*f - r for f.
3
Let u(k) = 5*k - 32. Let a be u(7). Suppose z = 0, 0*n = -a*n - z + 3. Solve 0 = w - n for w.
1
Suppose 3*h + 2*c - 27 - 10 = 0, 47 = 5*h - 4*c. Solve -20*n = -9*n - h for n.
1
Let m = 2535 - 2512. Solve -m*z = 40 + 6 for z.
-2
Let r(p) = p + 1. Let v(c) = -2*c**2 - 15*c + 2. Let y(n) = 3*r(n) + v(n). Let i be y(-6). Solve 8 + 12 = i*m for m.
4
Let s(a) = a**2 - 144. Let x be s(-12). Let m = 0 + 4. Solve -m*r + x*r = 8 for r.
-2
Let p(y) = -y**2 + 11*y + 2. Let s be p(11). Suppose s*i - 15 = -3*f - 2*i, -f + 3*i - 8 = 0. Let l be 6/12*(f + -1). Solve m + 1 = -l for m.
-1
Let o(n) = 3*n - 8. Suppose f - 3*f + 16 = 0. Let p be o(f). Let b = p + -4. Solve 3*m - b = -0*m for m.
4
Suppose 0 = 4*c - 5*r - 120, -r + 3*r + 83 = 3*c. Suppose 5*g - 2*f - 32 = -4*f, c = 5*g - 5*f. Let z = -81 + 96. Solve -z = -g*y + y for y.
3
Suppose 0 = -25*r + 26*r - 15. Let c be 0/(-3*5/r). Solve c = -5*d - 0*d - 10 for d.
-2
Suppose -35 + 1926 = 61*a. Solve 36*b = a*b - 20 for b.
-4
Suppose -5*o + 7*o + 4 = 0. Let y be 4*o/(-4) - 0. Solve -16 = -y*d + 6*d for d.
-4
Let k(o) be the first derivative of o**2/2 + 3. Let r be k(1). Suppose 3*m - 17 = 4*d, 3*d = 1 - 7. Solve r = m*x - 8 for x.
3
Let l = -42 - -43. Let u be (-9)/(-21)*l/2*14. Solve -f + u = 1 for f.
2
Let h(v) = -v + 19. Let i be h(15). Solve 8*p - 4 = i for p.
1
Let a(x) = x**3 + 6*x**2 - 3*x + 2. Let p be a(-6). Solve -p = -15*j + 10 for j.
2
Let h be (-2)/(-10) + (-2482)/(-365). Solve h*m - 2*m = 20 for m.
4
Suppose 22*b = 41*b - 11723. Solve -6*o - b = -623 for o.
1
Suppose -53*i + 50*i = 4*x - 9, -x + 4 = -i. Solve 9*r - 6*r - x = 0 for r.
1
Let j(k) be the second derivative of k**3/2 + 3*k**2 + 6*k. Let x be j(-2). Solve -2*g - 2*g + 12 = x for g.
3
Let y be 98/28*(-1 + 5)/2. Solve 4 + 10 = -y*i for i.
-2
Let k be 4/(-10)*(-2 + -3). Suppose -5*q = w + k, 3*w + 2*w - 4*q - 19 = 0. Solve 0 = n - 2*n - w for n.
-3
Let c(s) = -s. Let l(q) = 2*q + 1. Let u(f) = -8*c(f) - 3*l(f). Let o be u(4). Suppose -o*v + 0*v = -140. Solve -5*a - 8 = -v for a.
4
Let y(x) be the second derivative of x**3/6 - 7*x**2/2 - 17*x. Let q be y(12). Solve -17 = -q*s - 2 for s.
3
Let r = 16 - 1. Suppose 3*t + r = 3*m, m - 6*m = -4*t - 24. Suppose -25 = -m*v - 5. Solve v*x = 3*x for x.
0
Suppose 2*x = 4*x - 3*x. Let r(m) = m**3 + 8*m**2 + 6*m + 8. Let v be r(-7). Solve -v = -x*d + 3*d for d.
-5
Let h be -3 - (-10 + 3*(3 + -2)). Solve -6 + h = w for w.
-2
Let x = 60 + -54. Solve -2*v - x*v = 16 for v.
-2
Let k(x) = x - 3. Let a be k(6). Suppose 5*j - 25 = -i, -5*j + 19 = -4*i - 6. Suppose i = -16*m + 13*m. Solve m*u = -a*u for u.
0
Let u be ((-14)/(-3) - 6)*-6. Solve -3*d - 55 = u*d for d.
-5
Let t = -7 - -10. Let b be (-14)/42*(2 + -14). Solve t*a = a + b for a.
2
Suppose 3*a + 3*t = 0, 0*t = 4*t + 12. Let u be (90/(-6))/(6/4). Let h be (27/18)/((-3)/u). Solve -h*m = -a*m + 4 for m.
-2
Let k(f) = -2*f**2 - 16*f + 6. Let j be k(-8). Suppose -l = -2*l + j. Solve 10 = l*s - s for s.
2
Let j(n) = -n**3 - 7*n**2 - 7*n - 13. Let r be j(-7). Suppose 23*y = 14*y + r. Solve -y*q + 5*q = -5 for q.
-5
Let o = 1532 - 1532. Solve o = -0*i - 4*i - 0*i for i.
0
Let j = -774 - -779. Solve 5*t - 6*t = -j*t for t.
0
Let i = 62 + -46. Suppose -22*a = -20*a. Solve a*b + 4*b + i = 0 for b.
-4
Let z(c) = -2*c**2 - 17*c + 12. Let b be z(-9). Solve -b*p - p = 20 for p.
-5
Suppose 22*o - 2 = 86. Solve o = -14*f + 15*f for f.
4
Suppose 3*x - 2 = -41. Let g = x - -23. Let t = 10 - g. Solve t*w = 4*w - 12 for w.
3
Suppose -6*q = -72 + 18. Let d be (q - (-8)/(-4)) + -1. Solve -4*b = -d - 6 for b.
3
Suppose 4*y = -32 + 32. Solve y + 7 = 7*a for a.
1
Suppose -4*n = 2*k - 16, 3*n - 2 = 4*k - 12. Suppose 3*z + 10 = 3*j - 2*z, n*j - 4*z - 6 = 0. Solve -2*t + j*t = 3 for t.
1
Let h = -6 - -9. Suppose p + h*p + p = 0. Solve 4*b + p*b - 16 = 0 for b.
4
Let i(o) = -5*o**2 + 2*o - 1. Let x be i(1). Let j = x + 22. Let q = j - 10. Solve -3*l + q*l - 20 = 0 for l.
4
Suppose -4*u = -0*u - 8. Let j be (1 + -13)*(-9)/36. Suppose 0 = -n + j*y + 9, 0*y - 9 = -3*n + 3*y. Solve u*i + 0*i + 10 = n for i.
-5
Let a be -2 + 112/63 + 544/18. Solve -14*o - a = -8*o for o.
-5
Suppose -3*i - 36 = -3*c - 9, 0 = -4*c - 2*i + 36. Let g be (-1)/3 - (-21)/c. Solve -d - 2 - g = 0 for d.
-4
Let b = -126 - -128. Suppose r = 3*a - 0 - b, 2*r = -a + 10. Solve -a*y = -y for y.
0
Let c = -44 + 48. Let z be 11/2 - c/8. Solve -23 + 8 = -z*t for t.
3
Let t = -322 - -325. Solve t*w + 43 = 31 for w.
-4
Let y be (-4)/(-4 - 189/(-49)). Solve 0 = -6*g + y - 46 for g.
-3
Let c(s) = 7*s + 56. Let q be c(-5). Solve q*p - 25*p = 0 for p.
0
Let r(u) = -14*u**3 + 5*u**2 - 2*u - 6. Let w be r(-1). Solve -w*o + 18 = 3 for o.
1
Let h(w) = w**2 - 6. Let m be h(-3). Suppose 0 = -5*z - 3*k - 0 + 4, 3*k = 2*z - 10. Let g = z - 0. Solve -d - m = -g*d for d.
3
Suppose 2*m - 3*v - 14 + 23 = 0, 4*m - v = -3. Let w(f) = f**2 + 3*f - 2. Let x be w(-4). Solve m*l - x*l = 0 for l.
0
Let q be (-1 - -2)/(12/(-84)). Let k = q - -9. Suppose 0 = -l - k*j + 7, -3*j + 4*j = -2*l + 8. Solve 0 = 2*i - l*i for i.
0
Suppose -4*q - 5*n - 25 = -7*q, 4*q = 3*n + 15. Solve 8*y + 16 - 24 = q for y.
1
Let i be 21 - 18/(11 - 5). Solve i = 13*j + 5 for j.
1
Let k(h) = h**2 + 5*h + 6. Suppose 0 = -3*l + 11 - 41. Let m = l + 6. Let a be k(m). Solve -p - a = 1 for p.
-3
Suppose -4 - 1 = -5*p. Let u(f) = 7*f + 19. Let l(d) = 6*d + 18. Let v(x) = 6*l(x) - 5*u(x). Let c be v(-8). Solve c - p = -2*k for k.
-2
Suppose -4*g + 0*u = -u + 348, -g - 2*u = 78. Let s = -71 - g. Solve 2*h - 5*h = s for h.
-5
Let j = 301 + -283. Let g(z) = z + 1. Let x be g(-1). Suppose 0 = 5*q - 3*y - 16, x*q = 4*q - 5*y - j. Solve -s - q*s = 0 for s.
0
Suppose 0 = -2*h + 3*t + 4, 4*t - 40 = -4*h + h. Let x be -6 - -3 - (4 + -7). Solve -4*a = -x*a - h for a.
2
Let n(v) = -3*v + 2. Suppose t - 30 = 6*t. Let q(a) = -3*a + 2. Let h(w) = t*q(w) + 7*n(w). Let m be h(-1). Solve -m*o = -o for o.
0
Let x(r) = -r**3 + 6*r**2 - r - 25. Let i be x(4). Solve 2*n = -i*n + n for n.
0
Let p = 184 - 159. Solve 10*f = 25 + p for f.
5
Let k(a) = a**2 + 4*a + 2. Let h(n) = -n**3 - 5*n**2 - 4*n - 4. Let c be h(-4). Let b be k(c). Let o = 43 + -38. Solve -b*q - o - 5 = 0 for q.
-5
Let a(f) be the first derivative of f**3/3 - 13*f**2/2 + 7*f - 1. Let l be (176/(-55) + -2)/(2/(-5)). Let b be a(l). Solve -5 = -b*r + 6*r for r.
5
Let l(y) be the first derivative of y**2/2 - 11*y + 4. Let f be l(9). Let m be (-3 - -3)*(-1)/f. Solve m*w - 4 = -2*w for w.
2
Suppose 2*t - 7 = i, 3*t = -4*i + 8*i + 3. Solve -7 - 2 = -i*k for k.
3
Let v(b) = -76*b + 1. Let g be v(-1). Let q = g + -75. Solve i - 3*i + q = 0 for i.
1
Let s(o) = -7*o + 3. Let m be s(0). Solve -m*x + 17 = 26 for x.
-3
Let f(v) = v - 1. Let j(d) = -d**2 -