 Solve 5*c + 7 = k for c.
-1
Let r be 0/(5*24/30). Suppose -3*a + 6 = -2*a. Solve r*h = 2*h - a for h.
3
Let t(g) = -g**3 + 8*g**2 - 7*g + 8. Let f be t(7). Solve 5*m - 9*m - f = 0 for m.
-2
Let a(w) = -w**3 - 2*w**2 + 2*w - 2. Let d be a(-3). Let s be -2 + d + 0 - -5. Suppose 2*h = 4*j + 8 - 2, 4*j - 9 = -h. Solve s*i - j = -21 for i.
-5
Let u(c) = -3 + 3 + 5*c + 2 + c**2. Let r be u(-5). Suppose 0 = 2*w + r, 3*g + 2*w - 18 = 2*g. Solve 0*z + g = 4*z for z.
5
Let q be 2 - (-3)/((-9)/(-3)). Suppose -q*n = -4*n + 15. Suppose -4*x = 3*w - n, 2*w - 4*x = 6 + 4. Solve -12 = -w*t + 8 for t.
4
Suppose -5*j + 50 = 3*a, 0 = -3*a + 3*j + j + 68. Solve 0*l = -5*l + a for l.
4
Let p = -5 + 11. Let c = 3 - 3. Solve c = -3*k + p - 15 for k.
-3
Let k = -189 - -191. Solve -6*q + 4 = -k for q.
1
Let h(y) be the second derivative of y**4/6 + y**3/6 + y**2 + 3*y. Let q be h(4). Suppose -4*o + 5*t = -60, 3*t - q = 4*o - 9*o. Solve 2*v + o = -0 for v.
-5
Let y be (-3)/(-1) - (-4 - -4). Solve 1 = -u + y for u.
2
Let j = 16 + -13. Suppose -p = 1 - j. Solve 0 = -p*k - 2*k - 4 for k.
-1
Suppose 5*p - 6 - 14 = 0. Solve 0 = -5*t - p - 11 for t.
-3
Suppose -3*n + 10 = -0*j + 5*j, -4*j + 5*n = -45. Suppose -j*o = -2 + 7, m - 9 = 5*o. Solve b - 5*b = m for b.
-1
Suppose 5*w = 4*w + 5*x - 8, 3*x - 6 = 0. Suppose 6 = -4*j - 3*g + 23, -2*j - w = -2*g. Solve -j*n - n = 12 for n.
-4
Let m(u) = 6*u**3 + 2*u - 2*u**3 + 0*u - u. Let c be m(1). Solve c*j + 0*j = 10 for j.
2
Let a = 43 + -23. Suppose 0*d - 10 = -2*d. Suppose -6 = f + 3*u, -4*f + d*u + 51 - 7 = 0. Solve 0 = -f*s + s - a for s.
-4
Suppose -2*o - 3*o + 15 = 0. Suppose 2 + 10 = -o*m. Let f be (-1 + -12)*(3 + m). Solve -4*z - 1 = -f for z.
3
Suppose 0 = 5*u + m, 20 = -4*u - 5*m - 1. Suppose 1 = 2*y - 2*z - 1, -z = 4*y - 9. Solve k = u + y for k.
3
Let j(v) = v**3 - 5*v**2 + 7*v - 5. Let i be j(4). Let t(n) = -n**2 + i*n**2 - n**3 - 3 + 7*n + 7. Let k be t(7). Solve 0*o = o + k for o.
-4
Let a = 8 + -6. Suppose 5*d = -3*r + 31, a*d + 5*r = -0*d + 20. Let i = 6 - d. Solve -5*m = -i - 9 for m.
2
Suppose -4*v + 7*v - 9 = 0. Solve 2*g + v = 1 for g.
-1
Let o be (-2)/7 - (-4)/14. Suppose -c + j - 1 = o, c = 2*j - 5*j - 13. Let w(r) = -r**2 - 5*r. Let d be w(c). Solve -9 = d*g + 11 for g.
-5
Let d(k) = k**3 - 4*k**2 - 6*k + 7. Let l be d(5). Let g be (-1)/(((-10)/6)/5). Solve r = g*r + l for r.
-1
Let p(h) = h - 3. Suppose -4*f - v + 3 + 0 = 0, -5*f - 15 = 5*v. Suppose -4*w + 25 = -w + f*n, 5*w - 33 = n. Let z be p(w). Solve 0 = z*k + k for k.
0
Let n = 21 - 6. Solve -3*j + n = -6*j for j.
-5
Suppose l + 32 = 2*l. Suppose f - 2*i = 5*f - 8, -3*f + 5*i = -l. Suppose -3*m - 2*m - 2*z + 28 = 0, 0 = z - f. Solve u + 3*u = -m for u.
-1
Let m(c) = c**2 + 4*c. Let d be m(-5). Suppose t - 2*t = 3*g + 3, -g = d*t + 1. Solve 3 = -t*v - v for v.
-3
Let h(c) = 5*c + 32. Let v be h(-6). Solve 0 = -3*j - 1 - v for j.
-1
Let k(y) = y**3 + y**2 - 3*y + 1. Let s be k(2). Let h = s + -2. Suppose 0 = -5*o - 0 + h. Solve 0 = c + 2 - o for c.
-1
Let g be (6/(-5))/((-6)/20). Suppose -2*i + 2*z = 0, -z = -g*i - 4*z. Solve i = -2*r + 5*r for r.
0
Let q(s) = s**3 - s. Let r be q(0). Solve r*u = -u + 2 for u.
2
Suppose -4*j + 12 = 0, 2*h - 5*j = 3 - 2. Solve -h - 12 = -5*m for m.
4
Suppose 2*c + c = 9. Suppose q = -m + c, -3*m - 2*q = -5 - 1. Let f be -2 - (0 - 1 - 2). Solve 0 = k - f - m for k.
1
Suppose -2*f + 9 - 1 = 0. Solve c + f*c + 10 = 0 for c.
-2
Let k be (-46)/(-10) + 4/10. Suppose 3*w + k*j - 20 = 0, -j + 16 = -w + 4*w. Solve 0 = -w*f + f - 16 for f.
-4
Let b(s) = -s**2 + 7*s - 6. Let k(x) = x**2 + 4*x - 8. Let r be k(-6). Let a be b(r). Solve a = -v + 2 for v.
-4
Let a(n) = n**2 + 11*n - 14. Let x be a(-14). Solve -x = -4*o - 8 for o.
5
Let w(q) = -q**3 + 4*q**2 + q + 4. Let p be w(4). Suppose 3*h = -z + 3*z - p, -3*z + 4*h = -12. Suppose -13*b = -12*b - 3. Solve b*v - z*v = 3 for v.
-3
Suppose 2*m + 0*m = -5*h + 31, 5*m - 35 = -4*h. Let r(z) = 3 - 3 - 2 + z + 0. Let y be r(m). Solve -3*i + 11 = -y for i.
4
Suppose -3*y + 19 = -35. Solve -2 = 5*w + y for w.
-4
Let s be ((-24)/(-10))/((-1)/(-5)). Suppose -2*k - k = -s. Solve -k*g - 25 = g for g.
-5
Suppose -4 = -2*d + 3*d. Let x(c) = -c - 3. Let y be x(d). Let k = 5 - 3. Solve y + 7 = -k*v for v.
-4
Suppose 3*y = 2*n - 15, 4*n - 3*n - 20 = 4*y. Let p(v) = 27 - 9 - 5*v - 10 - v**2. Let b be p(-6). Solve 2*w = -b - n for w.
-1
Let i(z) = -z**2 + 10*z - 10. Let g be i(8). Let s(a) = -a**2 + 6*a + 1. Let m be s(4). Solve -5*q + m = -g for q.
3
Let r = -36 + 62. Suppose -r + 146 = 6*w. Solve -4*i - i = w for i.
-4
Let a(p) = -2*p**3 + p**2 - 4*p - 3. Let v be a(-2). Let r be 1/(3/15 - 0). Suppose -r*n + 0*n + v = 0. Solve n*b - 1 = 24 for b.
5
Suppose -3*j - p + 15 = -0*p, -5*j + 32 = 4*p. Let z = -15 + 34. Let x = -15 + z. Solve -j*r + 8 = -x for r.
3
Let c be 50/15*(-12)/(-10). Suppose 0 = 2*g + 3*g + 90. Let a = c - g. Solve -5*d + 7 = a for d.
-3
Let c = -32 - -37. Solve c*j - 14 = 1 for j.
3
Let x(p) = p + 7. Let j = 28 + 0. Suppose 4*b + 4*n + j = 0, 0 = -n - 1. Let q be x(b). Solve 0 = t + q - 4 for t.
3
Let h = -15 - -6. Let m = 25 + -36. Let c = h - m. Solve -c*n - 25 = 3*n for n.
-5
Let b be 0 - (5 + -13)/4. Let j be 2/(-5) - (-82)/5. Solve b*x + j = -2*x for x.
-4
Suppose -x - 4*u = -19, 0 = -0*x + 5*x - 3*u - 3. Let n = 6 - x. Let s be ((-12)/(-4))/(n/2). Solve -10 + s = 4*v for v.
-2
Suppose -8 = -j - h, 0*h - 23 = -4*j - h. Solve 0*q + 15 = j*q for q.
3
Let v = -22 - -24. Suppose -v*f + 3 = -3. Solve 2*c = c + f for c.
3
Suppose 0*s - 2*s - 2*i = -4, 3*s + 10 = i. Let l = s + 5. Solve -l*w + 4 = -5*w for w.
-2
Let u(o) = -o**2 - 8*o - 12. Let l be u(-5). Let i = 5 + -5. Solve 0 = -i*t + l*t + 12 for t.
-4
Let y(x) = x**2 - 6*x + 6. Let v be y(5). Let c = -10 - -14. Let o be (-2)/7 - 37/(-7). Solve -o*t + v = -c for t.
1
Let w = -6 - -9. Suppose -w*p = p. Solve p*z - 4*z + 16 = 0 for z.
4
Let i(m) = m**2 + m - 2. Let q be i(1). Solve p - 4*p = q for p.
0
Suppose 20 = -5*y + 10*y. Solve 16 = 5*k - y for k.
4
Suppose -5*d + 5*l = -80, 0 = -l - 4*l - 25. Let j = d + -7. Solve j*h - 2 = 5*h for h.
-2
Let n(y) = -y**2 + 6*y - 6. Let w be n(2). Let g be 14/4 - (-1)/(-2). Suppose -3*x - 3*q - 8 = q, -3*q = -g*x + 27. Solve -x = -w*h - 2*h for h.
1
Let u be (-1)/(-4) + 95/20. Suppose -u*m + 11 = -z, -m = -2*m + 3*z - 9. Solve 2 = -m*f + 5 for f.
1
Let r(m) be the first derivative of -1/3*m**3 + 2 + 9/2*m**2 - 8*m. Let u be r(7). Solve f + 2 = u for f.
4
Let q(a) = -a**3 - 1. Let k be q(-1). Suppose 2*m + 4 - 18 = 0. Suppose m = u - 3*n + 4, 2*n = 5*u - 15. Solve k = u*v - 0*v + 3 for v.
-1
Suppose 4*f - 20 = -5*n, 2*f - 2*n - 28 = -0*n. Solve -f = 2*c - 0 for c.
-5
Let n be (4 + -3 - 0) + -22. Let b be 8/6*n/(-14). Solve 7 - 17 = b*z for z.
-5
Let s be (0 - -4) + 0 + -2. Let u = -1 + s. Let a be u - 1 - (-32)/8. Solve -3*c + a*c = 4 for c.
4
Suppose 5 = -2*p - 3*g, -3*p + 2*g = 4*g - 5. Solve p = r - 0*r for r.
5
Suppose 10*b = 11*b - 4. Suppose -6*p = -14 - b. Solve 0 = p*g - 5*g + 2 for g.
1
Let i be (-7 + 2)/(-2 + 1). Suppose 26 = 4*k - i*j, -7 = -k + j - 1. Solve 0 = -2*g + 4*g - k for g.
2
Suppose 2*j - j = 3*f - 12, -5*f = 5*j. Let s(z) be the third derivative of -z**4/24 - z**3/2 + z**2. Let n be s(j). Solve -t + n = 1 for t.
-1
Let r(b) = -b**2 - 3*b. Let x be r(-3). Let q(u) = 4*u + 2. Let g be q(-6). Let k = -15 - g. Solve x = -a + k - 2 for a.
5
Let d be (-8)/6*9/4*-1. Solve d*f - 9 = 3 for f.
4
Let y = -29 + 29. Let v be 3/2 + 1/2. Let b be ((-7)/v + 1)*-2. Solve 0 = b*m - 20 - y for m.
4
Let d = 177 + -174. Solve d*a = -0*a - 12 for a.
-4
Let w(n) = -n**2 + 5*n + 4. Let l = 24 + -19. Let d be w(l). Solve k + d*k = 15 for k.
3
Let c(x) = -4*x - 2 + 7*x + 2*x - 4*x. Let d be c(4). Solve -d*h - 5 = 5 for h.
-5
Let y(z) = -4*z**2 + 4 - 4*z**3 - 4*z**2 + 2*z**2 + 5*z**3. Let t be y(6). Solve 0*l + t*l - 12 = 0 for l.
3
Let q(m) = m**2 + 6*m. Let f be q(0). Solve a - 6*a + 5 = f for a.
1
Suppose 4*q = -g + 36, 4*q + 6 = g + 50. Solve -4*x - q = -2 for x.
-2
Let y = 7 - 15. Let v = y + 4. Let k = -2 - v. Solve 1 = -k*h + h for h.
-1
Let i(l) = l**2 - 5. Let n be i(4). Solve n = -5*t - 4 for t.
-3
Let r(u) = -u**3 + 9*u**2 + 10*u - 2. Let z(m) = m**3 - 8*m**2 - 9*m + 3. Let b(k) = 