-v*r + 1, -2 = r + 2*r + 2*u for r.
0
Let c(m) = -m + 1. Let r be c(-4). Let g = 1 + 1. Suppose -u = -4*y - 9, -g*u - 4*y = -0*u - 6. Solve -p + 25 = r*o, -u = -0*o - o - p for o.
5
Let h(s) = 3*s**2 + s - 1. Let v be h(1). Suppose 13 + 2 = v*l. Solve m = -j - 5, l*m - 3*j = -0*m - 17 for m.
-4
Suppose 0 = 2*w - 7*w + 20. Suppose 3*m = y + 43, -m - 3*m + w*y = -68. Solve j + 1 - m = -3*q, -31 = 2*j - 5*q for j.
-3
Let o = -285 + 91. Let y be 2/7 + o/(-7). Let r be (y/(-8))/((-1)/2). Solve -2*z + z - x - 5 = 0, -2*x = -z + r for z.
-1
Let t(n) = -2*n - 3*n - 2 + 2*n + 11. Let p(z) = -z. Let j(g) = p(g) - t(g). Let q be j(6). Solve -2*k + 3*h - 19 = 2*k, -q*h + 23 = -5*k for k.
-4
Let m be ((-30)/35)/((-2)/14). Suppose 3*j + m = 21. Suppose -5*t = -w + 43, 10 = 4*w + j*t - 37. Solve -o + l + 8 = 2*l, 0 = -3*o - l + w for o.
5
Let b = -8 + 14. Suppose b*y - 4 = 2*y + 3*s, -5*s = -4*y - 4. Let p be (-1)/(-1*1/3). Solve -y*u = -p*r + 8, -3*r = -2*u - 3 - 7 for u.
1
Let k(j) = -3*j - 5. Let b be k(-3). Solve -3*z + 9 = -i, 2*i + 5*z - 11 - b = 0 for i.
0
Suppose 0 = 8*t - 4*t + 24. Let f be (-27)/(-6) + (-3)/t. Suppose -4*n - 31 = -5*g, -3*g + 2*n = -g - 14. Solve -5*a = -f*u + 40, 2*u - a = -g*u + 20 for u.
3
Let v = 103 + -98. Solve 2*d = -4*q - 10, -4*d - v*q = -2*q - 5 for d.
5
Let q(y) = 2*y**2 + 3*y - 4. Let s be (-6 - -2) + 2/2. Let d be q(s). Solve -5*c - 5*h + d - 15 = 0, -3*h + 4 = c for c.
-5
Let o(y) = y - 4. Let t be o(7). Solve 5*p + 2 = -3, -t*p = 3*l + 18 for l.
-5
Suppose -5*n = -n - 28. Suppose n*y = 2*y + 45. Suppose 3*h - y = 6. Solve -9 - 7 = -f - h*k, 3*k - 5 = 4*f for f.
1
Suppose -39*x = -44*x + 15. Solve 0 = x*v - 4*h + 17, 0*v + 3*v - 2*h + 13 = 0 for v.
-3
Let k(n) = n**2 - 11*n + 10. Let p be k(10). Solve -5*u + 0 = 3*w + 3, p = w + 1 for u.
0
Let v be (-25)/10*8/(-10). Suppose -v = 2*k + 16. Let s be 9/(-2)*6/k. Solve 0 = -5*y + s*n + 10, 2*y - 35 = -y - 4*n for y.
5
Let t(i) = -i**3 - 5*i**2 - 5*i. Let b be t(-4). Solve -2*h + 4*q - 10 = 0, b*h + 2*q - 13 = -q for h.
1
Let l(p) = 5*p - 1 + 0*p + 2*p - 2*p. Let t be l(1). Solve 2*k - b + 2 = 0, 4*k + t*b = 11 - 3 for k.
0
Let n(l) = 17*l**3 - l**2 + 1. Let v be n(1). Suppose -4*a - 5*q = 29 - 6, -a = 5*q + v. Let b be 18/a*(-1)/3. Solve -u + b*u = 4*y - 10, -y + 3*u = -5 for y.
2
Let j(r) = -r**3 + 5*r**2 - r + 5. Let v be j(5). Suppose -3*y = -v*y. Let h be 17 + 4/(y - 2). Solve 6 = -2*l, 3*d = 6*d + l + h for d.
-4
Suppose 5*n = n. Suppose 2*q = 5*o - 9, 4*q + 0*q + 2*o - 18 = n. Let y = 41 - 38. Solve -q*b - 6*d - 14 = -d, -14 = -b + y*d for b.
2
Let m(u) = u + 6. Let t be m(-5). Suppose t = 3*o - 8. Suppose -31 - 29 = -4*p. Solve a + 2*a + 3*f - p = 0, 3*a - f = o for a.
2
Let f = -17 + -11. Let m = f + 53. Suppose -m = 2*v - 7*v. Solve -2*s - 3*o + 0 = 18, 5*s + v*o = -35 for s.
-3
Let t be (-3 + (-28)/(-8))*110. Let j be 22/10 - 11/t. Solve 2*d = 4*h + j, 4*h + 0*h - 3 = 3*d for d.
-5
Suppose 5*q - 10 + 30 = 0. Let f be 0*(-2)/q*1. Solve 4*g + f + 14 = 3*s, -s = -g - 4 for s.
2
Let k = -70 - -70. Solve 4*t - 4*m = -14 - 10, -3*t + 2*m - 14 = k for t.
-2
Let k(v) = -2*v - 5. Suppose -2*p + 3*w - 9 = p, -w = 5*p + 21. Let s be k(p). Solve x = -n - 1, n - 2*n - s*x = 5 for n.
1
Suppose 0 = -j + 3*j - 44. Suppose 5*w = 23 + j. Let v(z) = -z**2 + 8*z + 11. Let g be v(w). Solve -2 = 2*u - 2*q - q, -g*u + q = 2 for u.
-1
Let r be (-40)/(-12)*12/10. Solve j = -z - 1 - 2, 0 = 2*j - r*z - 12 for j.
0
Let d be (24/(-9) + 2)*-6*5. Solve 2*b + 19 = 3*g, 2*g + 2*g - d = 0 for b.
-2
Let i = 5 - 5. Let o = 3 - i. Solve 5*k - 5*u + o + 17 = 0, -4*u = 4*k + 24 for k.
-5
Let u be 0/(-2) + 2 - -2. Let j(l) = 3*l + 2. Let k be j(-2). Let h = k - -6. Solve f - 5 = 0, f = -u*r - f - h for r.
-3
Suppose 0*t + 5*t = 15. Let g be (-16)/(-6) - (-2)/6. Let p(u) = u**2 - 3*u - 4. Let i be p(5). Solve g*a = 2*r + i, r + t = -0*a - 2*a for r.
-3
Let k(r) = -1. Let j(h) = -h + 2. Let b(v) = j(v) - 6*k(v). Let c be b(6). Solve 0 = m + 3*m - c*z - 10, z = -5 for m.
0
Let h = 0 - 3. Let k be (h - 11/(-2))*2. Solve -1 = -4*z + 5*c, -k*c = -0*z - z - 11 for z.
4
Let d = -6 + 9. Solve k = d*r - 3, 0 = 4*r - 0*r + 4*k - 4 for r.
1
Let f(g) = g**3 - 5*g**2 + g + 4. Let l be f(5). Suppose 4*o - 3*o - l = 0. Let p = o + -5. Solve -2*a - 2 = -0*x - 2*x, x = -p*a + 6 for a.
1
Let g be 15/(-9)*(-18)/3. Solve -2 = f - 2*c, 2*f = -4*c + c + g for f.
2
Let x = 39 + -37. Solve -3*z - x*u + 7 = 2, -4*u = -2*z - 18 for z.
-1
Suppose -3*l + 11*p - 9*p = -6, -l + p = -3. Solve -2*r + 5*n + 8 = l, 2*r - 12 = -r - 4*n for r.
4
Let p(d) = -4*d + 4. Let h be p(-3). Solve l + h = 5*c, -2*l + 8 = 3*l - 3*c for l.
4
Suppose 4*l = -5 + 17, 2*x = 5*l - 7. Solve k + 21 = 3*u + x*k, -2*u + 5 = -k for u.
4
Suppose 0 = -3*o - 4*f + 102, 5*f - 99 = -3*o + 2*f. Suppose -x - 5*w = -11, 5*w + 1 = -4*x + o. Let i = -6 + x. Solve i = -g + 3*d, -g + 4*d = -2*g for g.
0
Suppose 0 = 3*x - 5*w - 77, -w + 37 = 3*x - 16. Suppose 5*p - q = -5*q + 30, -5*q = -3*p - x. Solve -3*m + 5 = p*s, 6 = 2*m + s + 3*s for m.
1
Suppose 5*w - 4*v = 25, w + 2*v = 2*w - 5. Solve 0 = -3*o - 5*z - 11 + 1, 4*o = w*z + 45 for o.
5
Suppose 4*h - 3*z - 8 = 0, 0 = -3*h - 0*h - z + 6. Suppose h = q - 0. Suppose -14 - 12 = -q*r. Solve 2 = -w - 2*v + 3, -v = 5*w + r for w.
-3
Suppose 8*b - 42 = -2. Solve 0 = b*k - 2*w + 1, -3 = w - 1 for k.
-1
Suppose 0 = -3*g - g - 3*v - 38, 4*v = 4*g + 24. Let m = g - -15. Let r be 26/m + (-6)/(-21). Solve -5*c - 1 = -r*k + 5, -c - 5 = 3*k for k.
-1
Let h = 60 - 34. Solve -2*y + 4*f = h, -5*f + 2*f = 5*y for y.
-3
Let w = 3 - -4. Let a(n) = -n**3 + 7*n**2 + n - 2. Let u be 5 - (-5 + -1)/3. Let q be a(u). Solve -15 = q*s, 0 = -2*f - 2*s + w*s + 7 for f.
-4
Let o(q) = q - 3. Let g be o(8). Suppose -7 = -7*m + 3*m + 3*u, 2*m - u - g = 0. Solve -4*s = -c + 11, -m*s - c - 17 = -4*c for s.
-2
Let d(y) = y**2 + 8*y - 9. Suppose 27 = w - 4*w. Let t be d(w). Suppose -5*u = -t*u. Solve 4*p + l + 19 = -u*l, l = -2*p - 11 for p.
-4
Let k(w) = -7*w**2 - 8*w + 3. Let m(o) = 6*o**2 + 7*o - 2. Let v(t) = 4*k(t) + 5*m(t). Let l be v(-3). Solve -4*n = 3*q + l, -4*q - 5*n - 12 - 2 = 0 for q.
-1
Let h(k) = k**3 - 7*k**2 + 6*k + 3. Let v be h(6). Suppose 3*j - m = 9, 2*j = v*m + 2 - 3. Solve -3*u = 2*a - 1, -j*u = 7*a - 2*a + 8 for u.
3
Let u = -9 + 14. Solve u*s - 7 = 3*k - k, -2*k - 5*s + 23 = 0 for k.
4
Let v(f) = -f + 9. Let q be v(5). Solve -4*t - 3*u - 28 = 0, q = 4*u - 5*u for t.
-4
Let n be 2/(-6) - 16/(-3). Suppose -d = -5*p + 4*d - 20, -n*p - 5*d + 20 = 0. Solve 2*y - w = -4*w - 11, w + 3 = p for y.
-1
Suppose -3*p - 2*i = -5*i - 3, -p = -3*i + 5. Solve -8 - p = -2*r + 2*j, 4*r = -5*j + 6 for r.
4
Let u = 2 + -3. Suppose -5*p - 3*x = -31, 3*x - 3 - 3 = 0. Let l be ((-10)/p)/(u/2). Solve q = 2*f + 3*q + 10, -12 = l*f + 2*q for f.
-1
Let r be (4/12)/(2/12). Suppose 0*b + 2*b + d - 3 = 0, d + 3 = 0. Solve z + 8 = -b*z, r*l + 4*z + 14 = 0 for l.
-3
Let f(g) = -g**3 + 5*g**2 - g + 11. Let b be f(5). Let d be (-2 + -1)*30/(-9). Suppose -b*p = -p - d. Solve -5*s + r = -11, -s + 7 = p*r - r for s.
3
Suppose -3*u = -2*k + 8, 4*k + 0*k = 4*u + 24. Solve 4*x + x = 3*i - 18, 0 = -3*x + i - k for x.
-3
Suppose 0 = 3*h - i + 8 + 3, 5*h + 15 = i. Let g be h + -1 - 5/(-1). Solve 2*m = g, 6*t + 4*m = t + 9 for t.
1
Let p be (-4 - -26)*1/(-2). Let b(c) = -2*c - 12. Let s be b(p). Solve 5*x - s = -4*q, -x + 3*q = -q + 22 for x.
-2
Suppose 0 = 22*t - 3*t. Solve -5*x - 20 = t, -4*m + 2 + 6 = -3*x for m.
-1
Let i(m) be the second derivative of m**4/12 - m**3/3 - 7*m**2/2 + m. Let t be i(5). Suppose t = 5*g - 2. Solve -2*n + 4 = o - g, -5*o + 24 = 4*n for n.
1
Let w(g) = g**3 - 11*g**2 + 11*g - 14. Let m be w(10). Let f(q) = -q**2 - 4*q + 3. Let o be f(m). Solve 4*i = -4*d, -o*i - 5*d - 3 = -d for i.
3
Let n = 11 - -9. Suppose -5*x = b - n - 25, -b = 0. Let q be 356/18 + 2/x. Solve 0 = -2*p + 5*v - 25, 0*v = -2*p - 4*v + q for p.
0
Suppose 0 = 2*c - 5 - 21. Let z = 21 + -19. Solve 8*n - z*q = 3*n - c, -n = 3*q - 11 for n.
-1
Let l(z) = z + 3. Let v be l(-6). Let x be 2 + 3 + -2 + v. Suppose -4*j = -x - 4. Solve 4*q = -2*u + 26, -u + 4 = j for q.
5
Let t(g) = g**2 + 12*g + 10. Let m be t(-12). Let s = m - 8. Solve 4*v = -q + 18, 3*v = -5*q + s + 20 for q.
2
Let 