 Solve -2*n = 6 - s for n.
4
Let i(z) = 2*z**2 + 6*z + 9. Let n be i(-4). Let b = 19 - n. Suppose -3*t = -3*v - 15, -5*t + 4*v + 21 = 1. Solve -b*q + 9 - 1 = t for q.
4
Let b be 2/(-6) - (-1)/3. Suppose z - 14 = -3*f + 7, b = -3*z - f + 39. Suppose 2*v - 6*v - 4*k = z, 3*k + 9 = -2*v. Solve v = -2*a + 4*a + 6 for a.
-3
Suppose -74 = -3*g - 4*i, 0*g + i = g - 13. Let j = -13 + g. Suppose 2*f + 2*u - 30 = -2*u, -24 = -3*f + u. Solve j*a - 29 = -f for a.
4
Let n = 0 - 0. Let k(v) = -v**2 + v + 1. Let o be k(n). Solve 0 = 2*g - o - 3 for g.
2
Let c(k) = 4*k - 4 + k**2 - 2*k**2 + 7. Suppose -5*j = -4*t - 12, 2*j = 3*j - 3*t + 2. Let w be c(j). Solve -5*l + w*l + 10 = 0 for l.
5
Suppose 0 = 5*x - 3*y - 57, 0*y = 4*y + 16. Let u = -7 + x. Solve u*q - 5*q = 0 for q.
0
Let m(q) = q + 10. Let y be m(-7). Solve 3*k = y + 3 for k.
2
Let a(u) = -u**2 + 3*u**2 - u**3 - 10 - 9*u + 9*u**2. Let o be a(10). Solve 2*v + 2 = -o for v.
-1
Let c(x) = -x**2 + 8*x. Let l be c(8). Suppose -1 = 5*o - 11. Solve o = -l*i - i for i.
-2
Suppose g - 27 = -2*g. Let j = -2 + 2. Let d(p) = -4*p - 1. Let t be d(-1). Solve -3*q + g + t = j for q.
4
Let q(k) be the first derivative of -k**3/3 + 6*k**2 + 17*k - 6. Let u be q(13). Solve -u = 4*c - 20 for c.
4
Let o be -4*9/(-6) + -2. Suppose 4*z = 6*z - o. Solve -2*r + 0*r = -z for r.
1
Let g = -15 - -22. Suppose g = 5*f + 2. Solve -5 = -3*x + f for x.
2
Suppose 2*q - 40 = -o + 3*o, 105 = 4*q + o. Suppose -f = -6*f + q. Solve f*l = -0*l for l.
0
Suppose 0 = 3*c + 2*c, 4*j + 3*c - 8 = 0. Solve -5*p = j + 8 for p.
-2
Let l = -22 + 26. Solve -l*q + 15 = -9*q for q.
-3
Suppose 3*h + 4 = -5. Let r be 3*(-1)/h*4. Solve -1 = 3*c - r for c.
1
Let j be (12/(-30))/(4/(-10)). Let h = j + 1. Solve 10 = -h*m + 4 for m.
-3
Let g(d) = d**2. Let a(b) = -7*b**2 + 5*b. Let n(x) = -a(x) - 6*g(x). Let i be n(5). Solve i*p - p = 0 for p.
0
Let t = -14 + 29. Solve 10 + t = -5*o for o.
-5
Let p be 6/(-2) + (-6)/3. Let t = p + 9. Solve t*r - r + 9 = 0 for r.
-3
Suppose 4*j - 20 = -2*d, -8 = d - 0*d - 4*j. Solve -6 = d*b + 14 for b.
-5
Let a be (-25)/(-10) + 2/(-4). Let n be (a/(-3))/((-4)/(-42)). Let r = n - -7. Solve b - 2 = -r for b.
2
Let p(x) be the third derivative of x**5/60 - 3*x**4/8 + 5*x**3/6 - 3*x**2. Let c be p(9). Solve 0*k = c*k - 15 for k.
3
Suppose -r - 3*r = 4*k, -3*k + 6 = 5*r. Suppose p - 5*h = -3, -3*p - 3*h - 6 = r. Let u = -3 - p. Solve -4*a + 2*a - 10 = u for a.
-5
Let o = -4 - -7. Let i(w) = -w - 4*w**2 + 3 + o*w**2 + 2*w**2. Let z be i(4). Solve -4*l + 1 = -z for l.
4
Let n = 26 + -40. Let k = -10 - n. Solve k*g = g - 3 for g.
-1
Suppose 0 = -5*v + 43 - 13. Solve u - 5 = v*u for u.
-1
Suppose 0 = 3*u - 12 - 0. Let i be (0/(-1 - -4))/(-1). Suppose -4*c - 4*x + 12 = i, 5*x + 1 = u*c - c. Solve c*s = 4*s for s.
0
Suppose 16 = -4*w - 28. Let k = w + 14. Solve -k*u = 17 - 2 for u.
-5
Let p be 1/(2*1/4). Suppose -q + 4*q = x + 4, 12 = p*q - 3*x. Let b = q + 2. Solve 4*c = b*c for c.
0
Let g be (0/(-2) - 0)/2. Solve -2*f - 8 = -g*f for f.
-4
Let m(l) = 4*l**3 - 7*l**2 + 4*l - 9. Let b(z) = -z**3 - z**2 - z. Let f(w) = 5*b(w) + m(w). Let v be f(-12). Solve j - 4 = v*j for j.
-2
Let c be (-4)/(-20) - (-24)/5. Solve -c*x = -4*x - 1 for x.
1
Suppose -9*w + 20 = -4*w. Let n = 19 - w. Suppose -5*b - 15 = -3*l - 0*b, 5*b = 4*l - n. Solve j - 4 + 2 = l for j.
2
Let a = 1 + -6. Let s(i) = 2*i**2 + 5*i + 7. Let y be s(a). Suppose -3*h + 2*h + y = 0. Solve 12 - h = -4*o for o.
5
Suppose 3*h + 2*h - 25 = 0. Suppose 4*f - 7*f = -3*c + 15, h*c + 2*f = 11. Suppose -c*g + 0 = -3. Solve g = -2*l - 1 for l.
-1
Let b be ((-6)/(-4))/((-2)/(-16)). Solve 0 = a - 4*a - b for a.
-4
Suppose 2*y - 7 = -y - o, -y = -o - 5. Solve -4 + 13 = -y*k for k.
-3
Let s = -4 + 4. Suppose -7*d + 3*d + 4 = s. Let l = 1 - d. Solve -y + l*y = -2 for y.
2
Let o be (-130)/(-35) - 4/(-14). Suppose 7*r - 6 - 15 = 0. Solve -s - o = -r for s.
-1
Suppose 2*u = -u + 84. Suppose 4*m + p = 50, 3*m - 3*p = p + u. Suppose 4*k - m = -q, k - 3 + 0 = 3*q. Solve -4 = -k*o + 5*o for o.
-2
Suppose 5*t + 5*s + 5 = 0, -5*t = -10*s + 6*s - 40. Solve -t = 2*o - o for o.
-4
Let t be (-35)/(-1 - (0 + 0)). Suppose -t = -9*l + 4*l. Suppose k - 9 = l. Solve 5*m - 6 = -k for m.
-2
Suppose 9*y - 10 = 4*y. Solve y = 5*j - 3*j for j.
1
Let o be (0/2)/((-12)/6). Suppose -l = -o*l - 8. Solve -h = -l + 4 for h.
4
Suppose -5*y = -1 - 14. Let q be 208/39 - 1/y. Suppose -6*t + 2*t = -20. Solve q*p + 0 = t for p.
1
Suppose -5*o = -0*o - 10. Suppose -2*d + 52 = o. Solve 3*s = -2*s + d for s.
5
Suppose 5 = x - 1. Let j be (9/x)/(3/10). Solve -j*y = -0*y for y.
0
Let g be (-2)/4 + 36/8. Let d be 6/g*32/12. Solve d*b + 6 = b for b.
-2
Suppose 2*y = -10, -s + 2*s = -5*y - 27. Let m be -4*3/(s + -10). Solve q = 2*q + m for q.
-1
Let z be (-5)/(-2)*(-6)/(-5). Solve -2*x = x + z for x.
-1
Let n = 1 - -1. Let d be 0 - 2 - (-24)/n. Solve -d = 3*a + 2*a for a.
-2
Let w be (-1 - -6)*(-5 - (8 - 15)). Solve 5*x = 7*x + w for x.
-5
Let i be (-2)/((-3)/(-2) + -2). Let a be (-3)/2*i/(-3). Let f be 7 - 25/(-15)*-3. Solve -f = a*v - 4 for v.
1
Suppose 0 = -2*u - 0*u + 4. Suppose -16 - 3 = -u*s - 3*x, 2*s - x = 15. Let h = -8 + s. Solve h = 6*v - v for v.
0
Let s = 3 + -5. Let u be (s/(-5))/(4/60). Solve x + 2*x + u = 0 for x.
-2
Let m = 4 + -12. Let n = 10 + m. Solve 6 = n*b - 2 for b.
4
Let c = -3 - -5. Suppose -c*h - h + 4 = -2*d, 4*d + 2*h = -8. Let j = d - -2. Solve 0 = 4*l - j*l for l.
0
Suppose -2*g = 2*f - 0*g + 26, 0 = 4*f - 5*g + 34. Let z = 21 + f. Solve 7*n - 2*n + z = 0 for n.
-2
Suppose 7 - 1 = 3*d, -d + 1 = a. Let p be (2 - 2) + a - -9. Solve 4*s = -0 - p for s.
-2
Suppose -d + 2*d - 16 = 0. Suppose 3*b - 22 = -5*r, -4*r = 4*b + r - 26. Solve 0*x - d = -b*x for x.
4
Let s(q) = q**3 + 5*q**2 - 2*q - 6. Let v be s(-5). Suppose 0*o = -5*o - v*u + 32, 4*o + u - 19 = 0. Suppose -o*d - d = -15. Solve 5*w = d*w for w.
0
Let g(j) = 8*j - 11. Let o be g(2). Solve 0 = o*l - 15 - 5 for l.
4
Let u(r) = r**3 - 14*r**2 + 14*r - 5. Let n be u(13). Suppose 0*y + y = 2. Let l(z) = -z**3 - 5*z**2 - 6*z - 6. Let d be l(-4). Solve -y*x + n = d for x.
3
Let q(n) = -3*n + 2. Let i(c) = -5*c + 4. Let s(x) = -4*i(x) + 7*q(x). Let z be s(-7). Solve -2*o = -z - 1 for o.
3
Let o = -13 - -13. Solve 0 = -l - o*l - 5 for l.
-5
Let f(k) = 2*k - 7. Let y be f(10). Suppose 2*j - y - 9 = 0. Solve -3*o - j = 4 for o.
-5
Let o be (1 - -4) + -1 + -4. Suppose -y + o = -4. Solve 0 = y*v - 1 + 5 for v.
-1
Suppose -3*x + 18 = 2*x - 2*s, x = s + 6. Solve x*y + 3 + 1 = 0 for y.
-2
Let s = 8 + -1. Let v be (-315 + 3)*(-6)/(-8). Let q be 2/7 - v/14. Solve -s + q = -2*h for h.
-5
Let u(z) = 4*z + 5. Let f be u(5). Let m = 0 + 3. Suppose k - 2 = -0. Solve m*r = -k*r - f for r.
-5
Let n(j) = -3*j - 10. Suppose 3 = -2*s - 5. Let i be n(s). Solve i*q + q = -9 for q.
-3
Let z(p) = -p**2 - 8*p - 10. Let j be z(-7). Let q be (-3 + j + 13)/1. Solve -2*k = -q*k + 15 for k.
3
Let b be (1 - (2 - -7))/(8 - 10). Solve -g - 10 = b*g for g.
-2
Let j(d) = -d**2 + 3. Let v be j(0). Let t = -3 + v. Suppose 2*r + 19 = 3*b, t = 5*b + r + 2*r - 19. Solve 0*i - b = -i for i.
5
Suppose -2*b + 17 = -6*b + 5*i, 35 = 5*b + 5*i. Let f be (-3 - -4 - -1)*b. Solve -2*d = -f*d + 2 for d.
1
Suppose 8*x - 11*x = -6. Solve -7 = -x*r + 1 for r.
4
Let t(o) = o + 2. Let g be t(2). Let z be 0 - (3 - (7 + -2)). Suppose k + 2 = g*d, z*d + 2 + 0 = k. Solve -4*l - 14 = k for l.
-5
Let a = 3 - 0. Solve 0 = 3*s - 6*s + a for s.
1
Suppose -v = -2*u - 3*u + 104, 4*v + 38 = 2*u. Solve -4*h - u + 1 = 0 for h.
-5
Let a be -3*(106/(-6) + 3). Let t = a + -21. Suppose 0 = 5*x - 7 - t. Solve 0 = -0*p + 2*p - x for p.
3
Let j = -9 + 13. Solve j = -r - 3*r for r.
-1
Let h = -1 + 3. Suppose x = h*x. Let s be x/(6/3 + -4). Solve 3*t = -s*t for t.
0
Let s(j) = j**3 + 28*j**2 - 31*j - 56. Let g be s(-29). Solve -4*f + 6*f - g = 0 for f.
1
Let d be (2 - 2) + 0/(-2). Suppose 2*t - t - 1 = d. Solve 2*c = c + t for c.
1
Let s = -150 + 151. Solve 0 = -5*y + s + 4 for y.
1
Suppose 6*x = x + j, 28 = 3*x + 5*j. Solve -a = -2 + x for a.
1
Suppose -3*d + 4*d - 21 = 0. Let u = -32 + d. Let t be (-24)/u - 2/11. Solve -3*r - t*r = -10 for r.
2
Let n(z) = -z**2 + 6*z + 7. Let h be n(4). Solve 6*i - 3*i = h for i.
5
Let a be (3/(-5))