 31, 2*n + j = 2*z + 3. Solve z*v + 4 - 1 = 0 for v.
-1
Let p = -20 - -22. Solve -p*r = 3*r + 10 for r.
-2
Let y be (1/4)/(1/16). Solve 5*d = 3*d - y for d.
-2
Let w = 1 - 2. Let x be ((-1 - 1) + -1)*w. Solve f + 8 = x*f for f.
4
Let p be (0*(-2)/4)/2. Let f = -2 - -3. Let t = f + p. Solve 4 - t = a for a.
3
Suppose -16 = -4*o, 2*f + 2*o - 3 = 15. Suppose -v + 1 + f = 0. Solve -3*a = -a + v for a.
-3
Suppose 5 = a + o, -3*o = -3*a - 0*a - 15. Suppose -l - 3*u - 6 = -7*u, a = -2*u + 4. Let k be ((-3)/6)/((-3)/12). Solve l + k = 2*x for x.
2
Let l = -27 - -29. Solve 0*c + l = -c for c.
-2
Let m(i) = i**3 + 7*i**2 + 5*i - 2. Let a be m(-6). Let v = -4 + a. Solve v = -g - 0 + 3 for g.
3
Let r(d) = -d**3 + 10*d**2 - 16*d + 7. Let z be r(8). Solve 3*y = z*y - 12 for y.
3
Let o(g) = -g**3 + 4*g**2 - 2*g + 16. Let n be o(4). Solve -4*j = -n*j for j.
0
Suppose -4*k + 17 = -11. Let b(h) = 0*h - 4 - h + 3*h - h. Let w be b(8). Solve 3*p - k*p = -w for p.
1
Let o be ((-10)/6)/(1/12*-10). Solve 3*s - o = s for s.
1
Let q = 14 + -9. Solve q*j = 6*j + 4 for j.
-4
Let v be (-2 - 6)*3/4. Let i = 1 + v. Let y = i - -5. Solve y = g - 0 + 2 for g.
-2
Suppose 6*j - j = -5, 107 = 5*s - 2*j. Suppose 5*w - 4 = w. Suppose 0 = 3*z - 7*z + 20. Solve -w = -z*q - s for q.
-4
Suppose 5*l = 3 + 17. Suppose -l*c = -c - 12. Solve 0 = -5*v + v + c for v.
1
Suppose 2*s + 2*b = -2*b - 6, -s + 3*b = -17. Suppose 3*v + 3*t + 27 = 0, 4*v + 3*t - 5 = s*v. Let r be 2/(-8) - 2/v. Solve r = 2*w - 5*w + 15 for w.
5
Let d = 27 + -7. Solve -c + 6*c = -d for c.
-4
Let i be ((-6)/(-8))/((-2)/(-8)). Suppose -3*y + 6 = -0. Solve i = -y*v + 13 for v.
5
Let z be (4 - 9)/((-5)/2). Solve -4*v + 2 = -z*v for v.
1
Suppose 0 = -p + 4*p + 5*m - 22, -5*m = -10. Solve -2 = -p*f + 2*f for f.
1
Suppose 3*r + 2*x = 9, -x = -4*x + 9. Suppose 0 = -0*c + 4*c. Let p be ((r + c)*2)/2. Solve -3 - p = -n for n.
4
Suppose -2*s = 4*b - 20, -b + 2*s = 2*b - 1. Let p = 8 - b. Solve 0 = 8*z - 3*z - p for z.
1
Suppose -2*b + 4*b = -18. Let n = 9 + b. Solve -5*f + f - 8 = n for f.
-2
Let v be -6*(7/(-70) - (-4)/(-10)). Solve -q = v*q + 8 for q.
-2
Let x(c) = -4*c - 1. Let a be x(-6). Solve 3 = -4*g + a for g.
5
Suppose q = n - 3*n + 15, -4*q = -4*n. Suppose 0 = n*r + c - 14, -6 = r - c - 4. Solve g + 0*g = -r for g.
-2
Suppose 6*g - 5*g = 6. Let q(h) = -h**2 + 4*h + 2. Let f be q(4). Suppose 5*w - 3*s - f = 13, -5*w + 15 = 5*s. Solve -w*o = -6*o + g for o.
2
Let k(w) = w**3 - 2*w**2 + 2*w - 1. Let u be k(1). Suppose u = 4*f - 22 - 14. Let m = f + -6. Solve 2 + 4 = -m*q for q.
-2
Suppose -8 = -4*q + 4. Solve 0 = -q*d + 8 + 1 for d.
3
Suppose -10 = -3*b + b. Let v be -5*(5 + -2)/(-3). Solve -v = 2*k + b for k.
-5
Let j = -59 - -78. Solve 5*d + j + 6 = 0 for d.
-5
Let o = 9 + -6. Let r(u) = -u**3 + 4*u**2 - 2*u - 1. Let a be r(3). Solve -p + o = a for p.
1
Let u be (-4)/(-18) + 244/36 - -1. Solve -t + u = t for t.
4
Let n be 1 + 114/12*(3 - 1). Solve 5*s - s = n for s.
5
Let p(o) = o**3 + 7*o**2 + 6*o + 3. Let x be p(-6). Solve 0 = -2*v + x*v - 2 for v.
2
Let g(o) = -2*o + 2. Let s be g(0). Solve -s*d = 13 - 5 for d.
-4
Suppose -d = d. Let c be 1 - (4/(-1) + 2). Let f be 19/c + (-8)/6. Solve -f*b - 25 = -d*b for b.
-5
Let x(k) = k - 5. Let c be x(9). Solve v - c*v = 6 for v.
-2
Let o = 5 - 11. Let j = 6 + o. Solve -4 = d - j for d.
-4
Suppose 0*k = 5*k - 15. Solve 2*f = k*f - 2 for f.
2
Let h = -24 - -24. Solve h = -0*o + 4*o + 8 for o.
-2
Suppose 3*x + 3*v = 9, -x + 0*x + v = -11. Let d = x + -6. Suppose p = q - 3, 5 = -3*p - d. Solve -2*h + q = 3 for h.
-1
Suppose 0 = 4*v - 3*x - 21, 3*v - 3*x + 3 = 7*v. Solve 0 = 2*z + v*z + 5 for z.
-1
Let o be -2 + (2 + -3 - -3). Let p(g) = 3*g + 3 - 5*g + 3*g. Let s be p(o). Solve 2*i = s + 3 for i.
3
Let v be ((-2)/(-6))/((-1)/(-6)). Suppose 2*t = -l + 15, -l = -5*t - 4*l + 40. Suppose -v*k + 3*k + t*g - 16 = 0, g - 2 = 0. Solve -k*s = -s + 5 for s.
-1
Suppose -3*u + 5*u = 32. Suppose n = 5*y - u - 4, -5*y + 30 = -3*n. Solve -y*d - d + 4 = 0 for d.
1
Let g(i) = 11 - 7 + 11*i**2 + 6*i + 0*i**3 + i**3 + 4*i. Let b be g(-10). Solve -r - b = -1 for r.
-3
Suppose -5*i + i + 12 = 0. Suppose -3 = i*m + 9, 4*m + 20 = p. Let l = -4 + p. Solve l = -t - 3 for t.
-3
Let y(w) be the first derivative of -2*w**2 + 2. Let b be y(1). Let o = b - -14. Solve -o = -p + 3*p for p.
-5
Let t(g) = 2*g + 5. Let r be t(-6). Let a = -6 - r. Let m = a - -2. Solve 2*p = -m*p + 15 for p.
3
Let v = 91 + -88. Solve -v*r - 5 = 1 for r.
-2
Suppose k - 5*r - 19 = 0, 3*k - 3*r - 37 = 2*r. Suppose 5*u + 2*z + 12 - 36 = 0, 0 = 3*u + 3*z - k. Solve 2*p - u = 4 for p.
5
Suppose 5*w + 10 = -5. Suppose -5*d - 14*t = -13*t - 28, 4*d - 11 = 3*t. Let a = w + d. Solve 0*z - a = -2*z for z.
1
Suppose -10 = -5*o + 15. Let l(n) = 3*n - n**2 - o*n - 3*n. Let u be l(-4). Solve 2 + 6 = u*f for f.
2
Let l(m) = -m**3 + 5*m**2 + 2. Let p be l(5). Let t be (0 + -3 + 9)*-1. Let c be 1/(-3) - 8/t. Solve p + c = -n for n.
-3
Suppose -16 = k - 5*k. Suppose 12 = k*i - 0. Suppose i*d + 6 = 5*d. Solve 0 = m + d*m for m.
0
Suppose 3 = 5*p - 4*p. Solve -p*i + 4 = -5 for i.
3
Suppose 12 = 2*d - 4*v - 0*v, 2*v + 4 = 0. Solve 10 = d*m - 0*m for m.
5
Let w = 19 + -12. Solve 2*d - 1 = -w for d.
-3
Let m = -124 - -126. Solve -m = -6*h + 7*h for h.
-2
Let v(l) = 2*l**2 + 3*l - 2. Let j be v(1). Solve 4*z + 9 = -j for z.
-3
Let q = 4 + -1. Solve 0 = 5*r + q - 23 for r.
4
Let b(v) = -v - 1. Suppose 5*w + 3 = 4*g + 4, 2*g + 4*w + 20 = 0. Let x be b(g). Solve -3 = -x*h - 0 for h.
1
Let d(b) = b**2 - 6*b. Let f be d(6). Solve 0*w - 4*w - 12 = f for w.
-3
Let m(k) = 2*k**2 + 4*k + 4. Let l be m(-2). Suppose -l*j = j - 35. Solve -j = 3*s + 5 for s.
-4
Let n = 13 - 10. Solve -n*w - 15 = -6 for w.
-3
Let d be 3 + (-1 - (-3 + 0)). Solve d*y = y for y.
0
Let t = -11 + 4. Let u be (0 + 8/(-28))*t. Solve -3*g = -g + u for g.
-1
Let r = 24 + -21. Solve r*h + 6 = h for h.
-3
Let m be (-3 - 13/(-5))*-65. Let a = 38 - m. Solve 3*g - a = -g for g.
3
Let v(k) = -k - 5. Let m be v(-7). Let n be (-2 - -4)/(-1)*-1. Suppose -3*a + 4*f = -5*a + n, -5*f - 1 = -a. Solve -j + m*j = a for j.
1
Let n = -14 - -21. Solve -2*q = -n*q - 5 for q.
-1
Let m = 9 - 6. Suppose -2*s + m*s + 4 = 0. Let c be s/((1 - 2)*1). Solve -6*f + c = -2*f for f.
1
Suppose 5*s + 3*f = -0*s, 2*f = 10. Suppose -3*j = c - 51 - 13, 0 = 2*j - 4*c - 52. Let p be s/4 - j/(-8). Solve p*h - h = 5 for h.
5
Let a(h) = -h**2 - 5*h - 4. Let b be a(-5). Let g be (5/(-3))/(b/12). Let x = g - 2. Solve -x*f = -3 - 3 for f.
2
Suppose -4*i + 10*i - 36 = 0. Solve 2*d - 14 = -i for d.
4
Let u(h) = -2*h - 39. Let p be u(-21). Solve p*s = 2*s for s.
0
Let o(g) = -g**3 + 4*g**2 + 4*g + 6. Let c be o(5). Suppose -4 = 3*k - c. Let y = -1 - k. Solve -16 = -y*z - 4*z for z.
4
Suppose 6*m = 10 + 8. Solve 4*q + m = -5 for q.
-2
Let o be 18 - 0*(-2)/(-2). Let g(u) = -u**3 - u**2 + 2*u + 2. Let v be g(-2). Solve -v = -5*i + o for i.
4
Suppose -7*o + 3*o + 40 = 0. Suppose -t = t - o. Solve 6*b - b - t = 0 for b.
1
Let y(w) = w**2 - 8*w + 7. Let b(j) = -j - 1. Let a(i) = -2*b(i) - y(i). Let o be a(7). Solve -3*s - s = o for s.
-4
Suppose 2*p = -p + 9. Suppose -p*y = -12 - 0. Let o(d) = -d**3 + 5*d**2 - 3*d - 4. Let r be o(4). Solve y*g = -r*g - 12 for g.
-3
Let a(p) = 4*p - 9. Let d(y) = -5*y + 10. Let o(z) = -6*a(z) - 5*d(z). Let j be o(-6). Let r be (-3 - j)/(3/(-60)). Solve r = h + 3*h for h.
5
Let k = 5 + -1. Suppose -k = -p + 1. Let h(o) = o**2 - 6*o + 5. Let l be h(p). Solve l*s + 3*s + 9 = 0 for s.
-3
Let p be (2/(-6))/(((-2)/9)/2). Solve -3*q - p = -9 for q.
2
Let i be 0 - (5 + -3) - -1. Let a be ((-3)/(3/1))/i. Solve 4*s = 5 - a for s.
1
Let b be (-6)/2 - (2 + -25). Solve 5*p - 5 = b for p.
5
Suppose 0 = -4*a - 5*s - 47, 3*a = -a - 4*s - 44. Let b be (-21)/(-6) + (-4)/a. Solve 0*p + 4 = b*p for p.
1
Let h be ((-54)/(-36))/((-6)/(-4) + -1). Solve -h*j = 2*j - 5 for j.
1
Let h(i) = -i**2 + 9*i + 2. Let c be h(9). Suppose -a - z = z - 8, -2*a - 2 = -c*z. Solve -a = -d + 3 for d.
5
Suppose -18 = -2*t - 0*t. Solve -5*x + 2*x = -t for x.
3
Let l(d) = -d - 1. Let z be l(-3). Suppose z*y - 4 = -0*y. Solve 0 = y*p + p + 12 for p.
-4
Suppose 0 = -92*z + 95*z. Solve 4*a + 4 + 4 = z for a.
-2
Suppose -f + 1 = -0. Let o(j) be the first d