 -2 = -z for n.
4
Let h(b) = -b + 1. Let y be h(-1). Suppose -3*q = -2*q + 5*p + 10, 26 = 4*q - y*p. Solve -4*u = -0*u + q*t - 9, t + 7 = -3*u for u.
-4
Let d be 15/20*-1*-8. Suppose -3*h + d = 3*c - h, -10 = -5*c - 5*h. Solve 0*j - c*j = 2*z - 4, -j - 5*z + 10 = 0 for j.
0
Let f be -5 - (-4 + (2 - -3)). Let i = f + 9. Solve -d - 4*g = -4, -d - i = -g + 3 for d.
-4
Let g(l) = 6*l**2 + 36*l + 3. Let o be g(-6). Solve 4*q = 2*n, -o + 14 = -5*n - q for n.
-2
Suppose 2*j - 4*x - 36 = 0, -2*j + 2*x = 9 - 35. Suppose j - 16 = -4*w. Solve 0 = -3*h + 15, w*y + 24 = -0*y + 4*h for y.
-2
Let u = 60 + -58. Suppose -3*h + 12 = u*b, 7*b - 3*b = 12. Solve 4*i - m = 9, 0 = 5*i - h*m - 6 - 3 for i.
3
Let u(f) = -f**3 + 11*f**2 + 2*f - 18. Let j be u(11). Solve -5*p - 7 = -n - 2, p + 20 = j*n for p.
0
Let z(u) = u**3 - 5*u**2 + 8*u - 3. Let g be z(3). Solve -7*n + 2*n = -g*x + 5, 0 = n - 5*x + 1 for n.
-1
Suppose 4*a - 16 = -0*a. Let v = 28 + -12. Let q be 0/(-1) - -3 - 3. Solve -t + a*n - 16 = q, -4*n + 0 = 3*t - v for t.
0
Suppose 0 = -7*o + 6 + 22. Let h = 9 + -5. Suppose -2*u + 17 = -2*s + 5*s, 0 = s - u - h. Solve 0 = a - 0*a + d + 1, -o*a - s*d = 2 for a.
-3
Suppose -y - 4 = 3*h - 13, 2*h = -2*y + 26. Let l be 100/28 - (-4)/(-7). Suppose -l*m = -4*m + 3. Solve 0 = o - m*j - j - 7, 5*j + y = -5*o for o.
-1
Let o = 42 + -30. Suppose 3*d + o = 3*a - 0, 4*d - 8 = -2*a. Let t = -46570 + 46573. Solve t*x = s + 3, d = -0*x - 3*x for s.
-3
Suppose -22 + 62 = 4*w. Suppose -v + 3*v = w. Solve -i = 5*t + 9, v*t - 6*i + 12 = -4*i for t.
-2
Let b = -1 - 5. Let j(i) = -i - 4. Let u be j(b). Let y be (25/15)/(5/6). Solve 0 = -r - 2*z + 2, y*z + u*z - 32 = 5*r for r.
-4
Suppose 39 = -5*i - 111. Let k be (-98)/(-10) - 6/i. Suppose -u + k = 5*r - 3*r, 4*u - 3*r = -15. Solve 5*z - q - 20 = u, -z - q + 4 = -2*q for z.
4
Let d = -35 + 39. Let j = 11 + -1. Suppose -j = -4*c - c. Solve 5*u - 4 = -n, -8 = -d*n + c*n - 5*u for n.
4
Suppose 0 = -2*f - 38 + 158. Let z = f + -35. Solve 4*c - g - 12 = -5*g, 0 = 5*c - 3*g + z for c.
-2
Suppose -a = 4, -4*a = -0*n - 5*n + 36. Suppose 3*j = 4*k - 10, -k - 4*k + 28 = n*j. Solve -j*f + 5 = 5*h + 3*f, -h - 2*f - 2 = 0 for h.
4
Let z(d) = -d**2 + 3*d + 4. Suppose 2*j - 2*j = 3*j. Let k be z(j). Solve -3*g + 5*g = -3*f - 20, -k*f - g - 20 = 0 for f.
-4
Let t be ((-6)/(-4))/3*(-16 - -22). Let g be (-344)/(-20) + t/(-15). Suppose 4*l + 2 - 6 = 0. Solve 3*r + g = 3*q - l, 2*q - 15 = 5*r for q.
5
Suppose -3*a + 2*q + 12 = 0, -18*a - 3*q + 16 = -14*a. Let t(v) = 2*v - 34. Let g be t(19). Solve 4*x + g*u = 0, -4*x + a = -2*u - 2 for x.
1
Let i = -1 - -1. Let q = 13 + -10. Suppose -5*p = -4*z + 1, -q*z + 14 = -2*p + 2*z. Solve 4*n = -f - 6 - i, -1 = -p*n + 2*f for n.
-1
Let n = -395 - -398. Let l = 3 - -13. Solve -4*c + c = -n*h + 9, -l = -3*c - 2*h for c.
2
Let m = 253 + -240. Solve -f + 9 = 4*k, 2*f + k = -2*k + m for f.
5
Let r(k) = 5*k - 3*k**3 + 0*k**3 + 2 + k**2 + k**3. Let y be r(-2). Let u be (y/(-2))/((-3)/4). Solve u*f - 3*f = i - 22, 2*i = -4*f - 26 for f.
-5
Suppose 4 = -j + 19. Suppose 6*v - v = j. Solve -3*s - 3*r + 2 - 5 = 0, 4*s = 3*r + v for s.
0
Suppose 1 = x - 2. Suppose 2*c = 8 - 2. Let i = c + 0. Solve -x*s - i*t + 2*t + 4 = 0, -3*t = -4*s + 1 for s.
1
Suppose 2*n - 3 = 5. Let j = n - -4. Let x be (4 - j)*11/(-4). Solve 0 = -5*s + m - 20, x + 1 = s + 3*m for s.
-3
Let v(x) be the second derivative of 2*x**4/3 - x**3/3 + 3*x**2/2 + 2*x. Let n be v(1). Solve 5*z - 2*z = -2*m - n, 0 = 2*m - 6 for z.
-5
Suppose 15 = 3*p - 3*v, -2*p + p - 4*v - 20 = 0. Let n be (p/5 + 0)/1. Solve n = -4*s + 4*b - 4, 4*b = -3*s - s - 12 for s.
-2
Let r = -8 - -11. Let m be (-4)/14 + (-1668)/42. Let j be 2*4/(m/(-25)). Solve -j*w - 1 = -3*i + 3, 0 = r*w - 5*i - 4 for w.
-2
Let m(p) = -p**3 - 5*p**2 - 6*p - 8. Suppose -1 + 3 = -2*l - 2*b, -15 = -5*b. Let a be m(l). Solve a = 2*q - 3*k - 15 - 1, 5*k = -2*q for q.
5
Let y(w) = -w + 7. Let h be 1*7/((-7)/(-2)). Let k be y(h). Suppose 0*j + j + 5 = 0, -2*f + j + 9 = 0. Solve 0 = -4*d + f*u - u - 1, 2*u + 1 = k*d for d.
-1
Let y(m) = -m**2 - 23*m + 472. Let g be y(-36). Solve 4*f = g*k + 3 - 11, 0 = -2*f - 4*k - 16 for f.
-4
Let d(z) = 6*z + 5. Let y be d(-4). Let k = y + 27. Let c(a) = -a**2 + 12*a - 3. Let o be c(k). Solve -4*r = -5*v - o, 30 = 7*r - 2*r - 5*v for r.
1
Suppose 1 + 13 = 2*u - 4*k, 3*k = -3*u - 24. Suppose -5*j = -0*j + 5*m - 40, -5*m - 9 = -2*j. Let b = u + j. Solve 2*l - a - 8 = 4*l, 4*l - a + b = 0 for l.
-2
Suppose 0 = -g - x, -14 = -3*g + 3*x + x. Solve -g*j + j - 20 = -3*c, -c = -2*j - 15 for j.
-5
Let b be ((-6)/5)/(42/(-105)). Solve -p - 3*s - 2*s = -5, s - 15 = -b*p for p.
5
Suppose 0 = 4*b + 3*b - 35. Solve -b*o - 2*j = 14, 3*j = -6*o + 2*o - 7 for o.
-4
Let b = 822 - 816. Solve -3*w - 6 = -3*u, b*w - 2*w = u - 11 for w.
-3
Let f(t) = t**3 - t - 1. Let j(r) = r**2 + 23*r - 22. Let k be j(-24). Let c be f(k). Solve -4*q = -5*q - 4*l - 17, -l - 20 = -c*q for q.
3
Suppose -2 - 10 = -3*r. Let u be 3/r*(-40)/(-6). Suppose 0 = u*i + 4 - 49. Solve 2*h + 1 = 3*h - g, -h - g + i = 0 for h.
5
Let h = -7 - -8. Suppose -s = -3 + h. Suppose -5*p - s*r + r + 27 = 0, 0 = -r + 2. Solve -1 = 3*f + 3*c + 23, 4*f = -p*c - 36 for f.
-4
Let t = -52 - -77. Let m(r) = -23*r**3 + r**2 + 4*r + 2. Let x be m(-1). Suppose -5*p + 3*p = -x. Solve 3*v + p = -c, 6*v + 3*c = v - t for v.
-2
Let s be (4/10)/((-2)/(-20)). Suppose -z + 2*z - s = 0. Let i(x) = -3*x**3 - 40*x**2 - 13*x + 2. Let r be i(-13). Solve -z*a = a, a = -p - r for p.
-2
Let n(y) = -y**3 + 4*y**2 - 6*y + 6. Let r be n(2). Solve -20 = -r*h - 9*b + 4*b, 0 = 3*h + b - 4 for h.
0
Let q(g) be the second derivative of g**4/3 + 11*g**3/6 + g**2 + 23*g. Let a be q(-3). Solve 3*s = -s + a*m - 35, 0 = 4*s - m + 23 for s.
-5
Let a be 9*2/(-12)*8/(-3). Let j = 7 - 12. Let l be (-2)/j - (-18)/30. Solve -a*m = -y + l, -2*y = 3*m + m - 14 for y.
5
Let h = 41 + -36. Solve 6*c - h = 5*j + 2*c, 0 = -4*j + c + 7 for j.
3
Let c(m) = -m**3 - 6*m**2 - 7*m - 2. Let i be c(-5). Suppose i = -5*x + 58. Let d = x + -5. Solve -2*w - 10 = 2*v, -d*w - 11 = -5*v - w for v.
-1
Let i(f) = f**2 - 23*f - 44. Let a be i(-2). Solve 2*k + 5*h = a*k + 6, 0 = -3*k - h - 14 for k.
-4
Suppose 8*c - 6*c + 6 = 4*d, -3*d = -5*c + 6. Let p(o) = 9*o - 25. Let a be p(c). Solve a*q - 17 = 3*g, 2*g = -7*q + 4*q - 7 for q.
1
Let g = -91 + 94. Let a be (-1)/((-4)/12*1). Solve r = 5*b - 11, 8 = g*r + a*b - 13 for r.
4
Let p be 0 - 88/(-4)*-1. Let i = 26 + p. Solve 3*j + i = -2*u - 2*j, 2*j = -5*u + 11 for u.
3
Let a = 1093 - 1093. Solve -3*f + w = -3 - 2, a = 5*f + 2*w - 1 for f.
1
Let x(w) = 2*w - 25. Let j be x(11). Let f be j*(4/12 - 1). Solve f = 5*z + b + 13, -3*z + 4*b = 2 for z.
-2
Let j be ((-40)/6)/(-2 - 336/(-162)). Let q = j + 97. Solve -5*b = -25, 5*b - 24 = -4*u - q for u.
-2
Let y(x) = -x**2 + 4. Let z be y(0). Suppose -9*n + 36 = -9. Solve 3*h - z*q = -6 - 14, -25 = -n*q for h.
0
Let v = -11 - -19. Let s = v - -7. Suppose 0*m - 5*m = -s. Solve 9*q = 4*q + 2*b + 8, 3*q + m*b + 12 = 0 for q.
0
Let f be (-12)/7 + 18/(-315)*5. Let v be (-1)/(1/6*f). Solve -6 = -2*j + r, 5*j - v*r - 15 = -r for j.
3
Suppose 6*w - 13 - 11 = 0. Suppose -3*z - p + 13 - 3 = 0, -z = -4*p + 14. Solve -z*c + y = -w, 2*y = -2*c - 7 + 17 for c.
3
Let v be 109/9 + 10/(-90). Suppose 20 = -7*r + v*r. Solve 0 = -2*o + r*d + 8, 8 = -4*o + d + 3 for o.
-2
Let i(b) = -b**2 + 10*b - 3. Let v(a) = 6*a - 7. Let y be v(4). Let r = y - 8. Let t be i(r). Solve 0 = -q + 2*s - 4, 4*q + 4*s - t*s - 8 = 0 for q.
4
Let c be (-4)/30 + (-310)/(-75). Let d be 8/6 - 14/(-21). Suppose 3*v + d*t = 13, 2*v - 12 - 4 = -5*t. Solve -v*b - 5*f = -c*b, -2*b - 14 = 4*f for b.
-5
Let p(l) = -l + 13. Let x be p(10). Let d = 3 - x. Suppose -3*h = 5*s - 3*s, -4*h + 20 = -4*s. Solve d = 3*u - o - 0*o, 5*u + h*o = 0 for u.
0
Suppose 32*p - 19*p = 117. Solve 9 = q + 4*y - p, 24 = 2*q + 5*y for q.
2
Let k(u) = 4*u + 3. Let z be k(-3). Let i be 7 - z - (-2)/2. Solve 1 = 4*p - 2*c + i, p - 3*c + 14 = 0 for p.
-2
Suppose 3*m - 87 = -5*r, 3*m - 3*r = 76 - 13. Let d = 44 + -40. Solve d*t - t - m = -4*h, 0 = -h + 3 for t.
4
Let x = -71 - -71. Solve 2*z + x*z - 4*t = -26, -3 = -4*z - 3*t for z.
-3
Let j(b) = -2*b**2 - 106*b + 111. Let o be j(-54). Let