 3*p + 3*y for p.
-1
Let a(b) = 17*b + 20. Let k(m) = -m + 5 + 7*m + 0 - 2*m. Let x(g) = 6*a(g) - 26*k(g). Let h be x(-5). Solve v = 2*v - 3*f + 8, h = -2*v + 4*f - 14 for v.
-5
Suppose x + x - 147 = -5*t, -5*x + 5 = 0. Let w = t + -45. Let h = 18 + w. Solve z = -3*z - h*c - 2, -4*z = 3*c - 3 for z.
-3
Let x(g) = g**2 + 3*g - 4. Let s be x(3). Solve -2*q = 5*f + s, q - 5*f - 13 = -5 for q.
-2
Let i be 0 + (-1 - -4 - -15). Suppose i = -j + 1. Let u = j + 24. Solve -u*g - 13 = -v - 2*g, 4*v = -2*g - 14 for v.
-2
Let c(m) = -m + 5. Let x be c(2). Let u be (6 - 5)/(x/6). Solve -2*f + 4*w - 28 = 0, -u*f = 2*f - w + 21 for f.
-4
Let u = -278 - -403. Let v = u + -121. Solve 4*c + v*l + 32 = 8*c, l - 12 = -4*c for c.
4
Let m(t) = -7*t + 9. Let b be m(7). Let z = -38 - b. Solve 2*s - 12 = z*l, -7 = -5*s + 3 for l.
-4
Suppose r - 16 = 33. Let g = -39 + r. Suppose -4*z + 25 = 9. Solve o + 14 = -z*q, 3*o = -2*o + g for q.
-4
Let w be (-3)/(-15)*-1*-25. Solve -w*f - 8 = -2*s - s, 0 = -2*f + 5*s + 12 for f.
-4
Let s = 67 - 96. Let g = 32 + s. Solve -2*b - 7 = -2*c + g*b, -5*c = -4*b - 9 for c.
1
Suppose 4*a + 0*a = 16. Suppose 0 = -2*s - 2, -s = 3*l + 4*s - a. Solve -f = -4*m - 17, f + 2*f - 24 = l*m for f.
5
Suppose -3*c + 8 = -4. Suppose -q = -4*n + 14, 9 = 2*q + 3*n - 7. Solve 9 = -4*t - y + 1, -q*t = c*y + 18 for t.
-1
Let b(v) = 15*v + 245. Let q be b(-16). Solve -k - 3*l + 10 = 0, -5*k - 4*l = -q*l - 2 for k.
1
Let w be ((-18)/15)/((-1)/((-40)/(-12))). Let h(a) = a**3 - 7*a**2 + 5*a + 8. Let i be h(6). Solve 2 = -i*m + w*z, 5*m + z + 0*z = 6 for m.
1
Let p(o) = -o**3 - 16*o**2 + 16*o - 14. Let s be p(-17). Suppose 4*f + 4 = -5*r, 2*f + s*r = 6*f - 28. Solve 2*k + 7 = 3*n - 0*k, -f*n + 15 = 3*k for n.
3
Let b be ((-1)/(-2))/((-2)/152). Let c = -30 - b. Solve -2*i - 8 = l, 4*i + 16 + c = -4*l for l.
-4
Let o = 65 + -60. Suppose -v + o*p = v, -2*p = 2*v. Solve 2*m + v*c + 3*c + 18 = 0, -4*c = -5*m + 1 for m.
-3
Let j(s) = s**3 - 2*s**2 - s + 4. Let h be j(4). Suppose 2*r + 28 - h = 0. Solve -4 + 1 = v, -r*i - 13 = 5*v for i.
1
Suppose 5 + 1 = 2*h. Suppose 3*f - 7 = 14. Suppose -4*n + 12 = 5*b, -3*b = -n - f*b + 3. Solve 18 = 3*u - p, -4*u + 8 = h*p - n for u.
5
Suppose 3*c - g - 9 = 0, -6*g + 5*g = 3*c - 9. Solve -c*l + 3 = -3*d, -3*d = -3*l + 4*l + 19 for d.
-5
Let u(p) = -p**2 + 14*p - 21. Let y be u(12). Let r be -3 + y + 8/2. Solve 0 = -r*v + x - 12, 12 = -4*v - x for v.
-3
Suppose 60 = -145*w + 149*w. Let l be -5*(-1 - (-3)/w). Solve -t = 3*i - 18, -5*t - 5 = -l*i - 0*i for i.
5
Suppose 2*d - 3*m + 4*m = 15, -5*d + 18 = -4*m. Solve b + 5 = 5*p, -3*b + 3*p + d - 21 = 0 for b.
-5
Suppose -5*m - 90 = -110. Solve 0*g - 20 = -n + 5*g, -2*g = -m*n - 10 for n.
-5
Suppose -6 = -a - 1. Solve -2*t + 17 = a*l, 6*l - 2*l + 4*t = 16 for l.
3
Suppose -x = 2*t - 2, 3*x + 6 = 2*t - 4*t. Let l(y) = y**3 - 9*y**2 + 9*y - 4. Let m be l(8). Suppose 0 = i - m + 1. Solve -i*c + 5*c = 6, 14 = -p + t*c for p.
-5
Let s be (-42)/4*460/(-161). Solve -4*j - j - s = -2*n, -4*n = j - 16 for n.
5
Suppose 0 = -2*v + 3 - 39. Let i = -6 - v. Suppose -7*g = -3*g - i. Solve 4*t + t - 19 = g*s, 4*s + 14 = t for s.
-3
Suppose 3*j + h - 7 = 0, j + 9 = 4*h + 33. Solve -2*m - 2*m - 5*y - 5 = 0, 0 = 4*y + j for m.
0
Suppose 2*l = -5*k + 77, -2*l - k + 41 = -24. Let d = -28 + l. Solve 0 = 7*o - d*o - 16, -3*o = 3*r + 3 for r.
-5
Let b(g) = -6*g**2 - 7*g - 3. Let u(z) = -z**2 - z. Let q(y) = -b(y) + 5*u(y). Let t be q(-2). Solve -5*x - t = -4*o, -3*o + x = -0*x + 6 for o.
-3
Suppose 4*n = -0*o - 2*o - 12, 3*o = 5*n + 26. Suppose 4*d + 5*b - 6 = 0, b = o*b + 2. Let h be 1/2 - 2/d. Solve 0 = -c - 5, 4*k + c + 1 = -h for k.
1
Let k = -29 + 43. Suppose 0 = 3*d + 4*d - 14. Solve y + 3 = d*i, y + k = -5*i + 4 for i.
-1
Suppose -3*p - 2*x = -2*p - 6, 0 = -3*p - 3*x + 24. Suppose p*h - 156 = -6. Let q be -1 + -6*(2 - 3). Solve -5*u + 2*n = h, -q = -2*u - u + 4*n for u.
-5
Let y(j) = -j**3 + 9*j**2 + 8*j + 5. Let g be y(10). Let q = 2 - g. Solve -2*i + 4 = 4*w + 14, i + q = -5*w for i.
3
Let y(h) = -h**3 - h**2 - 2*h - 6. Let p be y(-2). Solve 2*a - p*x = 8, 2*a - 3*x = 8 - 1 for a.
5
Let g(y) = 2*y**2 - 12*y + 12. Let l be g(5). Solve -x + l = -1, -2*x = -4*j - 10 for j.
-1
Suppose s - 1 + 0 = 0. Suppose -15 = -7*c - s. Suppose 0 = u - 5*f, 0 = -5*f + c*f. Solve 2*n + 3*g - 5*g + 14 = u, -n = 3*g - 9 for n.
-3
Let m = -132 + 135. Solve -n - m = -2*s, 0 = -3*n - 3*s - 9 - 9 for n.
-5
Let l = 54 + -50. Solve -3*t + 10 = 2*f + t, l*t - 9 = -f for f.
1
Let z(x) = 2*x**2 - 18*x + 19. Let n be z(8). Solve 2*v - 17 = -3*y, -5 + 0 = v - n*y for v.
4
Let a = -1629 - -1633. Solve -a*t = -4*h + 24, 11 + 14 = 5*h for t.
-1
Suppose -l = 4*u - 22, -2*l - 2*u + 2 = -6*l. Let p be (19 - 9)*5/2. Solve 5*k + p = -4*h + 2, 0 = 3*k - l*h + 5 for k.
-3
Suppose 0 = x + u + 73, -3*x - u = 117 + 96. Let n = x + 72. Solve 5*a - 8 = -4*s, n*a + 2*s = 6*s + 20 for a.
4
Let y(b) = -b**2 + 2. Let d be y(0). Let f = -8 - 8. Let x = f + 19. Solve x*k + 17 = g, g - 3 = -k - d for g.
5
Suppose m - 15 = -4*o, -9*o + 5*m - 3 = -11*o. Solve -4*j + o*v + 19 = 7, -8 = 2*v for j.
-1
Suppose 0 = 3*m - 4*n + 8, m - 3*n + 6 = -0*m. Solve 2*z + 2*y + 4 = m, 0 = 2*z - 0*z - 2*y + 16 for z.
-5
Suppose 28 = -10*x + 14*x - 4*l, 8 = -2*l. Solve -5*b - 4*y = -37 + 8, -22 = -5*b + x*y for b.
5
Let t be 20*(-15)/(-70) + 4/(-14). Solve t*q = -4*d - 12, 2*q = -3*d - 2*d - 3 for d.
1
Let k be 84/9*6/7. Solve 5*r + 28 = -2*y, 4*y - k = 5*r + y for r.
-4
Let w be -2*(0 + (-9)/6). Suppose 2*n - 5*c - 18 = 0, w*c = -6 - 0. Solve 3*q - 4 = 5*x, 3*x = 2*q - n*q - 10 for x.
-2
Let d = 40 + -29. Suppose 9*c - d*c + 8 = 0. Solve 4*q - 3 = -3*l, 2*l = c*q - 11 - 7 for q.
3
Let n = 279 + -275. Solve 5*t - 3*j = 0, -3*t = -7*t - n*j for t.
0
Let l = 96 - 78. Let j = l - -12. Solve -3*i - 3*m = -j, -i - 2*m + 15 = -0*m for i.
5
Suppose -20*j - 8 = -28. Solve m - 5*f + 22 = -2*m, -j = 4*m - f for m.
1
Suppose 0 = -4*m - 112 - 96. Let w be (-96)/m + 4/26. Suppose 4*p - 20 = -w*z - 2*z, 0 = -2*z + 2*p - 10. Solve g = -3*y - 15, 20 = -4*y - 2*g - z*g for y.
-5
Let f(x) = -x**2 + 12*x - 4. Let v be f(11). Suppose g + 5*q - 38 = 3*g, 4*g = 2*q - 92. Let t = v - g. Solve 3*y + t = -4*o, -41 = 6*y - y + 4*o for y.
-5
Suppose 18*m - 162 = 9*m. Solve -4*v + 0*c = -c + m, 2*v + 3*c = -2 for v.
-4
Let m = -63 - -100. Suppose m - 7 = 5*t. Solve 2*z - 3*k - 8 = 0, -3*k - t = z - 2*k for z.
-2
Let k = -43 - -39. Let h be 2 - 1 - k - 3. Solve -j = -h*d - 11, -4*d + d - 5*j + 16 = 0 for d.
-3
Let t(o) = o - 4. Let s be t(8). Suppose s*i = 5*i - 3. Solve i*k - 3*j + 14 = k, 4 = j for k.
-1
Let c be ((-4)/6)/((-8)/84). Let k = 3646 + -3643. Solve -k*i = l + c, 7*i - 5 = 2*l + 4*i for l.
-4
Let q(j) = -j**3 + 25*j**2 - 24*j + 3. Let i be q(24). Solve 3 = -2*g + 13, -i*u + 17 = 4*g for u.
-1
Let a(v) = -6*v**2 + 42*v + 4. Let g be a(7). Solve 8 = g*d + l, -2*d + 2*l = -2*l - 22 for d.
3
Let a(w) = -w**2 - 8*w - 6. Let f be a(-3). Suppose -4*r + 24 = -0*r. Let x = f - r. Solve -n + x*i = 5, 4*n - 4*i + 2 = 6 for n.
4
Suppose 2*z - 50 = -0*z + 5*r, -5*r = 5*z - 90. Let k be (10 + 0)*z/40. Solve -2*d - 4*l - 2 = 0, -4*d + k*l = 12 + 5 for d.
-3
Suppose 8*q - 11*q = -r - 5, -2*q + 4*r = 0. Solve 0 = -j + f, 6*j = 2*j + q*f - 10 for j.
-5
Suppose -43*s + 706 = -197. Solve -2*p + p - 5*n = -13, -5*p - 3*n = -s for p.
3
Let n(m) = -16*m**2 + 81*m - 90. Let x(j) = 3*j**2 - 16*j + 18. Let a(q) = 2*n(q) + 11*x(q). Let r be a(13). Solve -4 = -5*y - 0*f - f, r*y + 3*f = 2 for y.
1
Suppose 4*i - 17 - 3 = 0. Suppose -2*g - i + 15 = 0. Solve -g*l = -4*z + 26 + 5, 4*z - 1 = -5*l for l.
-3
Let t(d) = 5*d**3 - d**2 + 2*d - 1. Let b be t(1). Suppose -14 = -q - 2*j, 7*j - 2*j - 7 = q. Let o = q - b. Solve -4*p + 1 = 4*i - o, p = i - 3 for p.
-1
Let n(d) = 2*d + 14. Let x = -12 - -6. Let k be n(x). Suppose h - k*q = 21 - 5, 3*q = -h - 9. Solve u - 4*u = -2*g - 10, 3*u = h for g.
-2
Let v be ((-51)/9 - -5)*-3*2. Suppose -v = -2*z - 5*p, z + 0*z - 2 = -3*p. Solve j = 4*g, 0 = -3*j + g + z*g for j.
0
Suppose 9*m = 4*m + z + 64, 5*m - 44 = -4*z. Solve -2*j + m = 3*d + d, -3*j - d = 2 for j.
-2
Let h(s) be the third derivative of -s**6/120 + s**5/30 + s**4/12 - s**3/3 - 24*s**2. Let u be h(2). Solve -u*v + 