 = 2*l - 4 for l.
1
Let f(d) be the first derivative of -d**4/24 - 7*d**3/6 - d**2 - 3. Let n(z) be the second derivative of f(z). Let h be n(-7). Solve 3*o + h*o = -15 for o.
-5
Let q = 10 - 4. Suppose -5*c = 2*a - 7, -q*c + 5 = -3*c + a. Solve -1 = 2*j + c for j.
-2
Let t = 2 - 3. Let n = 19 - 11. Let c = n - t. Solve 2*m = 1 - c for m.
-4
Let z be 10/45 + (-16)/(-9). Suppose -5*l = z*d - 16, d - l = 2*l + 8. Suppose -4*v + 2*o + 20 = 0, -v = -4*o - d - 4. Solve -v*s + 2 = 10 for s.
-2
Let h(p) = 3*p - 4. Let a be h(3). Suppose -n + a = 2*u, -4*u + 3*u = 2*n + 2. Suppose 16 = -u*v + 3*c + 47, -2*v = -c - 13. Solve 2 = -v*k - 6 for k.
-2
Let l be (4/(-6))/((-10)/30). Solve -1 = y - l for y.
1
Suppose y - 7 = 5. Solve -h + 5*h = y for h.
3
Let n(v) = 7*v**2 + v - 1. Let s be n(1). Let y be 206/14 - (-2)/s. Solve 5*t - y = 5 for t.
4
Suppose 10*x - 43 = 7. Solve 5 + 0 = -x*u for u.
-1
Suppose 5*x + 9 = n, 0 = 2*x + 3*x - 2*n + 13. Let w be 1 + 0 - 2*x. Let v be (0/(-3))/(w - 1). Solve -4*a = 4 - v for a.
-1
Suppose 0 = t + 3*l - 13 + 4, -2*t + 16 = 5*l. Solve -s + t*s = 0 for s.
0
Let d(v) = 4*v - 2*v - 3 - 6. Let w be d(6). Solve -4 + 1 = w*z for z.
-1
Let w(o) = 2*o**2 - 3*o + 5. Let h be w(2). Let v be (4 - (h + -3))/1. Solve v*t = 4*t for t.
0
Suppose -5*k = -3*p + 58, p - 4*k - 12 - 19 = 0. Let a(h) = h**3 - 11*h**2 - h + 11. Let r be a(p). Let j = 4 - 0. Solve r = -0*b + j*b for b.
0
Suppose 0 = 2*w + 3 - 9. Let y be (-90)/(-25) + w/(-5). Solve 2*j + y = 3*j for j.
3
Suppose -3*x = -2*o + 28, -32 = 3*o - 8*o - 2*x. Suppose 0 = 2*c + p - 16, -2*p = -c + 2*p + o. Solve c = -3*y + y for y.
-4
Let i(k) = 4*k + 11. Let z(h) = 2*h + 6. Let b(v) = -3*i(v) + 5*z(v). Let g(s) = -s - 3. Let a(m) = -2*b(m) + 3*g(m). Let y be a(3). Solve o + 5 + y = 0 for o.
-5
Suppose 2*g + 2 = 32. Suppose -4*l - 32 = -2*b, g = b - l - 0*l. Solve 0 = -5*n + 1 + b for n.
3
Let l = -4 - -9. Suppose 7 + l = -n. Let r be (-8)/n*3/2. Solve 2*g - r = 1 for g.
1
Let m(t) = -27*t**3 - 4*t**2 - 3*t + 1. Let l be m(-1). Solve -5*r + 7 = l for r.
-4
Let u(f) = f**3 + 4*f**2 + 2*f - 2. Let m be u(-2). Solve -m*t = 2*t + 16 for t.
-4
Let l(n) = -2*n**2 + 15*n - 3. Let s be l(7). Suppose 2*q - 3*q = 5. Let x be 5/(-2)*s/q. Solve -25 = x*m + 3*m for m.
-5
Suppose 0 = 6*q - 21 + 3. Solve -3 = q*h - 2*h for h.
-3
Let d(s) = -3*s - 2. Let x be d(3). Let a = x - -20. Solve -f - a = 2*f for f.
-3
Let s = 3 - 3. Suppose 2*w + 1 - 5 = s. Solve 0 = j - w - 2 for j.
4
Suppose -8 = 2*r, 3*f - 2*f - 10 = 2*r. Suppose 5*c - 11 = 9. Suppose c*p - 7 = 5. Solve -p*n = -f + 5 for n.
-1
Suppose -4*r - 4*h - 11 = 25, -5*r = 2*h + 39. Let c(x) = x**3 + 8*x**2 + 8*x + 10. Let z be c(r). Solve -z*l - 2*l = 0 for l.
0
Let t(u) = 3*u + 1. Let v be t(1). Solve 0 = 3*n + v + 2 for n.
-2
Suppose z - 8 = -z. Let v be (-12)/(-1) + 0 + 1. Solve 0 = z*j - v - 3 for j.
4
Let t be (-60)/40*5/(5/(-2)). Let h = 9 - -6. Solve -t*v + 0 = -h for v.
5
Let u(h) = 2*h**2 - 2*h. Let f be u(2). Let w be ((-12)/(-10))/(f/10). Suppose -5*k - 2*v - 8 = -40, -3*v = -w. Solve -n = 1 - k for n.
5
Let f(w) = -w**2 + 1. Let j(z) = 6*z**2 - z. Let c(n) = 2*f(n) + j(n). Let l be c(-2). Solve 4*o + o = -l for o.
-4
Let j(t) = -t**2 + 6*t - 2. Let y be j(5). Solve -y*u + 7*u = 0 for u.
0
Suppose v + p + 8 = 0, 2*v - 23 = 3*v + 4*p. Let j = v + 6. Solve 1 + j = c for c.
4
Let n(x) = x**3 + 2*x**2 + 5*x + 3. Let r be n(-3). Let h = r + 23. Solve d = -h*d - 15 for d.
-5
Let j be 1/(0 - -1 - 2). Let i be 3*(-2 + 1) + j. Let w = -2 - i. Solve -3 = -3*t + w*t for t.
3
Suppose 2*h = -1 - 1. Let f = 1 - h. Let a be -2 + (f - 12)/(-2). Solve 0 = -a*q - q for q.
0
Suppose -4*b + 8 = -u - 0*u, 0 = -4*u + b + 13. Suppose 2*q = -5*a + 19 + 10, 4*a = -4. Solve u*o = -3 - q for o.
-5
Suppose 10*s - 5*s - 135 = 0. Let k be 1/(3/s*3). Suppose 5*x = -3*i + k, -x + 2 = -4*i - 17. Solve -x*p - 2*p + 25 = 0 for p.
5
Let w be (15/(-10))/((-1)/(-2)). Let z be 4/(-16) + w/(-12). Solve z = 4*m - 2 - 14 for m.
4
Suppose 2*j - 4*j = 0. Let g be 7 - (4 - 0 - 2). Suppose -g*u = -u. Solve u = -3*q + 12 - j for q.
4
Suppose 7*z = 2*z. Let w be z*(6/4 + -2). Suppose -2 = -p - w*p. Solve -4*y = -2*y + p for y.
-1
Let z = 16 - 16. Let x(s) = -s**3 + 2*s**2 - s + 3. Let p be x(z). Solve p*k = -2 - 1 for k.
-1
Let w(p) = p**2 + 7. Let q be w(0). Suppose -x + 3*x = 10. Suppose 0*t + 52 = t - x*g, -5*t = 2*g - 152. Solve 5*c = t - q for c.
5
Let f(b) = 2*b**2 - b. Let v be f(-1). Suppose -8*d = -6*d. Suppose -u + 4 = -d*u. Solve u = -z + v*z for z.
2
Let z(d) = -d**3 + 2*d**2 + 5*d + 3. Let m be z(-3). Let h = m - 23. Let s be (-3)/((-3)/h)*1. Solve -5*j - 15 = s for j.
-5
Suppose -5*n + 43 = c, -3*n - 13 + 38 = c. Solve n = -2*q + 3 for q.
-3
Let t(w) = -w**2 + w + 3. Let f be t(0). Let k be f/(-2)*(-3 - -1). Solve 5 = 2*d - k*d for d.
-5
Let l = -7 - -12. Suppose 4*b = -12, l*f = 3*b - b + 16. Suppose -g - 2*z + 12 = z, 12 = 3*z. Solve g = -f*t - t - 12 for t.
-4
Suppose j = -2*j - 2*k + 16, 18 = 5*j - k. Suppose -z - 2*a = -0*z + j, -5*z - 5*a - 10 = 0. Solve 2*p + 2 - 8 = z for p.
3
Let k be (5 + -5)/(0 + 3). Solve k*q = q for q.
0
Let q be (-1 + -17)*(-28)/12. Let b be (6/4)/(1/q). Let d be (-14)/b + (-2)/(-9). Solve 2*u - 2 = -d for u.
1
Suppose 0 = -2*u + y + 15, 0 = -3*u + 5*y + 36 + 4. Let l be (0/1)/1 + 0. Let c be ((-1)/8*2)/(1/(-4)). Solve l = h + c - u for h.
4
Let i(l) = 3*l - 1. Let d be i(1). Solve d*o + 5 = -3 for o.
-4
Let g = -42 + 46. Solve 0 = g*r - 7 - 5 for r.
3
Let r(v) = v**3 + 5*v**2 - 6*v. Let y be r(-6). Let b = -12 + 34. Suppose -l = -5*z, z - b = -5*l + 4*z. Solve 2*u - l - 3 = y for u.
4
Let g = 78 - 66. Solve -g = 3*z + z for z.
-3
Let o = -3 - -7. Suppose -3*f + 36 + 30 = 3*a, 5*a + 90 = 5*f. Suppose -5*d = -5*c + f, 11 = 4*c - 2*d - 5. Solve -8*s + c = -o*s for s.
1
Let h(j) = -5*j**3 - j - 1. Let z be h(-1). Suppose 0*i + i - z*o = 15, 3 = 4*i - o. Solve 0 = b - 4 - i for b.
4
Let l be 4/10 - (-24)/15. Suppose 3*y - 39 = -3*v, -2*y + 1 + 1 = 0. Solve v = l*a + a for a.
4
Suppose 5*m - 3*m - 18 = 0. Solve h = 4*h + m for h.
-3
Let w(r) = -r**3 + 4*r**2 + 4*r + 7. Let n be w(5). Let d be n/(-7) + (-10)/(-35). Solve d = -p - 4*p for p.
0
Let i = 198 - 195. Solve i + 1 = -2*a for a.
-2
Suppose -3*x - 2*r + 14 = 0, -4*r = -4*x - 8 - 0. Let m(v) = -v**3 + v**2 - v. Let w be m(0). Let y = x + w. Solve p = -y*p for p.
0
Let z(r) = -r**2 - 5*r - 3. Let j be z(-3). Solve j = 5*m + 18 for m.
-3
Let n(b) = 7*b**2 + b. Let d be n(1). Solve -d = -o - 12 for o.
-4
Let x(t) = -t**3 + 3*t**2 + 4*t + 5. Let q be x(4). Suppose 2*s + q + 3 = 0. Let z = -3 - s. Solve -4*u - z = -3*u for u.
-1
Let j(m) = -m**3 - 3*m**2 + 5*m + 6. Let u be j(-4). Let l be (12/(-5))/(6/(-20)). Let a be (-4)/(l/(-6)) + 4. Solve a*s = u*s for s.
0
Let c(k) = -k**3 + 5*k**2 - 4*k + 4. Let j be c(4). Suppose 0 = -5*n - 2*o - 6 + 46, 2*o = n + j. Solve -4*g + n*g = -4 for g.
-2
Let g = -11 + 23. Let p = -10 + g. Solve -3*d + 25 = p*d for d.
5
Suppose -17*t = -14*t - 9. Solve 0*p + t*p + 3 = 0 for p.
-1
Let f be 104/(-10) + (-22)/(-55). Let q = 15 + f. Solve -2*i = -q*i for i.
0
Suppose 4*x = 4*s, 5*x - 28 = -4*s + 2*x. Solve 0 = s*m - 0 + 4 for m.
-1
Let o(v) = v**2 + 5*v - 1. Let j be o(-6). Suppose j*b = 35 - 5. Solve -b*s + 2*s = 20 for s.
-5
Suppose 7*p = 25 + 3. Solve 0 + 8 = -p*f for f.
-2
Let u(q) = q**3 + 6*q**2 + 2*q + 10. Let d be u(-5). Let l be (-1)/(2*(-1)/12). Solve -l*a + d = -a for a.
5
Suppose -2 = -z + 3*f - 0*f, 3*z - 2*f - 13 = 0. Suppose 0 = -2*u + u. Suppose u = 2*c - 2 - 22. Solve -z*n + 37 = c for n.
5
Let q be (-10)/(-3) - (-1)/(-3). Let b(l) = l**2 - 2*l - 1. Let n be b(-2). Solve -4*p - q = -n for p.
1
Suppose b + 5*g = 4*b + 9, -4*g + 12 = 0. Solve 5 = -b*r - 1 for r.
-3
Let x be (4/(-14))/(3/(-21)). Let o be (x + -2)*(1 - 2). Let i = o - -3. Solve -9 = -i*t + 3 for t.
4
Suppose -3*r - 25 = -2*z, 7*z - 2*z = -5*r. Solve -6*a = -a + z for a.
-1
Suppose 4*p + p - 120 = -5*a, -5*p + 76 = 3*a. Solve 5*m + a = 2 for m.
-4
Let u(z) = 3*z**2 - 11*z - 4. Let b be u(5). Solve w + 3*w = b for w.
4
Let y = -8 - -5. Let a = 7 + y. Solve x = -x - a for x.
-2
Let r = 6 - 13. Let v = -29 - -14. Let q = r - v. Solve a + q = -a for a.
-4
Suppose -m - 3*n = 7, -7*m +