 p, -3*l - 2 = -2*s for s.
-5
Let s(c) = 4*c**2 - c + 1. Let q be s(1). Suppose 4 = 3*y - 2, -y = -4*j - 6. Let a = q + j. Solve -5*n = 4*m + 2, -2*m - 1 = a*n + 1 for n.
-2
Let o(n) = n + 3. Let r be o(3). Let v = r + -2. Solve 5*b + v*w = 17, -b - 2*b - 4*w = -7 for b.
5
Let g(f) = -4 + 4 + 3 + f**2. Let a be g(0). Let y be 27/6*4/6. Solve -j - a*q = -17, y*j - 2*q - 3 = 4 for j.
5
Suppose -z = z. Let h(t) = -t + 3. Let k be h(z). Suppose -5*s + 0*j = -k*j - 21, -3*s + 5 = 2*j. Solve 3*i = r + s, -4*r = -r + 5*i + 9 for r.
-3
Let t(d) = -d**3 - 5*d**2 + 5*d + 5. Let o be t(-5). Let c = -18 - o. Solve -c*j - w = -6, j = -3*w - 1 + 4 for j.
3
Suppose 12*g - 4 = 8*g. Suppose 2*m - m + g = -f, -4 = f. Solve 0*j - 3*j = m*p - 12, 4*p + 24 = 4*j for j.
5
Suppose 11*t = 5*t + 42. Solve 0 = -n + 5*h - t, -4*n - 2*h = h - 18 for n.
3
Let r(u) = -u - 2. Let p be r(0). Let z be p/(((-8)/12)/2). Solve -2*k - 6*c = -2*c - z, -3*k + 4*c - 1 = 0 for k.
1
Let y be ((-2)/(-6))/((-2)/(-12)). Suppose -4*p + 3*p = -y. Solve -4*n = 7*o - 3*o + 12, p = -o - 2*n for o.
-4
Suppose 0 = -3*h + 22 - 7. Solve 0 = -h*k + 20, 4*v + 0*k + 4 = -k for v.
-2
Suppose -11*f = -8*f - 6. Solve f*z - l = -5, 0 = 2*z - 4*l + 5 + 15 for z.
0
Suppose b = 3*b - 2*p - 136, -b - 5*p + 92 = 0. Let c be (b/3)/3 + -3. Solve -c*u - 3 = 2*m + 2, m + 4 = -3*u for u.
-3
Let c be 9 - (-2 - -2 - 1). Suppose -t + c - 2 = 0. Suppose 0 = -2*v - 0*v + t. Solve -32 = 4*k + 3*w - 10, 2*k - v*w = 0 for k.
-4
Let a = 1 + 4. Let g(s) = 4*s - s**2 - 5*s**2 - 7 + s**3 + 14. Let h be g(a). Solve h*m + 16 = -4*f - 3*m, -m = -5*f + 9 for f.
1
Suppose 0*w = -w. Solve q + 5*f - 5 = -4*q, w = q + 4*f + 8 for q.
4
Let n = 9 - 6. Solve -n*q = l - 7, -4*l - 27 = -5*q + 13 for q.
4
Let w(q) = -q**3 + 3*q**2 + 1. Let v be w(3). Let x be (-9)/3 - (-2 - v). Solve -5*a = -2*a + c - 8, x = -4*a - c + 12 for a.
4
Suppose -3*b + 4*x = 64, -3*b + 101 = -8*b + x. Let y be (6/5)/((-6)/b). Let g = y - 2. Solve 6 = -3*v + g*m, v + v + 2*m + 14 = 0 for v.
-4
Suppose 2*z + 5 = -3*w, -2*z - 5*w + 0*w - 11 = 0. Suppose 2*y = -0*b - 3*b + 2, -b + 2*y = z. Solve 0*p + 4*p - 5*s = 0, 4*s = b for p.
0
Let h be (4/(-6))/((-7)/21). Suppose 0 = -4*c - 3*w - 1, -h*w + 2 = 3*c + c. Solve -d = -3*d - 6, 5*d + 21 = c*i for i.
3
Suppose -20 + 0 = -2*n. Let g = n + -6. Suppose -g = q - 4*h - 0, -3*q + 24 = -3*h. Solve q = 4*d - 2*f, 0*d + 3 = -5*d - 2*f for d.
1
Suppose m - 1 = b - 0, 3*b + 3*m - 15 = 0. Let c = 2 + b. Suppose 0 = 3*x - 4 - 5. Solve 0 = x*h + d - 4*d + 3, d = -c*h - 14 for h.
-3
Let x(z) = z**3 + 3*z**2 - 1. Let n be x(-2). Solve -n*k + d + 8 = -2*k, 0 = k - 4*d - 23 for k.
3
Let v(n) = -3*n - 1. Let a be ((-5)/(-2))/((-2)/(-16)). Suppose 3*i + a = -2*i. Let u be v(i). Solve -4*c + 4*y - 8 = 0, 3*c + 2*c = 4*y - u for c.
-3
Let p = -6 + 8. Solve 0 = -5*x + f - 28, x + p*f = 2 - 1 for x.
-5
Suppose -i - 2*p - 11 = 0, 0 = -2*i + 5*p + 8 + 6. Let w = i - -5. Solve 3*a = -w*v - 9, 3*v - 24 = -3*a + 6*a for v.
3
Let r = -12 - -29. Suppose -3*p = -13 - 2. Solve 2*m - 3*q + r = 0, -3*m - 2*m + p*q - 35 = 0 for m.
-4
Let o = 127 - 97. Solve 0 = 2*c + 4*d + 14, d - o = 5*c + 6*d for c.
-5
Suppose 0 = 5*y - 4*c - 99, -y - 96 = -5*y - c. Suppose -1 = -2*f + y. Solve r + 2 = -m, 3*m + 2*r + f = r for m.
-5
Let u = 16 + -16. Let r(z) = z**2 + z + 3. Let k be r(u). Solve -3*f + k*y = -y + 13, 4*y = 5*f + 19 for f.
-3
Suppose 3*w = -5*a + 31, -2*a + 6*a = -5*w + 30. Let s = -9 + w. Let l(d) = -d**2 - 8*d + 7. Let f be l(s). Solve -3*u = 4*h + 9, 3*h = 2*u - h - f for u.
1
Suppose 3*r = -2 - 4, 6 = w + 2*r. Suppose 0 = -g + 13 - 6. Let x = w - g. Solve -x*d - 24 = 3*t, -2*t - d + 0*d = 12 for t.
-4
Let p be ((-1)/(3/18))/(-1). Suppose 0*k + p = 2*k. Suppose -k*m + 9 = -c, -2*m + 3*m - 13 = -3*c. Solve -a - o + 1 = -2*a, -c*o - 12 = 0 for a.
-5
Let p be 0/(6/3) - -5. Let t = p - 5. Let m be 1/(1/((-6)/(-2))). Solve k - 1 = -m*w - 6, t = -5*k + 4*w - 25 for k.
-5
Suppose 8*i - 11*i = -15. Solve i*r - 4*c - 13 = -0*r, -c = 5*r - 3 for r.
1
Suppose -2*f = -p - 3*p + 6, 5*p - 13 = -3*f. Solve 3*o - 3 = h + p*h, -4 = 2*h for o.
-1
Let o = -2 + -9. Let y = o + 15. Solve -2*w - 19 = -w + 5*t, 0 = 3*w - y*t for w.
-4
Let u be 2/(-3) + 196/(-21). Let n(h) = -h**2 - 9*h + 14. Let i be n(u). Solve k + 5*z = -20, 3*z = i*k + 6*z - 5 for k.
5
Let v be 1 - (0 - (-2 + 3)). Suppose 4*r = c + 80, -v*r + 19 = -c - 21. Let n = 15 + -10. Solve 3*u - 2*u = -n*a - 30, 5*a + r = u for u.
-5
Let i(b) = b**2 - 4*b - 12. Let s be i(6). Solve -2*o + 4*r - 18 = -s*r, r + 6 = -3*o for o.
-3
Let r be (-1640)/(-90) - (-4)/(-18). Suppose -4*f + f = -r. Solve 0 = p - 0*o - 2*o - 9, 5*p + 3*o = f for p.
3
Let n(c) = -6*c + 6*c**3 + 5*c**2 - 2*c**3 + 0*c + 4 - 3*c**3. Let q be n(-6). Solve 20 = 3*j - q*l, -2*l - 2 - 2 = 0 for j.
4
Let t = -5 + 6. Solve -16 = -2*q + 2*u, t = 5*q + 4*u - 3 for q.
4
Suppose -2*t = i - 11, 5 = -5*i + 4*t - 2*t. Let w = -1 + 4. Solve 0 = w*l + 6, 5*l = 5*d + i - 16 for d.
1
Suppose -5 - 4 = -y. Suppose -3*c = 2*u - y, -2*u + 2 = 8. Solve -16 = 3*f - c*i, -f - 2*i = i - 4 for f.
-2
Let g be -1 + (-2)/((-4)/10). Let a = -30 - -32. Suppose 4*i - 12 = -0. Solve -a*d = -f + g, i*d - 4*f + 1 = -0 for d.
-3
Let h be -4*25/40*-2. Solve 5*l - 3*l - 3*s + 2 = 0, 2*s + 6 = h*l for l.
2
Suppose 4 = -f + 2*k, 0 = 4*f - k - 2*k - 4. Solve -3*v + 1 = -3*b + f*b, 3*b + 3 = -3*v for b.
-2
Suppose -m - 2*h = 2*h, -2*h + 10 = 3*m. Solve g + 1 = -m*t + 4*g, t - 5*g + 13 = 0 for t.
2
Suppose 0 = -2*y - 3*y. Suppose -34 = -5*g + 2*g - 5*d, 5*g + 3*d - 78 = y. Suppose -5*z + 7 + g = 0. Solve 4*o + 5*k = -6, 0 = o + 4*o + z*k + 10 for o.
-4
Let n(q) = -q**2 - q - 2*q**3 + q**2 + q**2. Let t be n(-2). Let y = t + -13. Solve -4*v + y = -p - v, 0 = -p + 4*v - 12 for p.
0
Let l(j) = -j**3 + 16*j**2 - j + 25. Let p be l(16). Solve -4*t - 2*x - 9 = 9, 3*t - 3*x = -p for t.
-4
Suppose 0 = -4*o - 3*g + 5, -5*g + 3*g - 2 = 0. Solve -3*l + o*m + 2*m = -22, -5*l = m - 6 for l.
2
Suppose -3*n + 2*n + 12 = 0. Let i = n + -5. Let b(m) = -m**3 + 7*m**2 + 2*m - 10. Let h be b(i). Solve -3 = -z - 3*j, -3*z - h + 1 = -3*j for z.
0
Let t be 9 + (-3 - 1) - -3. Let p be 26/t + 2/(-8). Solve -x + 4 = 0, 3*v = -v + p*x - 8 for v.
1
Suppose -3 + 4 = -h. Let w = 2 - h. Let r be (-2)/((-1)/(51/6)). Solve 8*g - 4*k + 41 = w*g, -g - r = -3*k for g.
-5
Let k = 0 - 0. Solve k = -q - 5*t - 25, -2*q - 5 = -2*t - 3 for q.
-5
Suppose 15 = 3*i + 2*t, 3*t - 15 = -3*i + 5*t. Suppose -32 = -3*l + i*s, l + 0*l + s = 16. Solve -4*m - 9 = -3*a, -a + 2*a = 5*m + l for a.
-1
Suppose -3*c = 5 + 1. Let i = -2 - c. Solve -3*u + 7*u + 3*y - 4 = i, 3 = 3*u + 2*y for u.
1
Suppose -4*x + r - 3 = -3*x, 2*x + 4*r = 24. Solve x*o = -2*k - 12, -4*k = -10*o + 5*o - 3 for k.
-3
Let q(i) = -23*i**3 - i**2. Let r be q(-1). Solve r = f + 5*g, f - 5*f - 2*g - 2 = 0 for f.
-3
Let s(b) = -7*b - 16. Let t(c) = -11*c - 24. Let a(o) = -8*s(o) + 5*t(o). Let v be a(-6). Suppose q = -0*q + v. Solve 2*h - 3 = -h + q*p, -4 = -4*h + 2*p for h.
1
Let y = -13 + 16. Solve 12 + 13 = -5*n, -3*n = -3*g + y for g.
-4
Let d(p) = 14*p - 12. Let f(n) = n - 1. Let v = 10 - 22. Let w(l) = v*f(l) + d(l). Let t be w(1). Solve 2 = -2*q - o, -q - o - 4 = t*q for q.
-2
Let t be ((-3)/6)/((-3)/6). Let u = 16 + -11. Let y = u - t. Solve y*z = 3*s + 2, -4*s + z = 4 - 10 for s.
2
Suppose 4*n - 2*a = 10, 4*a + 11 = 3*n + 2*n. Let x(p) = 3*p - p - n*p. Let r be x(-4). Solve -4*s = -3*w - r, 2*w + s - 3 = 9 for w.
4
Suppose 0 = 23*l - 16*l - 28. Solve 2*t + 8*b = 3*b + 20, -5*t = -l*b - 17 for t.
5
Let w(a) = -4*a**2 + 1. Let c be w(1). Let p = c + 7. Solve -o + 2*z - z + 6 = 0, 0 = -3*o - p*z + 4 for o.
4
Suppose 5*v - 4 = 3*v - 3*i, -5*i = 0. Solve 3*o + 4*s = 11, s = 4*o + 3*s + v for o.
-3
Suppose 2*o - 3 = -2*f + 9, -5*f + 30 = -5*o. Suppose f = 2*j - j. Solve 3*w = n - 0 + 3, 2*n + j = w for w.
0
Let z = 9 + -7. Suppose z*s + 2 = 3*s. Solve -5*q - s*d = 18, -3*d + 2 + 13 = -3*q for q.
-4
Let p(u) = u**3 - 7*u**2 + u - 4. Let s be p(7). Let i(v) = v**2 - 2*v - 1. Let w be i(s). Solve 18 = -3*n + n - 4*z, -5*n = w*z + 21 for n.
-3
Let l(t) = -t**3 - t**2 + 2*t. Let c be l(-2). Let a = 2 - c. Solve -3*i - 27 = -a*r - 8, 0 = i + 3 for r.
5
Let s(b) = b**2 - 1