.
4
Suppose -4*b + 14 = -18. Let m(s) = s - 5. Let n be m(b). Solve -8 = -n*t + c, 2 = 4*c - 5*c for t.
2
Suppose 12*u = 5*u + 189. Solve -4*s - 2*i = -2, 2*s - u = -2*s + 3*i for s.
3
Suppose -5*g + 5 = -15. Solve -t + g*k = 2*k - 7, 2 = 2*t + 2*k for t.
3
Let d be 5 - (-1 - (0 - 2)). Solve 4*b + 9 = 3*p, -3*b - p = -d*p + 9 for b.
0
Let b = -42 + 42. Solve -16 = 3*o + 4*p, b = -p - 0*p - 4 for o.
0
Let h be 2/(-5) - ((-385)/25 - 4). Solve 4 = j + 2*t, -j + 4*t - h - 1 = 0 for j.
-4
Let t be 2 + (-2 - -3 - -1). Let j(w) = -16*w + 0*w**2 + 9 + 4*w + 4 + w**2. Let f be j(11). Solve -f*s + t = 0, -a - 11 + 4 = -2*s for a.
-3
Suppose 2*h = 3*h, -5*h = 4*o - 8. Solve 2*w = -v - 3 + 11, o*w = -2*v + 6 for w.
5
Let o be 0 + 4 + 2/(-8)*4. Solve 0 = f - o*b - 8, 3*b + 2 - 6 = 4*f for f.
-4
Suppose 19 = 3*c - a - a, -4*c + 2 = 2*a. Suppose -2*y = y. Suppose y = -3*t - 2*t. Solve 3*n - 4*m = -3, t = n - c*n + 5*m + 5 for n.
-5
Let y(q) be the third derivative of -q**6/120 - q**5/15 - q**4/12 - 5*q**3/6 - 4*q**2. Let f be y(-4). Solve u - 2 = w, u - f*u + 8 = -3*w for w.
-4
Suppose 47 = 5*t + 32. Solve 2*x + 3*h - 12 = t*x, -2*x = -h - 1 for x.
3
Suppose 5*j + 3*o - 65 - 9 = 0, o = -2. Solve 0 = 3*w + 4*l + 4, -2*w = -3*w + 3*l + j for w.
4
Let u be 4/((-48)/(-9)) + (-39)/(-12). Solve -y - x + 2 = -0, 0 = -u*y + 3*x + 8 for y.
2
Let v be 22 + (-2 + 3 - 4). Suppose 0 - v = -3*b - c, 0 = -b + 5*c + 17. Let o = 13 - b. Solve 5*j - o = -q, 2*q + 0*q = 3*j - 14 for q.
-4
Let a be ((-188)/10)/(-2) - 16/40. Solve x = -2*d - a, 5 = -2*d - 5*x - 0 for d.
-5
Let t = 1 - 1. Let r(m) = 5*m - m - 5*m + t*m. Let c be r(-10). Solve 0 = 5*w - k + c, -w = 3*k + 5 - 3 for w.
-2
Suppose i - 1 = l, 0 = 4*i - 8*l + 3*l - 3. Suppose -j - i = -1. Let x = 2 - j. Solve -6*v + 12 = -x*v + 3*q, -4 = -v - 5*q for v.
4
Suppose 0 = -3*u - 0*u + 18. Suppose 0 + u = z. Solve -3*p - 4*y = 5, -z*y = 2*p - 4*y for p.
5
Suppose -z = -4*c + 14, 0 = 3*z - 2*c - 1 + 3. Let v(i) = 5*i**z + 1 + 1 - i**3 + 0*i**3. Let l be v(5). Solve 0 = 2*q - 5*t - 24, -l*q + 2*t = -4 - 8 for q.
2
Suppose 8 = -w + 2. Let a = -6 - w. Solve x + y - 3 = a, -4 - 4 = -4*y for x.
1
Let z = 1 - -2. Suppose -4*d - 4*h = -68, d - z*h = -2*d + 45. Suppose -4*o + d = -0. Solve a + 3*k + 4 = 4*k, o*a + 3*k + 2 = 0 for a.
-2
Let c = -62 + 66. Solve 4*q + 4*k = c, 0 = 5*q + 4*k - 1 - 2 for q.
-1
Let x = 58 + -52. Solve 0 = 2*v - 3*o + x, -v - 2*v + 2*o - 9 = 0 for v.
-3
Let b = 29 - 26. Solve -b*g + 2*g + 4*v = 17, -3*g - 4*v + 29 = 0 for g.
3
Suppose 0 = v - 4 + 1. Solve 2*d + 2*d + 7 = -5*u, v*u + 2*d + 3 = 0 for u.
1
Suppose 0 = 2*u + u - 90. Suppose 5*h + 3*k - 8*k = u, -h - 2*k = 0. Suppose 5*l = -5*r - 21 - h, 3*l = -5*r - 15. Solve 3*a - a = -s, r = s + 2 for a.
1
Suppose 2 + 6 = 4*u. Suppose -20 = -8*m + 3*m. Suppose 3*c - 3*q = -6*q + 57, 3*c - m*q = 78. Solve 0 = -5*b + u*l - 2, -b - 6*l = -l + c for b.
-2
Suppose -12 = -4*f - 4*n, 4*n = 5*f - 43 - 17. Let v be (f/(-6) - -1)*-27. Suppose p + 2*p - v = 0. Solve 0 = -p*a - 2*t + 5, 0*t = 4*a - 5*t + 24 for a.
-1
Let l(t) = t + 18. Let h be l(-16). Solve d - h*r = 1, -3*r = -0*d - 2*d + 3 for d.
3
Let r(a) = 0 + 2*a - 3 - a + 2 + a**2. Let f be r(1). Solve -5*p + 3 = m, -8 + f = p + 4*m for p.
1
Let h(c) = -2*c - 2. Let r be h(-2). Suppose -3*p + r*o + 2*o = 7, 0 = 2*o - 8. Solve 25 = -p*v - 3*a + 1, a + 5 = 0 for v.
-3
Let v be ((-4)/(-6))/((-2)/(-9)). Let j be 3 + -2 - (-5 - -2). Suppose -3*h = -6*h - 3, -j*l + 24 = -4*h. Solve l*o - u - 8 = 0, -v*o - 4*u - 9 = -0*o for o.
1
Suppose -4*v - m + 27 = 0, -2*v + 5*m = -30 - 11. Suppose -5*w + 2 + v = 0. Solve 3*o + b - w*b = 7, 5*b - 25 = 0 for o.
4
Suppose 0 = 2*q - 0*q. Suppose -5*c + 3*c = q. Suppose 2*s - 5*j = -15, -3*s - 3*j - 5 = -35. Solve 0 = o - r - 5, -15 = -c*o - 3*o - s*r for o.
5
Let y(x) = x**3 - 4*x + 1. Let f be y(3). Solve 5*q + 2*z = f, -3*z = q + 3*q - 17 for q.
2
Let x = 7 + -5. Solve 5*l + 2*o + 22 = -x*o, -17 = 4*l + 3*o for l.
-2
Suppose 0 - 15 = -3*l. Suppose l*q - 32 = 38. Suppose -4*u + 9*u + 4*s - 129 = 0, 0 = 5*u - 3*s - 122. Solve y = -3*d - q, d + 3 = -5*y - u for d.
-3
Let m = 3 + -1. Suppose -x + 9 = m*x. Let k(i) = -i**2 + 4*i + 1. Let h be k(3). Solve 0 = x*y + 2*d - 1, 2*y - 6*y + h*d = -8 for y.
1
Let n(q) = -q + 22. Let z be n(13). Suppose -p + 2*w - 3 = -z, 2*w = -p - 6. Let g = p + 3. Solve 4*a = -3*y + 32, 0 = g*y - 6*y - 3*a + 27 for y.
4
Let m = 155 + -137. Solve -4*s - 9 = 3*a - s, -2*a = -4*s + m for a.
-5
Let k be (11/(-4))/(5/20). Let i = -5 - k. Solve 2*c + 1 = -3*t + 2, -4*c = 2*t - i for c.
2
Let z = 3 + -4. Let h = 2 - z. Suppose 3*f + 2*f = -2*r + 52, 2*r + 4*f = 52. Solve 3*k - b = h*b - r, -4*k + 4*b = 28 for k.
-2
Let j = 107 + -104. Let m(x) = -x + 6. Let v be m(6). Solve 5*y + 4*w = 14, -j*y + 5 = -w - v for y.
2
Let n(s) = -s**3 - 7*s**2 + 3. Let y be n(-7). Suppose y*r - 16 + 7 = 0. Suppose h - 2 = a - h, -r*a + 14 = -h. Solve -u - 2*z + a = -0, z = u for u.
2
Let r(g) = -g**3 + 5*g**2 - 4*g + 2. Let t be r(4). Suppose t*i + 5 = 29. Suppose 4*o + 4 = i. Solve o*w - 2*u = -2*w - 10, 0 = 5*u - 5 for w.
-2
Let v = -6 - -9. Let l be 5/15 + 2/v. Solve 2*o = 4, -3*o = -2*b + 1 + l for b.
4
Let s(m) = 2*m - 2. Suppose -4*d = -d - 3. Let q be s(d). Solve q*z = 2*f + 5*z - 21, -2*f + 5*z - 9 = 0 for f.
3
Let i = 2 + -2. Let q(z) = z**3 + 3*z**2 - 6*z - 3. Let n be q(-4). Solve -3*d + 3*p + 6 = -0*p, i = -n*d + 3*p + 2 for d.
-2
Let r(d) be the third derivative of 1/6*d**4 + 0*d + d**2 + 0 + 1/3*d**3 + 1/30*d**5. Let m be r(-2). Solve m*i - 5*o = -2*i + 4, 0 = 4*o for i.
1
Let o be (15/(-6))/(-5)*0. Let s = o - -3. Solve -4*p - 4 = 3*j, 2*j - s*p = -3 + 6 for j.
0
Suppose 2 + 1 = -q. Let z(s) = 2*s - 4*s - s**2 + 2 - s. Let l be z(q). Solve -5 = -l*w + 2*c - 21, 0 = -5*c + 25 for w.
-3
Let l(q) = q**2 + 3*q - 1. Let r be l(-4). Let f be (6/4)/(r/136). Let w = f + -46. Solve -2*k - k - w = -4*s, 3*k - 3*s + 18 = 0 for k.
-2
Suppose 2*b = -0*b - y + 7, -5*b + 2*y = -13. Solve -3*z + 3*x - 2*x - b = 0, -3*x = -5*z - 9 for z.
0
Let q(k) = -k + 1. Let s be q(2). Let x = s + 5. Suppose 2*i = -8, -20 = -0*r - x*r + 3*i. Solve b + 1 = 2*c + 2, 2*c + 4 = r*b for b.
3
Suppose -36 = -2*o + 34. Solve 5*n + o = -5*z, -5*z - 28 - 4 = 4*n for n.
-3
Let b(i) = i**3 - 8*i**2 + 8*i + 3. Let p be b(7). Suppose -p = -4*g + 22. Solve 4*l + 8 = -y, 4*l - 3*y + 0*y = g for l.
-1
Let q = -18 + 21. Solve q*a = -4*p - 2*a, p - 4*a = 0 for p.
0
Let l = -77 - -77. Solve 5*q - 3*y - 11 = l, -y + 28 = 4*q + 3*y for q.
4
Suppose 4 = 2*s + x, -4*s - s - x = -10. Let m = -1 + 2. Let u be -2*(m + 0) - -6. Solve h + s*o + 6 = -6, -2*o + u = -3*h for h.
-4
Let j be ((-15)/(-3) + -2)/1. Let r(s) = 3*s - 2. Let i be r(1). Solve 0 = 3*p + 3, 2*k - j = 2*p + i for k.
1
Suppose 5*d + 5*j = 0, -j + 15 = 2*d - 4*j. Suppose 3*n - 14 = 4*m, 0*m = -n - 2*m - 2. Solve -d*y - v + 3*v = 2, 4*y + 2 = n*v for y.
0
Let h(s) = s**3 + s**2. Let q(r) = -r**3 - r**2. Let o(m) = 2*h(m) + q(m). Let d be o(-1). Solve d = -5*c + z + 3 - 28, 20 = -4*c - z for c.
-5
Suppose -q + 5 = -0*q. Solve -2*s - q - 5 = 4*n, 2 = 2*s for n.
-3
Let r = -20 + 23. Solve l = -r*c - 2, 5*c = 3*l + c + 6 for l.
-2
Let f(n) = -n**3 - 9*n**2 - 7*n + 11. Let p be f(-8). Let s = p - 1. Solve s*z - 3*c = 0, z = 2*c + 2*c for z.
0
Let l = 15 + -30. Let u = l + 23. Solve y - 27 = 5*d, u*d = 5*y + 3*d - 35 for y.
2
Let p = 45 - 18. Suppose 2*u - v = 9, -5*u + 3*v = 7*v - 3. Suppose -9*o + 25 = -u*x - 4*o, -2*x - 25 = -5*o. Solve 4*f - p = 5*j, x = f + 4*j - 3*j for f.
3
Suppose -8 = 4*b, -b + 8 = 3*v + b. Solve 0*c + 2*c + 20 = -5*s, v*s + c = -16 for s.
-4
Suppose 2*j = -j - 24. Let x = j - -10. Let m = 6 - 3. Solve q + m = v, q = 5*q + x*v - 12 for q.
1
Let j(h) = 2*h**2 - 3*h - 3. Let f be 10/(-4)*16/20. Let k be j(f). Suppose q - 6*q = 0. Solve x = 3*g - 4*x - k, 2*g + 4*x = q for g.
2
Suppose 62 + 28 = 5*k. Let y be ((-1)/(-2)*0)/(-1). Suppose -x - 3*l + 1 = y, 2*l + 5 = x - 1. Solve 5*q - 2*q + x*u = -5, -k = 5*q - 3*u for q.
-3
Let i(r) = r**2 - 4*r + 3. Suppose -2*z = -9 + 1. Let k be i(z). Solve k*h = -2*q + 9, h = -h + q - 1 for h.
1
Let p(y) = 0*y + 2*y - y**2 + y + 3 + 0*y**2. Let g = -6 - -9. Let n be p(g). Solve -n = -3*r, 4*r + 4 = 3*o +