3*z = -6 - 9. Solve 2*k = -k + n - 15, -z*n = 3*k + 15 for k.
-5
Let a be (-1)/3 - (78/(-18))/1. Solve -g = -5*r + g, -r - a*g = -22 for r.
2
Suppose 0*q - 2 = q. Let w = q + 4. Solve -w = 2*v - 4*v - 2*u, v = u - 1 for v.
0
Suppose -2*g + 2 + 4 = 0. Suppose r + g*r - 20 = 0. Suppose -r*s + 4 = -11. Solve w - 2*x = -5 - s, -2*x = -6 for w.
-2
Let f(h) = h + 1. Let a be f(1). Suppose -4*l = -14 - a. Suppose -5*g + 18 = 3*r - 53, 2*r = 5*g - 61. Solve -5*i + 17 = -l*w + 2*w, 2*w + 5*i - g = 0 for w.
-1
Suppose 0 = -4*u + 6 + 22. Let m be -2 + (u - (-2 + 1)). Let y = m + -2. Solve 0 = -3*n - 12, h + n + 21 = -y*n for h.
-1
Let y = 0 + 5. Suppose -3*b = -0*d - d + 5, 7 = 5*d + 3*b. Solve 2*j + 2*a + 14 = -d*j, 5*a = 5*j - y for j.
-2
Let l = 12 + -9. Solve -4*u - 3*q - 15 = 0, 0 = 4*u - l*u - q + 2 for u.
-3
Let g be 1/(-4) + (-210)/(-40). Solve 5*l = -g, 3*l - 3 = a - 1 for a.
-5
Let f = 77 - 74. Solve -b = -f*b - 3*l - 13, 2*l = -3*b - 17 for b.
-5
Let i(o) = -o**2 - 15*o - 12. Let v be i(-14). Let n = -18 - -22. Solve 0 = 2*j - 4*z + v, z + n = 7 for j.
5
Suppose 0 = -3*j - 4 - 14. Let f = -3 - j. Solve -3*k + f*s = -24, -3*s - 9 = -2*k + 10 for k.
5
Suppose -s - 3*q = 2*s - 9, -s + 2*q = -9. Solve -3*c + s*o - 10 = 0, -2*c = -4*o + 2*o + 8 for c.
-5
Let z = 3 - 0. Let p = 16 + -9. Solve -z*w + 4*l = 2*l + p, 3*l = -2*w - 22 for w.
-5
Let t(l) = l**2 + 6*l - 5. Let a be t(-5). Let g(q) = -q**2 - 12*q - 13. Let w be g(a). Solve w = -4*f - 3*r, f - 3*r = -5*r - 8 for f.
2
Let b = 7 + -11. Let v be (b/10)/(1/(-5)). Suppose 13 = v*h + 7. Solve -3*d + d = 0, -i + h*d + 4 = 0 for i.
4
Let v be 5*(-3)/(4 + -1). Let y be (3/v)/(1/(-5)). Suppose 0 = 4*r - 4*f - 88, -y*f + f - 10 = 0. Solve 0 = 5*x + 5*u - 5, 0 = x - 2*u + 7*u - r for x.
-3
Suppose -k - 3*y - y - 5 = 0, k - 13 = 2*y. Let d(w) = w**2 + w - 2. Let h be d(-2). Let f = k + h. Solve 0 = b + 3*v - 3, 0 = -4*b - 2*v - f - 1 for b.
-3
Let i = 40 - 20. Solve -z - 5 = -5*j - 5*z, 5*j - z + i = 0 for j.
-3
Let j be 4/(-8)*(-12)/1. Suppose -3*g = 3*i - j, -2*i + 0*i + 5*g = -11. Solve -6 = i*z + 9, 5*z + 16 = -3*f for f.
3
Suppose -45*a + 50*a - 10 = 0. Solve -4*h + a = -v + 3, v = -5*h + 10 for h.
1
Let a(l) = -4*l**2 + 16*l - 5. Let j(b) = -b**2 + 4*b - 1. Let k(m) = -2*a(m) + 9*j(m). Let z be k(4). Solve 5*u = -v + 11, -2*v - z + 13 = 5*u for u.
2
Let q = -4 + 9. Suppose v - 5*s = -14, 2*v - q*s + 13 = -0*s. Solve 2*i + 4 = -0*i, -5*i = -3*u + v for u.
-3
Suppose -24 = -4*a - 4*b, -2*a - 12 = -4*b - 0*b. Solve 0 = -2*v + 3*m - m + a, 35 = 3*v + 5*m for v.
5
Let z = 14 + -10. Solve 4*h = -4*u + 8, -2*h + 5*u = -z - 21 for h.
5
Let r be ((24/14)/(-6))/(1/(-7)). Solve r*u = -f + 1, -3*u - 4*f = -f for u.
1
Let h(s) = -15*s - 2. Let w be h(-2). Let t be (-8)/w - 32/(-14). Solve 5*o + t*b = -17, 33 = o - 6*o + 2*b for o.
-5
Let c be (-3 - -2) + (-18)/(-3). Solve 5*t = -y - y + 22, -c*y + 3*t - 7 = 0 for y.
1
Suppose -4*j + 12 = 4*q, 17 = 2*q + q - j. Solve 3*k - 4*x = -2*x + 21, 13 = q*k + 4*x for k.
5
Let b be (9/(-6))/((-8)/16). Solve 0 = 4*m + m + 5*z - 5, 7 = -b*m + 2*z for m.
-1
Let d(x) = 2*x**2 + x**2 + 6 - 2 - 4*x**2 + 3*x. Let z be d(3). Solve 0 = 3*s + 3*n - 21, 3*s - z*n + 0 = 7 for s.
5
Suppose -1 = -r + 2. Solve -p = -6*p - 4*l - 9, -p - 4 = r*l for p.
-1
Let r(y) = -y**3 + 8*y**2 - 7*y + 10. Let x be r(7). Solve 4*t - x = -3*c, -t = -4*c - 7 + 14 for t.
1
Suppose -y = 3*s - 4*y, 0 = -2*s + 5*y - 6. Solve -3*d - 2*r - 13 = 0, -s*d + r = 3*d + 13 for d.
-3
Let s(z) be the second derivative of 1/6*z**3 + 0*z**2 + 0 - z. Let d be s(3). Solve d*t - 17 = q, 4*q + 5*t = -6 + 23 for q.
-2
Let l(t) = 3*t - 13. Suppose -v - 179 = -4*x, -x = -2*x + 3*v + 53. Suppose -5*w = -w - x. Let a be l(w). Solve -3*h - 5*s = a, -4*h + 16 = -6*s + 2*s for h.
0
Suppose -3*f + 5*f = 6. Let s be 4/(-14)*(-8 - -1). Solve -s*i - 5*n = -4 - 3, -f*i - 3*n = 3 for i.
-4
Suppose -2*x - x = -15. Suppose -w = -3*n - x + 10, -2*n + 5*w = 1. Solve 2*b - 11 - n = 3*s, b - 9 = 2*s for s.
-5
Let o(l) = 2*l + 10. Let n be o(-7). Let a be 40/(-12)*6/n. Suppose -a*i = 15, 2*q + 2*q - 4*i = 44. Solve -f + 2*m + q = 0, f + 20 = 5*f - 4*m for f.
2
Let s(o) be the third derivative of 0*o - 1/60*o**5 + 0 - 3*o**2 + 1/3*o**4 - 5/6*o**3. Let m be s(7). Solve 1 - 3 = -m*b + i, i = -2 for b.
0
Let u be 1/(-2)*-4 + 0. Let f(t) = 7 - 3 - 6 + t. Let o be f(u). Solve -q - 11 = 4*n, n + o*n - 3*q = -19 for n.
-4
Suppose 0 = -5*c - 3*l + 21, 3*c + 3 = 5*l + 2. Suppose 5*x + 23 = c. Let h = x - -6. Solve 0 = r + h*f - 5 + 2, -3*r - 3 = 2*f for r.
-3
Let a(h) = h**2 - 8*h - 4. Let w be a(9). Suppose 3*c + t = -2*c - 30, -4*t + w = -5*c. Let j = -1 - c. Solve -d + 6 = -2*m, d - 3*m = -j*d - 5 for d.
-4
Let b = 26 + -28. Let i be 2 + b/4*4. Solve 3*n - 6 = -3*j, i = n + n - 4 for j.
0
Let o be 2/3 - 26/(-6). Suppose 3*i = -w + 30, 5*i - 46 - 4 = -w. Let u = i - o. Solve u*l + p = -20, 0*l - 3*l - 3*p = 0 for l.
-5
Let w = -30 + 31. Solve -4*p - o = -w, -3*o + 12 + 1 = 2*p for p.
-1
Suppose 0 = 6*x - 97 + 25. Solve -3*h - 4 = -d - x, 2*h - d - 5 = 0 for h.
3
Let t(x) = -16*x + 4. Let g be t(-5). Let w be (-4)/(-6) + g/9. Solve f + 5*v - 2 = 0, 7*f - 4*v - w = 2*f for f.
2
Let w be 2*(-17)/2 - -3. Let g = w + 18. Solve -3*s + 5*f = -14, g*s = -3*f - 9 - 11 for s.
-2
Let w be 3/4 - (-204)/48. Solve -w*s - 3*z = -3, -3*s = -0*s - z - 13 for s.
3
Suppose -3*i + 7 = -5. Solve 4*v - 2*o - 6 = 0, -5*o - 2 = -i*v - 11 for v.
4
Suppose -14 + 40 = 2*p. Let j = p + -9. Solve n - 3*k = -10, -k + j + 11 = 2*n for n.
5
Let g = 4 - 1. Suppose g*d - 8*d + 85 = 0. Solve -n + 4*x = n - 10, -2*x - d = 3*n for n.
-3
Let z be (-3)/15 - 27/15. Let i(c) = 2*c + 4. Let m be i(z). Suppose 3*v - 3 = 0, v + 1 = w - m*v. Solve 0 = w*t + 2*a + 8, a + 0 = -3 for t.
-1
Suppose b - 5*b = -12. Suppose -r - 2 + b = 0. Let k be (-10)/(-5) + (-2)/r. Solve 2*i + 0*i + 5*g - 19 = k, -3*g + 30 = -5*i for i.
-3
Suppose 10 = 2*q - 0*q. Solve 12 = 3*k - q*n, 22 = 4*k + 2*n + 6 for k.
4
Let p(z) = z**3 + 7*z**2 + 5*z - 5. Let v be p(-6). Solve 0 = 2*u - 4*s, u = 4*u - 5*s - v for u.
2
Suppose -3*q = -3*d - 3, -4*d + 0*q + 3*q + 1 = 0. Suppose -d*v = -6 - 10. Solve -3*f = -3*j + 12, -f + 6*f - v*j = -16 for f.
0
Let s(p) = p**3 + 6. Suppose 5*f + 0*g + 6 = -2*g, 2*f - 3 = g. Let v be s(f). Solve 0 = 2*q - 4, 5*k - 5*q + 9 = -v for k.
-1
Let n(m) = -m**3 - m - 13. Let p be n(0). Let r = 18 + p. Solve r*g - 20 = 4*v, -5*v = -3*g - 0*v + 25 for g.
0
Let t(d) = -d - 1. Let q be t(-5). Suppose 5*n = -q*u, 0*n = n - 5*u - 29. Solve 0 = 2*z + n*k - 2, 3*z = k + k + 19 for z.
5
Let w(i) = -5*i + 53. Let z be w(10). Solve -5*h + z*x + 13 = 0, -h + 5 = h - x for h.
2
Let a(l) = l**2 + 11*l - 10. Let i be a(-12). Suppose i*q - 2 = -2*z, 4*q + 1 = -7. Solve o + 4*c - 3*c - z = 0, 0 = -4*o + 3*c - 2 for o.
1
Suppose -z - 3*d + 8*d = 22, 5*z + 5*d - 40 = 0. Let x be z/6*(6 - -2). Solve -x = 5*f + p, 4*p + 4 + 12 = 0 for f.
0
Suppose -15 = -3*r - 2*r. Suppose 4*n - 7 + 31 = 0. Let s be (-90)/(-21) + n/21. Solve 6 = -r*b - q, s*b - q - q = -18 for b.
-3
Let k be (-4)/(-10) + 2/(-5). Let m = 2 - k. Solve -2*r + 5*r = -4*v + 3, 5*v + m*r = 9 for v.
3
Suppose 1 = 5*i + 6. Let k be -1 + 2/2*i. Let w be 8/((-1)/(1/k)). Solve -5*z + 0 = w*v + 1, -5*z = -5*v - 35 for z.
3
Let h be -3 - (-7 + (0 - -1)). Solve -2*z - 5*r + 2*r = 7, -5*r = h*z + 12 for z.
1
Suppose -3*y - 2 = -y. Let a be ((-1)/(-3))/(2/(-18)). Let f be a/3*(y + 1). Solve -d + f = j + 1, 20 = -4*d for j.
4
Suppose -4*o = -2*l - 31 - 35, -5*l - 75 = -4*o. Suppose -4*x - 4*q = -60, 12 + o = 2*x + q. Solve -2*i = 2*a - 0*a + x, 5*i - a = -12 for i.
-3
Suppose 2*s - 6 - 4 = 0. Suppose -s*p + 8 = -4*p. Solve -2*o = 4*f - p, 3*f + o + 4 = 12 for f.
4
Suppose -5*c - 3*z = -2*z + 43, 23 = -4*c + 3*z. Let y = 11 + c. Solve 0 = 5*a + 5*u, 3*u = y*a - 4*a for a.
0
Let m(b) = -3*b + 7*b - 3*b + 1. Let w be m(-1). Solve 2*x + 2*x + 4*t + 24 = w, 0 = 5*x - 5*t for x.
-3
Suppose 7*t = 6*t + 5. Solve -5*y - 8 - 12 = t*p, 0 = p - 3*y - 8 for p.
-1
Suppose -16 = 3*b - 5*m, 4*b + m - 10 = 7. Solve 3*r + 1 = 2*k, b*r - 1 = k + 2*r for k.
-4
Let x = 14 + -14. Solve x = -4*k + 3*q + 19, 0 + 3 = -3*q for k.
4
Suppose 0 = 5*f, 0*r + 2*r + 3*f - 2 = 0. Let w be r + 5/((