Let m be u(6). Solve 0 = -m*h - 3*h for h.
0
Suppose 0 = 4*c - 2*c - 2*h - 8, 5*c - 2*h = 20. Suppose -d - 19 = -2*m - 5, 0 = -2*m + 2*d + 14. Solve c*q + 9 = -m for q.
-4
Suppose 4*q = 3*f + 2, -4*q + 18 = -f + 6*f. Solve 3*u + f = -1 for u.
-1
Suppose -4*y + 9 = l + 2*l, 8 = y - 5*l. Solve -3*n - y = -0 for n.
-1
Let k(o) = -o**3 + 4*o**2 - o - 4. Let a be k(3). Let v be 418/(-4) + 4/(-8). Let m be v/(-5) - (2 - 1). Solve -3*w + m = a*w for w.
4
Let n = 9 - 5. Solve -m + n = -5*m for m.
-1
Let z(m) = -m**3 - 9*m**2 - 10*m - 12. Let k be z(-8). Suppose 0 = h - k*h + 12. Solve -h*r = 12 + 8 for r.
-5
Let y(r) be the first derivative of 1/4*r**4 + 12*r - 8/3*r**3 + 1 - 5*r**2. Let g be y(9). Solve 0 = -g*t - 10 + 1 for t.
-3
Let q(k) = -k**3 + 3*k**2 + 3*k + 5. Let c be q(4). Solve s + c = 2 for s.
1
Let b = -1 + 1. Let x = b + 18. Suppose 19 = 3*h - 2*z, 4*h = 3*h + 3*z + x. Solve 2*k + 5 = -h*k for k.
-1
Let y be (-2)/(-6) + 70/15. Solve 23 = y*t - 2 for t.
5
Let a = -18 + 21. Solve -h = a*h - 8 for h.
2
Suppose -d - 2*u + 7 = 0, 0 = -5*d - 4*u - 0*u + 29. Suppose 0 = d*q + 8 + 12, 5*o - 4 = q. Suppose 4*s - 3*s - 3 = o. Solve z - 1 = -s for z.
-2
Let t(a) = a**2 - a + 19. Let m be t(0). Solve -5*d + m = 4 for d.
3
Let k(u) = -2*u**2 - u + 2. Let z be k(2). Let l be (z/6)/((-3)/(-9)). Let f be 30/l*(-12)/9. Solve -5*b = -5 - f for b.
3
Suppose -18 + 28 = 2*o. Solve 0 = -o*p - 3 + 18 for p.
3
Let g(j) = j**3 - j. Let k be (-15)/(-18) - 1/(-6). Let h be g(k). Let b(c) = 6*c - 1. Let p be b(1). Solve -4*s + p*s = h for s.
0
Let n(t) = 2 + 8*t - 3*t**2 + t**2 + 8*t. Let g be n(8). Solve -4 = g*m + 2 for m.
-3
Suppose 5*i - 947 + 307 = 0. Suppose 4*c + t - 85 = 18, -t + i = 5*c. Let p = 45 - c. Solve -6*u - p = -u for u.
-4
Let g = -23 - -40. Solve -g*y = -19*y - 4 for y.
-2
Let f be 4/(-22) - 124/44 - -5. Solve 0 = f*l - 4 for l.
2
Let u be 1 - (-8 + 4) - 3. Let d(n) = -2*n + 4. Let b be d(u). Solve b*j + 5*j + 10 = 0 for j.
-2
Let x be 14/(-70) + (-31)/(-5). Solve x = 2*l + 2 for l.
2
Let n = 18 + -11. Let c = -28 - -29. Suppose 5 - c = 2*q. Solve 0 = 5*p - q + n for p.
-1
Suppose 3*x + 46 = h, 5*x - 4*h + 4 + 61 = 0. Let y = -11 - x. Let f be ((-18)/8)/(6/(-16)). Solve -4*m - f = y for m.
-3
Let c(n) = -n**3 - 10*n**2 - 9*n - 6. Let g be c(-9). Let r = g - -8. Solve d - r*d = -3 for d.
3
Let s(d) be the third derivative of -d**4/24 - 4*d**3/3 + d**2. Let i be s(-8). Solve -3*w = -i*w + 9 for w.
-3
Suppose 5*l = 3*q + 14, 8*l - 3*l - 24 = -2*q. Let x = 2 - q. Suppose i + i = x. Solve -a + 5*a + 8 = i for a.
-2
Let r(w) = -w - 11. Let l be r(-12). Let x be (-24)/(-6) + l*2. Solve 4*y + x = y for y.
-2
Suppose 2*t - 16 = 3*q - 5*q, -2*t + 1 = 5*q. Suppose 0 = -3*y - 3*w + 12, 3*y + 2*w = -2*w + t. Solve -y = r + 1 for r.
-4
Let s be (-6)/12 - -2*(-75)/(-12). Solve t + s = 5*t for t.
3
Let z = -41 + 47. Solve 0 = 4*y - z*y + 2 for y.
1
Suppose 0 = 4*j + 4*z - 24, j + 2*j - 22 = -5*z. Suppose t + 2 - j = 0. Solve 3*u = t + 10 for u.
4
Let t be 4/6 - (-80)/6. Let a = -13 - 6. Let m = -14 - a. Solve -t - 1 = m*c for c.
-3
Let j(t) = t - 2. Let g be j(6). Solve 25 = -d - g*d for d.
-5
Let k be 42/70 - (-6)/(-10). Solve -i - i - 4 = k for i.
-2
Let a(o) = o**2 + 10*o - 8. Let h be a(-12). Let v = 63 - 34. Suppose 6*z - 5*g = 3*z + 37, g = 3*z - v. Solve 5*t - h - z = 0 for t.
5
Suppose -2*k + 4*s - 18 = -s, k = -s + 5. Solve k = n - 0*n for n.
1
Suppose -4*t + 10 = -26. Let p = t + -5. Let z = 1 + p. Solve -z*w + 25 = -0*w for w.
5
Let q be 0/(-2)*8/(-16). Solve q = 5*o + 4 + 16 for o.
-4
Let s(d) be the third derivative of d**2 - 1/120*d**6 - 5/24*d**4 + 0*d + 0 - 1/15*d**5 - 1/2*d**3. Let f be s(-3). Solve -x = f*x + 4 for x.
-1
Suppose -35*h + 32*h = -18. Solve -5*p + h = 1 for p.
1
Let j be 10/4 - 18/36. Solve -5*g - 9 = -j*g for g.
-3
Suppose 10*t = 17*t - 133. Solve t = 3*i + 4 for i.
5
Suppose 3 = 5*w - 27. Solve -w*l = -2*l for l.
0
Suppose -9 = 5*c - 109. Let w = c - 3. Solve -5 + w = 3*m for m.
4
Suppose 3*s + 2 + 4 = 0, -o - s + 5 = 0. Solve -o*a = -2*a - 25 for a.
5
Let c(i) = -i**2 - 4*i. Let k be c(-3). Suppose 3*a = -3*f - 1 - 2, 0 = -k*a - 5*f + 7. Let r = a - -9. Solve 3*m - 4*m = -r for m.
3
Let u be ((-30)/25)/(9/(-150)). Suppose 5*v - 2*v = 3*j, 0 = -4*j + v + 12. Solve 0 = -l - j*l - u for l.
-4
Let f = 8 - 6. Suppose -4*x = -2*b - 3*b - 33, 16 = -f*x - 4*b. Solve h = 2 + x for h.
4
Let d = 12 - 2. Suppose 0 = 2*c - 7*c + d. Suppose -1 + 5 = c*p. Solve o = -p*o for o.
0
Let n(k) = k**3 - k. Let p be n(0). Solve 2*v - 1 - 3 = p for v.
2
Let a(g) = g**2 + g + 2. Suppose 0 = 5*o + 8 + 2. Let z be a(o). Suppose n = 4*r - 20, -r - 15 = n - z*r. Solve n = 3*q + q for q.
0
Suppose 5*q = -0*n - 2*n + 24, -n - 2*q = -10. Solve -l + n = l for l.
1
Let n be 0/(0 - (-5 + 3)). Suppose o - 4*j = 8, -3*o - 4 = 2*j - n. Solve o*y + 12 = -3*y for y.
-4
Let f = 49 - 33. Solve f = -6*s + 2*s for s.
-4
Let i(k) = -k**2 - 2*k + 1. Let m(y) be the second derivative of y**4/12 - 5*y**3/6 + 2*y**2 + 3*y. Let x be m(3). Let p be i(x). Solve -g + 0*g = -p for g.
1
Let a(o) = o**2 - 12*o + 1. Let k be a(9). Let t = k - -26. Solve t = f + 4*f + 10 for f.
-2
Suppose -j = -5*c - 2*j + 61, 5*j = -2*c + 29. Solve -2*t + 2 = c for t.
-5
Let q(v) = v**3 + 4*v**2 + 4*v + 3. Let t be q(-2). Solve 0 - 3 = t*k for k.
-1
Let r be (20/(-6))/((-14)/21). Suppose 3*o + 6 = -3*g, g - 2 = -r*o - 24. Suppose 0 = 2*k + k - g. Solve 0 = 2*b - k - 3 for b.
2
Suppose -4*j + 5 = 13. Let k be ((-4)/(-10))/(j/(-10)). Solve -k*m + 15 = -7*m for m.
-3
Suppose 2*c = 4*f + f - 85, 4*c - 68 = -4*f. Let k = -13 + f. Solve 0 = k*x - 18 - 2 for x.
5
Suppose 4*z - 8 = l - 0, -z + 2 = -l. Solve l = 5*k - k for k.
0
Let x(h) = h**3 + h**2 + 5*h - 4. Let j(q) = -q**3 - 6*q + 4. Let k(w) = -3*j(w) - 4*x(w). Suppose -6 = g + g. Let i be k(g). Solve 0*n = -n + i for n.
1
Let c be (6 - -2) + -1 + 3. Let x = -7 + c. Let r be (6/4)/(x/16). Solve -4 = 4*l - r for l.
1
Let q(p) = -p**2 + 13*p + 25. Let g be q(14). Let m be -2*1/2*-3. Solve -2 = m*l - g for l.
3
Let j(f) = f**2 + 2*f + 2. Let a be j(-4). Solve -4 + a = -2*q for q.
-3
Suppose -2*s = -3*s, 0 = h - 5*s - 4. Solve 0 = h*d - 1 - 15 for d.
4
Let z(c) be the first derivative of -c**3/3 + 7*c**2/2 - 1. Suppose -v = -9 + 2. Let p be z(v). Solve p - 12 = -4*n for n.
3
Suppose -n = -5*n - 2*b + 10, -2*b - 11 = -3*n. Let y(l) = 9*l - 1. Let d be y(n). Suppose -5*s - 6 + d = 0. Solve i = s*i for i.
0
Let y = 4 + -10. Let m = 13 + y. Solve -5*j - m = 3 for j.
-2
Suppose -4*b = 6 - 14, 0 = -2*l + 5*b. Solve -8 = -l*y + 7 for y.
3
Suppose -w + 2*w - 7 = 0. Solve w = 4*j - 5 for j.
3
Suppose -2*p - 2*d + 12 = 0, 0 = p + 3*d + 5 - 15. Suppose f = -p*f. Let y be (1/(-2) - 0)*f. Solve 0 = -2*q - 6 - y for q.
-3
Let w(j) = -j**2 - 9*j + 2. Let g be w(-9). Suppose 3*x = -3*k, g*x - 25 = 4*k - k. Solve 8*n - x*n = 0 for n.
0
Let n = 97 - 82. Solve 0 = 5*l - n + 5 for l.
2
Suppose 3*o - o - 10 = 0. Suppose -4*i + 22 = -14. Suppose 0 = 2*u - 15 - 7. Solve u + i = o*r for r.
4
Let g(p) = -3*p - 13. Let a be g(-12). Let h = a - 17. Solve f - h*f = -5 for f.
1
Let x be 6*(1 - 1/2). Suppose -r - 5*u - 38 = -5*r, -2*r + 18 = -x*u. Solve 3*d = r + 3 for d.
5
Let d = -122 + 122. Solve d*x - x = -1 for x.
1
Suppose 3*y = -2*s - 16, -3*y + 19 = -6*y + s. Let d be y*(-1 + 3/9). Solve -2*o + d = -6 for o.
5
Suppose -5*o + o - 10 = -5*h, 3*o - 10 = -5*h. Solve p = h*p + 5 for p.
-5
Let z(m) = m**3 - 22*m**2 - 5*m + 118. Let u be z(22). Let f(o) = -27*o + 1. Let a be f(-1). Solve a - u = 4*w for w.
5
Suppose 2*x + 6 = 3*x. Let j = 6 - x. Suppose -5*o - 5 = j, -c - o - 91 = -6*c. Solve 5*a + c - 3 = 0 for a.
-3
Let y(j) = j**3 - 2*j**2 + 2*j - 2. Let c be y(2). Suppose 3*u - c = 2*u. Suppose 5*t + 6 = -f, -u*f = 2*t + 2*t. Solve -q = q + f for q.
-2
Let k(t) = t**3 + 3*t**2 + t. Let h be k(-2). Suppose 3 = 3*i - h*i. Solve -j = -i*j for j.
0
Let q = -12 + 19. Suppose -2*m - 3 = -q. Solve m*b = -2*b + 20 for b.
5
Let z = 6 - -10. Suppose 2*t + t + 5*r = -z, -t + 2*r + 13 = 0. Solve 2*n - t = -n for n.
1
Suppose -q = 4*h - 10, 4*h + 2*q - 2 - 6 = 0. Solve 0 = 2*w - h*w for w.
0
Let z be (2 - 0)*(1 + 1). Suppose -4*s + y + 10 = 0, 0 = -2*s - y + 4 + z. Solve 5 + s = -4*g for