e 19 = k - 0*k. Let r be k/6 - 1/6. Suppose r = q + 1. Solve -q - 2 = -2*s for s.
2
Suppose -2*t = t - 33. Suppose 5*d = -t - 24. Let x(l) = -l - 6. Let v be x(d). Solve v = g - 3 for g.
4
Suppose -r + 6 = d, -3 = d - 4*r - 4. Solve -5*a + d = -0 for a.
1
Suppose -5*h - 3*v + 11 = 0, 1 = 3*h + 3*v - 2. Solve -f = h - 0 for f.
-4
Let f(k) = -9*k + 2. Let x be f(-2). Suppose -2*d - x = -7*d. Let q(l) = 4*l**2 + l - 2. Let c be q(2). Solve d*n = -0*n + c for n.
4
Let b(d) = -d**3 - 6*d**2 + d + 7. Let x be b(-6). Let z = -3 - -7. Let w = z - x. Solve -k = -w*k - 8 for k.
-4
Let f = 10 + -21. Let r = -7 - f. Suppose 2*k - r*k = -28. Solve 3*a - 1 = k for a.
5
Let f be 4/2 + -12 + 2. Let t = f - -11. Solve -t*a - 8 = a for a.
-2
Let n(k) = -k**3 - 6*k**2 - 7*k + 7. Let p be n(-4). Solve 4 = p*l - 2 for l.
2
Let k(r) be the third derivative of r**4/24 - 4*r**3/3 - 2*r**2. Let t be k(12). Solve -a = t - 0 for a.
-4
Let m = 18 - 18. Let s be 1 - (-1 + m) - 2. Solve s = -2*u - 0*u for u.
0
Let m = -4 + 9. Solve 0 = 5*u - m for u.
1
Let m(d) = -d**3 + 25*d**2 - 22*d - 36. Let o be m(24). Solve -2*h - 2*h = -o for h.
3
Suppose -3*j - 9 = h - 0*h, 4*j = 5*h - 12. Solve h*c = -c - 2 for c.
-2
Suppose -2*n - 4 = 2. Let r = 9 + n. Solve 2*x - 4 = r for x.
5
Let z be 4/14 - 12/(-7). Suppose 0 = -3*l + 4*l - 5*k - 18, 2*l + 2*k = 0. Solve l = g + z*g for g.
1
Let d be 14/6 - (-1)/(-3). Suppose d*x = 5*x - 24. Suppose 0*m = -2*m + x. Solve -m*f + 9*f = -20 for f.
-4
Suppose h = -5*t + 15, 2*h + 0*h + 5*t = 20. Let v(m) = m**3 + 4*m**2 - 6*m + 5. Let a be v(-5). Suppose -30 = -a*i + 5*i. Solve -h*o + i = 1 for o.
1
Let j be (2/2)/(1 + 0). Let i be j/(-4) - 34/(-8). Let k(z) = -z**3 - 5*z**2 - 4*z - 5. Let a be k(-5). Solve -i*y - a = 1 for y.
-4
Suppose 3 + 1 = 4*f. Let w(c) = c**3 + 4*c**2 - 2*c - 6. Let o(r) = -r - 9. Let x be o(-5). Let n be w(x). Solve f = n*t - 1 for t.
1
Let k be -3*(8/(-6))/4. Suppose 0 = 4*c - 2*g - 6, -3*g = -4*c + 6 - k. Solve b = -1 + c for b.
1
Let i = -24 - -24. Let x be 2 + (3 + 0 - 2). Solve x*g + g + 4 = i for g.
-1
Let n = 2059 - 2058. Let u(w) = 11*w**2 - 1. Let y be u(-1). Let x be -1*y*(-1)/2. Solve x = -v + n for v.
-4
Let i(x) = -3*x - 1. Let z be i(-3). Let q(b) = 2*b - 5. Let c be q(4). Suppose -4*g = 2*u - 32 + z, -g - 8 = -c*u. Solve -2*m = -u*m - 2 for m.
-1
Suppose 4*n - 4 = 0, 0*c - n = -2*c - 1. Let a be (0 + (-9)/2)*-2. Solve c*x - 3*x = a for x.
-3
Let f(t) = -t**3 - 3*t**2 - 3*t - 4. Let k be f(-3). Solve 0 = -0*n - k*n for n.
0
Suppose k = -3*k. Let n be (4 - (0 + 1))*3. Solve k = 4*s + n - 21 for s.
3
Suppose 12 = 2*a - 0*a. Suppose 2*x - 6*x + 5*m + 32 = 0, -5*x = 2*m - 7. Let z = a - x. Solve -g = -1 + z for g.
-2
Let b = 9 - 6. Let f = 19 + -4. Suppose 0 = -5*v - 5 + f. Solve 0 = 5*s - v - b for s.
1
Let m(r) = -r**3 + 8*r**2 + 21*r - 6. Let c be m(10). Solve 0 = -c*u - 0*u - 8 for u.
-2
Let f(c) be the first derivative of -c**2/2 - 2. Let a be -1*(5 - 4/2). Let v be f(a). Solve v*u - 16 = -u for u.
4
Let f = 5 + -10. Let q = 7 + f. Suppose q*g + 1 - 5 = 0. Solve -v = v + g for v.
-1
Let g(p) = -p. Let y be g(-5). Suppose y*x - 1 - 44 = 0. Solve 5*r - 1 = x for r.
2
Let i = -22 - -27. Suppose -5*x - 3*v + 14 = 0, -8 = -i*x - v + 10. Solve 0 = -k - x*k + 20 for k.
4
Let k(p) = -5 - 5*p**2 - 3*p**3 + 2*p**3 + 5*p + 0*p. Let y be k(-6). Suppose -17 - y = -2*t. Solve -4*u - t = -u for u.
-3
Let q = -4 - -23. Let g = -4 + q. Suppose -3*u + 2*a = -30, 25 = 4*u + 5*a - g. Solve -6*n - u = -n for n.
-2
Suppose 5*u + 3*i - 16 = -i, -u + 4*i = 16. Suppose 4*a + u*a + 3*m - 72 = 0, -48 = -4*a + 3*m. Solve 5*j = -5 - a for j.
-4
Suppose 5 = 3*n - 2*n. Let j = 78 + 7. Let v = j + -60. Solve 0*s = -n*s - v for s.
-5
Suppose 4*k + 2*m = 10, 5*m - 25 = -4*k - 0*m. Solve 0 = -k*f - 4*f + 16 for f.
4
Let y(c) = -c**2 + 7*c - 7. Suppose -2*n - 14 - 5 = -3*l, 0 = 2*l + 5*n. Let f be y(l). Solve 14 = f*z + 2 for z.
4
Let l = -5 - -8. Suppose -4*s - 16 = -2*z + l*z, 0 = -4*z - 4*s - 16. Suppose z*p = -2*p + 4. Solve -h + p + 3 = 0 for h.
5
Let w = -2 + 3. Let g be (3 - (-1 + w))*5. Let p(v) = -v**2 + 15*v - 46. Let n be p(10). Solve q + g = n*q for q.
5
Let q be 1/(-2) - (-5)/(-2). Let z be -1 - -19 - (q + 5). Solve -5*n = 9 + z for n.
-5
Let z = -2 + 12. Suppose -2*p + 0*p = -z. Solve -p*a = -12 - 3 for a.
3
Let m(f) = 2*f - 5. Let a(y) be the third derivative of -y**5/60 + y**4/24 + 2*y**3/3 - 2*y**2. Let v be a(0). Let b be m(v). Solve -2*x = -b*x - 3 for x.
-3
Suppose 5*n + 5*x = 70, -19 = 2*n + 3*x - 46. Let u = n - 10. Suppose -o - 11 - 12 = -u*t, -5*o + 20 = 2*t. Solve 11 = t*a - 14 for a.
5
Let z = 22 - 12. Let q(u) = -2*u - 20. Let j be q(-13). Solve x + z = j*x for x.
2
Let q(d) = 3*d. Let c be q(1). Let z(k) = k**2 + 1. Let n be z(0). Solve c*l - n = 2 for l.
1
Let g be (-25)/(-15)*-3 - -7. Solve 0*b = -2*b + g for b.
1
Suppose 0*z + z = 1. Suppose -s - 4 = -z. Let l be s*(-2 - 0) - 1. Solve 1 = -2*r - l for r.
-3
Let n(z) = z**3 - 7*z**2 - 6*z - 4. Let b be n(8). Let y(w) = -w + 10. Let r be y(7). Let m = b - r. Solve -d - m = 2*d for d.
-3
Let n be ((-80)/(-12))/((-2)/(-6)). Let q = n - 10. Solve -7*j + q = -2*j for j.
2
Let g be (1/1 - 0)*1. Let m be (-1)/g + -6 + 9. Solve 3*b = m*b for b.
0
Suppose -2 = k - 2*x, x = -3*k + 4 + 18. Let p(w) = 5*w**2 - 7*w - 2. Let z(s) = s**2 - 1. Let t(m) = -p(m) + 4*z(m). Let h be t(k). Solve -o = -h*o + 6 for o.
2
Suppose 3*m - 4*m = -2*s - 11, 0 = 4*m + 5*s - 96. Suppose m*f = 16*f + 24. Solve 0 = 5*x - x + f for x.
-2
Suppose 0 = -5*v + 3*h + 5, -5 = -3*v - 2*h + 17. Solve -v = j - 3 for j.
-1
Suppose 3*z - 24 = -0. Suppose 0 = -5*g + 12 + z. Solve -5 = -g*u - 1 for u.
1
Suppose -5*a - 30 = -6*o + o, -5*a = -4*o + 28. Solve -o*f + 3*f = 0 for f.
0
Suppose -28 = -4*a - 5*f, -4*f = 4*a - 3*f - 12. Solve 0 = a*i - 0*i for i.
0
Suppose p + 10 = 15. Solve p*t - 5 = -0 for t.
1
Let r(n) = -4*n - 5. Let m be r(-5). Suppose -3*f - 2 - 46 = -3*q, -3*q = 5*f - 16. Let u be m/6*q/10. Solve -u*l = -0*l + 9 for l.
-3
Let t(x) = -6*x - 16. Let p be t(-3). Solve 0 = -2*n + p for n.
1
Suppose -2 = -2*x + 12. Let m be (-192)/15 + 2/(-10). Let r = -9 - m. Solve -5 = -r*h + x for h.
3
Let r be 0/((-12)/(-21)*35/10). Let y(a) = 2*a**2 - 4*a + 3. Let s(i) = 3*i - 1. Let c be s(1). Let g be y(c). Solve -k + g + 0 = r for k.
3
Let a(b) = -7*b**2 + b + 4. Let k(r) be the second derivative of -r**4/12 - r**3/6 - 3*r. Let i(y) = a(y) - 6*k(y). Let f be i(7). Solve 0 = -f*o - 0 + 4 for o.
1
Suppose 12 - 2 = 5*c. Let o = c + 2. Solve -o = m + 1 for m.
-5
Let q(p) = p**2 + p - 3. Let s be -3 - 0/(1 - 2). Let m be q(s). Solve m*f = 1 + 11 for f.
4
Suppose 0 = -2*d + d - 3*s - 10, -5*d + 2*s = 16. Let r(o) = o**2 + 4*o. Let p be r(d). Solve 0 = -3*h - 3 - p for h.
-1
Let a(x) = -2*x**3 - 4*x**2 - 2. Let g be a(-3). Suppose 3*w + 3*u = 3, 0 = 2*u - 2 - 0. Solve -4*h + 0*h - g = w for h.
-4
Let c(z) = z**3 - 3*z**2 + 4*z + 2. Let i be c(2). Solve 5*q = i + 14 for q.
4
Suppose -3*m + 5 = -1. Suppose 0*z + 2*f = 2*z - 12, f + m = 0. Let i(n) = n**2 + 4*n - 8. Let t be i(-6). Solve z*d = 2*d + t for d.
2
Let l = -15 + 22. Solve 5*b - 13 = l for b.
4
Let s(g) = g**3 + 5*g**2 + 5. Suppose 5 = 2*r - 3*r. Let t be s(r). Let c(n) = n**2 + n - 3. Let o be c(-3). Solve -t = 8*q - o*q for q.
-1
Let w be 4/6 - (-2)/(-3). Let z = 20 + -18. Solve -y - z = -w*y for y.
-2
Let x(t) = t - 3. Let k be (0 - (2 + -3))*-4. Let h = k - -7. Let y be x(h). Solve u + 5 = -y for u.
-5
Suppose 5*b - 2*k = 36, 6*b + 2*k - 44 = b. Solve -b = -i - 7 for i.
1
Let f = 18 + -18. Solve f*v = -3*v for v.
0
Let j(k) = 2*k - 2. Let m be j(3). Solve q - m*q + 12 = 0 for q.
4
Let z(r) = 6*r + 9. Let k be z(-6). Suppose b - 2 = 7. Let p be 2/b + 6/k. Solve 4*l + p*l = -20 for l.
-5
Let k = 1 - -2. Let a(f) = f**2 + 3*f - 4. Let n be a(-5). Suppose -10*u = -n*u - 40. Solve k*m - m = u for m.
5
Let n be (0 - 1)/(0 + -1). Let t be -3 + 9 + (n - 3). Suppose 8 = 4*l - t. Solve -3*p - l = -2*p for p.
-3
Let r = 4 - 2. Suppose -2*d - 5*t = -5*d - 19, -5*d + 4*t = 10. Solve r*c - 20 = -d*c for c.
5
Let p(s) = s + 4. Let v be p(-5). Let u be (v/3 - -1)*-3. Let d = -1 - u. Solve t = d - 5 for t.
-4
Let h(t) = -t**2 + 7*t - 6. Let c be h(6). Suppose c = 2*