 (-6 + 3 + 1). Solve 3*u - k = 4*d + d, 0 = -j*d - 5*u - 9 for d.
-2
Suppose 3*d + 4 = -3*m - 2*m, d = m - 12. Let p(s) = -s - 4. Let g be p(d). Let c be (4/(-4))/((-2)/g). Solve 0 = -3*o + 5*q + 1, -2*o + c*q - 1 = -3*q for o.
2
Let k(d) = 34*d + 17 + 3 - 35*d. Let l be k(14). Solve -b = 2*b - i - 4, l = 4*b - 2*i for b.
1
Suppose -z - 2*d - 1 = 5, -4*z - 3 = d. Solve z*v - 2*v + 16 = -2*j, -3*v - 3*j - 6 = 0 for v.
3
Let y = 4 + -8. Let l = 5 + y. Solve -3 = -5*n + 3*a, 2*n + a = 3*n + l for n.
3
Let k = -3 + 5. Solve -3 = -5*o - 3*x, -k*o - 2*x + 2 = -x for o.
3
Let i be (-2)/(6/(-15)) + -2. Solve 3*t - 2*w - 4 = -i, -t - 8 = w for t.
-3
Let n(d) = -3*d**2 + d + 72. Let j be n(0). Let k be 3/(-12)*j/(-6). Solve 0 = k*t + w + 2*w - 3, 2*t + 4*w - 10 = 0 for t.
-3
Let a = -96 + 101. Solve -i - a = -t - 6*i, -3*t = -i - 15 for t.
5
Suppose 3*p = z + 15, 0 = 2*z - 4*z + 3*p - 15. Let t be (-1)/2*z/1. Solve q = -5*x + 20, 3*x - 12 = -t*q + 5*q for q.
0
Let a = -5 - -10. Suppose 9 = -2*t - a*x - 3, 5*t + 4*x = 4. Solve t*c = -2*q - 26, -3*q - 2*q - 4*c = 35 for q.
-3
Let s(u) = -u**3 + 4*u**2 + 5*u + 2. Let w be s(5). Let x(m) = 6*m - 2. Let h be x(w). Solve -2*r = -h, 4*r + 30 = -5*k + 5*r for k.
-5
Let a be 8/(-44) + 70/22. Suppose a*v + 2*d - 9 = 0, 47 = 5*v - 5*d + 7. Solve 0*p - 3*f - 31 = -v*p, 5*p + f - 23 = 0 for p.
5
Let r be (-2)/1*(-21)/14. Solve 2*s = -2*m + 7*s + 2, -r*s - 5 = -5*m for m.
1
Let v = 1 - -3. Suppose -2*q + 6*q - 19 = -x, 4 = -2*q + v*x. Solve t = 4*y - t - 6, -q*y = -4*t - 16 for y.
-1
Let u be (-18)/(-81) - 43/(-9). Solve -3*v + u*f + 11 = 0, -4*f + 5*f - 5 = 3*v for v.
-3
Let l = -5 + 5. Suppose c = -4*j + 16, c - 4 = -l*c + 2*j. Suppose -p = -c + 5. Solve k + 2 = p*n, n - 12 = -5*k + 5*n for k.
4
Let b be 32/18 - (-2)/9. Suppose -4*t + 20 = t, -4*k = -b*t - 8. Let w be -1*2/((-2)/5). Solve -6*i - 5*y - 22 = -2*i, k*i = w*y - 2 for i.
-3
Let k be (-55)/(-1) + 2 - 0. Suppose 3*l + 0*a - k = 3*a, 45 = 3*l + a. Solve 5*v = -5*p + 20, v + l = 4*p - 0 for p.
4
Suppose -2*s + 4*s - 6 = 0. Solve t = -s*i + 1, -i - 1 = 3*t + 4 for t.
-2
Suppose 4 - 4 = 2*n. Solve z - 4*a + 13 = n, z + 6 = 2*a + 1 for z.
3
Suppose -3*d + 84 = h, -26 = -4*d - 5*h + 75. Let x(z) = 11*z - 1. Let n be x(1). Let u = n + -5. Solve 2*p + 5 = -5*a, 5*a - u*p = a + d for a.
1
Let n(i) = -i + 7. Let x(p) = -p - 1. Let c be x(-5). Let t be n(c). Solve 3*v + 4*y + 13 = 2*y, 2*v = t*y for v.
-3
Suppose 1 = m - 1. Solve -2*p = -2*a - 4 + m, -2*a + 5*p = 17 for a.
4
Let r be ((-72)/30)/((-6)/20). Solve 0 = -4*k - 3*q + 2, -q - r - 2 = -4*k for k.
2
Let h = 2 - -16. Suppose 2*d = d - j - 9, 5*j + 9 = -2*d. Let o = d + 17. Solve 2*l = -3*l + o*v, h = -l - 5*v for l.
-3
Let u be 16/24 - 10/(-3). Solve -i = 5*y + i + 18, -4*i = u*y + 24 for y.
-2
Suppose -2*u - u = 2*u. Let v(l) = -l + 2. Let y(m) = 1. Let s(j) = -v(j) - 2*y(j). Let n be s(5). Solve 2*f + 2*a - 3 = n, -4*f + a + 8 = u for f.
2
Let v(j) = j**3 - 5*j**2 + 5*j. Let w be v(4). Suppose w*k + 8 = 5*r, 3*k + 7 = 1. Let m be (1 - -2)*(r - -1). Solve 5*h - 2*u = 5 + m, -3 = -4*h + 5*u for h.
2
Suppose 5*x + 5 - 19 = -3*o, x = 3*o - 44. Solve 3*c + 5*m - 28 = 0, -o = 2*c + 2*m - 5*m for c.
1
Let v(m) = -m - 4. Let j be v(-3). Let a be 4/((-3 + 1)*j). Solve f = -4*f + k, k + 7 = -a*f for f.
-1
Let n = -7 - -11. Solve -4*j = -0 + n, -5*j - 3 = 2*v for v.
1
Let m = -11 - -20. Let w = m - 7. Solve w*j - 23 = 3*p + 6*j, -j = 5 for p.
-1
Let l be 2 + (3 - 0/5). Solve 35 = -2*g - 3*g + l*a, -2*g = 4*a + 2 for g.
-5
Let z be 33/7 - 10/(-35). Let a = z - 2. Solve -b = m, -1 + 5 = -a*b - 2*m for b.
-4
Let c(v) = -2*v - 6. Suppose 0 = -4*t, 2*i = -4*t - 5 - 3. Let w be c(i). Solve -a = w*p + 7, -5*p - 5 = -3*a + 7 for p.
-3
Let k be ((-12)/(-10))/((-2)/(-5)). Suppose -5*i = h - 40, 2*i + 8*h = k*h + 16. Solve 4*s = 2*j - s - i, -3*j + 2*s + 1 = 0 for j.
-1
Suppose 2*w - 7*w = 60. Let z = w - -6. Let l = -2 - z. Solve y + 4*k = -10, 2*y + k - l*k - 2 = 0 for y.
-2
Suppose 4*x = 2*a - 94, -4*a + 3*x + 138 = 5*x. Let s = a + -22. Solve -3*v = s, -5*v - 31 = -i - 2*i for i.
2
Let d(l) = -34*l - 1. Let o be d(-4). Let i = o + -94. Let f(q) = -q**3 + 8*q**2 - 7*q + 5. Let y be f(7). Solve -4*m + y*k = i, 26 = -4*m + k + k for m.
-4
Suppose -u + 6*u - 20 = 0. Solve 5*w + 18 = -4*j, -4*w + 5*w = -j - u for j.
-2
Let w be ((-26)/(-10) + -3)*10. Let y = w - 4. Let t = y - -9. Solve q + t = 0, 3*n - 3*q + 0 = -3 for n.
-2
Suppose -2*q + 4*q + 2*k + 16 = 0, 4*q + 5*k + 36 = 0. Let v be 2/7 - (-18)/(-14). Let s = v - q. Solve -5 = 3*p - 5*h, -2 = -5*h + s for p.
0
Suppose 0 = 2*m - 7 - 3. Let v be (m - 6)*(-3)/1. Solve 5*l + 5*k - 15 = 0, -2*k = v*l - k + 1 for l.
-2
Let d = -68 - -147. Suppose 4*s = 21 + d. Solve -4*a - s = -5*a + 5*l, 0 = 5*l + 25 for a.
0
Let d be 71/(-6) + (-3)/18. Let j = 4 + d. Let l = -6 - j. Solve l*r - 4*r = 0, 0 = -4*i + r + 20 for i.
5
Suppose 6 = -d - a + 8, d = 2*a - 4. Solve 5*c + 20 = 2*p, -2*c + d*c - 8 = 2*p for c.
-4
Let h = 11 + -11. Suppose -3*d + 0 + 6 = h. Let k = 13 + -8. Solve d*f + 21 = -k*i, -4 + 1 = i for f.
-3
Let x = -20 + 22. Solve 2*k + p = 0, -x*k + 0*k + 8 = -p for k.
2
Let z = -4 + 7. Suppose 0 = z*r - 6*r. Let s be 2 + -3 + (0 - -13). Solve r = -v + 5*l - 23, 0 = 2*v - 5*l + 9 + s for v.
2
Let s(a) = -2*a**3 + 1. Let w be s(-1). Let t = w + -6. Let d = 5 + t. Solve 2*m + 2*f + 11 = -f, d*f = 4*m - 18 for m.
2
Let u(g) = -g**3 - 6*g**2 - 7*g - 4. Let i be u(-5). Solve -4*n + 3*v = -6*n + 7, n + 2*v - i = 0 for n.
-4
Suppose 0 = q + 2*q. Let l = -8 - -11. Solve 0 = 4*k + 5*o - q + 5, l*k = -o - 12 for k.
-5
Let o = 3 + -1. Let z = 5 + o. Solve 2*s - 11 = 3*i, z*s - i - 8 = 2*s for s.
1
Suppose 16 = l - 0. Suppose 3*w + 4*k = l, 4*k - 8 = w + 2*k. Solve w = -2*o + 5*m - 24, -2*o = 2*o + 4*m - 8 for o.
-2
Let d = -7 + 11. Let z = d + -4. Solve -j + 4*v + 2 = -5, z = -2*j + 3*v - 1 for j.
-5
Suppose 0 = 2*w - 3*w + 2. Solve w*l + 29 = a + 7*l, 2*a - 18 = -2*l for a.
4
Let s be (0 - 0)/(2 - 3). Let j(g) = g - 4*g + 4*g + 12. Let y be j(s). Solve c - 16 = 5*o - 3*c, -y = -4*o - 3*c for o.
0
Suppose 3 = z - 3*b, -5*z - 3*b + 3 + 12 = 0. Solve -5*d + 6 = 2*n, -2*n + 6*n - 12 = z*d for n.
3
Let g = 26 + -13. Let j(m) = m**3 + 11*m**2 + 13*m + 5. Let r be j(-9). Suppose 2*o = -3*o + r. Solve -5*a + o = -a + 2*k, -4*a - 3*k = -g for a.
1
Let p be 10*-2*1/(-5). Let j = p - 1. Solve -2*k + 6 = 0, -3*k + 19 = -v + j*v for v.
5
Suppose -l + 5 = -4. Let w be (-2 + -1)/(l/(-12)). Solve -8 = 2*v - w*o + o, 0 = 2*v - 4*o + 12 for v.
2
Let c(a) = a**2 + 9*a - 7. Let g be c(-10). Let i(n) = n**3 + 4*n**2 - 6*n - 1. Let m be i(-5). Solve -m*v + 0*v - 5 = -g*w, -v = 5*w - 16 for v.
1
Let h(k) = -k**2 + 18*k - 17. Let o be h(17). Solve 4*b + j + 10 = o, -4*j - 12 = 3*b - j for b.
-2
Let h(x) = -x**3 - 7*x**2 + 6*x + 63. Let r be h(-7). Solve -d + r = -5*d - s, -4*s - 9 = d for d.
-5
Suppose 5*s - 49 = -v, -11 = -4*s + 2*v + 31. Solve 0*o - 2*o - s = 2*u, -15 = 3*u for o.
0
Suppose 3*x = -5*w + 34, -x = x - w - 1. Suppose -3*z = 4 + 5. Let c = 2 - z. Solve -d = c*r + d - 7, -1 = -x*r - 2*d for r.
3
Let n = 7 - 2. Suppose -3*a = 2 - 14. Solve 3*g = -a*y + 2*g - 23, n*y = -g - 28 for y.
-5
Suppose -5*b = -n - 28 - 5, -4*n = 2*b. Suppose c = b*c - 20. Suppose -5*j + 24 = 4. Solve 4*p + j*d = -8, -3*p = c*d - 0*d + 9 for p.
1
Let i(s) = s - 4. Let z be i(4). Solve 17 = -t - u - 3*u, -4*t - 3*u - 29 = z for t.
-5
Let a be (3/4)/((-2)/(-16)). Let y be (4 - a) + 1 + 1. Solve w - 2*n + 11 = y, 0 = -4*n + 12 for w.
-5
Let r(f) = -5*f**2 + 1. Let d be r(1). Let k = d - -7. Let m = 60 - 54. Solve 3*t = -k*i + m, -4*t + 3 = -3*i - 5 for t.
2
Suppose -u + 3 = 2*t, 9 + 1 = 4*t - 2*u. Solve i = -t, -5*n + 9 = 3*i - 0*i for n.
3
Let m = 23 + -8. Solve -5*p - 43 = 3*q - 18, 3*p = -m for q.
0
Let l(k) = k**2 - 2*k + 2. Let v be l(0). Solve 2*y = v*w, 3*y + 2*w - 28 = -2*y for y.
4
Let y = -58 - -65. Solve 2*c - l = -5, 2*l - y = -2*c - l for c.
-1
Suppose -4*y + 3*d = -49, -7*y - 5*d = -3*y - 25. Suppose -17 - 11 = -4*r. Suppose k = p - 1, -1 + r = 3*p. Solve c - 5*w - 9 = 0, -5*w - k = c + y for c.
-1
Let q(v) = 3*v**2 - 1. Let j be q(1). Let m(b) = 8 + 0*b - b**2 + j*b - 7*b. Let x be m(-6). Solve -x*f - 10 = 0, 