9 = j, 5*j = -5*b + 35. Let y = 14 - 6. Solve 2*p = -3*r - r + 2, p - y = j*r for r.
-1
Suppose -12 = l - 5*l. Solve -4*k + 2*r = 0, l*k = k - 4*r - 10 for k.
-1
Let n(u) = -6 - 2*u - 2 + 0. Let v be n(-9). Let a be 2/v + 14/5. Solve -5*j - 8 = 2*k - 33, 4*k = -a*j + 15 for k.
0
Suppose -3*y - t = 4, 2*y + y + 4*t = -16. Solve 4*d + 5*l - 26 = y, 3*d - 2*l = -0*l + 8 for d.
4
Suppose -2*m = -m + 2. Let i(w) = 2*w - 5. Let c be i(6). Let t = m + c. Solve 2*q = t*h - 0*h - 20, -12 = -3*h for q.
0
Let s(o) = -o**3 + 7*o**2 - 5*o - 6. Let n be s(6). Solve 5*f + 14 + 6 = n, -13 = -j + 3*f for j.
1
Let g(t) = -t**2 - 4*t + 30. Let m be g(-7). Let l = 23 + -6. Solve -4*i = 2*q + m + 13, 3*q - 4*i = l for q.
-1
Let d be -3*-2*1/2. Suppose 11 = 4*q + d. Solve -q*u = -7*u + 3*j + 11, 2*j = -4*u for u.
1
Let k be (4/(-6))/(4/(-30)). Suppose 15 = -4*x - 17. Let q be 3*2 - (x + 11). Solve -k*s = -5*z + 45, -q*z + 6*s - s + 35 = 0 for z.
5
Let w = -2 - -6. Let f(y) = -y**3 + 7*y**2 - 6*y + 3. Let a be f(w). Suppose -4*b + a + 5 = 0. Solve 3*i + 20 = 5*t, -4*t + b = -4*i - 16 for i.
-5
Let p = -15 + 18. Solve 7 = -p*a + o, -4*o + 1 = a - o for a.
-2
Let l(z) = -24*z - 24. Let a(g) = g + 1. Let d(r) = -136*a(r) - 6*l(r). Let h be d(4). Solve 5*o + 2*k - 29 = 0, -h + 5 = -5*o - 5*k for o.
5
Suppose -m - 3*m = -40. Suppose -5*u + 6*u = 0. Solve 3 = -3*q - 3*v, u = -4*q + 6*q + 4*v + m for q.
3
Let n(x) = -x**3 + 4*x**2 + x. Let q be n(4). Let h be (-3)/((2 - q) + 1). Suppose 3*y + 48 = 9*y. Solve -m = 3*a + 2*a + y, 0 = -h*m + a + 8 for m.
2
Let k(q) = q**3 + 8*q**2 + 7*q + 7. Let s be k(-7). Solve -s*i + 3*i + 23 = 3*h, 8 = -i + 2*h for i.
2
Let y be 1*(-6)/2*-1. Let a be -3*(-4)/y - 2. Solve -13 - 3 = -a*s - 4*m, 3*m - 7 = s for s.
2
Suppose -p = -3*p - 10. Let l be ((-6)/p)/(18/60). Let v be -1 + 0 + 2/2. Solve -g + 3*q - l*q + 7 = v, -4*g + 4 = -4*q for g.
4
Suppose 5*r - 22 - 18 = 0. Let f(x) = 2*x + 36. Let y be f(-17). Solve 0 = -4*n + 3*t - r, n = -y*n + 3*t - 6 for n.
-2
Suppose 5*u = 5*u - 6*u. Solve -c - 4*x = -u*x + 9, 0 = 2*c - 5*x + 5 for c.
-5
Suppose 2*r - 3*m = 28, 4*r - 44 = -2*m - 4. Let x be 229/r + (-16)/(-88). Suppose -2 = -s + 2. Solve s*d = 4*g - 36, x = -4*d + 3*g - 2*g for d.
-4
Let n = 1 - 2. Let h(w) = -4*w - 1. Let b be h(n). Suppose 2*x + 3*x + 2*a = 4, -4 = 5*x - 2*a. Solve -u + 1 = -b*j - x, u + 6 = -4*j for j.
-1
Let q(l) = l + 4. Let p be q(0). Solve -3*h + p*x - 4 = 0, -2*x + 3*x = -2 for h.
-4
Suppose 3*q = q + 16. Let a be 2/(-3) + q/3. Let i = 15 - 5. Solve -r = 4*s + 9, -a*r + 4*r + i = -4*s for s.
-2
Suppose 31 = 2*n - 3*n + 4*w, -n - 19 = -w. Let o = -7 - n. Let c be ((0/2)/(-2))/(-2). Solve 0 = -3*u + 5*m - 0*m - 16, -5*u - m - o = c for u.
-2
Let p be (3/6)/((-1)/8). Let w(x) be the first derivative of x**4/4 + 4*x**3/3 - x**2 - 2*x - 1. Let o be w(p). Solve 10 = v + 4*c, 0*c + 3*c = o for v.
2
Let r be (-9)/27 - 13/(-3). Suppose 2*n - 10 = -r. Solve y - 1 = -2*l, 4*l - n*l = y + 2 for y.
-1
Suppose 0 = -4*x + u + 6, x + 4*x + 5*u - 20 = 0. Suppose 0 = 5*s - 12 + x. Suppose -2*q + 6 = -s. Solve 4*l = -q*f - 32, 0 = 5*l + 12 + 8 for f.
-4
Let y(i) = -i**2 - 4*i. Let q be y(-4). Suppose q*z = 3*z. Solve 0 = -2*j - 6, 5*t + 13 = -z*t + 4*j for t.
-5
Let b(s) = s**3 - 7*s**2 - 6*s - 10. Let a(z) = 2*z**2 + 2*z + 4. Let v be a(-2). Let c be b(v). Solve 3*o + 6 = -h, -4*h - 3*o - c = -2*h for h.
0
Suppose 4 = -3*r + r. Let j(y) = 2*y**2 + 3*y. Let f be j(r). Let l be 9/3 + 3*1. Solve -2*n + 3*m + 12 = -l, -20 = -4*n + f*m for n.
3
Let n = 160 + -154. Solve 2*l + 0*l = -2*w - n, 4*w = 3*l - 19 for l.
1
Let v be (1/3)/(6/18). Suppose 2*w - 3*f = 2, -6*w - 5*f = -5*w - 1. Let o = w - v. Solve 0 = -2*p - x - o - 1, 0 = -3*x + 3 for p.
-1
Let i(n) = n + 17. Let y be i(-17). Solve 4*r + y = 5*h + 3, -3*r + 9 = 3*h for h.
1
Suppose 0 = -4*y + 75 + 37. Suppose 3*s = 14 + y. Let x be (-2)/4 + s/4. Solve 15 = -x*l + 5*g - 5, g = -3*l - 14 for l.
-5
Suppose -4*s - 20 = 0, 3*s + 27 = 5*c - 3. Let b be (c/9)/((-1)/(-12)). Solve 5*n = r + 6, -b*r + n = -2*n - 10 for r.
4
Suppose 3*s = 2*s + 41. Let d = 27 - 23. Suppose 4*n + 0*c - 37 = c, d*n - s = 5*c. Solve -5*x + 21 = -2*f, -3*f - n = -0*f for x.
3
Suppose -4*q = -3*q - 5. Suppose q*p = 3*w + 20, w + 4*p - 16 = -4*w. Solve -g + 5*u = 3*g + 37, -2*g - u - 1 = w for g.
-3
Suppose 3*w + 12 = -w, -5*w = 3*o. Solve -r - 3 + 13 = -o*u, -4*r + 10 = -5*u for u.
-2
Let p be 4 - 5 - (-1 + -4). Solve 5*x + 0*w - w = -22, 0 = -4*x - p*w - 8 for x.
-4
Let r(b) = b**2 + 6*b + 3. Let n be r(-6). Let g(q) = -q + 13. Let o be g(-7). Suppose -n*i = i - o. Solve i = -9*j + 4*j, 3*j + 6 = f for f.
3
Suppose -d = 2*i, 3*i = d - 1 + 11. Suppose i*k - 92 = -4*c, -4*c + 5*c + 5*k - 5 = 0. Solve c = m - 5*b, 0*m + 3*b + 7 = -m for m.
5
Suppose 6 = 4*x + 2*c - 0, 4*c = -x - 2. Solve -4*f - 2 = -4*j + x, -25 = -j - 5*f for j.
5
Let o = -20 + 24. Solve 0 = -5*m - o*v + 5, m - v + 8 = -0*v for m.
-3
Let k = 3 + -1. Let i = 5 - 3. Suppose -4*r = -2*q + 2, 3*r + 6 = r + i*q. Solve -3*f + 0*f - 6 = -3*a, r*a = 4*f + k for a.
3
Suppose -5*y + 1 = -9. Solve 3 - 12 = s - y*c, 2*c = 4*s + 12 for s.
-1
Let z(n) = -n**2 + 4*n - 2. Let l be z(3). Let f be l/(-1*(-4)/16). Let r(j) = -j**3 - j**2 - j + 4. Let u be r(0). Solve -4*b + 7*b - 2 = y, u*y = f for b.
1
Let m = -3 + 3. Suppose 5*u = t - 12, -5*t - 4*u + m*u + 31 = 0. Suppose -2*o + 9 = -4*l - l, -o + 5*l = -t. Solve -w = -5*j + 22, -2*j = j + 5*w - o for j.
4
Let n be 1*(2 - 8) + -3. Let p(c) = -c**2 - 10*c - 6. Let j be p(n). Solve -4*f + 7*f = -d - 10, j*f - d + 20 = 0 for f.
-5
Suppose 4*a - 2*a - 64 = 0. Suppose -2*w - d + 5*d + a = 0, 64 = 4*w - 5*d. Solve -5*f - 25 = 4*j, -2*f = -6*f + 4*j + w for f.
-1
Let n = 87 + -84. Solve -30 = -0*r + 5*r - 3*t, -r = -n*t + 18 for r.
-3
Suppose 0 = 3*p + 4*d - 22, 2*p = 4*p + 5*d - 24. Suppose p*k - 1 = 7. Solve -3*t + k*t = -a - 4, 2*t - 3*a = -3 for t.
-3
Suppose -23 = c - 27. Solve -5*m = 15, 0 = 2*f - c*m + 2 - 6 for f.
-4
Let v(p) = p + 4. Let c = 2 + -4. Let h be v(c). Let a = 16 + 2. Solve -20 = 4*w + q, h = 5*w - q + a for w.
-4
Let r(b) = -b**3 + 10*b**2 + b - 6. Let o be r(10). Solve -3*d = o*i + 2*d + 14, 5*d + 8 = 2*i for i.
-1
Let n(q) = -q**3 - 9*q**2 + 9*q - 8. Let g be n(-10). Solve -c + g = -o, -8*o = 5*c - 4*o + 26 for c.
-2
Let m be (-8 - -5)/((-3)/2). Let h = 48 + -45. Solve m*v - 6 = -h*i, 2*v + i - 2 = -0 for v.
0
Let y = 39 + -38. Solve -3*l - 5 + y = -i, 0 = l + 5*i - 20 for l.
0
Let t(d) = d. Let k be t(5). Suppose 2*h - k = 2*m - m, -m = -h. Solve -3*u - 3*o = -1 + 10, h*o = 3*u - 31 for u.
2
Let n = 5 - 0. Suppose -5*m - 2*o + 27 = 0, -4*o + 19 = 4*m - n. Solve 0 = -m*i + 2*u + 24, -3*i + 3*u + 22 = i for i.
4
Let i(t) = t + 11. Let p be i(-11). Suppose -5*h + p*h + 15 = 0. Let r(v) = v**2 + 4*v + 7. Let y be r(-3). Solve y = -g + 3*a, -4*a - 10 - 2 = h*g for g.
-4
Suppose 5*l + 1 = -2*t - 4, -2*t + 19 = -3*l. Solve -30 = t*g + 4*v, -g + 0*v - 22 = 4*v for g.
-2
Suppose g = -0*g + 3. Suppose g*h - 3 = 3. Let a be (6/2)/((-3)/(-2)). Solve 0 = -c - a, -m - 2 = -h*m + 2*c for m.
-2
Let f = -9 - -2. Suppose -40 = 2*h - 6*h. Let s = f + h. Solve -3*d + 3 = x, -s*d - 3*x - 3 = -12 for d.
0
Let o(g) = -g**3 - 5*g**2 - 4*g + 2. Let b be o(-4). Suppose 2*i + 2 = 0, k + 3*i - b = 2*i. Solve -5*y = -f - k, -3*f = -2*f + 4*y + 3 for f.
-3
Let g(i) = i**3 + 6*i**2 + i + 1. Suppose 0 = q + 3*q + 16. Let j be g(q). Solve 0 = 3*x - 0*x - 15, -3*h = 4*x - j for h.
3
Let k be -2 + (-6 - -5 - -6). Solve -2 = 5*z + t + k, 5*z + 25 = 3*t for z.
-2
Suppose c + 14 = 3*u, 0 = -4*u - 3*c - 2 - 1. Suppose 3*s - 1 - 8 = -3*w, -5*s + 31 = -u*w. Solve -5*r = s*t + 10, -4*t - 20 = 2*r - 4*r for t.
-4
Suppose 0 = 9*u - 6 - 39. Solve r + 30 = u*j, -4*r + 2*r + 2*j - 20 = 0 for r.
-5
Suppose -4 = -4*c + n, 3*c + 3*n - 14 - 4 = 0. Suppose 0 = -5*f + 3*u - c*u + 16, -f + 4*u - 12 = 0. Solve k = p + 6, 4*p + 5*k - f + 1 = 0 for p.
-3
Suppose 11 = -5*w - 4*i - 7, -5*i = -3*w + 4. Let d = 6 + -2. Let z = w + d. Solve -2*s + 0*s = x - 2, x = z*s + 6 for s.
-1
Let h be 0*(-2)/8*-4. Suppose 0*g - g = h. Solve g = -j - 2*z + 3 - 6, 5*z + 20 = 0 for j.
5
Let j = 19 + -17. Solve 4*p - 10 = -2*c + j*p, 0 = -c - 5*p + 17 for c.
2
Suppos