Solve f*w = 4*t, -2*t + 6*t - w + 16 = 0 for t.
-5
Let p(u) = 2*u - 10. Let k be p(7). Solve -k = -3*q - y - y, 0 = -q - y for q.
4
Suppose 4 = -0*g + g. Let x(d) = d**2 - 6*d - 11. Let w = -6 - -14. Let m be x(w). Solve 2*b - g*b - 6 = -2*j, 0 = m*b - 5 for j.
4
Suppose 13*h + h - 70 = 0. Solve -h*t + 13 = -y - 1, 3*t - 10 = -y for y.
1
Let l be 1/(-1) + (1 - -5). Suppose 3*r = -2*g + 9 - 24, -2*r + 5*g + 9 = 0. Let u = 2 - r. Solve l*c = -u*n + 15, -2*c - n + 3 = -7*c for c.
0
Suppose 2*p + 3 + 11 = 2*g, 0 = 5*g - 2*p - 23. Solve -4*x + 5 = 3*l - 8*l, -3*l - 3 = g*x for l.
-1
Let u(o) = -o**3 - 5*o**2 + 5*o - 4. Let n be u(-6). Let w be (1*-1)/((-3)/(-15)). Let d = 12 + w. Solve -2 = -2*k - 2*t, n*k = d*k + 4*t - 6 for k.
2
Let l(c) = 2*c**2 - 2*c - 2. Let w be l(-2). Let u = 11 - 7. Solve -d + 2*i - 21 = u*d, 4*d - 5*i = -w for d.
-5
Suppose j + l = 4, -4*j = -5*j + 3*l. Solve j*w - 9 = -3*o, -2*w + 3*o + 16 = -0*o for w.
5
Let a be (-3)/18 - 39/(-18). Solve 4*y = 2*t + 12, -a*y - 14 = -6*y + 3*t for y.
2
Let y(s) = 2*s - 8. Let m be y(6). Let r = -4 + m. Let d be r - -1 - (-14)/1. Solve -4*w + 4*b + 20 = 0, 0*b - 4*b = w + d for w.
1
Suppose -103 + 88 = -5*t. Solve 5*f - 28 - 2 = -4*x, 3*f + t*x = 21 for f.
2
Let h be (-6)/2 + 8 + 4. Solve 5*l + 3*n = -37, -l = 3*n - 2*n + h for l.
-5
Suppose 2*y - 4 = -0. Suppose -4 = -2*v + 2. Solve 0*j + 3*j - c + 3 = 0, -3*j - v = y*c for j.
-1
Suppose 2*s = -k, -3*k + 4*s + 6 = -2*k. Suppose d + 0*d = 2*w - 7, -2*d = k*w - 16. Solve -2*g - 2*z + 0 = -6, -2*g + 4 = d*z for g.
5
Suppose 3*u - 15 = 2*p - p, -1 = 2*u + 3*p. Suppose -2*k = -u*b + 16, 2*k + 10 = 3*b - 4. Suppose -b*y + 6*y = 8. Solve 3*f = 4*r + 15, 0 - 6 = y*r for f.
1
Suppose 4*z = 0, l + 3*z = z. Let j be l + 0 + (-1 - -1). Let n be 19*1 + j/(-3). Solve -18 = -3*k - 3*f, -2*k - 2*k - 3*f + n = 0 for k.
1
Suppose -2*v = -5*y - 37, 0 = -5*v + 3*y + 31 + 109. Solve 0 = -4*c - 5*x - v, -7*c - 35 = -2*c + 5*x for c.
-4
Let d = 33 - 30. Solve -4*s = -3*c - 0*s - 5, 1 = d*c - s for c.
1
Let h be (-1)/1 + 0 + -6. Let i(r) = r**3 + 6*r**2 - 9*r + 3. Let s be i(h). Solve -4*t = d + s, 5*t + 20 = -2*d - 5 for t.
-3
Let q be 0 - -3 - (-42 + 20). Solve -5*t + 2*j + 6 = q, 4*j = -t - 17 for t.
-5
Let z be 3*(3 + -3 + 1). Solve d + 5 = h + h, -z*h + 5 = -d for h.
0
Let r(v) be the first derivative of -v**4/4 - 7*v**3/3 - v**2 - 6*v + 1. Let u be r(-7). Let i = 11 - u. Solve 4*k - 7 = 3*l, -3*k + 3*l + i = -0*k for k.
4
Let y = 5 + 0. Solve -g + 1 = 5*t - 7, y*t = 4*g + 18 for t.
2
Let d(o) = 12*o**2 + 2*o + 1. Let b be d(-1). Let r be -1 + -1 - (4 - b). Solve r*k - 19 = 2*z, 0 = k - 2*z + 4*z - 11 for k.
5
Let c(y) = y**3 - 19*y**2 - 20*y + 3. Let l be c(20). Solve 3*d + 6 = -l*t, d - 16 = 2*t - 3 for t.
-5
Suppose 4*s - 5*s = -5. Solve 3*v - 24 = -s*k + 4*v, 4*v = 4 for k.
5
Let w(q) = -q**2 + 17*q + 22. Let i be w(18). Solve 0*u + 3*f = 2*u - 14, i*u + f = 14 for u.
4
Suppose 3*a - 3 + 0 = 3*d, 4*a + 3*d = 11. Suppose -4*x = 2*y - 12, 5*y + 0 - 18 = a*x. Solve -k + 3 + 9 = 5*u, -k + y = u for u.
2
Let g = 20 + -20. Solve -5*d + 4 = -3*y - 2, -4*d + 4*y = g for d.
3
Let s = -14 + 7. Let x = s - -10. Solve -20 = 4*o + x*g, -3*g - g = -o + 14 for o.
-2
Let n(a) = -a**3 - 3*a**2 + 2*a - 5. Let h be n(-4). Suppose 0 = 5*m - 23 + 8, 5*m - 6 = h*z. Solve z*p = -3*d, -2*d - 4*p + 2 = -6 for d.
-4
Let a = -190 - -194. Solve -5*y + 4*y = a*w, 4*y = -2*w for w.
0
Let j(r) = r**3 - 3*r**2 - 8*r - 5. Let b be j(5). Solve 0 = -b*v + 8*a - 3*a - 25, 2*a - 13 = 3*v for v.
-3
Let n(j) = j**3 + 5*j**2 - 2*j - 5. Let m be n(-4). Solve m = u - 5*l, 5*l = 2*u + u - 27 for u.
4
Let s(l) = -l**3 - 4*l**2 - 5*l - 4. Let n be s(-3). Let x = 3 - n. Solve 3*f + 5*h = -x, -5*f - 7 = 5*h - 2 for f.
-2
Let b be 7 + (-4)/(4/2). Suppose 4*y = 3*y + 5*w - 20, w + 22 = -5*y. Let m(v) = -2*v + 2. Let p be m(y). Solve -b*l - 24 = -3*s, 2*l + s - 3*s = -p for l.
-3
Let z be 1*(-1 - 3/(-3)). Suppose 0*g + 4*g = 12. Suppose z = -0*x + g*x. Solve 5*a - 5 = 3*l, 4*l + x*a + 2 = 2*a for l.
0
Suppose 3*o - 5*q - 5 = 7*o, 4*q = 3*o - 35. Solve -k = m - o*m + 5, -k = m for m.
1
Let x be (0 + 1)/((-5)/15). Let k be 2/((5 - 1) + x). Solve 5*f = -3*o + 1, -k*f - 3*o = -7*f + 19 for f.
2
Let a = 17 - 14. Solve 4 = a*p - 2*p, -5*b = -2*p + 23 for b.
-3
Let l(p) = p**3 + 4*p - 3. Let h be l(1). Solve 5*y + 15 = 0, -5*b + h*b = 4*y + 24 for b.
-4
Suppose -5 = -2*s - 15. Let y(z) = -387*z. Let h(x) = -31*x. Let w(p) = s*y(p) + 63*h(p). Let r be w(-2). Solve 5*i = -5*m + 5, 2*m + 4*i = 6*m - r for m.
5
Let w(l) = l**3 - 3*l**2 - 3. Let t be w(3). Let o be 0 + 1*(0 - t). Suppose -o*b = -6*b. Solve 5*x + 4*j + 5 = -b*j, 2*j + 10 = 0 for x.
3
Let n be 4*(1 - 1/(-2)). Solve 3*c = n, c - 6 = 2*k + 3*c for k.
-5
Suppose 21*j = 6*j. Solve 2 = 2*l - 4*f, 5*l + 4*f = -j*l + 33 for l.
5
Let n = 27 - 25. Let k be 8/((1 + 0)*n). Solve -h + 6*h = -k*o + 6, -4*h = 5*o - 3 for h.
2
Suppose -7*s + 4*s = -42. Let j = s + -8. Solve -a + 10 = -j*a, 0 = 2*b - 5*a - 14 for b.
2
Suppose -2*y + 9 = 3. Suppose -y*m = -5 - 10. Suppose -5*x + m = 0, c - 4*x + 1 = -0. Solve c*h - 2*h - 16 = -5*a, -2*a + 2*h + 4 = 0 for a.
3
Suppose 22 = 4*h - 18. Suppose -4*q + h = q. Solve 0 = -3*r + r + 3*f + 9, -q*f - 6 = 0 for r.
0
Suppose 5*g + 0 = 10. Solve 2*x = -y + 4*x + 1, -g*x + 9 = y for y.
5
Suppose -5 = -4*t + 11, -5*i = -5*t + 10. Suppose -4 = -0*u - i*u. Let a be -6*1*(-5)/u. Solve 0 = 3*q - 5*s - 5, q - 5*s - a = 0 for q.
-5
Let k = 9 + -6. Solve -w - k*o = -2*o - 7, 4*w - 13 = -o for w.
2
Let g = -7 - -5. Let q = g - -4. Suppose 0 = -2*b + b. Solve b*z = -4*f - 3*z - q, -11 = -3*f + 4*z for f.
1
Let h(k) = k + 16. Let f be h(5). Solve -3*t - 4*r = -21 - 0, 2*t = -5*r + f for t.
3
Let g be 33/9 + (-2)/(-6). Suppose -6 = -g*y + 2. Let p be y/2 + 2 + -1. Solve k + 5*i = 0, 5*k + p*i - 3*i = 26 for k.
5
Let o(d) = -d**2 - 2*d. Let a be o(-2). Let u(q) = -2*q - 1 + 0*q + a*q. Let v be u(-3). Solve -5*h + 5 = 2*m - 2, -3*h - m + v = 0 for h.
3
Let d be ((-3)/4)/((-21)/56) + -2. Solve 0 = p - t, -3*p + t = -d*t + 2 for p.
-1
Suppose 0 = -2*s - 3*s + 10. Let a(n) = n**3 + 2*n**2 - n + 2. Let d be a(4). Let w = -65 + d. Solve s*v - w = 5*p, p + 2 + 3 = 0 for v.
2
Let r = 35 + -16. Suppose 4*j - 13 = -b, 5*j + b + 10 = 5*b. Let h be (-3 + (j - 1))*-1. Solve -3*d = -h*l + r, -5*l + 4*d = -3*l - 22 for l.
5
Let q = -34 + 35. Solve q = -5*h - 0*c - c, -4*c = -16 for h.
-1
Suppose 0 = 4*b - 4 + 60. Let c = -12 - b. Solve 0 = -3*m + 6, -2*n + c*m = n - 11 for n.
5
Let f(u) = u**2 + 5*u - 34. Let m be f(-9). Solve w - l = m, 3*w + l + 2 = 20 for w.
5
Let p(q) = -q**3 + 7*q**2 - 7*q - 8. Let g be p(7). Suppose 0 = 5*s + 2 + 18. Let v be 2/s + g/(-6). Solve -z = y - 2, 0*y - 3*y - v = -2*z for z.
3
Suppose -2*l = -0*l + 4. Let a be (-1)/l*(2 + -2). Suppose a = d - 3. Solve 3 + 11 = -d*c + 5*n, 0 = -4*c - 3*n + 20 for c.
2
Let n = -14 + 19. Solve -3*d - 6 = -n*d + 2*w, -5*d + 4*w = -16 for d.
4
Let l be (-1)/3*(1 + -16). Let k = -10 - -7. Let w be k/9 + 13/3. Solve -l*s = -20, 0 = w*a - 3*s + 2*s for a.
1
Suppose g = -4*s - s + 4, 3*s = -5*g - 2. Let f be (-3)/(-9) - s/3. Solve 0 = c + 5*b - 12, -5*c + f*b - 2*b = -14 for c.
2
Let g = 3 - 7. Let b(q) = q**3 + 5*q**2 + 4*q + 3. Let m be b(g). Suppose 25 + 29 = 27*z. Solve -a + 6 = 4*r - 2*a, z*r + m*a + 4 = 0 for r.
1
Suppose -36 = -2*u - 0*q - 4*q, -5*q = 2*u - 37. Suppose -3*j = j - u. Solve 2*c - 5*f + 15 = 1, -f + 16 = j*c for c.
3
Suppose -2*i = -8 - 4. Suppose -i - 2 = -2*c. Solve 2*f - 3*p - 13 = 0, c*f + 3 = 6*f - p for f.
-1
Suppose 2*h + 5 - 15 = 0. Solve -3*d = -h*r + r + 29, -4*d - 37 = -5*r for d.
-3
Suppose 0 = -4*v - 16, 0 = 2*m - 4*m - v + 6. Solve 0 = 4*i - p + m*p, 2*p = -10 for i.
5
Suppose -5*z - 25 = 0, 5*q = -0*z + 3*z + 25. Solve 3*i - q*m - 2*m = 19, 3*m + 7 = -5*i for i.
1
Let s = 24 - 11. Let b = s + -11. Solve 4*r = -0*y - 2*y + 16, -2*r = 4*y - b for r.
5
Let m = 16 - 14. Solve -7 = 4*s + a - 3, m*s = -a for s.
-2
Suppose -33 = -2*b - y + 13, -y + 96 = 4*b. Solve 0 = 4*r - 2*u - 3*u - b, -5*r - 20 = 4*u for r.
0
Let r(y) be the second derivative of -y**5/20 + 5*y**4/6 - 5*y**3/3 + 13*y**2/2 - y. Let q be r(9). Solve 4 = 2*c + d, -q*d - 14 = -2*c - 0*d for c.
3
Let r