5/15. Let t = z + 5. Let m(v) = -v - 5. Let j be m(t). Solve j*k = -2*k - 8 for k.
-2
Suppose 3*s - 4*p = -1, s + 2*p + 11 = 6*p. Let r = 98 - 96. Suppose -s*q - 5*y + 25 = 0, 5*q - r*q - 4*y = 1. Solve -q*o - 8 = -2 for o.
-2
Let m(c) = 2*c - 65. Let o be m(34). Let l be 1/(-2) + 3/2. Solve -2*n = o - l for n.
-1
Let c be 0*-4*5/(20*-1). Solve c*y = -0*y - 3*y for y.
0
Let h(v) = 7*v - 5. Let j(m) = 4*m - 2. Let l(b) = -3*h(b) + 5*j(b). Let n be l(2). Solve 0 = n*k - 0*k + 6 for k.
-2
Let i(h) = h**2 - 23*h - 322. Let p be i(33). Solve -11*n = -7*n - p for n.
2
Let q be 2/((-2)/2) - -4. Suppose 0 + q = 2*p. Solve v + 2 = -p for v.
-3
Let b = -62 - -110. Suppose -6*l = -9*l - b. Let i = -14 - l. Solve -i*v + 3 = -3 for v.
3
Let q(s) = -2*s**2 - 23*s + 13. Let v be q(-12). Let i = 6 + v. Suppose 2*f - 2*d = 22, i*f - 59 = 2*f + d. Solve 6*o - f = 3*o for o.
4
Let j be ((-10)/(-6))/((-19)/(-57)). Solve j*n = -2*n + 14 for n.
2
Suppose 2*q = -h + 195 - 33, 3*h - 12 = 0. Solve 0 = 74*z - q*z - 10 for z.
-2
Suppose 4*m = 19*z - 24*z + 70, 15 = 3*m. Solve -12*y = -z*y + 4 for y.
-2
Let n be 190/19*(-2 - (-12)/5). Solve i + n - 3 = 0 for i.
-1
Let o = -46 - -88. Let v = o + -40. Solve -2*p + p = -v for p.
2
Suppose -2*w - 3*w = 55. Let n(g) = g**3 + 12*g**2 + 11*g + 6. Let i be n(w). Solve -i = -5*z - 31 for z.
-5
Let c = 164 - 162. Suppose c*u + 2*u - 7*u = 0. Solve -25 = -5*g - u*g for g.
5
Let o(v) = -v - 32. Let a be o(-38). Solve 60 = -a*n + 26*n for n.
3
Let t be 12/(-4)*(8/6 + 2). Let l(v) = v**2 + 14*v - 5. Let x be l(-9). Let d be t/x - (-19)/5. Solve 2*w - d = 4*w for w.
-2
Let y(d) = 15*d + 90. Let q be y(-6). Solve -h + 0 - 3 = q for h.
-3
Let n be ((-38)/4)/(10/(-20)). Suppose z - 57 = -2*z. Let j = z - n. Solve j = -5*u + 2*u for u.
0
Let u = 154 + -149. Solve u*v - 6 = -26 for v.
-4
Let d = -377 + 384. Solve -15 - 20 = -d*u for u.
5
Suppose -41 = -2*f - 3*m, -f - 3*f + 87 = 5*m. Suppose -f - 8 = -4*o. Solve -3 = 2*i - o for i.
3
Let s(d) = -2*d**2 + 10*d + 73. Let x be s(8). Solve 44*g + x = 49*g for g.
5
Let m(x) = 2*x + 21. Let q be m(-9). Suppose -i = -1, -3*u - i + 22 = -q*i. Solve u = z + z for z.
4
Let x be 10*(0 - (-6)/10). Suppose 0 + 12 = x*r. Let v(a) = a - 6. Let g be v(6). Solve r*q = -g*q - 4 for q.
-2
Let r(k) = 3*k**2 + 12*k - 205. Let w be r(7). Solve -w + 17 = -9*n for n.
1
Let p be 2/(-18) + (-14)/(-1638)*13. Solve p*v + 6*v - 18 = 0 for v.
3
Let m(b) be the first derivative of -2*b + b**2 + 2 + 4 - 4 + 0*b. Let s be m(3). Solve -s = z - 2 for z.
-2
Let o(b) = b**2 - 4*b + 3. Let f be o(5). Let t(j) = -j**3 + 7*j**2 + 0*j**3 + 99 + 9*j - 101. Let u be t(f). Solve 16 = u*z - 2*z for z.
4
Suppose 3*o + 2*o = 2*a + 22, -5*a - 3*o + 7 = 0. Let c be -7 + 35 + 1*a*3. Solve c = -7*i + 2*i for i.
-5
Suppose 2*p - g - 10 = 0, p + 1 = 5*g + 24. Let t be 20/4 + 1 - 2. Let d be 18/14 - (-6)/(-21). Solve d = -t*c - p for c.
-1
Let a be (0 - 1)/(2/(-42)). Suppose -3*c - 3 = -3*t + a, 4*t = -c + 7. Let h(w) = w**2 + w. Let l be h(-2). Solve 0 = -l*d + 1 - t for d.
-1
Suppose 2*s + 2*s = -4*u + 8, -3*u + 7 = 4*s. Let d be (-2 - -4)/((-38)/57). Let v be s/(-3)*0/d. Solve 0*a + 2*a - 6 = v for a.
3
Let c = 22 + -19. Let q(v) = v**2 + 3. Let s be q(c). Solve 5*w - 2 = -s for w.
-2
Let u = 2953 - 2947. Solve -28 = -u*r - 16 for r.
2
Let q = 152 + -152. Solve 0 = -q*c + 5*c - 5 for c.
1
Suppose -2*c = -p + 11, -18*p - 4*c = -14*p + 4. Solve -p*b = 2*b - 10 for b.
2
Suppose 0 = -0*p + 13*p - 182. Solve 4 = -5*v + p for v.
2
Let a = -566 - -566. Solve 2*w + 0*w + 4*w = a for w.
0
Suppose 5*m - 14 = -2*m. Let o(y) be the second derivative of y**4/12 - y**3/3 - y. Let n be o(m). Solve -r - 2*r - 12 = n for r.
-4
Let i = 334 - 327. Solve 5 = -i*v + 26 for v.
3
Let f = 17 - 12. Suppose -d + 13 = -j, -j + 2*d = 13 - 1. Let h be 4/j - (-153)/21. Solve 0 = -3*y - h - f for y.
-4
Let r be (615/(-41))/(6/(-4)). Solve 2*t - r*t + 24 = 0 for t.
3
Suppose 5*w - 2*w = -5*o + 76, -30 = -w - 4*o. Suppose 83 = 3*n + 23. Let u = w - n. Solve 0 = u*r - 4*r + 10 for r.
5
Let y(n) = -2*n**2 - 8*n + 5. Let u be y(-6). Let d = u - -21. Suppose -5*k + 35 = 4*c, -3*k + d + 2 = -c. Solve 0 = -2*l - 5 + k for l.
-1
Let q(r) = -4*r + 34. Let g be q(8). Suppose -f - 2*f + 6 = 0. Solve 20 = g*w + f*w for w.
5
Suppose -4*m = -3*m + y, -2*y = -5*m + 21. Solve -5 = m*f - 8 for f.
1
Let b(k) be the first derivative of k**3/3 + k**2/2 - k + 2. Let m(l) = l. Let o be m(1). Let x be b(o). Solve -4 + x = 3*v for v.
-1
Suppose 3*r = -4*s + 4*r + 16, -5*s + 4*r + 31 = 0. Suppose 4*f = 2*f + 3*i + 13, 0 = 5*f - s*i - 19. Let j be ((-2)/4)/(1/(-2)). Solve 3*a = f + j for a.
1
Let h be (56/280)/((-1)/(-35)). Solve 0 = -h*l - 5*l for l.
0
Suppose 3*a - 89 = -65. Suppose q = 9 - a. Solve -3*d + q = -11 for d.
4
Let d = -30 + 43. Let q(o) = -o - 8. Let n be q(-8). Let b be (-26)/(-8) + 0 + (-2)/8. Solve n = -5*s + d - b for s.
2
Let p be (-266)/18 + 2/(-9). Let g(l) = 6*l + 9. Let i be g(-4). Let y = i - p. Solve y*h = 3*h for h.
0
Let l(t) = 9*t**3 - t**2 - t - 1. Let n be l(-1). Suppose -44 = 2*x - 28. Let f = x - n. Solve -m = m - f for m.
1
Let k(y) = y**3 + 3*y**2 - 2*y + 2. Let a be k(-4). Let i be (-14)/a - (-14)/21. Solve 3 = i*z - 3 for z.
2
Suppose 1 - 18 = 4*s - 3*j, -2*j = -4*s - 14. Let k(o) = 6*o - 29. Let v(x) = 2*x - 10. Let l(m) = -6*k(m) + 17*v(m). Let d be l(s). Solve -y = 3*y + d for y.
-2
Suppose 0 = 4*m + 104 - 308. Let k = m - 46. Solve -k*a + 7 = 2 for a.
1
Let g(u) = -u**2 + 15*u - 44. Let k be g(11). Solve 8*n - 6*n - 8 = k for n.
4
Let f = 72 - 69. Suppose -3 = -5*h - 5*i + 2*i, 3 = 4*h + f*i. Solve h = m + 3*m - 20 for m.
5
Suppose -10*d + 11 + 29 = 0. Suppose d*m - 24 = -4*m. Let n(x) = x**3 - x**2 - 4*x + 2. Let f be n(3). Solve m*h + 20 - f = 0 for h.
-4
Let u(l) = -18*l - 20. Let n be u(-4). Let j = -50 + n. Solve -3*b + j*b + 3 = 0 for b.
3
Suppose -b - 588 + 600 = 0. Solve -7*c + 13*c + b = 0 for c.
-2
Suppose 26*i = -3*x + 27*i + 9, -5*x - 5*i + 35 = 0. Solve 0 = 11*o + x*o - 6*o for o.
0
Let z(o) = -o**2 - 7*o + 238. Let f be z(-19). Solve 5*i - f = -0 for i.
2
Suppose 6*w = w. Let z(h) = -2*h - 1. Let y be z(-5). Solve 3*i + w*i - y = 0 for i.
3
Let s = -6 - -3. Let g be ((-5)/s)/((-2)/(-18)). Let h = g + -13. Solve -d + h = 1 for d.
1
Let t be 24962/(-210) - (-2)/(-15). Let o = t + 125. Solve -o + 2 = 2*v for v.
-2
Suppose 0 = 38*p - 37*p - 11. Suppose p = s + 6. Solve s*l = l - 20 for l.
-5
Let y = 24 - 20. Let b(r) = 7 - 2 - 7*r - 5 + 6*r**2 - r**3. Let p be b(4). Solve -p - y = -2*c for c.
4
Suppose 4*w = 5*d - 3 + 38, 4*d - 4 = 0. Solve 2*l - w = -3*l for l.
2
Let k(i) = -i**2 + 9*i - 8. Let j be k(5). Suppose 5*g - 2*f - 13 = -51, -g - 4*f - j = 0. Let s = -5 - g. Solve s*u = 2 + 1 for u.
1
Let m(x) = 5*x - 171. Let t be m(35). Solve -6 = v - t*v for v.
2
Let b(y) = -4*y - 24. Let d be b(-9). Solve -11*t + 4 = -d*t for t.
-4
Let m(c) = -c - 10. Let z be (5 - (2 - -1))*-6. Let t be m(z). Suppose -4*i - 3*d - 4 = -2*i, -i + t*d + 12 = 0. Solve 0*h = 2*h + i for h.
-2
Suppose 5*j + 21 = 3*x, 5*x - 2*j - 22 = 2*j. Suppose -x*i - 4*d = -16, -2*i - 3*d = 3*i - 12. Let t be i/2 - (-2)/1. Solve 0*r + 6 = t*r for r.
3
Suppose 0*g + 14*g = 448. Solve -4 = 28*i - g*i for i.
1
Let z(r) = -r + 5. Let w be z(2). Let x be 8 - ((-3 - -4) + w). Solve f = -0*f - x for f.
-4
Suppose 5*z = 3*c + z - 26, -2*z = -2*c + 14. Let q be 6*(c + 16/(-12)). Let f be 22/q - 3/6. Solve f*h = 27 - 12 for h.
3
Suppose 226*s = 221*s + 20. Solve 41*v - 42*v = s for v.
-4
Let g be 7*2 - 132/22. Solve 0 = -2*n - g + 16 for n.
4
Let z(n) = n**3 + 12*n**2 + n + 14. Let i be z(-12). Let m be (2 - 4)*-1 - 0. Suppose -i - m = -2*q. Solve 4 = -q*s - 2 for s.
-3
Let f(u) = -u + 21. Let r be f(16). Suppose -g = -3*m - 15, -m = -r*g - 3 + 22. Suppose -2*z = -g*z. Solve 10 = -2*d - z*d for d.
-5
Let y(m) = -2*m**3 + 12*m**2 - 10*m - 11. Let z be y(5). Let d = z - -21. Solve d = -6*x + x for x.
-2
Suppose 0 = 8*x - 3*x + 4*w - 152, -86 = -3*x - 5*w. Let p = x + -26. Solve -k + p = k for k.
3
Let n = -34 + 40. Suppose -2*u + 0 = -n. Solve u*q = -2*q + 20 for q.
4
Suppose -117*v + 116*v + 25 = 0. Solve 0 = -4*n - v + 5 for n.
-5
Let t(w) = w - 3. Suppose -16 = k + 3*k. Let b be t(k). Let