 12, 2*n + 4*i - 32 = 0. Suppose 2*x - n = -0*x. Suppose x*p + 13 = 29. Solve 0 = -m - p*m - 15 for m.
-3
Suppose 5*x = -4*h + 45, 0 = -3*x - 2*h + 6*h + 27. Suppose 5*w = -4*v + 30, -2*w = -2*v - 3 + x. Solve -1 - w = s for s.
-3
Let u(q) = 2*q - 6. Let p be u(5). Suppose -4 + 12 = p*m. Solve 4 + 2 = -m*b for b.
-3
Suppose -5*h + z = -13, -4*h + 20 = -0*h - 4*z. Let d(l) = 2*l + h + 1 - 5. Let o be d(4). Solve -2 = -2*r + o for r.
4
Let x(s) = -s**2 - s. Let d be x(-1). Suppose -f + d*f = -2. Suppose f*u = 9 - 3. Solve -2*y = 5 - u for y.
-1
Suppose -8 = 12*h - 13*h. Solve h = -3*u + u for u.
-4
Let y = -47 - -51. Solve 3*q - 4*q = y for q.
-4
Let v(a) = -4*a - 13. Let t be v(-4). Solve 0 + t = -b for b.
-3
Suppose -5*u = 4*j - 26 - 19, -4*u - 2*j + 30 = 0. Let y = 53 + -29. Solve -u*x + 1 + y = 0 for x.
5
Let b(a) = -6*a + 5. Let c be b(0). Solve -c*y - 8 = 7 for y.
-3
Suppose -2*f - 18 = -3*b + 2*f, 0 = 5*b - 2*f - 16. Suppose b*r + 4*o = -o + 3, 9 = r - 5*o. Solve m - 20 = -r*m for m.
4
Let s(w) = w**3 - w**2 + 3*w - 5. Let j be s(2). Solve x = j*x - 12 for x.
3
Suppose -2*o + l = 0, 0*o + 2*o = -5*l. Suppose 0*b + 3*b - 3 = o. Solve -5 = -3*v + b for v.
2
Let g(i) = 6*i - 4. Let k be g(1). Solve 0 = k*d + 2 - 0 for d.
-1
Suppose -16 - 34 = -5*v. Solve 2*l + v = 2 for l.
-4
Let k(p) = -p**3 - 8*p**2 + 10*p + 11. Let d be k(-9). Let w(f) = f + 8. Suppose 6 = -3*q - 6. Let a be w(q). Solve d - a = -y for y.
2
Suppose 3*u - 21 = -4*d - 9, -12 = 4*d - 3*u. Solve 2*s + 0 + 2 = d for s.
-1
Let n(y) = 4*y - 5. Let b be n(2). Let f(k) = k + 5. Let p be f(-3). Solve g + p = b*g for g.
1
Let q be (1 - 3)*6/(-4). Let o = 2 + -2. Suppose o*b - q*b = -3. Solve -2*m - b = -5 for m.
2
Let z = 5 - 3. Solve z + 7 = -3*v for v.
-3
Let b be (-1 + 3)/(4 - 3). Suppose -a + b = -3. Suppose 0*h + 3*d + 15 = 2*h, -a*d = -5*h + 30. Solve 2*o = -h + 1 for o.
-1
Let p be (-110)/(-33) + (-1)/3. Let d(u) = -u**3 - 5*u**2 - 5*u - 4. Suppose 0*i + i = -4. Let y be d(i). Solve -2*h + p*h = y for h.
0
Let n(a) = -3*a**2 + 2*a + 3. Let u be n(-3). Let p be (u/(-24))/(2/8). Suppose 0*x - 3*x + 3*v + 12 = 0, -10 = -p*v. Solve 0 = -3*l + x for l.
2
Let g = -4 - -8. Solve -u = 3*u - g for u.
1
Let v(o) = -o + 1. Let k be v(3). Let w = 5 + k. Solve 2 = -n + w*n for n.
1
Suppose -d = -4*l + 12, 3*l + l = 2*d + 12. Solve d = 4*i + 10 + 10 for i.
-5
Suppose 4*b + 11 = -5*m - 4, -3*m = 9. Let q be ((-5)/(-3))/((-3)/(-18)). Solve 4*i + i - q = b for i.
2
Suppose 4*r + 2 - 6 = 0. Let d(t) = r + 4*t**2 - t**2 - 2*t**2 + 5*t. Let a be d(-6). Solve a = 5*m - 3 for m.
2
Let z be (-10)/(-2)*(-4)/10. Suppose 4*p + 33 = -0*u + 3*u, 0 = -u + 3*p + 16. Let c = u - z. Solve 2*n + c = -n for n.
-3
Suppose -4*l = -9*l + 40. Let u(f) = 2*f**3 - 7*f**2 + 5. Let r(s) = -s**3 + 4*s**2 - 2. Let w(j) = 5*r(j) + 3*u(j). Let p be w(0). Solve -p*v = -7 - l for v.
3
Suppose 5*t - 140 = -5*m, t = 2*m - 7 - 40. Let u = m + -20. Solve -7*v + 2*v - u = 0 for v.
-1
Let z(y) = 4*y - 5. Let p be z(2). Solve -v - p = 2 for v.
-5
Let c(x) = 2*x - 36. Let n be c(20). Solve -2*w + 6 = -n*w for w.
-3
Suppose 12 - 3 = o + 3*u, 0 = 3*o - 2*u - 5. Solve -7 = o*h - 1 for h.
-2
Let o(l) = l + 1. Let f(w) = 2*w**3 - 4*w**2 + 2*w - 4. Let q be f(3). Suppose -7*j = -2*j - q. Let a be o(j). Solve -5 = a*g - 4*g for g.
-5
Suppose 25*u = 27*u. Solve -3 = -d - u*d for d.
3
Let c = -6 + 9. Solve b = -0*b + c for b.
3
Let a be (-3 + 0)*8/3. Let r = a + 8. Solve r = -4*i + 5*i + 2 for i.
-2
Let p = 4 - 0. Suppose -50 = -2*o - 5*g, 25 = 6*o - 3*o - 5*g. Suppose -3*y + c = -4*y + 3, -5*y + 4*c = -o. Solve -d - y*d = -p for d.
1
Let r(m) = m**3 - 4*m**2 + 4*m + 1. Let l be r(3). Solve 11 = l*g - 5 for g.
4
Let m = -76 + 81. Solve -4*f = m + 11 for f.
-4
Suppose -4*q = 3*z - 6, 4*q - 4*z - 19 = 1. Let f(n) = 3*n - 2. Let l be f(2). Suppose -l*c + 40 = c. Solve q*d - c*d = 25 for d.
-5
Let n(i) = 2*i**2 - 6*i - 5. Let j be n(5). Suppose 4*q - 6 = q. Suppose -j = -q*s - 3. Solve s*x = 3*x + 15 for x.
5
Let q = 22 + -7. Suppose q = -0*m + 5*m. Solve -x = m*x - 16 for x.
4
Let t be 3*(-1)/3 + 22/2. Let o = 1 - -1. Suppose 5*y = d - o*d - 5, y + 22 = 4*d. Solve -t = d*l - 0*l for l.
-2
Suppose -4 = d - 17. Suppose -3*h + 35 = -d. Solve -2*j - 2*j - h = 0 for j.
-4
Suppose -x + 12 = -2*x - 5*g, -3*x = -4*g - 59. Let u be (-3)/((-1)/2 + -1). Let f be 3 + (2/1 - u). Solve -f = 5*o - x for o.
2
Let k = -1 - -6. Suppose 0 = 3*r - k - 1. Let l = r - -2. Solve 3 + 1 = -l*n for n.
-1
Let h = -4 + 4. Solve -4*f = -h*f - 8 for f.
2
Suppose 30 = 4*n + n. Let l(k) = 2*k + 12. Let r be l(-5). Let h = n - r. Solve -4 = -4*v + h for v.
2
Let l = 113 - 113. Solve 4*x + x + 20 = l for x.
-4
Let q be 5 + (4 - (-3 + 9)). Suppose q*o = -4*o. Solve -3*g + o = -12 for g.
4
Suppose 3*m - p + 3 = 2*p, -m + 5*p = 17. Suppose -m*o = 2*s - 31, 3*o = -s - o + 28. Solve b = -b - s for b.
-4
Let p = -13 - -17. Solve 20 = p*o + 4 for o.
4
Suppose -2*o - 3*o - 25 = 0. Let i = -2 - o. Solve 2*t - 4 = i*t for t.
-4
Suppose 4*d + 4 = 4*o, 0 = -0*d + d + 3*o - 19. Let i be (-4)/10 - d/(-10). Suppose -2*g + i = -4. Solve 3 = -g*n - 3 for n.
-3
Suppose -5*b + 106 = -54. Let f = 9 - 4. Suppose -b = -4*d - 3*i, -f*d + 39 = -3*i - 1. Solve o - d = -o for o.
4
Suppose 4*i - 12 = -o - 0*o, -2*o + 2*i + 4 = 0. Suppose 5 = o*a + 5*l, 3*a - 6*a + 3 = 3*l. Solve 4*d - 19 + 7 = a for d.
3
Suppose -4*z + 9*z - 10 = 0. Solve -z = -o + 1 for o.
3
Suppose -s + 4 = -5. Let r = s - 7. Solve r*p - 9 = -p for p.
3
Let m be 1/4 - 1/4. Let l(t) = -t**2 + 6*t - 2. Let p be l(5). Suppose -p*h + 7 = -8. Solve -h + m = 5*q for q.
-1
Let x(y) = -y**2 - 12*y - 1. Let w be x(-12). Let p(j) = 3*j**2 - 2*j - 1. Let u be p(w). Solve 5*t = 6 + u for t.
2
Let d(c) be the second derivative of 2*c + 2/3*c**3 + 1/20*c**5 + 2*c**2 + 0 - 5/12*c**4. Let x be d(4). Solve x*z = -z + 10 for z.
2
Let v be 3/(-9)*-26*3. Suppose 6*y + 2 = v. Suppose -7 = -5*u + 13. Solve u*h + y = 2*h for h.
-2
Suppose 5*b + 2*r - 26 = 0, 11 = b + 4*r - 5. Solve -b - 2 = -3*i for i.
2
Let l be (20 + -1)/((-3)/(-3)). Suppose 8*t - 3*t = 3*r + l, -4*t = -r - 18. Solve r*n - 3 = 3 for n.
3
Let i(q) = -q**2 - 5*q + 2. Let v be i(-5). Suppose -133 + 51 = 4*x - 2*o, 5*x + 3*o + 97 = 0. Let w = x - -36. Solve w = -v*m + 6*m for m.
4
Let m be (-25)/(-15)*1*3. Suppose 3*o + 4 = m*o. Solve 13 - 3 = o*w for w.
5
Let j(b) = -4*b**3 + 5*b**3 + 6 + 11*b**2 - 232*b + 242*b. Let f be j(-10). Let n = -11 - -16. Solve -n = -a - f for a.
-1
Suppose i = 4*i - 15. Suppose i*d + 4*g - 3*g = 11, 3*d - 1 = 5*g. Solve 0 = 3*q - 4*q + d for q.
2
Let v(j) = j**3 + 4*j**2 - 7*j + 2. Let g be v(-5). Let r be (14/8)/(3/g). Solve -2*a + r = 1 for a.
3
Let g(p) = p**3 - 4*p**2 - 4*p + 1. Let h be g(5). Suppose -d + b + 2 + h = 0, -5*d + b + 48 = 0. Solve -d = 5*s - 0*s for s.
-2
Let d be 6/(-2) - (-70)/7. Let n = 2 + d. Solve n = 5*b - 2*b for b.
3
Let q be 3/3 + (-2)/2. Suppose q = 5*o + 4*a - 8, -2*a - 9 = a. Solve 3*k = 1 - o for k.
-1
Suppose -12 = -f - 6. Solve -25 = -c + f*c for c.
-5
Let q be 6 + 0*2/4. Let o = -3 + 6. Solve -q = -o*f - 0 for f.
2
Let d(z) = 2*z**2 - 2*z - 2. Let k be d(2). Suppose -3*v - 5*c + 9 = 0, -c - 2*c = 0. Solve v + k = 5*h for h.
1
Let j = -6 - -10. Let n = -15 - -7. Let b be 20/16 - 6/n. Solve -j*o = -b*o + 2 for o.
-1
Suppose -39 = r + 2*r. Let z be 16 - 1*4/(-2). Let j = z + r. Solve 3*i - j - 7 = 0 for i.
4
Suppose 3*m - 1 = 5. Solve -m*a = a for a.
0
Let s(w) = 2*w**3 - 4*w**2 + 2*w + 2. Let c be s(2). Let p be (2/c)/((-2)/(-12)). Suppose -8 = -i + p*b, -7 = 5*b + 13. Solve -3 = -i*v + v for v.
-3
Let f(x) = 5*x**3 + 1. Let b be f(-1). Let q = b + 7. Suppose 3*d - 5*h + 16 = 0, 14 - 41 = -4*d - q*h. Solve d*n = n for n.
0
Let d(g) = -g**2 - 5*g + 4. Let i be d(-4). Suppose -z - z = -i. Solve -z*n + 3*n = 2 for n.
-2
Let b(j) = j - 8. Let z be b(20). Solve 0 = -z*a + 10*a for a.
0
Suppose -6*d + 7*d = -3. Let v = 7 + d. Let n be (-16)/v*6/(-8). Solve n = -5*x + 8 for x.
1
Let a(h) be the third derivative of h**4/8 - 2*h**3 - 2*h**2. Let q be a(5). Let g = 3 + 0. Solve 0*u - q*u = -g for u.
1
Let i(b) = 3*b + 33. Let m be i(-10). Solve -7*h + m*h + 8 = 0 for h.
2
Let k be (-78)/(-21) + (-4)/(-14). Suppose 0 = -2*c - 3*r + 13, k