+ 4*n - 697. Let m = q + 153. Suppose 0 = -l + 4*p - 6 - 7, -p = 2*l - 10. Solve -l*s = b + b - 11, -m = -3*s - 3*b for s.
3
Let t = -6 + 6. Let a(l) be the second derivative of -l**3/6 + 9*l**2/2 + 4*l. Let x be a(7). Solve -2*h + 2*z = t, -x*z - 9 = 3*h - 29 for h.
4
Let r(z) = z**3 - 5*z**2 - 7*z + 8. Let b be r(6). Let y be ((-15)/4 - -5)/(2/24). Solve -b*n + 5 = 2*k + y, 0 = -4*n + 4*k - 20 for n.
-5
Let v(g) = -g**2 + 12*g - 22. Let d be v(4). Solve 4*l = 4*a - 4, d = 2*l + 4*a - 2*a for l.
2
Suppose 4*t = -12, 2*v - 3*t - 19 + 2 = 0. Solve 4*y = -v*j - 4, -y - 2*j - 2 = -0 for y.
0
Suppose -1 = -t + 3*a + 15, 4*t - 64 = -a. Solve -3*p - 4*q = -t, 5*p - 2*q = 3*p + 6 for p.
4
Let p(r) = 57*r. Let u be p(-2). Let h be -2 + (-1)/(3/u). Let t be 0 + (h - (-2 + 1)). Solve -f + 14 = 3*d, 2*f - 7*f + t = 4*d for d.
3
Suppose -192 = w + 546. Let f be 4/10 - w/30. Let p be 16/7 - 12/42. Solve -f = 4*j + 4*u - 1, 0 = p*j - u - 3 for j.
-1
Suppose 3*s - 4*b = 14, 2*b = 2*s + 3*b + 9. Let k be s*2 - (-5 - -1). Suppose -24*h + 22*h = k. Solve 0*y + 16 = 4*y, h = -4*d + 4*y - 12 for d.
1
Let m(d) = 5*d - 85. Let z be m(18). Let h = -11 + 16. Suppose z*o - h*f = 8 + 2, f - 18 = -4*o. Solve o*r - 4 = 0, -4*s + 0*r = -4*r + 8 for s.
-1
Let p = 521 - 516. Solve -5*d - x = x - p, -2*d + 16 = -2*x for d.
3
Let y(x) = -2*x - 6. Let v be y(-7). Solve -2*f - 3*f - 10 = 2*w, -3*w + v = -4*f for f.
-2
Let u be 8/(-16) + 7/2. Suppose f = 1 + u. Let n be (32/20)/(f/10). Solve 5*o - 4 = -n*p + 5, -25 = -5*o for p.
-4
Let n = 25 + -22. Solve 3 = n*t, -3*t = 3*y - 8*t - 10 for y.
5
Suppose -a - 24 = -7*a. Let u be (-2)/6 + (-588)/(-36). Solve 3*h - 12 = a*g - g, -u = 4*g for h.
0
Let g be (96/(-64))/((-1)/10*3). Solve 4*r + 0*r + 12 = z, -r = g*z + 3 for r.
-3
Let g(q) = -q - 2. Let r(w) = w. Suppose 2*b - 3*b - 6 = 2*j, -10 = -5*b. Let l be r(j). Let z be g(l). Solve -3*d = -3*u - 21, -z*d - 1 = -9 for u.
-3
Let a(g) = -g**2 + 24*g + 5. Let q be a(0). Solve m + m + l = 1, -q*l = 5 for m.
1
Suppose -x + 2*f = 4*x - 8, 3*x - 11 = -5*f. Suppose -3*t + 3 = a - 4, x*a - 2 = 0. Solve 5*q - 22 = 2*v, v + 2*q - 15 = -t*q for v.
-1
Let h(s) = -s**3 - 12*s**2 + 3*s + 36. Suppose 2 = -w - 10. Let b be h(w). Solve 4*j + b*j + 2*c = 8, 3*j + 16 = 4*c for j.
0
Let h = 69 - -4. Let u = -69 + h. Solve -3*v - 3*i = 3, u*v - 2*i + 2 = 5*v for v.
-4
Let t be (-3 - (-4 - -7 - 3)) + 1. Let s be (4/t)/2*-11. Let r be 17/4 + 2/(-8). Solve f + 3*b - 7*b = -s, 0 = -r*f + 5*b - 11 for f.
1
Suppose -2*r - 16 = -4*y, 2*y - 4*y + 2*r + 12 = 0. Suppose 2*m = 2*a - 6, 5*m - y*m + 9 = -4*a. Solve -5*v + 4*v - 30 = -5*x, a = 5*v - 5*x + 50 for v.
-5
Let g = 6 - 4. Let t(c) = c + 11. Let d be t(0). Let s = 96 - 92. Solve d = s*n + 5*p, 5*p - 8 = -n + g*p for n.
-1
Let g be (0/14)/((-7 - -1) + 3). Solve 5*v + 31 = 4*o, v + 6*o - o - 17 = g for v.
-3
Let p = -45 + 77. Suppose -6*m = -2*m - p. Solve f - m = -4*s, -2*s + 0*f - f + 4 = 0 for s.
2
Let z(i) = -49*i + 245. Let r be z(5). Solve r = -4*o - 4 - 4, 5*b - 2*o = 24 for b.
4
Suppose 300 = 195*d - 183*d. Solve 3*r + d = 2*a + 8, 5*a = -r for a.
1
Let u(t) = -2*t - 26 - 3*t**3 - 13*t**2 + 0*t + 3*t**3 - t**3. Let z be u(-13). Solve -3*k + k = 4*y - 16, 4*y + 5*k - 16 = z for y.
4
Suppose -3*t = q - 8, -4*t - 6 = -4*q + 10. Solve 5*g - q*c - 15 = 0, 4*c - 5*c = 0 for g.
3
Let i(v) be the first derivative of 9 - 2*v - 5/2*v**2 + 1/3*v**3. Let b be i(6). Solve -b*q - 22 = -q + 2*w, 5*q + 3*w + 35 = 0 for q.
-4
Let v(s) = 2*s**3 + 2*s**2 - 4*s + 2. Suppose -5*t = -25, 5*x = 7*x - t + 3. Let o be v(x). Solve 4*i - 3 = -o*u + 3*u, 3*u + 9 = 4*i for u.
-3
Suppose 3 = w, 3*w - 24 = -3*d - 0. Let c(k) = 5*k - 12. Let f be c(3). Suppose 2*g - 7 = f. Solve 19 = g*v + 2*s, -2*v = -2*s + d*s - 1 for v.
5
Suppose 21 - 6 = 5*c. Let j be 1*2/(-4)*0. Let p be 1*1/(-2)*j. Solve -3*l + c = p, 8 = b + l + 2*l for b.
5
Suppose -5*g + 30 = 5*g. Solve x - 3 = 0, -x = 8*n - g*n + 2 for n.
-1
Let b(x) = -3*x - 4. Let p be b(-3). Suppose 0*s = -p*s. Suppose s = k - 1 - 3. Solve k*g - 2*z - 2 = 0, -g - z + 8 = -0*z for g.
3
Let x = -71 + 73. Solve x*k + k = 2*z + 14, -25 = -5*k + 5*z for k.
4
Let t = 18 - 13. Suppose t*k + 8 = 2*a + 32, -2*a = 3*k - 8. Solve -4*w = -k*n - 2*w, 0 = w - 4 for n.
2
Let c = 100 + -75. Solve -5*h + 25 = 2*g, 3*h - c = -3*g - 2*h for g.
0
Let b(p) = -8*p - 4. Let s be b(-3). Suppose -1380 = -65*k - 27*k. Solve u + s = 3*y, -y + k = -u - u for u.
-5
Suppose 16 = 4*a, -46*n = -41*n - 5*a. Solve 0 = -5*o + 5, -n*k - 9 = -k - 3*o for k.
-2
Let l(w) = w - 2. Let g be l(5). Suppose 0 = -8*i + 27 + 45. Suppose i - 5 = 2*c. Solve 0 = g*f - 5*d - 5, -f - c*d = -4*f + 11 for f.
5
Suppose 0 = -k + 16 - 0. Suppose -3*g + 54 = -6*g. Let w be (-8)/(-2)*(-18)/g. Solve k = 4*d, 3*i + 13 = -0*i + w*d for i.
1
Suppose l + 18 = 5*o, 2*o = -2*o - 5*l + 26. Solve -2*x - 4 = -4*c, 10 = x + o*x for c.
2
Let j = 35 - 48. Let v be (-20)/(-130) + (-63)/j. Suppose -o - 5*n + 9 = 0, -3*o + 4*o = -3*n + 7. Solve -5*u + 40 = v*t, -o*t - 3*u = t - 32 for t.
4
Let u be (1 - -3)*(-5)/(-10). Suppose -6*o + o + 25 = 0. Let i = 1 + 2. Solve -1 = -i*z - u*g, 0 = -o*z + z - 4*g + 4 for z.
-1
Let n = 3 + -1. Let l be 8 - (9/3 - n). Let x be (9 - 1) + (1 - 1). Solve -q = 5*i + l, 5*q - 5 = -x*i + 3*i for i.
-2
Suppose 5*r + 2*a - 19 = 0, 0 = -5*a - 0 + 10. Solve 6*z - r*z + b = 2, -b + 2 = 0 for z.
0
Let u(s) be the first derivative of 1/2*s**2 - s - 10. Let z be u(1). Solve 4*n + z*n = -h - 16, n = -5*h + 15 for h.
4
Suppose 4*y - 3 = 9, -27 = -3*o + 4*y. Suppose o = 3*d + 7. Suppose d - 11 = -a. Solve p - 2*l - l = -5, p + 4*l = a for p.
1
Let r(v) = 2*v + 12. Let a(c) = -4*c - 23. Let l(p) = -6*a(p) - 10*r(p). Let h be l(-4). Solve -k + 6*k = -o - 24, h*k + 8 = 0 for o.
-4
Let a = 5 - -5. Let n = a + -11. Let r be (4/(-3) - n)*0. Solve r*j - 2*j + 4 = f, -12 = -2*j - 5*f for j.
1
Suppose w - 12 = -2*x, 0 = -4*x - 0*w + w + 24. Let n be 24/9 + x/(-9). Let y be (7 + 44/(-8))*8/6. Solve -7 = q - y*r, 2 = -n*q - r - 2 for q.
-3
Let w = -14 + 27. Solve 0 = 5*a + h - 3 - 7, 2*h = a - w for a.
3
Let f = -41 - 114. Let g = f - -231. Suppose 6*s + g = 10*s. Solve 5*d - 7 = 4*u, 0*d = -2*u - 5*d + s for u.
2
Let m(s) = 4*s**3 - s + 2. Let z be m(1). Suppose -k - f - 31 = 0, -4*k + z*f - 175 = k. Let g = k - -42. Solve 3*b - h - 3*h - 23 = 0, -g = b + 2*h for b.
1
Let u be (3/2)/(-3)*(6 - 32). Let t = -5 + 7. Suppose -3 = t*y - u. Solve 3*c = -y*f + 20, -2*c + 8 = 3*f - c for f.
1
Suppose 25*m - 91 - 9 = 0. Solve -s + 11 = -2*q - 0, 0 = m*s + 3*q for s.
3
Suppose 5*u - 4*a = -3 + 6, 5*u + 5*a - 30 = 0. Solve b = 3*k + 5 - 8, 0 = -5*k - b - u for k.
0
Let x(w) = w**3 + 13*w**2 - 2*w - 10. Let d be x(-13). Let l(o) = 15 + o**2 - 41 + d - 5*o. Let b be l(8). Solve 2*v + s + 6 = -s, 5*v + b = -4*s for v.
-2
Let r(p) = -2*p - 28. Suppose 32*c = 28*c + 128. Let u = c + -47. Let b be r(u). Solve 6 = -5*l - 2*m - 15, -2*l = -b*m + 14 for l.
-5
Let c be (0 + -2)*4*2/(-4). Solve 5*l - 4*s = -17, -3*l + 1 = -c*s + 16 for l.
-1
Let r = 42 + -39. Suppose 0 = -k + 6 - r. Solve 0 = -4*z - z - 5, -3 = 5*n + k*z for n.
0
Let s = 36 + -30. Let b be s*(10/40 - 7/(-4)). Solve 4*y - b = -0*q + 4*q, -6 = -3*y for q.
-1
Let w be 2/5 + 204/(-60). Let q = 7 + w. Suppose -5*y = -4*r - 37, 11 = q*y - 3*r - 18. Solve -5*c = y*f + 45, 3*c = 5*c - 4*f - 6 for c.
-5
Let c(l) = l**2 + 3*l - 1. Suppose 2*i - 12 = -i. Suppose -13 = i*f + 3. Let n be c(f). Solve j - n*j - 5*g = -1, 0 = 5*j + 5*g + 5 for j.
-2
Suppose -4*w - 5*v = -6*w + 20, 5*w - 27 = v. Let n(o) = o**2 + 2*o - 3. Let k be n(-4). Solve -w*a - 2*d = 12, -k*a - 3*d + 32 = -10*a for a.
-4
Let n = 32 - 27. Suppose 3*x = -2*j + 70, 4*j + 0 = -4. Suppose 0 = -3*c + t + x, 3*t + 5 = -4. Solve 2*y + c - 2 = -n*w, 2*w = -2*y + 4 for w.
-3
Let l be (0 - (-16)/(-3))*9/(-6). Solve 7 = 5*v + 3*y - l, v = -3*y + 3 for v.
3
Let u(k) = k**3 - 63*k**2 + 123*k - 57. Let q be u(61). Solve w + 21 = 4*g, -3*w + q*g = -g + 28 for w.
-1
Let x = 31 - 28. Let i be 0/(x - (2 + 4)). Solve 4*o - 5*d + 3 = i, 0*d - 7 = 5*o - 3*d for o.
-2
Let k(t) = -3*t**3 + 3*t + 2. Let i be k(-2). Suppose -3*l - 15 = -y, 0 = -4*y + 5*l - 3*l + i. Solve -3*f - 3*x = x - 14, -3*f + y*x = 0 for f.
2
Le