 0 = 2*c + 2*z - 0*z - 14, 3*z + 75 = 5*c. Suppose f + 2*f = c. Solve -n = -3*n - f*x - r, -5*n = -3*x - 8 for n.
1
Let m be (-8)/32 + 25/4. Solve 2*s + 3*r + 5 = -3*s, -2*s - 2*r - m = 0 for s.
2
Let i = -1 - -1. Let s be -1 + 4 - i/(-1). Solve -6 = -j + o - 4, -s*j - 2*o = 9 for j.
-1
Suppose 7*s - 3*s - 16 = 0. Solve -6*m - 2 = -s*m, 0 = o + m - 2 for o.
3
Let d be (2/6 + 49/21)*3. Let l(r) be the first derivative of -r**3/3 + 9*r**2/2 + 2*r + 1. Let s be l(d). Solve -6*f - s = -4*f + 4*a, 4*a + 16 = 0 for f.
3
Let c be 4/14 + (-16)/7. Let w be c + (0/(-1))/(-1). Let x = w - -5. Solve -2*a - 6 = -v - x*a, 0 = 2*v - 5*a - 5 for v.
5
Let q = 61 - 42. Let y = -40 - -42. Solve -3*o - 11 = z, 0 = y*o + o - z + q for o.
-5
Let q(y) be the second derivative of -1/12*y**4 + 2*y + 0 + y**2 + 3/2*y**3. Let u be q(9). Solve 0*b + 5*b + 21 = -4*p, -b - u*p = 9 for b.
-1
Let c(p) = -p**3 + 2*p**2 + 1. Let g be c(2). Suppose 5*s - 23 = 4*a, 2*a = -s - 1 - 0. Solve -s*u - 3 = 4*q - 2*q, u - g = 0 for q.
-3
Let l be -5 - ((-6 - -3) + 0). Let y be ((-3)/l)/((-6)/(-8)). Solve 0 = -4*i + y*r + 6, -2*i - 4*r = -i - 15 for i.
3
Suppose -5*u + 13 - 1 = 3*g, 0 = -2*u + g - 4. Let d be 4 - (-2 + (u - -3)). Suppose -f = -0*f - 3. Solve -d*z = 0, b + z = -2*b + f for b.
1
Suppose 0 = -a - 3*d - 2 - 1, 1 = -a - 2*d. Suppose -5*h + 36 = -h. Let n be 2/(-1) - (-5 - -1). Solve a*y + 9 = 2*p - h, -n*p + 5*y = -26 for p.
3
Let j be (-3)/(18/(-3)) + (-9)/(-2). Solve c - 20 = 5*i, 5*i - 11 = -j*c - 1 for c.
5
Suppose 0 = -2*d + 8. Let q = d - 0. Solve -5*b + 14 + 5 = s, q*s = 5*b + 1 for b.
3
Let s be 176/10 - (-2)/5. Let j(r) = 10*r + 7. Let v be j(-2). Let y = s + v. Solve 3*i - 7 = y*p, -3*p - 2*p = -i + 9 for p.
-2
Suppose 0 = -3*x - 2 - 1. Let b = x - -1. Suppose -n + 3*n = b. Solve -2*z - o - 5 = -n*o, 4*z + 4*o = -12 for z.
-2
Suppose 3*w + 8 = -5*q + 50, 0 = q - w - 2. Solve 2*k + 7 = 17, -4*d + 2*k = -q for d.
4
Let s(z) = -2*z**3 - 3*z**2 - 3*z. Let x be s(-2). Solve 0 = -2*f - 5*r - 25, -f + x = -3*r - 5 for f.
0
Let j = 2 - -2. Let a be 70/3 - j/(-6). Solve -3*r = u - 0*u - 6, 4*u + a = 4*r for r.
3
Suppose -d + 0 = -3. Suppose -l = d*x - 11, x + 2*x + 3*l - 15 = 0. Let c be ((-4)/(-3))/((-3)/(-9)). Solve -x*s = f + 6 + 1, -c*s + 3*f = -8 for s.
-1
Let v be ((-4)/(-5))/((-10)/(-25)). Let c(m) = m + 2. Let x be c(v). Solve 4*z + 19 = t - 4, -26 = x*z - 2*t for z.
-5
Suppose -3*v - 2 = -v. Let a(o) = o**2 - 8. Let y be a(0). Let b be (20/y)/(v/4). Solve -2*n + 8 + b = 2*h, h - 3*n + 11 = 0 for h.
4
Suppose 0 = 5*o - m - 58, -3*o + 5*m + 32 = 3*m. Solve -2*v = -6*v + a + o, -4*v + 12 = -2*a for v.
3
Let t(o) = -3*o - 1. Let i be t(-1). Solve -2 = i*q + 2*p, -5*q = 5*p - p + 5 for q.
-1
Suppose 6*y + 12 = 12. Solve y = 3*v - i - 7, 2*v + 4 - 12 = 4*i for v.
2
Let b = 47 + -45. Solve 3*w + 2 = 5*z, b*z - 4*z - 4 = 0 for w.
-4
Suppose 3 = 3*j - 2*j, -2*s = 2*j - 14. Solve 5*i = -4*f - 29, s*i + 0*i - 2*f + 18 = 0 for i.
-5
Suppose 2 = 3*x - 4. Let b = x - 0. Solve 0 = -b*j - 4*o + 10, -3*j + 5*j + 3*o = 6 for j.
-3
Suppose 2*u = 3*u - 8. Let x = 4 + u. Suppose -11 = 3*o - 2, -o - 67 = -4*j. Solve j = 2*f - f + 3*h, -4*h = -f - x for f.
4
Let l = 30 - 13. Suppose -l - 9 = -g. Let s(k) = 22*k**3 - k**2 + 2*k - 1. Let q be s(1). Solve -2*f - 5*v - q = -v, -5*v - g = 2*f for f.
-3
Let q = -4 + 6. Let v = q - 0. Solve -a - 40 = v*a - 5*b, 2*a + 15 = b for a.
-5
Let s(q) = -q**2 + 9*q + 8. Let a(d) = -6 + 5*d**2 + 5*d - 2*d + 5*d**3 - 6*d**3. Let p be a(5). Let x be s(p). Solve -2*o - 3*v - v = x, 0 = -o - v - 2 for o.
0
Suppose 2*v = -0*v - g + 2, -v + 8 = -3*g. Let j(r) = -5*r - r - 3 + 1 - 3 + r**v. Let w be j(7). Solve 2*d - 13 = -3*p, 3*p + w*p - 9 = 3*d for p.
3
Let p(y) = -5*y + y**3 + y**2 + 5 - 2*y**2 - 2. Let f be p(3). Solve -x - 2*b = -f, 0 = x + 6*b - b - 18 for x.
-2
Suppose -k + 5 = -4*m, 11 = k - 2*m + 4*m. Suppose -w - 3*w = 20. Let i = w + k. Solve 1 = -4*b + o, 4*o = -3*b - 2*b + i for b.
0
Let l(g) = 4*g - 1. Let w = -4 + 3. Let j be l(w). Let h = j + 8. Solve 3*u - 4*c = -19, 2*u - h*c = -c - 10 for u.
-1
Let p be (-3)/2 - 456/(-48). Let z(u) = u**3 + 5*u**2 - u - 3. Let f be z(-5). Solve 4*o = f*i - p - 6, -4*o - 11 = -i for i.
3
Let f be 4/10 - (-24)/15. Let z be -1 + 1 - (-7 - -4). Solve -3*j + f*b + 3 = -4, 3*j = 3*b + z for j.
5
Suppose 2*q + 2*r = -0*r + 14, -5*q - 2*r + 26 = 0. Solve -5*s - 10 = z + q*z, 0 = 5*s + z + 6 for s.
-1
Let z(r) = r**3 - 7*r**2 + 11*r. Let w be z(5). Solve 0 = -w*x + 4*j - 2*j + 29, 3*x = 4*j + 23 for x.
5
Let o = 7 - 13. Let x(d) = -d - 1. Let c be x(o). Solve -4*b - c = 3*k, -b + 10 = -6*b for k.
1
Let s(n) = -n**2 + n + 1. Let w be s(-2). Let o(k) = -k**3 - 4*k**2 + 5*k + 2. Let v be o(w). Solve -4*c = 2*m + 4, -3*m + 4*c = -2*m + v for m.
-2
Suppose o - 4 = 14. Let s be (8/14)/(o/63). Solve -2*w + s = 5*f, -4 = -2*w + f - 2 for w.
1
Let g be (-2)/(4/(-4)) + 3. Solve -4*x + 32 = -g*v, -v - 2*x = -5*x + 13 for v.
-4
Let y be (4 + (-68)/20)/((-3)/(-45)). Solve -3*p + 21 = 5*n, -3 = -3*p + 4*n - y for p.
2
Let j be 4*((-2)/2 - -2). Suppose -j*q = -3*q - 2. Solve 4*m = -q*t + 16, 0 = -0*m + 4*m - 8 for t.
4
Let n = 0 - -2. Let m(v) = 8*v**2 - 1. Let i be m(1). Suppose a + 2 = i. Solve 0*t - 10 = -t + w, -t - n*w - a = 0 for t.
5
Suppose -3*t = -5*l - 26, 2*t + 3*t - 18 = 2*l. Let a = 10 + -6. Suppose -2*j - t*i = 4 - 22, j = -a*i. Solve -4*d = -4*s - 16, -3*d + j = -3*s + 2*d for s.
-4
Let u be 74/14 - (-2)/(-7). Suppose 2*c = 4*c. Let l = -31 - -48. Solve c = u*n + 3*o + l, 3*o + 15 = -4*n + 2 for n.
-4
Let u be (-10)/4*(-44)/(-55). Let h be (-2)/u*(2 + 0). Solve 0*o = 4*o - g + 6, -8 = 2*o + h*g for o.
-2
Suppose -q - 5*c = 2*q - 3, -3*c + 21 = 5*q. Suppose 37 = b + 10. Let l = -11 + b. Solve 1 = -4*d + 3*a, -5*d + q = -2*a + l for d.
-4
Let h = -19 + 45. Let z = h + -14. Solve -v + 4*m + z = 2*v, -9 = v + 3*m for v.
0
Let w = 2 + 0. Let o be ((-2)/(-5))/(2/20). Let h be (-2)/o*(-12)/2. Solve -2*s + 5*n - 17 = 0, -25 = -2*s - h*n - w for s.
4
Let y(x) = 6*x - 1. Let p be y(1). Solve -4*k = -3*i - k + 15, -p*i + k + 21 = 0 for i.
4
Suppose 5 = 4*w + 2*c + 1, 5*w + 5*c - 5 = 0. Suppose 0 = 2*b + 4*l - 2, -4*b + 32 = b + l. Let p = w + b. Solve -p = 4*r - 2*i, 0*r - r = i + 5 for r.
-3
Let w(q) = -1 - q**2 + 0 + 4 + 4*q - 2. Let m(g) = g**3 + 4*g**2 - 7*g - 7. Let j be m(-5). Let u be w(j). Solve -16 = 4*p - 5*k, -p + 3*k = -k + u for p.
-4
Suppose 3*t - 23 = 13. Solve 4*u - 4*z = -t, 2*u + 6 = -2*u + 2*z for u.
0
Let q = 92 + -90. Solve -20 = -c + 5*d, q*c + 1 = -5*d - 4 for c.
5
Let c(k) = -2*k**3 - 4*k**2 - 3*k. Let g be c(-2). Suppose 110 = g*z - z. Solve 0 = 3*o - 8*o + 4*b + z, -4*o - 7 = 5*b for o.
2
Let c(o) = -o**2 + 13*o - 4. Let f be c(10). Let j = 43 - 26. Solve 5*x - 3*z = j, 9 - f = -3*x - 5*z for x.
4
Let l(g) = -g**3 - 8*g**2 - 6*g + 10. Let t be (1 + -2)*(10 - 3). Let w be l(t). Solve w*s = -2*i - 2*i - 21, -4*s - i - 15 = 0 for s.
-3
Suppose -3*t + 15 = -9. Suppose -4*m = -2*m - t. Solve 0 = -h + m*p + 16, -10 = -5*h - 3*p + 1 for h.
4
Let m(o) = -o**2 - 8*o - 4. Let k be m(-7). Solve -4*y - k = -5*h, -4*y + 9 = 2*h - 3*y for h.
3
Let t(i) = i**3 - 13*i**2 + i - 10. Let l be t(13). Solve -5*v + l*p = 0, -4*v + p = -0*p for v.
0
Let d be (0/(-5)*-1)/(-1). Solve d = z + 5*v + 8, 4*v + 2 = -3*z - 0 for z.
2
Suppose 0 = 2*c - 4 - 8. Solve d = c*d + 3*s - 1, 1 = -5*d - 2*s for d.
-1
Suppose r = -3*r + 16. Suppose 2*o - r = 0, m - 3*m + 5*o = 0. Solve 5*f - 20 = -5*u, -8 = -m*f + u - 0*u for f.
2
Let v = 27 - 15. Solve 3*c + m = c, 4*c - v = 4*m for c.
1
Let i(y) = 2*y + 16. Let r be i(-7). Solve 3 = r*k - 3*l - 0, -k + 4*l = -4 for k.
0
Let t(f) = -18*f + 2. Let j = 0 + -1. Let b be t(j). Solve -4*x + b = -o, -2*o = -6*o - 3*x + 15 for o.
0
Let x(y) be the third derivative of y**6/60 - y**5/15 + y**4/8 - y**3/3 - 5*y**2. Let v be x(2). Solve -12 + 2 = 2*b, v*b + 5 = 5*l for l.
-3
Let c = 33 + -28. Solve x + 0*g - 2 = -2*g, -g = c*x - 1 for x.
0
Suppose 0 = -0*r - 2*r + 90. Suppose 5*f - 5*j = r, -4*f - 4 + 50 = j. Solve 5*c = 2*o - f, -c - c = 2*o + 10 for c.
-3
Let m be (-3)/1 + (1 - -14). Let c = m - 9. Solve 3*d - 2 = 5*w - 0, 0 = -4*d + c*w - 1 for d.
-1
Let k = -10 - -18. Let m = 12 - k. Solve 3*o +