d + 2*d, -a + 5*d - 15 = 0. Let t be (a/(1 + 1))/(-2). Solve n + n = t for n.
0
Let b(h) = h**3 - 2*h**2 - 2. Let g be b(3). Let q = g - 4. Solve -q*x + 5 - 2 = 0 for x.
1
Let m be (-2)/1*50/(-4). Let s(d) = d + 16. Let h be s(-12). Solve h*c = -c + m for c.
5
Suppose -5*g + 31 = -5*p + 1, -4*g = 4*p. Let f be 0/(-1) + (g - -23). Suppose -2*y = -5*n + 2*y + f, 2*n = 3*y + 16. Solve n + 0 = -s for s.
-2
Suppose -2*q + l = -0*q - 2, 0 = -5*l. Solve 2 - q = c for c.
1
Let x = 497 + -492. Suppose -2*y + 0 + 6 = 0. Solve 10 = -x*u + y*u for u.
-5
Suppose 8 = -4*d + 4*g, d + 2*d - g + 2 = 0. Let h be -2 + (0 - -3) + -1. Solve d = 5*l - h*l for l.
0
Suppose 2*l + 0*l + 3*s - 6 = 0, -5*l = s - 15. Let o(n) = -n**3 + 3*n**2 + 2*n - 4. Let a be o(l). Solve -a*i + 1 = -i for i.
1
Suppose -3*y + 21 = -4*f, y = -5*f - 13 + 1. Suppose -y*p + 3 + 12 = 0. Let w = 38 - 38. Solve -2*r - 15 + p = w for r.
-5
Suppose -3*o - 3 = -4*a, -9 = -5*o - 4*a + 18. Let s(x) = -x**2 + 3*x. Let w be s(o). Solve w*f + 5 = f for f.
5
Suppose 5*o + 4*r - 22 - 1 = 0, 26 = 5*o + 3*r. Suppose -22 = -5*j - o. Let f(z) = -z + 3. Let v be f(3). Solve 0*d - j*d + 12 = v for d.
4
Let x be ((-7)/(-2))/(4/8). Let k = x + -5. Solve k*f - 3 - 5 = 0 for f.
4
Let l be (-11)/11 + (-1 - -6). Suppose -l*w + 0 + 12 = 0. Solve -1 = w*y + 2 for y.
-1
Let x = 21 - 19. Suppose -5*z + 14 = 4. Solve -x*f = -f + z for f.
-2
Suppose -2*q + 3*q + 6 = 2*n, 20 = 4*q + 3*n. Solve p = -q*p + 15 for p.
5
Let q(f) = -f**3 - 3*f**2 + 7*f - 1. Let w be q(-5). Suppose -5*t = b - w, 4*t + 2*b + 2*b - 24 = 0. Let k be (t/(-3))/((-4)/66). Solve 4 + k = 3*s for s.
5
Let p be 2*11 + -5 + 4. Let w = p + -9. Solve -w = -0*s - 4*s for s.
3
Let g = 1 + 4. Suppose 0 = c - g, 5*c = -4*m + c + 36. Let f be (-1)/m + (-52)/(-16). Solve -12 = q + f*q for q.
-3
Suppose -g + 6 = 2*g. Let r be 0 + g + -2 - -1. Suppose -2*j - z = r, -8 = 5*j + 4*z - 1. Solve -j - 7 = -2*c for c.
4
Let i = -4 - -8. Let b be (1 - 10)*i/(-6). Suppose 2*z + c - 14 = 0, 0 = 5*z + 3*c - 41 + 5. Solve -z - b = 3*l for l.
-4
Let h(v) = 3*v**3 - v + 1. Let q be h(1). Solve 2 + q = -t for t.
-5
Let s(z) = 4*z - 14. Let i be s(5). Solve 2*n = i*n for n.
0
Suppose -4*w - 5*r + 20 = -7*r, 5*w = 3*r + 27. Solve 4*i = 5*i - w for i.
3
Suppose -3*g + 3 = -6, 3*t = -g + 15. Let b be t*(-3)/3*-1. Solve 0*f = -b*f for f.
0
Suppose g + 6 = -a, -4*a - g - 19 = 2*g. Let c be (-4)/((-1 - a) + -2). Let n = c + 1. Solve 0 = -n*i + 2*i for i.
0
Let a be (10 + -2)*10/4. Let l be (0 - 0)/(2*-1). Solve -a + l = 4*z for z.
-5
Let o(m) = 2*m - 19. Let n be o(10). Suppose -4*y + 67 = -53. Suppose 2*b = -4*v + y, 2*b = 5*v + 1 + 2. Solve -n = -2*z + b for z.
5
Suppose -2*x = x. Let n = 1 - -1. Suppose x = -n*f + f + 3. Solve 5*j = f*j for j.
0
Let j be 24 - (0 - 1) - (0 - 0). Solve -3*w - j = 2*w for w.
-5
Let c(v) = v**3 + 4*v**2 - 8*v + 2. Let s be c(-6). Suppose n - 3*h + 52 = 3*n, 0 = 3*n - 2*h - 104. Let z = n + s. Solve a - z = -a for a.
5
Let l = 337 - 335. Let j = 1 + 1. Solve j + 2 = l*u for u.
2
Let x(b) be the third derivative of b**7/5040 - b**6/240 + b**5/15 - b**2. Let z(j) be the third derivative of x(j). Let o be z(7). Solve o*g = -0*g + 20 for g.
5
Let l = 19 + -17. Suppose l + 2 = y. Solve -y = -3*m - m for m.
1
Let p = 0 + 6. Suppose 2*g = -3*g + 20. Suppose -2*k - 24 = -3*z + 3*k, 0 = -z - g*k - 9. Solve -z*f + p*f = 3 for f.
1
Suppose -1 = -4*z - 3*d, -3*z + 2*d - 4*d = 0. Let w be (6 + -3)/(-1 - z). Solve -2*v - w*v = 20 for v.
-4
Let r(n) be the third derivative of n**4/2 + n**3/6 - 5*n**2. Let g be r(2). Solve -2*s - g = -7*s for s.
5
Let d = 6 - 3. Let r be d - (2/(-1) + 1). Let q(c) = -c**3 - 6*c**2 + 5*c - 9. Let x be q(-7). Solve 3*b - r - x = 0 for b.
3
Let d = 140 - 134. Solve 2*y = -0 - d for y.
-3
Let p = -43 - -45. Solve 3*r - p*r - 5 = 0 for r.
5
Let v(o) = o**2 - 2*o + 4. Let q be v(2). Solve 0 = -2*m + 14 - q for m.
5
Suppose -2*d = 3*d - 10. Let w(m) = 3*m - 7. Let a(p) = 2*p - 4. Let i(k) = 5*a(k) - 3*w(k). Let f be i(5). Solve f = -4*x - d for x.
-2
Let y(z) = -3*z + 1. Let g be y(-1). Solve -g*h + 5*h = -5 for h.
-5
Let p = -7 + 13. Suppose -p + 1 = -5*i. Solve 0 = 5*t + 6 - i for t.
-1
Let p be 0/((-171)/76 - 1/(-4)). Let b(d) = -d**2 + 7*d + 1. Let n be b(7). Let g be 1*(2 - 0) - n. Solve p = 4*a - g - 3 for a.
1
Suppose -i + 7 = 6*i. Suppose -3*n = -3*l + 12, l + 4*n = -l - 4. Solve -l*t + 1 = -i for t.
1
Let v(u) = u**2 - u - 8. Let t be v(4). Solve 0 = t*k + 2 - 6 for k.
1
Suppose -2*p = -0*p - 4*x - 32, -49 = -4*p + 3*x. Let c be (p/8)/(4/16). Solve c*q + 5 = -0 for q.
-1
Let l(n) = -n**3 - 10*n**2 - 7*n + 10. Let s be l(-9). Let b = -1 - s. Suppose 3*y - y = 0. Solve -2*j - 3 - b = y for j.
-5
Let r(i) be the first derivative of -5*i**4/2 - i**2 - i - 6. Let g be r(-1). Solve 4*w + 5 = -g for w.
-4
Let q(n) = -n - 3. Let o be q(-4). Suppose -3*k + o = -2. Let c = k + -1. Solve 2*t = -c*t for t.
0
Suppose -2*b + 140 = -0*b. Let k be 18/14 - 20/b. Solve 2*i = 7 + k for i.
4
Suppose 327 = -5*u + 57. Let a be (-40)/(-18) + 12/u. Solve -d + a = -2*d for d.
-2
Let k = -17 + 16. Let f = 2 - k. Solve 2*j - f*j + 4 = 0 for j.
4
Let x = 1 - -1. Let o be 35/3 + x/6. Suppose 0 = -4*r - 0 + o. Solve -5 = 4*u + r for u.
-2
Let t = 16 + -18. Suppose 2*i = -0*s - s + 9, s - 3*i = 4. Let y = t + s. Solve 2 = y*a - 3*a for a.
1
Suppose -7 = m - 1. Let j(b) = b**2 + b. Let r(u) = -5*u**2 + u - 1. Let i(c) = m*j(c) - r(c). Let g be i(-6). Solve g*s - 3*s = 0 for s.
0
Let p(d) = -d + 2. Let a(r) = -r + 1. Let n(t) = -7*a(t) + 4*p(t). Let m be n(1). Suppose 2*j - 2*q = m, -4*j = -0*j - 5*q - 5. Solve -10 = j*b + 10 for b.
-4
Suppose 6*d - d - 10 = 0. Solve d*n - 15 = -n for n.
5
Let a(o) = -o**3 - 6*o**2 - 6*o - 5. Let d be a(-5). Solve d = -0*l + l + 4 for l.
-4
Let q(n) = n. Let w = 8 + -5. Suppose f + w*p + 1 = 6, -5*f - p + 39 = 0. Let l be q(f). Solve -l = 2*v - 0*v for v.
-4
Suppose 4*j = -5*n + 77, -2*n + 40 = -0*j - 3*j. Solve 4*g - n = -5 for g.
3
Suppose 2*i + 6 = 5*y, -5*y = -i - 2 - 1. Solve -25 = -y*z + 5*z for z.
-5
Let r(z) be the second derivative of z**4/12 + z**3/2 + z**2/2 + 5*z. Suppose 8 = 2*w - 4*w. Let c be r(w). Solve -2*u + u = c for u.
-5
Let n(d) = d**2 - 3*d - 2. Let v(j) = j**3 + 9*j**2 - 10*j + 4. Suppose -50 = 7*m - 2*m. Let t be v(m). Let z be n(t). Solve -z*k + k + 2 = 0 for k.
2
Let c be ((-1)/3)/((-2)/6). Let a = -1 + c. Suppose a = -4*h + 4. Solve 0 = -0*u - u - h for u.
-1
Suppose 4*o - 18 = o + 3*d, 3*o - d - 26 = 0. Solve 2*f - o = -2 for f.
4
Let u(v) = 3*v + 4. Let j be u(-3). Let a = -3 - j. Solve 10 = -7*w + a*w for w.
-2
Let d(r) = r - 5. Let q be d(10). Solve j = q - 3 for j.
2
Let n(a) = -a + 4. Let i be n(2). Let t(d) = 3*d + 3*d**2 - i*d - 4*d**2. Let q be t(1). Solve q*y = -y for y.
0
Let i be 25/10 + (-1)/(-2). Let o = -9 - -10. Solve -i = -s + o for s.
4
Let t(o) = o - 5. Suppose 21*n - 17*n = 24. Let i be t(n). Solve 0 = b + i + 2 for b.
-3
Let v = 74 - 72. Solve -s + 3 = -v*s for s.
-3
Let q = -5 - -7. Suppose -2*n = q*z - 0*n - 20, 5*z = 3*n + 26. Suppose -4*o - 3 = w, o - z = -3*w + 5*o. Solve p + w = 5 for p.
4
Suppose -6 = -q - 0. Suppose -5*f + 62 = -3*b, -2*f - 3 + 27 = -b. Suppose 4*h = 3*g + 35, 12 + f = 3*h + 2*g. Solve q*u - h = 2*u for u.
2
Suppose x - 3*k + 9 = 4*x, -5*x + 23 = 3*k. Suppose -6*t + 3*t = -6. Solve -x + t = o for o.
-5
Let o(g) = -g**2 - 7*g + 4. Let u = -10 + 14. Suppose -u*n = -0*n + 28. Let s be o(n). Solve s*p = 3*p - 3 for p.
-3
Suppose 4*x = -1 + 5. Let h(v) = 3*v + 1. Let j be h(x). Suppose 0*f + 2*f - 8 = 0. Solve f*t = 2*t - j for t.
-2
Suppose 4*g + 60 = -4*d, 2*g + 2*d = 5*d - 20. Let h = -7 - g. Let w = h + -5. Solve -w - 3 = 4*r for r.
-1
Let y = -5 - -7. Suppose r - 1 = -y. Let g be 2*(r + 2) - -2. Solve -x = g - 2 for x.
-2
Suppose 10 = -3*i + 7. Let g be 1*i + (7 - 5). Solve g = 2*a - 7 for a.
4
Let p = 1 - 1. Suppose 4*v = -p*v + 20. Solve 0 = -v*n - 0*n for n.
0
Let t(i) = 2*i - 8. Let h be t(6). Suppose -8*f = -h*f. Suppose f = -2*j - 0*j. Solve -2*y + 3*y + 2 = j for y.
-2
Suppose -2*i + 12 = -i. Let c = i + -12. Solve c = -2*j + 12 - 2 for j.
5
Suppose 0*s - 4*s + 24 = 0. Suppose -2*z - b - s = 2*b, 0 = 4*b + 8. Solve z = u - 2*u - 3 for u.
-3
Suppose 