Let j(g) = -7*g**2 + g - 5. Let k(l) = 5*i(l) + 3*j(l). Let n be k(2). Let c be (-4)/18 - 4/n. Solve -5*f = -5 - c for f.
1
Suppose 0 = -3*f + 2*w + 2, -5*w + 6 = -2*f. Let o = -19 + 19. Suppose 7*t - f*t = o. Solve -5*a + t = 25 for a.
-5
Suppose 0 = 3*x - 3*m + 21, 0*x - 3*x = -2*m + 20. Let n be 0/(x*4/8). Let w = -3 - -7. Solve n = w*s - 4 - 8 for s.
3
Let b(x) = x**3 + 4*x**2 - x - 1. Let k be b(-3). Let p be 1/(-2)*0 + k. Solve -1 = -2*r - p for r.
-5
Let a(q) = -17*q + 1. Let k be a(-1). Suppose 2*o = 4*o + k. Let p be 0 + o/6*-2. Solve 7*n - p*n = 12 for n.
3
Let r(a) = -a**3 - 6*a**2 - 6*a + 1. Let c be r(-5). Let m be (-2)/c + (-60)/(-18). Solve 8 = m*k - 1 for k.
3
Let z(j) be the second derivative of -j**5/20 - 7*j**4/12 - j**3/6 - 2*j**2 - 2*j. Let m be z(-7). Suppose 0 = f - m*f + 6. Solve 4*q = -17 - f for q.
-5
Let b = -45 - -51. Solve -2*l - b = l for l.
-2
Let d be (1 - -2)*5/3. Solve d*k + 3 - 28 = 0 for k.
5
Suppose -5*q - 5*p + 25 = 0, 0 = 5*q + 4*p + 4 - 30. Solve 2*w - 12 = q*w for w.
-3
Let a = 2 - 2. Suppose 3*v - 7*v - 5*k - 26 = 0, 3*v - 4*k + 4 = 0. Let p be 10/3 - v/6. Solve a = p*l + 12 + 4 for l.
-4
Suppose -w + 4*n - 9 = -3, 0 = -w + 5*n - 8. Let f(j) = 2*j**2 + 2*j. Let p be f(-2). Suppose 5*t - 7 - 3 = 0. Solve p*m = t*m - w for m.
-1
Let s(b) = -b**2 - b + 1. Let v be s(-1). Let w = -3 + v. Let j be (0 - 1 - w)*3. Solve -j*n = n - 16 for n.
4
Let z = 17 - 13. Solve 0 = 2*s - 6*s - z for s.
-1
Suppose b = 4*g, 5*b + 4*g = 3*g. Solve b*f - f = 2 for f.
-2
Suppose -207 = -4*k + 285. Suppose -k = -5*a - 23. Solve 5*p = p + a for p.
5
Let l(a) = a**3 + 8*a**2 + 2. Let u be l(-8). Suppose 2*p + 4*y = -12, 5*y + 9 + 6 = -5*p. Solve -2*h + u + 2 = p for h.
2
Suppose -41 = -4*u - 5*o, 30 = 6*u - u + 2*o. Solve -b - u = b for b.
-2
Suppose -3*v = -6*v + 24. Solve 0 = -2*r - 2*r - v for r.
-2
Let i = 0 + 1. Let o(u) = -4*u**2 - 28*u. Let b be o(-7). Let m = b + i. Solve -m = -0*c + c for c.
-1
Let n(b) = -b**2 + 9*b - 8. Let a be n(8). Solve 2*u = -a*u + 4 for u.
2
Let f = 3 - 7. Let c be f*(-1)/(6/3). Solve -c*s - 3 = s for s.
-1
Suppose 8 = -2*i + 2*d - 5*d, i - 5*d - 22 = 0. Solve i*p - 3 - 1 = 0 for p.
2
Let g(u) = 15*u**3 - u. Let o be g(1). Let s = o + -9. Solve -3*v - 2*v - s = 0 for v.
-1
Let v = -9 - -12. Suppose v*s = 4*s - 4. Solve r - 5*r = -s for r.
1
Let t = 12 - 12. Solve t = -k - 0 + 1 for k.
1
Suppose -2*u = -2*x + 20, 6 = 3*x - u - 14. Solve -13 = -x*d + 12 for d.
5
Let y be (-2)/((3/9)/((-4)/24)). Solve y + 9 = 5*n for n.
2
Let q(j) = 41*j**2 - j - 1. Let u be q(-1). Suppose -4 = -5*n + u. Solve -2*a + n = a for a.
3
Let b(s) = -2*s - 3. Let a be b(-2). Suppose 2*l - 3 = -5*w - a, l = -3*w + 1. Solve w = q + 3 + 2 for q.
-5
Suppose 0 = -3*s + 15 - 6. Suppose -5*m = 3*a + 14, 5*a - m + 0*m - 14 = 0. Solve -s*q + 4 = -a*q for q.
4
Suppose 6 = -a + 3*a. Solve a*p + p - 20 = 0 for p.
5
Let o be (5 + -1)/(-2 + 4). Solve o - 3 = g for g.
-1
Let m be (-8)/(-12) + (-12)/(-9). Solve -m*r = 2 + 8 for r.
-5
Let o(f) = -f**2 - 6*f - 5. Let u be o(-4). Suppose 0 = -4*d + 9 + u. Solve j + 1 = d for j.
2
Let x = 2 + 1. Suppose p = x*p. Solve p = 2*c + 13 - 3 for c.
-5
Let v = 7 - 4. Let s(o) = o**v - 7*o**2 + 6*o**2 + 3 - 2*o**2. Let f be s(3). Solve i = f*i for i.
0
Suppose -6*b + 2*b = -8. Solve -b*s - 3*s = 0 for s.
0
Let v = 14 - 9. Solve -4*m - v = -9*m for m.
1
Let i(s) = -s**3 - s**2 - s - 1. Let k(f) = f**3 - f**2 + 1. Let n be k(-1). Let d be i(n). Let z = d - 0. Solve z = 4*j - 6*j - 2 for j.
-1
Suppose 0 = 2*l + 3*l - 85. Let j = l - 15. Solve -3*c = 8 - j for c.
-2
Let l be 38/5 + 2/5. Solve 4*u + l = -8 for u.
-4
Let i(v) = -v**3 - 3*v**2 - 2*v + 1 - 2*v**2 + v**2. Let n be i(-4). Solve -n + 4 = u for u.
-5
Let k be 3*2/12*4. Suppose -k = 4*r - 6*r. Solve 9 = -2*w - r for w.
-5
Let v = 2 + 1. Let k = 4 - v. Solve -k - 3 = 2*m for m.
-2
Suppose -3*z - i = 2*i + 24, 4 = -2*z + 2*i. Let a be (-6)/(-2)*(z - -4). Let d be 10 + 1*6/a. Solve -3*v + 5*v = d for v.
4
Let x(i) = -i**2 + 8*i - 6. Let a be x(6). Suppose -v + a = 2*v. Solve -v = 4*m + 2 for m.
-1
Let r = -1 + 6. Suppose -2*n - a + 9 + 2 = 0, 5*n - 5*a - r = 0. Let h = 9 - n. Solve -4 = h*m - 19 for m.
3
Let c be -1*((4 - 4) + 0). Suppose 3*f = -c*f + 15. Suppose -2 = 2*v - 6. Solve -v*o + 3*o = f for o.
5
Suppose 2*c = 5*u, -u + 0*u = 0. Suppose c*p + 10 = -2*p - 4*q, 4*p - q + 11 = 0. Let g be (-4 - p)*(-3 + -2). Solve -g - 5 = -5*m for m.
2
Suppose 0 = -4*b + 5*b. Let u = 3 + b. Let w(a) = 2*a**2 - 2*a - 2. Let k be w(2). Solve 5*j - u*j = k for j.
1
Let w(n) = n + 6. Let r be w(-6). Let i = r + 13. Let y(a) = a**3 - 14*a**2 + 13*a. Let m be y(i). Solve s + 2*s = m for s.
0
Let t(z) = -8*z + 7. Let c(q) = -7*q + 6. Let a(b) = 6*c(b) - 5*t(b). Let p be a(-6). Solve 0 = 5*s - 33 + p for s.
4
Let g be 185/(-35) + 4/14. Let t be 3/g + (-65)/(-25). Let z be ((-4)/5)/(2/(-5)). Solve t*x = -z*x for x.
0
Suppose 3*b - 5*n - 17 = 0, -5*b - 20 = 4*n + 1. Let g(s) be the first derivative of 4*s**3/3 + s**2 + s + 2. Let f be g(b). Solve f*y = -8 + 2 for y.
-2
Suppose -3*w + 2 = -13. Suppose -15 = w*f - 4*d, 0 = -3*f + f - 2*d + 12. Let r = 3 + 8. Solve 5*t = -r + f for t.
-2
Let x(z) = -z**3 - 7*z**2 - 6*z. Let i be x(-6). Suppose i = -0*n + 2*n. Solve n = 3*d + 10 + 5 for d.
-5
Let f(p) be the second derivative of -p**4/12 - 5*p**3/3 + 27*p**2/2 - 9*p. Let d be f(-12). Solve 0 = -4*t + d + 17 for t.
5
Suppose l + 3*j = -11, l - j = -3*l + 21. Let u(v) = v + 2. Let y be u(6). Solve l*i + y = -8 for i.
-4
Let m(h) = h**2 - 2*h + 3. Let j be m(2). Suppose -j = i - 5. Suppose -g + i = -1. Solve g*f = f for f.
0
Suppose -2*h - 6 = 5*y + 11, -7 = 2*h + 3*y. Suppose -5*n - 2*t + 7*t = 0, 0 = n + h*t - 25. Solve n + 0 = d for d.
5
Let j = -61 - -63. Solve 0 = -j*i - 6 + 14 for i.
4
Let t(b) = 10*b - 2. Let d be t(1). Solve 0 = -d*r + 3*r + 20 for r.
4
Suppose -5 = 3*m - 38. Suppose 0 = -6*a + m*a - 25. Solve 2*o + a = o for o.
-5
Suppose -s = 2*s + 5*q, 4*s + 4*q = 0. Suppose -6*x + 13 = -71. Suppose -l - 8 + x = s. Solve -3*h - l = -6*h for h.
2
Let v(u) = 11 + 4*u + 8*u**2 + 5*u**2 + u**3 + 1 + 9*u. Let h be v(-12). Solve 5*b - 5 + 0 = h for b.
1
Let w = 12 - 12. Suppose 4*m - 16 - 28 = w. Solve 1 = -5*v + m for v.
2
Suppose -4*m + 20 = -4*t, 5*t = -4*m - 0*m + 47. Solve 0 = -2*j - m for j.
-4
Let y(q) = q**3 + 8*q**2 + 6*q - 3. Let v(s) = s**2 - 8*s - 9. Let h be v(9). Suppose h = 5*d - 4*d + 7. Let j be y(d). Solve -5*n - j + 29 = 0 for n.
5
Let p(o) = -3*o - 3. Let w be p(-9). Suppose 4*x - w = -0. Solve -x*f + 2*f = 0 for f.
0
Let k(x) = -5*x - 35. Let m be k(-7). Let y be (-2 + 6)/(2*1). Suppose -y*c - 2*v + 28 = c, -4*c + 40 = 2*v. Solve -3*t + m*t + c = 0 for t.
4
Let b be (8/(-12))/((-1)/24). Solve 0 = -2*d - b + 6 for d.
-5
Let g(u) = u - 4. Let i be g(8). Let j be (1 + -1)/(i/2). Solve l + 6 - 5 = j for l.
-1
Let n be (2/2 + -2)*(-6 + -2). Suppose -y = -4*y + 2*s + 4, 2*y + 4*s - 8 = 0. Let o be ((2 + -2)/(-2))/y. Solve 2*l = -o*l + n for l.
4
Suppose v - 1 - 1 = 0. Let x(g) = 2 - 5 - 2 + g + 0*g. Let d be x(5). Solve -t + 0*t + v = d for t.
2
Let c = 45 + -44. Solve -4*b + c - 13 = 0 for b.
-3
Let s be ((-10)/(-20))/(1/8). Solve s*t + t = 0 for t.
0
Suppose v - 2*f - 8 = 0, -4*v - 2*f + 2 = -0*v. Solve s + 0 - v = 0 for s.
2
Suppose -4*z + 2 = -22. Solve f = z - 2 for f.
4
Let y be 0 + -1 + (-1 - -9). Solve -27 = -4*x - y for x.
5
Let k be 0/(-8 + 5 - -5). Solve -5 = -k*m - m for m.
5
Let l(q) = 3*q**2 + 25*q + 10. Let b be l(-8). Solve -b*r - r + 6 = 0 for r.
2
Let q be ((-115)/46)/(1/(-6)). Solve -8*x + q = -3*x for x.
3
Suppose -13 = 6*n - 37. Let m be 13 + 4/(-2) - 1. Suppose -m = 5*c, 5*q = -n*c - 9 + 1. Solve -z + 4 = -q*z for z.
4
Let o be (5/(-3))/(3/(-9)). Solve 5*v + 20 = o for v.
-3
Let z(w) = w**3 + 4*w**2 + w - 1. Let n be z(-4). Let q = n + 8. Suppose 21 = 4*t - t. Solve -2*a = -q + t for a.
-2
Suppose -k + 5*g + 40 = 4*k, -4*k - g = -17. Suppose c + 4*c + 4*t = 0, 5*c = -k*t. Solve 5*z + c*z + 25 = 0 for z.
-5
Let a(h) = 23*h. Let b be a(1). Suppose b - 7 = 4*u. Solve -u*l - 13 - 3 = 0 for l.
-4
Suppose -2*u - 2 = -4*i - 0*i, -4*i + 1 = -u. Solve i = -3*d + 2*d - 5 for d.
-5
Let z be (0 + -1)/(-2 + (-3)/(-3)). Suppose 0 = 2*b - 4*h -