n*m = 3*c + 17, 5*m = 2*m + 3*c + 9 for m.
-1
Let s(c) = 3*c**3 + c**2 - 1. Let u be s(1). Let n be 2/4 - (-62)/4. Suppose -n + 0 = -4*b. Solve -u*a - 7 = -5*a + 3*t, t - 21 = -b*a for a.
5
Let a(s) = -3*s**3 - s**2 + 3*s + 2. Suppose 2 - 6 = 2*m. Let w be a(m). Solve -2*z + 5*u = -w, 0*u - 2*u = -4*z + 16 for z.
3
Let a be ((-12)/(-8))/(2/40). Suppose 0 = 5*v - w + a, 5 = -2*v + 3*w - 4*w. Let t = v + 7. Solve -12 = 2*f + f - 3*h, -t*h + 2 = 4*f for f.
-1
Let c(v) = v**2 + 2*v - 1. Let w be c(-3). Solve -5*s + 2*u = 2, 0*s = w*s + u - 1 for s.
0
Let g(o) = o**2 + 2*o. Let q = -15 + 13. Let l be g(q). Solve l = -3*f - 12, 2*v - f + 6 - 2 = 0 for v.
-4
Suppose -3*g - 4*f - 6 = 0, 9 = -4*f + f. Solve -3*r = g*t - 8, -4*t + 0*t + 16 = 4*r for r.
0
Let j(u) = u + 5. Let a(g) = -g - 5. Let n(m) = 7*a(m) + 6*j(m). Let b be n(-10). Solve -3*z = -b*c + 28, -2*z = -3*c + 3*z + 20 for c.
5
Let h be (-116)/(-14) - 4/14. Suppose 13 = 2*c + 5. Suppose h*a + c*p = 3*a - 10, -4*p = 20. Solve -6 = -2*s - 2*i, 0 = 2*i + a*i for s.
3
Suppose -16 = -p - 3*p. Let x be p/(-5)*(-10)/4. Solve x*b - 2*r = -b + 23, r + 24 = 4*b for b.
5
Let p be ((-22)/10)/((-2)/10). Suppose 5*a = 2*d + d + 35, 3*d + p = -a. Solve -4*l = -4, -2*l - 11 = a*z - l for z.
-3
Let s(j) be the third derivative of j**4/24 + 2*j**2. Let a be s(2). Solve -5*h - 2*r - 18 = -3*r, a*r + 20 = -4*h for h.
-4
Let o be ((-4)/(-6))/((-1)/(-9)). Suppose -9 = 3*q - o*q. Solve -5*b = 2*v + 17, 3*b + v = -q*v + 1 for b.
-5
Let g = 68 - 62. Solve 2*b + 3*k - g*k + 6 = 0, 0 = -4*k + 16 for b.
3
Let m = -94 + 149. Suppose 5*z = 25, 0 = 5*p + 2*z + 20 - m. Solve -4*n + 4*a = 9 + 7, n - 20 = -p*a for n.
0
Suppose 2*h - 4*h + 6 = 0. Let x be 1 - (h + 1 + -7). Solve x*a + 16 = 4*v + 4, 3*v - 1 = a for a.
-4
Suppose -2*s + 88 = -3*y - 4*s, 54 = -2*y + s. Let d be 2/(-7) - 120/y. Solve 4*b = -2*k + 8, -d = -3*k - b + 8 for k.
4
Let k = 1 + 2. Suppose -f = k*f - 16. Solve 7*n - 2*n = -3*r - 30, -f*r - 26 = 2*n for n.
-3
Let u(j) = j**2 + 5*j + 2. Let r be u(-5). Suppose r*m - 16 = -2*m. Suppose 2*p = -s + 3, -7 + 19 = m*s - 2*p. Solve s*k - 16 = -c, 3*c + k - 13 = 3 for c.
4
Suppose 5*w = l - 3*l + 58, 15 = l - w. Solve 4*v = 4*t + 2*v - 16, -3*t = -5*v - l for t.
3
Let f = 23 + -32. Let t = 11 + f. Solve h + 3*d + 14 = 0, 5*h + t*d = -8 - 10 for h.
-2
Let i = 37 + -13. Solve 5*p + 5*u = 0, 3*u + i = 5*p + 2*u for p.
4
Let u be 1 + (8/(-2))/(-1). Solve 0 = -u*b - 25, b + 3 = 4*k - 2*b for k.
-3
Let m be (-78)/(-18) + 2/(-6). Solve l = -3*l - 12, m*l + 7 = p for p.
-5
Suppose 0 = 2*z - 4*z. Let y = z + 4. Suppose 0 = 5*n - 5*a + 5, 4*a = -15 + 35. Solve n*t + 0*p + 7 = p, t = -y*p - 6 for t.
-2
Let s = 5 - 4. Suppose -s + 9 = 4*n. Solve -3*x + 3*j - 14 = n*x, -x = 5*j - 14 for x.
-1
Let u be 4/(-6)*12/(-2). Suppose 0 = u*y - 17 + 5. Solve -12 = -4*c - 4*f, y*c - 3*f = -0*c + 9 for c.
3
Suppose -f + t + 11 = 0, 3*f + t + 2*t - 21 = 0. Let p(r) = r**2 - 5*r - 3. Let x be p(6). Solve -2*i - 6 = -d, -d + 5*d - f = x*i for d.
0
Let j(i) = -i**3 - 4*i**2 - 2*i - 3. Let q be j(-4). Let w = -53 - -58. Solve 0 = q*n - 2*n - w*v + 13, 0 = -4*n - 2*v for n.
-1
Suppose -3*p = 2 - 8. Suppose 3*x + p*n = 13, 2*x - n - 13 = -3*x. Solve -2*t + 13 = -x*t - 5*k, -3*k - 15 = 3*t for t.
-3
Suppose -3*k + 31 - 1 = 0. Solve 4*l + g = 15, -l - k = 4*g + 5 for l.
5
Let o(b) = -3*b + 5. Let u(p) = -p**2 - 5*p - 2. Let z be u(-3). Let w be o(z). Let k = -5 - w. Solve j - k*s + 3 = 0, -2*j = -2*s + s for j.
1
Let k(y) be the second derivative of y**4/12 + 7*y**3/6 - 3*y**2 - 3*y. Let s be k(-8). Solve 17 = m + 4*q, -3*m + 4*m = -s*q + 7 for m.
-3
Let q(k) = -k + 6. Let f be q(5). Let y = 1 - f. Let r be ((-3)/2)/((-3)/6). Solve 0*m + 2*m - 5*s - 33 = y, -5*s - 13 = r*m for m.
4
Let w(h) = h**2 + h + 2. Let g be w(-3). Let z = -1 + g. Solve 5*l - z = -2*m + 3*m, 5*l + 5 = 5*m for m.
3
Let w = 50 - 35. Suppose -5 = -d - 0*d - 4*y, -3*d = 5*y - w. Suppose d*u - 44 = u. Solve 5*m + 13 = 2*t - 3*t, 4*t - u = m for t.
2
Let p be (1/(-2))/((-1)/10). Suppose o = -0*o + p. Let r be (-5 - (2 - 3))/(-1). Solve r*y = -o*n - 17, 2*n - y - y + 14 = 0 for n.
-5
Let z(p) = -p**2 + 5*p + 2. Let r(x) = -x - 4. Let b be r(-9). Let i be z(b). Solve -i*u + 1 = -5*g - 0, -3*u - 5*g - 11 = 0 for u.
-2
Let j be (1 - -1)*(-20)/(-8). Solve -6 = -4*z - 4*m + 26, 2*z - j*m + 5 = 0 for z.
5
Let h be (3 + -17)*(-2)/7. Let o be (-1 - -11) + 0/(-2). Suppose -h = 2*c - o. Solve c*v - 2 - 8 = 5*d, 0 = -2*v - 2*d - 20 for v.
-5
Let q(b) = b**3 - 8*b**2 + 8*b + 9. Let w = -80 - -54. Let u be w/(-4) + 4/8. Let g be q(u). Solve t = -2*r - 1, 4*t - g = 3*r + 13 for t.
5
Let v(c) = c**2 - 2*c - 3. Let q be 23/6 - (-7)/42. Let b be v(q). Solve 0 = -2*i - 0*i + b*y - 25, 25 = 3*i + 5*y for i.
0
Let k = 5 + -3. Let h = 7 - k. Solve -5*i - h*f = -15, -3*i - 6 = -5*f + 3*f for i.
0
Let c be ((-22)/(-6))/(3/(-9)). Suppose 23 - 122 = -9*y. Let x = y + c. Solve r - 28 = -4*r + 2*t, x = -3*r - 3*t for r.
4
Suppose 5*z - 25 = -n - n, 100 = 5*n + 5*z. Solve -4*a - 12 = -2*q, -4*q + 5*a - 4 + n = 0 for q.
4
Suppose 5 - 1 = g. Suppose -4*v - 20 = v. Let x = 12 + v. Solve -g*k + x = -5*z, 4*z - 2 + 0 = -k for k.
2
Let h be 4/(-3)*(2 - 5). Suppose -h*m - 6 = -m. Let a be ((-5)/15)/(m/12). Solve 3*i - 3 = 0, i = 2*n + a*n - 15 for n.
4
Let d be (5 - 2)/(3/4). Let u = -2 + d. Solve 3*z + u*z - x - 29 = 0, -x - 4 = 0 for z.
5
Let i(k) = -k**2 - 10*k - 9. Let v be i(-9). Solve x + v = -2, -2*o - 4 = -x for o.
-3
Suppose -14 = 8*o - 10*o + 2*c, -5*c = 5*o - 35. Solve -4*n + 5*b = -o, -4*n - 3 = -7*n + 3*b for n.
-2
Let q = -2 - 1. Let x = q - -5. Let b(a) = -a**2 - a + 2. Let c be b(-2). Solve 3*z = c, -4*z = x*h - 2*z + 6 for h.
-3
Let j(b) = -9*b**2 - 8*b + 0*b**3 - 2*b - b**3. Let p be j(-8). Suppose p = 2*d + d + 4*n, -2*n = -2. Solve 3*v = i - 16, -2*i + d = -i for v.
-4
Let f(g) = g - 7. Let x be f(12). Solve 3*w + 4 = c, x*c = -3*w - w + 1 for c.
1
Let b(v) = v**2 - 8*v + 7. Let n be 4 - 1 - (-6 + 1). Let m be b(n). Solve -5*w - 2*u = -m*u, 2*u + 4 = 0 for w.
-2
Suppose m + 27 = 5*g + 2*m, -3*g + 3*m = -27. Let y = 5 + -1. Solve 3*q = -y*v + 2*v - g, 4*q - 9 = 3*v for v.
-3
Suppose -4*j = -2*k + 22, -4 = 2*k + 2*j - 2. Solve -2*f + 3 = -3*v + 11, 9 = 3*v - k*f for v.
2
Let r = 25 + -10. Suppose 0*z = -3*z + r. Solve 2*h - z*h + 12 = 0, 0 = -5*b + 3*h + 8 for b.
4
Let s be (60/(-50))/((-4)/90). Let v be ((-3)/(-2))/(s/72). Solve 0 = 4*x - 16, -8*x = -5*r - v*x - 31 for r.
-3
Let q = 15 + -11. Solve 3*y + 27 = -b - 4*b, q*b + 2*y = -20 for b.
-3
Let q(t) = t**3 - 7*t**2 + 5*t + 6. Let v be q(6). Solve v = -z + 2*k + 2, -5*z - 3*k = k - 24 for z.
4
Suppose 3*v + 20 = 2*u + 2*u, -3*u - 4*v + 15 = 0. Solve -2*z = -u*o, -o = -4*z - 5 - 13 for o.
-2
Let l = -5 + 16. Let n be (18/21)/((-2)/14). Let t be (-3)/9 + (-8)/n. Solve -4*b - l = -2*s + t, -3*s + 3 = -b for s.
0
Let f(b) = b**3 + 8*b**2 + 3. Let a be f(-8). Solve -5*g = -3 - 7, -a*l - 2*g = -4 for l.
0
Suppose -4*z = -18 - 22. Suppose 2*r - s - z = s, 2*r + 5*s = -11. Suppose b + r*a = 5*a + 6, -4 = 4*a. Solve 0 = -2*c - y - 3, -5*y + 21 = -b*c - 16 for c.
-4
Let v be (-4 - -6)/((-2)/15). Let z = v + 32. Solve 3*w - 6*u = -2*u + z, 0 = -2*w + 2*u + 10 for w.
3
Let b = 9 + -7. Let n be -4*(-1)/2 + b. Solve -t - t + 3*k = 22, 3*t + 31 = n*k for t.
-5
Let q = -13 + 16. Let h(z) = -z**3 + z**2 + z + 3. Let y be h(0). Solve 0 = -3*t - q*u + 2*u, -8 = -t - y*u for t.
-1
Suppose 0 = -4*f - 0*f. Suppose f*x - 5*x = -100. Suppose x = 5*p + 2*z, -2*p - 3*z + z = -8. Solve 0 = -p*b - m + 17, 4*m - 35 = b - 6*b for b.
3
Let a(f) = f**3 + 5*f**2 + 4*f + 6. Let r be a(-4). Suppose -r*w + 100 = -w. Solve 0 = y - 3*i - 15, 0*i - w = -3*y + 4*i for y.
0
Let i be 8 - (-2)/(2 + -3). Let l be (-2 + i/(-2))/(-1). Solve -5*k + 2 = 2*d, -5*d - k - k + l = 0 for d.
1
Suppose -d + 5*p + 7 = -0*p, 0 = -d + p + 3. Let m(v) = -4 - 2*v - 3 + 1. Let n be m(-4). Solve -5*y + 20 = -n*q, q = -y + d*q + 4 for y.
4
Let a(r) be the second derivative of -r**3/3 - 5*r**2 + 2*r. Let j be a(-8). Let h be 2 - 1 - 4/(-2). Solve -h*c + 3*x = -j, 6 = -4*c - 3*x + 21 for c.
3
Let c be 140/(-50)*(0 + -5). Let j = c + -10. Solve g + q + 4 = -g, 3*g + j*q - 4 = 0 for g.
-4
Let g(z) = 2*z 