 a = 5*p, -1 - 11 = u + 5*p for u.
-2
Let n(x) = -10*x**2 + 29*x - 38. Let g(h) = -7*h**2 + 19*h - 25. Let k(p) = 7*g(p) - 5*n(p). Let b be k(11). Solve 2*q - 9 = a, -q + 1 = -b*a - 0 for a.
1
Let l(k) = -k + 3. Let u(d) = d + 2. Let i be u(-2). Let v be l(i). Suppose -2*x + 4*y = 3*x - 77, 3*y - 30 = -v*x. Solve 3*j - j = -10, -2*o + x = -j for o.
4
Suppose -13*j + 8*j = -15. Solve j*t - 20 = -3*n - n, t = -3*n + 10 for t.
4
Suppose -4*p + 20 = p. Suppose 3*m - 6*m = 0. Let d = m + p. Solve -2*k - 4*j = 4, -2*k - j = -3*k + d for k.
2
Suppose -46*x + 42*x = -12. Solve -2*s = 3*b - 16, -2*s = x*s - 3*b + 2 for s.
2
Suppose -u + 4 = 3*a - 9, -a = u - 7. Solve -2*g + 1 = 5*x + u, 4*g - x = 5 for g.
1
Let t(j) = -j**3 - 9*j**2 - 9*j + 2. Let d be t(-8). Solve -4*n - 13 + 5 = -r, 5*n + d = -r for n.
-2
Let b = -5 + 9. Let p = b + 0. Solve 3*f - 2 = p*g + 1, -4*f + 3 = -5*g for f.
-3
Suppose q + 3*q - 32 = 0. Let s(g) = -g**2 + 7*g + 3. Let a be s(q). Let y be (-2)/a - (-90)/25. Solve -3*k = 2*u - 16, 0*k + y*u - 12 = 4*k for k.
2
Suppose 3*g - 22 = -1. Let m(n) = -n**3 + 5*n**2 + n + 2. Let b be m(5). Let c be 23/b - 2/g. Solve 3*i - 12 = 4*q, -c*q - 12 = q - i for q.
-3
Suppose -2*y = -0*y + 46. Let x = y - -53. Solve -5*i - 5 = 3*j + x, 0 = -3*i - 12 for j.
-5
Let g = 10 + -5. Suppose 2*h + 13 = g. Let q be (-5)/h - 2/8. Solve 5*c - 5*p = 15, -2*p - 7 = -4*c - q for c.
0
Let j = -11 + 8. Let k be (j/(-4))/(21/56). Solve 10 = 3*z + 1, 3*z - 13 = k*t for t.
-2
Let i be 6/(-9) + 22/6. Suppose -i*c + 20 = -5*o + c, 4*o - 3*c + 15 = 0. Solve o*d + 3 = -2*z - 3*d, -4*z - 4*d = 4 for z.
0
Suppose 6 = -3*f + 6*f. Let j(m) = 2*m - 6. Let n be j(4). Suppose -f*a + 8 + n = 0. Solve 5*y = a*g - 25, y - 3*y + 4*g = 14 for y.
-3
Suppose 10 = 2*k - 2*h, -4*h + 1 - 11 = -2*k. Suppose -3*u - 3*s = 2*s + 4, k*s = -10. Solve 0*p + 10 = -w - 3*p, 0 = -u*w + p - 6 for w.
-4
Suppose -n - 32 = -3*b, -19 - 1 = -5*n. Solve -b = 2*z - 4*k - 2, -3*z = 3*k - 12 for z.
1
Suppose 5 = f - 6*f - 5*t, f + 2*t + 2 = 0. Solve 0*l - l + 4*s - 20 = 0, f = 3*l - 2*s + 10 for l.
0
Suppose 4*s - s - 150 = 0. Let c = 76 - s. Solve 2*m = -3*k - 3*m - c, 2*k = m for k.
-2
Suppose -4*t = j - 13, -5*j + 4*t + 12 = -5. Solve 2*l - 5*x + 30 = 0, 5*l = -j*x - 1 - 4 for l.
-5
Suppose 5*h = -2*w - 2, w - 4*h = -2*h + 8. Suppose -w*v + 0*v = -44. Solve 0 = 3*b - 4*k + v, b + 3*k - 18 = -0*b for b.
3
Let d(w) = -2 - w**2 - 10 + 2 - 9*w. Let x be d(-7). Suppose x = o + 1. Solve -o*p - 3 = 4*j, -4*j + 0*p - 9 = p for j.
-3
Let p(s) = s**2 - 2*s + 1. Let w be p(2). Let a = w + 4. Suppose -a*b = -3*h - 24, b + 11 = -5*h - 1. Solve b*q = g + 15, 3*g - 3 = -4*q + 4 for q.
4
Let o be 1/((-1)/(-23 + 0)). Let p = o - 15. Solve 0 = -5*h - 3*w - 22, -2*h + 2*w = 4*w + p for h.
-5
Suppose -k = -3*k - 20. Let d be (k - -1)/(-3)*1. Solve 3*f - 11 = -d*r + 2*r, r - 2*f + 9 = 0 for r.
-1
Suppose 5*n = -0*n. Suppose 3*d = -n*d. Solve -4*a = -2*x + 4*x + 10, -4*x + 20 = d for a.
-5
Let d = 8 + 5. Let a = d + -8. Solve 0 = x + 2*y - 5, -a*x - 1 = y + 1 for x.
-1
Let g be -2*(9/(-6) - 0). Solve n = -g*h + 11, 5*h - 4*n = -n - 5 for h.
2
Suppose 0*p = p + 3*c - 8, c - 12 = -5*p. Suppose 0 = -0*d + d + p. Let l be -2*1/(d/11). Solve -5*u - 2*s = 19, 3*u + u + 3*s + l = 0 for u.
-5
Let o be 1 - 1 - (1 - 3). Suppose 0 = 3*u + 2*u - 10, -5*u = -2*y - o. Solve -4*d + p + y*p - 8 = 0, 3*d + p = -6 for d.
-2
Suppose -2*d + 21 = -s, -2*s + 3*s = 5*d - 45. Let a = 11 - d. Solve -3*v - 18 = a*r, -6*r - 24 = -r + 2*v for r.
-4
Suppose -2*m = -m + 10. Suppose -5*r - 6 = 4. Let n be (r + 1)/(2/m). Solve -n*z + 25 = 3*b, 2 = 2*b - 2*z - 4 for b.
5
Suppose 3*f = 2*f + 4, 2*p - 24 = -5*f. Let t = -6 + 8. Solve 3 = 5*k + z - 5, -p*k + t*z = 4 for k.
1
Suppose 0 = -0*p - 5*p. Suppose -4*j + 148 = -p*j. Suppose -5*u = 3*n - j, 4*n = -u + 26 - 5. Solve 7 = 3*z - 5*w, w = -u*z + 5*w + 16 for z.
4
Let z(j) be the first derivative of j**4/4 - 7*j**3/3 - 7*j**2/2 + 2*j + 2. Let d = -15 - -23. Let o be z(d). Solve 0 = 2*w - o, -6 = 4*r - 5*w - 1 for r.
5
Suppose 4*f + 5*j = -f + 45, 5 = -5*j. Solve -t + 4*a = -12, 3*a - 4 + f = 0 for t.
4
Let b = 4 + 1. Solve -s + 0*s - 11 = -5*q, 0 = -b*s - 5 for q.
2
Suppose -3*l = -4*q + 2*q - 148, 5 = -q. Let w be l/10 - (-6)/15. Solve 0 = -w*h + 4*k - 1, 0 = 2*h - 3*h + k for h.
-1
Suppose 3*p = p + 4. Suppose 4*c + 5*x - 5 = 0, -x = 3*c - p*x - 18. Suppose -a - 4*a + 65 = c*o, 4*a = -o + 43. Solve -2*l + a = -n, -n - 2*l = 2*n + 6 for n.
-4
Let n = -17 - -28. Suppose 0 = 2*v - 4*b + 3*b - 17, -2*v - 4*b = 8. Solve 2*a + v = -5*x, -1 = 4*a + 3*x + n for a.
-3
Let w be ((-2)/(-4) + -1)*0. Let p(m) be the first derivative of m**3/3 - 3*m**2/2 - 4*m - 1. Let g be p(5). Solve w*l + g = 5*l + 4*t, -7 = -4*l - t for l.
2
Suppose 2*h = 3*l, -9 = -l - 3*h + 2. Let g(z) = 4*z**2 - 3*z - 1. Let s be g(l). Solve 3*f - 3*a - 3 = 0, -3*a = 4*f - 2*a - s for f.
2
Let s be 1/1*(4 + -1). Solve -4*p - s + 14 = d, 0 = 5*d + 5*p + 5 for d.
-5
Suppose 0 = 4*m + m. Let g be (m - -15)/(9/12). Suppose i + 3*i = g. Solve 3*q = 2*t - 7, -5*q + 15 = -i*t - 4*q for t.
-4
Let b(u) be the third derivative of u**6/120 + u**5/10 + 5*u**3/6 - u**2. Let c = 4 + -10. Let f be b(c). Solve f*j + 4 = -4*a + j, j = 2*a + 5 for a.
-2
Let h(d) = d**3 + 2*d**2 - 5*d - 4. Suppose 5*f - 2*c + 4*c + 25 = 0, 2*f - 9 = 3*c. Let x be h(f). Solve -x*g - 14 = g - b, 2 = -2*g - 3*b for g.
-4
Let r be (-7)/(-35) - 79/(-5). Solve -5*w - 3*o - 32 = 0, -w - 3*o + 0*o = r for w.
-4
Let i(p) = p**3 + 4*p**2 + 2*p + 3. Let o be i(-3). Solve d - 4 = -2*m - 2*d, o = 3*d for m.
-1
Suppose 2*r + 5*a - 3*a = 12, 0 = 4*a. Solve r*v + 25 = v, -5*p - 4*v = 25 for p.
-1
Suppose 0 = -5*s - 17 - 28. Let o be (-10)/(-3) - (-3)/s. Solve -o*f + 2 = -2*m, -6*m + 2*m - 2 = -5*f for f.
2
Suppose -5*s - 5 = -50. Suppose r = 2*r - 4, 8 = 2*m - 5*r. Let i = m + -11. Solve -2*b = -d + i, -3*d = s - 0 for b.
-3
Let j be (9/12)/((-2)/(-8)). Suppose 22 = -j*u + 5*b - 4*b, -4*b = -3*u - 7. Let r = 5 - u. Solve 2*d = -5*i - d - r, 15 = -5*d for i.
-1
Let n be 3/(-2) - (-27)/18. Solve 4*x - u = -0*u + 16, 5*u = n for x.
4
Let z(r) = r**2 + 11*r - 9. Let o = -17 - -5. Let x be z(o). Solve -2*u - 3 = -x*j - 12, 28 = -5*j - u for j.
-5
Suppose -8*q + 40 = -16. Solve 0 = -2*m + 5*g + 1, 5*g + q + 0 = 4*m for m.
3
Let t(g) = g + 1. Suppose -5 = -5*h + 5. Let f be t(h). Solve d + 2 = -2, -26 = f*m + 5*d for m.
-2
Suppose 0*u - 3*u = 3. Let k be (((-5)/1)/1)/u. Suppose -3*s = -2*n - 7, -2*s = -n - 1 - k. Solve -7*z - n*r = -3*z - 32, z - r = 2 for z.
5
Let b = 4 + 5. Solve l + 3 = 0, 2*w - 2*l = l + b for w.
0
Suppose 0 = -5*r + 3*r - 18. Let z be (6/5)/(r/(-30)). Solve 2*p - 20 = z*k, 4*k + 0 = -2*p - 20 for p.
0
Let d be 16/12*3*1. Let h = 115 - 75. Solve -4*f - d*p + 28 = -f, -5*p + h = 5*f for f.
4
Let l be 1*(0/3 + 1). Let c be (-6 + 4)/(l/(-2)). Let m = 6 - c. Solve 4*a = -0*a + 20, -4*n = m*a - 30 for n.
5
Let q = 21 + 1. Let o = 6 - 6. Suppose -3*u + 2*z + 1 = o, 2*z = -5*u + 2*u + 17. Solve 2*x + 5*r + u = -2, 5*x = -3*r - q for x.
-5
Suppose 3*i + 0 = 12, 2 = -3*g + 2*i. Suppose 12 = 5*b - g*b. Solve k + k + b*n = -6, -5*k = 3*n + 1 for k.
1
Let w(a) = -a**2 - 7*a + 4. Let f be w(-7). Suppose -3*l + 8 = 2*n, 2*n - f*l = -n + 12. Solve 2*u + 0*u + n = -2*x, -5*u = -5*x for x.
-1
Let g = -51 + 52. Solve o = t - g, 2*o + 8*t = 3*t - 16 for o.
-3
Let g(y) = -y**3 - 5*y**2 + 15*y + 11. Let a be g(-7). Let v be 6 + (3/1 - 6). Solve 5*n - 19 = -a*q, 2*q = v*n + 3*q - 10 for n.
3
Suppose -2*t + 4*f + 10 + 8 = 0, 4*t - 2*f = 6. Let g be (-2)/(-3) - (-8)/(-3). Let c = t - g. Solve -5*k - 2*v = -2*k + c, 3*k + 4 = v for k.
-1
Let t(a) be the second derivative of -a - 1/3*a**3 + 0 + 1/12*a**4 + 0*a**2. Let o be t(-2). Solve 20 = 3*j - o*j, -5*u + 4*j = 4 for u.
-4
Let k(a) = -a**3 + 9*a**2 + 5. Let b be k(9). Suppose -3*q - b = -d - q, -d + 5*q = -8. Solve o + 3 + 8 = d*r, 3*o = -2*r for o.
-2
Let z = 12 - 8. Suppose 9 = 3*n - z*h, 10 = 3*n + 3*h + 1. Solve -5*c + 3*c - n*v = 0, 0 = 4*c - 3*v - 18 for c.
3
Let f(o) = 2*o**2 + 13*o + 12. Let x be f(-6). Solve 0*h + 5*h + 3*p = x, 0 = -4*h - p + 2 for h.
0
Suppose 0*k = 4*o + k + 13, 5*o - 5 = 3*k. Let p be o/((-4)/(-22)) - 0. Let v = p - -1