= -2*k - k. Suppose -4*s = -5*s + k. Suppose 6*h = 4*h + s. Solve -13 - 7 = -h*c for c.
4
Suppose 4*h + 6*h - 50 = 0. Solve -h = 2*q - 13 for q.
4
Let i be (-34)/(-10) - (-4)/(-10). Suppose -i*v + 2*v - 2 = 0. Let z = -2 - v. Solve -3*k + z*k = 0 for k.
0
Let y(j) = -6*j**3 + j + 1. Let u be y(-1). Suppose -f + 20 = i - u*i, f + 3*i = 4. Let q be f/45 - 4/18. Solve z + q*z = 0 for z.
0
Let k = -9 + 16. Let l be (-27)/5 + 10/25. Let q = l + k. Solve -q*j - j - 6 = 0 for j.
-2
Let q = -30 + 16. Let t be q/(-2) - 2/2. Solve j + j = t for j.
3
Suppose -5*x + 2*x + 12 = 0. Solve 0*l = l + x for l.
-4
Let f = -2 - -8. Let q(y) = -y**2 + 5*y + 2. Let r be q(4). Let n = f - r. Solve n*c = -c - 2 for c.
-2
Let n(w) = w**3 + w**2 - w + 1. Let y be n(-3). Let i = -23 + 21. Let l be -2 + y/4*i. Solve 0 = -9*r + l*r - 16 for r.
-4
Suppose 4*h = 5*s - 22, 3 - 15 = 4*h. Let a(b) = -b + 2. Let u be a(s). Solve 0*o - o = u for o.
0
Suppose 0 = 3*l - 2*u - 45, -2*l - 3*l + 79 = -2*u. Let a be (12*(0 + 1))/(-1). Let b = a + l. Solve -b = 2*i - i for i.
-5
Let p = -1 - -5. Suppose -3*f + 5*f - j - 15 = 0, 0 = p*j + 12. Let d(h) = 14*h**2 + 1. Let u be d(-1). Solve -u = f*z - z for z.
-3
Let f(y) = -y + 18. Let u be f(0). Suppose u = 5*z - 7. Suppose 2*v - o - 34 = 2*o, 53 = 3*v - z*o. Solve 5*x = 9 + v for x.
4
Let i be 3*(-1 + 8/(-6)). Let z = i + 11. Suppose 4*p + 12 = 3*g, 0*p + 5*g = -5*p + 20. Solve p*v + 12 = -z*v for v.
-3
Let i(f) be the third derivative of -f**5/60 - f**4/12 + 5*f**2. Let r be i(-2). Let z = -6 - -15. Solve r = 3*y + z + 3 for y.
-4
Suppose 2*g + 24 = 3*o - 20, 4*o - 40 = -2*g. Solve 3*x + o = -3 for x.
-5
Let f be (-2)/6 + 56/6. Let j(t) = -2*t**2 - 12*t - 1. Let s(z) = -z**2 - 6*z - 1. Let p(r) = -2*j(r) + 5*s(r). Let y be p(-5). Solve -f - 1 = -y*n for n.
5
Let g(z) = 2*z - 13. Let w be g(9). Solve 0*m - w*m = 5 for m.
-1
Let c(y) = -y + 10. Let l be c(6). Solve -l*v = 2 + 6 for v.
-2
Let d be ((-5)/(-2))/(-1)*-2. Solve 3*w - d = -14 for w.
-3
Let l(w) = w**3 + 4*w + 0*w + 3*w**2 - 2*w. Let m be l(-2). Suppose -4*b - v + 75 = 11, m = b + 2*v - 23. Solve 0*q + b = 5*q for q.
3
Let w(o) = 9*o + 2. Let s be w(1). Solve s*i = 6*i - 5 for i.
-1
Let m = 12 - 19. Let d = m + 14. Let a = d + -3. Solve -a*u - u = -25 for u.
5
Let p = 3 + 0. Solve 0 = 5*d + 17 + p for d.
-4
Let p(f) = f**2 - 10*f + 30. Let g be p(5). Solve 0 - 10 = g*k for k.
-2
Let t(c) = c + 14. Let b be t(-14). Let h(p) = -p + 1. Let l(z) = -4*z + 6. Let v(k) = 3*h(k) - l(k). Let s be v(5). Solve -s*a - a = b for a.
0
Suppose p = -m, 3*p - 4*p = -2*m - 9. Suppose -5*a + 23 = p. Suppose n - a = -o, o - 8 = -o. Solve n*r - r = -2 for r.
2
Let y(m) = m**2 - 4*m - 4. Let h be y(6). Solve 3*n = 7*n - h for n.
2
Let a be (-4)/22 + 48/22. Solve a*u + 20 = -2*u for u.
-5
Let u be 0 - (0 + 3/(-1)). Suppose -u*y + 16 = y. Suppose -2*m = -5*m. Solve -t - y*t + 20 = m for t.
4
Suppose 2*t - 4*q - q - 28 = 0, -t + q = -20. Suppose -5*f + 3 = -h - 14, 4*h - t = -3*f. Solve 5*r - f*r - 2 = 0 for r.
2
Suppose 0*i = -3*w - 2*i + 40, 3*w + 3*i = 45. Let u = 12 - w. Solve 3*x = u*x - 4 for x.
-4
Let o(a) = a**2 + 3*a - 3. Let t be 2/(-5) + 36/(-10). Let p be o(t). Solve 0 = -2*y - 1 - p for y.
-1
Let y(r) = -r. Let j(u) = -u**2 + 4*u - 5. Let d(t) = -j(t) - 5*y(t). Let c be d(0). Suppose -2*h - c*w = 4 - 20, h + 5 = 4*w. Solve h = -2*z - 5 for z.
-4
Let b = 34 - 26. Solve 0 = 2*f + 2*f - b for f.
2
Suppose -3*x - 1 + 7 = 0. Solve -3*u + u + x = 0 for u.
1
Suppose 4 - 2 = 2*m. Solve -m = -x - 2 for x.
-1
Let f = -2 + 4. Solve -c = f*c for c.
0
Let b = -1 + 1. Suppose b = 3*m + 3*s - 21, 5*m + 1 = 3*s + 28. Let t = m - 1. Solve t - 1 = -4*o for o.
-1
Suppose 2*t = -2*b + 2, -b - 28 = -4*t + b. Solve t*g = -3 - 2 for g.
-1
Let w be (-23)/(-5) + 14/35. Let q be w/((-5)/(-12)) - 3. Solve 1 = -5*k - q for k.
-2
Let r be (-2 + (3 - 1))/2. Let z(s) = -s - 1. Let o be z(-5). Solve r*p = -o*p for p.
0
Let j = -4 - -9. Let y(h) = 4 - 2*h**2 + j*h**3 - h**2 - h**3 - 3*h**3. Let t be y(4). Solve -t = -o + 6*o for o.
-4
Let u = -5 - -7. Suppose -5*m + 5 = -4*v + 30, -u*v + 4*m + 20 = 0. Suppose v = 4*x + 5*s - 95, -99 = -4*x - 0*s - s. Solve 5*o = -0*o - x for o.
-5
Suppose 3*m - 4*m = -1. Let v be (-2)/(m + 0) - -3. Let h(k) = -k**2 - 4*k + 7. Let c be h(-5). Solve c*i - v = -3 for i.
-1
Let k be -1*2*3/6. Let l = k - -5. Let c = l + -1. Solve 0*o = c*o + 15 for o.
-5
Let p be 185/35 + (-2)/7. Let s(d) = -7*d**3 + d. Let k be s(-1). Let b = k + -3. Solve -b*i - p = 4 for i.
-3
Let s be (-2)/(-4) + (-25)/10. Let t be (-2)/(-2) + (s - -1). Suppose -3 = -6*n + 5*n. Solve t = n*x + 3 + 3 for x.
-2
Let k be (-2)/3*288/(-4). Suppose 0 = -q + 4*q - k. Solve 2*t + 6 = q for t.
5
Let t(g) = g**3 + 10*g**2 - 10*g + 10. Let i be t(-11). Let d = 1 + i. Suppose -5*l + 0*l + 25 = -3*c, -2*c - 10 = d. Solve l*x + 25 = -3*x for x.
-5
Let r(b) = 4*b**2 + 2*b + 1. Let o be r(-1). Let w = -1 - -3. Solve -3 = w*x + o for x.
-3
Let z = -12 + 17. Let x be (-1 - -1)/(z - 7). Suppose 5*n = -4*t + 3*t + 25, -3*t + 3*n - 15 = x. Solve 0 = -4*c - t*c - 12 for c.
-3
Let t = -9 + 12. Let c be (-1)/(-1) + (-1 - 0). Suppose c*g + t*g = 15. Solve 0 = g*m + 13 + 2 for m.
-3
Let p(k) = -k - 4. Let w be p(-8). Let g(c) = -c**3 + 4*c**2. Let x be g(w). Solve 2*l = -x - 10 for l.
-5
Let m = 76 + -71. Solve h = -4*h + m for h.
1
Suppose -2*h - 2*y + 2 = -28, -15 = -2*h + y. Let o = h + -5. Suppose 0 = o*q - 3*u, -5*q - 10 = 4*u - 45. Solve -4*b - 9 = q for b.
-3
Let r(u) = 0 + 3 + 6 + 12*u + u**2 + 0. Let x be r(-11). Let o be (-20)/(-8) - x/(-4). Solve k + 0 + o = 0 for k.
-2
Suppose -5*k - 4 = -4*d, 56 = 3*d + 4*k + 22. Solve d = 8*r - 6*r for r.
3
Let h(s) = s + 3. Let q be h(-3). Suppose q = 3*x - 6 - 12. Solve -x - 2 = 4*k for k.
-2
Suppose 2*n + 2*n = 3*s, 0 = 3*s + n. Solve -q + 5 = -s for q.
5
Let d = 74 - 72. Solve 2*w + 0 = d for w.
1
Suppose 2*u + 36 = 4*h, -h + 0*h + 9 = u. Suppose -b = -5*f + 12, f - 2*b - h = -4*f. Suppose 0*y + 4 = 4*y. Solve -j + f = y for j.
2
Let k = 6 - 3. Let x(j) be the third derivative of -j**6/120 + j**5/20 + j**4/24 + j**3/2 + 2*j**2. Let t be x(k). Solve -15 = -v + t*v for v.
-3
Suppose 5*k - 4 - 1 = 0. Let c(o) = o**2 + 7*o + 5. Let l be c(-7). Let q be (-2)/(2 + 1 - l). Solve -v - q = k for v.
-2
Let n(x) = -x**2 + 8*x - 1. Let j be n(7). Let u = 6 + j. Solve -d = 3*d - u for d.
3
Let x = 8 - 12. Let k be (-1)/2 - x/8. Solve k = 4*w - 9*w - 20 for w.
-4
Let k(l) = 15*l**3 - l**2 + 1. Let i be k(1). Solve -u - i = 2*u for u.
-5
Let f(p) = -7*p + 1. Let m be f(0). Solve -4*l - m = -5*l for l.
1
Let z(q) = 3*q - 4*q + 11 + 0*q. Let h be z(8). Solve 1 + h = o for o.
4
Let d(i) = i**2 - 4*i - 6. Suppose -4*p = -7*p + 18. Let x be d(p). Solve x*s = 4*s - 10 for s.
-5
Suppose 0 = g - t - 0*t + 2, 5*t - 28 = -4*g. Suppose -20 = q + g*q + 4*s, -2*q - s - 5 = 0. Suppose 0*c + 4*c - 8 = q. Solve 7*b = c*b + 5 for b.
1
Let w = 10 - 5. Let i(v) = 3*v - 10. Let t be i(w). Solve 16 = -t*a + a for a.
-4
Let x(h) = -h**3 - 4*h**2 - 2*h + 4. Let w be x(-3). Let t(v) = 2*v - 3*v**2 + 0 + 15*v**3 - 16*v**3 - 3. Let i be t(-4). Solve y - w = -i for y.
-4
Let d = -19 - -19. Suppose d = -2*h + 2*p - 8, -3*h + 3 - 11 = -2*p. Let g be (4/(-6))/(2/(-6)). Solve h = g*q - q - 1 for q.
1
Suppose 17*g - 25 = 12*g. Solve g = -5*d - 10 for d.
-3
Let f(l) = -l**2 - 3*l + 9. Let n be f(-4). Solve d = 6*d - n for d.
1
Suppose -4 = s - 5*s. Suppose 4*j + 29 = -u - 2*u, 0 = -4*j + 5*u - 5. Let q be (0/j)/(1/1). Solve q = g - s + 3 for g.
-2
Suppose -6 - 3 = -5*y - 3*o, -5*y + o + 17 = 0. Let f = 9 + -7. Suppose -3*z + y*v = -27, f*z + 2*z - 3*v - 31 = 0. Solve z*p + 8 = -4 for p.
-3
Let s be 0*(-3)/18*3. Solve s*k + 3*k - 3 = 0 for k.
1
Let o(n) = -5*n**3 - n**2 - 2*n - 1. Let r be o(-1). Solve d = -4*d - r for d.
-1
Suppose 4*f + 8 = 2*i, 8 = 5*i + 4*f + 2. Solve d + 0*d = -i for d.
-2
Let p be 60/14 - (-2)/(-7). Let x be (9/6 - 2)*-40. Solve -x = z + p*z for z.
-4
Suppose -4*p + 5 + 43 = 0. Suppose -3*j + 5*d + 12 + 11 = 0, 4*j + 4*d = -p. Solve -f - j = 3 for f.
-4
Let f be (-55)/(-25) - 1/5. Suppose -f*a + 4*a = 0. Suppose a = 4*p - 15 + 3. Solve -4*j = -3*j + p for j.
-3
Let o be 2/1 - -2*4. Let t be (-10)/(-45) + (-20)/9. Let