. Let x be c(t). Let m be x/((-2)/3 - -1). Solve -4 - 8 = -m*d for d.
4
Let x(a) = 7*a**2 + 2*a**2 + 4 + 2*a - 4*a**2 - 2. Let o be x(-1). Solve o*y = -16 + 41 for y.
5
Let a(q) be the third derivative of q**6/120 + q**5/15 + 5*q**4/24 + 2*q**3/3 - q**2. Let t be a(-3). Let s be (t - -2)*(-1)/2. Solve o = -s*o for o.
0
Suppose -4*c - 20 = -t - 2*t, 0 = -5*t + 2*c + 10. Suppose -2*j + 6 = -t. Suppose -j*r = -15 - 3. Solve 3 = n + r for n.
-3
Suppose 0 = 3*h - 5*h + 4. Let d = h + 1. Solve 0*o + d*o - 12 = 0 for o.
4
Let t = -20 + 22. Solve -1 = -t*i - 5 for i.
-2
Let r(u) = -u + 2. Let g be r(-6). Let m = -5 + g. Solve -1 - 2 = -m*c for c.
1
Suppose -4*x - 8 = -n, x = 3 - 2. Solve 8 + n = -5*a for a.
-4
Let a be 14/3 - (-2)/(-3). Let w be 4/(-16) + 110/(-8). Let g be 4/w + (-23)/(-7). Solve -l + g = -a*l for l.
-1
Let j(n) = -n**2 - 11*n + 14. Let o be j(-12). Solve 5 = -o*r - 5 for r.
-5
Suppose 2*g - 71 = 3*x, g = -4*x - 4*g - 87. Let a = x - -23. Solve a*k = -2*k for k.
0
Suppose 0 = 2*h + 4, a - 2 = -3*h + 2*h. Solve a = 3*k + k for k.
1
Suppose 5*r - 2*a = 0, 3 = -5*r + 3*a - 2. Suppose -2 = -r*o + 10. Solve 0*h - 2*h - o = 0 for h.
-3
Suppose 2*b = -b - 27. Let j be 3/b - (-58)/(-6). Let u = 16 + j. Solve u = -n + 3*n for n.
3
Let f(v) = -v - 2. Let s be f(-2). Suppose 9*n - 4*n - 15 = s. Solve p = -n*p for p.
0
Let g = -3 + 8. Suppose -3 = -4*h + g. Solve h*n - 2 = n for n.
2
Let y = -8 - -8. Let k be (1 - 1)/(y - 1). Solve k = -2*v + 6 - 0 for v.
3
Let a(f) = -4*f**3 + f**2 - f - 1. Suppose -3*h - 2 = -h. Let y be a(h). Solve 6 + 9 = -y*k for k.
-3
Suppose -61 + 7 = -18*q. Solve -3*a = -4*a - q for a.
-3
Suppose -5*s - 12 = y, 3*y + 5*s = 10 + 4. Solve -3*n - y = -4 for n.
-3
Let n(z) = z**3 + 5*z**2 - 2*z. Let g be n(-5). Suppose 7*k = 2*k + g. Solve -3*v + k*v + 2 = 0 for v.
2
Let m(s) = s - 6. Let a be m(8). Solve -8 = -a*f + 2 for f.
5
Let h(k) = 3*k**2 - 3*k - 2. Let a be h(-2). Let v = -10 + a. Solve -q + v = 2*q for q.
2
Let y be ((-10)/15)/((-2)/(-15)). Let z be 2/5 + (-23)/y. Suppose 0 = -s - 3*l + 4, -4*s + l - 4*l = -16. Solve 15 = -s*b - z for b.
-5
Suppose -5*j - 4 = 3*i, -5*i - 4*j = -2*i + 2. Solve -i*c + 5*c + 9 = 0 for c.
-3
Suppose 5*t = -2*i, 5*t - 5*i - 18 - 17 = 0. Solve 0*h = t*h - 8 for h.
4
Let n = 6 - 27. Let q = 33 + n. Solve -5*u = -3 - q for u.
3
Let q(w) = -w - 5. Let s(o) = -o**2 - 6*o + 2. Let g be s(-7). Let z be q(g). Solve z = -5*a + 6*a + 4 for a.
-4
Suppose -16 = 3*c - c + 2*b, 0 = -2*c - 3*b - 12. Let q be c/(-4) + (0 - 3). Solve -3*n + 2*n + 4 = q for n.
4
Let r(a) = 4*a**2 + 2*a - 1. Let o be r(1). Suppose -2*s = o*c - 5*s + 31, -5*c - 2*s = 21. Let n = 10 + c. Solve n*i + 18 - 8 = 0 for i.
-2
Suppose -4*p + 21 = p + 4*n, 0 = 2*p + 5*n - 5. Suppose -p*m + 18 = -7. Let z be 6/m*(6 + -1). Solve -2*v = v - z for v.
2
Suppose 40 = 3*l + l - 4*a, -4*l + 3*a + 39 = 0. Suppose 5 = d - 2*u, 4*u = 2*d + u - l. Suppose v + 4*f = 24, -4*f = -3*f - d. Solve -4*y - v = -y for y.
-4
Suppose 16*u = 23 + 9. Solve 0 = 2*o + u - 10 for o.
4
Let z be (3 + -2 + 2)*1. Solve z*x = -5 - 1 for x.
-2
Suppose h - 26 = 4*f, h - 6*h + 130 = f. Let o = h - 23. Solve o*m + 2*m = 0 for m.
0
Suppose 5*k = 3*q - 55, 2*k - 13 + 3 = -2*q. Suppose -2*i + 7*i = q. Solve 0*c + 2 = i*c for c.
1
Suppose 2*c = -0*c + 4. Suppose -4*v + 8 = -c*v. Solve 9*s - v*s = -10 for s.
-2
Suppose -2*b + 59 - 195 = 0. Let k = b - -106. Solve -5*g = -k + 13 for g.
5
Let d(q) = 5*q - 11. Let y(s) = -s. Let v(o) = -d(o) - 6*y(o). Let z be v(-8). Let p be -2*1 - (0 - z). Solve -p = -c + 4 for c.
5
Let b(h) = h**3 + h**2 - h + 5. Suppose -2*y = 2*y. Suppose 0*q + 3*q = y. Let p be b(q). Solve p*w - w - 4 = 0 for w.
1
Suppose -2*j - 14 = -2*n, -3*j - j = 2*n - 14. Suppose -n = -p - 3. Suppose 0 = v, p*v = -2*c - c + 15. Solve c*d + 4 = d for d.
-1
Suppose 0 = -2*y - 3*y + 10. Let w(b) = -b**2 + 4*b - 4. Let c be w(y). Solve 4*m + 8 + 4 = c for m.
-3
Let h be (-6)/(-27) + 50/18. Suppose -h - 1 = -z. Solve -y = -z*y + 3 for y.
1
Suppose n = 1 + 2. Let u = -12 - -17. Solve -n + u = b for b.
2
Let b(s) = s - 1. Let x be b(6). Suppose x*g - 1 = 9. Solve 0*a - g = a for a.
-2
Let g(l) = -l - 2. Let h be g(-2). Let n be (-1 - -1*4) + -7. Let r = 2 - n. Solve 3*p + h + r = 0 for p.
-2
Let x be (-8)/(-12) - 12/(-9). Solve -1 = -x*g + 7 for g.
4
Let h be 186/12 + 3/2. Let p be (-1)/2*(-1 + h). Let l = p + 12. Solve 0*k = k - l for k.
4
Let z be 4/(-2)*(-1 - 5). Suppose -5*l + 3*t - z = -l, -16 = -2*l - 4*t. Let j be 2/7 + 285/105. Solve l = 2*c - j*c for c.
0
Suppose 4 = 4*g + 3*s, -5*s - 36 = -4*g - 0*s. Solve 0 = 2*o - g - 2 for o.
3
Suppose 2*y + 0*p = 2*p + 22, -2 = -2*p. Let u be (-10)/((2 - 3) + 3). Let i = u + y. Solve 5*x - 4 = i*x for x.
-2
Suppose -3*v = q - 14 - 3, 3*v - q = 19. Solve -f = -v*f + 15 for f.
3
Let m be 0/2 + 6 + -1. Suppose 0 = 5*q + 4*p - m, 2*p = q - 3*p - 30. Solve -5*l - 10 = q for l.
-3
Let g be (-1)/(2 + (-10)/6). Let z = g - -6. Suppose 4*c = -3*f + 12, -z*c = 2*f - 7*f - 9. Solve f*x - 4*x = 0 for x.
0
Let b = 51 - 49. Solve b*x - 5*x - 9 = 0 for x.
-3
Let f = 7 - 23. Let x be -6*1*(-7)/14. Let c be 1/(x - (-46)/f). Solve v - c = -v for v.
4
Let x(w) = w**2 - 6*w + 4. Let k be x(8). Solve 5 - k = -3*v for v.
5
Let z = 2 - 2. Solve z = -4*j + 5 - 17 for j.
-3
Let u(n) = -5*n**3 - 9*n**2 + 15*n - 14. Let m(w) = 3*w**3 + 6*w**2 - 10*w + 9. Let q(y) = -8*m(y) - 5*u(y). Let o be q(3). Solve -4*v - o + 1 = 0 for v.
-3
Let v = 133 + -125. Let p = -2 + 4. Suppose 3 = 3*l - p*n - 3, 4*n = 3*l. Solve v = -l*w - 0 for w.
-2
Let f be (-10)/10 - (0 - -4). Let j be ((-9)/(-15))/(f/(-25)). Solve -2*o = -j*o + 4 for o.
4
Let x(y) be the second derivative of y**5/20 + y**4/4 - y**3 - 3*y**2/2 + 6*y. Let z be x(-4). Solve -z*v + v + 12 = 0 for v.
3
Let j(o) = 2*o - 7*o - 2 + 3*o. Let s be j(-2). Let v be ((-18)/(-33))/((-13)/(-143)). Solve v = s*h - 4*h for h.
-3
Suppose 0 = x + 5*i + 5, 4*x + 2*i = 2*x + 14. Let k be (-48)/(-20) + (-4)/x. Suppose 3*c + k*m + m = 15, m = c - 1. Solve c*b - 4*b = 0 for b.
0
Let b(x) = x + 7. Let w be b(-4). Let s = -3 + w. Let f = -10 + 21. Solve -6*k + f*k + 15 = s for k.
-3
Let m(g) = -g**3 - 11*g**2 - 11*g - 12. Let b be m(-10). Let i(f) = -2*f + 1. Let r be i(b). Solve 4*k + r = -7 for k.
-3
Suppose -2*x - 8 = -7*v + 3*v, -2*x - 2*v = -10. Let o = 2 - x. Solve o = -4*y + 3 - 7 for y.
-1
Let s(z) = z**3 + 16*z**2 - 16*z + 18. Let m be s(-17). Solve m + 3 = -n for n.
-4
Let o(a) = -5*a**3 - 15*a**2 + 7*a - 7. Let u(w) = -9*w**3 - 29*w**2 + 13*w - 14. Let d(m) = -11*o(m) + 6*u(m). Let z be d(9). Solve -2*g = z*g for g.
0
Let u = -5 + 7. Solve -p + 4 = u for p.
2
Suppose -6*t + 24 + 60 = 0. Solve -t*b = -9*b + 15 for b.
-3
Suppose 5*s - 20 + 5 = 0. Let n be (0*(-2)/4)/1. Let o be (-1)/(-3) - (-120)/45. Solve 0 = -n*j + s*j + o for j.
-1
Let o = -20 + 24. Solve -g = o*g for g.
0
Let f(z) = -2*z + 20. Let d be f(10). Solve 2*v + 9 - 1 = d for v.
-4
Let v be (16/6)/(6/27). Suppose -3*d + v = 0, -2*d - d + 24 = 3*w. Solve w + 8 = -4*t for t.
-3
Let f = 14 - 2. Let k = -12 + f. Solve 4*w + k*w = 0 for w.
0
Let u be (-31)/(-10) - 19/190. Let l = -4 + 14. Solve -2*a - l = u*a for a.
-2
Let u be ((-6)/5)/((-14)/35). Solve -v = -0*v + u for v.
-3
Suppose -4*t + 23 = -9. Let c be (-36)/12 - (3 - 1). Let f = 9 + c. Solve t - 24 = f*j for j.
-4
Let b(q) = -2*q + 10. Let l be b(7). Let x be (-20)/3*(-6)/l. Let p be (-1)/(-1) - x - 1. Solve 2*s = p - 0 for s.
5
Suppose i + 4*y = 2*y + 6, -4 = -4*y. Suppose -i*l + 9*l = 25. Solve -15 = l*m - 0 for m.
-3
Let c(o) = o - 3. Let b be c(0). Let m = -2 - b. Let f be m - (1 + -2 - -2). Solve 0*y - 3*y - 3 = f for y.
-1
Let t(u) = u + 3. Let i be t(3). Suppose -2*b + i*b - 20 = 0. Solve -5*h + 0*h = b for h.
-1
Suppose 3*t = -2*t. Let g be 4 + 0/(-1) - t. Solve -4*q = 12 + g for q.
-4
Let f be (-12)/8*2/(-3). Let r = f + 2. Solve 4*j - r*j + 3 = 0 for j.
-3
Let n = 15 - -4. Suppose n = 4*u + 3. Let r be 1/(-1 + 6/u). Solve -r*z + 2 = -z for z.
2
Let b be 6/(-8)*(-1 + -3). Let w = 7 + b. Solve 0 = 2*c - 0 - w for c.
5
Let w be (3 + -2)*0 + 4. Suppose 4*d - 44 = 4*g, -4*g - g - 1 = 4*d. Solve -w*p - d = -p for p.
-2
Let b be 2/(-18) + 3/((-54)/(-56)). Solve b*u = u + 8 for u.
4
Let s be 0*