z*c = 2*b + 4, -2*b + c = 3*c + 2 for b.
0
Let k be -12 + 9 + -5 + (-20)/(-2). Solve -k*h + 17 = -5*w + h, -4*w - 17 = h for w.
-4
Let a = -298 + 302. Solve 4*j = y + 4 - 7, 8 = -4*j - a*y for j.
-1
Let r(c) = 2*c - 15. Let n = 74 + -66. Let u be r(n). Solve -4*i = m - 3, 3*m = -3*i + m + u for i.
1
Let u = -4 - -7. Let t(k) = 13*k + 5 + 12*k**2 + 4*k**3 + 7*k**3 - 12*k**3. Let s be t(13). Solve -4*o - 17 = -u*y, -2 = -5*y - 4*o + s for y.
3
Let q(u) = -u. Let k(i) = -4*i. Let s(r) = k(r) - 5*q(r). Let p be s(2). Suppose -y = -p*y. Solve a = -3*a - t - 3, -2*a + 4*t + 12 = y for a.
0
Let k = -105 + 277. Let b = -160 + k. Solve w + 5*d - 18 = 0, -b = 4*w - 5*w - 3*d for w.
3
Let b(r) be the first derivative of -r**3/3 - 13*r**2/2 + 4*r + 1. Let g be 1 - 2*(4 + 2). Let c be b(g). Solve -4*t + 32 = 4*o, -o - 2*t + c = 3*o for o.
5
Let x be 0/((-105)/95 + (-8)/(-76)). Solve 3*j - 27 = 3*n, 3*j + x*j = -n + 7 for j.
4
Suppose 0 = a + 3 + 15. Let g = a - -25. Let l be (72/27)/((-6)/(-9)). Solve i - l*y = -2*i + 23, g = 2*i - y for i.
1
Let f(i) = -7*i + 113. Let z be f(14). Solve q + 10 = 3*b, -b = b - 5*q + z for b.
5
Let a(g) = g**2 + 5*g + 3. Let d(k) = -5*k + 9. Let o be d(3). Let b be a(o). Solve -x - 13 = -5*x + z, -4*x - 3*z = -b for x.
3
Let q(z) = 4*z**2 + 2*z + 1. Let y(v) = -v**2 + v + 1. Let s(h) = q(h) - y(h). Let w be s(1). Solve 3*u + w = -u - 5*j, -2*u + 2*j - 12 = 0 for u.
-4
Let o be (-54)/12*-2*1. Suppose o = -2*m + 31. Let i be (-68)/(-14) + -1 + (-32)/(-28). Solve m = j + 3*z, 2*z + 0*z + 4 = i*j for j.
2
Suppose -9*a + 187 = 2*a. Solve -a = u + 3*r + 2*r, 0 = 5*u - r + 7 for u.
-2
Let n = 312 + -311. Solve -j = j + z + 5, 3*z - n = 2*j for j.
-2
Suppose 5*t - 216 = -13*t. Solve 3*a + b + 3*b = -16, -a = 3*b + t for a.
0
Let g(m) = -m**2 + 11*m - 9. Let u be g(11). Let d(r) = -r**2 - 9*r - 10. Let v be d(u). Let a be 1/((v/6)/(-5)). Solve -c - 8 = n, -a*n - 27 - 2 = 4*c for n.
-3
Suppose 16*j - 195 = -115. Solve 2*p - 3*a = 13, j*p = -8*a + 11*a + 10 for p.
-1
Let o be 18/((-1)/(-1)) + -2. Suppose 3*j = -2*r + 8, -r = 2*j - 6*r + 1. Solve -3*l - 4*p + 6*p - 12 = 0, 4*p - o = j*l for l.
-2
Let o(z) be the second derivative of -z**3/3 - z**2 - 2*z. Let d be o(-2). Solve -m - 24 = -7*w + 3*w, -d*w - 6 = 4*m for m.
-4
Suppose 3 + 3 = l - 2*s, -5*l + 3*s + 9 = 0. Solve -4*v = -4*b - 16, -3*v - 2*b - 8 = -l*b for v.
0
Let m be (1110/259)/((-1)/(-7)). Solve 3*s + 5*o - m = 0, -10*o + 16 = 2*s - 8*o for s.
5
Let m(a) = -7*a - 129. Let y be m(-19). Solve -3*o = -y*g - 2, o = -0*o - 2 for g.
-2
Suppose -65 = -4*a - 17. Suppose o + 12 = -4*v, 0*v - 14 = -3*o - 2*v. Suppose a*l = o*l. Solve l*r = -r - 4*c + 14, 9 = 3*c for r.
2
Let q be (-6)/(-5) - (460/50 - 10). Solve q*g = v - 0*g - 9, v - g - 6 = 0 for v.
3
Let n be (7/(-14))/((-1)/380). Let f be (-1)/(-3) - n/(-15). Suppose 3*l - 4 + 23 = 4*s, 3*l - f = -4*s. Solve 2*u = 3*k - 15, s*k = -7*u + 2*u - 3 for u.
-3
Suppose 32*g - 34*g + 30 = 0. Solve l + g = 6*r - 11*r, 4*r + 3*l = -12 for r.
-3
Suppose -12*m + 10*m + 36 = 0. Let o be (2/(-3))/(4/m). Let v be (-8)/(-4 - (-5 - o)). Solve u - 5 + 1 = -2*r, 0 = v*r - 3*u - 18 for r.
3
Let x(v) be the first derivative of 2*v**2 - 2*v + 2. Let t be x(1). Solve -t*u = m - 1, 0 = -4*u + u + 4*m - 4 for u.
0
Let p be (-2)/(2/72 + 14/(-56)). Solve 3*d = -2*s + 8*d + 12, 5*s - p = 2*d for s.
1
Let m(t) = -t**2 - 11*t - 1. Let u be m(-11). Let j(d) = -3*d + 1. Let k be j(u). Solve 5*h = 3*h - 2*l - 2, 4*h - k*l - 36 = 0 for h.
4
Let s be (-11)/(-2) + 2/(-4). Let x = 2289 + -2285. Let v(u) = -18*u. Let k be v(-1). Solve s*d + 4*f + 0 = -29, k = -x*d + 2*f for d.
-5
Let l(y) = 5*y**2 - 28*y - 28. Let w be l(-1). Solve -5*k = o + 20, o - w*k - 1 = -3*k for o.
-5
Suppose 0 = -5*l + 101 + 254. Let d = l - 67. Solve 3*n = 15 - 6, 4*z = -d*n + 4 for z.
-2
Let w be ((-6)/(-8))/((-2)/(-8)). Let x(i) = 8*i - 4. Let u be x(w). Let q = -1746 - -1748. Solve q*h + 4*j = -6, 0*h + u = -5*h - 5*j for h.
-5
Let q(t) = 64*t**3. Let v be q(1). Let l = 84 - v. Solve -4*u - y + 14 = -3*y, -4*y = l for u.
1
Let y(a) be the second derivative of a**5/20 + 11*a**4/12 - 5*a**3/3 + 29*a**2/2 - 15*a. Let b be y(-12). Solve 2*i + q = b, -3*i - 5*q = -0*q - 11 for i.
2
Let d be 6/((-2)/(20/(-15))). Suppose 2*l + 5*q = 5, d*l + q - 50 = -q. Solve l = 3*a + 3, 32 = 4*f + 5*a for f.
3
Suppose 17*n - 10*n = 56. Let k be ((-84)/(-63))/(n/6). Solve 0 = -2*j, 0 = s - 2*s - 4*j - k for s.
-1
Let z be (-312)/36*(0 + 3). Let n = 31 + z. Solve -n*u + 10 = 0, 3*m = -2*m - 4*u - 12 for m.
-4
Let p(t) = t**2 - 16*t + 4. Let s be p(16). Solve 3*k - 5 = s*l - 9*l, -2*k + l - 14 = 0 for k.
-5
Suppose 0*j - j + 4*l + 1 = 0, -4*l + 8 = -4*j. Let a(r) = r**2 - 4. Let f be a(j). Solve -d = f*h - 19, -4*d = -3*d + h - 3 for d.
-1
Suppose 9*k = 13*k - 20. Suppose -2*o = -2*a + 16, k*a - 3*o - 1 = 29. Solve 2*w = -f - a, 0 = 3*w + 3*f - 5*f + 15 for w.
-3
Suppose 0 = 2*v + 3*z + 6, 6*v - 3*v + 11 = -5*z. Solve 28 = -0*u + 4*u + 4*g, -5*g = -v*u - 19 for u.
2
Suppose j = -4*j - 15, -2*d + 125 = -j. Suppose -3*l - d - 11 = 0. Let i be 22/12 + (-4)/l. Solve -3*x + 9 = -i*h, 2 = -2*x + 3*h + 8 for x.
3
Let c = -28 - -27. Let o be -4 - (0 - 3 - 4) - c. Solve -2*j - o*k = 6, -2*j + k + 3 = -4*k for j.
-1
Let r = -825 + 827. Solve g + 4 = 2*q, -5*q - 20 = 3*g + r*g for g.
-4
Suppose 4*y = 6*y - 3*r - 18, -3*r + 54 = 4*y. Let a be (4/(-6))/(y/(-54)). Let p = 2 + a. Solve f - t = -9 - 0, p*f + 10 = -2*t for f.
-4
Let q(r) = 2*r**2. Suppose -17 = -3*j + m, -2*m = j - 5*m - 3. Suppose 7*g - j = g. Let z be q(g). Solve -a + z = -0, 4*a = b + 8 for b.
0
Suppose 2 = -5*r + 112. Suppose 27*o - 10 = r*o. Solve -3*c = 2*c, 0 = -2*k + o*c - 4 for k.
-2
Suppose 5*b = 25 + 35. Suppose -u = d - 0*u - 8, 4*u = b. Let g = 5 + -2. Solve -12 = -4*h, -h + 11 = g*s + d for s.
1
Suppose 0 = 10*p + 271 - 461. Solve 2*i + 5*g = 4*i + p, -22 = i - 5*g for i.
3
Let f be ((-1)/3)/((-6)/(-18))*8. Let c(b) = -2*b**2 - 21*b - 18. Let u be c(f). Solve 2*r = -5*z + u, 3*r - 1 = 6*r - z for r.
1
Let f(u) = -u**3 - u - 2. Let a be f(0). Let i be 56/12 - a/(-3). Let j(d) = d**3 - 4*d**2 + 5. Let r be j(i). Solve r*n + 28 = 2*g, g - 5*g + n + 20 = 0 for g.
4
Suppose 2*d + 2*d = -2*b + 4, -4*d = -5*b - 32. Suppose 0 = -v + 6 - 1, -d = -u + v. Solve 2*z = -5*o + 6, -2*z + u = -z + 5*o for z.
-2
Let y(o) = o**2 - 12*o - 12. Let x be y(12). Let j = x + 15. Let u be (9/(-5))/j*-10. Solve -3*d - u = -p, -2*d + 0*d - 4 = -p for d.
-2
Let u(b) = b**3 - 11*b**2 - 12*b + 2. Let r be u(12). Solve r*x + 2 = -3*g - 12, 5*g + 30 = -5*x for g.
-2
Suppose 5*t - 32 + 17 = 0. Suppose -k = t*k. Let f(u) = -u**2 - 4*u - 1. Let i be f(-3). Solve -i*m + 2*j = 20, m - 5*m - 5*j + 5 = k for m.
-5
Let k(b) be the second derivative of -9*b + 1/2*b**4 + b**3 + 1/20*b**5 + 4*b**2 + 0. Let m be k(-5). Solve 0 = z - m*q + 14, 40 = -5*z + 4*q + q for z.
-5
Let u(i) be the third derivative of i**4/4 - 31*i**3/6 + 10*i**2. Let v be u(6). Solve 1 = a + 2*a - c, v*c - 10 = 0 for a.
1
Suppose -3*g - 2*g = -10. Let l = -13 - -40. Suppose -21*d - 90 = -l*d. Solve -p - 5*v - d = 0, -4*p - g*v = -1 + 7 for p.
0
Let z(o) = o**3 - 5*o**2 + 3*o + 7. Let q be z(4). Suppose -85 = 3*x - 8*x. Let c = 16 + -11. Solve q*i + 4 = c*h, 5*i = -5*h + i - x for h.
-1
Let m(t) be the first derivative of t**2/2 + 10*t - 1. Let w be 5/(-10) - (315/6)/7. Let r be m(w). Solve 5*j + r*g + 14 = 0, g - 6*g + 11 = j for j.
-4
Let w be (-2)/((-5 - -3)/68). Let y = -68 + w. Solve j + 16 = -y*j - 4*u, -2 = -j + 2*u for j.
-4
Suppose 3*o + 5*w = -10 + 56, -3*w + 66 = 5*o. Let v be 5 + 76/o + 4/6. Solve 0 = p - g, 3*p = -2*g - g + v for p.
2
Suppose -4 = z, z - 53 = -5*k + 3*z. Suppose 2*t - 26 = 4*j, 5*t - 13 = 4*t + 3*j. Let n = t - k. Solve -2*p - n*w = -4*p + 12, 0 = -5*p - 3*w - 35 for p.
-4
Let l = -943 + 945. Solve 0 = -2*m + t + 8, -4 = -m + t + l*t for m.
4
Let v(j) = j - 15. Let t(c) = -c + 1. Let b(r) = -3*t(r) + v(r). Let l be b(8). Solve 5*d - l = -o, 2*d - 24 = -o - 4*o for d.
2
Let a(t) = -t**3 + 6*t**2 + t - 5. Let q be a(6). Suppose 22 = 4*z + p, 3 + q = 2*z - 3*p. Solve -z*j = -g + 14 + 4, -2*g + 2*j = -4 for g.
-2
Let f be ((-32)/24)/(11/((-33)/2)). Solve -11*a = -14*a + f*z + 1, a - 5 = -