6*l + 4. Let c be a(6). Solve c*s - 2*s = -2 for s.
-1
Suppose 0*c = -2*c - 3*a + 1, 0 = 5*c + a - 9. Let v(j) = -5*j - 3*j + 5*j + c*j. Let g be v(-2). Solve 0 = g*f - f - 4 for f.
4
Suppose -1 - 5 = -2*r. Let m(o) = o - 3. Let t be m(5). Let f = t - 2. Solve -x - r = -f for x.
-3
Suppose 4*s + 21 = u + 48, 4*u + 53 = 5*s. Let p = -6 - u. Solve 2*l = -p + 3 for l.
1
Let w(p) = -p**3 - 2*p**2 + 1. Let c be w(-1). Let s = c + 4. Solve -s*k + 3 = 19 for k.
-4
Suppose 0 = 3*d - 2*u - 8, 6*u - u + 5 = 0. Let c = d - 2. Solve c = 2*q + q for q.
0
Let n(b) be the third derivative of b**6/120 + b**5/12 - b**4/24 - 5*b**3/6 - b**2. Let y be n(-5). Solve -g + y*g - 4 = 0 for g.
-4
Suppose 0 = -2*i - 3*i. Let y = i + 0. Suppose y = -0*w - 2*w. Solve 4*d - 8 - 12 = w for d.
5
Let l(h) = 2*h**3 + 2*h - 1. Let x be 2 + -8 + 4 + 3. Let p be l(x). Solve 0*g = -g + p for g.
3
Let o be (-1)/4 + (-226)/(-8). Suppose 3*m - 5*c + 27 = 0, -3*m = -0*c + 3*c + 51. Let y = -9 - m. Solve -o = -y*g - 8 for g.
4
Suppose 0 = -2*m + 10, -2*z + 5*m + 65 = -32. Suppose y - 2 = 3*q + 21, 3*y = q + z. Let d(v) = v**3. Let s be d(0). Solve 4*h + s - y = 0 for h.
5
Suppose 4*t - 15 = -t. Suppose -d = n + t, -2*n - 12 + 2 = 0. Solve 3*a - 1 = d*a for a.
1
Let w be (-3 + 2)/(45/12 - 4). Solve -11 = -3*q + w for q.
5
Let s be 8/12*36 + 0. Let o = 29 - s. Solve 0 = 3*p + 2*p - o for p.
1
Let h(t) = -t**3 - 4*t**2 - 5*t - 6. Let z be h(-3). Solve 2*p + z*p - 4 = 0 for p.
2
Let c(h) = h**2 - 11*h - 8. Suppose -d = -4*d + 45. Let n = -3 + d. Let f be c(n). Solve f*x = -x for x.
0
Suppose -x + 4*x = -z + 3, 2*z + 6 = 0. Let f be 5/(52/12 + -4). Solve -3*j - f = x*j for j.
-3
Suppose 2*o + 58 = 68. Solve 3*c = o - 2 for c.
1
Suppose 5*o + 1 = m, 2 - 6 = -4*m - 5*o. Solve 2*a = m - 5 for a.
-2
Let h(o) = 7*o. Let j be h(3). Let b be (6/j)/((-4)/(-28)). Suppose z = b*q - 0*q - 4, z = 0. Solve q*t + 20 = -3*t for t.
-4
Let f(p) = p**3 + 2*p**2 - 4*p. Let n be f(-3). Let v = n - 7. Let t be (-5)/v - (-2)/(-8). Solve a + 2 = -t for a.
-3
Let m(h) = h**2 + 10*h + 3. Let i be m(-8). Let q(x) = x**2 + 14*x + 16. Let a be q(i). Solve 2*c - a*c = -4 for c.
4
Suppose -5*w = -5*h + 15, -w - 16 - 5 = -4*h. Let c = -7 + 7. Suppose 0 = x - c - h. Solve -r - x = 2*r for r.
-2
Let g = -1 + 3. Suppose 0 = -3*c - 3*p, g*c - 12 = -4*p - p. Let y = c - -7. Solve -2*b = -y*b for b.
0
Let x be (-10)/(-45) + 38/(-9). Let a be 2*-1 - x/2. Solve 0 = -a*v - 5*v for v.
0
Suppose 4*c - 5 = -5*f, -c + 3*f = 3*c - 29. Solve -c*o = 29 - 4 for o.
-5
Let j be (14/(-3) - -5)/(1/15). Solve -j + 10 = -p for p.
-5
Suppose -5*f - 15 = 0, 5*f - 3 = -4*x - 2. Suppose v = x*a + 6, -v + a = -0*v - 3. Solve -s - 5 = -v for s.
-3
Let j(f) = -11*f - 2. Let g be j(-1). Solve g = -5*u + 2*u for u.
-3
Suppose -5*a + 25 = 0, -4*t - 2*a + 6*a - 4 = 0. Let j = 6 + 0. Let p be (4/12)/(2/j). Solve v = t - p for v.
3
Let s = -100 + 104. Solve -s = 2*a - 2 for a.
-1
Suppose -2*j = 4*p - 3*p + 4, -5*j - 2*p = 8. Solve j = d + 8 - 10 for d.
2
Let y = -31 + 47. Solve 0 = 3*h + h + y for h.
-4
Let i be 1/(-3*(-1)/15). Solve -h = -i*h for h.
0
Suppose 0 = 2*w - 5*w - r - 6, 5*w + 10 = 3*r. Let j(c) = -2*c**3 - 3*c**2 - 2*c + 2. Let h be j(w). Solve 6*a - h = a for a.
2
Let x = -1 + 3. Suppose x*t - 7*t + 51 = -4*l, 13 = -l + t. Let v be (-276)/l - (-2)/7. Solve -n = -6*n + v for n.
4
Suppose 8*c - 26 = 30. Solve -p + 5 = c for p.
-2
Suppose -1 + 7 = 3*c. Let u(n) = -4*n**3 + n**2 + 8*n + 6. Let g(b) = -b**3 + b**2 + b + 1. Let r(j) = 3*g(j) - u(j). Let i be r(-3). Solve s = -i + c for s.
-1
Let m be 3/27 + (-53)/(-9). Solve 3 = x + m for x.
-3
Let l be (-3)/((-9)/6) + -1. Let x be 5 - (l + -2 - -3). Let n(i) = -i**3 + 3*i**2 + 2*i - 2. Let g be n(3). Solve -x*r + 1 = g for r.
-1
Let y be (-3)/7 - 138/21. Let q be (-23)/y - 12/42. Suppose 0 = q*u - 10 - 2. Solve 2*z = u*z for z.
0
Let v(a) = -5*a**2 + 9*a + 8. Let x(s) = -11*s**2 + 18*s + 16. Let m = -12 + 6. Let o(b) = m*x(b) + 13*v(b). Let g be o(-8). Solve g*j + 4 = -2*j for j.
-2
Let l = 15 - 1. Suppose -3*q + 2*b = -2 - 3, -4*b = -3*q + 1. Suppose q*u = 2*r + 11, 3*r + 2*u - 6 = 5*r. Solve r = 4*s - l for s.
4
Let v(c) = -c**3 + c**2 - c + 10. Let g = -13 - -13. Let i be v(g). Solve -z - z = i for z.
-5
Suppose 0 = 5*i + x - 18, 0 = -3*i + 5*x + 5 - 11. Solve -2*o = i*o for o.
0
Let k be (-10)/40 - 9/(-4). Let d be ((-12)/8 + k)*0. Solve d*p = 3*p + 6 for p.
-2
Let j be 2/(-7) - (-172)/14. Let w(r) = r**3 - 16*r**2 - r + 16. Let f be w(16). Let v = 3 - f. Solve 7*y = v*y - j for y.
-3
Let y = 28 + -26. Suppose 7*w - y*w - 10 = 0. Let g(l) = -l**3 + 3*l**2 + 2*l - 4. Let h be g(3). Solve w*f - f = -h for f.
-2
Let t be (-4)/(-18) + (-204)/(-54). Let j be -4*-2*(-3)/(-6). Solve -j*y = -0 + t for y.
-1
Let c(f) be the second derivative of f**3/6 + 4*f**2 - 3*f. Let y be c(-8). Suppose -3*s + 20 = i, y*s - 3*i + 35 = 4*s. Solve 3*r - s*r = 8 for r.
-4
Let q be 5 - (20/4 + -1). Solve 3*x + q = 4*x for x.
1
Suppose 0 = 7*d - 12*d + 35. Solve d*j = 2*j for j.
0
Let q be 0/2 - (0/(-3))/(-1). Solve 5*p + 25 = -q*p for p.
-5
Let c = 15 + -13. Solve c*j - j - 4 = 0 for j.
4
Let w = 4 - 1. Let v be (w*1)/((-15)/(-25)). Solve -v = -t - 0 for t.
5
Suppose 0 = 5*l - 6*l. Solve l*y = -3*y - 12 for y.
-4
Suppose -5*h = -2*b + 54, 2*b - 3*b + 42 = -4*h. Let z = -18 - h. Let u = -4 - z. Solve -u*f = -f - 3 for f.
1
Let y(x) = -x - 9. Let u be y(-13). Suppose -c - 2*m + 2 = -5*m, -u = -2*m. Solve -3*p - c = -7*p for p.
2
Suppose -4*d = 2 + 14. Let u be 8/6*(-6)/d. Solve -3*b = u*b + 20 for b.
-4
Suppose -2*m - 4*o = 20, 4*o - 7 = m - 27. Suppose m*r = 3*r. Solve r = -0*z - z + 5 for z.
5
Suppose 4*j + 3 = 51. Solve -2*f - 4 + j = 0 for f.
4
Suppose 3*n = -52 + 13. Let b = 21 + n. Suppose -2*o - 4 = -b. Solve -12 = -o*w - 2*w for w.
3
Let n = 2 + -4. Let j be ((-3 - -6) + n)*0. Solve -2*h + 6 = -j*h for h.
3
Let j(t) = t**2 + 7*t + 10. Let l = 15 - 22. Let h be j(l). Solve -5*a - h - 15 = 0 for a.
-5
Suppose 3*v - 6 = 2*v. Solve 5*d - v = -1 for d.
1
Let s(x) = -x**3 + 14*x**2 - 11*x - 24. Let j be s(13). Solve y = -j + 6 for y.
4
Suppose 0 = x - 4, 3*f - x = f - 4. Solve 0*a + a + 4 = f for a.
-4
Let a = 3 + 1. Solve 0*p - 2*p = -a for p.
2
Let j be 30/7 + (-4)/14. Suppose -3*v = -j - 8. Solve -p = v*p for p.
0
Suppose -2 = -2*y + k, 2 = -2*y + 2*k - 0*k. Solve -y*m - 2*m - 20 = 0 for m.
-4
Let u be 0 + -2 + 5/1. Let m be 2/(-5) + (-78)/30. Let q = m + u. Solve q*z = 5*z + 5 for z.
-1
Suppose 17 = 4*i - h, 4*h - 2 = i + 5. Solve -i = -j - 0*j for j.
5
Let l = 63 - 45. Let a = -13 + l. Solve 5 = -a*h - 5 for h.
-2
Suppose -4*k - 4*h - 4 = 4, 3*k = -2*h - 4. Let v = k + 5. Solve -v = -0*d - d for d.
5
Suppose 3*h - 1 = -2*q, q + 2*q - 1 = -5*h. Suppose 2*b - q = b. Let n be (-40)/(-22) + (-8)/(-44). Solve n*j - 12 = -b*j for j.
3
Suppose 0 = 4*f + 2*x + 2, 0*x + 3*x = f - 3. Suppose 4 = k - f. Solve -5*a + 16 = -k for a.
4
Let w(f) = f**3 + f**2 + 9. Let z be w(0). Let p = 9 - z. Let r(v) = v + 4. Let h be r(p). Solve -5 = 3*a - h*a for a.
5
Let a(l) = l**3 + l**2 + 2. Let q be a(0). Suppose 0 = 2*r - q - 4. Solve 1 + r = -4*f for f.
-1
Let s(c) = c**3 + 7*c**2 - 7*c + 4. Suppose 0 = -2*w + 5*m - 16, w + 32 = -3*w + 3*m. Let f be s(w). Let u be (6/f)/((-6)/16). Solve 0*d + d + u = 0 for d.
-4
Suppose -5*f - 35 = 40. Let o be (23 - 1) + f/5. Suppose 0 = 8*j - 7*j - o. Solve -3*g + j = 7 for g.
4
Suppose 14 - 4 = 2*m. Let b = m + 2. Solve 0 = 5*k + b - 2 for k.
-1
Let d = 12 + 0. Solve d = -3*w - 0 for w.
-4
Let a(x) = -x**2 - 9*x - 9. Let d be a(-8). Let v be 0/(-3 - 0)*d. Solve v = 2*b - 6*b for b.
0
Suppose 2 = 4*i + 6. Let z be 0 - (1/i - -1). Solve 0 = a - 1 - z for a.
1
Suppose -c = 5*p - 10, 3*p + 11 = -7*c + 3*c. Solve 0 = p*t - 1 - 2 for t.
1
Suppose 1 + 12 = y. Let u = y - 13. Let g(o) = -o**2 + 6*o + 4. Let l be g(6). Solve u = -j - l*j for j.
0
Let u be 3/9 + 5/3. Solve 7*c - u*c - 15 = 0 for c.
3
Let k(z) = z**3 + 3*z**2 - 5*z - 1. Let i be k(-4). Suppose f = 5*f - 4*n + 4, 0 = 5*f - n - i. Solve 3*m - 2*m = f for m.
1
Let w be ((-2)/4)/(1/(-22)). Suppose 2*v - 7 = w. Solve -4*q = -v + 1 for q.
2
Let i be (-4*(-1)/4)/(-1) - -2. Solve 2*p - 1 = i for p.
1
Let n(u) = u**3 + 3*u**2 - 4*u + 1. Let i be