pose -4*l + a - 3*a - 4 = 0, 2*a = -3*l - 4. Suppose l = -0*r - 4*r. Suppose r = -n + 5 - 3. Solve n - 6 = -2*f for f.
2
Suppose 4*h - 5*t - 35 = 0, 2*h - 37 = -3*h + 4*t. Suppose h*n - 26 = -3*w, 4*n - n = 2*w + 8. Solve -1 = w*m + 1 for m.
-1
Let l = 2 + 0. Suppose 4*s + 3*v = -33, -3*v - 40 = 4*s - 7*v. Let d = 9 + s. Solve l*b - 3*b + 3 = d for b.
3
Let l = 1 + 3. Let y(a) = 2*a**3 - 13*a**2 - 5*a - 2. Let b be y(7). Solve l - b = 2*s for s.
-4
Suppose -5*y = -7*y. Solve 2*z + y*z + 10 = 0 for z.
-5
Let t be -2*(-4 - (-6)/2). Solve t*d = -d for d.
0
Let t = 5 - -3. Suppose 0*b = -4*b - 20. Let q = t + b. Solve -z = q*z - 4 for z.
1
Let z be (-4)/(-16) + (-1)/(-8)*-2. Solve k + k + 8 = z for k.
-4
Let x = -10 + 21. Let i = x - 8. Suppose -i*y + 9 = -0. Solve 0 = -n + y*n + 2 for n.
-1
Let l = 1 + -2. Let a = l + 1. Let k = -39 + 42. Solve a = j + k*j for j.
0
Suppose -6 = -3*g + g. Suppose a = -g*a. Suppose n = -4*n. Solve -3*w + a - 3 = n for w.
-1
Let w be (-5)/2*(-12)/10. Let i(h) = 6*h**2 - h**3 - w*h - 6*h**2 + 4*h**2. Let g be i(2). Solve 2*l + 16 = -g*l for l.
-4
Let u(l) = 2*l**3 - 2*l**2 - 4*l - 2. Let b(g) = -3*g**3 + 4*g**2 + 7*g + 4. Let x(p) = -6*b(p) - 10*u(p). Let f be x(-3). Solve 0*z = 4*z + f for z.
-5
Let f(i) = 2*i**2 - 2*i + 1. Let o be f(2). Suppose 2*x + o = 4*l - 1, 2*l = -3*x + 7. Solve 0*q = -l*q for q.
0
Let h(z) = z**2 - 4. Let w be h(-2). Suppose v - 8 = -w*v + 4*j, -4*v = -j - 62. Solve -n - 3*n - v = 0 for n.
-4
Suppose 5*k - 5*f = 25, -k + f = -2*k + 3. Suppose 2*s = 2*v + s - 10, 4*v - k*s - 20 = 0. Let a be 1*(0 - (1 - 14)). Solve v*p + a = -12 for p.
-5
Suppose -4*m + 5*k = -9, 7 = 2*m + k - 8. Solve 0 = 7*j - 4*j + m for j.
-2
Suppose 4*x + 7 = n, 10 = n + 3*x - 4. Suppose -2*d + 3*v = 9, 0 = -4*d + 5*v - 2 - n. Let m be (d - 6)/(9/(-15)). Solve t - m = -3 for t.
2
Let k(g) = 4*g**2 - 6*g - 7. Let i be k(7). Suppose -5*u = -8 - i. Solve -5*f = -6 + u for f.
-5
Let a be 1*(-6)/9*-6. Solve -2*s = a + 2 for s.
-3
Let k be -1 - -2 - (-3 + 4). Suppose -5*u + 10*u = 5. Let i = k + u. Solve b + 3 = -i for b.
-4
Let w(k) = k**2 - k + 1. Let t(n) = 7*n**2 - 4*n + 3. Let i(y) = t(y) - 5*w(y). Let l be i(-2). Solve l*o - 12 = -0 for o.
3
Suppose 5*h - 163 - 72 = 0. Suppose h = 4*l - 1. Let m be 6*(-1 + l/9). Solve -4*o + m = -2 for o.
1
Let c be 8/28 - 38/(-14). Solve 3*t + 0 = c for t.
1
Let l be (-16)/(-6) + (-5 - 64/(-12)). Solve -4*d + d - l = 0 for d.
-1
Suppose 6 - 1 = 5*c. Let l be 5 - (5 - 2)*c. Solve -d - l + 1 = 0 for d.
-1
Let t be ((-40)/6)/((-12)/36). Solve -3*k - t = -8*k for k.
4
Let d = 54 + -32. Solve -7 + d = 5*p for p.
3
Let a = -5 + 11. Solve 0 = -0*l - 2*l + a for l.
3
Suppose 2*d - 2*i + 5 + 7 = 0, -4*d - i = 4. Let h be 0 - (-3 - -1 - d). Solve 5*o - 2*o - 9 = h for o.
3
Let c = -2 + 6. Let f be ((-7)/21)/(2/(-6)). Solve 0 = 3*b + c - f for b.
-1
Let o(a) = -2*a + 2. Let t be o(2). Let s = t + 9. Let j(y) = y**2 + 10*y + 10. Let r be j(-9). Solve -s - r = 2*i for i.
-4
Let b(f) = 5*f**3 - 3*f + 2. Let z be b(1). Solve -z*r = r for r.
0
Suppose -3*a = -g - 11, 26 = 3*a - 2*g - 2*g. Suppose 3*h - a*h = 0. Solve -2*t + 5 + 1 = h for t.
3
Let t(c) = -c + 9. Suppose h - 3 - 4 = 0. Let q be t(h). Solve 2*i + q*i - 16 = 0 for i.
4
Let v = 18 - 18. Solve -n + 4*n = v for n.
0
Let c(d) = -d**2 - 11*d - 12. Suppose -4*z - b - 44 = -5*b, -b = 4*z + 29. Let i be c(z). Solve -2*x - i + 2 = 0 for x.
-5
Let g(q) = -7*q**2 - 10*q + 7. Let p(w) = 10*w**2 + 15*w - 10. Let f(x) = 7*g(x) + 5*p(x). Let d be f(-6). Solve 0 = 4*b - d - 15 for b.
5
Let w(i) = 2*i - 11. Let v be w(6). Solve h - v - 2 = 0 for h.
3
Let u be -2*3/(-5)*(-80)/(-24). Solve -7 = -u*z + 1 for z.
2
Let y(b) = b**2 + 10*b - 12. Let s(d) = d + 1. Let c(g) = -2*s(g) + y(g). Let v be c(-10). Solve q = 1 - v for q.
-5
Suppose l + 2*l = 9. Suppose -i + l + 1 = 0. Solve -13 = -i*x - 29 for x.
-4
Suppose -4*u + 10 = -90. Suppose 5*s = -0*s + u. Solve 0 = s*p - 3*p + 8 for p.
-4
Suppose 0*z = 2*i - 4*z + 12, 20 = 4*z. Solve -i*n = -n - 12 for n.
4
Let x(p) = 2*p**2 - 3*p - 2. Let w be x(-1). Suppose 0*h + 4 = h, 0 = 2*a - 2*h - 6. Solve 0 = w*k - a - 8 for k.
5
Suppose -5*f = 3*y - 9, -f - f = -2*y - 10. Solve -i + f = -1 for i.
4
Let i = 1 + 0. Let v be (-5)/i*2/(-5). Let m = 3 + v. Solve 3*d - 8 = -m for d.
1
Let b(t) = -t**3 + 17*t**2 - 2*t + 42. Let a be b(17). Solve -a = 2*y - 6*y for y.
2
Let w(o) be the second derivative of o**5/20 - o**4/3 - 3*o. Suppose -25 = -5*p + 2*g - 7*g, 0 = 4*p - g - 20. Let n be w(p). Solve -n = 6*i - i for i.
-5
Let s be ((-8)/10)/((-2)/10). Solve -g - s*g = -20 for g.
4
Suppose r + 20 = 4*g, -4*g + 13 + 7 = 4*r. Solve g*o = -0*o for o.
0
Suppose 0 = -t - n, 2*n + 4 = -0*n. Solve p + t*p = 6 for p.
2
Let f be 19 - ((-10)/(-40) + (-11)/(-4)). Solve o = -3*o - f for o.
-4
Suppose -h = 0, -2*z + 6*z - 8 = 4*h. Let d = 10 - z. Solve 12 = 4*p - d for p.
5
Suppose 7*m = 4*m. Let y = m + 0. Let n = 7 - 5. Solve -4*p + 2 + n = y for p.
1
Let h = -31 - -36. Solve -g = -h*g for g.
0
Let z = -24 - -30. Solve 3*f - f = -z for f.
-3
Let f be 2/(-9) - 58/(-18). Suppose -5 = 3*o - 4*o + d, 0 = -3*o - 3*d - f. Suppose o*q = -2*q + 12. Solve -q*m + 5 = 2*m for m.
1
Suppose 2 = p + 6. Let g be p/12*(-4 - 2). Solve 3*j = j + g for j.
1
Let y(j) = j + 2. Let t be y(2). Let h be (t/(-12))/((-3)/18). Let o be 18*(h + 2 + -3). Solve 0 = -3*q + 6 - o for q.
-4
Suppose 14 = 2*p + 2*u, 4*p + 0*u - 34 = -u. Solve -p = 3*n - 6*n for n.
3
Let k(q) = -q**2 - 4*q + 1. Let o be k(-2). Solve o*m + 22 = 7 for m.
-3
Let z be (-2)/(-8) + (-236)/(-16). Let u be (6/z)/((-1)/(-10)). Solve u*m = m for m.
0
Let h(s) be the second derivative of -s**4/12 + 2*s**3/3 + s**2 - s. Let c be h(4). Let u = c - -4. Solve 0 = 2*r - u*r + 16 for r.
4
Suppose -3*f - 4*x + 4 = -6*f, -20 = -5*x. Solve 2*v - 12 + f = 0 for v.
4
Let l be 8/(-12) - (35/(-3) + 3). Solve 5*r - r = l for r.
2
Suppose 0 = 2*m - 2 - 4. Suppose -m*t = -6*t. Solve 5 = -5*a - t for a.
-1
Suppose -2*d + 107 = 97. Solve 0 = 2*z - d*z + 9 for z.
3
Let s be (4 - 2) + (-8)/4. Suppose 0 = c - s*c. Solve -4*x - 27 + 7 = c for x.
-5
Let q(j) = 2*j. Let z be q(3). Suppose -4*n = -4*b, z = 4*n - 3*n + 2*b. Solve 0 = -n*k + 2 + 4 for k.
3
Let u(i) = 2*i - 14. Let o be u(8). Solve p - 15 = -o*p for p.
5
Let t be -10*(-2 - (1 - 2)). Solve -5*l = t + 10 for l.
-4
Let c(a) = -2*a - 1. Let s be c(-2). Let u be (-1)/s - (-245)/15. Solve g = -3*g + u for g.
4
Let r(v) = 5*v - 1. Suppose 0*u + 5 = 5*u. Let o be r(u). Solve o*x - 6 = 2*x for x.
3
Let j be 1/(-1 - (-6)/4). Let s(g) = -4 - 1 - j*g**2 - g**2 + g**3 - 2*g. Let a be s(4). Solve -2*w + 4 = -a*w for w.
-4
Suppose 5*g + s + 25 = 0, 4 = 4*g - 5*s - 5. Let v(z) = -z**3 + 3*z**2 + 2*z - 4. Let n be v(3). Let b be 0*(1 + n + g). Solve 10 = -b*a + 5*a for a.
2
Let l(q) = q**2 - 2*q**2 - 4*q + 4*q**2. Let j be l(2). Solve v = -j + 1 for v.
-3
Let m be ((-4)/(-6) + (-8)/12)/(-2). Solve 3*v + m = -6 for v.
-2
Let t = -6 - -6. Solve t*i = -i for i.
0
Let t be 24/11 + 0 - (-24)/(-132). Solve -2 - t = -h for h.
4
Let x be (-2 - 0 - -2)*-1. Solve d - 6*d - 15 = x for d.
-3
Let f = 8 + -4. Let k be (4 + 0)*(-3)/f. Let v be 2*(3 + k/2). Solve v*i + 4 - 1 = 0 for i.
-1
Let j(z) = z + 7. Let f be j(-5). Solve -f*w = -3 - 3 for w.
3
Let r be (-2)/(-3) + (-52)/(-12). Suppose -r*f - 65 = -435. Suppose 2*y - 7*y = -2*a - f, 4*a - 60 = -3*y. Solve 4*p + 0*p - y = 0 for p.
4
Let b be 2/(-3) - 10/(-6). Suppose b + 2 = f. Suppose 0 = 7*y - 3*y - 2*k - 14, -3*y - 5*k = -30. Solve -4*r + f = -y*r for r.
-3
Suppose 3*m - 5*u - 58 = 0, -m + 4*u = -0 - 10. Let l = m - 42. Let w be (-15)/(-10)*l/(-6). Solve -6*k + w*k = 6 for k.
-3
Let z = 4 + -5. Let l be z - (0 - 1 - -12). Let c be (-8)/l + (-2)/(-6). Solve -a = -0*a - c for a.
1
Let l(x) be the first derivative of x**4/2 + 2*x**3/3 + x**2 + x - 1. Let h be l(-1). Let m(s) = -s**2 + 1. Let r be m(h). Solve 5*q - 11 + 36 = r for q.
-5
Suppose 0 = -2*u - 0 - 14. Let c(i) be the third derivative of i**5/60 + 7*i**4/24 + i**3/6 + i**2. Let d be c(u). Solve 3*k - 4 = -d for k.
1
Let z be -5 - -2 - -9 - 3. Suppose -2*i - 2*o = -8, -2*i = 3*o - 5 - 8. Let u = 0 - i. Solve -u = -x - z for x.
-2
Let z(x) = -x**2 - 5*x + 2. Let a be z(-4). Let