+ 0. Solve 0 = -x*n + z*n for n.
0
Suppose -v = 2*f + v - 8, 3*f - v = -4. Let l be f - 1/(2/(-4)). Solve l + 2 = t for t.
4
Let o be (0 + 0)/(-1*2). Suppose 0 = 4*n + 12, 5*w - 2*n - 10 - 11 = 0. Let d be ((-9)/4 + w)*4. Solve o = d*p + 2*p for p.
0
Let c be 16/24*6/4. Suppose -4*s + 9 = c. Solve -s*d - 25 = 3*d for d.
-5
Let x = 2 + -1. Solve 4 = -3*l + x for l.
-1
Let z be 4/4*(-2 - -4). Solve a - 6 + z = 0 for a.
4
Let r be (-1)/(-4) + (-3)/12. Let q = r + 4. Suppose q*x - 1 = 11. Solve 2*d = d - x for d.
-3
Suppose 0*r - 6 = 2*r. Let v be 9/r - 8/(-1). Solve -v*b + 17 = -3 for b.
4
Let m be ((-2)/(-2))/((-2)/(-6)). Suppose -m*r = -8*r - 5. Let b(v) = -4*v + 1. Let q be b(r). Solve q*s = 15 - 5 for s.
2
Let a(d) = -d**3 + 13*d**2 + 2. Let i be a(13). Suppose 0 = -s - 0 + i. Solve 6 = -s*m + 4 for m.
-1
Suppose 4*i = -12*i - 14*i. Let p(b) = -b**2 - 3*b + 4. Let c be p(-4). Suppose -v + 5 = -5*j - 21, c = -2*v - 2*j - 8. Solve i = -o + v + 4 for o.
5
Suppose -5*k = 2*o + o - 9, -3*k + o + 11 = 0. Suppose 4*s = s + 6. Suppose -k*w = -s*w. Solve w + 12 = -4*m for m.
-3
Suppose i = -3*i + 40. Let l = -8 + i. Solve -z + 5 = -l*z for z.
-5
Let v be (2 - 1) + -1 + 1. Let t be v/(-4) + (-72)/(-32). Solve -4 = 2*z + t for z.
-3
Suppose 5 + 7 = 3*o. Solve -f + o = -0*f for f.
4
Suppose 3*x + 11 = 5*o, 5*x - 11 = o - 0. Suppose z + z = o. Solve z = -2*t - 2 for t.
-2
Suppose -39 = -5*w + p - 9, -5 = -2*w - p. Let s = 3 + -1. Solve -w*f = -s*f + 6 for f.
-2
Suppose 4 = -0*u + 2*u - 2*o, -5*o = -u - 6. Suppose 4*v - u = 40. Suppose -5*f - 2 = 4*h - 3*f, 4*h = -5*f - v. Solve -h = l - 3 for l.
2
Let l = 1 + 11. Solve l = f + 2*f for f.
4
Let l(i) = 7*i + 2. Let x be l(-1). Let q(t) = -t**3 - 5*t**2 - t - 7. Let c be q(-5). Let b be (-10)/c + x + 4. Solve 0 = b*g - 3*g for g.
0
Let j be 0 - 2/(1 + -2). Let v = -5 + 6. Solve j*y - v + 5 = 0 for y.
-2
Let f(y) = -17*y + 3 + 19*y - 1. Let d be f(4). Solve p - d = -p for p.
5
Suppose -5*x = -2*j + 2 + 33, 0 = -4*j - 2*x + 10. Solve j*l + 9 = -6 for l.
-3
Let b(l) = -l + 9. Let g be b(9). Let o(r) = -r + 2 + 2 + 1. Let m be o(4). Solve 0 = -q - g*q - m for q.
-1
Let z(w) = w + 6. Let u be z(-4). Solve 0 = u*p - 8 - 0 for p.
4
Let p(c) = 5*c + 6. Let v be p(-4). Suppose 6*m - 3*m + 60 = 0. Let a = v - m. Solve x = a*x for x.
0
Suppose 3*p - 16 = 14. Solve -4*w = -2*w + p for w.
-5
Suppose -2*c = 2*v - 2, 4*c + v = 4*v + 11. Solve -j = c*j + 9 for j.
-3
Let i = 16 + -37. Let n = i + 32. Let r = -8 + n. Solve 5 = r*q + 2*q for q.
1
Suppose -2*o + 17 = -2*j - o, 0 = -3*j + 4*o - 23. Let n = 5 + j. Let q be ((-2)/4)/(1/n). Solve 0 = -z + q*z + 3 for z.
-3
Suppose 32*l - 14 = 31*l. Solve -l - 6 = -5*m for m.
4
Let t = -9 - -7. Let p = 2 - t. Solve -1 = p*f - 13 for f.
3
Suppose -1 = -i + 3. Solve -5*b + 5 = -i*b for b.
5
Let l be 9 + (-8)/(-4) - 3. Let k be (-1 + 12/l)*0. Solve 0*j - 4*j + 12 = k for j.
3
Let g(m) = -3 + 2*m + 4*m - 2*m + m**2. Let a be g(-5). Suppose -3*z - 4*n = -2*n - 6, 2*z - 4 = n. Solve 0 = z*c + a*c for c.
0
Suppose -4*p + p + 12 = 0. Let z = 40 - -16. Suppose 0 = 4*l - 2*y - 0*y - 28, p*l = -5*y + z. Solve -4*u + 3 = -l for u.
3
Let r be (8/(-5))/((-1)/5). Let q be 2/(4/r + 0). Solve -10 = t + q*t for t.
-2
Suppose -10 + 8 = b. Let c be (b/4)/((-6)/108). Solve 3*x = -0*x - c for x.
-3
Suppose -2*h = n - 16, h = -2*h - n + 24. Solve 0 = -h*v + 3*v + 5 for v.
1
Let p(g) be the first derivative of -g**2 - 3 + 2/3*g**3 - g. Let d be p(-1). Solve f + d = -1 for f.
-4
Suppose 10*d - 88 = 62. Solve -s = 4*s - d for s.
3
Let f(b) = b**3 - 5*b**2. Let p be f(5). Solve -g = -p*g + 5 for g.
-5
Let p be -2*1 + 1 + 3. Let g be (-2)/((-1)/(-2)*p). Let i be g/5 - (-6)/15. Solve i = f + f + 10 for f.
-5
Let p be (12/(-10))/(4/(-10)). Let i be 2*(p/(-6) - -1). Let q(j) = 4*j**3 + j**2 - j. Let l be q(i). Solve 3*z + 1 - l = 0 for z.
1
Suppose -4*z + 0*z + 44 = -5*c, -2*c = 0. Suppose -3*r + z = -2*d, -3*r = 2*d + d - 21. Solve -2*o - d*o = 8 for o.
-2
Let m = -4 - -6. Let a be 12*(1 + m/6). Solve 2*x = 6*x - a for x.
4
Suppose -2*z - 3*z = -4*j - 91, 4*z - 4*j = 76. Suppose -g = 5*o + 2*g - z, 5*o = -2*g + 10. Solve -4*s - 5 + 13 = o for s.
2
Let r = 12 + -7. Suppose -4*t = 3*o + 11, r*o + 2 + 1 = t. Let d be 129/15 + t/(-5). Solve -d - 3 = 3*u for u.
-4
Let v be 21/(-105) - 122/(-10). Solve 3*u + 18 = v for u.
-2
Suppose -2 = -v - 2*v + b, -b - 2 = -4*v. Let c(h) = -h**3 + 4*h**2 - 4*h + 1. Let i be c(3). Let n = i - -5. Solve v = -2*x - n + 1 for x.
-1
Let v be 98/8 + 3/(-12). Solve v = -3*h + 3 for h.
-3
Let q(s) = -s - 6. Suppose 0 = -3*k - 3*t - 15, 4*k + 0*t = -t - 14. Let n be q(k). Let p = n + 6. Solve 3*o - 6 = -p for o.
1
Suppose 6*y - 3*y = 6. Suppose j = g, -g - 18 = j - 22. Solve y*k = -j*k + 12 for k.
3
Let l = -87 - -97. Solve -n = n + l for n.
-5
Suppose 13 - 9 = 2*l. Solve -b = l*b + 15 for b.
-5
Let v be -7 + 0 + (-2)/(-1). Let d be -1*(1 + 1 + v). Let l be d/6*(2 + 0). Solve l = 3*b - 4*b for b.
-1
Let o(m) = -3*m + 39. Let g(u) = -u + 13. Let f(l) = 11*g(l) - 4*o(l). Let j be f(14). Solve a + j = 4 for a.
3
Let y = 14 + -10. Suppose -v + 14 + 2 = y*s, 0 = 3*s - 9. Solve -2*o + 3*o + v = 0 for o.
-4
Let c(n) = -n**3 + 11*n**2 - 10*n + 7. Let t be c(10). Suppose 2*p - 1 = 3*g - 6, 2*p + t = 5*g. Let o = 6 - g. Solve 6 = -o*x + 2*x for x.
-2
Let j = -20 - -24. Solve -h + j = 3*h for h.
1
Suppose 29 = q - 2*s - 3*s, 0 = s + 5. Solve -q*c = -4 - 8 for c.
3
Let p = 70 - 55. Solve -4*i = 3 - p for i.
3
Let b = 6 + -4. Suppose 3*m - 4*m = -2*m. Solve t + b*t = m for t.
0
Let v = 4 + -4. Let d be v*((-2)/4 + 1). Suppose d = i + 1 - 4. Solve -o + 10 = -i*o for o.
-5
Suppose n - 3*n = -16. Suppose -3*j + 15 = 2*j. Solve n = -j*v - v for v.
-2
Let p(x) = -3*x + 3. Let i be p(-3). Let j(f) = f**3 - 15*f**2 + 12*f + 30. Let c be j(14). Solve t + c*t = i for t.
4
Let b(d) = 9*d + 3. Let s be b(-2). Let k = s - -18. Solve -4*h - 9 = k for h.
-3
Suppose s - 1 = 2. Let u be 0 - (-1 - (s + 0)). Solve -t - u*t = 0 for t.
0
Suppose 4*z = -h + 23, -2*z + 0*z + 17 = -5*h. Solve z = -i + 5 for i.
-1
Suppose -y - 15 = -4*y. Suppose y*j = 22 - 2. Let n(r) = 4*r - 4. Let u be n(j). Solve 3*p + p = u for p.
3
Let l = 7 - 5. Solve 2 = -l*m + 3*m for m.
2
Suppose -2*u = -7*u. Solve 5*g - 2*g = u for g.
0
Let t be 2/5 + 56/10. Let l be 9/t*(-22)/(-3). Let j(y) = y**3 + y**2 + 2*y - 2. Let o be j(2). Solve -5*r - o = l for r.
-5
Let q be 4 + -2*(4 + -3) + 1. Suppose 15 = 5*j - 4*c, -4*j - 3*c - 6 - 13 = 0. Let i be (j*1)/1 + 4. Solve 0 = -0*w - i*w - q for w.
-1
Let w be -1 - -5 - (0 - -1). Let n = 1 - -12. Let l = -9 + n. Solve -l*f + 13 + w = 0 for f.
4
Let s(c) = 4*c**2 - 1. Let t be s(2). Solve -2*l - t = -5*l for l.
5
Suppose 3*g - 6 = -0*g. Let q be 56/14*6/4. Solve -q*h = -g*h for h.
0
Let o(r) = r**2. Let t be o(-1). Let n = -38 + 42. Solve n = -c - t for c.
-5
Let p = -1 - -3. Let w be -2 + p/(6/51). Solve -5*u + 5 + w = 0 for u.
4
Suppose 0 = 6*m - 9*m + 6. Solve -6*h = -m*h + 8 for h.
-2
Suppose -2 + 12 = -2*a. Let h(u) = u + 6. Let f be h(a). Let k be 11 + f + (-3 - -2). Solve 0 = -2*i - k + 3 for i.
-4
Let h = 1 + 2. Suppose f - 1 = y, -h*y + 2 = f + 5. Solve -2*m = -f*m - 2 for m.
1
Let x(r) = -r - 6. Let n(s) = s**2 + 8*s - 1. Let q be n(-7). Let c be x(q). Solve 2 = -c*u - 0 for u.
-1
Let m be 4*1 + 4 + -9 + 13. Solve -11*x + m*x = 1 for x.
1
Suppose -2*z = z + 3. Let n(o) = -o + 2. Let x(h) = -3. Let p(c) = 2*n(c) + x(c). Let a be p(z). Solve a*u + 0 = -12 for u.
-4
Suppose 11*c - 12*c = -3. Solve c*p = 2*p - 1 for p.
-1
Let d(n) be the third derivative of -1/24*n**4 + 11/60*n**5 + 0*n**3 + 0*n + 0 + n**2. Let l be d(1). Solve 0 = -v + 3*v - l for v.
5
Let j(y) = y**2 + 3*y. Let g be j(-5). Solve 3*u = -2*u + g for u.
2
Suppose 2*f - 104 = -2*k, -3*k + 34 = 2*f - 72. Suppose -7*d + 9*d = f. Solve -2*i - 3*i = d for i.
-5
Let a = 1 + 8. Suppose -t = -0*x + 3*x - a, 2*t + 4 = 5*x. Let k be -2*x*-1 - 0. Solve 0 = i - 0*i + k for i.
-4
Let v be (-6)/(-4) - 3/(-2). Suppose v*c - 9 = -2*d, 6*c = 2*c - d + 12. Solve c*n + 1 + 2 = 0 for n.
-1
Let q be (-1)/(-2) - (-7)/(-14). Solve q*h - h = -2 for h.
2
Let g be (-177)/(-9) - 3/(-9). Suppose 2*x - g + 8 = -4*q, 2*x - 4*q = -4. Solve -x*i = -3*i for i.
0
Le