4*m for t.
3
Let t = -15 - 8. Let r = 26 + t. Suppose 0 = -5*k - 5*v + 20, -6*v + 19 = 4*k - v. Solve r*m - 2*m - u = k, -m = -2*u - 3 for m.
-1
Let y = -5 + 6. Suppose -19 = -4*j + y. Solve 0 = 4*d - 3*v, 2 = 3*d - 4*v - j for d.
-3
Suppose 0*l = 3*l - 114. Let p = -35 + l. Solve -m - r - 4 = 0, p*m + 0*r - 3*r = 0 for m.
-2
Let h be 5/1*(-1 - 0). Let n be 4 - 2 - 4 - h. Suppose -o - 11*a = -15*a, -3 = -2*o + 5*a. Solve j - 8 = -o*y - 3, 15 = 2*y + n*j for y.
0
Let x = 2139 - 2136. Let l = -10 - -15. Solve 4*h = x*j - 27, -l*j + 0*h + 3*h = -34 for j.
5
Suppose 8*h - 18 = -2. Suppose 7*g + 5*m = 2*g + 10, -m + 2 = -3*g. Solve 6*a - 3*a - h*p + 9 = g, 15 = -5*p for a.
-5
Let h(z) = -5*z - 1. Let b be h(-1). Suppose -1 = b*c - 9. Let f = -2 - -6. Solve 5*y - 3 - c = -5*k, y - f*k + 9 = 0 for y.
-1
Suppose 7*o - 4*o = 6. Solve 3*l - 24 = -6*g + 2*g, 0 = o*l - g - 5 for l.
4
Suppose -11*u + 210 = -384. Suppose 0 = 53*g - u*g + 2. Solve 3*f - 16 = 2*s, -s - 2*s - f - g = 0 for s.
-2
Let j(d) = -d - 9. Let r(u) = u + 10. Let g(v) = -7*j(v) - 6*r(v). Let m be g(0). Solve -2*n = -5*n + 2*b + 2, m*b = 15 for n.
4
Let r(h) = -2*h - 27. Let z be r(-14). Let w be z - (-6 - -3) - 2. Solve 4 - 12 = 4*n - w*d, 5*n + 5*d = -10 for n.
-2
Let y = 166 - 142. Let l be (4/12 - 1/3) + 3. Solve 0 = -b - l*b + 2*p - y, -2*p = -2*b - 14 for b.
-5
Suppose 0*d = u - 4*d - 1, 4*u + d - 4 = 0. Let a be (-4)/(-18) + (104/18 - u). Solve -a*p - 2*y = -10, 0*y - 13 = -2*p + y for p.
4
Suppose -52 = -4*p + f, 0 = -3*p + 93*f - 95*f + 28. Solve m = -3*m + 4*c - p, 4*c = 3*m + 12 for m.
0
Let n(k) = 4*k - 27. Let b be n(8). Suppose -b*c - 6*q = -2*q + 8, 10 = 2*c - 5*q. Solve -m - 3*s = 11, c = 5*m - 3*s + 6*s - 5 for m.
4
Let v = 16 - 4. Let b be (4 - 44/v)*9. Solve 4*g - 13 = b, -4*y + g = -12 for y.
4
Suppose 4*p = -4*y + 3*y + 8, 0 = 4*p + 5*y + 8. Suppose 2*f + 3*f + 12 = 4*s, p*s + 4*f = 9. Solve -3*d = -b - s*b - 26, 0 = -4*d - 4*b - 12 for d.
2
Let g = 25 + -25. Let b be (5 + g)*(-32)/(-40). Let t(s) = -s + 10. Let l be t(8). Solve -3*i = 3*d - 6, -b*d + 3*i = -6*d + l for d.
4
Suppose 0 = 4*n - 57 + 29. Suppose -2*x = -x + n*x. Solve 10 = y + 4*a, 3*y - 5*a + x*a = -4 for y.
2
Let y = -13 + 15. Let d = 6 - y. Let h(k) = -k + 2. Let l be h(-3). Solve 0 = -4*s + l*v + 45, -3*s - 8 = d*v - 3 for s.
5
Let f(v) = 5*v**2 - 1. Let p be f(-2). Let s be 0 + 0 - (-11 + p). Let x be (3 - (-12)/s)*2. Solve -n + 1 = x*u - 4, -4*n - 12 = -4*u for u.
2
Suppose 4*q = 4*l + 4, 6*l = 3*q + 4*l - 5. Solve -y = 2*s - 4*y - q, 11 = 5*s - 4*y for s.
3
Suppose 12 = -3*c + 4*c + 2*g, 0 = 2*c - g - 4. Let j be (-12)/16 - (-83)/c. Solve 2*v - 4*s = -j, 4*v - 3*s = 8*v - 4 for v.
-2
Suppose -8*x - 54 = -26*x. Solve -3*f - 5 = -0*f - 5*u, -2*u + 23 = x*f for f.
5
Suppose -39*i + 28*i = -22. Solve -i*w + 3 = -5*h, 5*h = -0*w + 5*w for h.
-1
Let b be (4 + (-44)/12)*15. Suppose 3*v + 13 = b*l, -2*v - 1 = l + v. Solve 18 = 5*h - n, 0 = -2*h - l*h + 4*n + 8 for h.
4
Suppose 0 = -11*r + 156 + 9. Solve 0 = -4*s + 2*j + 11 + r, -5*s - 5*j = 5 for s.
4
Let i = 1681 - 1677. Solve -2*k = i*w, 2*k = -2*k + 4*w - 24 for k.
-4
Suppose 0 = -10*t - 133 + 173. Solve d + 3*q - 8 = 5*q, 0 = 3*d + t*q - 4 for d.
4
Let c(q) = 33*q + 101. Let s be c(-3). Solve l + 4*v - 14 = 2*l, 5*l + 4*v - s = 0 for l.
-2
Suppose -6*d + 205 - 31 = 0. Solve -4*k + 5*k - d = -5*u, 0 = -3*k + 12 for u.
5
Let k(w) = w**2 + 3*w - 6. Let u be k(-5). Let a = u - 2. Let i = -2135 + 2138. Solve 2*t - 5*f = 18, i*t - 4 = a*f + 12 for t.
4
Suppose -6*y = -3*y - 5*j - 25, -3*y = -3*j - 15. Solve 18 + 6 = -2*t + 5*g, 5*g - 20 = y for t.
-2
Let w = 4 - -2. Suppose -4*y = -w*y. Solve 5*k + 4*v + v + 15 = y, 0 = -4*v - 12 for k.
0
Let v be (-2)/9 - (-2)/9. Let w(q) = -6*q + 3 + 1 + 5 - q**2. Let m be w(-7). Solve -3*h + 3*k + k - m = v, 0 = h - 3*k + 4 for h.
2
Suppose 162*g = 169*g - 147. Solve 4*l - g = 3*z, 0 = -0*l + 3*l + 3*z for l.
3
Suppose -32 = y + 7*y. Let a be (-2)/3 + y/(-6). Solve a = 3*f - 4*g + g + 9, -3*g = 6 for f.
-5
Let b(v) = -8*v - 43. Let s be b(-6). Suppose 0 = -3*t - 4*i - 9 + 1, s*t = 4*i + 40. Solve 8 = -t*n, 2*k + 3*n + 14 = -n for k.
-3
Let c(u) be the third derivative of -u**5/60 - u**4/24 + u**3 - 4*u**2. Let x be c(5). Let k = x + 27. Solve 3*r - 2*s + 16 = 0, -4 = -k*r - 5*s + 3*s for r.
-2
Let b be 4 + 1 - (-4 - -2). Suppose 4*w = b + 5. Let v be (-170)/(-15) + -7 + 2/(-6). Solve 0 = -2*r + 4*x - v, -2*r + 2 = w*r + 2*x for r.
0
Let m(j) = -j**2 - j - 1. Let i be m(4). Let l = -21 - i. Let h be 2/6 + (-11)/(-3). Solve 5*u = 4*s + 19, l*s + 2*u - 10 = h*s for s.
-1
Let v(g) = g**3 - 7*g**2 + 4*g + 4. Let t be v(3). Let w = t - -26. Solve 4*y = -3*p + 16, -3*y + 6 + w = -2*p for y.
4
Let u(h) = 18*h - 231. Let p be u(13). Solve 2*r - p*r + 3 = -4*j, -4*r + 12 = -5*j for r.
3
Suppose 4*j - 93 = j. Suppose 28*z - 39 = 31*z. Let f = j + z. Solve 2*q + f = -3*r, -4*q - 5*r = -q + 29 for q.
-3
Suppose -2*q + 50*m - 45*m - 20 = 0, -4*m + 16 = -2*q. Let p(c) = -2*c - 3. Let l be p(-4). Solve -5*j - 20 = q, 4*n - l*n = j + 3 for n.
1
Let r be -5 + 6 - 4/(-1). Suppose 2*d - 2*o + o - 9 = 0, d - r*o - 9 = 0. Let y = 3 + 0. Solve -u - y*z = -2*u + 1, 2*u - 4*z - d = 0 for u.
4
Let o = 2 + -2. Suppose 3 + 5 = 4*z. Suppose u - 55 = -4*j, 15 = z*j + 5*u - 2*u. Solve 0*d - 3*d - j = o, -5*x = 2*d for x.
2
Suppose -24 + 21 = -i - 2*u, 0 = 2*i - u - 11. Solve -i*c + 5*g = 0, 5*c = g + 4 - 0 for c.
1
Let k(q) = 28*q + 97. Let n be k(-3). Solve 2*l = 2*f, 0 = n*f - 9*f for l.
0
Let d = -442 + 442. Solve -2*t = n - 2, -4*n + 11 = 5*t - d for n.
4
Suppose j - 15 = -11. Suppose 4*i = -4*a - i - 2, j*a - 5*i - 18 = 0. Solve -2*n + 8 = 2*t, 20 = 6*t - t - a*n for t.
4
Let v = -63 + 78. Solve m = -5*g - v, 3*g = -m - 8 - 3 for m.
-5
Let s be 6/(-4)*(-10)/3. Let t = -324 + 328. Solve -2*v - 21 = s*u - 3, -t = -v + 4*u for v.
-4
Let f(u) = u**3 + 9*u**2 - 7*u + 35. Let n be f(-10). Solve -1 = n*c - 4*t, -3*c + t = -c + 1 for c.
-1
Let v be 3/7 + 150/42. Suppose -3*z + 47 = 2*a + 3*a, -v*z + 82 = -3*a. Let i = z + -17. Solve g - i*f - 1 = 10, 5*f = -5*g + 10 for g.
5
Let r(i) = i**3 + 2*i**2 + i + 2. Let q be r(-2). Let o(x) = -x**2 + 2. Let b be o(q). Solve -f = -6*f - 3*d - 22, -b*f - 2*d = 8 for f.
-5
Let k = -23 - -32. Suppose 4*w + 2*r - k = 15, r - 7 = -w. Suppose w*a + 5 = 35. Solve -l - 2 = -5*f, f + 3*l = 2*f - a for f.
0
Suppose 0 = 2*j - n - 5, 7*n = 4*n - 15. Let r be (20/16)/((-5)/(-2))*j. Solve r = -2*l + t + 5, l + 14 = 3*l + 2*t for l.
4
Let a = -16 + 19. Solve z + q - a*q = 0, 5*q = z + 6 for z.
4
Let w = -60 + 64. Suppose -w*y + 12 = -12. Solve r + y = -3*v - 0*v, 2*v + 17 = -5*r for r.
-3
Let d = -15 - -19. Suppose o = 4*o - 6. Let n be (3 - o) + 1 + 2. Solve n*a + 4 = -4*i, d*i + 3*a + 2 + 1 = 0 for i.
0
Let v(s) = s**3 + 8*s**2 - 11*s - 13. Let c(t) = -2*t**2 + 26*t + 19. Let a be c(14). Let n be v(a). Solve 0 = z + 2*j, 0 = 9*z - 4*z + n*j + 5 for z.
-2
Let w(r) = -7*r + 0 + 2 + 2 - 1 + r**2. Let b be w(4). Let t = -5 - b. Solve -t*u = -5*g + 31, u + 1 = g - 2*g for u.
-4
Let n be (-35)/14*(-18)/(-15)*-1. Let p = -15 - -4. Let j(f) = f + 11. Let w be j(p). Solve -5*m + s - 9 - 10 = w, 19 = -4*m - n*s for m.
-4
Suppose 34 + 140 = 3*z. Suppose -5*s + 308 = z. Let h be ((-8)/(-10))/(5/s). Solve 1 = -3*d + 5*o + h, 0 = -5*o + 5 for d.
4
Let z(l) = 7*l + 18. Let p be z(-2). Solve -2 = p*n - 2*j, 3*n + 3*j = 7*n - 1 for n.
-2
Let v(h) = h + 4. Suppose 0 = -12*z + 10*z - 8. Let n be v(z). Solve -5*p - 5*l + 20 = n, -p - 2*p - 2*l + 13 = 0 for p.
5
Suppose -60 = -4*v + 4. Suppose -5*h = 4*l - v, -8 = -10*h + 5*h - 2*l. Let m = 2 + 1. Solve -5*k = 4*f - 8, h = -f - 1 + m for k.
0
Let p be ((-10)/(-3))/(-2) - (-1450)/870. Solve 3*v + 9 = p, 3*v - 4 = -5*b - 38 for b.
-5
Let m(f) = f**3 - 3*f**2 + 2*f + 2. Let s be m(2). Let c be (3 - (s - 0))*0. Let k = 11 - 9. Solve w = -d - k, 0 = -c*w - w + 3*d + 6 for w.
0
Suppose 0*q - 4*q = 2*o - 4, 2*q = -3*o - 2. Let z be (-8)/8*-1*q. Let y be ((-110)/15)/((-6)/9). Solve 4*h + 1 = z*a - y, 0 = -5*h - 5 for a.
4
Suppose 1280*t - 1284*t = -8. Solve 0*m + o = -t*m + 8, -5*m = 5*o - 30 for m.
2
Let q(l) = l**2 - 2*l - 10. Let g be q(5). Let b(k) = -k**3 + 4*k**2 + 7*k + 6. Let z be b(g). Sol