 18 = z*k, 9 = 2*k - 5*f for k.
-3
Let d(t) = -t**2 + 9*t - 9. Let n be d(7). Suppose 2*m + 3 - n = 0. Solve 4*f = -3*p - 3, 0 = p - f - 0 + m for p.
-1
Let r(k) = 6*k**3 - k. Let l be r(-1). Let d = -1 - l. Solve 5*a + 15 = d*m + m, -5*m + 9 = -3*a for a.
-3
Suppose 4*t + 35 = -3*a - 15, -2*a - 52 = 4*t. Let n = t + 23. Solve -5*m + 3*v + 3 = -26, 3*v = -n for m.
4
Let t be 0*(-1 - (3 + -5)). Suppose s + 8 = -5*n + 2, 4 = -2*n. Let q be s - 2 - 0/1. Solve k + t - 13 = 3*j, -q*j = 4*k - 10 for j.
-3
Let k = -6 - -11. Let j = k - 5. Solve j = -u - 0*a + 2*a - 8, 0 = 2*u + 2*a - 14 for u.
2
Let q(y) = -y + 5. Let k be q(5). Suppose -2*p - 10 - 4 = 2*o, k = 4*p + 8. Let m = -2 - o. Solve 0 = 4*w - 4*s + 20, 4*w + 15 - m = 2*s for w.
-1
Suppose 5*t - 28 - 32 = 0. Solve 4*y + 2*n = -t, -2*y + 0*y + 4*n = -14 for y.
-1
Let b(r) = -r. Let y be b(-4). Let s = -1 + -3. Let a(z) = z**2 + 3*z + 1. Let c be a(s). Solve -y*d - 21 = -3*n, -2*n - 3 = -c*d - 24 for n.
3
Let s be ((-34)/(-2))/(8 + -7). Solve 3*w = -5*g + s, -7 = -g + 2*w + w for g.
4
Suppose -8*l + 10 = -22. Solve 2*u - 6*u = -4*t, l = -2*t + 4*u for t.
2
Let y = -31 + 22. Let p = -5 - y. Solve -4*l = s + 11, 2*l + 3*s = p - 17 for l.
-2
Suppose -3*t + 1 = -5. Let i = 0 - -2. Solve 0*g = -2*g + 6, i*k - 14 = -t*g for k.
4
Suppose 2*w + 2*w = 32. Solve -2 = -5*s - 5*v + w, -8 = -2*s + 2*v for s.
3
Let g be 2/6 - 2/6. Let n(f) = -f + 1. Let p be n(2). Let r be (-1)/p + 2 + 1. Solve r*v + 20 = 5*l, 3*v - v + 2*l + 10 = g for v.
-5
Let d be (0 - 0)/(1/1). Suppose -u = 4*u + 3*m - 31, d = 4*u + 5*m - 30. Let v = 8 - u. Solve -x - 2 - 11 = -3*o, -3*o = 3*x + v for x.
-4
Let u be 2 - (-2 + 0 + (-16 - -3)). Solve 0 = 3*i + 5*x - u, 4*x - 14 + 3 = -5*i for i.
-1
Let h(w) = w**3 + 5*w**2 - 10*w - 20. Let v be h(-6). Solve 2*g - 14 = -5*a, -4*g + a + v*a - 2 = 0 for g.
2
Let g(d) = 13*d - 11. Let f be g(3). Solve 5*k + l + f = 4, -5*k - 28 = -3*l for k.
-5
Let k be (-4 - (-4 + 2))*-2. Let n(r) = -r + 8. Let l be n(k). Solve -2*u + 20 = l*b, 4*u = -4*b - 6 + 26 for u.
0
Suppose 2*f - 10*f = 0. Solve f = -2*c + a - 4*a + 13, 2*a - 27 = -5*c for c.
5
Let b(m) = -m**2 + 2*m + 3. Let q be b(3). Solve 0 = 4*p - p + 4*z + 7, p + z + 2 = q for p.
-1
Let d be (-1)/(2/(-4)) + 1. Solve -b + 3*f + d = b, -b - 1 = -4*f for b.
3
Suppose y + 5*g - 31 = 0, -g = -3*y - 25 + 86. Solve -2*l - 3*q + 13 = -4*l, -l + y = 4*q for l.
1
Let n be (2/(-12))/((-5446)/(-420) - 13). Suppose 0 = -0*m + m - 2. Solve -29 + m = -3*y + 3*g, 3*g = -5*y + n for y.
4
Let n(j) = -4*j - 5. Let k be n(6). Let z = -5 - k. Suppose -4*o = -x + z, -5*o - 5 - 28 = -2*x. Solve i + 4*b - 3*b + 5 = 0, x*i + 20 = 2*b for i.
-5
Let z(w) = -13*w. Let i be z(-1). Suppose -3*u + 14 = -i. Suppose 0 = 3*x + 5*t - 21, 3*x - 5*t + 8 = -1. Solve 3*k + u = 4*n - x*k, -1 = -3*n - 2*k for n.
1
Let a be (-2)/(-4) - 22/(-4). Let b(z) = z**3 - 5*z**2 - 8*z + 6. Let g be b(a). Let r be (-2)/3 - 58/g. Solve 0 = 2*k + 5*f - 3, 4*f - 1 = k - r for k.
4
Let g = -4 + 3. Let q = 4 + g. Suppose -p = 5*t - 9 - 10, 2*p = 2*t - 10. Solve 6*l - 2*l - t*i - 20 = 0, -q*i = -2*l + 15 for l.
0
Let v = -4 + 3. Let p be 2/(2*v/(-8)). Solve q = 6*q + 2*l - p, 2*q = 3*l + 7 for q.
2
Let i be -9*((-30)/9 - 1). Let y be -6*(4 + i/(-9)). Solve 0 = -2*v - 10, -8*a + 3*a - y*v - 25 = 0 for a.
-3
Suppose 5*m + 2*c = 3*c + 13, -c + 8 = 2*m. Solve 2*s - 11 = -m*p, -5*p = -2*s + 2 + 1 for p.
1
Let u = -4 + 7. Solve 2*v = u*z - 17, 6 = -v + 2*z - 4 for v.
-4
Let n be 0/(2 + 1 + -2). Suppose n = -3*z + 8*z. Let x(c) = -c. Let r be x(z). Solve 5*u - 2*a + 20 = r, -3*a = 5*u + 2 - 7 for u.
-2
Suppose -i + 3*i - 4 = 0. Suppose 5*k = 20, i*u = -2*k + 3*k + 8. Let p(m) = m**2 - 6*m + 2. Let h be p(u). Solve -5*q + 5 = 0, 0 = -5*j + h*j - q + 7 for j.
2
Let w be (-13)/(-2) + (-12)/8. Suppose -8 = -4*s - w*v, s + 2*v - 8 = -3*s. Let h be 4*(2 - (-1 - s)). Solve 2*c - 3*c + 5*o = 0, 5*c + h = 5*o for c.
-5
Let v = 15 - -1. Suppose v + 4 = 5*w. Solve 0 = 5*f + w*x + 4, x + 0 = 4*f - 1 for f.
0
Let o(z) = z**3 - 13*z**2 - z + 30. Let g be o(13). Let c be 2/(2 - 8/5). Solve 3*s = c*l - g, -25 = -5*l + 2*s + 3*s for l.
1
Suppose -3*l - 2*r = 3*r - 43, 4*l + 3*r - 50 = 0. Suppose 0 = -4*v + 1 + 11. Solve -v*w + 17 = 5*n, 2*n - l = -5*w + 11 for w.
4
Let u = 24 - -4. Suppose 5*n + z - 4 = 5, n - 2*z + 7 = 0. Solve 0 = 4*d + t - n, u = -3*d + 5*t for d.
-1
Suppose -5*j + j = -12. Suppose -4*p + 4 = -2*y, -2*y - 2 = 3*p - 12. Solve 2 = 4*z - 2*g, 2*g = -j*z + 3*g + p for z.
1
Let b = -3 + 6. Let x = 2 + b. Solve 0 = z - y - 8, -y = -x*z + 6*z + 2 for z.
3
Let j(y) = -3*y - 1. Let f be j(-2). Solve f*v - k + 0 - 5 = 0, -17 = -v - 3*k for v.
2
Let w be (-1 + 0)/((-1)/2). Suppose 0*z + w = z. Let q be 4 + -2 + (-1 - -2). Solve -f = -z*x - 14 + 3, -q*x = 4*f - 11 for x.
-3
Let r(n) = -n**3 + 2*n**2 - 1. Let i be r(1). Solve 5*d - 5*v - 35 = i, 4*d - 6 - 26 = 5*v for d.
3
Let i(g) be the first derivative of -g**4/4 - 4*g**3 - 6*g**2 - 8*g - 2. Let p be i(-11). Solve 2*t = 3*k + 19, p*t + 4*k + 32 = 7*t for t.
5
Let l = -8 - -11. Let b = -4 - -10. Suppose -h + b*h + 6 = 3*c, -c - 4*h = -2. Solve -p - l = x, -p - 4*x - 10 = c*p for p.
-2
Let z = -11 + 14. Suppose 3*g - 4*o = 13, 0*o = -z*g - o + 23. Solve 0*y + g = n + 2*y, -2*y = -3*n - 11 for n.
-1
Let v(y) = -y**3 + 18*y**2 - 18*y + 22. Let u be v(17). Solve -5*o = g - 7, 0 = -u*o + 5*g + 19 + 6 for o.
2
Let b be 128/10 + (-3)/(-15). Suppose 7 = 5*h - b. Solve c + 6 = 3*a - 4, 3*a - 5 = -h*c for c.
-1
Let k = 10 + -11. Let a be (-1)/k - (-2 + -5). Solve -w + 3*w - 3*f = 0, 0 = 4*f - a for w.
3
Suppose z - 24 = -2*z. Let p(n) = -n**3 + 9*n**2 - 7*n - 5. Let v be p(z). Solve -q + 5*q = w - 11, -q = v*w + 6 for q.
-3
Let o be (-2 - -1)*((4 - -2) + -10). Solve 4*f = -o*u + 4, 5*f - 1 + 36 = 3*u for u.
5
Suppose -11*a + 10*a + 8 = 0. Solve 4*j - a*j - 16 = o, 4*j = -5*o for o.
4
Let h(s) be the first derivative of s**2/2 + 13*s - 3. Let m be h(-9). Solve -12 = -2*k - m*t, 0 = -k - 2*k - 4*t + 12 for k.
0
Suppose 5*z - 3*j = 35, 0 = z + j - 5*j - 24. Solve 0 = -5*s - z*h - 4, 3*s - 2*h = -s + 2 for s.
0
Let r = 4 + 3. Let w(f) = f + r - 2*f + 0*f. Let d be w(-5). Solve -25 = 5*b, n + 0*b + d = -2*b for n.
-2
Let n be 4/2*(-21)/(-6). Suppose n*r = 4*i + 3*r - 108, 2*i = -2*r + 34. Solve -4*q = -2*a + 12, 0 = 3*a - q + 5*q + i for a.
-2
Let g(n) = -n**2 + 5*n + 2. Let z be g(4). Suppose 0 = 5*j + 5*w - w + 6, w - 4 = -4*j. Solve -j = 2*r, -2*l - 3*r = -1 + z for l.
-1
Let l(j) = -j + 3. Let t be l(0). Solve 14 = 3*a - t*w + 5*w, w - 17 = -4*a for a.
4
Let l(d) = -4*d + 2 + 5*d - 3 + 5. Let i(y) = y. Let x be i(0). Let v be l(x). Solve c - 6 = -4*f, 3 = -f - v*c - 3 for f.
2
Suppose 5*u = 3*u + 4. Suppose 3*z - f - u*f = 0, f - 9 = -2*z. Solve -3*b - 2*b + 4*y = -4, -3*b - z = 3*y for b.
0
Suppose 2 = -l + 2*l. Solve -l*m + 4*o + 3 = m, -3*m + 5*o = 0 for m.
5
Let d(y) = -y**2 - 6*y + 6. Let a(l) = l**2 + 8*l + 1. Let p = -5 - 2. Let j be a(p). Let r be d(j). Solve -2*k = -r, 2*f + 22 = 4*f + 4*k for f.
5
Let a = -20 - -26. Let l = a + -3. Solve -4*y = 5*w - 2, 1 = -y - l*w - 2 for y.
3
Suppose -3*k = -29*k + 286. Let l(o) = -o - 6. Let n be l(-6). Suppose -2*q + 6 = -0. Solve b + 0*b + q*u = -18, 3*b - 4*u - k = n for b.
-3
Suppose -1 + 0 = -o. Suppose 0 = -z + o + 4. Solve 4 = -2*x + b, 21 - 1 = z*b for x.
0
Suppose l = 3*l. Let g be (-2)/(-20)*44 + 2/(-5). Solve -5*o + 28 = -l*o - x, 0 = 5*o + g*x - 13 for o.
5
Suppose -5*g + 13 + 2 = 0. Solve -3*j = -5*s + 12 + g, -4*j - 3*s + 9 = 0 for j.
0
Suppose -4*n = -3*n - 4. Suppose v + 15 = n*v. Solve v = -t - 4*q, 0*t + 4*t - 2*q = -2 for t.
-1
Let d(r) = -9*r**3 - 3*r**2 - 3*r - 2. Let g be d(-1). Solve 3*x - 3 = 0, -4*x + 3 = -2*s - g for s.
-3
Let v(j) = j**2 - j - 3. Let y be (-6)/(-4 - (-3 - -1)). Let b be v(y). Suppose -4*n - b = -27. Solve 4*f - 3*a - 9 = 0, 4*f - n*a = -2*a + 8 for f.
3
Let v = -65 + 69. Solve -w - v = -2*w + 2*f, 0 = w - f for w.
-4
Let f(a) = -a**2 + 4*a + 3. Let b be f(4). Suppose 0 = 3*w + 3*y - 9, -b*y = 5*w - 0 - 9. Solve w = -3*r + p - 6, -4*r - p = 3*p + 24 for r.
-3
Suppose 8*k + 2*v = 3*k + 13, k - 6 = 3*v. Let m = 5 - k. Suppose 0 = m*x - 0*x - 6. Solve x*u = 5*z - 7, 2*u + 8 = 4*z + z for