 = 3*y. Let p be (-2 + 8/b)*6. Suppose t - 2*t - 3*n + p = 0, t = 4*n - 3. Solve 3 = -2*m + t for m.
-1
Suppose -20 = -0*r - 4*r. Let m(f) = 2*f - 2. Let l be m(6). Suppose -55 = -r*v - l. Solve 3 = -3*n + v for n.
2
Let n(k) = -8*k**2 + 18*k - 21. Let y(v) = -3*v**2 + 6*v - 7. Let i(l) = -4*n(l) + 11*y(l). Let p be 1*1/((-2)/14). Let u be i(p). Solve 5*h + 9 + 11 = u for h.
-4
Suppose -3 = -4*f + 13. Suppose -f*r = 2*q - 26, 2*r = r - 2*q + 2. Solve 5*x - 3 = -r for x.
-1
Let k = -26 - -29. Solve -k*g = 8 - 2 for g.
-2
Let s be 48/20 - 6/15. Solve -5*m = -s*m for m.
0
Let n be (-11)/44 + (-1)/(-4). Solve 5*v + n*v = -20 for v.
-4
Let x(h) = -h**2 + 4*h + 4. Let f be x(-3). Let i = -9 - f. Let a = 5 - -3. Solve -4*v + i = -a for v.
4
Suppose -3*i - 13 = -b, -4*b + 0*b + 10 = 2*i. Solve 7 = b*q - 5 for q.
3
Let t be (-14)/(-4) + 18/(-12). Suppose -t*p + 1 = -3. Solve -4 = -p*i - 0 for i.
2
Suppose -5*v - 27 = -4*z, -v = -z + 2*v + 5. Let p = z + -8. Solve 2*f - 8 + 0 = p for f.
4
Suppose -2*r = -7*r - 35. Let d = r + 10. Solve -2*v + d*v = 1 for v.
1
Let h be (6/(-9))/((-1)/30). Suppose 0*f + 2*f + 2*s = -2, -3*s - 5 = f. Let u(r) = 4*r + 1. Let i be u(f). Solve -i*j + h = -0*j for j.
4
Let b(t) = -t**3 + 3*t**2 + 3*t - 4. Let j be b(3). Let z = -296 + 300. Solve -3*c + j = -z for c.
3
Let w(u) = -u**3 - 4*u**2 - 5. Let r be w(-5). Suppose -2*c = -7*c + 10. Solve -c*k = 3*k + r for k.
-4
Let a be -4 + (7 - (4 + -1)). Solve a = i + 2*i for i.
0
Let j be (-4)/38 + 78/19. Suppose j*a - a = -5*b + 11, 2*a + 10 = b. Solve 3*f - b = 2 for f.
2
Let o(f) = -f - 5. Let c be o(-5). Let l(t) = t**3 + 3. Let j be l(c). Solve 2*z - j*z = -2 for z.
2
Let t(z) be the third derivative of z**6/120 - z**5/5 - z**4/24 + 17*z**3/6 - 4*z**2. Let p be t(12). Solve -5 = -p*r - 0 for r.
1
Let i = 13 - 8. Suppose -b = 2 - i. Solve -a - 12 = b*a for a.
-3
Suppose -x - c + 11 = -0*x, 2*x = -c + 18. Let t = 9 - x. Solve -t*r - 9 = r for r.
-3
Suppose -5*t + 2 = 2*i - t, 2*i + 2*t - 4 = 0. Let v = 3 + -3. Suppose 4*r - 5*w + 33 = 6*r, i*r - 3*w + 3 = v. Solve 3 = r*a - 17 for a.
5
Suppose -3*a = -4*l - 2, -6*l + 2*l = a + 10. Let g be (1/l)/((-3)/12). Suppose -5*w = -19 + 9. Solve -g*i - w = -3*i for i.
2
Let v(k) = -2*k**3 + k**2 + 3*k - 2. Let a = -5 - -7. Let b be v(a). Let o = 11 + b. Solve -o*x = -6 + 21 for x.
-5
Suppose 0 = -2*q - 8 - 2, 2*k + 3 = -3*q. Let v(u) = -u - 2. Let r be v(-5). Let g = 3 + 0. Solve -k*b + g = -r*b for b.
1
Let m(s) = -2*s - 9. Let j(c) = -c**2 + 3*c - 2. Let y be j(4). Let x be m(y). Suppose -z = -x*k + 2*z - 3, -4*k + 23 = 5*z. Solve -2*v = -8 + k for v.
3
Let v be 15/13 - 34/221. Solve d + 1 = -v for d.
-2
Let a be 6/(-4)*(-24)/9. Let w(v) = -v - 1. Let b(f) = 2*f. Let l(d) = b(d) + 4*w(d). Let p be l(-4). Solve -4*x + a + p = 0 for x.
2
Let y(x) = -x**2 + 13*x - 4. Let t(c) = -c**2 + 6*c - 2. Let d(s) = 5*t(s) - 2*y(s). Let q be d(2). Let a be -5 + 2 + 1 - q. Solve 22 = a*k + 6 for k.
4
Suppose 23*t = 21*t + 4. Solve t*i - 10 = 4*i for i.
-5
Let g be (-1 - (-9)/6)*12. Let u be 5 + (3 - (7 - 2)). Let j be (g/(-9))/(u/(-9)). Solve 2*l + j*l = 20 for l.
5
Suppose -y + r = -2*r + 10, 3*r = -4*y + 35. Let g be (1 - -1) + -6 - -7. Solve -g*s - 2*s + y = 0 for s.
1
Let c(j) = -j**2 + 6*j - 7. Let a be c(3). Solve -w - 3 = -a for w.
-1
Let v(c) = -c**2 - 10*c - 16. Let z be v(-7). Solve z = -r + 1 for r.
-4
Let t(r) be the second derivative of r**4/24 - r**3/6 - 3*r**2/2 + r. Let c(f) be the first derivative of t(f). Let l be c(4). Solve l*m = 2*m + 3 for m.
3
Suppose -y + 21 = 15. Solve y = -h - 2*h for h.
-2
Let t(m) = m. Let x be t(3). Solve -x*z = -z for z.
0
Suppose 5*b = -2*v - 8, -v - 5 + 1 = 0. Let j be 2 + -3 + (b - -1). Solve m + 5 = -j*m for m.
-5
Suppose c = 2*d - 4*d + 5, -3*d + 10 = 4*c. Solve d + 13 = 5*o for o.
3
Let x(j) = j**3 - 4*j**2 - 4*j - 1. Let i be x(5). Let z(m) = -m**2 + 5*m - 5. Let k be z(i). Let a be k/(-3)*(2 - -7). Solve -g - a*g = 0 for g.
0
Let c be 77/35 - 4/(-5). Let f be (c - 8)*-1 + -2. Solve f*y = 7*y + 12 for y.
-3
Let c(y) = 4 - 1 + 3*y - 1 + y**2 - 2*y**2. Let q be c(3). Solve -g + q = 5 for g.
-3
Suppose 58 = 5*j + 8. Solve -j = 2*n - 0 for n.
-5
Let s(u) = u**3 + 8*u**2 - 10*u - 7. Let p be s(-9). Solve 5 = p*h - 3*h for h.
-5
Let c(j) = -j**2 - 5*j + 4. Let m be c(-3). Solve 0*o - 2*o = m for o.
-5
Let p be (8/(-12))/(4/(-6)). Let m be p*4 - 5/5. Solve 0 = -v - m*v - 16 for v.
-4
Let a(h) = h**3 + 8*h**2 + 6*h - 7. Let t be a(-7). Suppose 2*d - 12 + t = 0. Solve 3*i - i = d for i.
3
Suppose 5*i + 3*w - 2*w + 1 = 0, 4*w = -4*i - 4. Solve i*k - 4 = -k for k.
4
Let q = -5 - -14. Let l = -5 + q. Solve -l*u + 4 = 16 for u.
-3
Let n(x) = -x**2 - 8*x - 7. Let m(g) = -4*g**2 - 23*g - 20. Let y(u) = -2*m(u) + 7*n(u). Let p be y(11). Solve -3 = -p*d - 5 for d.
-1
Let y = 3 - 3. Suppose y = h - 3*h. Solve h = i + 3*i - 16 for i.
4
Let r = 60 - 108. Let f be ((-6)/8)/((-4)/r). Let m be 6/f + (-8)/(-3). Solve -m*y - 2 = -3*y for y.
2
Let f(j) = j**2 + 7*j + 6. Let l be f(-7). Solve -l*s + 9*s = -3 for s.
-1
Let z = -53 + 55. Suppose 3*r = -b + 2*b - 12, 0 = -b - 2*r - 3. Solve b*y + z = y for y.
-1
Let y = -9 - -9. Solve 2*x = -2 - y for x.
-1
Let x = -9 - -11. Let m(t) = -x*t - t**2 + 2*t + 1 - t + 13*t. Let j be m(12). Solve -14 = 3*d + j for d.
-5
Let b(c) = -c**3 + 5*c**2 - 2*c + 4. Let q be b(5). Let g(v) = -v - 6. Let y be g(q). Solve y = -2*t + 7*t + 5 for t.
-1
Let u(z) = z - 4. Let n be u(4). Suppose 0*r - 3*r = n. Solve r*k + 5 = -k for k.
-5
Let h be 1/(-2)*0 - -3. Suppose -h*y = v, 12 = 3*y - 0*y. Let f be (v/14)/((-4)/56). Solve a = -3*a + f for a.
3
Suppose 3*l = -15, 0*t - 13 = -2*t + l. Solve 2 = -t*h - 2 for h.
-1
Let b be (-4)/14 + (-185)/(-35). Suppose 0*y - b = -y. Suppose 23 = y*c - 5*n + 3, -6 = 2*n. Solve -i = c + 4 for i.
-5
Suppose 0 = -2*v - 0*v - 3*o, -o - 2 = 0. Solve 4*p + 1 = -v for p.
-1
Let m be (-2)/3*(-9)/2. Suppose 4*n = m*d + 14, -2 = -2*n - n - 2*d. Suppose -n*y + 6 = -0. Solve -y*o - o = 8 for o.
-2
Let t be 1/1 - -5*1. Let h(m) = m + 20. Let z be h(-10). Let y = z - t. Solve 0*q - y*q = -16 for q.
4
Let r be (-1)/1*-1 - -1. Suppose -5*m - 2*o = -52, -m + r*o + 7 = -o. Let w be ((-24)/m)/(3/(-10)). Solve -5*z + 3 = w for z.
-1
Let j be ((-21)/(-14))/((3/(-1))/(-6)). Solve 2*c = -j + 5 for c.
1
Let r(o) be the first derivative of o**4/4 - 2*o**3 - o**2/2 - 4*o - 1. Let b be r(6). Let z be 3/(-15) - 2/b. Solve z*d = -d for d.
0
Let k(f) = -f**2 - f + 3. Let x be k(-3). Let u = x - -6. Suppose 4*c - t = -3*t + 10, u*c + 2*t - 10 = 0. Solve -2 + c = -2*z for z.
1
Let o = -7 + 25. Solve -o = 3*b - 3 for b.
-5
Let p(t) = -t**3 + 3*t**2 + 4*t + 4. Let n be p(4). Suppose -5*x = 5*u - 10, 3*x - 23 = -4*u + n*x. Solve -14 = -u*m - 4 for m.
2
Suppose a - m + 20 = -6*m, 2*a = -2*m. Let f = a - -1. Solve f = 5*w - 4 for w.
2
Let a(z) = 3*z**2 + z. Let i be a(1). Solve -i*q - 8 + 20 = 0 for q.
3
Let d(i) = -2*i**2 + i**2 + 1 + 2*i + i. Let c be d(2). Suppose 3*l + 0*l = 24. Solve -t = c*t + l for t.
-2
Let i = -47 - -47. Solve i = 4*m - 6*m + 8 for m.
4
Suppose r + 1 + 4 = 0. Let f(m) = -2*m - 7. Let b be f(r). Suppose -4*j = -5 - b. Solve j*w = w for w.
0
Let a = 229 - 222. Suppose -5*n = -50 - 25. Solve a*s = 4*s - n for s.
-5
Let f(o) = o**2 - o. Let c be f(3). Let n = -3 - -5. Suppose -n*k + 12 = -4. Solve c*l = 2*l - k for l.
-2
Let z = 0 - 1. Let q be (1 - 0)*(5 + z). Suppose y - 3*r = 5*y + 15, -5 = 5*y + r. Solve q*m + 0 - 4 = y for m.
1
Suppose 36 = -16*d + 22*d. Let n = -4 - -9. Suppose -3*l = -2*t + n*t - 6, t - 5*l = 2. Solve t = d*y - 5*y for y.
2
Let b = 3 - -2. Solve q + b = -0 for q.
-5
Let p(v) = -v**2 + 6*v + 9. Let o be p(7). Suppose -o*a = -0*a. Solve -n = -a - 2 for n.
2
Let i(g) = -g**3 - 10*g**2 + 9*g - 11. Let y be i(-11). Let j be 0 + 1 + 2 - -1. Suppose 14 = h + 3*t, 0*h + 2*h + j*t - 20 = 0. Solve 3 = h*b + y for b.
-4
Let b = 30 - 24. Solve -b = -2*p - 2 for p.
2
Suppose 4*l + 18 + 0 = 5*w, 2*w - 14 = 5*l. Suppose 0 = w*k - 7*k + 5. Let p be (-6)/18*-3*k. Solve -2*c = -9 - p for c.
5
Suppose 0*j - 6 = -3*j. Solve -j*g + 2 - 4 = 0 for g.
-1
Let q = 5 + -6. Let w = 1 - q. Suppose -3*c + 2*c + 4 = 0. Solve c*p = w*p + 6 for p.
3
Let a(c) = -c. Let g be a(2). L