 Solve 0*d + h*d = 0 for d.
0
Suppose -u = -k - 24, -2*u + k + 44 = -0*k. Suppose -u = -5*t - 0. Let o = t + 5. Solve -3*b - 3 = o for b.
-4
Let k(j) = j**3 - 10*j**2 - 9*j - 15. Let u be k(11). Suppose -p - u = -9. Solve 0 = -p*z + z - 2 for z.
-2
Let t = -8 - -8. Solve t = 3*x - 12 for x.
4
Let z = 1 + -1. Suppose -4*s + 20 + 4 = z. Let a be 20/s - (-4)/(-12). Solve a = 2*u + u for u.
1
Let v = -20 + 22. Solve -c = c - v for c.
1
Let z = 13 + -6. Suppose 3*s - 2*i - z = 2*i, s - 3*i = -6. Solve 3*g = s + 6 for g.
5
Suppose h - 10 = -0*h. Let p = h + -6. Solve -w - p*w = -25 for w.
5
Suppose -l + k + 5 + 1 = 0, -4*k = -2*l + 18. Let y(o) = 2*o**2 - 4*o + 1. Let b be y(l). Solve b = -3*n + 1 for n.
-2
Suppose -2*q + 12 = g - 0*q, -5*q = -25. Suppose -2*h - 4 = -x, 0*h + 4 = x + 3*h. Solve -x*p - g = 2 for p.
-1
Suppose 3*h - 7 - 38 = 0. Solve -2*d = d + h for d.
-5
Let o be 9/(-2)*(-18)/9. Let l(h) = -h**2 + 9*h + 2. Let g be l(o). Solve 6*f = g*f for f.
0
Suppose -f - f = 24. Let o = -3 - f. Let w be (2/4)/(o/198). Solve -5*k = -14 - w for k.
5
Let l(d) = 5*d**2 - 4*d - 1. Let n be l(1). Solve n = -0*h - 2*h for h.
0
Suppose 0 = 6*p - p - 45. Suppose 2 = -x + p. Solve -16 = 3*c - x*c for c.
4
Let v(j) = 2*j**2 - 9*j + 2. Let y be v(5). Solve -y = 4*n + 9 for n.
-4
Suppose 8 = 4*b - 12. Solve 0 = b*u + 4 - 29 for u.
5
Let w = 1 - -2. Suppose 2*h + 4*r - 1 = w*r, 5*h - 10 = -4*r. Let s = 8 + h. Solve a + s = 3*a for a.
3
Let t be 253/23 + (-2)/2. Solve -3*h - 5 = t for h.
-5
Let h(l) = -l**3 + 6*l**2 + 2. Let m be h(6). Solve 25 = m*z + 3*z for z.
5
Suppose 0 = 5*l + 10*l. Solve -t + 1 = -l*t for t.
1
Let t(m) be the second derivative of 3*m + 0 + 1/6*m**3 - 2*m**2. Let q be t(7). Solve 2*x = q*x + 2 for x.
-2
Suppose 4*z - 3 = 5*g + 29, -5*z - 5 = 5*g. Let y(w) = w**2 - 4*w - 5. Let k be y(-3). Let r = 26 - k. Solve r = -z*h + h for h.
-5
Let m(p) = -p**3 - 9*p**2 - p - 3. Let a be m(-9). Solve -a*z = -z for z.
0
Suppose -2*w = 3*u - 7, 0 = -w + 2*u - 3*u + 3. Let r = -1 + 2. Let m be -4 + 3 - r*-1. Solve -t - w*t = m for t.
0
Suppose 3*u - 3*p - 6 = 0, 0 = -3*u - 0*p - 2*p + 16. Solve -u = 2*i + 2 for i.
-3
Suppose -u = -2 + 12. Let s = -8 - u. Solve s - 12 = 5*q for q.
-2
Let l(w) = -w**2 + w. Let b be l(-2). Let r(q) = -9 + 0 - q - q. Let j be r(b). Solve j*g + 3 - 15 = 0 for g.
4
Let w(s) = 2*s**2 - 26*s + 3. Let b be w(13). Solve 0 = -b*r + 2 + 1 for r.
1
Let p(u) be the second derivative of -3*u**5/20 - u**4/6 - u**3/3 - u**2/2 + 3*u. Let c be p(-1). Let z = 0 + c. Solve -z*w - 3*w - 10 = 0 for w.
-2
Let w = -19 - -23. Solve -v = -w*v + 3 for v.
1
Let q = 16 - 11. Suppose -4*u = 5*k - 44, -q*u + 35 = 4*k - 2*u. Solve 2*a + 2*a = -k for a.
-2
Let b be (-1081)/3 + (-8)/12. Let r = -509 - b. Let m be (-6)/(-30) + r/(-10). Solve -m + 3 = -3*k for k.
4
Suppose -5 = -r - 4. Suppose 5*d - 6 + r = 0. Solve 2 = -w + d for w.
-1
Suppose -u + 55 = 5*o - 0*u, 0 = -4*o + 5*u + 73. Let i be 1/(-6) + 146/o. Suppose 0 = 8*p - 4*p - i. Solve 0 = w - p - 1 for w.
4
Let t(w) = -w**2 - 27*w - 19. Let q be t(-26). Solve 2 = -3*a - q for a.
-3
Let x(a) = a**2 + 6*a + 2. Let n be x(-6). Let y be 0/(0/3 - n). Let l(w) = -w + 11. Let i be l(y). Solve -i = -3*u + 4 for u.
5
Suppose 0 = 4*r - 2*n - 18, 10*n + 15 = 5*n. Let y = -22 - -22. Solve y = -r*p - 3 + 6 for p.
1
Suppose r + 21 = 5*j, -4*r + 7*r = 2*j + 2. Solve -4 - 21 = j*a for a.
-5
Let p be (-1)/2 + 7/2. Let k(t) = -t + 0 - p - 5. Let i be k(-8). Solve n + 0*n - 3 = i for n.
3
Suppose -2*d + 3 = 1. Solve 4*v = -d - 7 for v.
-2
Let z = 107 - 100. Solve -3*w - z = -4 for w.
-1
Let i(t) = t**2. Let b be i(2). Suppose 2*q + 0*q = b. Let h(s) = 2*s - 2. Let z be h(q). Solve 1 - z = l for l.
-1
Suppose -2 = 2*r - 5*v + 4, -r - 4 = -3*v. Solve 8 = r*x - 0 for x.
4
Let q(z) = 2*z**2 - 2*z - 2. Let p be ((-2)/(-6))/((-3)/(-27)). Let y be q(p). Suppose -5*v + 37 + 13 = -5*o, 2*v = -3*o + y. Solve -v = 6*a - 4*a for a.
-4
Suppose -3*f = 4*r - r - 12, -16 = -5*f - 3*r. Solve -y = f*y - 6 for y.
2
Suppose 0 = 5*t - 16 - 9. Solve -t + 3 = b for b.
-2
Let x be (40/(-12) + 3)*0. Solve x*b - 4 = -2*b for b.
2
Let y be 5 - 4/2 - -1. Solve 2*z + y = -4 for z.
-4
Let i = -19 - -12. Let s = -3 - i. Suppose 0 = 5*k - 0*k. Solve s*c + k*c = 8 for c.
2
Let i = -82 + 87. Solve k = i*k for k.
0
Let c(a) = a**2 - a - 1. Let d(z) = 3*z**2 - 14*z - 13. Let y(g) = 4*c(g) - d(g). Let f be y(-9). Let i = 2 + f. Solve -i*o - 1 = 1 for o.
-1
Let q = 0 - -3. Let c be (-1)/5 + 130/25. Solve -4 = -q*j + c*j for j.
-2
Let u(g) = -g + 15. Let q be u(0). Let f(l) = l**3 + 6*l**2 + l + 6. Let k be f(-6). Let p = 0 + k. Solve 3*s - q = -p*s for s.
5
Suppose -7 = -6*x + 5. Solve -3 + 1 = -x*g for g.
1
Let k be (-78)/(-4) + 2/(-4). Suppose 2*w + 11 - 1 = 0. Let b = w + 9. Solve b*y = -k - 1 for y.
-5
Let s(n) = -n**3 - n**2 + 2*n + 3. Let u be s(0). Solve 7 = -4*l + u for l.
-1
Let j(y) = y**3 + 8*y**2 + 7*y + 4. Let h be j(-7). Let f be (-1)/((-21)/(-9) + -2). Let s(g) = -2*g + 3. Let c be s(f). Solve -c = h*t - 1 for t.
-2
Suppose -m + 0*m = -4. Let i(a) = 5 - 5*a - 2*a**2 - a**3 - 1 + 7*a**2 + 0*a**3. Let n be i(4). Solve -m*s - 17 + 5 = n for s.
-3
Let z(q) = -3*q**3 - q**2 - q - 1. Let v be z(-1). Suppose -2*t = v*t. Solve t = 4*i - 0*i + 12 for i.
-3
Suppose -5*x - 18 = -g, 5*g = -0*g + x - 6. Let y = 0 - g. Suppose 3 = 2*i - 3*j - 3, -j = y. Solve i = -q - 5 for q.
-5
Suppose -b + 10 = 2*w, -4*w = -2*w - b - 10. Suppose -w*y + 63 = -12. Solve -4*i + 9*i - y = 0 for i.
3
Let l(b) be the first derivative of b**4/4 + 2*b**3 + 3*b**2/2 - 7*b - 3. Let y be l(-5). Solve -y = -i - 0*i for i.
3
Let j be 2/(-5) - (-44)/10. Suppose -5*s + 3*r = 7, 0*r + 4 = r. Let g = 3 - s. Solve 0 = -g*u - 2*u - j for u.
-1
Let y(g) = 2*g**2 + 4*g + 1. Let u be y(-3). Let f = u - 5. Suppose f*l + 16 = 6*l. Solve -2*w = -l*w - 10 for w.
-5
Let t be 39/2*2/3. Let x = 21 - t. Suppose 10 = 5*a, 4*a - a = -2*n + 12. Solve -25 = n*i - x*i for i.
5
Let p be -1*(0 + 1 + -1). Suppose v + 17 = 3*u - 0, -5*u + 3*v + 35 = 0. Solve u*y + 4 + p = 0 for y.
-1
Let d = 6 - 3. Suppose -n = d*n. Let f be 6 + -2 + 6/(-2). Solve 2*g - 1 - f = n for g.
1
Suppose -b - 74 = -4*g, b + 10 = -4*b. Solve 5*y - g = 7 for y.
5
Suppose 0 = 4*a - 2*a - 2. Let r be (a - 6/3)*-3. Solve -3*p = -2*p + r for p.
-3
Let f = 23 + -18. Solve -f*h + 3*h = 6 for h.
-3
Let d = -26 - -28. Solve 0 = -d*m + 6*m - 8 for m.
2
Let d = -10 + 27. Let u = d + -7. Solve -3*q = 2*q - u for q.
2
Let f = -10 + 6. Let g be (0/(-4) + -1)*f. Solve -5*l = -g*l - 1 for l.
1
Suppose -6 = -5*o - n, -5*o + 0*n = 2*n - 7. Suppose f - o = -4*q, 0*q - q - 5 = -5*f. Solve 3*c - 10 = -f for c.
3
Let a be 0 + -1 - 6/(-2). Let v be (a - 1)/(1/2). Suppose -f - v*f = 0. Solve 8 = 2*q - f*q for q.
4
Let j(f) = -f + 1. Let t be j(8). Let a = 18 + -32. Let d be 2/t - 4/a. Solve -s + 6*s = d for s.
0
Let h = 22 + -22. Solve 5*s - s = h for s.
0
Let b = 26 + -42. Let f be ((-10)/8 + 0)*b. Solve 6*c - c + f = 0 for c.
-4
Let d be (1 + 0)/(2/(-178)). Let k = d - -37. Let v be k/(-12) - 2/6. Solve 0*o = -o - v for o.
-4
Suppose -2*a = -2 - 8. Let f = a - 2. Suppose -5*k - 2*m = -5*m - 21, -9 = -k + f*m. Solve 0 = 3*x - 0 - k for x.
1
Suppose 2*u - 1 = 2*n + 7, -5*n = 10. Solve -4 + u = -2*k for k.
1
Let o(t) = -t**3 + 7*t**2 - 11*t + 7. Let s be o(5). Solve s*w - 5*w = -12 for w.
4
Let t(s) = s + 1. Let l be t(1). Solve 0 = o - l + 3 for o.
-1
Suppose 3 = 4*h - 3*k, 5*h + k + k + 2 = 0. Solve 6*m - 3*m - 9 = h for m.
3
Let f(h) = 6*h**2 - 1. Let v be f(-1). Solve v*c = -0*c for c.
0
Let y = -7 - -10. Suppose 2*x - 16 = -o - y*o, 0 = 5*x. Suppose o*c - 70 = 2*l, 0 = -6*c + 2*c - 5*l + 105. Solve c = -4*r - r for r.
-4
Suppose -3*i = -5*i + 4*i. Let k be (-2 + -3)*3/(-5). Suppose k = -2*b + 27. Solve i = -4*t + b for t.
3
Let x(f) = f**3 - 5*f**2 + 6*f - 8. Let p be x(4). Solve s = -p - 5 for s.
-5
Let r be 2 + 1 + -2 - -1. Suppose r*d + 3*h = d + 15, 0 = 3*d + 5*h - 25. Solve 6 = -2*t - d for t.
-3
Let y be (-14)/(-18) - (-2)/9. Suppose -4*a - 14 = -3*b, -b - a = -3*a - 6. Solve k = b + y for k.
3
Suppose 4*l - 3*l - 3*g + 17 = 0, 0 = 4*l - 3*g + 23. Let s be -1 + -4 - l - -1. Let c be s/(-4) - 19/(-2). Solve -c = w + w for w.
-5
Suppose 0*j