15. Let a be ((-1)/3)/(2/(-48)). Let k be j(a). Solve -o*f - 18 - k = 0 for f.
-5
Let w = 9 - 0. Let s(b) = b**3 - 3*b + 1. Let c be s(2). Let g(t) = t**3 - 4*t**2 + 5*t - 3. Let x be g(c). Solve -3 - w = x*z for z.
-4
Let o be 1/(-3) - (142/(-3) - -2). Solve -o*x = -40*x + 10 for x.
-2
Suppose -5*y - 3*n + 31 = -y, -5*n + 29 = y. Suppose 3*c - y = -6*u + 4*u, 10 = 5*u - 4*c. Suppose -5 = -u*h + 1. Solve 2 = h*r - r for r.
1
Let l be ((-7)/7 + -4)*-4. Solve -2*c = -6*c + l for c.
5
Let k(n) = 10*n + 5. Let o be k(4). Let y be (30/o)/(1/18). Let d be 4*(28/16 - 1). Solve -u = d*u - y for u.
3
Let q(z) = z**3 - 11*z**2 - 12*z + 2. Let u be q(12). Suppose -2 = -2*k + u. Let f be k/6 + (-752)/(-48). Solve -2*t - f = -6*t for t.
4
Suppose -22*d + 724 = 86. Solve 7*x + 8 - d = 0 for x.
3
Let t(i) = -8*i + 389. Let z be t(41). Solve 0 = -64*p + z*p - 6 for p.
-2
Let n(b) = -2*b + 2*b**2 + 5*b**2 + b**2 - 3*b**2 - 2. Let m be n(-1). Solve m*p - 2 - 8 = 0 for p.
2
Let w = -104 + 107. Solve -5*x + w = -2 for x.
1
Let y = 882 - 880. Solve y*z + 10 = 12 for z.
1
Let r = 957 - 956. Solve 0 = 15*y - 16*y - r for y.
-1
Let p be 696/72 + 2/6. Solve -8 = 2*n - p for n.
1
Let f be (-3 + 25/15)*(-18)/2. Suppose 11 + 14 = 5*y. Suppose 0 = -2*x + 5*i + 14, -y*x = -i - 4*i - 20. Solve -2*r - x*r - f = 0 for r.
-3
Let v(k) = -607*k - k**2 + 9 + 3 + 606*k. Let l be v(0). Solve -6*m - l = -3*m for m.
-4
Suppose 3*a + 40 = -2*a. Let k = a - -20. Solve -z = -5*z - k for z.
-3
Suppose -5*u - 31 = 2*b, 11 = -b - 2*u + u. Let d be 2/b + (-9)/(-36). Solve 0 = 4*f - d*f - 4 for f.
1
Suppose -y - 53 = 6*t - 9*t, 0 = -t - 4*y - 4. Let f(q) = 2*q**3 - 31*q**2 - 18*q + 35. Let n be f(t). Solve n*x + 0*x = 0 for x.
0
Let h = -9 + 11. Suppose 3*c + 6 = -5*b, 3*c = -5*b + h*b - 6. Solve -o - o = b for o.
0
Suppose -460 + 30 = 10*d. Let j = -43 - d. Solve 2*v + j*v = -10 for v.
-5
Let m be (2/7 + 51/42)*6. Solve -m*x = -17 - 10 for x.
3
Suppose 82 - 118 = -6*y. Solve 2*v - y*v = 0 for v.
0
Let i be (-42)/(-8) - (-2)/(-8). Suppose -21 = -i*a - 3*t, -t = -3*a + a + 4. Let k be ((-55)/30 - -2)/((-2)/72*-2). Solve -a*u + k + 9 = 0 for u.
4
Let t(q) be the first derivative of q**2/2 - 8*q - 5. Let x be t(9). Suppose 3*d - 3*j - 21 = 0, 3*d + x = -j + 26. Solve -4*m + d + 8 = 0 for m.
4
Let z be -7 + (-525)/(-77) - (-2)/11. Solve z = -4*j + 2*j + 6 for j.
3
Let x be (-1)/(1 - 6/4). Suppose 5*j = -26*j + 93. Suppose j*q = x*q. Solve q = 2*z + 2 for z.
-1
Suppose -2*d = u - 6, 0*d + 3*d - 10 = -2*u. Let v = 8 + d. Solve 2*t + 0 - v = 0 for t.
5
Let w(c) = -c**3 + 3*c**2 - c + 3. Suppose -4*x = -3*z + 2*z + 6, 2*z - 4*x - 8 = 0. Let n be w(z). Solve -4*v + n = 1 for v.
1
Suppose 0 = -0*r + 5*r - 65. Suppose -7*v + 2*v = 4*u - 16, r = 4*v + 3*u. Solve -v*m = 13 + 3 for m.
-4
Suppose -5 = -0*d + d. Let g be (-2)/(-5) + (-18)/d. Let k = -1 + g. Solve -p = k*p + 20 for p.
-5
Let w(c) be the second derivative of c**4/12 + c**3/3 - 5*c**2 - 15*c. Let y be w(-5). Solve 5*a - 5 - y = 0 for a.
2
Let p(j) = 2*j**3 + j**2 - 2*j + 5. Let n be p(6). Suppose -2*s = -5*a - 826, 0 = -4*a + s - n - 198. Let b be a/(-14) + 8/28. Solve 3*u + 3 + b = 0 for u.
-5
Let f = -16 + 11. Let l(t) = -10*t - 3 + 4*t + 0*t**2 - t**2. Let i be l(f). Solve 0 = 3*r - 5 + i for r.
1
Let p be (279/(-124))/((-12)/16). Solve -p*j + j = j for j.
0
Let m = 135 - 135. Let t = m - -15. Solve 0*s - 3*s = t for s.
-5
Suppose 2*l = -l + 126. Let v = l - 42. Solve v = -2*m + 3*m + 4 for m.
-4
Suppose -2 - 6 = -4*s - 2*i, -5*i = 4*s - 20. Let c be (-72)/(-144)*(1 - (-2 + -7)). Solve c*d + s = 15 for d.
3
Suppose 0 = -1590*y + 1579*y + 264. Solve 4*g - 24 + y = 0 for g.
0
Suppose 2*l = 8 + 6. Suppose 0 = 8*h - 4*h + 2*u - 18, 0 = h + u - l. Solve -h*n + 0 - 2 = 0 for n.
-1
Let h(t) be the second derivative of t**5/20 + t**4/3 - t**3/6 - t**2/2 - t. Suppose -57*x + 5*x - 208 = 0. Let c be h(x). Solve c*k = -5 - 7 for k.
-4
Suppose -3*v = -9, -3*v = 5*q + 26 - 35. Solve q*a = 7*a - 7 for a.
1
Suppose 22*b - 412 = 402. Solve 0 = -6*t + 7 - b for t.
-5
Let f be (0 - -1) + 2 - 1. Let g(q) = -q**2 - 9*q - 10. Let v be g(-7). Suppose -8*h - 12 = -11*h, 4*m - 3*h + 4 = 0. Solve f*t + m*t + v = 0 for t.
-1
Let v(t) = -3*t**2 - 26*t + 22. Let r be v(-9). Solve 3*c + 40 = r*c for c.
4
Let d(n) = n**2 - 8*n - 12. Let s be (8/(-6))/(6/9). Let k(b) = -3*b**2 + 15*b + 24. Let f(i) = s*k(i) - 5*d(i). Let j be f(-10). Solve 5*p + j - 2 = 0 for p.
-2
Let u(c) = 4*c**3 - 4*c**2 - 3*c + 4. Let j(g) = 3*g**3 - 4*g**2 - 3*g + 4. Let v(q) = -3*j(q) + 2*u(q). Let k be v(4). Solve 3*t = t + k for t.
4
Let c(o) = -o**3 + 54*o**2 + 108*o + 227. Let w be c(56). Solve z = -w*z + 19*z for z.
0
Suppose 2*h = 7*h - 15. Let z(l) = 0*l**h - 3*l**2 + 3*l - l**3 + 0 - 2 + 4*l**2. Let a be z(-2). Solve -6 - a = -2*v for v.
5
Let q be 9/12*(120/9)/2. Solve q*a = -4*a for a.
0
Let c be 36/(-30)*((-6)/4 - 1). Solve 28*w + c = 31*w for w.
1
Suppose -j + 0*j + 4*b + 4 = 0, 5*j - 4*b = 36. Suppose 0 = -j*q + 6*q + 6. Solve -q*l = -6*l for l.
0
Let k be -15 + -1 - -3*(-5)/(-15). Let a = k + 22. Solve a*x - 4*x = -3 for x.
-1
Suppose 0 = -4*x + 6*q - q - 5, 0 = 4*x + 2*q - 30. Let r = 8 - x. Suppose r*j = 3*m, m - 2*m - j = -6. Solve -m*k = -4 - 2 for k.
2
Suppose 4*g = 4*m - 36, 0 = -g + 2*g + 4*m + 4. Let y be g/(-2)*(4 - 5). Let r = y + 4. Solve 0 = -4*i - r*i + 16 for i.
4
Suppose 0*a + 0*a = 5*a. Suppose 5*w + 3*x - 1 = a, -14 = -w + 2*x + 2*x. Solve -w*h = -5*h + 9 for h.
3
Suppose 53*b = 6*b + 1316. Solve 32 = 4*r + b for r.
1
Suppose -6*l - 165 = -3*l. Let t = l + 80. Suppose 0*a = -5*a + t. Solve a = -2*o + 1 for o.
-2
Suppose 2*h - 24 + 4 = 0. Let a be (2 + 4 + -1)*h. Suppose -18*p = -13*p - a. Solve -4*r + p = 26 for r.
-4
Let l = -279 - -281. Suppose 0*x + 20 = 5*x. Solve -l*f + 0 = -x for f.
2
Let d be 49/28 + 9/(-12). Solve 0*i - d = i for i.
-1
Suppose -5*a - 2*s + 137 = 0, -140 = -5*a - 5*s - 0*s. Suppose 0 = -2*u + 5*u + a. Let f be 0*(4 + 33/u). Solve f = -2*m + 4*m + 2 for m.
-1
Let l(i) be the first derivative of 3*i**2/2 - 2*i - 8. Let p be l(2). Solve p*y - 5*y = 0 for y.
0
Suppose 0 = -14*o + 85 - 1. Let f be ((-1)/1)/((-3)/3). Solve -c + o = f for c.
5
Suppose -2*x - 10 + 24 = 0. Let f be (18/(-3) - -2) + x. Solve 0 = f*u + 1 - 4 for u.
1
Suppose 0*o = 2*o + 12. Let n(u) = -u**2 - 6*u + 5. Let t be n(o). Suppose t*b + 5 = 25. Solve b = l + 8 for l.
-4
Suppose 2*g + 14 = -4*w, -4*g - 4*w - 26 = -6*g. Suppose g*s - 3*s = -3*s. Solve -r + s*r = 0 for r.
0
Let z(r) = r**3 + 14*r**2 + 15. Let j be z(-14). Let y(v) = -v**2 + 17*v - 22. Let d be y(j). Suppose 5*g - d = g. Solve -3 + 7 = -g*m for m.
-2
Let x = -536 - -541. Solve x*n + 5 = -5 for n.
-2
Let l(m) = m**2 - 7*m + 10. Let p be l(4). Let h be 2 + (-17 - p)/3. Let x be h/1 + 2 + 4. Solve f + x*f - 4 = 0 for f.
1
Let f(y) be the third derivative of 7/24*y**4 + 1/120*y**6 + 0 - 1/6*y**3 + 0*y + 2*y**2 - 7/60*y**5. Let h be f(6). Solve -h*g = -3*g + 2 for g.
-1
Suppose -3*f - 119 = 4*k, 6*f = -3*k + 2*f - 91. Suppose 0 = -11*a + 20*a - 297. Let h = a + k. Solve 0*o = h*o for o.
0
Let n = -83 - -85. Suppose -4*m + m = -15. Suppose m*d + 0 = 15. Solve -1 = n*x - d for x.
1
Let f(n) = 6*n**2 + 9*n - 4. Let v be f(-2). Solve o + v*o - 15 = 0 for o.
5
Let i(c) = -c**3 + 4*c**2 + 8*c - 6. Let a be i(5). Let z be a + -5 - (-2 + 4). Solve k + 4 = z*k for k.
4
Let t(y) = 1 + y**2 + 7 - 4. Let z be t(0). Let u = 8 - z. Solve u = 3*o + 16 for o.
-4
Let v be ((-1)/(-2))/((-5)/(-40)). Suppose 0 = 5*j - 3*j - 4. Suppose f + j*w + 0 = 10, v*f - 20 = -3*w. Solve 3 + 7 = f*o for o.
5
Let t be (22/6)/((-4)/(-12)). Suppose 2*m - 5*x + 21 = 0, 2*x + x = 2*m + t. Solve -4 = -m*p - 0 for p.
2
Suppose 5*q - 1 = 2*f, 12*f - 10*f + q - 5 = 0. Solve 8 = 2*m - f for m.
5
Let l(k) = k**3 - 12*k**2 + 37*k - 2. Let a be l(6). Solve 4 + 8 = a*s for s.
3
Let y(j) = j**2 + j + 2. Let o be y(0). Suppose -4*f = 7 + 1. Let x be (-2 + 14)*f/(-3). Solve x = -o*t - 0*t for t.
-4
Let f be (0 + -1)/1 + 3. Suppose 8 = 3*g + 2. Let l(h) = h - 1. Let n be l(4). Solve -f*y + n*y + g = 0 for y.
-2
Let v(d) = d**2 - 6*d + 1. Let g be v(6). Let f be g + -5 + (24 - 7). Let o = -10 + f. Solve c = -o*c for c.
0
Suppose 5*s - 10 = 4*n, 0 = n + 2*n - 4*s + 8