-3 + 2)/(-1))/1. Solve 0 = -5*o + s + x for o.
4
Let f be (-4)/(-5)*(-15)/(-6). Let k be (-21)/(-9) - f/(-3). Solve -7*b + 16 = -k*b for b.
4
Let j = 18 - 6. Let p = j - 6. Suppose -a = -p*a. Solve -k - 2 = -a for k.
-2
Let p(d) be the third derivative of d**4/24 - d**3/6 - d**2. Suppose 0 = -2*n + 4*l - 6, -3*n + 9 = 2*n - 4*l. Let i be p(n). Solve -f - i = -3 for f.
-1
Let j(p) = -p**2 - 6*p - 2. Suppose -l - 1 = 2. Let s be j(l). Suppose 2*t - s + 1 = 0. Solve -2*w = -w - t for w.
3
Let f(m) = -m**3 + 3*m + 2. Let a be f(-2). Suppose -a*r + 103 = 27. Suppose -6 - r = -5*d. Solve y - d = -0*y for y.
5
Let v(i) = -i**2 - 9*i - 2. Let h be v(-7). Suppose -p = -5*p + h. Solve 2*x = -p*x for x.
0
Let s(v) = 3*v - 6*v**3 + 0*v - v - 9*v**2. Let o(w) = 7*w**3 + 10*w**2 - 3*w. Let d(g) = -5*o(g) - 6*s(g). Let u be d(-2). Solve -u*l - 2*l = 4 for l.
-1
Let p = -2 - -2. Suppose d + 5*d - 18 = p. Solve -a + 4 = d*a for a.
1
Let v be 1/2*(0 - 0). Suppose u + 4 = 3*u. Suppose 0*q + 4*q + u*r - 10 = v, r = q - 7. Solve h = 3 - q for h.
-1
Suppose -5*y = -0 - 5. Let j(r) be the first derivative of r**3 - r**2 + r - 3. Let u be j(y). Solve 0*l - u = -2*l for l.
1
Suppose 9 = 4*o - 7. Solve -2*y + o = 12 for y.
-4
Let p = -8 - -11. Suppose -p + 5 = 4*v + 2*u, -3*v + 1 = u. Solve 0 = -k - v*k - 1 for k.
-1
Let p = -16 - -25. Let a = p - -9. Solve 7 = -5*f - a for f.
-5
Let q be 46/14 - 14/49. Let s be 2/(q - (-29)/(-10)). Solve -2*y + s = -6*y for y.
-5
Let s = 28 - 24. Suppose -b = -0*b. Solve b = s*h - 12 - 8 for h.
5
Suppose 2*d + 14 = 7*d - q, 0 = -2*d + 5*q + 24. Solve -o - d - 2 = 0 for o.
-4
Let t = -35 - -43. Solve -4*l + t*l = 0 for l.
0
Let v = 105 + -93. Let l(m) = -m**2 + m + 6. Let k(j) = -j**2 + j + 7. Let c(a) = -6*k(a) + 7*l(a). Let x be c(1). Solve x = 2*u - 5*u - v for u.
-4
Let i = -14 + 22. Suppose -5*s = -7*s + i. Solve 8 + 8 = s*x for x.
4
Suppose 4*z - c - 21 = 4*c, -4*z = c + 9. Let l = 0 - z. Suppose 5 - l = 2*r. Solve -a - 15 = r*a for a.
-5
Suppose 0 = -q + 4*y + 1 + 8, -4*q = 3*y - 36. Solve -3*v = -0*v - q for v.
3
Let p(o) = -2*o - 4. Let b be p(-3). Let y(r) = r**3 - 2*r**2. Let z be y(b). Solve 2*c + 0 - 2 = z for c.
1
Let p = -5 + 6. Suppose 6 - 4 = n. Solve -n = q + p for q.
-3
Suppose -2*m = 4*k - 111 + 37, 0 = 5*k - 3*m - 65. Let y = k + -16. Solve 6 = 3*b - y*b for b.
2
Suppose 0 = -5*f - 22 - 58. Let b = f - -31. Solve 0*o = 3*o - b for o.
5
Let n(v) = -v**3 - 4*v**2 - 2*v - 5. Let d be n(-4). Suppose 5*o - 6 = 2*o. Let m be (3 + -1)*13/o. Solve -d*y - m = -4 for y.
-3
Let h = 7 + -5. Let g(a) = -a**3 + a**2 + a + 2. Let v be g(h). Let d = 4 + -3. Solve v*j - j = d for j.
-1
Let t be -1 + 4 + -1 + 2. Let j(r) = r**3 - 7*r**2 - 9*r + 10. Let l be j(8). Suppose -4*n + l*n + t = 0. Solve -h = -n*h - 2 for h.
-2
Let r(z) = -z + 2. Let u be r(-1). Let m(s) = -2*s + 8. Let b be m(u). Solve l - b = -1 for l.
1
Let m = 74 + -68. Let h = 3 - 2. Solve -5*r + h = m for r.
-1
Let a(g) be the second derivative of g**3/6 + g**2/2 + g. Let k be a(-1). Suppose -40 = -0*h - 4*h - 3*y, -y = h - 11. Solve o + 3 - h = k for o.
4
Let o(z) = -5 - 2*z**2 + 3*z**2 + 4*z + 0*z**2. Let y be o(-6). Let r = y + -6. Solve 0 = a + r - 3 for a.
2
Let m(j) = -3*j. Let z be m(-1). Let w be 15/(-2)*(-2)/z. Solve 0 = -y - 0*y + w for y.
5
Suppose -5*m = 5*t - 1 - 4, 2*m - 11 = -5*t. Let y be 18 - 3 - (-1 - 0). Solve -t*k - k - y = 0 for k.
-4
Suppose 2*l - 35 = -3*l + 5*x, 4*l = -3*x + 14. Solve -3*o - 10 = -l*o for o.
5
Let a = -3 - -3. Let w = a + 15. Let c = -10 - -14. Solve x = c*x - w for x.
5
Let p = 52 + -24. Suppose 4*r + 0 = p. Solve -r = -3*g + 5 for g.
4
Let g(w) = -w**3 - 5*w**2 - 6*w + 2. Let z be g(-6). Suppose 0 = u + 2*u - 5*n - 22, n = -5*u + z. Let s be 99/21 - (-4)/u. Solve r = s*r for r.
0
Let l = -37 + 42. Solve l*a = 2*a - 15 for a.
-5
Let y be (-6 + 30)*-1*2/(-4). Solve 0 = -3*a - y + 3 for a.
-3
Let v be 228/30 + 3/((-15)/(-2)). Solve v*h = 3*h for h.
0
Let k(g) = g**2 - 7*g - 4. Let v be k(8). Suppose 4 = v*q + 8. Let p be q/1*(-2 + -2). Solve p*d + 20 = -0*d for d.
-5
Let v = 4 + 4. Suppose 0 = 4*y - v*y + 8. Solve y - 10 = 2*w for w.
-4
Suppose -5*y = 4*s - 9, 6*y - 2*y = -5*s. Let k = 3 + y. Solve 2*x + k = -2 for x.
-5
Suppose -8 - 10 = -3*b. Solve -10*p - b = -7*p for p.
-2
Let a = -2 - -6. Suppose 2 = g - a. Solve -4*w = -18 + g for w.
3
Let o be ((1 - 1)/(-1))/(-2). Solve -c = -o*c + 3 for c.
-3
Let j = -2 - -3. Let g = j + 1. Suppose u = -g*p + 14, -3*u + 9 + 17 = 4*p. Solve k + k = p for k.
4
Suppose 2*o - 3 - 7 = 0. Let a be 2/o - (-90)/25. Solve -a = -0*h + h for h.
-4
Let s = 1 - -2. Let r = s - 0. Suppose r*k = -0*k. Solve -a + k = 2 for a.
-2
Let y(q) = -q**3 - 7*q**2 - 5*q + 3. Let d be y(-6). Let v = d + 8. Solve 34 = -v*n + 9 for n.
-5
Let v(h) = 5*h**2 + 3*h + 2. Let s be v(-4). Let d be (8/12)/((-4)/(-18)). Suppose -5*q + 5*f + s = -10, -d*q - 3*f + 72 = 0. Solve 6*m = m - q for m.
-4
Let c = 6 - 0. Let x be 2/c - (-33)/9. Suppose -2*p + x = -p. Solve 0*f + 16 = p*f for f.
4
Let d be (8/6)/(6/18). Let i(b) = -7*b**2 - b**2 - b**3 - 7*b + 5*b + 7 - d*b. Let g be i(-7). Solve g = n - 4*n for n.
0
Let h = -16 + 19. Suppose -5*o + h*t + 20 = 0, -2*t - 25 = -3*o - 2*o. Solve 0 = 3*i - o*i - 8 for i.
-2
Let z be 5/(10/(-18)) + 2. Let y be (-6 - z)/(2/4). Suppose y*j = 11 - 3. Solve -5 = j*m + 3 for m.
-2
Let d(y) = -12*y**3 + y**2 + y - 2. Let f(h) = -37*h**3 + 3*h**2 + 4*h - 7. Let z(g) = -7*d(g) + 2*f(g). Let q be z(1). Solve i + q = 3*i for i.
5
Suppose 5*x = 4*x. Suppose 5*y - 25 = -x*y. Let s = -31 + 51. Solve y*b - b = -s for b.
-5
Let j(r) = 7*r**3 - 2*r. Let v be j(2). Suppose 4*x - 16 = -v. Let n = -4 - x. Solve n*i + 4 = 14 for i.
2
Let w be (-1)/(-2) + 6/4. Let b be 5/(0 + 1) - w. Solve b*z = -2*z - 20 for z.
-4
Let q(o) = -o**2 - 4*o + 5. Let a be q(-5). Let z(b) = b**2 - 13*b - 11. Let i be z(11). Let j be 2/7 + i/(-7). Solve -5*w + a*w = -j for w.
1
Let h = -11 - -5. Let n be 10/(-15)*h/4. Solve -5 = -4*b - n for b.
1
Let u be 1 - -3*8/12. Solve -u*q - 2*q - 10 = 0 for q.
-2
Suppose -6*z - 4 + 16 = 0. Let f be (z/3)/(2/3). Solve f = 2*x - 1 for x.
1
Let n be ((-9)/6)/(6/8). Let z be (-2)/n - (5 + 0). Let l be (-4 - z)/(2*-1). Solve a - 2 - 2 = l for a.
4
Suppose q = 5*i + 17, i = -3*q + 3*i - 1. Let p(n) be the third derivative of -n**4/24 - n**3/2 - 3*n**2. Let t be p(q). Solve 2*w + 0 + 4 = t for w.
-2
Let z = -8 + 15. Solve -4*f = 1 + z for f.
-2
Let c be (-2)/(0 + 2 - 4). Let n be c + 1/2*2. Suppose 5*r + n*q - 16 = -0*q, 3*r + 3*q - 15 = 0. Solve 2*w - w = r for w.
2
Let s(i) = i + 15. Let b be s(-12). Solve -b*t - 1 = 14 for t.
-5
Let d(f) = f + 14. Let b be (-2)/2*(10 - 1). Let z be d(b). Solve -3*k + z*k = -4 for k.
-2
Let q be 0*3/3 + -1. Let u = 3 + q. Solve -4 = -u*n + n for n.
4
Suppose 5*p - 12 = -p. Solve 2 = -4*s - p for s.
-1
Let f(d) = 3*d - 2. Let x be f(2). Let t(i) = -i**3 + 2*i**2 + 2. Let n be t(2). Solve -3*c = -n*c + x for c.
-4
Let i = -5 - -7. Suppose -g - 4 = -2*g. Suppose 3*m - x + i*x = 11, -g*x + 16 = -2*m. Solve -t = m*t for t.
0
Let b = 56 - 53. Solve -b*q = -0*q - 3 for q.
1
Suppose -3*o = -5*j + o, 0 = -5*j + 5*o. Let x = j - 1. Let a be 61/5 + x/5. Solve -2*y = -a + 2 for y.
5
Let x = -1 - -4. Suppose -5*c - 7 = x. Let t be (2*c)/(6/(-9)). Solve -2*y + t = -0*y for y.
3
Suppose 3*i - 8 = 1. Suppose -k = -0*k + 4*j - 8, i*k + 4*j - 8 = 0. Solve -2 = p - k*p for p.
-2
Let w = -8 + 16. Let g(p) = -p**3 + 7*p**2 + 8*p - 3. Let t be g(w). Let a = t + 8. Solve 5*j = -a - 15 for j.
-4
Suppose 5*j + 70 = 4*g, -g - 3*j + 25 = -8*j. Suppose 0*t + 5*t = g. Solve 0 = -t*f + 2 + 4 for f.
2
Let f(o) = -o**2 - 5*o + 8. Let j = 85 + -49. Suppose -j = 5*h - 6. Let p be f(h). Solve -p*i + 0 = 6 for i.
-3
Let p = -21 - -49. Suppose 2*t = -2*a - 8, p = 3*t - 4*a + 5. Suppose 4*q + q = 10. Solve q*k + 5 + t = 0 for k.
-3
Suppose -3*q + 12 = 3*q. Let k = 2 + -1. Solve q*x = x - k for x.
-1
Let a be ((-3)/9)/(3/(-63)). Let s = a - 5. Solve 2*i - 16 = -s*i for i.
4
Suppose -2 = -4*n + 6. Solve -o = n*o for o.
0
Suppose 0 = 200*q - 204*q + 16. Solve -3*k + q*k = -2 for k.
-2
Let n be (-1)/(-3) - (-2)/3. Let o(t) = -2*t**2 + 2*t**2 + t**2 - t**3. Let q be o(n). Solve q*z - 5*z = 0 for z.
0
