5*o - h - 5. Solve 0 = 3*a - k - 7 - 1, -o*a + 6 = k for a.
2
Let v(p) = -12*p - 3 + 5*p + p - p**2 + 0*p**2. Let a be v(-5). Solve 4*y - 6 = -2*o, -2*y + 4*o - a + 0 = 0 for y.
1
Let n = -480 + 484. Solve -c = -t + 2*c + 12, -n*t + 18 = -2*c for t.
3
Let y be (-48)/(-10) + (176/20)/(-11). Solve 1 = n + 2*h + 3, -4*n + 4*h + y = 0 for n.
0
Suppose 2*j - j = 3*t - 6, 3*t - 3*j = 6. Let s(z) = z**3 - 15*z**2 - 20*z + 72. Let i be s(16). Solve 2*n = 6*n + t*v, -3*v = -2*n + i for n.
1
Suppose 0 = -3*j - 3*x - 0*x + 24, 3*j + 5*x - 16 = 0. Let q be -9*(1 - 5)/12. Suppose 0 = q*w - 18 - 9. Solve 0*a + h - j = -2*a, a + 2*h = w for a.
5
Let p be 10 - ((-44)/(-154) - (-16)/(-7)). Solve 4*l - p = -2*k, -3*l - 3*k - 7 + 13 = 0 for l.
4
Suppose 0 = 3*m + 4*m - 28. Let r be 3 - (1 - (6 - m)). Solve -t - 2 = -6, t = 5*c + r for c.
0
Let i be (10/(-6))/((-2)/6). Let q(y) = y**3 + y**2 - 5*y + 3. Let u be q(2). Solve -3*a = i*o - o + 9, u*a - 11 = 2*o for a.
1
Suppose -s = -2*i + 9 + 3, -3*i + 18 = 4*s. Suppose i*d + 2*v = 10*d - 2, 22 = 5*d + 4*v. Solve -4 = d*z + p, -3*p - 4 = -z + 8 for z.
0
Let y be ((4 - 3)*6)/(-2). Let c be ((-30)/(-3))/((-3)/y). Solve -5*x = -4*l - c, 3*l - x - 2 + 4 = 0 for l.
0
Suppose -31*r = 17*r - 144. Solve 4*h - 12 = -2*i, 4*h + r*i = 7*h - 27 for h.
5
Suppose 168*g - 60 = 158*g. Solve a = -t - 2, -10*a - 3*t - 8 = -g*a for a.
-2
Let z be 15/4 + (-3)/(-12). Let c be -6*2*4/(-16). Solve -16 = 4*x - 0*x, c*h - 31 = z*x for h.
5
Suppose -2*w + 5*w = 15. Suppose -r - w + 7 = 0. Solve -b + r*i + 12 = 0, -4*b - 3*i + 13 = -4*i for b.
2
Suppose -201 = -28*j - 5. Solve -3*f + j = -2*w - 0*w, -5*f + 3 = w for w.
-2
Let o = 27 - 18. Suppose -3*d + 6 = -o. Solve d*u + 2 = -3*k, 0*u + 3*u = 3*k + 18 for k.
-4
Let r(h) = -h**3 + 6*h**2 + 9*h - 11. Let d be (-3)/(15/(-35)) + (-1 - -1). Let z be r(d). Solve -z*o = 2*y - 5*o - 8, y = -3*o for y.
3
Let t be (-9 - 136/(-16)) + (-34)/(-4). Solve 0 = -3*g + a + 17 - 5, 0 = -2*g + 5*a + t for g.
4
Let s = 78 - -41. Let y = 147 - s. Solve c - 2 = 2*f - 6, 5*f - y = -2*c for c.
4
Suppose 4*y - g - 12 = 0, 2*y + 0*y + g - 12 = 0. Suppose u - 5*z + z = -12, 0 = -y*z + 16. Solve 0 = h - 2*n - u, 3*h + 0*n = 2*n - 4 for h.
-4
Suppose 0 = -v - 3, -4*v + 0*v = j. Solve -4*o - j = 3*x, 2*o + 3*x + 11 + 1 = 0 for o.
0
Let v be (-2)/(-4) + (10 - (-126)/(-12)). Solve v = 5*p - 2*k + 1, -2*k = -3*p + k + 3 for p.
-1
Let a = 11 + -25. Let i = a - -18. Let m be (2/(-3))/(i/(-30)). Solve 0 = m*f - j - 9, -9 = -f + 2*j for f.
1
Let q = -713 - -717. Solve p - h + 3 = 0, 4*p + q*h - 6 = -h for p.
-1
Suppose 12 = -4*w, -2*w - 233 = 2*l - 5*w. Let r = -76 - l. Let q be (4/6)/(6/r). Solve 3*p - 2*a = 3 + 15, 0 = 3*p + q*a + 3 for p.
4
Let x(i) = 4*i**2 - 2*i + 3. Let f be x(2). Suppose f*q = 5*q + 60. Solve 2*c - 2 = 2*n, q*n = 2*n - 3*c - 32 for n.
-5
Let x(v) = -4*v. Let p be x(-1). Let b be (-2)/10 - (-915)/75. Solve -j + 5*z = -b, -j - 2*j - 21 = p*z for j.
-3
Let g(n) = -84*n - 924. Let l be g(-11). Solve 0 = r - 4*d + d + 3, l = 5*r + 4*d + 15 for r.
-3
Suppose -4 = f - 3*l, 0*f + 5*l = -4*f - 16. Let o(d) = -d - 3. Let h be o(f). Let j be 35/5 + -4 + h. Solve -3 = 5*n + j*x - 0, 5*n + 30 = 5*x for n.
-3
Let g(u) = -u**2 - 3*u**2 + u**3 - 2 + 3*u**2. Let d be 48/32*(-4)/(-3). Let j be g(d). Solve -5*v + 40 = -4*m, j*v + v + 2*m = 2 for v.
4
Suppose -12*u + 12 + 48 = 0. Let l be (-5 - (-6 + 4))/(-1). Solve 2*c = l*w - 9, 4*c - u*w + 14 = 1 for c.
3
Suppose -3*w - 10*w + 65 = 0. Solve 5 = -v - 4*k, 0*v + w*k - 2 = -4*v for v.
3
Let i(v) = v + 3. Let z be i(1). Suppose 4*c - 3*t + 80 = 0, 3*c - z*t - 20 = 4*c. Let q be -3*4/(16/c). Solve 3*j + 3*m = 9, -3*m + 8*m = 4*j + q for j.
0
Let i(z) = -12*z - 28. Let q be i(-7). Let f = -56 + q. Suppose 0 = 3*t - 13 + 4. Solve f = 3*x - 6, o + 0 = t*x - 1 for o.
5
Suppose 0 = 5*l - l - 5*n - 91, 4*n - 7 = -l. Let k(o) = 4*o + 16. Let z be k(-2). Solve -5*w + m + 3 = l, 3*w - 5*m = z for w.
-4
Suppose -9*c = -3*c - 528. Let g be 18/162 - c/(-18). Solve x = -4*d + 9 + 10, 28 = g*d - 3*x for d.
5
Suppose 6*g - 26 = 40. Let i be 1/(1*(-4)/(-40)). Suppose 5*y - 27 = -3*n, -y - i = -4*n + y. Solve a + 2*m - g = 1, -5*m + n = -4*a for a.
4
Suppose 7*o + 9 = 30. Solve 0 = 2*w + 6, -w - w = o*g + 9 for g.
-1
Let y(p) = 2*p - 6. Let q be y(3). Solve 3*b = -3*h - q*h - 12, 2*b + h = -8 for b.
-4
Let w = 68 - 62. Let j(h) = -5*h + 32. Let k be j(w). Solve 2*f = -y + 4, k*f + 5*y - 2*y - 12 = 0 for f.
0
Let i(c) = -c**2 - 6*c. Let k be i(-6). Let j be 5 + (k + 0 - 2). Solve l + u = -l + 3, -u = -j for l.
0
Let v be 9*-6*(-8)/72. Solve 0 = 5*x, 3*t = -2*x + 3*x + v for t.
2
Let g(v) be the third derivative of v**5/60 - 5*v**4/24 + v**3/3 - 2*v**2. Let x be g(5). Solve 0 = 2*o - 0*o + 10, x*o + 8 = f for f.
-2
Let h(r) = r**3 + 6*r**2 - 14*r - 12. Let z be h(-8). Let o be 26/7 - (148/z - -5). Solve -o = -4*l - 0*m - 3*m, -m + 4 = 2*l for l.
4
Let k = 362 + -362. Solve k = 4*t + 2*l - 12, 2 = -5*t + 2*l - 1 for t.
1
Suppose 4*k - 22 = -g, -g + 6 = -4*g. Solve -w + v = -4, k*w - 2*v = 2*w + 10 for w.
1
Suppose 8*i + 204 - 220 = 0. Solve -i*x + r + 3*r + 6 = 0, 12 = 4*x - 2*r for x.
3
Let j = 353 - 349. Solve -5*i = -2*s + j, 0*s + 5*i = -2*s + 4 for s.
2
Let b(a) = 38*a + 14. Let q be b(-3). Let l = 100 + q. Suppose 2*j = -2, 0*j + 4*j + 30 = 2*y. Solve l = 5*m + 10, -4*w + 2*m - 3 = y for w.
-5
Let w = 3 + -1. Suppose 8*k = 10*k - 2. Let d be 0/(4*k/w). Solve 5*h - 4*y - 5 = d, 0 = 3*h - 5*y - 1 + 11 for h.
5
Suppose 4*d + 13 = 6*o - 5*o, 0 = -5*d + 5*o - 35. Let k be (-1)/((8/36)/d). Suppose 2*j = k + 3. Solve 3*b = 5*t + 37 - 13, 2*b = j for t.
-3
Let g(f) = 5*f**3 - f**2 - 2*f. Let u be g(2). Let s be 139/((6/(-4))/(15/(-10))). Let l = -106 + s. Solve -3*v - 3*t - t - u = 0, 2*v = -5*t - l for v.
-4
Suppose -2*f = -z + 2*f - 4, -2*f + 4 = 0. Let a be 944/(-48) - (-2)/(-6). Let m = -11 - a. Solve -5*b - 2*c + 17 = 0, -z*c = 3*b - m - 4 for b.
3
Let k be 16/(-36) + 245/45. Solve 4*o = -3*g + 20, 2 = k*o - g - 4 for o.
2
Let k = 16 - 15. Suppose 2*c = 7 + k. Suppose 0 = 2*p + 3*f - 6*f - 22, 5*p + c*f = 9. Solve -p*r + 33 = 4*b, -12 = -b + 5*b - 4*r for b.
2
Suppose -4*v + 3*t = 0, 5*v + 3*t + 1 = 7*t. Solve 5*u = v*u - 4*y + 8, 0 = u - y + 8 for u.
-4
Suppose -3*n - 4*k - k = 19, -4*k = 5*n + 10. Solve -4*u + n = -u - t, 0 = 5*u + 4*t - 26 for u.
2
Let r(w) = w**2 + w - 2. Let t(h) = h**2 + 8*h - 2. Let n be t(-8). Let s be r(n). Solve 0 = -5*l + 3*k - 7, s*l + 14 = -2*l + 4*k for l.
1
Let k(j) = -j + 3. Let g be k(1). Suppose -g*p = 2*p. Solve -4*n - 6 = -n, p = 2*m + 3*n for m.
3
Let d be (-14)/(-56) - (-2)/(-8). Solve -3*m - 6 + d = -4*i, i - 5*m = -7 for i.
3
Let c = 786 - 766. Solve -g - 15 = 3*d, -4*d - 3*g = -6*g + c for d.
-5
Let w be 0/(1 + -1 - (-4)/2). Solve w = f, q - 4*f + 3*f = -1 for q.
-1
Let b be (-1*5)/((-6)/12). Suppose -b - 18 = -4*k. Let l be 2/3 + k/3. Solve 0 + l = -t - j, -5*t - 15 = -2*j for t.
-3
Suppose -152*q - 215 = -195*q. Solve -24 = q*i - h, -h = -4*i - 14 - 6 for i.
-4
Let i be ((-13)/1)/(-1 - 0). Let u = i + 4. Let w(p) = 17*p - 99. Let l be w(6). Solve -3*f - u = 4*y, -5*y - 15 - 4 = l*f for y.
-2
Suppose 0 = 9*z - 4*z + 10. Let q(y) = -3*y**3 - y**2 + 3*y. Let v be q(z). Solve -v = -5*l - 3*n, 4*l = -l + 4*n - 7 for l.
1
Let b(a) = -2*a**2 - 40*a + 92. Let g be b(-22). Solve -2*v - g = 0, -w - 8 = w + 4*v for w.
0
Suppose 3*k - 9 = -p, 1 = 5*k - 6*k. Suppose -3*t + 5*t - 4 = h, 4*h - t - 5 = 0. Suppose h*s - p = -s. Solve -s*l = -3*d - 22, -l = -4*d - 3 - 9 for l.
4
Suppose 0 = 23*j - 69 - 23. Solve 3*x - 1 - 2 = 4*v, -4 = -3*v - j*x for v.
0
Let g(r) = r - 2. Let i be g(5). Let v(n) = -2*n + 36. Let x(l) = -3*l - 9. Let h be x(-8). Let a be v(h). Solve -o = -3*d - 10, d = 4*d + i*o - a for d.
-2
Suppose 0 = 3*t + 18 - 60. Suppose -8*x + 2 + t = 0. Solve x*d = 2*b - b, 4*d = -8 for b.
-4
Let t = 45 + -39. Suppose 4*w - 44 = 4*x, -2*w - 36 = -t*w + 2*x. Let s be -1*(-1)/((-2)/(-10)). Solve -s*v - i = -2*i - 7, -3*v - w = 5*i for v.
1
Let p(w) = 65*w + 327. Let x be p(-5). Solve 17 = 4*z + k, z - 3*k - x = -4*k for z.
5
Suppose -2*n + 69 = 21*n. Solve 2*l = -n*f - 7, -22*f + 6 = -26*f - 2*l for f.
1
Let x(w) = w**3 - 6*w**2 + 5*w. Let m = 37 + -32. Le