 = 4*k + 12 for k.
-3
Let h be 4/16 + 146/(-8). Let v be ((-12)/h)/(2/54). Solve 5*k = -7 - v for k.
-5
Suppose a - 240 = -2*k, 5*k = -a + 3*a + 600. Suppose -4*l + k = -5*f, 9 = -l + 2*l + 4*f. Let s = l + 2. Solve 4*t - 7 = -s for t.
-5
Let n(l) = -19*l + 1. Let k be n(-1). Solve 7*m = 2*m - k for m.
-4
Suppose -4*h - 16 = 0, -4*b + 2*b + 4*h + 26 = 0. Solve b*z = -32 + 7 for z.
-5
Suppose 2*o + 6 = 2*m - 16, 0 = 5*o + 10. Solve 3*b = -6 - m for b.
-5
Let z(v) be the third derivative of v**7/1680 + v**5/20 - v**2. Let b(r) be the third derivative of z(r). Let g be b(1). Solve -13 = g*h + 2 for h.
-5
Suppose 15 = -0*c - c. Let k = c + 23. Let z = -4 + k. Solve 0*d = z*d for d.
0
Let t = 24 + -24. Solve t = -3*w + 2 + 13 for w.
5
Suppose 0 = 3*g + g. Let s be (8 + -2)/(1*-2). Let u(q) = -2*q - 2. Let w be u(s). Solve g = -4*j + 8*j - w for j.
1
Suppose 5*q - 4 - 16 = 0. Let k(u) = -u**3 + 3*u**2 + 2*u - 4. Let a be k(q). Let v be ((-2)/(-6))/((-2)/a). Solve -v = 2*n - n for n.
-2
Let m be 10 + (15/(-9) - (-6)/9). Solve 2*r - 3 = -m for r.
-3
Let c(o) = -o + 1. Let t be c(4). Let v be 1/t + 22/3. Solve 3*b + 2 = -v for b.
-3
Suppose -a - 3*y + 4 = 2, -5*a = -5*y - 30. Let o be (-182)/(-10) + (-1)/a. Suppose 4*v - 14 = -r - 0, -3*r + o = 4*v. Solve 2 = -r*z - 8 for z.
-5
Suppose 6*w = 102 - 0. Solve 0 = -5*u + w + 3 for u.
4
Let d = -12 + 18. Solve 2*u - 4 = d*u for u.
-1
Let q(c) = -c**3 + 8*c**2 - c + 10. Let v be q(8). Suppose -1 = v*r - 5. Solve 3*i = -r*i - 20 for i.
-4
Let c be 6/(-24)*4*-1. Let g be (-2)/(c/3 - 1). Solve g*i + 11 = -4 for i.
-5
Suppose 5*y = 20, -4*r + 8*r - 2*y - 4 = 0. Let c be 1*(-3 + (-18)/(-2)). Solve -c = 3*k - r for k.
-1
Let x(a) = -a**3 - 5*a**2 - 3. Let v be x(-4). Let h = v + 31. Solve 3*l - h = -0*l for l.
4
Let r = 6 - -4. Suppose 2*a + 3*q = r, 3*q - 8 = -q. Solve 5*i = a*i + 15 for i.
5
Let l be -1 + -1 - 2*-1. Suppose -3*j = -j - 4. Let f be l/(j/1) + 0. Solve f = r - 0*r - 5 for r.
5
Suppose -2*o - 4 = -4*o, -3*s + 5*o = -8. Suppose -u = u - 4*a + 2, 3*a = 3*u - s. Let g be 7 + 1/(-2)*-4. Solve 0 = -u*w + g + 1 for w.
2
Let s(b) = 4 - b + 0*b + 0 + 2. Let j be s(6). Solve j = w + 3*w for w.
0
Let z(n) = n**3 + 3*n**2 - 3*n - 1. Let m be z(-3). Let f = -5 + m. Let x = f + -2. Solve -2*u - x = 9 for u.
-5
Let b be 4/6 + 3/9. Let n be ((-5)/(-4))/(-1)*4. Let h = -1 - n. Solve 5*p + b = -h for p.
-1
Suppose 5*h + 10 = -0*c - 2*c, -5*h - 30 = -2*c. Suppose -2*n + c*t + 0 = 5, -n + 1 = t. Solve -j - 4*j + 20 = n for j.
4
Let h be (-1)/4*-6*2. Solve -9 = -h*i + 6 for i.
5
Let m(c) = -2*c + 8. Let w = 14 - 8. Let l be m(w). Let n be ((-2)/4)/(l/16). Solve -4 = -2*s - n for s.
1
Let i = 4 - 1. Let y be ((-4)/12)/((-1)/12*1). Let v be 12*(y/i)/4. Solve -4*s = -0*s + v for s.
-1
Let d = -6 + 11. Solve 6*j - d = j for j.
1
Let z(h) = 9*h**3 - h**2. Let o be z(1). Let j = -9 - -13. Suppose -j*f + o + 4 = 0. Solve -f = 2*x + x for x.
-1
Let x = 1 + 7. Solve 5*z - z = x for z.
2
Suppose -9 - 15 = -6*z. Suppose -k = 4*k + u - 37, 0 = 5*k - z*u - 52. Solve 3*x = k*x + 15 for x.
-3
Let v be -4 + 4 + 23 + -4. Solve 4*r + v = 3 for r.
-4
Suppose -3 - 1 = 4*t, -2*y + 3*t + 7 = 0. Let b be 0/(-6 + (-16)/(-4)). Solve b*s = -y*s for s.
0
Let g be 19/1 + -1 - 2. Suppose g + 24 = w + 5*z, 4*z + 10 = 2*w. Solve -5*c + 0*c + w = 0 for c.
3
Let j(z) = z + 2. Let q be j(-4). Let y be 3 + q + 0 + 1. Let a be (5 + 0)/((-1)/(-1)). Solve a*h = -y - 13 for h.
-3
Let z(t) = t**2 - 11*t - 9. Let q(w) = -w**3 - 8*w**2 + 9*w + 12. Let x be q(-9). Let b be z(x). Solve 0 = -b*n + 4*n - 3 for n.
3
Let q(n) = -n**2 + n + 1. Let m be q(2). Let x be m - ((-1 - 2) + 2). Solve s + 3 = -x*s for s.
-3
Let a = 33 + -53. Let j = 35 + a. Let v(k) = k**2 + 3*k - 6. Let i be v(-5). Solve i*c - c = -j for c.
-5
Let w be (10/6)/(20/24). Solve w*h = -3*h - 20 for h.
-4
Let r(y) = -6*y + 2 + 3*y - y**2 - 7*y - 2*y. Let u be r(-12). Solve -8 = -4*c + u*c for c.
4
Let b(f) = 11*f + 35. Let s(d) = -4*d - 12. Let o(k) = 3*b(k) + 8*s(k). Let v be o(-6). Solve -1 = a - v for a.
2
Let d(b) = b**3 + 6*b**2 + 4*b - 5. Let z(t) = -t**3 - 4*t**2 + 2*t + 3. Let o be z(-4). Let g be d(o). Solve g = -c - c for c.
0
Let z(k) = -4*k**2 + 5*k**2 - 4 - 7*k - 2. Let v be (-3174)/(-391) - 4/34. Let u be z(v). Solve -5*f = 7 - u for f.
-1
Let x(d) = -d**3 + 11*d**2 - 4. Let v be x(11). Let r = 2 - v. Let b = r + -3. Solve -4*j - 13 = b for j.
-4
Suppose -3*s + 23 = 14. Solve 0 = -f - s*f + 16 for f.
4
Let q(c) = -c**2 - 12*c + 13. Let u = 30 - 43. Let n be q(u). Solve -m - m = n for m.
0
Let t = -5 + 10. Suppose u = 11 + t. Solve -d = 3*d - u for d.
4
Let j = -64 + 66. Let i be 1 + 1 + -1 - 1. Let v = 0 - i. Solve v = -0*w - j*w - 2 for w.
-1
Let m be (-2 + 2)*(0 + -1). Let r(a) = a + 1. Let s be r(m). Solve -g - s = -3 for g.
2
Let g(n) = -n - 12. Let k be g(-12). Solve k*v = v - 2 for v.
2
Let k = 46 - 46. Solve -4*d + 3*d = k for d.
0
Let g = -1 - 3. Let r = -2 - g. Let q be 5/r + (-1)/2. Solve -q*u - 10 = -0 for u.
-5
Let b(s) = s**2 - 9*s - 1. Suppose -11 = 5*a - 56. Let j be b(a). Let f be j + (-1 - -3) + 14. Solve 0 = -4*k - f - 5 for k.
-5
Let x(p) = -p**3 - 10*p**2 - 10*p - 7. Let s be x(-9). Solve s*u + 3 - 11 = 0 for u.
4
Let g be 8/28 + 36/21. Solve 2 + 0 = -g*m for m.
-1
Let u(o) = -2*o - 7. Let x be u(-6). Let y be -1*(4*-1 - -1). Let z be (y + -2)/(1 + 0). Solve x*w = z + 9 for w.
2
Suppose 0 = -0*p - 4*p. Let r(t) = -2*t + 37. Let s be r(16). Solve -a + s*a - 8 = p for a.
2
Let d(c) = 7*c**3 - 2*c**2 + 2*c. Let m be d(1). Solve 3*q = m*q - 4 for q.
1
Let l(t) = t**2 + t - 5. Let b be l(3). Solve -4*a - b = 5 for a.
-3
Let f(p) = 4*p**3 - 2*p**2 + p. Let t be 1/(-5)*10/(-2). Let q be f(t). Solve -2 + 8 = -q*n for n.
-2
Let z be ((-4)/6)/((-10)/45). Suppose z*b = -2*b. Suppose -3*l + 3*f = b, -3*l - 3*f + f = 0. Solve l = -t - 4 - 0 for t.
-4
Let p be 3 + -1 - (3 + -3). Solve -v = p*v + 6 for v.
-2
Let h = 7 - 3. Let v(a) = -3*a - 1. Let i be v(-1). Solve -3*y - h = i for y.
-2
Let c be (-2 - 0)/((-2)/5). Solve c*n = -6 + 16 for n.
2
Let g = 1 + -1. Suppose -4*t + 2*t + 20 = g. Suppose 4*q = -4*q + 24. Solve q*v = v + t for v.
5
Let c = -53 - -60. Solve -2*f - 3 = -c for f.
2
Let s(o) = o + 8. Let q be 0 + (1 + -2 - -1). Let f be s(q). Suppose b + 2*a = -f, b + 3 = 5*b + a. Solve 2*k - 4 = -b*k for k.
1
Suppose 0 = 6*f - f. Let h(q) = q - 5. Let u be h(8). Suppose -r = u*r. Solve 2*i + f*i = r for i.
0
Suppose w - 2 = -n + 5, -w + 5 = 0. Let u = 7 - 1. Solve -n*o + u = -5*o for o.
-2
Let r(f) = 6*f**3. Let g be r(1). Solve -x - 20 = -g*x for x.
4
Let k be (-3 + 1)*18/(-6). Solve -k*r + r = 10 for r.
-2
Suppose 0*i + 3*k - 7 = 4*i, 5*i = 3*k - 5. Suppose 0 = b + b. Solve i*g + 2*g = b for g.
0
Let s be (17 - 18)/((-1)/2). Solve -10 = 4*j - s*j for j.
-5
Let k = 4 - 0. Solve k*d + 11 = 3 for d.
-2
Let j be 5/(5/(-3)) + -7. Let u = j + 14. Solve u*f - 10 = -2 for f.
2
Let b(k) = -k**3 + 2 + 0*k**3 - 3*k**2 + 2*k**3. Suppose -52*i = -47*i - 15. Let q be b(i). Solve -q*y - y + 9 = 0 for y.
3
Let q be (24/(-20))/(3/(-40)). Suppose 0 = -3*b + b + q. Solve b = -2*r - 0*r for r.
-4
Let i = -3 - -6. Let o = 489 + -486. Solve o*l = 2*l - i for l.
-3
Let n = 10 - 10. Suppose -v + 9 = -6. Solve 5*u + n*u - v = 0 for u.
3
Let b(i) = i**2. Let l(a) = -2*a**2. Let m(f) = 4*b(f) - 2*l(f). Let u be m(-1). Solve -n - n - u = 0 for n.
-4
Suppose q - 2 = -n - 0*n, -4*n + 16 = -4*q. Solve -3 + 9 = -n*j for j.
-2
Let k(p) = p**3 + 4*p**2 - 6*p - 5. Let n be k(-5). Suppose n = -t - 0*t. Solve 4*v + 0*v + 8 = t for v.
-2
Let a = -1 + -1. Let n be a/12 + (-3)/(-18). Solve n = 2*i - i for i.
0
Let x = -43 - -45. Solve x*d + 0 = 10 for d.
5
Let t(b) = -3*b**2 - 9*b + 4. Let l be t(-3). Solve 5*k - l*k = -3 for k.
-3
Suppose 0 = -i + 4*k + k, -5*k = 0. Suppose 0 = 4*b - 3*n + 14, 5*b + 5*n = -i*n. Let p be 4*2/((-8)/b). Solve -7*a = -p*a + 20 for a.
-4
Let w = -3 - -6. Solve -w*g - 10 = -g for g.
-5
Let n = 18 + -18. Suppose 4*p - 80 = -2*j, 3*j - 5*p - 24 - 151 = 0. Suppose 4*v = -v + j. Solve -u + 6*u + v = n for u.
-2
Suppose 187 + 53 = 3*y. Suppose y = 5*p - p. Let v be (-8)/(-10)*p/1. Solve 0*c - v = -4*c for c.
4
Suppose -2*j + u + 60 = 6*u, 68 = 3*j + 2*u. Solve 9*d - 4*d = -j for d.
-