 - 15. Solve -2*y + t*y = -3 for y.
-1
Let q(i) be the third derivative of -i**6/120 - i**5/5 + i**4/24 + 2*i**3 + 9*i**2. Let x be q(-12). Solve -2*s - s + 15 = x for s.
5
Let g(p) = 0*p**3 + 3*p**2 + 3*p**2 + 7 + p**3. Let l be g(-6). Solve 3 = -2*m + l for m.
2
Suppose -39 + 273 = 6*a. Let i = a - 29. Solve 0*q + 2*q + i = 0 for q.
-5
Let r be (-5)/(-10) + 136/16. Solve -r*p + 5*p - 12 = 0 for p.
-3
Suppose f + 3*f - 27 = 5*p, 0 = 4*f - 3*p - 21. Suppose -f*l + 6*l = 0. Solve l = -4*m + m + 15 for m.
5
Suppose 0 = -4*w + 3*x + 8, 0*x + x = -3*w + 6. Suppose -5*l = w*l - 5*l. Solve -2 = -2*o - l for o.
1
Let k be (8/3)/(5*(-8)/(-60)). Solve -k*j + 3*j + 1 = 0 for j.
1
Suppose -5*p + r = -4*r - 30, 12 = p - 4*r. Suppose 5*z = -d + 11, 5*d = -p*z + 3*d + 4. Suppose 6*j + 3 = 3. Solve j*v = -z*v - 3 for v.
-1
Suppose -4*n = -n - 48. Let y(l) = l**3 + 7*l**2 + 5*l - 2. Let r be y(-6). Solve -8*p + n = -r*p for p.
4
Let z(p) = -p + 6. Let x be z(-8). Suppose -3*l = -4*g + 3 + x, -5*g - 2*l + 4 = 0. Solve -1 = g*d + 3 for d.
-2
Suppose -2*y + 3*t = -304 + 289, 0 = 5*y - 4*t - 34. Solve 19 = y*i - 11 for i.
5
Let a(w) = -w**2 - 2*w - 5. Let j be a(0). Let z be j*((-5)/1)/(-5). Let v be (2 + z - -9)*1. Solve 0 = -m - 2*m - v for m.
-2
Suppose 60 = 5*f + w - 49, 0 = 2*w + 2. Let d = -17 + f. Suppose -d*o = 2 - 17. Solve o*j + 0*j = 12 for j.
4
Let m(x) = -x**2 + 7*x - 7. Let o = 29 - 24. Let y be m(o). Solve p - 6 = y*p for p.
-3
Suppose 3*f = -5*n - 6, 3*n + 5 - 11 = -5*f. Solve 0*j = -f*j + 6 for j.
2
Let q = 683 - 677. Solve 2*n = -q*n + 24 for n.
3
Let t(y) = -y**2 + 12*y - 21. Let x be t(6). Let c(n) = -n**2 + 14*n + 22. Let s be c(x). Solve 2*g - 1 - s = 0 for g.
4
Let w(z) = 3*z - 9. Let j(r) = 4*r - 8. Let m(s) = -4*j(s) + 5*w(s). Let n be m(-15). Solve 3*a - 2 = n*a for a.
2
Let i = 41 + -41. Let f be (i - 1)/(3/60*-2). Solve -x = x - f for x.
5
Let w(g) = -2*g - 1. Let n be (4/6)/(2/6). Let u be w(n). Let r be 15/(-25) - 8/u. Solve -2*k = -r + 9 for k.
-4
Let g(o) = o**2 - 8*o + 15. Let f be g(10). Let t be (-3 + f/10)*4. Suppose -m = -3*m + x + 8, 18 = 5*m - 2*x. Solve -m - t = -w for w.
4
Suppose q - 3*n = 7 - 0, 5*q - n = 63. Solve q*d + 19 + 46 = 0 for d.
-5
Let t be 2/5 - (-103)/15*3. Suppose -5*b + t = 1. Solve -4*j = -16 - b for j.
5
Suppose -19*j = -21*j + 4. Let w be j + 0 + (1 + 11 - 6). Solve 0*m = 4*m - w for m.
2
Let h(l) be the first derivative of l**4/4 - 3*l**3 + l**2/2 - 13*l + 1. Let d be h(9). Let y be 14/3*(-6)/d. Solve -2*w - y = 3 for w.
-5
Let c = 118 - 104. Suppose -h = 11 - c. Solve 2*m - h = 5 for m.
4
Let g(k) = -6*k**3 - 2*k**2 + 6. Let i(l) = -l**3 + l**2. Let a(q) = g(q) - 4*i(q). Let v be a(-3). Solve 5*t + v - 21 = 0 for t.
3
Let o(x) = -5*x**2 + 11*x - 4. Let j(n) = -2*n**2 + 6*n - 2. Let k(l) = 5*j(l) - 3*o(l). Let y be k(1). Solve y*i + 13 = 1 for i.
-3
Let g = -33 + 23. Let o be 2/5 - 66/g. Suppose 25 = 3*h + o. Solve 0 = -s + h*s for s.
0
Let m be (-108)/15*(-80)/48. Solve -n + m = 3*n for n.
3
Let c(v) = -v**2 + 7*v - 6. Let k be c(6). Suppose 3*t = -3*u + 7*t + 2, 2*t - 12 = -5*u. Let l be u/11 + (1 - (-595)/55). Solve 4*i - l = -k for i.
3
Suppose 13 = 4*k - 5*i - 1, 5*i + 20 = 5*k. Solve 6*p + 12 - k = 0 for p.
-1
Suppose 4*a - 140 = -5*u, 0 = 3*u - 42*a + 41*a - 67. Solve -u*q = -21*q - 9 for q.
3
Let n be 1 + 1 + (9 - 6). Suppose n*t - 11 - 24 = 0. Suppose 0 = -s + 2 + 2. Solve s*b - 19 = -t for b.
3
Suppose 4*h + 4*h = -72. Let i be 7/1*(-4 + (-4 - h)). Solve i = 5*b - 3 for b.
2
Suppose 0 = 4*x - 5*k - 13, 4*x - x = 2*k + 15. Suppose -10*m + 16 - 6 = 0. Solve -2*f - x = -m for f.
-3
Let r be 52/(-39) - 12/(-9). Suppose 4*x - q + 1 = -1, x + 4*q - 8 = 0. Let v be (-6)/(-21) - 57/(-21). Solve x = -r*n + n + v for n.
-3
Suppose -12 + 7 = -4*d + k, -2*k - 10 = 0. Solve 0 = -d*a - 7*a for a.
0
Let d(c) be the third derivative of 5*c**4/24 + c**3/3 + 10*c**2. Let x be d(-6). Let t be (2 + -1)/((-7)/x). Solve 0*l - 4 = -t*l for l.
1
Suppose 5*i - 8 = u, 7*u - 4*u - 6 = 0. Suppose 3*y + 2*y = 0. Solve y = -i*v - 1 + 7 for v.
3
Suppose -3*y + 20 = 2*y - 4*v, -3*v - 15 = 0. Let w(c) = 277*c**3 + c - c + 2 - 278*c**3. Let p be w(y). Solve p + 0 = -t for t.
-2
Let n(t) = 29*t**3 - t**2 + 1. Let h be n(1). Let b(d) = 10*d + 3. Let u be b(3). Suppose -u*k = -h*k. Solve k = -z - 2*z + 15 for z.
5
Let p(o) = -o**2 + 7*o - 5. Let a be p(6). Let d be (6 + a + 1)/2. Solve d*r + 1 = 5 for r.
1
Suppose 0 = 3*g - 2 - 28. Let s(b) = b**3 - 11*b**2 + 10*b + 5. Let r be s(g). Suppose h = r*h - 20. Solve -h*y + 2 = 12 for y.
-2
Let x(t) = t - 3. Let z be x(5). Let u be (2/z)/(-4 - -5). Let d be ((-16)/(-12))/(u/3). Solve -d = -3*a + 5 for a.
3
Suppose -4 = 2*h + 5*l, 3*l - 7 + 4 = -3*h. Solve 4*a - h*a = -4 for a.
-4
Suppose -3*m = h - 14, h = -6*m + 8*m + 34. Solve -h = -2*g - 32 for g.
-3
Let z be -6*(3/6)/(-1). Let v = 0 + z. Solve 3*g - 6 = -v for g.
1
Suppose 63 = -56*i + 65*i. Solve 8 - 15 = -i*u for u.
1
Let v = 11 + -15. Let l be (-50)/(-18) - v/18. Let r(w) = w**3 - 3*w**2 + w + 1. Let g be r(l). Solve k = -g*k - 20 for k.
-4
Suppose -9*j + 0*j + j = 0. Solve j - 9 = -3*l for l.
3
Let b be 3/5 + 35/25 + 1. Solve -2 = -2*m + b*m for m.
-2
Let b be -5 + 2 - 5/(20/(-416)). Suppose 4*v - b = -97. Solve -3 - v = 4*j for j.
-1
Let b(u) = 2*u**3 + 9*u**2 - 3. Let z(y) = -4*y**2 - y + 1. Let t be z(1). Let f be b(t). Let w = f - 9. Solve 3*a - 2 = w for a.
2
Let d = -225 + 226. Solve -5*f - d + 21 = 0 for f.
4
Suppose 0 = -7*k + 10*k - 3. Let g be (-5)/(75/6)*(k - 11). Let a be (9/(-6) - -2)*0. Solve g*l + l = a for l.
0
Suppose -d - 3 = 0, 8*d = -4*r + 7*d + 77. Solve 10 = -2*u + r for u.
5
Suppose 0 = -87*k - 92 + 266. Solve -8*z - 2 + k = 0 for z.
0
Let c(p) = p**2 - 21*p + 19. Let v be c(20). Let a(z) = -2*z**3 + 2*z**2 + 3*z + 2. Let l be a(v). Solve l = -3*k + 2*k for k.
-3
Let w = -11 - -18. Let i = 10 - w. Solve i = z + 2 for z.
1
Let t(q) = -q**3 - 8*q**2 - 6*q + 13. Let i(g) = -2*g + 3. Let x be i(-2). Suppose -x*w = 36 + 13. Let z be t(w). Solve c = -c + z for c.
3
Suppose -4*o + 2 = -5*n - 1, -9 = -5*o + n. Suppose 3 = -t + o*t. Suppose -2*y = -3*s - 22, s + 4 = 2. Solve 7 = t*w - y for w.
5
Let h = 399 + -398. Solve 4*s = h - 9 for s.
-2
Suppose 3*k + 4 = -f - 0*k, -6 = 2*k. Solve -5 = -f*v + 5 for v.
2
Let k(p) be the third derivative of p**6/120 - p**4/24 + 2*p**3/3 - 2*p**2. Let q be k(0). Suppose 2*s - 6 = -v + 8, -2*v - 28 = -3*s. Solve q*u - s = 4 for u.
3
Suppose -3*z - 25 = 5*h - 0*h, 4*z = 0. Let i = 7 + h. Solve -2 = i*b + 4 for b.
-3
Let c be 33/6 - 1/2. Suppose c*s - 4*h = -h + 5, h + 4 = 4*s. Solve 0 = -2*v + 3 - s for v.
1
Let j(k) = -k**3 + 12*k**2 - k + 27. Let c be j(12). Solve -5*p + 5 + c = 0 for p.
4
Suppose 5*y = 3*y - 20. Let i be 72/y - (-3)/15. Let l be (-2)/(-3) - i/3. Solve -g - l*g - 8 = 0 for g.
-2
Suppose 0 = 3*r - 2*r + 2*x - 23, -2*x + 36 = 2*r. Let p = 8 - r. Let v(q) = q**3 + 5*q**2 - q - 3. Let j be v(p). Solve -6 + j = 4*g for g.
-1
Let i be (0 + -1)*-1 + 27. Suppose 0 = -q + 2*w + 43, -6*q + 3*w + 120 = -3*q. Suppose 5*b = i + q. Solve 2 = -5*y - b for y.
-3
Suppose 5*j - 1 = 5*c + 4, -4*c - 3*j + 3 = 0. Solve 6*s + 1 + 5 = c for s.
-1
Suppose 2*y = 6*y - 12. Suppose 268 = 4*a - 5*s, -a + y*s + 70 = s. Suppose -a = -3*v - 2. Solve -2*r = 3*r - v for r.
4
Let m = 460 + -458. Solve -6 + m = 4*i for i.
-1
Let o(h) = 1. Let x(d) = 3*d + 1. Let n(r) = 4*o(r) - x(r). Let j(w) = 10*w - 8. Let a(k) = -5*j(k) - 16*n(k). Let p be a(-6). Solve c = -0 + p for c.
4
Suppose -25*v = -83*v + 522. Solve -11*a - v = -20*a for a.
1
Let t = -122 + 248. Suppose 121 - t = -y. Solve y*a + 8 = -7 for a.
-3
Let i be ((-6)/8)/(5/(-20)). Suppose -i*t - t = 0. Let o = -3 + 3. Solve -5*c + o*c - 5 = t for c.
-1
Let c be 14/(21/(-14)*1/3). Let r = c - -48. Solve 5*b - r = 5 for b.
5
Suppose 0 = -k - 4 + 11. Let w = 11 - k. Let s be (18/w - 2)*6. Solve 5*j = 10 + s for j.
5
Suppose z = 5*n - 56, -34*n + 29*n - 2*z = -53. Solve -n = a - 12 for a.
1
Let z(r) = 7*r + 16. Let p = 62 + -64. Let n be z(p). Solve 0*d - 4 = n*d for d.
-2
Let q(k) = -6*k**2 + 7*k - 5 - 46*k**3 + k**2 + 47*k**3. Let h be q(4). Solve -h*g - 25 = -2*g for g.
-5
Suppose 16*c = -12 + 76. Solve i = 2*i - c for i.
4
Let y = -641 +