Let s = -12 + 27. Solve 0 = 3*z + s, z - n = -5*w + 2*z for w.
3
Let f be (10/30)/(((-2)/(-66))/1). Solve 0 = -z + 5*r + 1, f = -3*z + 3*r + 2 for z.
-4
Let y = 12 + -9. Let g = 4 - y. Let p be 0/(-1) - g - -1. Solve -5*w = -20, -4*q - 7*w + 3*w = p for q.
-4
Let i = 4 + -2. Suppose 4*t - 4 = i*t. Solve 3*d - 5*x + 18 = 4*d, 0 = 4*d + t*x for d.
-2
Let z = 3 - 2. Let b(u) = -u**2 - 13*u + 4. Let d be b(-13). Solve d*p + 4*m - 11 = z, -p + 3*m = 9 for p.
0
Suppose -4*t = 3*t - 140. Suppose 0 = -0*c + c - 9. Let v = 14 - c. Solve -4*i + 0*u = -u + 4, 2*i + v*u = t for i.
0
Suppose 0 = -5*u + u. Suppose a - 5 = -u*a. Let r = 15 + -9. Solve 0 = 3*c - 2*x + 8, 6*c - a*x + r = 2*c for c.
-4
Let x be 6/(((-15)/2)/(-5)). Suppose -b + 18 = -7*w + 3*w, -w = 3*b + 11. Let f = b + x. Solve -4*t + 2*g = -4, 5*g - f = 5*t + 6*g for t.
0
Let m(c) = 5*c**2 + 15*c + 19. Let j(x) = x**2 + x + 1. Let g(w) = -4*j(w) + m(w). Let s = -14 + 4. Let h be g(s). Solve v = 3*k - 4*k - 3, k = -h*v - 19 for k.
1
Let o(t) = t**2 - 2*t - 4. Let r be o(4). Solve 8 = -r*b - 4*w, 2*w = -0*b - 4*b - 10 for b.
-3
Suppose 4*h = -3*b + 6, 2*b - 3*h + 0 = 4. Solve -u = b, 0 = -o - u - 6 for o.
-4
Suppose -5*r - 10 = x, 5*x = -2*r + 3 + 16. Solve -f = -4*g - x - 3, 5*f = 0 for g.
-2
Let t = 11 + -22. Let v = -11 - t. Solve 12 = -4*k, v = 3*r - 4*r + k for r.
-3
Let d be (-2)/(-4) - (-7)/2. Let z = 0 + d. Solve -5*x - 4*g = -0*x, -3*x + 32 = -z*g for x.
4
Let s(i) = -i**2 + 10*i - 7. Let r be s(9). Solve -b + 3*y = 7, -3*y + y + 10 = r*b for b.
2
Suppose 0 = -9*t - 13 + 40. Solve -3*s + 0*s - 18 = t*a, 0 = -a - 3*s - 16 for a.
-1
Suppose 0 = 4*x - 0 - 8. Let a be (-4)/(-3) + 4/6. Solve 5*y - r = -2, r + x = a*y + 1 for y.
-1
Suppose 4*k + 3*n + 57 = 0, -4 - 8 = 2*k - 4*n. Let i be 3 - (3/(-1) + k). Solve 2*x - 22 = 4*g, 5*x - g - 1 = i for x.
3
Let z(j) = j**2 + 11*j - 24. Let v be z(-13). Solve -12 = -c - 4*k, v*c - 3*c - 2*k = -4 for c.
-4
Suppose -3*p + 80 = 2*p. Suppose 3*q + q - p = 0. Solve -q*l = 2*t + l - 3, -4*t - 2 = 2*l for t.
-1
Let t(p) = -p + 6. Suppose 4*s - 7 = 3*s + 3*z, -s = 4*z. Let c be t(s). Solve 3*d - 2*a + 5 = 0, -d = -c*a - 2 + 5 for d.
-1
Let f = -7 - -11. Let x be (-1)/((f/(-2))/12). Solve 0 = 2*a + g - x + 3, 2*a - 2*g = -12 for a.
-1
Suppose 4*a = 2*g, 3*g - 11 + 2 = -3*a. Let m be ((-8)/6)/(g/(-3)). Solve 4*p = -3*o - 5, -4*o + 8 = -0*o - m*p for o.
1
Let g(n) = -n**3 - 4*n**2 + 5*n + 7. Suppose 2*h = l - 11, 4*h = 3*l - 4 - 19. Let z be g(h). Solve -2*f - 2 = -q + 1, 5*q + z = -f for f.
-2
Let p(y) be the second derivative of y**4/12 - 11*y**3/6 + 9*y**2/2 - 4*y. Let u be p(11). Solve 5 = -5*x - t, x - 3*t = 6 + u for x.
0
Let t = 9 + -8. Let l be (2 + -1 + 2)/t. Solve -2*m - 10 = 2*g, -l*g - 5*m - 9 = 8 for g.
-4
Let f(c) = c**3 + c**2 + c + 5. Let g be f(0). Suppose -2*v + 6 = -n, -2*v - 31 = -4*n - g*v. Solve 4*d = n*u - 4, 5*d - 2*u = -0*u + 1 for d.
1
Let r be (15/(-10))/(3/(-4)). Suppose 3*c = -r*c + 10. Solve 22 = -c*p + p - 4*f, -f - 9 = 2*p for p.
-2
Let h(p) = -p + 9. Let r be h(4). Suppose -4*b + 48 = 4*l, 0*l - 15 = r*l. Solve 3*n + b = -3*v + 5*n, v + 5 = -5*n for v.
-5
Suppose 8 = 4*u - 4. Solve b - o - 6 = 0, 4*b - u*b + 4*o = 1 for b.
5
Let u = 6 - 4. Suppose -5*q = -5*j + 575, -u*j - 582 = 3*q + 2*q. Let d be 4/(-14) - q/14. Solve -3*p - d = -5*w + p, -2*w + 3*p - 1 = 0 for w.
4
Suppose -m + 67 = 3*t, -2*t - m + 42 = m. Solve -3*j - t = 4*v, -6*j + 15 = -j - 4*v for j.
-1
Suppose 4*m = -4*g, -m = -2*g - 4*m - 3. Suppose 2*t - 1 = 2*n + 1, 2*t - 5 = n. Solve x + 6 = -g*q, n*x = 3*q + 6*x for q.
-3
Let w = -11 - -15. Solve -3*i + 25 = 2*i, -i = w*g - 21 for g.
4
Let j(v) = 2*v - 7. Let s be j(6). Suppose -3*h + 3 = -2*h. Solve -s*u = h*m + 6, -3*u - 23 = -3*m - 5 for m.
3
Suppose j = -0*j - 1. Let h(r) = -16*r**3 - r**2 - r. Let p be h(j). Let n = p + 0. Solve -5*m = -c + 3*c - n, 0 = 3*c - 9 for m.
2
Let p(d) = -d + 4. Let s be p(4). Suppose s*y - 6 = -3*y. Suppose -4*h - y = -3*j + 4*j, -3*j + 4*h + 26 = 0. Solve -k + j*k - 20 = 5*a, -5*a = -2*k + 5 for a.
1
Let k(d) = d - 5. Let v be (4/3)/((-2)/(-24)). Let m = -9 + v. Let n be k(m). Solve 6 = n*y - c, -y - 3*c = -4*c - 2 for y.
4
Suppose -4*o + 25 = o. Let p(y) = 4*y**2 - 3*y + 1. Let j be p(2). Let b = -6 + j. Solve -3*s - 14 = -o*z - 4, -b = -s for z.
5
Let f be -2 + (-9)/(4 + -7). Let y be -3*-2*(f - 0). Let x(w) = -w**2 - 5*w + 3. Let p be x(-5). Solve -p*d - c = y, 6 = 3*d - 4*c + c for d.
-1
Suppose 10*f = 73 + 17. Solve 4*o + f = 1, -5*s - 5*o = 25 for s.
-3
Let w(l) = 3*l - 5. Let g be w(9). Solve -18 = -2*b - 4*d - 2, -5*d = 3*b - g for b.
4
Let w = 22 - -4. Let u be (4/1)/2*2. Let d(m) = -3*m - 4. Let y be d(-3). Solve 0*t = -y*a + t + w, 4*t = -u for a.
5
Suppose 0 = 3*j + 4*t - 28, -3*j + 4*t - 8 = -j. Solve 0 = 2*i + d - 5, -d - 22 = -j*i + d for i.
4
Suppose 5 = 5*f - 5. Solve -u = -4*i - 11, -f*i - 5*u = -2*u + 23 for i.
-4
Let o be (-1)/((-2)/(0 - 14)). Let x(v) = -v**3 - 8*v**2 - 7*v + 4. Let b be x(o). Solve 5*k = 10, d + b*k = -2*d + 11 for d.
1
Suppose 2*b - 7 = -3*d - 6, d = 5*b - 28. Let a(w) = -w**2 + 6*w + 10. Let f be a(7). Solve -b*y - 27 = -f*x - 11, 0 = x + 2*y + 13 for x.
-3
Let m(k) = k + 4. Let y be m(-3). Let j be 1*-1*(y + -1). Let v(u) = u**2 + u + 23. Let f be v(0). Solve -5*c - 3*p - 16 = j, -4*c + 4*p - f = 3*p for c.
-5
Let x = 5 - 2. Let o = -17 + 22. Solve 4*y - 36 = -o*i, -5*y - x*i = -47 + 15 for y.
4
Let m be 20/(-10) - (0 + -1 - 1). Solve 3*h - j + 10 = m, -2*h - 2*j + 8 = -4*h for h.
-3
Let x(a) = a - 1. Let c be x(-5). Let l(j) = 0*j + j**2 - j**3 + j - 7*j**2 + 6. Let z be l(c). Solve 3*r - 16 = 5*h, 0 = r - z*r + 2*h + 2 for r.
2
Suppose -2*p - 12 = -5*p. Let q(w) be the third derivative of -w**4/6 + 5*w**3/6 + 3*w**2. Let h be q(-5). Solve p*y + 15 = l, 4*l + 5*y = -h - 20 for l.
-5
Suppose -4*d - 72 = -12*d. Solve -a + 10 = 2*f, -f + d = 3*a - 1 for f.
4
Let g = -161 - -164. Solve g*f = -3*i - 3, i + i = 8 for f.
-5
Let m = -8 - -11. Suppose 4*j - 5*y = 19, 4 = j + m*y - 5. Solve -5*a + j = -3*p - 3, 5*p + 15 = -2*a for a.
0
Let w(k) = -k**2 - 5*k - 2. Let b be w(-4). Suppose 4*m - 80 = 4*x, m - 2*m = -b*x - 25. Suppose 3*n - 6 = m. Solve -3*u + n*u - 2 = -v, 10 = -3*v + 4*u for v.
-2
Let l = 51 - 51. Solve 4*c = -4*x - l + 8, 5*c - 5*x = 0 for c.
1
Let g(i) = 3*i**2 + 21*i + 5. Let c be g(-7). Solve -c*h - 35 = 2*l + 3*l, 5*h + l + 15 = 0 for h.
-2
Let u(d) = -5*d**2 - d**3 - 5*d + 0*d + 34 - 34. Let r be u(-4). Solve o = -w + 4 - 2, -r*o + w = 2 for o.
0
Let g = -4 - -7. Let c be 2 - 3/g*2. Solve c*m + 3 = -y - 2*m, m = -1 for y.
-1
Suppose -4*p + 28 = -0*p. Solve 0 = -d - 4*n - 6, -3*d = p*n - 2*n + 11 for d.
-2
Suppose 5*q + 3 = 28. Let i = 7 - q. Solve -4*o + 3*m + 11 = 0, 2*o = o + i*m + 9 for o.
-1
Suppose 4*i = 3*i + 2. Suppose 3*j + i*q = 2*j + 13, 4*j = 2*q + 22. Solve p = 3*r - j*r + 7, 5*r = -2*p + 8 for r.
2
Let z(x) = -2*x - 1. Let a be z(-2). Solve 17 = a*s - q, -4*s + 1 = 2*q - 15 for s.
5
Let p(o) = -o**3 + 8*o**2 - 8*o + 5. Let c be p(7). Let h = c - -5. Let s = -1 + 7. Solve l = 2*j - 4, j + s = -5*l - h for j.
1
Let f = -4 - -7. Solve -2*l + f*x + 1 = 0, 0*l + x = 2*l - 3 for l.
2
Let f(u) = u**2 - 5*u - 8. Let j be f(6). Let x = 8 + j. Solve d - 10 = -2*w + x*w, 3*d = -5*w - 4 for w.
-2
Let a be -2*(-1)/(-2) + 3. Suppose -179*m = -177*m - 24. Solve -18 = a*x - 4*j, 3*j + 0*j = 3*x + m for x.
1
Let y = -20 - -37. Let h = 21 - -4. Suppose -5*f + h + 0 = 0. Solve -3*n + f*a - y = 0, 2*a + a = 2*n + 11 for n.
-4
Suppose 0 = -v - 2 + 2. Solve 2*g - 2*z = -5*z - 14, v = 2*g + 2*z + 12 for g.
-4
Let i be (6 + 0)*27/6. Let w(x) = -x**2 + 4*x + 3. Let t be w(5). Let m(f) = -3*f - 1. Let g be m(t). Solve -2*b + 3*o = 4*o + 3, -i = -2*b + g*o for b.
1
Suppose -3*d = -3*y + 24, -y + 4*d = -d - 20. Solve 4 = 5*m + l - 2, -m - y*l = 18 for m.
2
Suppose 3*h = -h + 76. Suppose -v = p - 0*p + 2, 3*p - 2*v = h. Suppose -2*n + 14 = -4*w + 4, w = -n + 5. Solve w*t + 18 = 2*t - 5*q, -p*t - q = -10 for t.
4
Let w(b) = b**2 - 3*b - 2. Let a be w(4). Let c = a - -1. Let q be 6/c - (-6)/2. Solve 2*o + 0*o = 4*f + 22, o = -2*f - q for o.
3
Suppose -5*l + 2*y = -28, l + 3*l - 2*y = 22. Solve -3*n + a - 16 = 0, -l*n + 4*n - 5*a + 12 = 0 f