 -k*q for q.
-5
Let v(h) be the second derivative of -h**4/12 + h**3/2 + 4*h**2 - 14*h. Let f be v(4). Solve -20 = f*x + x for x.
-4
Let v(n) be the third derivative of n**5/60 + 5*n**4/24 - n**3 + 8*n**2. Let r be v(1). Solve 0 = -r*l - l + 2 for l.
2
Let m(n) = -n**2 - 5*n. Let k be m(-5). Solve 7*s - 2*s = k for s.
0
Suppose -5*u + u + 34 = -2*d, -3*u + 18 = -4*d. Solve -2 = u*m - 11*m for m.
2
Suppose -11*d + 23 = -21. Suppose -d*n = -0*v - 3*v - 3, 3*n - 5*v = 5. Solve 5*h + 15 = -n for h.
-3
Let k(r) = -r**3 + 4*r**2 - r. Let g be k(3). Let f be (20 + 0)*g/15. Let l(m) = m**3 + 4*m**2 + m - 3. Let b be l(1). Solve b = z + f for z.
-5
Let r(m) = 4*m - 26. Let q be r(9). Solve -12 = -7*d + q*d for d.
-4
Let i(n) = n**3 + 5*n**2 - 114*n - 27. Let m be i(-13). Solve 3*t - m = -115 for t.
-4
Suppose -43*g + 52*g = 18. Solve g*k = -11 + 5 for k.
-3
Suppose -2*b + 3 = -b. Let i(p) = 0*p**3 + p + 1 - 20*p**b + 0*p**3. Let o be i(-1). Solve -8*d = -3*d + o for d.
-4
Let i(w) = -5*w - 4*w**2 - 7*w**2 - 2*w + 10*w**2 - 5. Let t be i(-5). Suppose -t*d + 7*d - 10 = 0. Solve 2*f - d - 5 = 0 for f.
5
Let k(o) = 2*o**2 + 25*o + 85. Let l be k(-7). Solve l = 3*i + 2 for i.
2
Let t = 36 - 39. Let z be -1*(-3 - t)/5. Solve -4*v - 5 + 25 = z for v.
5
Let x = -815 + 815. Solve 14*o - 21*o + 28 = x for o.
4
Let b be 37/4 + (-2)/8. Suppose 0 = -2*q + 4*g + 50, -5*g = 2*q - b - 5. Let m = 8 - 5. Solve -q - m = 5*d for d.
-4
Suppose n - 12 = -6*c + 2*c, -2*n = -4*c. Solve 7*z - c*z + 15 = 0 for z.
-3
Let m = 631 - 629. Solve 3*w - m = -5 for w.
-1
Let u be (-2 - (-12)/8)*-4. Suppose 4*p - 2 = -4*k + u, 3*k = p + 11. Let r = k + 4. Solve -3 = -2*o + r for o.
5
Let h be (-12)/66*(-1 - 10). Let u(f) = f**2 - 3*f + 2. Let g be u(3). Let j(o) = -o**2 + 3*o - 1. Let c be j(g). Solve -c - h = 3*a for a.
-1
Let q be -2 - -25 - (-12)/(-3). Let l(y) = -y - 1. Let c be l(-9). Suppose c*f = 13 + q. Solve -u = u - f for u.
2
Let l be (2/3)/(1*10/(-15)). Let s be 11 - (0 + 5) - (-3)/l. Solve 7*a + 8 = s*a for a.
-2
Suppose -28 = -2*i - 2*i. Let t be 2/8 - ((-33)/12 + 3). Suppose 3*x + 5*y - 12 = t, 4*y - i = -3*x + 5. Solve -3*g = -x - 8 for g.
4
Let x(b) = 6*b - 69. Let w be x(12). Solve 4*a - 1 = w*a for a.
1
Let j(b) = b**2 + 5*b - 4. Let s be j(-6). Let l be 28/s - (-1 + 3). Solve -4 + l = -2*x for x.
-4
Let s be 0 + 6/(-3) + 0. Suppose 6*f - 18 = -0. Let i = f - s. Solve -d + 6*d = -i for d.
-1
Let m = -789 + 861. Solve -19*l = 5*l + m for l.
-3
Let u be 2 + -2 + 0/3. Let o(l) = -l**3 + 12*l**2 - 8*l - 10. Let d be o(11). Let w = d + -12. Solve u = 5*r + w + 14 for r.
-5
Suppose 2*s - t = 2*t + 11, -t - 2 = s. Suppose 3*k = -3*z + 27, -4*z + 5*k = z - 5. Solve -z*y + s = 21 for y.
-4
Suppose -3*j = -5*q - 116, j - 2 - 22 = -2*q. Let x = j - 27. Solve x*a = a for a.
0
Suppose 0*b - b = -3*n + 12, 4 = n + b. Suppose 0*z + z + 3*q - 35 = 0, z - 53 = 3*q. Let y be (z/(-10) + (-24)/(-60))*-1. Solve n = -y*o - 4 for o.
-2
Let c(x) be the second derivative of x**3/2 + 19*x**2 - 8*x. Let g be c(-12). Let h = -1 + 2. Solve -g*a = -h + 5 for a.
-2
Let k(q) = 271*q - 2438. Let w be k(9). Let h be -4*-3*(-1)/(-4). Solve -w = -2*r + h for r.
2
Suppose -5*y = 7*y. Suppose -4*h - h + 25 = y. Solve 2*w + h = w for w.
-5
Let i = -1630 + 1682. Solve -48 = -2*t - i for t.
-2
Let w(m) = -3*m**3 - 37*m**2 - 13*m - 8. Let a be w(-12). Solve 0 = -f + a for f.
4
Let i be (-6)/93 + (-653)/(-31). Solve -i*v + 16*v - 5 = 0 for v.
-1
Let p(m) = 0*m**3 - 40 + 11*m**2 + m**3 - 25*m + 56. Let d be p(-13). Solve d*z - 8 = z for z.
4
Suppose 6*u - 10*u = -160. Suppose -4*s - 12 + 35 = -t, 0 = 5*s - 5*t - u. Solve r + 4*r = s for r.
1
Suppose -3*f + f - 5 = -b, -2*b = -f - 10. Solve f*v = 5*v for v.
0
Suppose 0 = f - 1 - 0, -4*f = 2*a - 16. Let t(z) = z**3 - 7*z**2 + 7*z - 4. Let h be t(a). Solve 2*p + h = 4*p for p.
1
Let q be ((-8)/(-6))/(14/21). Let r be (-1 - q - -1) + 4. Suppose 0 = n - 2*n + 2. Solve n*x + 0 = -r for x.
-1
Let f be 1/(177/(-60) + 3). Suppose -4*w - w + f = 5*h, -6 = -3*h. Solve -5*i = -w*i - 15 for i.
5
Let f = 143 - 109. Let i(m) = 25*m - 1. Let k be i(2). Let j be (-21)/k - f/(-14). Solve 1 - 3 = j*b for b.
-1
Let k be (4 - (-4 - -15))/(2/16). Let o = k + 58. Suppose 3*x = 2*x + 1. Solve x - o = -z for z.
1
Let z(i) = -7*i - 56*i**2 - 37 + 18*i**2 + 20*i**2 + 19*i**2. Let r be z(11). Let t be (0 - 1)*0*1. Solve t = 4*u + r + 9 for u.
-4
Suppose 0 = -3*n + 6 - 0. Suppose -n*x + x = 4. Let d be (0 + x/(-20))*15. Solve -d*b + 20 = b for b.
5
Let f(r) = -2*r + 38. Let o be f(17). Suppose o*u = -0*u + 16. Suppose -u*h = 3*d - 24, -2*d = 4*h + 3*d - 32. Solve -h = -5*l + 2 for l.
1
Suppose 3*b = -3*i + 30, 7*i - 3*b - 30 = 6*i. Solve -2*r - 7 = -i for r.
4
Let l be -5 + (-18)/(-3) + 3. Suppose -4*u + 0*y = -l*y - 20, 2*y = -u - 4. Solve -5*k = -u*k for k.
0
Let k be -1 - 3/(-15)*-5. Let w be (-3 + 2 + 1)/k. Solve -5*v + 28 - 3 = w for v.
5
Let u = -74 + 81. Solve -d = u*d for d.
0
Let s = -11 - -22. Let y = 14 - s. Let m(f) = -f**3 - 6*f**2 - f - 2. Let t be m(-6). Solve -t = y*h - 4*h for h.
4
Suppose -2 = -2*g - 6. Let r be 0 + 2 - (-6)/(-2). Let t = r - g. Solve c - t = -0 for c.
1
Suppose 9*v = 119 - 83. Solve 0 = -f + v*f for f.
0
Suppose -71*m + 108 = -65*m. Solve -4*i = m - 2 for i.
-4
Suppose 3*t - 9 = 0, -4*h - 5*t + 18 + 189 = 0. Let y = h - 22. Let j = -24 + y. Solve -j*d + 3 + 7 = 0 for d.
5
Suppose 11 - 1 = -3*y - 5*p, -10 = -2*y + 5*p. Suppose y = -6*t + 15 - 3. Solve -t*f + 4 = 10 for f.
-3
Suppose -3*q - 2*n = q + 12, -5*q = -5*n + 15. Let r = 1 - -5. Let m be (-4)/(-3)*q + r. Solve -2*u = m*u for u.
0
Let f(z) = 6*z - 9. Let i(x) = -7*x + 10. Let b(u) = -6*f(u) - 5*i(u). Let c be b(6). Let s = c - -5. Solve -s*d + d = -6 for d.
3
Suppose -3*u - 2*z + 4*z = 16, 3*z = 2*u + 9. Let q(d) = -d**3 - 6*d**2 + d + 8. Let b be q(u). Solve 0 = b*a + a + 15 for a.
-5
Let n(p) = p**2 - 1. Let r(w) = -w**2 - 31*w - 20. Let f(u) = -3*n(u) + r(u). Let d be f(-7). Solve l = d - 3 for l.
1
Let s(o) = -6*o**3 + 3*o**2 - 6*o - 2. Let k(q) = 5*q**3 - 3*q**2 + 5*q + 1. Let i(m) = -5*k(m) - 4*s(m). Let w be i(3). Solve d + w = -3 for d.
-3
Let r(n) = 9*n + 245. Let v be r(-23). Solve -3*b - 35 = -v for b.
1
Let f(m) = -4*m - 6. Let l be f(-2). Let t be (-8)/(l + -3 + -1). Solve -t*v + 6*v = 6 for v.
3
Let n = -6 + 32. Let c = -17 + n. Solve 5*a + c + 6 = 0 for a.
-3
Let b(s) = s**3 + 3*s**2 - 3*s - 1. Suppose -5 - 7 = 4*m. Let a be b(m). Solve r - a = -r for r.
4
Let q be ((-60)/5)/(-4) + -2. Let h be 10 + -13 - q*-6. Solve 4*u = u + h for u.
1
Let f be 1316/24 + 1/6. Let a be (0/(-2))/((-11)/(f/(-20))). Solve a = -0*y - y + 3 for y.
3
Suppose 129*c = 127*c + 18. Solve 0 = -10*y + 13*y + c for y.
-3
Let y(u) = u + 6. Let x be y(-3). Suppose v - o - 2 = -8, -o + 8 = -2*v. Let l = x - v. Solve 4*q - l*q = 0 for q.
0
Let s(z) = -10*z**3 - 2*z**2 - 2*z - 1. Let n be (-2)/(-7 + 3 - -6). Let j be s(n). Solve -l - j + 4 = 0 for l.
-5
Let o = 64 + -62. Suppose -o*d = 26 - 40. Solve d = 2*v + 1 for v.
3
Let j(r) = 28*r. Let d be j(-1). Let m = -319 + 347. Let w = m + d. Solve w*b - 3*b = 0 for b.
0
Let d be 4/14 - 103/(-7). Suppose 4*s - 9 = -5*y - 3, 0 = 5*y - 10. Let c be (-3)/(3 + 9/(-2)) - s. Solve 0 = c*g + 2*g + d for g.
-3
Let y be (-1050)/(-168) - (-14)/8. Solve y*w - 38 = 2 for w.
5
Let l be (0 - (0 - 0) - 4)/(-1). Suppose -u + 3*m = 0, -l*u - m = m - 14. Solve 2*r = u*r + 3 for r.
-3
Let o(r) = -r**3 - 4*r**2 + 5*r + 5. Let i be o(-5). Suppose -i*u + 2*s = -25, -3*s - 3 = -2*u + 6*u. Solve 2*d - 2 = u*d for d.
-2
Suppose 5*g = -3*p - 605, 3*g - 8*p = -3*p - 397. Let f = 139 + g. Solve f = u + 4*u for u.
3
Let h = 29 + -24. Suppose u - 6 = -4*n, h*u - n + 3 - 12 = 0. Solve x - 2 - u = 0 for x.
4
Suppose -5*z + 5*l = 5, -23 = -2*z - 8*l + 5*l. Solve 0 = -7*i + z*i - 3 for i.
-1
Let j(v) = v - 7. Let y be j(-3). Let p = 16 + y. Solve c + 5 = p*c for c.
1
Suppose 4*b = 9*b - 20. Solve -3*r = -b*r + 1 for r.
1
Let n be (5 + 20/(-8))/(2/20). Solve 5 + n = 6*l for l.
5
Let y be (656/41)/(2/8). Solve 1 = 65*f - y*f for f.
1
Suppose 31*q - 17*q = 25*q. Solve 7*i - 14*i - 21 = q for i.
-3
Suppose 0 = 2*d - 4*c - c + 11, -5*c = 2*d - 19. Suppose k + 2 = -2*b - 45, 64 = -4*b + 4*k. Let p = b - -2