 = -5*u for x.
4
Let j be -4 + 10 + 4 + -4. Let w(u) = u**2 - 7*u + 11. Let k be w(j). Solve -6 = -b - 4*a + a, -11 = -2*b - k*a for b.
3
Let n(w) = w - 1. Let r(z) = -2*z + 3. Let g(c) = 9*n(c) + 4*r(c). Let f be g(3). Suppose -2*j + 0 = -f. Solve 5*u - 2*q = 2*q + 6, u - j*q = -1 for u.
2
Suppose -10*s - 8*s + 36 = 0. Let c(v) = 13*v - 1. Let g be c(1). Solve -3*p - s*y - g = 4, -4*y - 24 = 4*p for p.
-4
Suppose -l = -0*d + 4*d - 12, 2*d + 3*l - 16 = 0. Let v be (-6)/(-6)*1*4. Let r = v - d. Solve -r*g + k = 14, -3*k = g - k - 3 for g.
-5
Let n = -375 - -2235. Suppose v + n = 6*v. Let a be v/15 + 1/5. Solve -5*m + a = -4*m - 5*l, 3*m - 4*l = 31 for m.
5
Let z be 0/2 + 27 + -1. Suppose z - 66 = -2*h. Solve -3*m + 2*g + 12 = 0, 0*g - g + h = 5*m for m.
4
Let k be (3 - (5 + -2)) + 3. Solve g = k*m + 4, 4*g = -m - m + 16 for m.
0
Let k(l) = 9*l - 2*l + 4*l. Let m be k(-1). Let u = -1 - m. Solve 0 = -2*g - u, g + 0 + 5 = 4*a for a.
0
Suppose 0 = -2*q + 4*l + 190, -95 = -q - 2*l - l. Let r be 2/(-7) + q/(-35). Let a be r/(-2)*(-12)/(-9). Solve -a*y - 3*y - 5*f + 5 = 0, -4*f = -3*y + 3 for y.
1
Let l = -47 - -49. Solve l*o = -2*x, -x + 20 = o + 4*x for o.
-5
Let p(q) = 2*q + 10. Let h be p(-5). Solve 3*a - 3 = -3*t, 4*t = a - h*t - 11 for a.
3
Suppose -2*g + 5*g = 4*d + 25, 0 = -g + 3. Let w = -1 - d. Let i = w + 2. Solve -n - 1 = -2*n + i*t, -15 = 3*n + 3*t for n.
-4
Suppose m = 4 - 0. Suppose m*d = -d. Let h = 2 + d. Solve i = -h*i - k + 1, 5*i - 5*k - 35 = 0 for i.
2
Let r be (-5)/(-40) + (-46)/(-16). Solve 2*d + 9 = r*j, 3*j + 0 + 9 = -4*d for j.
1
Suppose 0 = -3*k - 2*g + 4, -g + 3*g - 4 = 4*k. Suppose k = -5*p - 4 - 16. Let w be (-20)/35*14/p. Solve -q - o = -3, -4*q + w = 2*o - 10 for q.
3
Suppose -s - 73 = -4*x, 0 = -4*x - x - s + 98. Let z = x - 17. Solve -b - 15 = -5*l, 0 = -z*l - 2*b - 0*b + 18 for l.
4
Let i(n) = -n**3 + 7*n**2 + 7*n + 7. Let q be i(8). Let v = 1 + q. Solve 0 = 2*x - b - 10, v = 3*x - 4*b - 8 - 7 for x.
5
Let n(c) = c + 4. Let k be n(-4). Let h(x) = x**2 - 6*x + 5. Let g be h(5). Solve k = r - 5*u - 12, g = -4*r - 7*u + 3*u for r.
2
Let x be 33/22*(1 - (-1)/(-3)). Solve x = j + 3, 2 = z - j for z.
0
Let j(w) = -2*w + 3. Let m be j(-1). Solve 2*k = -m*t + 19, -3*k - 5 = -7*k + t for k.
2
Let r = 7 + -5. Let z = r - -1. Let a be 13/4 - 1/4. Solve a*c = 2*d + 16, z*c - 5 = 3*d + 13 for d.
-2
Suppose 9*a - 5*a - 28 = 0. Suppose -2*p + 11 + a = -2*l, -4*p + 2*l + 26 = 0. Solve 0 = 3*t + 4*n - 5 + 3, -2*t + p*n = 12 for t.
-2
Suppose 4*k + 8*v = 3*v - 16, -3*k - 13 = 4*v. Let j = 11 - k. Let r(y) = -y + 2. Let m be r(2). Solve 4*l = 4*c - 8, m*l = 5*l + 3*c + j for l.
-2
Let y(t) be the second derivative of -t**5/20 - 5*t**4/12 + t**3 + 5*t**2/2 - 3*t. Let z be y(-6). Solve -3*a = 6*v - 2*v - 17, 3*a - 22 = -z*v for v.
5
Suppose 0*q - 5*q = 0. Suppose i = -q*i + 2. Suppose -n - 20 = -5*n. Solve 2*f + 16 = -i*r, n - 11 = -3*f + 3*r for f.
-3
Let a(h) = h**2 + 15*h + 55. Let f be a(-6). Solve -d - 6 = 3*v - 3*d, -3*d = -2*v + f for v.
-4
Let q = -22 - -27. Suppose -2*b = 2*b + 2*l - 28, -5*b + q*l = -50. Solve p + p - b = 0, -5*r = -4*p + 1 for r.
3
Let l be -1*(-1 - (2 - 1)). Let g = l + -1. Suppose -5*k + 10 = 5*d, 2*k + 7 = 4*d - g. Solve -4*n = -20, d*c - c + 2*n - 10 = 0 for c.
0
Let d = 2 - 5. Let b(p) = -p**2 - 6*p - 3. Let a be b(d). Suppose 3*v + 0 = a. Solve -v*g = -3*c - 10, -4*g - 3*c = c for g.
2
Let m(z) = 7*z**2 - 4*z + 4. Let r be m(2). Let j = r + -17. Solve f + 3 = i + j, 3*i + 6 = 0 for f.
2
Suppose -2*x + 4*m = -0*m - 12, m - 2 = 0. Let a be (x/(-8))/((-1)/4). Solve -a*b = -5, 4*o - 2*b - b = -7 for o.
-1
Suppose 2*h + 6 = 5*u, 7*h + 9 = 4*u + 4*h. Solve -2*g - d + 1 = -u, 5 = 4*g + 5*d for g.
0
Suppose 3*k + c = -2*c + 9, 5*c + 10 = 0. Suppose y + 0*u = k*u, 3*y + 3*u = 0. Let h be -2*1 + (y - -6). Solve -4*v - 3*x - 16 = 0, v - x - h = 2*v for v.
-4
Let a(r) = 2*r - 7. Let q be a(6). Suppose i = 5 + q. Solve 2*c + 26 = 5*n, -2 = 4*c + i for n.
4
Suppose -2*o = -4*a, 0 = -o - 0*o - 2*a. Solve 3*t = -0 - 12, o = 2*u - 3*t - 6 for u.
-3
Suppose 0 = 14*c - 7 - 49. Solve 3*l + c*z = -19, 5*l - 4*z - 14 = -3 for l.
-1
Suppose -c = -4*j + 9 + 8, 8 = j + c. Solve j*k + 10 = 0, 0*q + 4*k = 2*q for q.
-4
Let g(z) = -z**3 - 6*z**2. Let o be g(-6). Suppose -4*m - 60 = -4*i, 4*m = -0*m - 2*i - 30. Let u = m - -13. Solve -u*l + 0*l + 3*p = 18, -5*p + 20 = o for l.
-2
Let g(z) = -z**2 - 4*z + 3. Let w be g(-5). Let d = w + 4. Solve -d*b + 4 = -2*y - 6*b, -3*y - 5 = 5*b for y.
0
Let j be (-11)/9 + (-4)/(-18). Let n = j - -1. Suppose n = -0*r + 2*r. Solve -5*a + 4*i = -r + 5, 2*i = 10 for a.
3
Let f(r) = -r**3 + r**2 + 5. Let l be f(0). Suppose -p = -0*p. Suppose l*a - 21 + 6 = p. Solve 3 = x + 4*u - 11, 2*x = -a*u + 13 for x.
2
Let p(z) = -6*z + 3. Let r(v) = 5*v - 4. Let a(w) = -4*p(w) - 5*r(w). Let h be a(6). Suppose m + 3 = 2*m. Solve -5*f + m = h*c - 5, -3*f = 0 for c.
4
Let p(d) = d**2 + 5*d + 2. Let o be p(-5). Let f = 0 - -4. Solve 4*q + s = -o*s, -3*q - f*s = 0 for q.
0
Let g(l) = 2*l. Let o be g(-5). Let h be (0 - o)*3/2. Solve 2*i = -f + 3*f - 2, 0 = -f + 5*i - h for f.
5
Let a be -3 - 24/(15/(-5)). Solve 2*d + 32 = a*m + 6*d, 4*m = 5*d + 1 for m.
4
Let x = 6 + -11. Let a(s) = s**3 + 5*s**2 - s - 1. Let n be a(x). Solve 5*y + 3*j = 20, 2*y - 4 = 4*j + n for y.
4
Suppose -5*x + 19 = -1. Solve 0*l = -4*f + 4*l, -3*f + x*l = 0 for f.
0
Suppose 4*p = 8 - 0. Solve 0 = 2*w - 4*u - 6, -p*w + 4*w + 18 = -2*u for w.
-5
Suppose -5 = 2*v - 11. Suppose -2*p = -p - 2. Suppose -v*h - 7*j + 3*j = -45, p*j = 5*h - 49. Solve -n - h = 2*t, -2*n - 5*t + 12 = 38 for n.
-3
Let w = -3 - -3. Suppose w = 4*s - 3*v - 1116, -4*v + 0*v - 1116 = -4*s. Let b be s/12 - (-2)/(-8). Solve -q - 3*y + 13 - 2 = 0, -4*q + b = 5*y for q.
2
Let h(s) = s**3 - 16*s**2 + 19. Let d = -5 + 21. Let w be h(d). Solve -2*o - 3*o = -5*n + 20, -w = -4*o - 3*n for o.
1
Suppose 5*p = 37 - 7. Solve y + 5*f + 11 = 0, p = y - 4*f - 1 for y.
-1
Let u = 2 - -2. Solve -4*j = -2*c, -u*c + 5 = -3*j - 5 for j.
2
Suppose 4*x - 3*x = 4. Suppose 2*z - 4 = -0*z. Let j be (3 + -3)*-1*1. Solve j*g - z*l = x*g, l = 4*g for g.
0
Let d(f) = -f**3 + 3*f + 1. Let l be d(-2). Let u be 0 + 0 + l - 0. Solve -c = -5*o + 24 - u, -2*o + 7 = c for c.
-1
Suppose -4*i + 15 = -5. Solve -4*c = -2*j - 4, i*j - c - 9 = -28 for j.
-4
Let c(j) = j**3 + 13*j**2 + 13*j + 16. Let l be c(-12). Solve -w - s = -2*s + 1, 0 = -l*w + 3*s for w.
3
Let u(f) = f**2 + 4*f + 3. Let d be u(-4). Suppose -9*v + 5*v + 12 = 0. Solve -4*z + d*g - g = 12, 0 = -3*z + v*g - 6 for z.
-4
Let c = -51 - -54. Solve -5 = 2*r - 5*g, 2*r + 2*g - c = -1 for r.
0
Let p(w) = w + 0 - 3*w - 6 - 2. Let k be p(-6). Solve 4*y - 31 = -5*g, k*y - 2 - 17 = -g for y.
4
Let s be 66/14 + 18/63. Let w = s + -2. Let b = 3 + w. Solve 4*r - 1 = -g - 6, -3*g = 3*r + b for g.
-1
Suppose 61 = -12*n + 505. Solve -2*m + 2*k = -12, 2*m + 5*k = -n + 14 for m.
1
Let y(x) = -x**2 + 6. Suppose -s = -4*s. Let c be y(s). Solve -4*l + c*l + 2 = -r, -5*r - 19 = l for l.
1
Let r = -36 + 39. Solve 4*j + 26 - r = 5*w, -3*j - 9 = -w for j.
-2
Let f = -16 - -22. Let c(o) = 2*o - 7. Let z be c(f). Solve -4*s + u = 2*u + 12, -8 = -3*s - z*u for s.
-4
Let l = -13 - -17. Let i = 30 - 20. Solve -k = -2*g + l*k - i, 4*g - 10 = -5*k for g.
0
Suppose 5*c - 21 = -3*w + 4, 0 = 5*c - 3*w - 25. Suppose -2*f = -c*f. Suppose -4*u - 3*a - 4 = f, -3 = -4*u + a + 9. Solve 3 = o, -2 = -u*s - 2*o - 2*o for s.
-5
Suppose w - 4*i = i - 2, i - 13 = -4*w. Suppose 3*l - 5*l + 14 = 0. Let t = 3 + -1. Solve -b - t*y - 4 = 0, w*b + y = -0*b - l for b.
-2
Let b be 7 + 1*9/(-3). Suppose 0 = -2*i - 0*d - b*d + 2, 4*i = -2*d - 8. Let h = -1 - i. Solve h*v = 4*w - 2*v + 32, 0 = 5*v - 15 for w.
-5
Let d(n) = 13*n - 1. Let s(x) = -x + 6. Let c be s(5). Let t be d(c). Solve -3*m - t = -w, 5*m + 15 = -2*w - 5 for m.
-4
Let q(m) = m**3 - 4*m**2 - 3*m - 5. Let x be q(5). Suppose -5*r = 3*t - 4 + x, 3*t = -r - 5. Solve -i - r = 4*f - 2, 2*i = -f + 2 for f.
0
Let v = -17 - -21. Suppose -2*r = -3*s + 59, 0*r + 20 = v*r. Solve -i + n = -2*n + 13, 3*i + s = 5*n for i.
-1
Let g = 4 - 4. Suppose g = -4*k - k. Solve 5*m - 29 = 3*s - 2*s, k = -2*s - 5*m + 17 for s.
-4
Let s be (6/10 + -1)*(0 + -5). Solve 