*v, 0*v - 3*h - 5 = -2*v. Suppose -5*g + 0 = 5. Let w be g/1*3 + 3. Solve w = 2*m + 7 + v for m.
-4
Suppose 0 = j - 4*j - 51. Let o = -12 - j. Let p be (-2)/(-4) + (-21)/(-6). Solve 0 = p*c - o*c + 2 for c.
2
Suppose -5*z = 4*v - 9, v - 5*v + 33 = -3*z. Solve 0 = -3*u + 5*u - v for u.
3
Suppose 4*l + 5*u = -0*l + 17, -2*l - 4*u = -10. Suppose -4*h + l = -h. Solve -2*p + 5 = h for p.
2
Let t be 2 - (-3 + 6/2). Solve 6 = i + t*i for i.
2
Let q(i) = i**3 - 16*i**2 - 17*i + 5. Let o be q(17). Solve -4 = -o*t + 11 for t.
3
Suppose 0 = z - 6*z + a + 14, -3*z - 4*a = 10. Let o be 38/14 + (-2)/(-7). Let s be (-2)/6 + 10/o. Solve -20 = -s*u - z*u for u.
4
Let r be 0/((-9 - -4)/5). Suppose -6*k + k + 10 = 0. Solve -k*c - 2*c + 20 = r for c.
5
Let h(w) = -w**2 - 2. Let t be h(-2). Let g be 2 + 1 + t + 14. Solve -3*s + 4 = -g for s.
5
Let a(h) = h**3 - 17*h**2 + 15. Let u be a(17). Solve -4*n - u = n for n.
-3
Let d(o) = -o**2 - 6*o + 55. Let f be d(-11). Solve f*a = 2*a + 10 for a.
-5
Let d = -17 - -18. Solve c = 4 + d for c.
5
Let p(u) = -u**2 - 6*u. Let n(y) = 2*y**2 + 12*y + 1. Suppose 0 = -4*f - 25 + 1. Let q(w) = f*n(w) - 11*p(w). Let b be q(-4). Solve 0 - 6 = b*j for j.
-3
Suppose -u + 4*r + 20 = -3*u, -2*u - 2*r = 20. Let l(s) = s**2 + 11*s + 13. Let q be l(u). Suppose v = -1 + 5. Solve 0 = v*j - j + q for j.
-1
Let f be 11*(3/(-3) - 1). Let p = f + 42. Solve 3*d + 2*d = -p for d.
-4
Let a(o) = o**2. Let v be a(-1). Let n(f) = -f**2 + 5*f + 6. Let p be 87/15 - 4/(-20). Let q be n(p). Solve x = -q - v for x.
-1
Let j be 1/(10/(-45))*(-4)/6. Solve 0 = -0*c - j*c - 15 for c.
-5
Let i(y) = 2*y + 3. Let n be i(-2). Let j be 5/(n/(-1 + 0)). Suppose 4 = -j*x + 14. Solve k + x*k = -6 for k.
-2
Suppose 3*k = 5*h - 3 - 15, 0 = -2*k - 2. Solve -3 = -h*s - 0 for s.
1
Suppose 0 = -g - 2*g. Let p = 10 - g. Solve 4*u - p = -2 for u.
2
Let f be ((-4)/(-5))/(2/5). Solve -f*t - 2 = 4 for t.
-3
Suppose v + v + 8 = 0. Let o be (-3)/((-6)/v) + 2. Solve o*u - 5*u - 25 = 0 for u.
-5
Suppose -4*h - 7 = -15. Let c = -1 - 2. Let n(w) = -2*w - 4. Let r be n(c). Solve -r*x + 8 = h for x.
3
Let i(x) = -x - 8. Let j be i(-10). Solve t + 0 = -j for t.
-2
Let z(j) = j**3 - 7*j**2 + j - 3. Let a be z(7). Suppose -8 = -0*q + a*q. Let p = q - -9. Solve -4*f - 15 = -p*f for f.
5
Let r(l) = -l**3 + 11*l**2 - 9*l - 10. Let w be r(10). Solve w*s - s + 5 = 0 for s.
5
Suppose 2 = 4*a + 2*c, a + 4*a - 5*c - 40 = 0. Solve -a*v = -4*v - 1 for v.
-1
Suppose 6*j - 7*j + 3 = 0. Let o = 5 - j. Let k = 19 - 3. Solve o*r = -2*r - k for r.
-4
Suppose -b + 5 - 1 = 0. Suppose -3*u + 2*u = b*z - 14, -1 = -5*u + 3*z. Solve 2*c + 0*c = u for c.
1
Let b(x) = x + 7. Let o be b(-5). Let c(w) = -w + 2. Let q be c(0). Suppose -6*a = -q*g - a - 7, 3*g = 4*a. Solve 6 = o*h - g for h.
5
Let p = 2 - 0. Suppose -p*i - 3*i + 10 = 0. Solve -i*j = -j + 4 for j.
-4
Suppose i = 2*c - 3*i + 80, 2*i = -2*c - 92. Let o be (0 + 0 - 7) + 0. Let a be c/o - (-2)/(-7). Solve a = t + t for t.
3
Let g be (10/(-3))/(4/(-6)). Solve 0 = -5*k + 20 + g for k.
5
Let d = 0 - -3. Suppose d*h = 5 - 2. Solve 5*y - h = 14 for y.
3
Suppose 2 = f - 0, 3*f = -2*u - 6. Let t = -3 - u. Solve 17 = -4*o - t for o.
-5
Let u = -16 + 18. Solve 2*y + 0 = u for y.
1
Let a be (-74)/9 - (-6)/27. Let x(m) = -m**3 - 8*m**2 - 2*m - 11. Let q be x(a). Suppose o = q*o. Solve -5*n - 3 + 28 = o for n.
5
Suppose 2*o + 0*i - 22 = 4*i, 5*o - 2*i - 15 = 0. Solve 3 - o = -m for m.
-2
Let p = -16 - -33. Suppose -p + 1 = -4*y. Solve 2*x - 2 + y = 0 for x.
-1
Suppose 0 = 2*w + w - 6, -3*h = 3*w - 27. Solve -h - 2 = 3*q for q.
-3
Suppose -3*a = a - 16. Let v be 16/(-6)*18/(-12). Let s be (18/a)/(2/v). Solve -4*r + r = -s for r.
3
Suppose 6*u = 5*u. Suppose u = -2*i - j + 18, 4*j = -2*i + j + 18. Solve 2*n + n = -i for n.
-3
Let t be (-8 + -1)*2/(-6). Suppose -n = t*n + 4*v - 12, -5*v = -15. Let a be (0/(2 - n))/1. Solve -3*p = -a + 9 for p.
-3
Let v(c) = -c**2 + 9*c - 9. Let y be v(4). Solve -5*f + y = -14 for f.
5
Let b be 62/10 - (-2)/(-10). Suppose b = p + 1. Let k = 20 + p. Solve 0 = 5*y + k for y.
-5
Let m(i) = i + 2*i + 9 - 6 - 2*i. Let h be m(9). Solve 5*d = 2*d - h for d.
-4
Let j be 4*(-1 + 0)/1. Suppose d - 18 = -2*g - 3*g, -3*d - 3*g = -6. Let s be d + (-1 + j)*-1. Solve 6 = s*f - 0*f for f.
2
Let n be 9*(-1)/6*-4. Solve 2*o - n = 2 for o.
4
Let r(d) = d - 1. Let f be r(2). Let q be -2*f - -1 - -5. Suppose -2*i + q*z = -3*i, -4*i = -5*z. Solve i = -a + 1 + 4 for a.
5
Suppose -q - 2 = -2*q - b, 0 = -3*q + 5*b - 10. Solve -4*p = -q*p + 12 for p.
-3
Suppose -2 = 3*j - 5*j. Let p be (-1 + j)*(-5)/10. Solve p = 4*n - n + 6 for n.
-2
Let u be ((-2)/4)/(4/48). Suppose 5*r + 2*m = -55, 4*m = -r - 0*r - 11. Let g = u - r. Solve 0 = -g*k - 1 - 9 for k.
-2
Suppose -4*o = -8*o. Solve 15 = -o*m + 5*m for m.
3
Let w = -4 + -3. Let c = 7 + w. Solve 5*q + 6 + 4 = c for q.
-2
Suppose 5*b - 5*m - 25 = 0, 20 = -0*b + 4*b + m. Solve -b*i + 7 + 18 = 0 for i.
5
Let i(o) = o**3 - o**2 + o + 2. Let y be i(0). Suppose 5*g - 49 = -3*u, -2*u - u + 25 = y*g. Solve 2*f + 2*f + g = 0 for f.
-2
Suppose 0*d = -d + 4*d. Solve -3*p - 10 - 5 = d for p.
-5
Let b(q) = -q**2 + 9*q + 27. Let d be b(11). Solve -d*k + 11 = 1 for k.
2
Suppose -14*s = -11*s - 9. Suppose 0 = 5*o - 5 - 5. Suppose -o*n - 1 = s*a - 6*n, 3*n - 12 = 0. Solve 7 = -a*u - 8 for u.
-3
Let j(n) = 4*n**2 - 7*n + 3. Let c be j(2). Solve -4 + c = -y for y.
-1
Suppose 26*y - 32*y = 0. Solve y = 2*t + t for t.
0
Let z(c) = -c**3 + 4*c**2 - 2*c + 2. Let n be z(3). Suppose n*k - 8 = -3. Solve -3*q + 11 = -k for q.
4
Suppose -y + 4 = y. Let m(h) be the first derivative of 2*h**3/3 + h**2 - 1. Let g be m(y). Solve 4*r - 8 = g for r.
5
Let h = 3 + 2. Solve 2*n + 1 - h = 0 for n.
2
Let n = 0 - -3. Let t be n/(-2 - (-21)/9). Solve -6*c + 3*c - t = 0 for c.
-3
Let c(p) = p**3 - p**2 - p + 1. Suppose 2 = 2*t - 2. Let u be c(t). Solve -6 - u = -3*h for h.
3
Let h be (2 - 1)*5/1. Let c = -4 + 6. Suppose c*p = -5*u + 20, 3*u + 5*p - 8 = 4. Solve u*o + h = 17 for o.
3
Let q = -15 - -21. Let a be 4/q - (-2)/(-3). Suppose 0 = -3*z + 5*s + 34, s - 4 = 3*z - 18. Solve -r + z = -a for r.
3
Suppose -5*u + 32 = -4*k, -k - 3*u + 4*u = 7. Let x be 1*k*1/(-3). Let a = -16 - -27. Solve -2*n + x = a for n.
-5
Let l = 13 - 9. Let u(h) = 9*h**3 - h - 4*h**2 + l*h**2. Let o be u(1). Solve -2*b + 6*b = o for b.
2
Let g be 1 + 0/(-2) + -1. Let k = 9 - 19. Let r be 6/15 - 16/k. Solve g = -r*v + v - 2 for v.
-2
Let j be 0 + (-2)/2 + 5 + -4. Solve j = -0*w + 2*w + 8 for w.
-4
Let z be ((-2)/(-4))/(7/42). Solve z*w - 10 = w for w.
5
Suppose 2*a = -2*a. Solve -h + a - 2 = 0 for h.
-2
Let a be (-1)/2*-4 - 4. Let v(u) = 2*u**3 + 2 - 4 + 4 - 3*u**3 + 2*u. Let z be v(a). Solve c - 10 = z*c for c.
-2
Suppose 7*b - 23 = 124. Solve 5 - b = -4*r for r.
4
Let t = 18 - 8. Suppose -y = 1 - 3. Suppose j = -y*j. Solve j = -0*k - 2*k + t for k.
5
Let z be 2/(-13) + (-4)/(-26). Suppose 2*w + 2*w - 12 = z. Let v(q) = 3*q. Let g be v(5). Solve -w*f = -8*f + g for f.
3
Let g be -1 - -1 - (-3)/((-15)/(-10)). Solve g*c - 5 = c for c.
5
Let j = 13 + -19. Let v = j + 14. Solve -2*d + 2 = v for d.
-3
Let w(f) = -f**3 + 3*f**2 + 3*f + 3. Let r be w(-2). Solve 3*m = r - 2 for m.
5
Suppose 4*i - 21 = i. Let x(o) = i - 5 + 2 + o**2 + 4*o. Let m be x(-5). Solve n + 2*n = -m for n.
-3
Let q = -2 + -4. Let o(a) = -a**2 - 5*a + 6. Let g be o(q). Solve g*x = -4*x for x.
0
Suppose 2*z - 42 - 14 = 5*r, -3*r + 4*z = 28. Let p = -9 - r. Solve 0 = -0*t - p*t - 6 for t.
-2
Let w(n) = -3*n**3 + 5*n + 7. Let z be w(-2). Solve 0 = z*r - 17*r + 12 for r.
-3
Let h(y) = y**2 - 4*y - 5. Let p be h(5). Suppose 3*a + 5*f - 10 = p, a - 2 = f - 4*f. Solve 3*r + 1 = -a for r.
-2
Let n = -7 - -8. Let a be (-5)/((n + 0)/(-1)). Solve -a*w + 17 = -8 for w.
5
Suppose -4*d + k - 4 = -3*k, 4*d = 2*k. Let s be 25/(-2)*(-18)/15. Let x = s - 15. Solve m + 0 - d = x for m.
1
Suppose 0 = 5*o - 0*o. Solve 2*m = -o - 6 for m.
-3
Suppose 0 = -5*i + 2*i + 4*f - 43, 2*i = 4*f - 22. Let r = i + 24. Solve 0 = -2*j - j - r for j.
-1
Suppose 3*x + 5*l = 11, 3*x + 5*l - 7 = 4*l. Let w be ((-2)/(-3))/(2/(-6)). Let m be w/(-8) + 22/8. Solve -x*n + 5 = m*n for n.
1
Let o(j) = j**3 - 4*j**2 - 5*j + 1. Let n be o(5). Let b be 4/((n + 3