Let d(g) = 10*a(g) + 6*m(g). Let q be d(-3). Let l be q/(-15)*5/(-2). Solve -p = -l - 0 for p.
2
Let r = -6 + 6. Suppose -3*d + 34 = 3*s - s, 3*s - 6 = r. Solve 7*b - 2*b + d = 0 for b.
-2
Let q(h) be the first derivative of -h**3/3 - 5*h**2 - 5. Let x be q(-10). Suppose 4*v - 11 - 7 = -2*b, -2*b = -3*v + 17. Solve x*f + v = -f for f.
-5
Let o(p) = p**3 - p**2. Let i be o(0). Let u = i + 12. Solve -4*j = -j + u for j.
-4
Let a(n) = n**2 + 5*n - 4. Let z be a(-6). Let i = 6 - 5. Solve z*u = 5 - i for u.
2
Let s be (-120)/(-160) - 58/(-8). Solve s*i = 7*i + 3 for i.
3
Let c be 3 + -2 - (-2 + 3). Let t be 5/(c - 3/9). Let a = -11 - t. Solve a = 4*v + 12 for v.
-2
Let r = -9 + 12. Solve 4*n - 1 = r for n.
1
Let v be (1/(-2) - -1) + (-3)/(-2). Solve v*w - 2 = -8 for w.
-3
Suppose -n + 2 = 0, -4*n + 2 = -4*t + t. Solve -t*m + 6*m = 0 for m.
0
Let y(m) be the third derivative of -m**4/24 + m**3/6 + 5*m**2. Let c(j) = -j + 1. Let q(n) = 7*c(n) - 5*y(n). Let l be q(-6). Solve -3*p = 5 - l for p.
3
Let q(x) = -x + 5. Let d be 0*1/(-1*2). Let b be q(d). Solve b*c - c = 12 for c.
3
Suppose -124 = -31*i - 62. Let m = -1 + 2. Solve i*j - m = 3 for j.
2
Let f(s) = -s**2 - s + 32. Let q be f(-6). Solve q*t + 1 = 5 for t.
2
Let s be (2 - 9/6)*10*1. Solve 2*d - 3*d = s for d.
-5
Suppose -j + 20 = j. Suppose 5*i = 3*i + j. Solve -2 = -3*u + i*u for u.
-1
Let x(l) = -l**3 + 2*l**2 + l - 2. Let r be x(2). Suppose 62 = 5*y - k, -3*y + r*y + 2*k = -40. Solve -y = w - 5*w for w.
3
Let j(m) = m**2 + 9*m + 22. Let b be j(-5). Let z = 4 + -3. Let x = z + b. Solve -d - x = -0*d for d.
-3
Let y = 34 + -30. Solve -6*c + 2*c = y for c.
-1
Let r be 8/5 - 2/(-5). Suppose 0 = -p + 2. Suppose 4*a = a. Solve 0 = p*u - a*u + r for u.
-1
Let d(g) be the first derivative of g**4/4 - 2*g**3/3 - g**2/2 + 2*g - 3. Let y be d(3). Solve 0 = -0*x - 2*x - y for x.
-4
Let g be (7 - 4) + (-6)/2. Solve g*f - 3*f = 3 for f.
-1
Suppose 4*d + u - 10 = 0, -7*d + 12 = -2*d + u. Let w be d + 1 - (-3 + 1). Solve -w*m - 23 = -8 for m.
-3
Let y(g) = -g**3 - 5*g**2 + g. Let k be y(-5). Let i = k - -5. Suppose 5*h - 36 = -7*b + 5*b, -2*b = 4*h - 30. Solve r - h*r + 20 = i for r.
4
Let l = -3 - -3. Solve l*b + 2 = b for b.
2
Suppose 2*t + 7 = 11. Solve -t*a - a + 6 = 0 for a.
2
Let g(u) = -u + 3. Let p be g(3). Solve 5*a - 1 - 4 = p for a.
1
Suppose -3*d - 4*b = -2 - 11, 2*d - 12 = -b. Let n(a) = a - 1. Let z be n(d). Let m = 10 - z. Solve 0 = m*v + 18 - 2 for v.
-4
Let i(k) = -k + 3. Let w be i(3). Let u be (1 - 2)/(2/(-6)). Let f be u/(-2*(-2)/20). Solve -p - 2*p - f = w for p.
-5
Let n = 0 + -1. Let x = -48 + 49. Let d = x - n. Solve 3*c + d = 14 for c.
4
Let z(g) = 0 + 2*g**2 - 1 + 0*g + 0 - g. Let b be z(-3). Solve b = 3*y + y for y.
5
Let x = 26 + -14. Solve 0 = -5*v + 2*v - x for v.
-4
Suppose 2*i = i, 4*i = 4*w - 16. Solve w*r = 2 + 18 for r.
5
Suppose -5*y - 7 + 22 = 0. Solve -y*z = z - 12 for z.
3
Let t(c) = -3*c - 2*c**2 + 7*c**2 + 3 - 5 - 2*c**2. Let x be t(-1). Solve -x*o + 5 = -3 for o.
2
Suppose y = -3*q - 8, -4*y - 2*q = q - 4. Suppose 2*j - 26 - y = 0. Solve 3*c + 0*c = j for c.
5
Suppose -v - 3 = 4. Let y be (-8)/(-28) + (-5)/v. Suppose -4 = -4*g - 4*i, -3*g + 3 = 4*i - y. Solve g = -f + 2*f + 5 for f.
-5
Let z(m) = -m**2 - 8*m + 3. Let i be z(-8). Suppose 12 = -4*t - 4*w, -t = i*w - 0*w + 13. Solve t + 1 = -h for h.
-3
Let q = -6 - -10. Solve -q = 2*v - 10 for v.
3
Let p(w) = -19*w**3 + w**2. Let k be p(1). Let v be 12/54 - 14/k. Let y = -2 + 6. Solve r + y = -v for r.
-5
Suppose -10 = -s + 5*o, 3*s + 4 = 7*s - 2*o. Solve -5 + s = -a for a.
5
Let o(z) = 3*z**3 - 16*z**2 - 17*z + 6. Let j(m) = 5*m**3 - 24*m**2 - 26*m + 9. Let i(k) = 5*j(k) - 8*o(k). Let h be i(-7). Solve -h = 4*s - 0 for s.
-1
Let z be (-1)/(0 + 3/(-6)). Solve v - z = -0 for v.
2
Let j(n) = -7*n**2 - 15*n + 5. Let o(g) = -4*g**2 - 7*g + 3. Let v(b) = -3*j(b) + 5*o(b). Let l be v(-10). Solve 2*z + l = 8 for z.
4
Suppose 4*f + 3*j - 14 = 2*f, -2*j = f - 8. Suppose -5*k + f*k = 0. Solve -4*h + 9*h = k for h.
0
Let j(n) = 5*n - n - 3*n + n**3 - n**2. Let r be j(0). Solve 3*l + 0*l = r for l.
0
Suppose z - 1 = 2*b - b, -1 = -3*b + 2*z. Let p(s) = -s**3 + 3*s**2. Let g be p(b). Solve 8 = 2*y - g*y for y.
4
Let r(d) be the second derivative of d**3/6 - 3*d**2/2 + d. Let b be r(8). Solve -b = 3*y - 17 for y.
4
Let p = -41 + 47. Solve 3*f = p*f - 6 for f.
2
Let q be (-515)/(-20) - (-2)/8. Suppose -4*n - 3*b = -19, 2*b + q = 5*n + 5*b. Suppose 80 = -2*j + n*j. Solve 2*c - j = 6*c for c.
-4
Let w(h) = h + 2. Let q be w(2). Solve -q*v = -0*v + 16 for v.
-4
Suppose -3*a = -4*b - 4 + 22, 3*b + 5*a + 1 = 0. Suppose 5*h = -f + h - 10, 2*f - b*h = 13. Let u be 1/(f - -1)*21. Solve 4*t + u = -5 for t.
-3
Let r = 59 + -34. Suppose 5*b - 31 = -6. Suppose -7*w + 2*w = -b*i - 40, -2 = i. Solve l = w*l + r for l.
-5
Let d(n) = n**3 + n. Let c(m) = m + 8. Let b be c(-6). Let s = b - 1. Let y be d(s). Solve o - 5 = -y for o.
3
Suppose 0*c = c - 5. Solve -2*d = -c - 5 for d.
5
Let l be (1 + (-4 - -11))/(4/2). Solve l*z - 9 = z for z.
3
Let a = -70 - -72. Solve -a = 4*h + 6 for h.
-2
Suppose 0 = 2*q + a - 27, 3*a - 1 + 60 = 4*q. Solve -q = -3*s - 5 for s.
3
Let s = 32 - 7. Suppose 3*o + s = -5*z, 4*z + 9 = -o - 11. Solve 5*x - x + 20 = o for x.
-5
Let q be 44/8*(0 - -2). Solve 2*b + q = 3 for b.
-4
Let o be ((-2)/3)/(2/(-180)). Suppose 0 = -2*m + 4*n, 5*m = n + o - 15. Solve m + 2 = -4*h for h.
-3
Suppose 5*p - 4*y - 17 = -2, 2*y = -5*p + 15. Suppose i + 2*k = 3, -4*k - 5 = -4*i + 67. Solve -4*j = i + p for j.
-4
Let u be (-141)/(-21) - (-18)/63. Solve -5 = u*a - 2*a for a.
-1
Let o(n) = -18*n - 2. Let l(u) = 9*u + 1. Let q(r) = 5*l(r) + 2*o(r). Let g be q(1). Solve d = -d - g for d.
-5
Let x(a) = -a**3 - 3*a**2 + 2*a - 3. Let d be x(-4). Suppose -27 = -3*l + 3*y, -7*y + 2*y = -4*l + 40. Solve l*q - d = -0 for q.
1
Let v be 3/(-2) + 18/12. Solve v = -4*p - 12 for p.
-3
Let c(p) = -4*p**3 - 5*p**2 + 4*p - 4. Let y(g) = g**3 + g**2 - g + 1. Let l(r) = -2*c(r) - 9*y(r). Let w be l(-2). Solve -1 = -5*f + w for f.
2
Let p = -4 + 6. Solve p*a = 7*a for a.
0
Suppose -3*j + 9 + 6 = 0. Let h be ((-8)/(-3))/(-8)*-9. Solve -4*c = -h*c + j for c.
-5
Let v be (-64)/12*-3*1. Let o(c) = -c**3 - 4*c**2 + 3*c - 8. Let q be o(-5). Solve -q*m = -6*m - v for m.
-4
Let h be (-20)/15*(4 + -1). Let w be 2*1*(-6)/h. Suppose 5 - w = v - 2*g, 2*v = -5*g + 40. Solve d = -d + v for d.
5
Suppose -3*c - p + 8 = 0, 4*p - 2 = c - 3*c. Solve 0 = c*j - 7*j for j.
0
Suppose -i = -2*q + 4*i - 25, -5*q + i - 5 = 0. Let n = q - 0. Suppose -2*o + 3*o + 1 = -4*k, n = 3*k - 5*o - 28. Solve 2*w + k + 9 = 0 for w.
-5
Suppose -30 = -4*z - w, -4*w + 22 - 6 = 3*z. Let q be (-2)/z - 162/(-8). Let o = -89 + 91. Solve -q = 3*s + o*s for s.
-4
Let o(c) be the second derivative of c**4/12 + 7*c**3/6 + 2*c. Let n be o(-8). Suppose -p = 4*k - 17, 5*k = 3*p - n*p + 40. Solve 11 = -k*m - 1 for m.
-4
Let u be (0 - 1)/((-3)/9). Suppose 5*n + 17 = 3*h, h + u*n + n = 0. Suppose -x = -g + 3*x + 18, -x = -3*g + 32. Solve -g = -h*j - 30 for j.
-5
Let c = 6 - 2. Solve -l - 1 = -c for l.
3
Suppose -8*o + 9*o - 10 = 0. Solve -5*s = o - 0 for s.
-2
Let m be 9/(-12)*(-5 + 1). Suppose 2*v + m*v = 10. Solve v*i = -0*i for i.
0
Let a = -10 + 16. Let u = 38 + -116. Let x be (-6)/10 - u/30. Solve 4*h + x = a for h.
1
Let t be ((-3)/(-9))/(5/30). Solve 2 = m - t*m for m.
-2
Suppose -3*t + 4 = -11. Suppose 0*y - t = -y. Suppose -y*z + 0*z + 20 = 0. Solve z*l = 6*l for l.
0
Let i(z) be the third derivative of z**6/40 + z**3/3 + 3*z**2. Let w be i(2). Suppose 2*b - 3*f = -0*b + w, 10 = 2*b + 5*f. Solve 4*a = -a + b for a.
2
Suppose f + 12 = 4*f. Suppose 0 = 2*b - f. Solve 3*x - b*x = -3 for x.
-3
Suppose -3*s = -2*o - o - 9, 0 = 3*o. Solve 4*k = s*k for k.
0
Let r be 1*-11 + (-1 - 3). Let k = 19 + r. Solve k*y - 2 = 10 for y.
3
Let y = 25 + -10. Solve 0*d = 3*d - y for d.
5
Suppose 6 = y + 2. Solve -2 = y*g - 6 for g.
1
Let a be (-34)/(-6) - 6/9. Let s = 8 - a. Suppose 2*u - 1 - 5 = 0. Solve -u*w = -2*w - s for w.
3
Let r = 17 - 29. Let t = -8 - r. Solve 0 = -5*c - 14 + t for c.
-2
Suppose -13 = 3*k - 64. Suppose 4*z - v = k, 23 = 4*z - 0*z + v. Solve -p = -z*p - 4 for p.
-1
Suppose -x + 5*p + 5 = -8, 3*x - p - 11 