15. Let o = 2 - x. Solve 0 = -2*l - l + o for l.
4
Let t(g) = g**2 - 5*g - 6. Let n be t(6). Solve 3*x - 4 - 11 = n for x.
5
Let j(h) = h. Let i be j(0). Suppose 2*a = -4*t - 6, i = t + 3*a + 9 - 0. Let g be 10/90 - 1/9. Solve 2*z + g*z - 2 = t for z.
1
Suppose 640 = 42*h + 94. Solve h*w - 66 = -27 for w.
3
Let u(v) = 10*v - 16*v**2 - 15 + 17*v**2 - 7*v + 9*v. Let l be u(-14). Let o = l + -11. Solve w + 4 = o*w for w.
4
Suppose -4*d = 5*w + 619, d - 512 = 4*w - 0*d. Let l = w - -88. Let c = -37 - l. Solve c*i + 20 = -3*i for i.
-4
Let o be 34/(-119) + (-48)/(-21). Solve 5*d + o = -3 for d.
-1
Let v(z) = z - 3. Let l(o) = 1. Let y(n) = l(n) + v(n). Let m be y(6). Solve 4 = m*w - 0 for w.
1
Suppose 2*a - 5*f - 14 = -4, -18 = -2*a + 3*f. Solve a = 2*l - 5*l for l.
-5
Suppose 4*z - 15 = z. Let n be (-1)/2*(1 + 15). Let m be (n/(-12))/(6/99). Solve -z*o + m = -14 for o.
5
Let n be (-1)/(-3 + 8 + -4). Let s be (n/(-2))/(10/20). Solve -v - 3 = -s for v.
-2
Let u = 19 - 17. Suppose -t - 16 = -4*l, u*t = -0*t - 8. Let g(z) = -z**2 + 2*z + 3. Let v be g(l). Solve v = 4*s - 8*s for s.
0
Let p = 19 + -7. Suppose p = -5*s + 37, 25 = -y + 5*s. Suppose y = 3*u - u. Solve v - 4*v - 6 = u for v.
-2
Suppose -5*o - 4*a = -2*a + 215, -5*a = 5*o + 215. Let p = -43 - o. Solve 5*k = -p*k for k.
0
Suppose -5*k + 3*k + 5*x = -35, 34 = 2*k - 4*x. Solve -k*v = -13*v - 8*v for v.
0
Let j be 2 - (3 - 3) - -6. Suppose 2*b - 3*r = b + 13, -4*r = b + j. Suppose b*t - 12 = q, 2*t = 3*t - 4*q - 18. Solve t*h - 2 = 4*h for h.
-1
Suppose 4*a + 17 - 9 = 0, a + 78 = -4*w. Let t = -61 - -42. Let h = w - t. Solve h = i - 4 + 1 for i.
3
Let j = -3 + 11. Let g be (1 - -1)*(-39)/(-26)*1. Solve -g*s + s - j = 0 for s.
-4
Let n(d) = -d**3 + d. Let r be n(0). Suppose -p - 6 = -4*i, r = -0*p + 4*p - 4*i. Solve -2 + 6 = -p*v for v.
-2
Suppose 2*w - 5*x = 10, -3*w - 3 = 4*x + 5. Solve w = -7*t + 88 - 81 for t.
1
Let m(t) = -2*t**2 - 20*t - 50. Let q be m(-5). Solve q = p + 4*p for p.
0
Let t(k) = -k**3 - k**2 - k + 3. Let u be t(0). Let v(m) = 2*m - 7. Let c be v(u). Let a be c/(-4) + 76/16. Solve z - 1 = -a for z.
-4
Let k be ((-18)/(-8))/(9/24). Let f = -8 - k. Let r = 15 + f. Solve -r = -0*q + q for q.
-1
Let y = 39 + -36. Solve 0*m = m + y for m.
-3
Suppose 6*d + 106 = d + 3*a, 2*d - 3*a + 46 = 0. Let o be (2/d*-12)/(3/10). Solve 0 = c + o*c + 5 for c.
-1
Let b be (-4 - -2) + 3 - 1. Suppose 3*k + 0*k + 5*f + 20 = b, 5*f + 20 = -k. Let x be k/(-1*(3 - 2)). Solve -o = -x*o for o.
0
Let o be 10/2*(-15)/(-25). Let w(m) = m**3 - 4*m**2 + 3*m + 2. Let i be w(o). Solve -i*u = -3 + 5 for u.
-1
Let a = 215 - 204. Solve -9 = -4*k + a for k.
5
Let g(m) = -m**2 - m + 77. Let z be g(8). Solve -15 + 40 = -z*y for y.
-5
Suppose 3*h - 2*p + 43 = -6*p, 19 = -3*h + 2*p. Let f = -15 - h. Let n = f + 11. Solve n*q = q for q.
0
Suppose -5 + 49 = 4*t - 4*y, -5*t = -y - 47. Solve -t = -c - 6 for c.
3
Let t be (-66)/(-3)*((-3)/1)/(-6). Solve n = -t + 10 for n.
-1
Let i(h) = h**2 + 2*h - 9. Let g be i(-4). Let q(o) = -3*o**3 + 4*o + 5. Let l be q(g). Solve -2 = -2*t + l*t for t.
-1
Suppose -2*d = -17 + 1. Let o = 16 + -21. Let a be (-6)/o*(-30)/(-12). Solve 5*n + d = a for n.
-1
Let t = 42 - -3. Suppose 4*c - 100 = 4*f, 2*c - 3*f + t = 5*c. Solve h - c = -4*h for h.
4
Let g(k) = -k**2 + k + 45. Let m = 126 + -119. Let t be g(m). Solve t*u + 16 = 7*u for u.
4
Suppose -3*w + 39 = -3*i, 2*w - 30 = -4*i - 10. Suppose w = -0*m + 3*m. Suppose 4*l + 5*u = 41, -l - 4 = 3*l - m*u. Solve d + d - l = 0 for d.
2
Let h(z) = -11*z + 80. Let g be h(7). Solve y = g - 5 for y.
-2
Suppose 2*y + 2*y - 8 = 0. Suppose -y*p + 3*v = -25, -5*v - 19 = -4. Let u be (p/14)/(24/84). Solve -6*z + u*z - 20 = 0 for z.
-5
Suppose -26*l + 44 = -60. Solve l*m - 28 = 18*m for m.
-2
Suppose 2*q + 8 = 0, 5*g + 7 = -2*q + 19. Let k = 7 - 5. Solve 0 = -m + k*m + g for m.
-4
Let c(s) = -s + 6. Let x(v) = 5*v - 29. Let f(l) = -11*c(l) - 2*x(l). Let n be f(10). Solve -5*o - 12 + n = 0 for o.
-2
Let u = -88 + 91. Let b be -1 - (-8 + u)/(-2 - -3). Solve x + x + b = 0 for x.
-2
Suppose -3*v - 5*s = -s - 139, -3*s = -12. Solve 6*b = -35 + v for b.
1
Let o(d) = -2*d - 4. Let l be o(-2). Suppose l = -3*g - 0*g - 3. Let a be g/2*(13 - 17). Solve a + 2 = -s for s.
-4
Suppose 6 = 3*j + 3*y, -23 = -19*j + 15*j + y. Let d be 0 - (-3 + 0 + 1). Suppose d = j*x - 4*x. Solve 0 = x*k + 4 + 4 for k.
-4
Let t(v) = -v**3 + 5*v**2 + 4. Let c be t(5). Suppose 0*n = -c*n. Let y = 18 - 14. Solve b - y*b = n for b.
0
Let r(a) = -a**3 - 5*a**2 - 5*a - 7. Let b be r(-4). Let q = -6 + 8. Let m be (20/q)/(b - -5). Solve 0 = -2*t + 7*t + m for t.
-1
Suppose -109*h - 1539 = -118*h. Solve h*w = 168*w for w.
0
Let r be ((-288)/(-360))/(4/(-170)). Let p(q) = q**3 + 5*q**2 - 11*q - 10. Let m be p(-7). Let g = m - r. Solve x - 2 = g*x for x.
-1
Suppose 2*g - 4*m = -2*g - 240, g - 2*m = -65. Let x = 25 + g. Let t be x/(-24) - (-3)/(-12). Solve t - 4 = -p for p.
3
Let d(w) = w**3 + 7*w + 5. Let p be d(0). Solve -p*f - 20 = -20 for f.
0
Suppose -13 = -7*o + 8. Let r be (0/2)/(o - 6). Suppose -11 = -3*j - 2. Solve y + r = -j for y.
-3
Suppose 11*u - 12*u = 0. Let y = -7 - -12. Solve u*b - 15 = -y*b for b.
3
Let n = -165 - -171. Solve 0 = -5*i + n*i for i.
0
Let q = 41 - 68. Let w = -24 - q. Let n(u) = u**2 - 4*u - 3. Let h be n(-2). Solve 0 - h = w*x for x.
-3
Suppose 288 = -12*l + 348. Solve 5*c - l = -30 for c.
-5
Let d(k) be the second derivative of k**4/12 + 2*k**3 + 9*k**2 - 4*k. Let y be d(-12). Suppose -5*c = c - y. Solve 0 = -4*m + 1 + c for m.
1
Suppose 3*y + 4 = 1. Let j = 4 - y. Solve 7*w - j = 2*w for w.
1
Suppose -2*m = i - 2, 7*m = i + 3*m + 4. Let u = 5 - i. Let r be (-2)/u - 85/(-25). Solve f + r*f = 12 for f.
3
Suppose -2*o = 5*f - 37, -3*o + 54 = 5*f + 6. Solve 6*m + 5 = o*m for m.
1
Let g = -25 + 30. Suppose g*p + 5*k = 45, -3*p + k + 25 = 2*k. Solve 0 = -j - 3*j + p for j.
2
Let h(i) = -i**3 + i**2 - 8. Let l be h(0). Let v(q) = -q**2 - 10*q - 12. Let j be v(l). Suppose 23 = j*u + d, 0*u - d = -2*u + 7. Solve 0*g - 10 = u*g for g.
-2
Let m(z) be the third derivative of z**5/60 + z**3/2 - 42*z**2. Suppose 0 = -2*j - 6 - 0. Let g be m(j). Solve g + 3 = 5*t for t.
3
Let v be ((-3 - -4) + -4)*-1. Suppose 3*l = 2*l + v. Suppose 4*m + 57 = l*x, 8*x = 3*x + m + 78. Solve 8*i = 3*i + x for i.
3
Suppose -5*a + 3*a + 4 = 0. Suppose 0 = -3*f - 3*b - 9, 0 = 5*f - 0*b + 2*b + 6. Suppose f = 5*j - 10 - 5. Solve -15 = a*l + j*l for l.
-3
Suppose -d - 320 = -9*d. Let i = d - 37. Solve 7*j = i*j + 8 for j.
2
Suppose 0 = -97*w + 88*w + 63. Solve -2*o + w*o = -5 for o.
-1
Let d be ((-6)/(-4))/((-3)/(-4)). Suppose 2*c - 690 = 5*c. Let g = c + 232. Solve -4*i - d = g for i.
-1
Let t = -198 - -203. Solve -4*g - 2 = -t*g for g.
2
Let z(k) = -33*k + 38. Let s be z(1). Solve -s*r - 16 + 1 = 0 for r.
-3
Let k be 1*((-6)/(-7))/(6/56). Solve -23*m + 27*m = -k for m.
-2
Let m(v) = -v**2 - 6*v - 5. Let d be m(-3). Let s be 65/d + 4/(-16). Let h = -13 + s. Solve 0*o - h = 3*o for o.
-1
Let n be (-35)/(-4) + (-1)/(-4). Suppose -n + 0 = -3*h. Suppose -3*w = -0*w - h. Solve 0 = 2*f - 7 + w for f.
3
Let t = -1224 - -1302. Solve t*q - 80*q = -6 for q.
3
Let d = 10 - 4. Let t be 16/(-24)*3/2. Let g be 95/6 - t/d. Solve 5*f - f = g for f.
4
Let p(r) = 7*r**2 - 17*r - 2. Let d be p(3). Solve 3*f = -13 + d for f.
-1
Let y be 3 + 44/4 - 1. Suppose -7 = -5*o + y. Solve 0 = 2*f - o - 2 for f.
3
Let s be 4/16*(1 - 1). Suppose s = q - 12 - 0. Suppose -5 = 4*w - 17. Solve 3*x - q = w for x.
5
Suppose 2*w + 3*n = -w, 5*w - n = 30. Suppose 0 = 2*c + 3*o - 18, -4*c = -w*o - 0 + 8. Solve 0 = 5*s - c*s for s.
0
Let b(l) be the first derivative of 1/2*l**2 - 3/4*l**4 + l + 1/3*l**3 - 3. Let m be b(-1). Solve m*v = v for v.
0
Let q(c) = -c + 3. Let w be q(-5). Suppose -w*d + d = -21. Solve -2*v = d*v - 25 for v.
5
Let m be (17 - 23)/(-6*1/20). Solve m - 28 = -4*a for a.
2
Let r be 0/((2 - -1) + -4). Let h be -5*(-2 - (-1 - r)). Suppose -10 = -h*b, -5*p - 2*b - 3*b + 55 = 0. Solve -4*s - 7 - p = 0 for s.
-4
Suppose 0 = -4*a - 4*g + 124, -3*a - 478*g + 483*g + 125 = 0. Solve -33*n = -a*n for n.
0
Let i be 0 + 1 - (-5 - -1). Let w(d) = d**2 + 0*d + i*d - d. Let b be w(-5). Solve -b*s + 20 = -s for s.
5
Suppose 10*w = 5*w 