+ 1, -2*n - 3*x - 10 = 0. Let l(j) = 24*j**2 + 1. Let v be l(n). Suppose v = 4*h - 35. Solve -2*s + h = s for s.
5
Let f(j) = -j**3 - j**2 + 2. Let p be f(0). Let w = p - -5. Solve -5 - w = -3*k for k.
4
Let g be 3/9 - 2/6. Suppose w + g*w + 1 = -d, -3*d + 11 = -4*w. Let v be 0*2*1/w. Solve s + 3*s - 4 = v for s.
1
Let f(q) = q**3 - 6*q**2 + 5*q. Suppose -2 = -d + 3. Let j be f(d). Solve j = 3*b - 0*b for b.
0
Let v be 2 - (-2)/(6/(-27)). Suppose -2*n - 2*b = -1 + 3, 5*n = 5*b - 25. Let j = n - v. Solve j*i - 5*i = 0 for i.
0
Suppose -2*r - 6 = -2, 0 = -v + 5*r + 10. Let k = 4 - 4. Let w be 1 + 2 + (-2 - k). Solve -a - w = -v*a for a.
-1
Let q = 3 + -1. Let w be (-1 - 3)/(q + -4). Solve w*s + 7 = -3 for s.
-5
Let d(p) = -2*p + 1. Let a be d(-1). Suppose 3*z + 0 - a = 0. Solve -3*g - 14 = z for g.
-5
Suppose c - 5 = -1. Suppose -5*f + f = 0. Solve -2*l + 6*l - c = f for l.
1
Let y be (4 - 2)*(1 - -1). Let o = -4 - -4. Solve -j - y*j + 25 = o for j.
5
Let c = 4 - 2. Solve -s + c = s for s.
1
Suppose 5*f = 3*m + 17, -3*f = 2*f + 3*m - 23. Solve 0 = f*g + 5 - 21 for g.
4
Suppose -3*d + 43 = 4*o, -d + 10 = d. Suppose -3*h + o = 4. Solve -h = y + 4 for y.
-5
Let i = 85 - 78. Solve i*q - 3 = 4*q for q.
1
Suppose 6*g - 38 = 10. Solve -w - w - g = 0 for w.
-4
Suppose 0 = 3*z - 2 - 13. Solve -4*m = -z*m - 2 for m.
-2
Let m be (-48)/(-5) - 4/(-10). Let b(g) = -g - 7. Let j be b(-9). Suppose x + v - 3*v = m, -2*x - j*v - 10 = 0. Solve x*f + 5 = 5*f for f.
1
Let u(w) = w + 5. Let f be u(-6). Let q be 1/f*(-5 - -1). Solve -q*c + 2*c + 8 = 0 for c.
4
Suppose 0 = -3*c - q + 31, 5*q + 0 - 5 = 0. Let s(m) = -m**2 + 7*m - 8. Let n be s(4). Suppose -n*t - 2 = -c. Solve -8 = -t*k - 0*k for k.
4
Let b = -18 - -7. Let l = b + 13. Solve 0 = 4*y - 3*y + l for y.
-2
Let t(l) = l - 3. Let m be t(5). Let c(i) = i**2 - i + 2. Let o be c(0). Suppose 5*y - 24 = o*y. Solve -4*z - y = -m*z for z.
-4
Let o(s) = s**2 + 8*s - 20. Let a be o(-10). Solve a*j = j + 5 for j.
-5
Suppose -4*g = -4*a - 0 + 4, 3*a = -3*g + 9. Solve -a*n = -3 + 13 for n.
-5
Let o(g) = g - 5. Let t(c) = -c**3 - c**2 + 3*c - 2. Let y be t(-3). Let w be o(y). Let n be (-30)/(-2) - (0 + 0). Solve -7*u = -w*u - n for u.
3
Let h be (0/15)/(-2 + 1). Solve -3*w + 12 = -h*w for w.
4
Let z(g) = -3*g**3 - 20*g**2 + 17*g - 4. Let t(i) = i**3 + 7*i**2 - 6*i + 1. Let x(f) = 11*t(f) + 4*z(f). Let q be x(-4). Solve y = -q*y for y.
0
Let v be 2/6 + (-14)/(-3). Suppose 32 = v*f + 4*t, 4*f - t - t - 10 = 0. Suppose -f*c + 3*r + 3 = 0, -2*c = r - 4 - 5. Solve 5*q - c*q = 8 for q.
4
Let k be 2/11 - (-324)/33. Let r = -4 + k. Let c be 1/(-3) - (-14)/r. Solve 4*h - c*h = 0 for h.
0
Suppose 4*a - 10 = 2*a. Solve -a*r - 1 = -11 for r.
2
Let m = -2 + 6. Suppose m*s = 1247 - 367. Let g be s/14 + 2/7. Solve -1 = 3*r - g for r.
5
Let s = 20 + -19. Solve x - s = -0 for x.
1
Let w = 1 + 7. Let s be w/2*(-2)/(-4). Let c be (-46)/(-7) + 12/28. Solve 0 = -s*r + 3 + c for r.
5
Let h(j) = j - 7. Let c be h(10). Solve 0 = 5*x - 4*x + c for x.
-3
Let t(g) = -g + 15. Let i be t(12). Suppose 4*m - 36 - 6 = 2*w, 0 = -3*m + 2*w + 30. Let j be 96/30 - 1/5. Solve -i*l = -m - j for l.
5
Let v(x) = x**3 - 9*x**2 + 7*x + 17. Let u be v(8). Solve 1 + u = 2*o for o.
5
Suppose x - b + 2*b = 3, -5 = -3*x - 5*b. Let a be 5/2*4/x. Solve -a*r - 16 = -6 for r.
-5
Suppose 0 = -3*t - 1 + 7. Suppose -18 = -2*w - w. Solve -t = -4*o - w for o.
-1
Let p(d) = 4*d - 1. Let s be p(3). Let k = s - 7. Suppose k*u = u. Solve 0 = -3*m + 9 - u for m.
3
Let r = -2 - -4. Suppose -g + 0*g + 2 = -r*d, 2*g - 4 = 3*d. Let j(v) = 4*v - 3. Let z be j(g). Solve -5 = -5*m + z for m.
2
Let j be 8/7*35/10. Suppose -3*h + 6*h + 3 = 0. Let a be -1*j*h/2. Solve -3*r = a*r - 20 for r.
4
Let c = -11 - -19. Let g = 1 + 1. Let p(n) = -n**2 - 15*n. Let i be p(-15). Solve c = -g*j - i*j for j.
-4
Let z(p) = p**2 - 10*p + 3. Let b be z(10). Solve 0 = -j - 1 - b for j.
-4
Suppose 3*b - 1 = 2*b, 0 = 4*a - 2*b - 10. Solve 2*w = -a*w + 10 for w.
2
Suppose -4*u + 2 = -6. Suppose -v + t + t = -u, 4*v - t = 1. Let r(c) = -c - 2. Let i be r(-4). Solve i*b - 6*b = v for b.
0
Let f = 7 - 1. Suppose -4*w + f = -22. Suppose 4*r = 1 + w. Solve 3*o + r = o for o.
-1
Let b = -49 + 75. Let r = -54 + b. Let w be 4/(-6) - r/6. Solve -3*h + 2 = -w*h for h.
-2
Let u be (6/2)/(-3 - -4). Let w = 3 - u. Suppose s + w*y + y = 8, -2*s + 3*y + 16 = 0. Solve -s = -m - 3*m for m.
2
Let h(j) = j**3 - 6*j**2 - 6*j - 10. Let c be h(7). Let a be (c - -13)/((-1)/(-2)). Solve a = -r + 5*r for r.
5
Let d(y) = 2*y**3 + 1. Let o be d(1). Suppose -o*x = -0*x. Suppose l - 2*h + 7 = x, -h + 2 = -2. Solve b - 2*b = l for b.
-1
Suppose 5*u - 4*g = -94, -4*g = -u - 4 - 18. Let y = u - -20. Solve -y*m + 2 + 8 = 0 for m.
5
Suppose 2*k - 7 = -3*u, -4*k + 5*k + 2*u = 3. Let f be 4/(-6) - (-2)/3. Solve f = t - k for t.
5
Let h(z) = 8*z**2 - 2*z - 1. Let b be h(-1). Let a = b + -5. Suppose 4*x - 5*r = 41, -5*r + a*r = -2*x + 13. Solve -4*p = -2*p + x for p.
-2
Let x(f) = -f**2 + 11*f + 28. Let j be x(13). Solve -5 = -3*u + j*u for u.
5
Let q be 4/28 - 55/(-7). Solve 3*p + q = 7*p for p.
2
Suppose 3*y + 9 = 6*y. Solve y*l - l - 10 = 0 for l.
5
Let i be (-1)/(-2*1/86). Let a = i + -23. Suppose -2*m - 3*m + a = 0. Solve m*b = -6 + 22 for b.
4
Let t = -6 - -2. Let h = t + 4. Suppose -v + 12 + h = 0. Solve -v = 4*d + 4 for d.
-4
Suppose -3*q + 18 = 3*t, -q - 12 = -3*t - 2*t. Suppose -3*k + 3*z + 30 = 0, -2*z = 3 + t. Suppose 4*m + k = 3*s, -2*s + s = -4*m + 3. Solve -2 = m*n + 2 for n.
-2
Let s(v) = -5*v + 2. Let q be s(-1). Suppose 5*t + 5 = 20. Let b be (2/4)/(t/18). Solve 0 = -q*z + b*z for z.
0
Let z(h) = h**2 + 1. Let j be (-4)/(-6)*(-6)/4. Let n be z(j). Solve q + n*q - 12 = 0 for q.
4
Let b = -9 - -14. Let r be (1 + 1)/(b/10). Solve -12 = 4*o + r for o.
-4
Suppose 5*b - 18 = 7. Suppose 4*c - b*c = 0. Solve 2*n - 5*n = c for n.
0
Let z(u) = 4 + 0 + 9*u + 2*u. Let r be z(3). Let j = r - 16. Solve 9 - j = 3*a for a.
-4
Let x(w) = -2*w**3 - w**2 - 2*w - 1. Suppose -5*s + 10 = -2*y - 9, -5*s + 25 = 0. Let o = y + -4. Let g be x(o). Solve v + v = -g for v.
-1
Suppose -3*m + 14 = 2. Suppose 2 - 26 = -m*g. Solve 2*q + 14 - g = 0 for q.
-4
Suppose 5*i + 12 = -13, -5*p - 10 = 5*i. Solve p*g + g = -4 for g.
-1
Suppose 6*u - 18 = 6. Solve 0 = 4*h - 8 + u for h.
1
Suppose 2*l = -4*l + 72. Suppose w = 4*w + l, -w - 6 = -y. Solve 4*g + 14 + y = 0 for g.
-4
Let s be (-6)/8 - 27/12. Let r be 8/3 + (-1)/s. Solve b + r*b + 20 = 0 for b.
-5
Suppose 5*a + 4*q = 0, 4*a - q - 17 = a. Let b = -3 + 6. Solve a = -t + b for t.
-1
Let p = 6 + -2. Let j(u) = u**3 - 3*u**2 - 1. Let w be j(p). Let c = w + -6. Solve -4*l + c = -3 for l.
3
Suppose 0 = 3*z - p - 1, p + 5 = 6*z - z. Let f be ((-2)/(-6))/(z/48). Solve -f = -0*s - 2*s for s.
4
Suppose 0 = -m - 2*m - 3. Suppose 0 = 2*u - w - 0*w - 1, 0 = 4*u - 4*w + 4. Let q be (m - 4)/(1 - u). Solve q*j - 7 = 3 for j.
2
Suppose 0 = 14*l - 22*l + 40. Solve -l*b + 15 = -0*b for b.
3
Let h = 5 + -5. Suppose -5*b + 15 = -h. Suppose 5 = -3*o + 4*s - 9, b*s - 7 = 4*o. Solve -o*y + 1 = 7 for y.
-3
Let u be 8/12*(-3)/(-2). Let v(j) = 0 - 2 - j + 3. Let n be v(u). Solve n = 2*y - 1 - 1 for y.
1
Suppose -5*x = 3 - 13. Suppose 0 = -5*c + x + 13. Solve c*g + 5 = -4 for g.
-3
Suppose 4*c + 6 = -3*m, -5*c - 7 = 4*m + 1. Solve c = -j + 4 for j.
4
Let a be (-3 - 3)*-5 + -5. Solve a = -4*i - i for i.
-5
Suppose -15*n + 15 = -10*n. Solve 6*j = n*j - 12 for j.
-4
Let n(j) = j**3 - 3*j**2 + 3*j. Let c be n(2). Solve 0*l + c*l = 10 for l.
5
Let g(h) = 2*h**2 + 3 + h**2 - 3*h - h**2. Let p be g(2). Solve 1 = p*z + 21 for z.
-4
Suppose -3*v = 3*x + 30, 5*v + 0*x = -x - 34. Let c be (-4)/v + (-4)/(-3). Suppose -3*d = 4*a + 4, 5*a - c*a - 2*d = 14. Solve -a = -2*f + 2 for f.
2
Let k(c) = 2*c**2 - 3*c + 7. Let g(x) = -x**2 + 2*x - 4. Let r(h) = 5*g(h) + 3*k(h). Let u be r(-2). Solve u*j + 2 + 7 = 0 for j.
-3
Suppose 39 = 8*b + 23. Solve 4*n - 6 = b*n for n.
3
Let w(z) = -z**3 - 12*z**2 - 11*z. Let m(f) = -f**2 - 2*f + 4. Let g be m(3). Let t be w(g). Solve t = -3*v + 1 + 5 for v.
2
Let v be ((-8)/(-12) - (-2)/6) + 3. Solve 5 = -v*n - n for n.
-1
Suppose 3*t = 8*t. Solve t = 6*d - d + 20 for d.
-4
Let f(u) = -u**2 - 2*u. Let i be f(-2). Solve i = 