for k.
-3
Suppose -20 = -5*g - 5*d, -16 = -5*g - 19*d + 15*d. Solve 7*h - 2*h + 20 = g for h.
-4
Let g(l) = -6*l - 3. Let p be g(-1). Let n(x) = 2*x**2 - 2*x - 3. Let o be n(p). Solve -6 = 5*k + o for k.
-3
Suppose 4*t - m + 23 - 106 = 0, -3*t + 2*m + 56 = 0. Let w = t + -22. Solve -q - 3 = -w*q for q.
-3
Let k = -32 + 37. Suppose 3*u - k*b + 19 = 0, -2*u + 13 + 6 = 3*b. Solve 3*f + u = -10 for f.
-4
Let j(b) = -b**2 + 23*b - 17. Let g be j(22). Solve g*y = 4*y + 1 for y.
1
Let x(b) = 28*b - 465. Let l be x(16). Let t = -53 + 33. Let r = l - t. Solve s + r*s - 12 = 0 for s.
3
Suppose 71*w = 66*w - 115. Let o = -19 - w. Solve o*g = 7*g + 6 for g.
-2
Let f = 36 + -36. Suppose 0 = -2*c - f*c + 10. Let w = -1 + 2. Solve 0 = -c*v + w - 26 for v.
-5
Suppose 0 = -231*x + 237*x - 30. Solve -x*u + 0 = -5 for u.
1
Suppose 5*o = 5*z - 2 + 32, -2*z - 8 = 0. Solve o = -u - u for u.
-1
Let w = 13 + -20. Let y be (w - 1)*(16 + -15). Let g(a) = -a**3 - 7*a**2 + 6*a - 10. Let l be g(y). Solve -j + 25 = -l*j for j.
-5
Let s be 4/6 - 70/6. Let h = s + 19. Suppose -h = -5*f + r, 4*f - 2 = r + 4. Solve -10 = 4*n + f for n.
-3
Suppose 0 = z - 0*p + 3*p + 59, -4*z = -5*p + 202. Let r = z + 58. Solve 9 = -r*l - 6 for l.
-3
Suppose 0 = -2647*r + 2641*r + 84. Solve -r*s + 18 = -20*s for s.
-3
Let p = 36 + -18. Let k = -15 + p. Suppose -f = -k*f. Solve f = -4*v + 5 - 1 for v.
1
Suppose 6*j - 126 = 3*j. Suppose 4*s - j = 2. Let k be (s - 5)/(-1 + 3). Solve 0 = 5*y - k - 2 for y.
1
Suppose 0 = -z + 3 + 5. Suppose 5*l + 4*f - z*f = 0, 0 = 5*l - f. Solve -d - 5 = -l*d for d.
-5
Let n = -43 + 47. Suppose 2*v - 5 = t, -23 = -5*t - n*v + 2*v. Solve t = 2*a - 1 for a.
2
Suppose 0 = 4*j - 12, d + 5*j - 29 = -4. Suppose -4*u - 5*a = 1, -4*a + 10 = -2*u - 10. Let g = u + 4. Solve g*r + 2*r = -d for r.
-5
Suppose 5*g = 27 - 2. Suppose -q = 3*v - 12, -v - q = -g*q + 9. Suppose m - 5*b = -15, -5*m = -2*b + 9 - v. Solve 2*d + 2*d = m for d.
0
Let a(v) = -10*v + 12*v - 8 - 4. Let f be a(5). Let x be (-30)/(-24)*(2 - f). Solve 4*i - x*i = 1 for i.
-1
Let v(g) = 6*g + 13. Let o be v(-9). Let a = -41 - o. Solve a = -5*u + 9*u + 8 for u.
-2
Suppose 3*d + j = 60, 0*d + 2*j = 3*d - 60. Solve 21*w + 3 = d*w for w.
-3
Suppose -s = -0*q + q, -2*s = -3*q + 15. Suppose r + 0*r - q = 0. Suppose 5*t + j + 0*j = 59, -44 = -4*t - 4*j. Solve -r*k + 0 = t for k.
-4
Let j(h) = -h - 4. Suppose -r = -6*r - 30. Let p be j(r). Solve -p*w - 6 = 2 for w.
-4
Let n(t) = -t + 10. Let g be n(6). Suppose -4*w + 33 = 3*z, -w + 3*w = -5*z + 27. Let j be 63/w*2/3. Solve g*b - 27 = -j for b.
5
Suppose -2*y - 12 = -3*o - 2, -4*o - 2*y + 18 = 0. Suppose 8 = 2*a - o. Suppose -m + 24 = 3*m. Solve -3*c + m = -a for c.
4
Let b be 1/((-2)/(27*2)). Let k = 30 + b. Solve k*h + 15 = -2*h for h.
-3
Let k = 32 + -32. Suppose -3*x + 2*p = x - 8, k = -3*p - 6. Solve -3*v = -4 + x for v.
1
Let m(j) = 4*j - 11. Let v(i) = i - 1. Let z(q) = m(q) - 5*v(q). Let g be z(-8). Let f be (-1)/(7/2) - (-69)/21. Solve g*t + f + 1 = 0 for t.
-2
Let b(x) be the first derivative of -x**4/4 + 5*x**3/3 - 2*x**2 + 6*x + 1. Let i = -610 + 614. Let f be b(i). Solve -f*d - 6 = -4*d for d.
-3
Let k(f) = 20*f**3 + 10*f + 3. Let d(p) = 7*p**3 + 3*p + 1. Let w(u) = -7*d(u) + 2*k(u). Let y be w(-1). Let q = 199 + -199. Solve q*r + y = 3*r for r.
3
Let z(l) = 7*l - 1. Let d be z(2). Suppose 0 = 5*q + 3*k - 19, 0 = -2*q - 5*k + 2*k + d. Solve -q = 2*h - 12 for h.
5
Let z(l) = l**2 - 11*l - 52. Let q be z(15). Solve -9*o + 1 = -q*o for o.
1
Suppose 5*k + 12 = 6*k. Suppose -k*a + 6*a = -90. Solve -2*r = r + a for r.
-5
Suppose -2*s = -91 + 25. Solve 3*j + s = 48 for j.
5
Let g be -4 + 6 + 7 + 2. Suppose 3*j + g = p - 2, -11 = -5*p - 3*j. Suppose 2*d + p - 10 = 0. Solve 0 = 4*x + 5 + d for x.
-2
Let a(v) = 1 - 2*v + 10*v**3 - 9*v**3 + 0*v**3. Let f be a(2). Solve f*x = 2*x + 15 for x.
5
Suppose -3*p - l - 8 = -0*p, -2*p = -5*l + 11. Let u be (p - -3)/(0 + 2). Suppose 0 = -u*i + i - 7. Solve i*f + 10 = 2*f for f.
-2
Suppose -10*w - 3*w + 74 - 48 = 0. Suppose -3*q + 25 - 10 = 0. Solve -3*j + q = -w*j for j.
5
Let b(l) be the first derivative of -l**3/3 + 2*l**2 + 7*l - 2. Let d be b(5). Let h be (0*(-2)/6)/d. Solve q - 3*q + 10 = h for q.
5
Suppose -28 = -d - 3*d. Let u be (75/6)/((-2)/4). Let q = u + 30. Solve q*l + d = 2 for l.
-1
Let h(t) = -t**3 - 5*t**2 + 2. Let u be h(-5). Let r = u + -2. Suppose -184*l + 882 + 2798 = 0. Solve r*c - 5*c = -l for c.
4
Let g(x) = x + 2. Let p be g(2). Suppose -o - n = -1, 3*o + 0*n = -p*n - 2. Let r = 1826 + -1821. Solve -o = -3*c + r*c for c.
-3
Let u(r) = 5 - 1 - r**2 + 10 + 23 - 16*r. Let x be u(-18). Solve -b - x = -0*b for b.
-1
Suppose 2*b = b + 10. Suppose -19*w = -21*w. Solve -7*i + b*i = w for i.
0
Let w be 5/(-15)*-3*3. Suppose r - w = -4, -u + 16 = -r. Suppose -2*q + 3*n = 0, -3*q + 17 = -0*q + 4*n. Solve 4*h + u = q for h.
-3
Let y(w) = 5*w**3 + 11*w**2 - 5*w + 7. Let n(j) = 4*j**3 + 10*j**2 - 5*j + 7. Let c(v) = 6*n(v) - 5*y(v). Let b be c(4). Solve d - b*d = -6 for d.
3
Let c be 215/45 - (-4)/18. Suppose 5*m + 3 - 23 = -5*n, -c*m + 20 = -3*n. Suppose 0 = -3*i + i + m. Solve 3*a + 4 = -i for a.
-2
Suppose 5*w = 53 + 32. Solve 0 = 4*r + 3 + w for r.
-5
Let j(l) = -5*l**2 - 6*l - 1. Let z(a) = 6*a**2 + 6*a. Let q(h) = 5*j(h) + 4*z(h). Let s be q(-5). Suppose s = 3*c - 0*c - 3. Solve 0*x = -x - c for x.
-1
Suppose -9*p + 12 = -15. Suppose -5*f + 13 = 2*b, -b = -4*b - p. Solve -5*x - f = -8 for x.
1
Let m be (-36)/30*100/6. Let y = -9 - m. Suppose 3*x + 2*f - 19 = y, 0 = 5*x - 2*f - 34. Solve -3*h = h - x for h.
2
Suppose -k - 4*k = -35. Suppose k*t + 0*t - 42 = 0. Solve 0 = -t*c + 5*c for c.
0
Suppose -4*u + 30 = -5*q + 25, 3*u - 6 = 3*q. Solve -106 = u*l - 96 for l.
-2
Let r(c) = c - 8. Let t(n) = -n + 8. Suppose 3*y - 24 = 7*y. Let b(u) = y*r(u) - 5*t(u). Let z be b(6). Solve 0 = -5*j + z*j - 9 for j.
-3
Let c(o) = o**2 + 14*o - 32. Let i be c(-17). Suppose -i*r = -10*r. Solve b + b = r for b.
0
Suppose 2 = r + 2. Suppose r = -6*d + 11*d. Solve 2*p + 6 = -d*p for p.
-3
Let g be 1/3 - (-2)/3. Let f(i) = -i**3 - 6*i**2 + 7*i + 9. Let h be f(-7). Suppose 5*p - h - g = 0. Solve -n + p*n - 3 = 0 for n.
3
Let o(m) be the second derivative of m**4/12 - m**3/6 - m**2 + 2*m. Let v be (16/20)/(5/(-25)). Let d be o(v). Solve d = -5*i - 2 for i.
-4
Suppose 18 - 4 = 3*d + 4*i, -22 = -3*d + 4*i. Solve -d*v + 5 = -5*v for v.
5
Suppose 8*v - 32 = -8. Suppose -7 = 4*w + 3*f, 2*f = -4*w - 2 - 0. Let a(j) = 5*j - 3. Let u be a(w). Solve -u*r = -v*r - 4 for r.
1
Let y(i) = i**3 + 9*i**2 - 21*i + 16. Let x be y(-11). Solve -x = -5*n - 0 for n.
1
Let k(f) = -2*f - 15. Let z be k(-9). Let i(h) = 4*h + h + z*h + 15 - 7*h. Let s be i(-11). Solve s*j = j for j.
0
Suppose -3*j + 7*j - 4 = 0. Let n = 7 - j. Let h be ((-10)/15*6)/(-2). Solve -i + n = h*i for i.
2
Suppose -5*j = 2*s + 2*s - 530, 3*s - 205 = -2*j. Let n = j + -108. Solve n*z - 2 = 2 for z.
2
Let q(t) = -t**2 + 12*t - 20. Let a be 3/((3 + -7)/(-12)). Let i be q(a). Solve -3*x = -i + 22 for x.
-5
Let o = -12 - -17. Suppose -36 = h - 5*h + 10*v, -3*h + 5*v + 22 = 0. Solve -o = -h*r - 1 for r.
1
Let t = -23 - -30. Let y(n) = 4*n - 20. Let q be y(t). Solve -q = 4*s - 0*s for s.
-2
Suppose -8*i = -7*i + 5*m - 11, 4*i = -2*m + 8. Let v(d) = -d**3 + 3*d**2 + d. Let g be v(3). Solve -7 = g*n - i for n.
-2
Let p(k) = k - 2. Let n be p(4). Let o be 60/(-8) - n/(-4). Let d be (-3)/o - 12/28. Solve d*y - 10 = 5*y for y.
-2
Suppose 3*h = -6*h + 27. Solve 0 = 3*l + 6 + h for l.
-3
Let m(o) = -o**2 + 8*o + 209. Let i be m(19). Solve 0 = 2*p - i*p - 2 for p.
1
Suppose -3*f + 47 = 25*l - 24*l, 0 = -2*l - 2*f + 102. Solve 2*w + 61 = l for w.
-4
Let y = -324 - -326. Solve -y*q + 4*q + 10 = 0 for q.
-5
Suppose -2*p + 6 = -0. Let y(v) = v**2 + 5*v + 7. Let z = 79 + -85. Let d be y(z). Solve -d = -4*o + p for o.
4
Suppose 30 = x - 4*x. Let j(f) = f + 13. Let y be j(x). Solve 2*z - y = z for z.
3
Let r = -33 - -34. Let u be -2 + 1 + r*-2. Let n be (u/(-5))/((-8)/(-40)). Solve -2*c = -3*c + n for c.
3
Suppose -5*m + 7 = 2, m + 24 = 5*p. Suppose 0 = -5*s + p*h - 15, -8 = s - 3*h + 1. Solve s = -0*q - 4*q + 16 for q.
4
Let t be (-2)/17 - 4/(-34). Suppose -s - x = -t*s - 6, 0 = -3*x + 3. Solve 4*c - 1 