*u = t*u for n.
3
Let b(s) = -4*s**3 + 3*s**2 + 4*s + 2. Let n be b(-1). Solve 0 = -5*j - 15, 3*c = -2*j + 1 + n for c.
4
Suppose 7*l - 6*l = 4. Solve 0 = -y + d - 1, y + 4*d = -l*y - 23 for y.
-3
Let r = -1 + 3. Suppose c - 5*c = -2*i - 96, 0 = c + i - 27. Solve -2*h + 21 = -3*t, -r*t - c = -3*h - 2*h for t.
-5
Suppose 0 = 6*p - 367 + 13. Suppose 2*x = 4*l - 92, -4*x = 3*l - 6*l + p. Solve -4*k + 3 - 33 = 2*d, 3*k = -2*d - l for k.
-5
Let d(s) = s**2 + 15*s + 3. Let o be d(-15). Solve 0 = o*w + 3*q - 0*q + 12, -2*q + 2 = 0 for w.
-5
Let z be (-2)/(1 - (-27)/(-21)). Let j = z + -4. Solve -4*d + 4*t = 12, 4*d + 5*t - 9 = j*d for d.
-1
Let y = -14 - -19. Solve -5*l - 10 = -3*i, i - 4*l = y*i + 40 for i.
-5
Suppose -6*j = -14 - 16. Let o = 10 + -6. Solve j*a + v = 22, -a = 9*v - o*v + 10 for a.
5
Let u(k) = -5*k**2 + 2*k - 3. Let f(m) = 6*m**2 - m + 3. Let r(l) = -4*f(l) - 5*u(l). Let y be r(6). Solve s - 3*c = -1 + 5, -y*s - 2 = -2*c for s.
-2
Let i = 5 + -2. Solve 6*y + 9 = y + 3*d, -i*d - 18 = 4*y for y.
-3
Suppose 8*f - 3*f - 20 = 0. Let w be (-8)/(-3) + f/(-6). Solve 5*z - r = -25, -3*z + w*r = 4*r + 15 for z.
-5
Let i(z) be the third derivative of z**5/60 + z**4/6 + 5*z**3/6 + 4*z**2. Let b be i(-4). Solve 0*f = -b*f + 5*t - 15, -2*f + t - 8 = 0 for f.
-5
Suppose m - 5*u = -0*m - 4, -m - 1 = -4*u. Let q = -7 + m. Solve -4*r - 12 = -q*p, -2*r + p = -3*p + 12 for r.
0
Let p = -7 - -11. Let u = p - -2. Solve 3*k - g + 7 = -5*g, 2*g = -4*k - u for k.
-1
Suppose 0*y = 3*y - 9. Solve 0 = 3*h - 0*h + 9, -f - y*h - 8 = 0 for f.
1
Suppose -14 = 3*l - 6*i + i, 2*i = 5*l - 2. Solve -l*u - 5*n + 5 = 0, 4*n = 3*u - u - 14 for u.
5
Suppose -2*t + 5*o = -3*t - 8, 6 = -3*o. Let m(h) = 4*h + t*h - 1 - h**2 - 2. Let b be m(5). Solve b*l + 4 = -4*d + 4*l, 2*d - 3*l - 2 = 0 for d.
-2
Let n(d) = -d**2 + 6*d - 3 + 0*d + 0. Let s be n(5). Let h = 2 + 0. Solve h*g = s*r - 6, g - 1 = -2*r + 5 for g.
0
Let x be 1/(4/12 + 0). Let z(g) = 2*g**2 - 3*g - 1. Let y be z(x). Solve -3*d - 2*d = -a + 1, -a - 4*d - y = 0 for a.
-4
Suppose -4*u - 46 + 66 = 0. Let n(k) = k**3 + k**2 + k - 13. Let a be n(0). Let z be a/(-4) + 2/(-8). Solve u*v = -3*y - 9 - z, 16 = -v - 4*y for v.
0
Let b(i) = -3*i + 23. Let r be b(2). Let h(y) = 7*y + 1. Let f be h(2). Solve 2*u + u + 4*w = r, -f = -3*w for u.
-1
Suppose -17 = -4*l - 5. Let u(m) = -m**2 - 3*m**2 + m**l + 8 + 3*m**2 - 4*m**2 - 3*m. Let h be u(6). Solve 4*b = 5*i + 37, i + 3*i - 2*b + h = 0 for i.
-5
Let i be 3 + -1 - (21 - 23). Solve 9 + 2 = i*q - 3*g, -10 = -5*q + 5*g for q.
5
Let r(q) = -q**3 - 2*q**2 - q - 3. Let k be r(-3). Solve 5*n = -5*a + k*n - 6, 4*n - 2 = 3*a for a.
-2
Let g(u) = -6*u - 3. Let v be g(-1). Solve -3*i + 1 = 5*x + 12, -17 = 2*x - v*i for x.
-4
Suppose -r = 3*o + 7, -2*o - o = -r + 23. Solve -5*b + r = -3*g, -3*b - 5*g - 3 = -b for b.
1
Suppose 4*l = -20, 8*l - 5*l + 19 = 2*z. Suppose z = 2*j - 8. Solve 3 = -y + d, 3*y - d + 18 = j for y.
-5
Let j be (-88)/(-32) - (-2)/8. Suppose 0 = -5*d + 8 + 12. Suppose 5*u - 8 = 2*l, -u + 5*u + 5*l - 13 = 0. Solve u*n = j*n - p, 4 = d*p for n.
1
Let r = 8 + -14. Let s = r - -8. Solve -5*h = 5*l + 50, -3*l = -s*l - 2*h - 5 for l.
-5
Suppose 0 = -5*z + 29 - 4. Suppose z*f - 16 = 9. Let s = -2 + 2. Solve 0 = -o - f*j, -2*j = -s*o - o + 7 for o.
5
Suppose 17*d - 12 = 13*d. Solve -d = 3*c, -p - 2*p + 5*c = -2 for p.
-1
Let z(m) = -5 + 2*m**2 + m + m - m**2. Let u be z(-4). Solve 2*l - 8 = 0, -u*b = l - 7 - 9 for b.
4
Let v(t) = -t - 5. Suppose a - 6*a = -70. Suppose 0 = -2*o + 4*o + a. Let i be v(o). Solve -2*l - i = 0, -4*l - 4 + 3 = -3*y for y.
-1
Let z(w) = w**2 - w + 2. Let s be z(1). Solve -5*h = 3*j - 20, 5*h + s*j - j = 10 for h.
1
Suppose 3 = -i + 8. Solve -5 = g - i*q + 6, 4*q - 16 = -g for g.
4
Let y(t) = t**3 + t**2 - t + 8. Let l be y(0). Let w be -2 + -1 - (-16)/(-4). Let n(q) = q + 7. Let f be n(w). Solve f = o + 4*r - 6, -5*o - r = -3 - l for o.
2
Let a = -9 + 11. Suppose -3*v - 3 = -3*f - 15, -3*v - 3*f = -36. Solve a*o + 2*o = -4*u + v, 3*o - 16 = -5*u for o.
-3
Let x(u) = 6*u - 19. Let y be x(4). Solve -3*d = -m + 18, -3*m - m - y*d - 13 = 0 for m.
3
Let m = -60 - -63. Let k = 8 - 5. Solve 5*v + k = -2*o, 2*o - m*v = -v + 4 for o.
1
Suppose -t = -0*t - 40. Suppose 5*z - 13 = 2*v + 27, 5*z - t = -5*v. Solve -5*s + 5*l = 15, 3*l - z*l = -2*s for s.
-5
Let h(g) = g**2 - 5*g - 2. Let r be h(6). Suppose 0 = -r*y + 8 + 28. Solve 5*c = 4*l - 0 + y, -5*c + 5 = -5*l for l.
4
Suppose 5*x + 5 = 4*x. Let g be -4*(1 - -1 - -2). Let f = x - g. Solve 0*b - b + 2*q = f, -5*b + 15 = 4*q for b.
-1
Suppose -44 = -w - 39. Solve 0 = 4*x - 5*t - 33, -t + 6 = w*x + 1 for x.
2
Suppose -3*m = m. Suppose 4*f - f - 21 = m. Let o(g) = g**3 - 6*g**2 - 5*g - 9. Let a be o(f). Solve 4*v + v = -a*w, w + 10 = -3*v for v.
-5
Suppose r = -r - 4. Let g be 1 - r - (7 + -9). Solve 0 = 3*u + g*b - 11, 7 = 4*u + 4*b + 3 for u.
-3
Let n(w) = -5*w - 1. Let f be n(-5). Let y = -4 + 8. Suppose -y*k = -0*k - f. Solve 3*h = d + 1, -5*h + 1 = -3*d + k for d.
5
Suppose 5*w - 26 + 6 = 5*j, -w + 28 = 5*j. Suppose -y = 4*a - 0 + w, -a = 3*y - 9. Solve -2*d = -2*h - d - 5, h + y*d - 20 = 0 for h.
0
Let i be 5*1*(8 + -7). Solve -4*p + 0*z = z - 15, -p - 1 = i*z for p.
4
Let h(u) = -u**2 + 5*u + 8. Let n be (3 - -2)/1 - -1. Let s be h(n). Let m(c) = -4*c - 3. Let k be m(-2). Solve 4*q = -s*v + v - 10, 4*q = -k*v - 18 for q.
-2
Suppose 5*q - 3*z = 3*q + 15, -q + 15 = -4*z. Let g = 3 - q. Suppose x - 3 - 5 = 0. Solve g = b - 5*u + 9, -2*b + x = 5*u - 2*u for b.
1
Let s(l) = 13*l + 2. Let w be s(-2). Let d = w - -17. Let b = d - -12. Solve 5*o - 5*n = 40, b*o + 3*n = -3 + 19 for o.
5
Let d = -34 - -45. Solve 0 = i + 4*o - d, 0 = -7*o + 2*o + 20 for i.
-5
Let h be ((-2)/(-11) + (-238)/462)*-15. Solve -h*i - 5*w - 35 = 0, 4*w + 16 = 4 for i.
-4
Let i be 1 + 0 + (3 - -1). Suppose 4*w - 8 = -2*d, -5*d + 15 = 4*w - i. Solve 2*q + d*f - f = 25, 2*q - 2*f = 0 for q.
5
Let k(l) = l**3 - 10*l**2 - 14*l + 36. Let b be k(11). Solve -r = -o - 6, r + 18 = b*r - 5*o for r.
4
Suppose -l - 5 = -3*v + 6, 2*v - l = 8. Solve -5*c + 4*c + 14 = -v*h, -5*h = 3*c + 28 for h.
-5
Suppose 0 = -0*s - 4*s + 4*h + 4, -5*h = s - 19. Solve 4*v + 2*k - s = -0*k, -3*k = 0 for v.
1
Suppose h - 3*h = -32. Let d be h/(-4) + 27 - -3. Solve g + 2*g = -b + 10, -5*b = 3*g - d for b.
4
Let y = 8 + -5. Suppose q + 2*f = 13, -q - f = q - 11. Suppose 0 = 4*m + 4*r - 52, -13 = -2*m - q*r + 13. Solve 0 = 3*o + y*t - 3, 3*t + m = o - 0*o for o.
4
Suppose 0*l - l - 4 = 0. Suppose 5*g = n + 8, -3*n + 26 = -n + 4*g. Let p = l + n. Solve 2*u + 4*q - 16 = -0*u, -2*u + 14 = p*q for u.
4
Let p be 4*-1*(-22)/8. Suppose p*b = 6*b + 80. Solve 0 = -2*o + 3*l + 19, 4*l - b = -3*o + 6*l for o.
2
Let k = -6 - -6. Suppose 5*c + 3*n - 36 = k, -2*n = c - 0*n - 10. Let p(d) = -d - 2. Let u be p(-6). Solve 5*x - 10 = u*z - 0*z, 4*z - 3*x = -c for z.
0
Let u be (-9)/(-2) - (-3)/(-2). Suppose 0 = -3*d + 2*s + 74, u*d = 5*s - 0*s + 77. Suppose 0 = -i + 5*i - d. Solve i*y = 2*y - 4, -l = -2*y - 4 for l.
2
Let n = -9 + 4. Let t = 10 + n. Solve -2*h - 6 = t*c - 4*h, -4*h = -2*c + 4 for c.
-2
Suppose 0 = -2*w + 7*w - 15. Let b be (66/55)/(w/20). Solve 2*x = -2*f - b, 0 = x - 2*f + f + 2 for x.
-3
Let b be (-96)/2*(-2)/3. Suppose 8*p + b = 4*p. Let c be 20/p*(-8)/5. Solve -y - 3*y + c = -4*g, 2*g + 5*y = -9 for g.
-2
Let p be 27/3 + -5 + 0 + 3. Solve -9 = 3*k - 2*r + p*r, -10 = -2*k + 2*r for k.
2
Let u be 3 - 0*3/(-3). Let i = -188 + 190. Solve 12 = u*f, -i*q + 8 = -q + f for q.
4
Suppose -5*r = -5*z - 3 - 2, -5 = -3*r + 2*z. Suppose 2*h = -r*i + 20, -2*i + 20 = 2*h + h. Solve 0 = -6*b + 2*b + 5*n + 14, 0 = -h*b + n + 6 for b.
1
Suppose -4*g - 4*l = -g + 1, 3*g = -2*l + 7. Solve o = -2*h + 1, -2*h - g*o = -0*h - 13 for h.
-1
Let l = -16 + 32. Solve 3*d - 2*n = 2*n - l, 3*d + 13 = n for d.
-4
Let p(c) = -c**2 + 6*c - 3. Let t be p(4). Suppose -3*g = -t*f - 31, -g + f - 8 = 3*f. Solve -g*u + 3*u + 3*z - 2 = 0, 4*z = -4*u for u.
-1
Let q be 2 + -1 + (-5 - -9). Suppose 2*j - q*c - 37 = 0, 4*j + 3*c = -0*c + 61. Solve 0 = 3*p - p - 2*f - j, 5*p - 4*f = 36 for p.
4
Suppose 0 = 3*h + 2*h - 2*l - 69, -30 = -h - 5*l. Solve 4*k - u = -0*u - 9, 0 = -k - 4*u - h for k.
-3
Suppose 5*w = 3*w. 