 7*b + 44 = 3*b - 4*l. Let k be -2 + 0 - b - 4. Solve -k*r - i = r for r.
-5
Let v(x) be the third derivative of x**5/60 - 5*x**4/24 + x**3 + x**2. Let g be 2 + -1 + 1 + 2. Let b be v(g). Solve 3*w - b*w = -4 for w.
-4
Let v be (-6)/5*(-25)/10. Let s be 2 - (2 + (-3)/3). Solve -y - s = v for y.
-4
Let l = -1 + 2. Let t(v) = -v**3 - 7*v**2 - 5*v + 8. Let c be t(-6). Solve -1 = -c*b + l for b.
1
Suppose 4 = -8*z + 10*z. Suppose -2*g - z*g = 0. Solve g = p - 3*p for p.
0
Let j be (-12)/(-16)*64/(-36)*-3. Solve 3*t = -t - j for t.
-1
Suppose -3*q + 2*u = -3, u + 3 - 6 = 0. Let d = 3 - q. Let x(m) = -m**3 - 6*m**2 + 3. Let o be x(-6). Solve 3*w - o = -d for w.
1
Let g(b) = b**2 + 2*b - 5. Suppose 0 - 4 = -u. Suppose 15 = -u*j - 1. Let a be g(j). Solve 2*l + a = -l for l.
-1
Let c = -106 + 33. Let o = c - -108. Suppose -o = -s + 5*q, -21 + 71 = 3*s - 4*q. Solve d - s = -d for d.
5
Let u(n) = 2*n - 3 - 3*n - n**2 - 3*n + 2*n**2. Let z be u(-2). Solve 0 = -z*g + 4*g + 25 for g.
5
Suppose 2*b = -3 + 7. Let u be (b/(-4))/((-2)/12). Let k be ((-6)/5)/(6/(-20)). Solve k = -u*j + 7 for j.
1
Suppose -11 + 2 = -3*c. Let k(t) = -t**3 + 10*t**2 - 7*t - 3. Let n be k(9). Let j be 20/n + 2/c. Solve j*z + 5 = 3*z for z.
5
Let c(d) = -3*d**2 + 32*d + 13. Let u be c(11). Solve -u*q - 11 + 1 = 0 for q.
-5
Let v be ((-4)/7)/((-9)/63). Suppose -3*j = 4*x - 17, 0*j = -j - v*x + 3. Solve -q = -2 + j for q.
-5
Suppose 0 = -3*w + 2*z + 3*z + 44, -5*z = -2*w + 31. Suppose 0 = -a + 5*u + w, 2*u = 5*a - 2*u - 23. Let y be 1/(-3*a/(-45)). Solve 0*f = y*f - 15 for f.
3
Suppose 0 = 33*n - 29*n. Solve i + 4*i - 15 = n for i.
3
Let o = 3 + -1. Let m = 24 + -11. Solve -m = o*h - 3 for h.
-5
Suppose -2*r + 1 = -3. Solve r*z = 5*z for z.
0
Let v be (0 - 8)*(-6 + 15)/(-18). Solve 0 = -v*j - 6 + 18 for j.
3
Let m = 0 - 0. Let h(j) = j - 11. Let n be h(12). Solve m*t - n = t for t.
-1
Suppose -4*p = -a - 0*p + 24, a - 24 = -3*p. Suppose v + a = -5*c, 2*c - 7*c = 5*v + 40. Let t be v/(-18) - 102/(-27). Solve -n - t = -3 for n.
-1
Let x(h) be the second derivative of 0 - 1/6*h**3 + 2*h**2 + 2*h. Let t be x(-3). Solve -3*l = -t + 1 for l.
2
Let p(f) = f**2 - 3*f + 5. Let t be p(4). Suppose -3*b = -0*b - t. Let g = 9 - b. Solve -4 = w - g for w.
2
Let j be 3/(2*-1 + 3). Suppose 0*f = 4*f + m - 19, -m + 25 = 5*f. Suppose -5 = f*i - 7*i. Solve -4*h - j = i for h.
-2
Suppose 11*u + 16 = 15*u. Solve -u = -7*k + 5*k for k.
2
Suppose 7*j = -4*t + 2*j + 1, 0 = 3*t + 3*j. Let n = t + 3. Suppose -n*d + 15 = d. Solve 3*a = 4*a + d for a.
-5
Let c be 11/4 - 4/(-16). Let h be 8/(-12)*-10*c. Solve -3*y = y - h for y.
5
Let o = -27 + 31. Let f = 7 + -4. Suppose -4*z + 4*v + 12 = 0, -f*z + z + o*v + 10 = 0. Solve z + 2 = t for t.
3
Suppose 2*u + 3*x + 0*x = 4, 4*u = x - 6. Let d be u + 7 + (-3 - -2). Solve d = w - 0*w for w.
5
Let n = -8 + 14. Suppose 2*g = 5*g - n. Solve g*w + w + 9 = 0 for w.
-3
Suppose -2*i - 2*h - 3*h - 6 = 0, 5*i = -h + 31. Let l = 9 - i. Solve -l = -5*u - 12 for u.
-2
Let z = 35 - 33. Solve -z*k - 3*k = 15 for k.
-3
Suppose 12*b + 1 = 25. Solve -16 = -b*h - 6 for h.
5
Let a be (-2)/3 + 2/3. Suppose -3*i + a*i = 0. Solve i*h + 3 = -3*h for h.
-1
Suppose 10*d = 11*d. Solve 5*o - 10 = -d*o for o.
2
Let m(t) = 2*t**2 + 10*t + 8. Let h be m(-6). Solve u = -4*u + h for u.
4
Let b be (-3)/12 + 99/12. Solve 0 = u - 3*u - b for u.
-4
Suppose -4*d - 32 = 20. Let h = 4 + d. Let r = h - -15. Solve -1 + r = -5*g for g.
-1
Suppose 6*z - z = 25. Solve -z*l + 4 = 14 for l.
-2
Suppose -2*q + 3*u - 1 = 0, -4*u - 7 = -5*q + 1. Suppose -q - 2 = -2*z. Suppose 0 = 3*d - 5*d + 40. Solve -z*v - d = v for v.
-5
Let i = -2 - 6. Let q = 0 - i. Let z be 3/(-6) - (-11)/2. Solve -q = z*k - 3 for k.
-1
Let k be 1 + 57/(0 - -3). Suppose j - 3*g = -4*j + 28, -26 = -5*j + g. Solve -j*h - k = -0 for h.
-4
Let d be ((-18)/12)/(3/(-16)). Solve -d = 2*o - 12 for o.
2
Let v(x) = -x**3 + 8*x**2 - 11*x - 4. Let h be v(6). Solve 0*c - h*c = 0 for c.
0
Let s(p) = -3*p + 18. Let x be s(5). Solve x*o + 0*o = -15 for o.
-5
Let d = 8 + -6. Solve -4*h + 4 = -d*h for h.
2
Let g = -4 + 4. Let s = g - -2. Let k be -1 - (-2 + -2 - -3). Solve q + s + 2 = k for q.
-4
Let c(w) be the third derivative of -w**6/120 + w**5/60 + w**4/8 - w**3/3 + 3*w**2. Let h be c(2). Solve 0 = -s - h*s - 4 for s.
-4
Let a(b) = -b**3 + 6*b**2 - 5*b + 2. Let u be a(5). Suppose 4*m - 4*v = 68, 0*m - 2*m = 4*v - 4. Suppose -8 = -2*o - 2*g + 4, m = 3*g. Solve u*h + o = h for h.
-2
Let k be ((-6)/18)/((-2)/12). Suppose -5*q = -k*q - 12. Suppose 5 = 5*f - q*f. Solve 0 = -2*h + 3*h - f for h.
5
Suppose -2*x - 5 = -7. Solve 11 = 5*c + x for c.
2
Suppose 0 = -4*h - 0 + 8, -q + 2*h + 16 = 0. Solve -q = -3*b - 5 for b.
5
Let y(u) be the second derivative of -u**5/20 + 3*u**4/4 - 4*u**3/3 + 9*u**2/2 + 4*u. Let o be y(8). Solve -4*f + o = -7 for f.
4
Let i be (3/2)/((-6)/(-16)). Let h(a) = -a**2 + 3*a + 2. Let u be h(3). Suppose 4*w = u*w + 40. Solve 0*j + w = i*j for j.
5
Let x be (-8)/(-3) - 6/(-18). Suppose -x*f = 4*z - 29, 10 = 3*z + 5*f - 20. Solve z = 4*o + 1 for o.
1
Let k = 1 + 2. Solve -5 = 2*a + k*a for a.
-1
Let f(p) = 0 + 0 - 1 + p**2. Let a be -2*((-4)/(-1))/8. Let d be f(a). Solve d = -3*q + 9 - 3 for q.
2
Let h be (-2)/(-12)*-2*(-3)/1. Solve 0*l - l = h for l.
-1
Let x(m) = -2*m**3 - 2*m - 1. Let f be x(-1). Suppose -2*w + 5 = f*w. Let l be 3*w/(-3)*-2. Solve -l*r = r + 6 for r.
-2
Let r(i) = -i**2 + 4*i + 3. Let y be (0 - 2 - -3)/1. Let s = y + 3. Let j be r(s). Solve -5 = -2*b + j for b.
4
Let i = -4 + 4. Solve i = 4*t - 23 + 7 for t.
4
Let r(a) = -a**3 - 4 - 4*a + 11 + a**2 + 3*a. Let j be r(0). Solve 4*f + j = 15 for f.
2
Let k = 15 + -7. Suppose -2*n + k = -n. Solve j = 5*j + n for j.
-2
Suppose 3 = 2*s - 3. Suppose 0 = -w - 5*y + 27, 4*w - y = -2*y + 13. Suppose 9 = -n + s*u, w*n + n - 13 = -u. Solve 2 = n*p + 11 for p.
-3
Suppose -5*m - 3*x - 20 = 0, -5*x - 3 = -4*m - 19. Suppose -6*o = -o - 10, -3*i = 3*o + 57. Let g be m/14 - 69/i. Solve -g = w - 4*w for w.
1
Suppose 2*u = 9 + 7. Let b = -16 - -18. Solve u = 5*l - b for l.
2
Let l(q) = -2*q. Let p be l(-4). Suppose -s + p = k, -9 = -3*s - k + 3*k. Solve -s = d - 0*d for d.
-5
Suppose 5*r + 10 = -4*u - 0*r, -2*u = 5*r. Let g = 5 + u. Suppose -2*h = 5*b - 4, -h + 0 - 11 = -4*b. Solve b*k - 2 = -g*k for k.
1
Let g(z) = z**3 + 12*z**2 + 10*z - 5. Let h be g(-11). Let n be ((-4)/(-6))/(4/186). Let x be 5/(-1)*(-2)/2. Solve n = x*t + h for t.
5
Let b be (-1)/(-4) - (-297)/44. Suppose -6*m + 3*f = -2*m - 5, 5*m = 3*f + b. Let v(a) = a**3 - 4*a**2 + 3*a + 4. Let d be v(3). Solve 2*c + d = -m for c.
-3
Let h = -12 - -21. Solve 0 = -5*i - 11 - h for i.
-4
Suppose 0 = -60*u + 59*u + 5. Solve -2 = 6*d - u*d for d.
-2
Let y(j) = 4*j + 1. Let m be y(6). Let c = m - 13. Suppose 3*i - c = -i. Solve -i*n = -0*n for n.
0
Let j(k) = k + 6. Let w(p) = -5 - 2*p - 1 + 0. Let i(v) = 3*j(v) + 2*w(v). Let r be i(5). Solve -2*n - r = -3*n for n.
1
Let s be 8/28 + 5/7. Solve -10 + s = 3*w for w.
-3
Let d(h) = 3*h**2 - 7*h + 2. Let u(r) = r**2 - r - 1. Let a(f) = -d(f) + 2*u(f). Let z be a(3). Suppose 0 = -z*t + 4*t. Solve 5*m = -t + 20 for m.
4
Suppose 0 = -3*p + 9, -2*u - 3*p + 0*p + 17 = 0. Suppose 44 = u*w + 4. Let h be (-1)/3 - (-10)/3. Solve d = h*d + w for d.
-5
Let y(t) = -t**2 + 6*t. Let h be y(3). Let w be (-6)/h - (-8)/3. Suppose 3*d - 48 = -d. Solve -d + 4 = -w*l for l.
4
Let m be 4 - 50/35 - 6/(-14). Solve 2*g + m = -1 for g.
-2
Let o = 41 - 36. Solve 0 = 2*x - o*x - 15 for x.
-5
Suppose -14 = -5*t + 1. Solve 0*d - t*d = 0 for d.
0
Suppose 0 = g + g. Solve 2*i = -g - 2 for i.
-1
Suppose 3*w - 9 = 4*j + 5, 0 = 5*w - 4*j - 18. Solve 2*q - 8 = -w*q for q.
2
Let a be (-16)/(-10)*(-10)/(-4). Let t = a - -1. Suppose -o + 3*c + 15 = 0, -t*c - 8 = 17. Solve -5 = -o*m + m for m.
-5
Let u(a) = a**3 + 13*a**2 - 2*a - 24. Let m be u(-13). Solve -3*c + 5 = m*c for c.
1
Let l be 2/4*((1 - 0) + 1). Solve -q + 2 = l for q.
1
Let a be (-80)/(-32) + (-2)/(-4). Solve -a*k = k + 16 for k.
-4
Suppose 0*d - 5*t = -4*d + 53, -5*d + 45 = -2*t. Solve d = 4*k + 3 for k.
1
Suppose 5*n = 5*o - 0*n + 65, 4*o + 2*n + 82 = 0. Let p be ((-3)/2)/(o/24). Solve q = -p*q for q.
0
Suppose -z = -3*x + 17, -3*z = -3*x - x + 31. Let s(y) = -y*