 Let m be c(8). Suppose -m*q + 2*q = -4*l - 2, 0 = -3*q + 2*l + 4. Suppose 5 = q*k - 1. Solve -v + k*v = 0 for v.
0
Let w(z) = -z**3 + 18*z**2 - 35*z + 54. Let v be w(16). Let d = 5 + -3. Solve 2*b - v = d for b.
4
Suppose 3*q - 18 = -6*q. Solve q*l - 9 = -l for l.
3
Let d(q) = 4*q - 18. Let n be d(5). Solve 2 = n*m + 4 for m.
-1
Let m(u) = -u**2 + 8*u - 1. Let k be m(4). Solve 6*q + k = q for q.
-3
Let n(l) = -l**2 - 5*l + 2. Let w be n(-5). Suppose 3*z = -4*f + 31 + 15, f - 6 = w*z. Solve f = 5*a - 5 for a.
3
Suppose -2*z + 4*z = -s - 4, 5*s = -4*z - 2. Suppose 5*c = 8 + 2. Suppose c*o - 3*x = s*x + 15, -5*o + 20 = 5*x. Solve 0*i = -o*i - 20 for i.
-4
Let b(t) = -3*t + 1. Let d be b(-1). Let p be (-124)/6*6/d. Let r = p + 52. Solve -5*u = r - 1 for u.
-4
Let l = 172 - 158. Solve 10 = 16*d - l*d for d.
5
Let n(b) = 2*b - 8. Let f(x) = -x**3 + 6*x**2 + 8*x - 1. Let p be f(7). Let s be n(p). Solve -s*q + 5 = q for q.
1
Let b(d) = -2*d**2 - 5*d - 3. Let r be b(-3). Let v be (-27)/6*8/r. Solve a = v*a - 25 for a.
5
Suppose 3*m + 28 - 49 = 0. Solve 15 = 4*o - m*o for o.
-5
Suppose 0 = p - 2*p. Solve 0 = r + 3 - p for r.
-3
Let f(b) = b**2 + 7*b + 5. Let t be f(-4). Let w = t - -7. Solve -10 + w = -2*g for g.
5
Let z(s) = s**2 - 7*s + 8. Let l be z(6). Suppose -d + l - 1 = 0, 2*u = 3*d + 1. Solve 0 = 5*m + 18 + u for m.
-4
Let r be ((-3)/(-4))/(13/312). Solve 0 = -5*d + r - 3 for d.
3
Let a be 4*4*(-4)/(-16). Solve y - a*y - 9 = 0 for y.
-3
Let m = -3 + 6. Suppose -2 = 5*h - m*h, -2 = -2*k - 4*h. Suppose -5 = -k*x + 2*x - 4*r, 5 = 2*x + 3*r. Solve -3*c - 2 = x for c.
-1
Let a = 13 + -12. Solve z - 3 = a for z.
4
Let i(q) = -3*q**3 - q**2 - q. Let p be i(-1). Let o = -1 + p. Solve l + 1 = o for l.
1
Suppose -k = 2*a, 2*k + 4*a = a. Let o = -5 + 5. Suppose -2*l + o*l - 2*f - 6 = 0, -3*l = 2*f + 4. Solve -l*s - 2*s = k for s.
0
Suppose -7 = -3*s - 4*s. Solve -q - 4 + s = 0 for q.
-3
Suppose 0 = -3*h + 7*h + 24. Let q be 3/h - 49/(-14). Solve y + 1 = -q for y.
-4
Suppose 0 = -3*o + 6*o. Solve o = -m - 5 + 1 for m.
-4
Let n(c) = 7*c - 2. Let x be n(4). Let i = x + -22. Solve 0 = i*u - 2*u - 2 for u.
1
Suppose 2*x + 3*x - 30 = 0. Suppose -v - 2*v = -x. Let r be 2/(-6) - 91/(-21). Solve -r*p = -2*p - v for p.
1
Let a(t) = t + 3. Let g be a(0). Let v = 50 - 45. Solve g*w = v*w + 6 for w.
-3
Let l be 2/3 + (-28)/(-12). Let s = l - -1. Solve -s*c - 14 = 2 for c.
-4
Let w(z) = -z**3 - 11*z**2 + 13*z + 8. Let o(f) = 2*f**3 + 10*f**2 - 6 - f**3 - 1 - 12*f. Let j(c) = 6*o(c) + 5*w(c). Let s be j(-6). Solve 0 = n + s for n.
-4
Let h(u) = -9*u - 21. Let b be h(-4). Solve b - 3 = -3*o for o.
-4
Let u be 40/(-15)*6/(-8). Solve 0 = -u*j + 3*j + 1 for j.
-1
Let n = 44 + -42. Let j(s) = 6*s**2 - 2 - 4*s**2 - 3*s**2 - 3*s. Let a be j(-2). Solve 6*i - n*i = a for i.
0
Let q be 2/((-2)/3) - -11. Suppose -3*j = j - q. Solve -4 = -2*r - j for r.
1
Let h(d) = -d - 2. Let i be h(-2). Suppose i = 5*o - 0*o. Suppose -v + 5*k = -28 + 4, 5*v = -2*k + 12. Solve 0 = v*f - o*f + 8 for f.
-2
Let t = 42 - -48. Suppose 0 = -5*m - 0*m + t. Let g be (10/4)/(3/m). Solve x = -4*x + g for x.
3
Let o = 0 + 0. Let i(h) = h**3 - 11*h**2 + 12*h - 15. Let c be i(10). Let y = 9 - c. Solve y*q + 0 + 4 = o for q.
-1
Suppose -2*z + 4 = -4*z. Let p be (-3 - -8) + 1*z. Solve p*t = 5 + 4 for t.
3
Let s(d) be the first derivative of -d**4/12 + d**3/2 - d + 2. Let z(t) be the first derivative of s(t). Let q be z(2). Solve -8 + q = -3*y for y.
2
Suppose 0 = -5*d - 5*y + 10, 3*y + 2*y = 3*d + 10. Let q = -6 + 10. Suppose 3*w - 25 = -q*g, 5*w + 4*g - g - 27 = d. Solve 3 = -w*j + 2*j for j.
-3
Suppose 15 + 0 = 3*m. Let a = m + 0. Solve a*r - 17 - 3 = 0 for r.
4
Let d be 23/7 - (-6)/(-21). Solve -1 - d = 4*s for s.
-1
Let p = -17 + 27. Solve 2*q + p = -0 for q.
-5
Suppose 0 = 3*r + 11 + 19. Let k = 10 + r. Solve -l + k = -2 for l.
2
Let v(n) = 4*n - 1. Let g be v(4). Suppose -1 = -3*z + 11. Let k = 1 - 0. Solve 0 = -z*a + g + k for a.
4
Let z be 0 + 4 + (-1 - -1). Suppose -v = -z*v. Solve l = -1 - v for l.
-1
Let s(n) = n**3 + 6*n**2 + 5*n - 11. Let t be s(-4). Solve q = -t - 0 for q.
-1
Let n be (5/(-3))/((-20)/168). Solve 0 = 3*r - 1 - n for r.
5
Let t(j) = 2*j. Let d be t(3). Suppose 9 = -b - d. Let p = 0 - b. Solve -3*h + 0*h + p = 0 for h.
5
Let z be (2 - -5) + -3 - 2. Solve z*o - 4*o = 0 for o.
0
Suppose 4*y + 2*m + 8 = 4*m, 4*m = 2*y - 2. Let x = y - -5. Let g = 1 + -1. Solve g = v + v - x for v.
1
Let b be (13 - 18) + -1 + 11. Solve -b*s - 27 = -2 for s.
-5
Let t be (-33)/(-7) + (-10)/(-35). Suppose t*q = -0*q. Suppose q*v - 4*v = 0. Solve v = w + 2*w for w.
0
Let g be (2/3)/(1/(-6)). Let k = g - -6. Let y(p) = -p + 2. Let o be y(-2). Solve n + o = k*n for n.
4
Let k be (-1 + -7)/(-4) - 2. Solve -h - 6 + 1 = k for h.
-5
Suppose 2*j - 8 = 2. Let w(i) = i**2 - 14*i + 6. Let d be w(14). Let n be (-1 - -1)/((-12)/d). Solve -h + 3 - j = n for h.
-2
Let r = -16 + 23. Solve -2 = x - r for x.
5
Let s = 73 - 37. Suppose 0 = -5*k - 4*f + s, 3*k = -2*k - 2*f + 38. Solve -x + k = 3*x for x.
2
Let g be (-5 - (-51)/12)/(1/(-20)). Solve g = -7*m + 2*m for m.
-3
Let g(i) = -i**3 + 9*i**2 - 9*i + 9. Let s be g(8). Let k(l) = 4*l**2 + l - 1. Let p be k(s). Suppose p*h - 6 - 2 = 0. Solve h*j = 3 + 5 for j.
4
Let l = -3 - -5. Solve -n = -l*n for n.
0
Let j be 1/2*1*-10. Let l = j - -8. Suppose -m = z - 1, l*z - 3*m + 3 = -2*z. Solve -3*d + d - 6 = z for d.
-3
Suppose 11*h = 7*h. Solve r = -h*r + 5 for r.
5
Let w(g) = -g - 2. Let z be w(-8). Suppose -5*c + 2*q + 4 = -2, c - 4*q + z = 0. Suppose -2*v - c*v - d = -18, d + 7 = v. Solve v*o - 30 + 5 = 0 for o.
5
Suppose i + 20 = 5*i. Let d(w) = w**2 - 7*w + 6. Let v be d(i). Let m = 7 + v. Solve -y = m*y for y.
0
Let h = -3 - -5. Let m be 5*-3*(-2)/15. Let i be (-4)/m - -2 - 0. Solve -h*c + i*c = 0 for c.
0
Let d be (-2)/3 + 8/3. Let h be (-224)/(-10) - d/5. Suppose 2 = -4*f + h. Solve -15 = -f*l - 0 for l.
3
Let d(m) = m + 11. Let i be d(-8). Suppose 6*o = 3*o - 4*r - 11, -4*o = -3*r - 27. Solve 2*w - i*w = -o for w.
3
Suppose -2*h - 3*s - 2*s = 9, 4*h + s = 9. Solve h*d - 1 = 8 for d.
3
Let h = -20 + 22. Let c be 0 - (-1 - -3)*-1. Suppose -c*y = 3*v - 7, 6*y - 2*y - 5 = 3*v. Solve h*f - f = -v for f.
-1
Let b(a) = -a**3 + 20*a**2 + 19*a + 46. Let x be b(21). Solve -8*u + 4 = -x*u for u.
1
Suppose 3*z = -3*t + 9, 7*z - 11 = 3*z - 3*t. Solve z*f + 10 = -0*f for f.
-5
Suppose -v - 3*t - 2 = 1, 9 = -3*t. Suppose v = -2*g + 12. Solve -2*s - g*s = -5 for s.
1
Suppose -g - 2*g + 12 = 0. Let u(z) = -2*z + 1. Let m be u(g). Let o = m + 9. Solve -p - o = 1 for p.
-3
Let a be ((-18)/(-2))/((-36)/(-24)). Solve -4*d + a*d + 2 = 0 for d.
-1
Suppose -4*h + 5*u = 15, 2*h = -4*u + 4 + 8. Solve h = -3*o + 12 + 3 for o.
5
Let o(p) be the second derivative of 7/12*p**4 + 1/2*p**2 + 0 - 2*p + 1/6*p**3. Let t be o(-1). Solve 0 = -3*z + t*z + 16 for z.
-4
Let x(d) be the second derivative of 3*d - 1/2*d**3 - d**2 + 0. Let w be x(-2). Solve -u - w = u for u.
-2
Suppose -3*o = -11 + 2. Let r be (-20)/15*o/(-2). Solve -4 = 2*i + r*i for i.
-1
Let k be (4 - (-132)/(-8))*(-8)/10. Solve 6 + k = -4*w for w.
-4
Let g(s) = -4*s**3 - 4*s**2 - 2*s. Let x be g(-1). Solve -b = x*b - 6 for b.
2
Let y = -9 - -9. Solve -f - 4*f - 20 = y for f.
-4
Let f(j) = j**2 + 5*j - 5. Let s be f(-7). Solve 4*a - s*a = 0 for a.
0
Let p(v) = 1 + 8*v - 6 - 3*v + 3. Let c be p(4). Suppose -3*t - c = -3*s, -t = t + 4. Solve 4*f - s = -0 for f.
1
Let h = -27 + -13. Let l be h/12*3/(-2). Solve -l*k - 3 - 7 = 0 for k.
-2
Let m(z) = 8*z**2 + 3 + 11*z**3 - 10*z**3 + 1. Let s be m(-8). Suppose -s*i = -10 - 14. Solve w - 2 = -i for w.
-4
Let h(n) = n**2 - 4*n - 8. Let m be h(6). Let w be (10 + 2)*(-3)/(-4). Solve -r = -m*r + w for r.
3
Suppose 8*s - 75 = 13*s. Let h be s*(20/(-6))/5. Solve 3*l + h = l for l.
-5
Let z(x) = -2*x**3 - 3*x**2. Let s be z(-2). Let k(t) = -s*t + 6 - 2*t + 2*t - t**2 + 1. Let f be k(-5). Solve 0 = n + n + f for n.
-1
Let f be (2/(-8))/((-1)/4). Suppose 14 + f = 3*m. Let u = -5 + m. Solve 3*o + u*o = 0 for o.
0
Let b = -3 - -3. Suppose b = 5*s - 11 - 29. Let w(k) = -k + 8. Let j be w(s). Solve -t + 6 - 1 = j for t.
5
Let z = -19 - -37. Suppose v - z = -v. Suppose 0 = -5*h - 3*t + 7, 0 = 2*h - 2*t + 5*t - 