Solve -s*d + d + 4 = 0 for d.
2
Let j be (-1)/2 - (-21)/(-6). Let a = j - -10. Solve a*h = 3*h + 15 for h.
5
Let f(h) = -h + 2. Let s be f(0). Let t = -2 + 23. Suppose -u - t = -s*u. Solve 4*v - u = -5 for v.
4
Let z(x) = -x**2 + 9*x + 12. Let k be z(10). Suppose -2*b + 4*u + 3 + 1 = 0, -5*b - k*u = 50. Let t = 11 + b. Solve 3*m = 2*m + t for m.
3
Suppose -7*i + 77 = 21. Solve 2*w = -2*w + i for w.
2
Suppose 0 = -5*j - 2*p + 2, 4*p - 6*p = -j + 10. Solve l - j - 1 = 0 for l.
3
Let w(z) = z**3 + 5*z**2 + 4. Let u be w(-5). Solve -2*n - 4 = -u*n for n.
2
Suppose o + 6 = 3*o. Let g be 12/(-18)*3 - -6*1. Solve -o*w - g - 5 = 0 for w.
-3
Suppose -5*b + 0 = -5. Suppose -3*y + 3*x + 11 + b = 0, -2*y + 12 = -3*x. Solve y*s - 3*s - 3 = 0 for s.
-1
Suppose 7*s - 5 = 6*s. Let b = -2 + 3. Let y be (-15)/b*(-3)/5. Solve y + 11 = -s*x for x.
-4
Let j be 8/3*(-9)/(-2). Suppose 0 = 7*c - 3*c + 3*d + j, -4*d - 16 = -5*c. Solve c = a - 0*a + 4 for a.
-4
Let r be (-69)/(-21) + (-12)/42. Solve -r*z - 2*z = 20 for z.
-4
Let y(c) = -c**3 + 4*c**2 + 5*c + 2. Let h be y(5). Suppose -o + 2 - 6 = 0. Let j = -3 - o. Solve -m = -h + j for m.
1
Let v(o) = o**2 - 3*o - 4. Let u be v(4). Let i = 1 + u. Let w be i - -2*(-3)/(-6). Solve -w*k = k + 6 for k.
-2
Let y(n) = -3*n**2 + 5*n + 3. Let c(b) = 4*b**2 - 8*b - 5. Let h(l) = -5*c(l) - 7*y(l). Let a be h(-6). Solve 6*o - a = o for o.
2
Let k = -18 + 35. Let c = 10 - 7. Solve c*l - 2 = -k for l.
-5
Let n be 6/5*(6 - 1). Let w = -8 - -18. Suppose -3*q = -w + 4. Solve -n = q*j - 0 for j.
-3
Let l = 6 + 9. Solve 6*q = 3*q - l for q.
-5
Suppose -4*m = -0*m. Suppose 2*a - 4 - 6 = m. Suppose -z = -5*c + 20, -2*c - 2*c + 30 = 2*z. Solve -c = a*i + 5 for i.
-2
Let l = -1 + 3. Suppose -2*k = c - l - 2, 0 = -c. Suppose 0 = 5*w + 20, -k + 13 = 5*v + w. Solve 5*t + v = 13 for t.
2
Let m be 3/24 + 312/64. Solve m*j - 4 = 1 for j.
1
Suppose 3*j = 5*v + 24, v + 2*j + 2 = 5. Let u be (-1)/4 - 21/(-4). Let z = v + u. Solve -z*g = -5*g + 12 for g.
4
Suppose 5*v = v + 56. Let o = v - 14. Solve 0*x - 2*x = o for x.
0
Let l be (-6)/10 + 63/105. Solve -2*x - 3 + 1 = l for x.
-1
Let g be (-2)/(-1)*-7*(-9)/6. Solve 6 = -3*i + g for i.
5
Let v = -14 - -16. Let j(s) = 9*s**2. Let n(u) = u**3 - 4*u**2 - 1. Let p be n(4). Let t be j(p). Solve v*a = 1 - t for a.
-4
Let v be 33/5 + 3/(-5). Let x be (0 + -2)*1 + v. Suppose 0 = -x*q - m + 9, 2 = q - 2*q + 4*m. Solve 3*h = q*h - 1 for h.
-1
Suppose 3*k + 100 = 7*k. Suppose 0 = -y + 6*y - k. Solve 9 = -2*q + y*q for q.
3
Suppose 14 = -3*i - 7. Let o be ((-36)/i)/(15/70). Solve -3*u - 9 = -o for u.
5
Let y(n) = -n**2 - 2*n + 1. Let o be y(2). Let h = o - -5. Let r = h + 8. Solve -w = -3*w + r for w.
3
Let h be -1*4 - (-84)/12. Suppose 2*n + n = -9, -n + 33 = h*u. Solve -6*k - u = -2*k for k.
-3
Suppose -m = -s + 8 + 1, 3*s = -4*m - 8. Solve -s = -k - k for k.
2
Let m(h) = h - 9. Let p be m(13). Solve p*q + 4 = -0*q for q.
-1
Suppose c - 7 = -m, 0*c = -2*c + 10. Solve 0 + m = 2*w for w.
1
Suppose 3*u - 4*x - 29 = 0, 2*u - x - 2*x - 18 = 0. Suppose 4*a - u = -a. Solve 5*q = a*q + 6 for q.
3
Suppose i + 2*i = -4*l - 3, 4*i = -20. Solve l*d = -23 + 8 for d.
-5
Let z(s) = -2*s + 3. Let f be z(-3). Solve 3*o + f = -0*o for o.
-3
Suppose a = -4*b + 2, -4*b + a + 2 = 4. Let m(w) = 19*w**2 + 1. Let z be m(-1). Solve -5*v = -b*v - z for v.
4
Let y = 4 - 0. Suppose -3*d + 20 = y*p, -10 = -4*p + 2*p. Solve -n - 1 = -d*n for n.
-1
Let p be 1*(18/6 - 1). Solve -p*k = -2 + 6 for k.
-2
Suppose k = -2*p + 21, 5 + 24 = k + 4*p. Solve 5*a - k = 2 for a.
3
Let w = 104 - 104. Solve 25 = -5*f - w for f.
-5
Let g(q) = -q + 37. Let y be g(19). Suppose 0 = -f - 2*f + y. Solve -3*i = -f*i for i.
0
Suppose 5 - 17 = -5*u - 3*y, -4*u + 7 = 5*y. Solve -4*s = -9 - u for s.
3
Let m(q) = 2*q + 11. Let n be m(-8). Let f = n + 7. Solve -f*u - u = -9 for u.
3
Let n(q) = -22*q + 14*q + 1 + q**3 + 1 + 7*q**2. Let s be n(-8). Let t be 42/15 - (-2)/10. Solve -s*c + 25 = t*c for c.
5
Let u be 10/2 + -2 - 0. Suppose -u*f + 26 = 11. Solve 0 = -4*p + f*p + 4 for p.
-4
Let q = -17 + 37. Solve 5 = 5*v - q for v.
5
Let j(n) = n + 1. Let g be j(0). Suppose -m + 3 - g = 0. Let r(f) = 2*f - 5. Let u be r(5). Solve 0 = -m*p + u - 1 for p.
2
Let h = 14 - 19. Let k = -3 - h. Solve -m = m - k for m.
1
Let z(t) = t + 4. Suppose -u - 5*r = -3*u + 4, 5*r = 5*u + 5. Let s be z(u). Solve 3*a = -4 + s for a.
-1
Let f(v) = 2*v + 54. Let r be f(-24). Solve -r*b + 5*b = 5 for b.
-5
Suppose -2*n = -4*c + 28, -6*n + 2*n - 38 = -5*c. Solve -c = -i - 2*i for i.
2
Suppose 5*j + 16 = -v - 5, 0 = 4*v + 2*j - 6. Solve -2 = z - v for z.
2
Suppose 9 = 3*q, g - 10 = 2*g - 5*q. Let t = 8 - g. Solve t*c = c for c.
0
Let q(x) = -4*x**3 + x**2 + 2*x + 1. Let m be q(-1). Suppose s = y, m + 0 = y + s. Solve 0*j - 2*j = -y for j.
1
Let l(u) = 0*u + 2*u + u - 5 - u. Let q be l(6). Solve q + 3 = 5*c for c.
2
Let y be (-5 + -1)*25/(-30). Suppose 5*m - 3 = 17, 4*f - 52 = -y*m. Solve -f = -5*b + 7 for b.
3
Suppose 20 = 2*k + 3*k. Let u = 0 + 5. Solve i - u = -k for i.
1
Let m = 6 + -8. Let w(q) = -q**2 - q - 1. Let a be w(m). Let k(r) = -r**3 - 3*r**2 - 3*r + 3. Let f be k(a). Solve -g + f = 3*g for g.
3
Suppose -2*j + 3*m = -60, 7*j - 196 = 2*j - 4*m. Suppose 4*c - j = c. Let z be ((-6)/(-9))/2*c. Solve -z*q - 4 = -6*q for q.
2
Let g be (4/(-6) + 1)*6. Suppose 0 = -j - g*j. Suppose 0*k + k - 3 = 0. Solve -5*h + k*h = j for h.
0
Suppose -9*k + 13*k = 12. Solve -k = 2*o - 3*o for o.
3
Suppose 0 = -4*w - 4*x + 12, -2*x = -3*w - 4*x + 9. Suppose -5*u - 35 = -5*b, -2*u - 6 - 20 = -w*b. Solve -4*r + b = -7*r for r.
-4
Let f = -16 - -19. Solve 0 = -f*b + 4 - 1 for b.
1
Let w(q) be the third derivative of q**4/6 + q**3/3 - q**2. Let d be w(5). Let y = d + -7. Solve 7*f - 4*f = y for f.
5
Suppose d = -8 + 10. Let s = 2 - d. Solve s*k - 4 = -k for k.
4
Let w = 8 - -4. Solve -z = -4*z + w for z.
4
Suppose n - 6 = -n. Solve n = -3*h + 6 for h.
1
Let k = -17 - -25. Let j(f) = -f**2 + 10*f - 7. Let z be j(9). Solve 0 = -2*y - k - z for y.
-5
Let n(j) = -4*j + 12. Let y be n(-1). Solve 4*c = -0*c - y for c.
-4
Let u(g) = g**3 - 8*g**2 + 6*g + 8. Let d be u(7). Suppose 4*m = 2*m. Suppose m = 2*y + d - 5. Solve 5 = -y*o - 1 for o.
-3
Let k be (-1*9)/(-3 - -2). Let z be 3*(-6)/k + 4. Let h = 0 - -2. Solve -z*l = h*l for l.
0
Let r(n) = -7*n - 19. Let f be r(-4). Solve 0 = 4*u + 3 + f for u.
-3
Suppose -3*s = -4*s + 2. Suppose s*r - 16 = -2*r. Solve -o = -5*o - r for o.
-1
Let b = 15 - 12. Solve 1 + b = -p for p.
-4
Let m(q) be the third derivative of q**6/144 - q**4/24 + 2*q**2. Let x(f) be the second derivative of m(f). Let h be x(4). Solve 3*k - h = -k for k.
5
Suppose 4*r = 12 - 4. Let s be (-3)/((-9)/(-3))*r. Let h be (5 - -5)/(s/(-4)). Solve -7*n = -2*n - h for n.
4
Let k be 44/6 - (-6)/9. Solve 0 = 4*j - k for j.
2
Let j(x) = 10*x + x**2 + 0*x**2 - 2*x - 6. Let l be j(-9). Suppose 8 = 6*o - o - l*t, -5*o + t + 6 = 0. Solve -2*s - o = -5 for s.
2
Let r be (-1)/(1/11) + 1. Let v = r - -14. Solve 2 + v = -3*c for c.
-2
Let w be 38/(-9) + (-6)/(-27). Let y = w + 8. Suppose 0 = -6*q + q + 20. Solve y = q*z - 0*z for z.
1
Let w(l) = l**3 - l**2 - l + 1. Let q be w(1). Suppose c + c = q. Let a = 115 + -113. Solve c*m + m = -a for m.
-2
Suppose 2*y = 57 - 13. Let p = y + -22. Solve p = 2*z - 4 - 4 for z.
4
Suppose -2*f + 14 = 5*k, 3*k - 2 = -3*f + 10. Suppose -3*c + 19 = 2*q, -q - 19 = -5*c + k*q. Solve -c*s = -s + 4 for s.
-1
Let n = 15 + -9. Suppose -4*p - 3*f + 2*f + n = 0, -f - 12 = -5*p. Let j be p/(6/9) + 1. Solve j*a - 23 + 7 = 0 for a.
4
Let p be (13 - 0/4) + 2. Solve 2*v + v = -p for v.
-5
Suppose 3*d + 22 = 4*f - 0*d, -4*f - 2*d + 12 = 0. Suppose f*w - 4 = 4*o, -5*w + 31 + 2 = 2*o. Solve -2*x + 6*x = -o for x.
-1
Let l be 4/(-22) + 385/121. Solve 2 - l = -a for a.
1
Let t(z) be the third derivative of -z**4/24 - z**2. Suppose -1 = -w - 3. Let v be t(w). Solve -v*c + 5 = 3 for c.
1
Let r be (-15)/(-4) - (-2)/8. Suppose 3*d - 10 = 5. Suppose -r*p + d = -3*p. Solve -p*x + 8 = -3*x for x.
4
Let u(a) = a + 11. Let t be u(-5). Suppose 0 = -t*n + n + 20. Solve -8*j + 4 = -n*j for j.
1
Suppose -3*s - 25 = -4*s. Suppose -5*t = -25 - s. Suppose -d + 10 = -4*v - 4, d + t = -4*v. Solve m - d*m = -4 for m.
4
S