4*j + 6*j + d = y. Let g be (j + 2)*(0 - -2). Solve -20 = -2*n - g*n for n.
5
Suppose 0 = 5*f - f - 12. Solve -f*q = -8*q - 10 for q.
-2
Let a = -19 + 22. Solve -a*r - 7 - 2 = 0 for r.
-3
Suppose -13*t - t = -56. Solve -6*g = -t*g + 10 for g.
-5
Let h(n) = -n**2 - 10*n - 21. Let t be h(-6). Solve -2*r - t*r - 10 = 0 for r.
-2
Suppose -10*i + 4*i + 24 = 0. Solve i*c - 1 = 11 for c.
3
Suppose -5*b + 6 = -3*p - 15, -b = -3*p + 3. Solve 0 = 3*f - b*f + 6 for f.
2
Let n(a) be the third derivative of -a**5/60 - 5*a**4/12 + a**3/2 - 2*a**2. Let p be n(-10). Solve -9 = -0*z + p*z for z.
-3
Suppose 0 = -7*m + 33 + 9. Solve 6*f - m = 3*f for f.
2
Let h = -50 - -83. Suppose 6 = -3*g + h. Solve 5*b - g = 11 for b.
4
Let t(q) = q**3 + q**2 - 4*q - 4. Let w be t(-2). Solve w = s + 6 - 1 for s.
-5
Let h(p) = -p**2 - 2*p + 6. Let l be h(-5). Let x be l/(-6)*4/6. Solve 3*u = -x + 7 for u.
2
Let a(z) = -z**3 + z**2 + 2*z + 6. Let t be a(-2). Solve -3*y - 1 = t for y.
-5
Let r be (-2)/10 - (-305)/25. Suppose -3*p + r = -0*p. Solve -p*a = -6 + 18 for a.
-3
Suppose -2*d + 7 = -c, -3*c + 15 = 2*c. Suppose -d*p + 2*g = -8, -4*g + 7 = 2*p - g. Solve p*l - 3*l = -1 for l.
1
Let k(i) = i**3 + i**2 - i - 1. Let p be k(-1). Suppose 2*d + 2*d = 12. Suppose d*z = -p*z. Solve 2*v - 3 + 13 = z for v.
-5
Let s = 40 - 19. Suppose 2*m = -2*m - o + s, 18 = 4*m - 2*o. Solve -m*j = -j + 12 for j.
-3
Let q(f) = f**3 + 5*f**2 - 2*f - 6. Let a be q(-5). Let y be (-66)/(-15) + (-4)/10. Let o be 2/y + 1/(-2). Solve -8 = -a*x - o*x for x.
2
Let l = 0 + 1. Let v = 30 + -13. Let x = v + -14. Solve -l = -x*w + 2*w for w.
1
Let z = 3 - 0. Let c(u) = -7*u**2 - 3*u**z + 2*u**3 - 3 - 8*u + 0*u**2 - 3. Let x be c(-6). Solve -x*j = -3*j for j.
0
Let d = -42 + 43. Solve q = -0*q + d for q.
1
Let z be 1 + 1 - (6 - 1). Let n = -3 - z. Suppose 5*x - 10 = -n*x. Solve 1 = x*d - 9 for d.
5
Suppose -10*k + 0*k + 30 = 0. Solve k*j - 12 = -j for j.
3
Suppose 3*k + a - 4 = 2*a, 0 = a - 5. Suppose -k*d + 2*d = -12. Suppose 3*v + 18 + 8 = 5*o, -2*v = -2*o + d. Solve -o = -4*w - 8 for w.
-1
Let j = -4 + -15. Let t = -28 - -15. Let w = t - j. Solve 2*h = 5*h - w for h.
2
Let c(x) = x**3 - 4*x**2 + 2*x + 3. Let z be c(3). Solve 2*a + 1 - 3 = z for a.
1
Suppose -2*c - 25 = 3*c. Let w = -1 - c. Solve k = -w*k - 5 for k.
-1
Let b(v) = -v**2 - 3*v + 6. Let u be b(-4). Solve 2*h - 12 = -u*h for h.
3
Suppose -v + 13 = 5*f, 0 = -v + 3. Solve -f*o - 6 = -8 for o.
1
Suppose 0 = 13*h - 2*h - 176. Solve -3*x - x = h for x.
-4
Let q = 0 - -7. Suppose 5*b - 13 = 3*i, b + 0*b + q = 3*i. Solve -i*v = -2 - 10 for v.
3
Let i(c) = c**2 - 1. Suppose 0 = 4*o + y - 15, 2*o + 1 = 5*y - 8. Let d be i(o). Solve v + 3*v - d = 0 for v.
2
Suppose 0*r = 3*o - r - 25, 5*o - 65 = -3*r. Let m = -42 + 48. Solve i = m*i + o for i.
-2
Suppose 22*l = 20*l + 10. Solve -l*i + 7 + 8 = 0 for i.
3
Let u be (0 + -1 - -1)*1. Let n = u + 4. Solve -n*b = b for b.
0
Suppose -2*r = 3*p - 5, 2*p + 3 = 4*r + p. Solve m + r = -0*m for m.
-1
Suppose 2*r + 2*r - 24 = 0. Solve -r*h = -2*h + 4 for h.
-1
Let z be 9/18 - 5/(-2). Suppose -12*k = -11*k - z. Solve 0 = -k*v + 2 + 13 for v.
5
Suppose 4*k + 4*n = 20, 3*k + k = 3*n + 13. Solve -4*m + 4 = -k for m.
2
Suppose -5*r = -0*r. Let q(y) = y**2 + y - 5. Let s be q(0). Let p = -3 - s. Solve -n - p = -r*n for n.
-2
Suppose -2*i = -b - 74, 0 = b + 2*b. Let l = i + -21. Solve h = 5*h + l for h.
-4
Let q(l) = -l**3 + 3*l**2 + 4*l. Let h be q(4). Let v be 15 - 2/(-6)*0. Suppose 5*n = -c + 3, 5*c - v = -2*n - n. Solve c = t - h*t for t.
3
Suppose n - 8 = -2*n + 4*a, -3*a + 15 = 3*n. Let s = 6 + -14. Let l be -13 - -11 - s/1. Solve u = n*u + l for u.
-2
Suppose 0 = 2*a + 1 - 13. Suppose -p = r - a, 2*p + r - 4*r = 2. Let w(b) = -b**3 - 4*b**2 - 5*b - 4. Let q be w(-3). Solve p*m - q*m = 0 for m.
0
Let l(a) = -a**2 + 3. Let q be l(0). Solve -8 = q*y + y for y.
-2
Let c(r) = -r**3 - 5*r**2 - 4*r + 3. Let w be c(-4). Let i(h) = -1 - w*h + h + 3*h. Let j be i(3). Solve -3 - 5 = j*f for f.
-4
Let m(s) = 2*s - 12 + s + 2. Let r be m(5). Solve -3 + 13 = -r*i for i.
-2
Suppose 3*v - 61 = 62. Suppose v = 5*q - 149. Suppose 5*n = -2*m + 30, 4*n - q = -4*m + 5*n. Solve -5*i + 0*i = -m for i.
2
Let w = 1 - -7. Let f be 9/12 - 30/w. Let r = f + 13. Solve 3*j - r = -2*j for j.
2
Suppose 2*q = -5*p + 9 + 14, 2*p = 3*q - 6. Suppose p*x + 15 = 8*x. Solve -x - 7 = 2*f for f.
-5
Suppose -54 = -3*n - 3*a, 2*n - 3*a + 37 = 4*n. Suppose -11 = -4*m + n. Solve 0 = 4*r - 1 - m for r.
2
Suppose 4*d = 1 + 7. Suppose d*m + 44 = 6*m. Suppose 0 = -3*n - 2*n - 20, -5*z + 2*n = -13. Solve z = -3*p - m for p.
-4
Let y(r) = -r**3 - 18*r**2 - r - 12. Let t be y(-18). Solve 0 = k - 4*k - t for k.
-2
Let f = 6 - 4. Let v be (1 - 4) + (f - -2). Solve 4*p = 3*p - v for p.
-1
Let g be 30/(-5)*6/(-9). Solve 4*o = 5*o + g for o.
-4
Let z be -2 - -3 - 0/(-2). Let j be 0 - z - (-16)/4. Let q be (-1 - 1)/(2/(-17)). Solve -q = -4*v + j for v.
5
Suppose 0 = 3*l - 2*l - 1. Suppose 4*h = -4*r, 0 = 6*r - 2*r - h. Solve c + r - l = 0 for c.
1
Let s(h) = h. Suppose 3*i = -4*b + 7, b + 0*i - 3 = -2*i. Suppose d + 0 = b. Let j be s(d). Solve 0 = -2*p + 7 + j for p.
4
Let a = -133 - -139. Solve -2*w = -a*w for w.
0
Suppose 4 = -2*i - 4. Let f = 8 - i. Solve 6*g - 3*g - f = 0 for g.
4
Let x(b) = -8*b - 23. Let m be x(-4). Solve 0 = -2*k + 3 - m for k.
-3
Suppose -4 - 2 = -w. Solve -w*o + 15 = -o for o.
3
Suppose 5*m - 3 = 2. Let h be (-3 + 4)/(m/(-17)). Let w = h - -26. Solve 5*k - 16 = w*k for k.
-4
Let h be (-125)/(-45) + (-2)/(-9). Solve 2*b = h*b for b.
0
Let w(n) = 3*n + 1. Let f be w(1). Suppose 3 = f*m - 4*t - 13, 3*t = 4*m - 16. Let y(i) = i**3 - i**2 + 1. Let c be y(2). Solve m*l = 11 + c for l.
4
Let n(y) be the second derivative of -y**5/20 - 5*y**4/12 - y**3/6 + y**2 + y. Let z be n(-5). Solve -z*i = -2*i - 20 for i.
4
Suppose 35 = i - 0*i. Suppose 3*q + 2*n = 15, 5*q - 4*n - 25 = -0. Let j be (2/1)/(2/15). Solve -i + j = -q*z for z.
4
Let j be (-2)/(-7) + 2 + 61/7. Solve 0 = 10*h - j*h for h.
0
Suppose 3*g - 3 = 3. Let n be 5/2 + g/(-4). Suppose -18*f + 13 + 23 = 0. Solve -n*m = f*m for m.
0
Let x be 2/(-7) - (-214)/14. Suppose 3 = -4*g + x. Suppose 0 = -3*s - 4*u + 25, -5*s - 1 = g*u - 7*u. Solve a - s*a = 0 for a.
0
Let v = -12 - -20. Suppose 3*t - v = 1. Let f(w) = w**2 - w - 1. Let u be f(4). Solve -u + t = 4*q for q.
-2
Let k(n) = 2*n**2 + 5*n + 3. Let y(h) = 3*h**2 + 10*h + 7. Let v(t) = 5*k(t) - 3*y(t). Let u be v(6). Solve -3*a + 0 + 6 = u for a.
2
Let u(c) = -c**2 - 8*c + 10. Let j be u(-9). Let o be 10 - (5 + -2 + j). Solve o = 5*g - 9 for g.
3
Let h(b) = b + 9. Let j be h(-9). Solve 3*x - 3 + 9 = j for x.
-2
Suppose -471 = 4*q - 511. Let y be (-4)/5*(-3 - 2). Solve -a - y*a = q for a.
-2
Let z = 26 + -24. Solve -3*k + z = -k for k.
1
Let y(f) = 11*f**2 - 2*f - 2*f - f - 4*f**2 - 4 - f**3. Let s be y(6). Suppose -s*x + 7*x = -5*a + 30, 0 = 2*x - 3*a - 7. Solve 5*l - x - 15 = 0 for l.
4
Let y(t) = 5 + 2*t + t**2 - 8*t - 4. Let l be y(6). Solve l = -c + 4 for c.
3
Let o(v) = v - 1. Let c be o(2). Suppose -2*j - 8 = 0, 6*m - 3*j - 12 = m. Let n = m + 3. Solve n = -d - c for d.
-4
Let d be (-2)/6 - 20/(-6). Suppose 2*w = w + d. Suppose w*c + 7 = 22. Solve c*v - 4*v = 0 for v.
0
Let g(n) = 3*n - 5. Let k(w) = -2*w + 5. Let t(a) = -4*g(a) - 5*k(a). Let h = -11 - -7. Let q be t(h). Solve u = q*u for u.
0
Let m(l) = l**2 - l + 4. Let h be m(-3). Suppose 0*r + h = 3*p - 2*r, -22 = -3*p - 4*r. Solve p = 5*t - 4 for t.
2
Suppose g + 5 = 0, 0 = 2*j + 6*g - 3*g + 9. Solve -j*k + 15 = 2*k for k.
3
Let i(l) = 3*l + 12. Let o be i(-4). Solve o*h = -h for h.
0
Suppose -5*o + o = 0. Let t = 14 + -11. Solve o = t*s - s + 10 for s.
-5
Let h be (-3)/18*3*-12. Solve 3*k - h = 3 for k.
3
Let p = -3 + 2. Let z be (0 + 0)/p + 4. Solve z + 0 = 2*m for m.
2
Suppose p + 0*p = -22. Let v = p + 23. Solve -v = 3*q - 4 for q.
1
Let n = -42 - -29. Let c = n + 14. Solve 3*p - c - 14 = 0 for p.
5
Suppose -2*l + 4*l + 4 = 3*b, -8 = -2*b + 4*l. Solve -4*v - v + 10 = b for v.
2
Suppose 8*i - 11 = 13. Solve -i*z + 9 = -0 for z.
3
Suppose -2 = 4*j + 3*q + 4, 4 = -4*j - 2*q. Suppose j = u + 2*u - 15. Let n = 4 + -2. Solve -n*b + u*b = -12 for b.
-4
Suppose 4*n - 8 = 2*q, 6*n - q - 6 = 3*n.