= 4*u - u. Suppose 2 = 2*b - b. Solve -b*d = -u*d for d.
0
Let u be -2*1 - 10/(-5). Let c = 0 + u. Solve c = -m - 2 - 3 for m.
-5
Let y = 19 - 16. Solve -y*h + 2*h = 5 for h.
-5
Suppose 16 - 1 = 3*r. Suppose 5*a + r = 0, 6*a = 2*v + a - 9. Solve -6 = -2*j - v for j.
2
Let b = 25 + -10. Suppose 0 = 2*j + j - b. Solve -j - 3 = 4*o for o.
-2
Let a(c) = c + 7. Let y be a(-7). Solve r + 4*r = y for r.
0
Let c(h) = h**2 + 2*h - 5. Let m be c(-7). Let q be 72/m - 2/5. Let w = 6 - q. Solve 0 = -b + w*b - 3 for b.
1
Let n be (1/3)/((-2)/(-18)). Suppose -o = -n*w - 1, 5*o + 6*w - w - 25 = 0. Suppose 6 = o*b + 5*f, -5*b - 3*f = 2*f - 10. Solve 6 = -2*m - b for m.
-5
Let p(d) = -d**3 + d**2 + 3*d - 1. Let j be p(2). Let w be (1 + 5)/(2/j). Suppose -w*t = 2*t - 20. Solve -t*l - 19 = 1 for l.
-5
Suppose 26 - 1 = 5*n. Solve -4*u - n = u for u.
-1
Suppose 14 = 4*a + z + 3, -3*a + 4*z - 6 = 0. Solve -5*s = -a*s - 6 for s.
2
Let r be 2 - 1 - -2*4. Let c be 3/r - (-2)/3. Solve 2*v - c = 3 for v.
2
Let x(v) = -v**3 - v**2 + 1. Let k(s) = -6*s**3 - 16*s**2 + 7. Let q(h) = -k(h) + 5*x(h). Let z be q(-11). Let u = z - -4. Solve u*g = g + 2 for g.
2
Let m(t) = 6*t - 3*t - t - t + 1. Let q be m(-1). Solve s + 4*s = q for s.
0
Let n(x) = x**3 + 5*x**2 + 3*x. Let z be n(-3). Suppose -5*i - 15 = -3*r, 5*r - 34 = -z. Solve 0 = -3*m + 9 - i for m.
3
Let z(b) = b**2 + b - 1. Let n be z(-3). Suppose 3*a - g - 7 = 8, -n*a + 2*g = -26. Solve a*i - 3*i = 2 for i.
2
Let l(h) = h**3 - 11*h**2 - 11*h - 10. Let d be l(12). Solve -2*v = d + 2 for v.
-2
Let b(z) = z**3 + 12*z**2 - 3*z - 33. Let j be b(-12). Solve -10 = x - j*x for x.
5
Suppose 3*r = -5*q + 4, -2*q + q + 2 = r. Suppose r*t = -0*t. Solve 0 = -2*v - t*v - 6 for v.
-3
Let s = -4 - -10. Let h = s + -1. Let v be (-3)/(6/4) + h. Solve -2*c = v*c - 20 for c.
4
Let a(y) = 6*y + 8. Let c be a(-5). Let p = -18 - c. Solve -p*n - 6 = -26 for n.
5
Suppose -2*i = 5*i - 28. Solve -i*t - 6 = -14 for t.
2
Suppose j - 4 = -3*j + t, 0 = 4*j - 4*t - 16. Suppose m - 2 = -j. Solve -m*w - 2 = -4*w for w.
1
Suppose 3*h = -6, h - 4 = 5*k + 3*h. Let d = -826 - -829. Solve u + d = -k*u for u.
-3
Let k(h) = -2*h**3 - 10*h**2 + 3*h + 3. Let s be k(-8). Let c be s/21 - (-4)/(-14). Solve 3*z - c + 8 = 0 for z.
3
Let t(p) = -p**3 - 2*p**2 + 5*p - 12. Let q be t(-4). Solve o = -q + 1 for o.
1
Let l = -7 - -7. Suppose l = -5*i + d + 3*d + 80, 3*d - 16 = -i. Let b = -4 + i. Solve 0*g - 3*g = b for g.
-4
Suppose 0 = 3*o - 2*o - 7. Let a(r) = 13*r**2 - 3*r + 2. Let u be a(1). Solve -3*b - u = -o*b for b.
3
Let r be (-4)/(1/(0 + -2)). Let v be 1/(-2)*(-2 + 2). Let u(k) = -k + 2. Let o be u(v). Solve r = o*p - 2 for p.
5
Let w(f) = f**2 - 9*f + 13. Let x be w(8). Let z be (4/10)/(1/x). Solve -z*n = -0*n + 6 for n.
-3
Let k(n) be the third derivative of -n**4/8 - n**2. Let l be k(7). Let m be (-4 - 0)*l/28. Solve 0*a = m*a - 6 for a.
2
Let f(d) = d**2 + 4*d + 3. Let i(z) = 3*z**2 + 8*z + 5. Let g(a) = -5*f(a) + 2*i(a). Let h be g(5). Solve -6 = 3*t - h*t for t.
-2
Let g(w) = -w**2 + 4*w - 3. Let a be g(2). Let c = 3 - a. Solve m - 9 = -c*m for m.
3
Let y(n) be the first derivative of n**4/4 - n**3 + n**2 - 6*n + 1. Let p be y(4). Let v = p + -13. Solve 4*b = v*b - 4 for b.
4
Suppose 0 = -4*s + 6 + 2. Suppose 0 = 2*v + 4, -2*h - s*v = -7*v - 14. Solve g = -g - h for g.
-1
Suppose -b + 3*b - 5 = l, 2*l = -3*b + 11. Suppose 0 = -5*t - b*s + 6, t + 2*t + 2 = s. Solve t*n + 2*n = -8 for n.
-4
Suppose 0 = -r + 3 - 1. Suppose -r*m + 16 = 3*p, m + 2*p = -p + 14. Suppose 2*n = q - 5, n - 2*q = -m*n - 10. Solve 6 = -2*z - n for z.
-3
Let q(f) = -f**3 + 5. Let g be q(0). Suppose -g*u + 72 = -3*m, -3*u + 0*m + 2*m + 43 = 0. Solve 5*i = -40 + u for i.
-5
Let r be ((-12)/(-14))/((-3)/(-21)). Solve -5*q + 19 = -r for q.
5
Suppose -2*m - 2*q = -0*m - 16, 16 = 4*q. Solve -m*j + j + 12 = 0 for j.
4
Suppose -2*p - 2 + 16 = 3*d, p + d - 8 = 0. Solve 0 = -x - x - p for x.
-5
Let b = 33 - 33. Solve b*k - 8 = -2*k for k.
4
Let d = -3 + 7. Suppose v = -v + d. Suppose v*w - 10 = 14. Solve 5*f - 13 = w for f.
5
Let g(q) = -q**2 - 8*q + 1. Let j be g(-8). Let x be (2 + (-3)/3)*j. Suppose 2*n + 6 = 5*n. Solve l + x = n*l for l.
1
Let k(f) = -f**2 - 5*f + 8. Let j be k(-6). Let b be 5 - (-4 - 0/(-1)). Solve w + j*w = b for w.
3
Let z = -207 - -211. Solve 5*l - 9 = -z for l.
1
Suppose -5 + 20 = z. Let h = z + -7. Let r(q) = -q**3 + 8*q**2 - q + 9. Let s be r(h). Solve 4*g + 7 + s = 0 for g.
-2
Suppose 0 = 2*g - 3*l + 6 - 22, g - 2*l - 8 = 0. Solve c - 3*c = g for c.
-4
Let x(t) = 4*t**2 - 3*t - 2. Let a be x(4). Let g(o) = 5*o + 2. Let l be g(0). Let n be (12/20)/(l/a). Solve -3*h + n = -0 for h.
5
Let z = -7 - -13. Let n be z/(-9)*-1*6. Let r be (-1)/((-6)/n + 1). Solve -2*v = r*v for v.
0
Suppose 0 = -4*k + s + 19, -3*s = -0*s + 9. Solve 19 = -k*z + 7 for z.
-3
Suppose -j + 2 + 0 = 0. Suppose b = j*b. Solve b = -s - 2*s + 15 for s.
5
Suppose -9 = -5*n - w + 21, -4*n - 4*w = -24. Let k be (8/4)/(3/n). Solve -3*v + 19 - k = 0 for v.
5
Let j = 1 + 0. Let s = -9 - -21. Let x be (-1)/(-2) - (-42)/s. Solve j = 3*a + x for a.
-1
Let n(v) = v**2 - 7*v - 3. Let o be n(8). Solve -o = g - 1 for g.
-4
Let y = -10 - -15. Suppose 0 = -y*g + p + 17, -9 = -g - 0*p + 3*p. Solve 6*l = g*l for l.
0
Suppose 4*h - 16 = -0*h. Solve 3*p + 8 + h = 0 for p.
-4
Let u(f) = -9*f**2 - f - 11. Let o(s) = -4*s**2 - s - 5. Let a(d) = -7*o(d) + 3*u(d). Let p be a(-5). Let n = 12 - p. Solve 18 = -n*q - 2 for q.
-4
Suppose -3*v + 7 = 3*m - 5*v, -v - 1 = -m. Suppose 0*y = 5*y - m. Let a = 4 - y. Solve a = -o - 2 for o.
-5
Let f(q) = q**3 - 26*q**2 + 48*q + 5. Let y be f(24). Solve -4*o + 3*o = -y for o.
5
Let k(m) = 4*m**2. Let g be k(-1). Suppose -9 = x - 0*x + 4*o, 2*x - g*o = -6. Let f = -1 - x. Solve 0 = 3*v + 11 + f for v.
-5
Let b = -238 - -238. Let h(l) = l. Let y be h(5). Solve 0*t - 5*t - y = b for t.
-1
Suppose 3*d = -3*r + 27, -4*r + 3*d + 0*d + 15 = 0. Suppose 0*p - 3*p = -12. Suppose -2*l - 8 = -p*l. Solve -4*b = -r*b + l for b.
2
Suppose 0 = -u + 22 - 18. Suppose -12 = 2*k - 6*k. Solve k*m + 2 = -u for m.
-2
Let k(m) = -m**3 + 6*m**2 + 6*m + 7. Let f be k(7). Suppose q + f*q = 2. Solve -q*t = 1 + 5 for t.
-3
Let b = 26 + -46. Let i be 3/(-2)*b/3. Let t be ((-4)/14)/(8/(-280)). Solve -i - t = -5*k for k.
4
Let v(h) be the third derivative of h**4/12 - 2*h**3/3 + 8*h**2. Let b be v(3). Solve 0 = b*n + n + 15 for n.
-5
Suppose 0 = -3*b - 2*o + 7*o + 9, 4*b - 2*o = 12. Let r be (40/4)/((-1)/b). Let w be (-3)/18 - 125/r. Solve 2 + w = -3*c for c.
-2
Let g(k) be the first derivative of -2*k - 1/2*k**2 + 4. Let a be g(-6). Solve 0 = a*j - 12 - 4 for j.
4
Let y(o) = -o + 5 - 1 + 4 - 5. Let k be y(-3). Let u(g) = 2*g - 5. Let x be u(k). Solve 0 = 5*f + 18 + x for f.
-5
Suppose g = 4*w + 3 - 4, -w + 4 = -4*g. Solve w = -2*k + 4*k + 2 for k.
-1
Let l = -32 + 58. Suppose -l = -x - 2*u, 5*x + u = -u + 106. Solve 3*y - x = -5 for y.
5
Suppose -7*b + 9*b = 8. Let l(p) = 3*p - 6. Let o be l(5). Let h = 9 - -6. Solve h = b*z - o*z for z.
-3
Let a(w) be the second derivative of w**4/12 + 7*w**3/6 + 9*w**2/2 - 4*w. Let z be a(-6). Solve -2*v + v = -z for v.
3
Let t be -3*-7*4/12. Suppose 0 = -4*s - 3*n + 3 + 3, 5*n + t = -s. Solve s*x - 10 - 5 = 0 for x.
5
Let g = -6 - -8. Solve g*d - d + 1 = 0 for d.
-1
Suppose c + c + 2*v - 8 = 0, c - 3 = -2*v. Let g(h) = h**3 + 9*h**2 + 8*h + 3. Let d be 41/(-5) - 1/(-5). Let l be g(d). Solve -c*a = -2*a + l for a.
-1
Let m = 74 + -74. Solve m*u = -2*u + 6 for u.
3
Let p be 2 + -5 + 0 - -4. Solve -p = -3*j + 2 for j.
1
Suppose -3*r - 12 = -0. Let k be -1*2*r - 3. Solve 3*t - k*t = 0 for t.
0
Suppose -3*a = 2*p + 4, -p = 3*a - 0*p + 8. Let z be 50/15*(-6)/a. Solve o - z + 0 = 0 for o.
5
Let s = 8 + -8. Solve q - 6*q - 10 = s for q.
-2
Let q be 4 + (4 - 1 - -7). Solve -4*b - 6 = -q for b.
2
Let k = 10 + -8. Solve -4*w = k + 10 for w.
-3
Let t(h) = -h**2 - 5*h - 3. Let f be t(-3). Suppose -4*n - 7 = 9. Let p = n - -5. Solve p = r - f for r.
4
Suppose -3*d - n - n + 15 = 0, -3*n = 5*d - 25. Let l = -10 - -15. Suppose 5*q = d*t, -l*t = -6*q + 4*q - 3. Solve v = 2 + t for v.
3
Let x be (6*3)/((-12)/(-8)). Let g = x - 11. Solve 9 = -2*q - g for q.
-5
Let i = -18 + 20. Solve -i = -a - 0 for 