et c be (-1 - q)/2*-1. Solve -2*n + 8 = -c for n.
4
Let m be 0/(1/2 - (-9)/6). Solve -2*t + 8 - 2 = m for t.
3
Let l be (42/63)/((-1)/(-3)). Solve d + l + 3 = 0 for d.
-5
Let c = 105 + -103. Suppose -5*i = -2*x - 14, 3*i + 0*x - x - 9 = 0. Solve 2*g + c*g = -i for g.
-1
Let o(l) = 2*l**2 + 11*l - 21. Let p be o(-7). Solve p = 2*t + 2*t for t.
0
Suppose -2*v = -2 - 2. Suppose -l = 4*j - 8, 2*j = -v*l + j + 2. Solve -10 = -5*p - l for p.
2
Suppose -3*m = b - 1, -m - m - 2*b = 6. Suppose 3*l - 6 + 50 = 4*c, -4*l = 4*c - 16. Let k be (c/(-10))/((-6)/15). Solve -m = k*u + 2 for u.
-2
Suppose -5*g = -4*g. Suppose 12*q = 9*q. Solve q = -g*c - 3*c for c.
0
Let u be (3 + -2)/((-2)/(-6)). Let r(o) = o**2 - 4*o. Let j be r(4). Suppose j*p = 3*p - 6. Solve 5 = -p*y + u for y.
-1
Let x(d) = -d**3 + 3*d**2 + 3. Let w be x(3). Solve 0*v + w = 3*v for v.
1
Suppose 6 - 2 = -4*x, 2*j - 32 = 4*x. Let h be ((-15)/25)/((-1)/5). Solve -h*g + j - 5 = 0 for g.
3
Let w = 22 - 15. Solve w*r = 3*r - 16 for r.
-4
Suppose 0 = -7*u + 2*u. Suppose -t - o = 2*o - 27, u = o - 4. Solve p - t = -4*p for p.
3
Let r be -3*(0 + (-6)/(-9)). Let x = r - -6. Let n be 0 + 2 - (-1 - -1). Solve 14 = -x*m + n for m.
-3
Let q(u) = u**2 + 13*u + 3. Let s(g) = g**3 + 4*g + 3. Let h be s(-2). Let b be q(h). Solve 2*c = b*c for c.
0
Let q(k) = 0*k**3 + k**3 + 0*k**3 + 4*k + 10 + 4*k + 8*k**2. Let l be q(-7). Let f(j) = -j - 4. Let r be f(-6). Solve 0 = -r*a + l*a for a.
0
Let h = -90 + 94. Solve h*b + 3 = -13 for b.
-4
Let n(f) = -f + 2. Let u = -1 - -1. Suppose u*l + 6 = 3*l. Let z be n(l). Solve -5*c - 11 - 14 = z for c.
-5
Suppose 0 = -5*w - 4*q + 40, -2*w - w + 27 = 3*q. Solve w*k = -k - 15 for k.
-3
Let f(g) = g**3 + 4*g**2 - 11*g + 8. Let w be f(-6). Solve d + 1 = w*d for d.
1
Let x = -1 + 1. Let h = -3 + 5. Suppose -3*j + j = -4. Solve h + x = -j*b for b.
-1
Suppose 0 = 2*o - 5*k - 15, -4*k = -k + 3. Suppose -1 = o*g - 6. Solve -2*b - g = -3*b for b.
1
Suppose 5*q + 3*m - 2 = 0, 3*q - 3*m - 5 = 1. Solve d + 2 = -q for d.
-3
Suppose -2*b = 4*x, 5*x + 0*b - 4*b = 26. Suppose x*g = 2*l + 10, 5*l = 3*g - 0*l - 19. Suppose 0*a - p = -g*a + 5, 3*a = 3*p - 3. Solve -a*w - 7 = 5 for w.
-4
Let v(l) be the third derivative of -7*l**6/120 + l**5/60 + l**4/24 + l**3/6 - 2*l**2. Let a be v(-1). Let k = a - 4. Solve u = -k*u for u.
0
Suppose 0 = -q - 5*f + 7, 5*q - 5*f = -f + 6. Solve q*g = -g for g.
0
Let g = 192 - 190. Solve 3*q - g = 4 for q.
2
Suppose -2*p = -5*w + 2*p + 17, 5*p + 12 = -3*w. Suppose -r + w = -2. Solve 4*x + 7 = r for x.
-1
Let l be (-2)/9 + (-4)/(-18). Solve 10 + l = -2*k for k.
-5
Let a(b) = -b**3 - 2*b**2 + 5*b - 8. Let k be a(-4). Solve k*h = 3*h for h.
0
Let y = -10 + 6. Let f = y - -7. Solve 0 = -2*d - f*d - 20 for d.
-4
Let r = 6 - 3. Let u(a) = 2*a**2 - 2*a - 3. Let x(q) = -4*q**2 + 4*q + 7. Let f(c) = 13*u(c) + 6*x(c). Let v be f(2). Solve -r + v = h for h.
4
Suppose 33 - 18 = 5*m. Solve -m*j + 0*j = 6 for j.
-2
Let b = -8 + 9. Solve -b = 4*u + 3 for u.
-1
Suppose -2*h + 11 = 3. Suppose 0 = 2*k - h*k + 6. Let z be 0/(-1)*k/(-6). Solve -s + 3*s = z for s.
0
Let m = 9 - 6. Let k be (-2)/m - (-40)/6. Solve a - 1 = -k for a.
-5
Let b = 9 - 6. Suppose -b*r + 7 = 5*m - 2, -15 = -5*r - m. Solve r = -6*c + 3*c for c.
-1
Let m(s) = -5*s**2 - 2*s + 3. Let f(o) = -o**2 + o - 1. Let x(z) = 6*f(z) - m(z). Let g be x(7). Let p be g + 3 + 0 + 2. Solve p*a - 4 = 7*a for a.
-1
Let b = -17 + 11. Let u be (3 - (-33)/(-9))*b. Solve -5*s + u = -4*s for s.
4
Let u(n) = 14*n**2 + 14*n - 1. Let x(s) = -5*s**2 - 5*s. Let b(p) = 4*u(p) + 11*x(p). Let i be b(-4). Solve -3*f + i*f - 5 = 0 for f.
1
Suppose -u + 4 = -l + u, -2*u = -3*l. Suppose a + 16 = 3*k, 0*k - l*k + a = -11. Suppose m + 14 = -2*d + 4*d, -3*d - 5 = k*m. Solve 3 + 7 = d*o for o.
2
Let b be (-22)/6*3/(-1). Let k = 14 - 10. Suppose i - b = -2*g, 3 = -k*i + g + 2. Solve -t + i = 2 for t.
-1
Let f(z) = -2*z - 6. Let a be f(-4). Suppose -4 = -a*g - 18. Let c(v) = v**3 + 7*v**2 - v - 5. Let h be c(g). Solve 0*r + h = 2*r for r.
1
Let p be (104/(-12))/((-4)/18). Suppose -3*m + p = 3*u, -u + 5*m = m + 7. Solve 2*x = -x - u for x.
-3
Let o(c) = -5 - c + 3 + 3. Let a(t) = -6*t + 1. Let h(z) = -a(z) + 5*o(z). Let q be h(0). Solve 0 = -5*w + 1 + q for w.
1
Let w be (-3)/(1/((-2)/3)). Solve 14 = 4*a + w for a.
3
Let v be 0 - (-1 - (-2 - -4)). Solve -7 = -5*t + v for t.
2
Suppose 4 + 10 = -2*l. Let j = l - -11. Solve -2 - 18 = j*x for x.
-5
Suppose 0 = -13*n + 19*n. Solve -6 = 3*m - n for m.
-2
Let t(w) = -2*w**3 - 43*w**2 + 22*w + 2. Let l be t(-22). Solve -2 - l = 2*a for a.
-2
Suppose -3*s + 15 = 5*b, -7*b + 2*b = s - 15. Solve -4*t = -3*t - b for t.
3
Let j = -19 - -27. Suppose 2*s = -2*s + j. Solve s*q = -0*q - 4 for q.
-2
Let k = 210 - 196. Solve -8 = 10*a - k*a for a.
2
Let d be 2/(-4)*10/(-1). Suppose 5*g + 0*g = 4*n - 4, 3*n - 3 = -g. Suppose o - 7 = -2. Solve g*b = o*b - d for b.
1
Let n = -14 - -20. Solve 3*b + 0 = n for b.
2
Let c be -21*(16/6)/(-4). Suppose c = 5*z + 4*x, 0*z = 4*z - 5*x - 3. Solve 0*u = -u + z for u.
2
Let z(b) = -b**3 + 3*b**2 + 2*b - 3. Let k be z(3). Suppose 0 = k*o + c - 7, 2 = 3*o - 5*c + 1. Solve -9 = x + o*x for x.
-3
Suppose -3 = -5*m + 2, -m = 2*c - 11. Solve c*f + 32 - 7 = 0 for f.
-5
Suppose -5*t + 28 = 11*r - 10*r, 5*r - 35 = -4*t. Solve v + t = 6*v for v.
1
Let l = 1 + 2. Let m = 31 - 31. Solve l*p + m + 6 = 0 for p.
-2
Let p = -70 + 73. Let f(u) be the third derivative of -u**6/120 + u**5/12 - 5*u**4/24 + u**3/2 - u**2. Let d be f(p). Solve d*a - a = 25 for a.
5
Let j(a) = -7*a**3 - 2*a**2 - a. Let s be j(-1). Let d(v) = v**2 - 1. Let b be d(2). Suppose 12 = b*i - s. Solve 5*h - i = 9 for h.
3
Let y be 1*3 + 3 + -13. Let i = 11 + y. Suppose 4*t - i*o - 24 = -o, -o + 11 = 5*t. Solve -t = -2*s + s for s.
3
Let i = 2 - -2. Let v be 170/35 + (-4)/(-28). Solve -v*l = -i*l for l.
0
Let h(t) = -3*t**3 - 4*t**2 - 3*t + 1. Let f be h(-2). Solve 2*k + f = 5*k for k.
5
Let s(h) = h**3 - 4*h**2 + h. Let a be s(4). Solve 0 = t + a*t - 25 for t.
5
Let f = 3 + 2. Suppose 0*d + 25 = f*d. Suppose 5*a - a = -16, d*x = 2*a + 18. Solve 2*o + 6 = -x for o.
-4
Let c(s) = -s**2 + 6*s + 7. Let t be c(7). Solve t = -4*h + h - 9 for h.
-3
Let k(b) be the first derivative of b**2/2 - 3*b + 5. Let t be k(4). Solve -d + 6 - t = 0 for d.
5
Let l(c) = -4*c. Let j be l(-1). Suppose -j*b = b. Suppose 0 = -5*m + 2*m + 3. Solve b = -v - 0 - m for v.
-1
Let s(v) = -4*v. Let z be 0*(-1)/(-3) - -4. Let q(o) = 3*o - 1. Let c(h) = z*s(h) + 5*q(h). Let t be c(-7). Solve 0 = t*y - 3 + 5 for y.
-1
Suppose -19 = -5*x - 84. Let l = -1 - x. Let c be 4/(-14) + 30/7. Solve c*t - l = 4 for t.
4
Let l(q) = -q**2 - 14*q - 20. Let p be l(-12). Suppose 2*t + t = 0. Solve p = r - t*r for r.
4
Let m = -14 - -20. Let z = -2 - -3. Let u be (4 - z)*(-2)/(-6). Solve -u + m = v for v.
5
Suppose 0 = -z - z + 5*t + 31, 4*t + 14 = -2*z. Let a be (-2)/3*z + 4. Solve -w - 12 = a*w for w.
-4
Let k = -157 - -157. Solve k*o = 3*o - 15 for o.
5
Suppose -s + 3*l = -33, l - 58 = -2*s - l. Let z be (s/4)/(12/(-16)). Let p be 4/z + (-8)/(-20). Solve -h - 3*h - 4 = p for h.
-1
Suppose 0*j + 4*j - 16 = 0. Let o be 6 - (j + 3 + -4). Solve -3*a - 18 = -o for a.
-5
Let p be 1*(1 + 1 + -2). Solve 2*r + r + 15 = p for r.
-5
Let l be ((-5)/2)/((-1)/8). Suppose -4*q - l = -8*q. Let f = q - 1. Solve f*r - r = -12 for r.
-4
Let n = -46 - -49. Solve o + 2 = -n for o.
-5
Let p(z) be the second derivative of z**3/6 + 6*z**2 + 4*z. Let r be p(-11). Let i be 0*(r/(-2))/(-1). Solve i*s = s + 2 for s.
-2
Let n(r) = r - 5. Let f be n(9). Suppose -5*h + h - 24 = f*p, -4*p = -3*h + 24. Let q be 4/3*p/(-4). Solve q*v - 1 = 7 for v.
4
Suppose j - 3*j - 2*u + 2 = 0, 0 = -5*j + 3*u + 37. Let k = j - 2. Solve -k*z = z - 12 for z.
3
Let i = 3 - 9. Let y = -4 - i. Solve 3*r - 4 = y for r.
2
Suppose -s - 4*o + 1 = 11, -3*s - 10 = 2*o. Let h = 2 - s. Suppose 5*u - h*u = 0. Solve u*v = 5*v - 25 for v.
5
Suppose 3*u = -2*o + 9 - 0, u - 5 = -o. Let t = -6 + o. Solve 0 = -x - 1 - t for x.
-1
Let q(a) = a - 11. Let t be q(14). Let m(s) = 3*s + 1. Let w be m(-3). Let p = w - -17. Solve -t*k - p = -0*k for k.
-3
Let g(a) = -a + 7. Let t be g(3). Solve t*r - r = 0 for r.
0
Let c = 18 - 16. Solve 2 = -c*v 