15. Let y be z(-12). Solve y*v = -v for v.
0
Let f = -10 + 10. Let s(z) = 2 + 7 + 2*z - z + f*z. Let b be s(-8). Solve y + 3 = b for y.
-2
Let a(i) = 3*i - 4. Let h be a(4). Let b(g) = -g + 1. Let m be b(-2). Solve m = -o + h for o.
5
Suppose -2*b - 14 = -o, 0*o - 3*o - 14 = 2*b. Suppose -35 = 5*d - 0*d. Let u = d - b. Solve 0 = -2*q - 4 - u for q.
-2
Let h(o) = -o**3 - 5*o**2 - 7*o - 5. Let d be h(-4). Suppose -3 + d = j. Suppose 16 = 4*f + j*q - 0*q, -5*f + 4 = q. Solve -5*s = -f*s + 25 for s.
-5
Suppose 5*c + 15 = 5*n, -5*n - 5*c = -7*n. Solve t - n*t = 0 for t.
0
Let o be (-4)/(-7)*49/14. Solve -f = -o - 3 for f.
5
Let r be (-180)/(-42) - 2/7. Solve 6*k = r*k for k.
0
Suppose 3*s = s + 10. Suppose 9*g - 10 = s*t + 4*g, 4*t + 4*g - 24 = 0. Solve 1 = -l + t*l for l.
1
Let z(b) = b**2 - 4*b - 2. Let t be z(5). Suppose t*n - n = 6. Solve 8 - n = 5*p for p.
1
Suppose -4*l + 20 = -2*l. Suppose -4*r - 2*g = -75 - 21, 0 = 4*r - 2*g - 112. Suppose -3*x = -2*u - 0*x + r, -2*u - 5*x = -l. Solve -3*n + n = u for n.
-5
Let r be (-24)/9*-1 - 6/9. Solve 0 = 3*o + r*o - 20 for o.
4
Let x be 4/((-3)/2 + 2). Solve 3*c = -c - x for c.
-2
Let j(l) = l - l**2 + 7*l + 5*l - 9. Let c(x) = x**2 - 14*x + 9. Let v(b) = 3*c(b) + 4*j(b). Let s be v(7). Solve g = -2*g - s for g.
-4
Let a(f) = -5*f - 5. Let t(w) = 11*w + 11. Let b(s) = 13*a(s) + 6*t(s). Let g be b(-1). Suppose 0 = -4*d - g*d. Solve d*l = -l - 1 for l.
-1
Let h = 43 - 41. Suppose 0 = 4*t - 4*m - 20, -t = -3*m - 13 - 2. Solve t = -l + h*l + 4 for l.
-4
Let q be (-1)/(-2) - (-2)/(-4). Let z be (1 + 16/(-4))*1. Let i be 1/((-2)/2)*z. Solve -4*x - 11 + i = q for x.
-2
Let u = 6 - 4. Suppose -4*l - u = -6*l. Solve 0 = -2*j + j + l for j.
1
Suppose 0 = 5*i + 20, -4*l = -i - 17 - 3. Let p be (-24)/(-8) + 1 + -2. Suppose -4*h - 2 = 3*n, -3*h + p = n + 6. Solve l*s - 2 = n for s.
1
Let s(m) = m**3 - 12*m**2 - 12*m - 13. Let r be s(13). Solve r = -5*k + 1 - 6 for k.
-1
Let w(h) = h**2 + 10*h - 1. Let a be w(-9). Let b be a/(-8) + (-3)/12. Suppose -14 = 2*l - 5*y, -5*l - 2*y - y + 27 = 0. Solve -l*q - 14 = b for q.
-5
Suppose -3*n = c - 11, 5*c - 4 = 2*n - 0*c. Suppose n*x + 4*a + 26 = 0, x + 3*x = -a - 26. Let u = x + 6. Solve -1 = -r - u*r for r.
1
Let z be 0 + 2/6*0. Suppose z = -2*h - 0 + 2. Let j(d) = d + 1. Let b be j(h). Solve -b*x = 2*x for x.
0
Suppose 0 = -z + k + 4, -2*k + k = 4*z + 4. Suppose 15 + 0 = 3*y. Suppose -y*o + n - 3 + 13 = 0, 4*o - 8 = 3*n. Solve z = 3*m + 10 + o for m.
-4
Let w(c) = c + 4. Let q be w(-4). Suppose 61 - 17 = 11*h. Suppose 0 = b + 3*r + 1, 5*r - 3 = -b - 3*b. Solve h*m - b*m = q for m.
0
Suppose -13 = -5*u + 7. Solve -g - 3*g = u for g.
-1
Let c(g) = -g**3 + 6*g**2 + g - 8. Let a be c(6). Let y be (-1*(0 + 2))/a. Solve 2*u + y + 9 = 0 for u.
-5
Let i be 0/((-2)/(-4)*-2). Let q be 4 - (4 - (4 + i)). Solve -v = v + q for v.
-2
Let z(o) = 4*o**2 - 5*o + 6. Let i(r) = -9*r**2 + 9*r - 12. Let d(u) = 6*i(u) + 13*z(u). Let j be d(-6). Solve 10 = 5*b - j for b.
2
Let r(x) = -x - 5. Let v be r(-5). Suppose -4*o + 0*o = b, v = -4*o + 2*b. Solve -l - 3 - 1 = o for l.
-4
Suppose 2*s = -5*q - 0*s + 23, 20 = 4*q + 2*s. Solve -q*x = -0*x - 15 for x.
5
Let h = 0 + 0. Suppose 0 = -0*k - 2*k + 12. Suppose -d - 3 = -k. Solve -d*u + h*u = 0 for u.
0
Let g be (-291)/(-33) - 16/(-88). Let x be (-1)/((-1)/(3/1)). Solve -x*k = -g - 3 for k.
4
Suppose -m + 12 = 3*q - 5*q, 4*m = -q + 12. Suppose 31 = 5*f - m*i, 0 = -2*i - 8. Suppose 0 = -g - d - 1, 2*g = g + 3*d + 7. Solve -g = 2*n - f*n for n.
1
Let t(b) = 10*b**3 - 2*b**2 + b + 1. Let r be t(1). Solve 0 = -7*l + r*l for l.
0
Let v(y) = -y**2 + 8*y. Let r be v(8). Suppose 5*q + 7 = 3*h, -2*q - 5 = -2*h + q. Let m be 34/h - (-2)/(-4). Solve m = 2*d - r*d for d.
4
Suppose j + j = 0. Solve 3*p + 6 = -j*p for p.
-2
Suppose -2*s + 32 = 22. Solve -t = -s*t for t.
0
Let v be (-41)/(-2) + (-2)/4. Suppose -b = -5*o + 44, -o - 2*b + v = o. Suppose -o = -3*w, 5*l - 3 = 3*w + 3. Solve r = -l*r - 4 for r.
-1
Let n be (18/54)/(2/108). Let w = n + -13. Solve 2*o = w*o - 3 for o.
1
Let f(o) = 3*o**2 + o. Suppose 0 = 3*h + 6. Let m be (10/(-4) - -2)*h. Let n be f(m). Solve n*t - 2 = 2 for t.
1
Suppose r - 3 = 2*j, 4*j = 3*r - 1 - 8. Solve -2*f = -j*f for f.
0
Let o = -1 - -1. Suppose o*u = -2*u. Suppose -3*m + a + 8 = u, -7 + 3 = 3*m - 4*a. Solve m*n - 12 = n for n.
4
Let a be (-2 - -2 - -1) + -3. Let r be -1*(0 + a) + 10. Suppose 0*b - 3*j = 5*b - 20, -3*j + r = 3*b. Solve 1 + b = -p for p.
-5
Suppose 0 = -3*z + 2*m - 3*m + 19, 49 = 3*z - 5*m. Suppose 4*p - z = -0. Solve u + 5 = p for u.
-3
Let j = 6 + -2. Let f = 7 - 3. Let r be (1 - 1)*4/f. Solve r*i = j*i for i.
0
Let i be 0*((-2)/6)/(7/21). Solve 4*z - 3*z - 5 = i for z.
5
Let z be -1 + (4/10)/((-1)/(-15)). Solve -2*y = -y + z for y.
-5
Let n(g) be the third derivative of -g**5/60 - g**4/8 - g**3/3 - g**2. Let k be n(-2). Solve k = -q + 6*q for q.
0
Let n = 7 + -9. Let r(l) = l**2 - l. Let p be r(n). Solve -w - p = w for w.
-3
Let o be 84/35 - (-3)/5. Solve 3 = -o*f - 0 for f.
-1
Let r(y) = 8*y**3 + y**2 - 6*y. Let c(b) = -b. Let q(f) = -5*c(f) + r(f). Let u be q(1). Suppose -10 = 3*i + k + 4*k, -2*i - u = 4*k. Solve i*p = -p for p.
0
Suppose -2*r = -8, 6*j - 4*j = 2*r - 2. Suppose 0 = -s - j - 4. Let i = s - -7. Solve 0*o + 5*o - 15 = i for o.
3
Suppose -4*g = -3*s + 35, 0*s + 4*g = -4*s. Let y = s + -2. Suppose -5*q + 0*h = -2*h - 10, -y*q + 3*h = 3. Solve -o = o + q for o.
-2
Let b(h) = 4*h - 28. Let k be b(9). Suppose j + 0 = z - 5, -z = -4*j - 20. Let v = k + j. Solve 2*i = 1 - v for i.
-1
Let j(z) = z**2 - 20*z + 25. Let t be j(18). Let o(r) = 3*r + 9. Let q be o(-6). Let w = q - t. Solve -w*k - 2 = -k for k.
-2
Suppose 5*y = -0*z + 3*z + 19, -7 = -y - z. Solve 0*n + y*n = 0 for n.
0
Let z(t) = -t**3 + 5*t**2 - 8*t + 6. Let w be z(2). Let h be -2*(-1)/(-2) + 4. Solve h*i + 13 + w = 0 for i.
-5
Let v(g) = -g**2 + 4*g + 5. Let y be v(5). Suppose 8 = -y*p + 4*p. Solve 0*d = p*d for d.
0
Let i = 6 - 3. Solve -5*t - 10 = -i*t for t.
-5
Suppose -4*v - 2*w = -w + 43, 0 = -2*v + 2*w - 34. Let s = v - -16. Solve -s = 2*t - 4*t for t.
2
Let l(o) = -o**3 - 9*o**2 - o - 4. Let w be l(-9). Let n(z) = z + 10. Let c be n(-8). Let f be (-2 + 0)/(c/(-9)). Solve 11 = w*q - f for q.
4
Suppose -3*o - k = -7*o + 3, 4*o = -k - 3. Solve 4*g = -o*g for g.
0
Suppose 0 = 3*d + 3*q - 30, -2*d - 44 = -5*d + 4*q. Let r = -10 + d. Solve v + 0 = -r for v.
-2
Let t(z) = -z**2 - 9*z - 2. Suppose 5*f - 5 = n + 8, 2*n + 2 = 2*f. Let p(r) = -2*r**2 - r + 2. Let l be p(n). Let c be t(l). Solve h = -4 + c for h.
2
Let a be 44/7 + 6/(-21). Let p be (-3)/(-2 + 10/a). Solve 2*r = 5*r - p for r.
3
Let t = 24 - 19. Solve -t - 3 = 2*g for g.
-4
Suppose -3*m + 0*m + 17 = 4*c, -2*c + m + 1 = 0. Solve 4*k = 2 + c for k.
1
Suppose m - 5 = -5*l, l + 3*l = 2*m + 4. Solve -4*o + 7*o - 9 = m for o.
3
Let b(q) = -q**2 + q + 3. Let s(f) = -f + 1. Let t be s(0). Let u = t + -1. Let k be b(u). Solve 0 = k*d + 12 - 3 for d.
-3
Suppose 47*a = 53*a - 12. Solve -8 = -a*u - 0*u for u.
4
Let n be 2/(-3)*(-3)/2. Let q = 2 + n. Solve -2*o = q*o for o.
0
Let w be (-12)/(-14)*7/2. Solve 3 = 2*a - w*a for a.
-3
Let f(u) = 2*u + 6. Let r = 16 - 19. Let p be f(r). Solve p = -z - 2 for z.
-2
Let a(d) = -d - 7. Let i be a(-7). Let r = 3 - 2. Solve r + i = -z for z.
-1
Let p be (2 + 0)/2*7. Suppose 20 = -5*b + q, -4*b + 3 = 3*q - 0. Let w = b + 5. Solve -l - w = -p for l.
5
Let j(x) be the first derivative of -x**2/2 - 8*x - 5. Let o be j(-8). Solve -q + 4 - 9 = o for q.
-5
Suppose 0 = 2*l - 5*d + 11 + 12, l - 4*d = -19. Solve 2*c + l = 9 for c.
4
Let q(o) = 5*o + 7. Let p(r) = -4*r - 6. Let l(z) = 6*p(z) + 5*q(z). Let d be l(7). Solve -d + 0 = 2*h for h.
-3
Suppose 3 = -4*j - 1. Let v be (-2 - (j + -1)) + 2. Solve 7 = -5*k + v for k.
-1
Let f be -1*1 - (-7 + 6). Suppose -4 = -g - f*g. Solve -4*q + 4 = -g for q.
2
Let v(s) be the first derivative of s**3/3 - 2*s**2 + 2*s + 3. Let t be v(4). Solve 2*k + t*k - 20 = 0 for k.
5
Let x(g) be the third derivative of 0 - 2*g**2 - 1/10*g**5 + 0*g + 1/120*g**6 + 5/24*g**4 + 7/6*g**3. Let m be x(5). Solve -m*t = -2*t - 5 for t.
1
Let c = -15 - -11. Let v be 1 + c/2 + 3. Solve -y = v*y + 9 for y.
-3
Let y be (-30)/(-9)*6/5. Let d(q) =