s + x = 0 for s.
4
Let d(n) = -n**3 - 5*n**2 - 5*n - 1. Let h be d(-4). Suppose -2 - 4 = -h*f. Solve f*m = -3*m for m.
0
Let c(y) = y + 3. Let x be c(-4). Let k(a) = 5*a**2 + a. Let i be k(x). Suppose -m - m + 12 = i*r, 2*r - 6 = 0. Solve -v - 1 = -m for v.
-1
Suppose 23*k = 10*k + 26. Let h = -2 - -3. Solve -h = k*f + 1 for f.
-1
Suppose -w + 9 = 4*c - 7, 0 = 3*c + w - 11. Solve 0*o - c*o = 25 for o.
-5
Suppose 2*u - 6*u = -8. Solve u*t = t for t.
0
Suppose 4*q + 8 = -4*u, -u + 0*q - 17 = -4*q. Let b = u + 5. Solve -2*r - 3*r = b for r.
0
Let y(w) = -w**2 - 4*w - 1. Let n be y(-5). Let u(r) = -r - 5. Let x be u(n). Let d be x*6/(-3) + 3. Solve -7 + d = 2*b for b.
-3
Suppose 3*l = 5 + 7. Suppose -l*p + 8 = -3*p. Solve -2*h + 0 = -p for h.
4
Let m be 5 - (4/8*2)/1. Suppose -2*a = -5*s - 0*a + 117, -29 = -s - a. Suppose -3*v - 4 = -0*v + 2*q, 0 = 5*q + s. Solve v*f + m = 2 for f.
-1
Suppose 3*o + 15 = 2*z, -2*o + z - 9 = 1. Let m = o - -14. Solve r + 2*r = m for r.
3
Let u = 17 - 17. Solve u = -o + 2*o - 4 for o.
4
Let p(q) = q**2 + 4*q - 6. Let c be p(-5). Let t be c/(-3) + (-8)/(-3). Solve -6 = -t*h + 9 for h.
5
Let q be (-2)/(-4) + 34/(-4). Let b be (-1)/(-2 + (-14)/q). Suppose -4*o + 15 = 5*t, -6 = 4*o + 4*t - 22. Solve b*j - o = 3 for j.
2
Let n be 174/(-12)*(2 - 0). Let y be (n/2)/(2/(-4)). Suppose 4*f + r = 2*f + y, 2*r = 5*f - 50. Solve 2*k = -k + f for k.
4
Suppose 9*g = g. Solve 0 = -g*f - 2*f - 4 for f.
-2
Suppose -l - o = l + 1, -3*l + 5*o + 31 = 0. Solve -3*q + 2*q = -l for q.
2
Let j = -101 - -104. Solve 0*l = j*l + 15 for l.
-5
Let y = -41 + 61. Suppose 6*m = m + 30. Solve -y = -m*f + f for f.
4
Let k(u) = 3*u - 16. Let h be k(8). Solve -h*s + 4*s = 16 for s.
-4
Let r(m) = -m**3 + 4*m**2 - 4*m. Let c be r(3). Let l(w) = -w**3 - 4*w**2 + 5*w + 5. Let g be l(-5). Let j = c + g. Solve -j*b - 5 + 11 = 0 for b.
3
Let c(m) = m**3 - m**2 - 3*m + 6. Let o be c(3). Suppose -8 = -3*t + 2*u, -2*t - 5*u = -0*t + 1. Suppose -t*l + 6 = -0*l. Solve o + 0 = l*i for i.
5
Let d be 4 - -6*1/(-3). Solve d*u = 3*u for u.
0
Let b = 28 + -28. Solve 5*o - o = b for o.
0
Suppose 2*i = 5 + 3. Suppose -3*s + i*m = -8, 0 = -2*s + 4*m + 1 + 3. Let k = 46 - 31. Solve 0 = -9*t + s*t - k for t.
-3
Suppose -3*b = 3*y + 9, -2*y + 4 + 0 = -3*b. Let c be -1*(y - -2) - -1. Solve c = s - 0*s - 1 for s.
1
Let f be ((-21)/(-14))/(6/20). Solve -f = 2*x + 3 for x.
-4
Suppose 13 - 8 = m. Solve -m*b + b = -12 for b.
3
Suppose 0 = 6*t + t. Solve t = -3*q + 2 + 1 for q.
1
Suppose -2*h = -3*c + 3 + 12, 5*c = 2*h + 25. Let m(o) = -o**2 + 5*o + 2. Let a be m(c). Suppose 5*y = 32 - a. Solve -5*z = -y - 4 for z.
2
Suppose 0 = 3*d - 10 - 2. Solve 4*h + d = 3*h for h.
-4
Suppose 0 = -3*q + 4*q - 3. Suppose s + 5*h - 22 = 0, -3*s - q*h = -7*h + 29. Let k be (s/(-2))/(6/56). Solve 4*d + k - 34 = 0 for d.
5
Let z(s) = -s**2 + 6*s - 4. Let a be z(4). Suppose 2*v - 20 = -a*t, 0*t = -3*v - t + 25. Solve -5*p + v = -7 for p.
3
Suppose -5*v + 25 = -2*h, 2*v - 20 = -2*v + 3*h. Let y = v - 1. Suppose -8 = 2*k - y*k. Solve -2*s = -0*s + k for s.
-2
Let t(m) = -m + 3. Let v(c) = -2*c + 5. Let j(s) = 5*t(s) - 2*v(s). Let x be j(0). Suppose -x*q - o = -4, -3*o - 7 = q - 5*q. Solve 0*k = -k - q for k.
-1
Let r(j) = 2*j. Let y = 7 + -4. Let f be r(y). Solve i = f*i for i.
0
Let m = 2 - -4. Solve -4*y = 10 + m for y.
-4
Suppose -16 = -4*x - 0*x - f, 20 = 5*f. Suppose -20 = -4*r + 8. Solve -x*u + r = -5 for u.
4
Suppose -242 = -3*u + 103. Suppose -3*k + 2 = -u. Let w be k/15 - (-4)/10. Solve -4*x - 9 = w for x.
-3
Suppose 0 = -2*y - 0*y + 96. Suppose -3*k = 2*f - 3*f, -y = -5*f + 3*k. Solve -j + 5*j = f for j.
3
Let a be (8/10)/(1/5). Let v be a/(-18) + (-4)/(-18). Solve 3*q - 3 = -v*q for q.
1
Let r be (-1)/(-3)*(-1 + 25). Suppose 0 = u + 2*t + r, -u - u + 14 = -2*t. Solve -2 = u*b + 2 for b.
-2
Suppose 0*c - 5 = -c. Suppose -c*g = -0*g. Suppose -5*p = -0*p - 2*t - 35, -4*t = -3*p + 21. Solve -2*z - p - 1 = g for z.
-4
Let t = -10 - -13. Suppose -4*j - j + 79 = -t*h, -3*j = h - 53. Solve j = -3*p + 2 for p.
-5
Suppose 9*u - 12 = 5*u. Solve p + 6 - u = 0 for p.
-3
Suppose 3*b = -2*b + 75. Let h be 13/5 - (-6)/b. Suppose h*l = 2*l + 2. Solve 1 = -y + l for y.
1
Suppose -u = -2*p - 17, -3*u + 45 = 2*u - 2*p. Solve -2*z + u*z - 5 = 0 for z.
1
Let o(g) = -g**3 - 5*g**2 + 5*g + 7. Let i be o(-5). Let q = 20 + i. Suppose 0 = -0*n - n + 4. Solve -n*f - q = -14 for f.
3
Let a be 192/(-18) + 4/6. Let z = a + 10. Solve -9 = -3*m - z for m.
3
Let a(m) be the third derivative of -m**4/6 - m**2. Let h(v) = -v + 1. Let w be h(4). Let r be a(w). Solve r + 4 = 4*i for i.
4
Suppose 0*p = -0*p + 3*p. Solve d = -p*d + 1 for d.
1
Let i(x) = 9*x**2 + 1. Let f be (-2)/4 + 2/(-4). Let u be i(f). Let k be ((-4)/u)/(2/(-20)). Solve -11 = k*d + 5 for d.
-4
Suppose -5*y - 2*a + 4*a - 32 = 0, -3*y - 17 = a. Let n = -2 - y. Suppose 6 = -n*i + 18. Solve b + i = -0*b for b.
-3
Let a(u) = u - 8. Let j be a(8). Suppose -5*q - 2 = 4*n - 3, -2*n = -2*q - 14. Solve j*r = n*r for r.
0
Suppose -5*k + 7 = -3. Let l(q) be the third derivative of -q**6/120 + q**5/15 - q**4/8 + 2*q**3/3 - 2*q**2. Let j be l(3). Solve 2*u + j = -k for u.
-3
Let j = -12 + 20. Let g be (-4)/j*-2 + -1. Solve g*f + 4 = -f for f.
-4
Let z(n) = n**3 - 2*n**2 - 4*n - 1. Let y be z(4). Let h(b) = -2*b - 2. Let d be h(-3). Let p = d - 2. Solve 3*m + y = -p*m for m.
-3
Let t(c) = c**3 + 4*c**2 - 5*c. Let k be t(-5). Solve -2*z = -k*z + 4 for z.
-2
Suppose 0 = -2*b, l + 2 = b + 14. Suppose 0 = -4*k + k + l. Solve 3*z - k*z = 1 for z.
-1
Suppose -z = z + 12. Let v = z + 11. Let c = 7 - v. Solve 3*l = -c*l + 20 for l.
4
Let f = -50 - -52. Solve c + 4 = f for c.
-2
Suppose 27 = x + 4*t, 3*x - 5*t - 11 - 2 = 0. Let h = x - 8. Suppose -h*j + 32 = j. Solve a + j = -a for a.
-4
Let k be (4/(-6))/((-6)/(-9)). Let w be (k/(-3))/(2/18). Solve -4 = -4*z + w*z for z.
4
Let p be 15*((-13)/5 + 3). Let t be 9*4/(-18)*-3. Let w = t - p. Solve w*j + 2*j = 0 for j.
0
Let y(q) = -q**2 + 4*q + 7. Let w be y(6). Let t = w - -5. Solve -l = -t - 4 for l.
4
Suppose -2*j = 10 - 16. Solve 0 = j*x + 3 - 12 for x.
3
Suppose -3*i + 3*j = 2 + 13, -3*j + 15 = -4*i. Suppose 2*h = 4*m, m + h - 6 = -i*m. Solve m = -3*f + 17 for f.
5
Let b = -2 + 5. Solve -d - 12 = b*d for d.
-3
Suppose -6*s + 40 = -56. Let u(j) = j**3 + 5*j**2 - 8*j - 7. Let p be u(-6). Let m be (-66)/(-15) + (-2)/p. Solve -m - s = -4*y for y.
5
Let z(d) = d**3 + 4*d**2 - 9*d - 15. Let n be z(-5). Solve -36 = n*q - 11 for q.
-5
Suppose 2*c = p + 4 - 25, -5*c - 52 = -3*p. Let y(b) = -b - 7. Let i be y(c). Solve 16 = -0*t - i*t for t.
-4
Let t(u) = u + 10. Let w be t(-8). Let n be ((-150)/4)/(-5)*8/12. Solve w*p + n = -1 for p.
-3
Let f be ((-3)/(-2))/(5/20). Let j be (4/f - 1)*-9. Suppose -6*k + j*k = -3*t, 0 = k - 4*t + 3. Solve k = 5*g - 19 for g.
4
Let s(p) = -4 + 1 - 2 + p. Let h be s(7). Suppose -5*n - q - 3*q - 16 = 0, 4*n = 5*q + 20. Solve j + 2 + h = n for j.
-4
Suppose y = 2*r + 3, 3*y + 5*r = r + 19. Let k be ((-8)/(-10))/((-2)/(-5)). Solve 0 = -7*x + k*x + y for x.
1
Let d(o) = 2*o**2 + 3*o + 1. Let k be d(-2). Suppose -15 = -5*w + l - 2*l, l = 2*w - 6. Solve w*x + 0 = -k for x.
-1
Let y(z) = z**2 - 2*z - 3. Suppose 5*t = -10, 4*v - 4*t = 1 + 27. Let f be y(v). Solve -3*p = -0*p - f for p.
4
Let h = 19 - -1. Solve -4*a = a + h for a.
-4
Suppose 0*p - 2*p - 2 = -5*o, 4*p + o + 4 = 0. Let w = -1 - p. Suppose -h + 4*h = w. Solve -s = -h*s + 5 for s.
-5
Let n(l) = 3*l**2 - 16 + 16 + l. Let b be n(-1). Solve b*r = -0*r + 10 for r.
5
Let h(q) = -q**2 - 10*q - 20. Let s be h(-6). Solve 7*t - s*t = 0 for t.
0
Let a(z) = z**2 - 2*z + 4. Let s be a(3). Suppose -4*v - 2*j + 2 = 0, 5*v - v - s = -3*j. Let q be (30/4)/(v/(-4)). Solve -4*n = n - q for n.
3
Let p be (-1)/(-2) + 1/(-2). Suppose -7 = -0*y + 4*y + 3*g, 3*y - g = 11. Solve -y*q = -6 - p for q.
3
Let j(b) be the second derivative of b**4/12 - b**3 - 5*b**2/2 - 3*b. Let t be j(7). Solve t*z - 3 = z for z.
3
Let x(k) = -k**2 - 9*k - 14. Let l be x(-5). Solve -l*c = -4*c for c.
0
Let v be (-6)/6*(-1 - 10). Let h = 1 + v. Suppose 0 = 3*c - h, -c = -0*p + 2*p - 4. Solve -t + p - 2 = 0 for t.
-2
Let z be 4/14 + 96/56. Solve -3*o = -2*o - z for o.
2
Suppose 0 = 6*w - 2*w + 5*q - 19