+ -17)). Let p(m) = -4 - 4 + 3 + 6*m - m**2. Let h be p(4). Solve 5*z = 2*c - f, h*c - 2 = 2*z - 0*z for c.
-2
Let n = 125 - 122. Solve n = -2*l - 1, 2*s - 2 = -2*l for s.
3
Suppose -4*b + 64 = l, b = 5*l + 28 - 12. Let q be ((-1)/(-2))/((-2)/b). Let g be (q/5)/((-20)/50). Solve 0 = g*t - 3*a + 5*a, 0 = -4*t + 5*a for t.
0
Suppose -40 = -11*a + 15. Suppose 5*h = -a*k + 135, h - 90 = -4*h + 4*k. Solve -5 = 5*j, -h = 4*c - 0*j + 2*j for c.
-5
Let h(x) = -11*x - 2 + 0*x**3 - x**3 + 1 - 9*x**2. Let t(n) = -2*n + 6. Let w be t(7). Let a be h(w). Solve 0 = 2*k - 2*f + 16, 4*k - f + 0*f = -a for k.
-5
Let o(w) = -2*w**3 + 21 - 22*w**2 + 15*w + w**3 + 37*w**2. Let z be o(16). Solve c + m - 4 = -0*c, z*m - 16 = -c for c.
1
Let r be (-1323)/(-162) - 1/6. Solve -4*s + r = 4*x, 5*s + 5 = -x - 5 for s.
-3
Let f(v) = v**3 + 8*v**2 - 9*v + 2. Let u be f(-9). Suppose -6*o = -10*o + 4*a, 0 = -2*o + 3*a - 1. Solve -c - r + o = -6, 0 = 4*c - u*r + 2 for c.
2
Let y(j) = j**2 - j - 14. Let x be y(0). Let z = x + 38. Suppose g = 4*s + 21, z = 3*g - 2*s + 1. Solve g*i + 4*l - 8 = 0, 2*i - 5*l + 1 = 24 for i.
4
Let o = -1046 + 1054. Solve 4*w = -16, 0*c + 2*w = 2*c - o for c.
0
Let x(q) = -4*q - 1. Let o be x(-1). Let z be 0/(-10*3/(-15)) + 2. Solve 6 = -o*c + d + 2*d, 0 = -3*c - d + z for c.
0
Let w = -43 + 25. Let u be ((-48)/w)/(4/6). Solve 2*q - 19 = -4*n - 1, u*n = 3*q - 7 for q.
5
Let r be 2/6 - (-106)/6. Suppose -3*m + 27 - r = 0. Solve 0 = m*a - a - 4*c, -a = 3*c + 5 for a.
-2
Let w = -16 + 44. Suppose w*x - 33*x = -100. Suppose 4*r = 3*r + 4. Solve -3*s = r*h - s - 20, -4*h = -s - x for h.
5
Suppose 0 = -55*q + 169*q - 456. Solve 2*b + 6*c = q*c, -1 = 3*b + 2*c for b.
-1
Let i(j) = 2*j + 1. Let q be i(0). Let w be 3*q/9*0. Let h(s) = -s + 2. Let r be h(2). Solve d + w*o = o - 2, r = 2*o for d.
-2
Suppose -5*c + 9*n + 20 = 12*n, -5*c + 5*n = -20. Solve 2*t - c = h - 0*t, -6 = -3*t for h.
0
Let n be (-1 + 1)*2/4. Suppose n = -3*f + f + 4*g + 8, g = 0. Solve 3*z = 2*u + 2*u + f, 4*z = 0 for u.
-1
Let u = 6 + 27. Suppose 24*q - u = 13*q. Solve 16 = 4*z - 0*z + p, q*p = 2*z - 8 for z.
4
Let v = -1 - -13. Let p = v + -11. Suppose 2*b - 5 = -p. Solve 0 = -3*d - 5*y + y + 7, -b*y + 21 = 5*d for d.
5
Let m(z) = -23*z**2 + 9*z + 12*z**2 - 7 - 28*z - z**3 - 2. Let v be m(-9). Solve 5*g - 4 = a, 3*g + v = 4*a - 1 for a.
1
Suppose 0 = 17*s - 101 + 16. Let i = 10 + -5. Suppose -3*g = -0*g + i*b - 37, 0 = 4*g + b - 21. Solve w = s*j + 4, -3*j + g*w = -w - 2 for j.
-1
Suppose 0 = 13*x - 11*x + 320. Let s be x/(-60) + (-2)/3. Solve -3*j = 5*y - s - 1, y = 0 for j.
1
Suppose -l - 6 = -2*g, 3*l = 5*g + 4*l - 22. Solve g*n - 13 = 3*m, 0 = -0*n - 3*n + m + 6 for n.
1
Let d = 887 - 883. Solve -c + 5*o = -4*c + d, 5*o = 4*c + 18 for c.
-2
Suppose 5*w = -6 - 4. Let v(p) = 4*p**3 + p**2 - 2*p + 1. Let c be v(1). Let l be c/(3/((-6)/w)). Solve -l*s - 4*n + 3 = -5, 5*n - 10 = 3*s for s.
0
Let a be ((-25)/10)/((-4)/(3 + 5)). Solve -t + 3*i - 6*i - 2 = 0, 0 = t - a*i - 14 for t.
4
Suppose -20*b = 30*b - 42*b. Solve 2*w + 2*q + 10 = -b, -10 = -w + 4*q for w.
-2
Let s(x) = -x**3 + 2*x**2 + 4*x - 2. Let o be s(4). Suppose 7*z = -88 - 38. Let q = z - o. Solve q = y + m - 5*m + 4, 0 = y + 5*m - 14 for y.
4
Let o = -976 - -978. Solve 0 = -3*p + w + 7, o*w + 0 + 12 = 4*p for p.
1
Let p = -19 - -29. Suppose 0 = -15*a + p*a. Solve a = 4*l + 8, -5*l - 7 = -2*m + m for m.
-3
Suppose 0 = 2*u + 2*u. Suppose u = 5*q - 2*q. Suppose 7 = 3*w - 3*j - 2, q = -j. Solve 25 = 5*v, -h - h + w*v - 7 = 0 for h.
4
Let g be 136/(-36) - (-4)/(-18). Let i be 0 + 1*(-1 - g). Solve -9 = 5*t - f + i*f, 0 = 4*t + f + 9 for t.
-3
Suppose 77*t = 73*t. Solve t = 2*q - o - 7, -2*q - 6 = 4*o + 2 for q.
2
Suppose 4 - 16 = -4*r. Let h be (2 + -3)*(-5 + r + -5). Solve 0 = 3*n - 4*u - 10, n = 3*u - h*u - 18 for n.
-2
Let y(k) = k**2 + 13*k - 10. Let b be y(-14). Solve 6*j + 2*c + 4 = 5*j, c = j + b for j.
-4
Suppose -3*f = 4*k - 29, 0 = 5*k + 5*f + 23 - 63. Solve 0*v = -2*v + 5*d + 29, 3*v + k*d + 19 = 0 for v.
2
Let l be (16/(-12))/((-2)/3). Let u be (-8)/(-3) - l/3. Suppose 2*z = 4*z. Solve -3*j - 5*b + 11 = z, 0 = -u*b + b + 1 for j.
2
Suppose 10*g = 3*g - 84. Let z be g/(3 + 1) + 5. Solve s - 4*s - 2 = -x, -s - z = 0 for x.
-4
Suppose -2*m = 4*i - 66, 5*m + 3*i - 158 = -21. Solve -4*f - 20 = -4*x, 5*f - 3*x + m = 2 for f.
-4
Let p = -263 + 266. Solve -4*d = a + 3, -4*d - 2 = -p*a + 21 for d.
-2
Let j(a) = 3*a + 12. Let x(k) = -k. Let u(l) = j(l) + 2*x(l). Let z be u(-5). Solve -3*b - 2*w - 1 = -2*b, b + z = w for b.
-5
Let a = 305 + -300. Solve a*p + q - 2 = -0, 0 = -5*p - 2*q + 4 for p.
0
Let y be 5 + 7 + -4 + 0. Let s be -3 - ((-21)/5)/(1/5). Suppose 6*d - d = 2*m + s, -2*d + 3*m + 5 = 0. Solve 3*f - d = 2*h - f, 2*f = 4*h + y for h.
-2
Let r be (-8)/(-1) - -1 - 6. Solve -5*c = -4*l - r*c + 10, -l + 5*c = 2 for l.
3
Let d(n) = n**2 + 7*n - 2. Let k be d(-8). Suppose 0 = 9*b - 0*b + 63. Let t be b/(-3) - (-16)/(-48). Solve 3*l = 2*z - k - 15, t*l - 5*z + 25 = 0 for l.
-5
Let z(o) = 5*o**2 - 1. Let c = -12 - -16. Suppose c*g - 8 + 4 = 0. Let q be z(g). Solve 2 = 4*j - 2*u, 0*j = q*j + 4*u - 20 for j.
2
Let r = 240 + -237. Solve -r*l - 5*y + 0*y = -20, -l + y = 4 for l.
0
Let y be 6 + -3 + -9 + 7. Solve 2 = 2*p + 3*h, 22 = -p + 4*h + y for p.
-5
Suppose -3*z + 24 = 2*h - 95, z = -5*h + 304. Let m = h - 57. Solve m*n = 7*q - 2*q - 9, 11 = -n + 3*q for n.
4
Suppose 0*p + 24 = 4*p. Suppose 8 + 4 = p*r. Solve r*t + 2*i = 10, -2*t + 15 - 2 = 3*i for t.
2
Let g = 150 + -140. Solve 3*k + g = -2*t + 2, -4 = -2*t for k.
-4
Let u be -4 + 1*(24 + 4). Let h = u + -19. Let m = 96 + -66. Solve 2*f = 4*c + 18, 7*f - 2*f = h*c + m for f.
3
Suppose -8 = -5*u + 7. Let k be (-6413)/(-143) - (-2)/13. Suppose 0 = 5*v + 5*q - 115, -k = -3*v + 3*q + 2*q. Solve -2*l + 8 = -j + u*j, -v = -5*j for l.
0
Suppose -v + 7 = 1. Let p be 12 - (4 + 0 - v). Solve 3*u = -4*k - p, -3*k = -3*u - 5*k - 4 for u.
2
Suppose -102 = -9*y + 6*y. Suppose -15*z + 41 = -y. Solve -3*a + 16 = 2*k + 5, z*k = -2*a + 22 for a.
1
Let c = -48 - -51. Solve 4*d = 5*n - 22, -2*d + 3*d = -c*n + 3 for n.
2
Let o(c) = 2*c**2 - 6*c. Let h be o(5). Suppose -7*q = -5*q + h. Let w be (-1)/4*2*q. Solve 1 = -u + w*j, 4*j - 11 + 27 = 5*u for u.
4
Let i = 22 - 18. Suppose -i*g - g = -g. Solve g = 2*d + 6, f - 2*d - 15 = 3*d for f.
0
Let v(s) be the first derivative of -1 - 2*s + 1/2*s**2. Let i be v(5). Solve -z = -f + 9, 4*z = -0*z + i*f - 31 for z.
-4
Suppose 2*c + 2*b - 4 = 5*b, 0 = 5*c - 5*b - 20. Suppose i = c + 1. Solve 2*g + 7 = -3*d + 18, -3*g + 3*d + i = 0 for g.
4
Suppose 0 = -3*t + 5*u, 5*t = 3*t - 2*u. Solve 3*m = -t*m - r + 5, -3*m + 25 = -4*r for m.
3
Let q(i) be the third derivative of -i**4/12 + 9*i**3/2 - 13*i**2. Let h be q(11). Solve -h*s - 1 = 4, 0 = -m + 4*s + 3 for m.
-1
Let v be 0/1 + (-7 - -9). Let n = 4 - 0. Solve -24 = -v*r - 2*r + n*y, -2*y - 10 = 0 for r.
1
Let w = -959 - -964. Solve 4*k = w*n - 9, -5*k + 44 = 5*n - 1 for n.
5
Suppose -5*h - 2*j + j = -24, 5*h = 4*j + 4. Suppose h*q = -n + 56 + 27, 0 = -5*q + 5*n + 135. Solve -3*u + 5*f = -2*u + 18, 4*f - q = -3*u for u.
2
Let h(i) = i - 9. Let j be h(13). Suppose -j*x = -3*c - 15, -4*c = 3*x + c - 4. Solve -1 = 3*u - y, -2*u + x*u + 15 = 4*y for u.
1
Let q = -261 + 261. Solve -4*z + 16 = -q*l + l, 0 = 4*l for z.
4
Let u = 42 + -36. Suppose -10 = h - u*h. Let v(m) = m**2 - 6*m + 6. Let d be v(6). Solve h*l - 4*i = 7 + 5, -2*i = d for l.
0
Suppose 5*m + 3 = -7, 5*m + 10 = 3*y. Solve -5*b - w + 0 + 4 = y, -3 = 3*w for b.
1
Let k(v) = -17*v + 102. Let s be k(6). Solve s*y + 2*y - 10 = -h, 0 = 3*y + h - 15 for y.
5
Let w(r) = -r**3 + 11*r**2 + r - 108. Let k be w(10). Solve 3*g - 19 = -c, k*c + 2*c = -3*g + 31 for c.
4
Suppose 2*z - 4 = -2. Let r be 1550/(-25) - (-2)/z. Let q be (-20)/r - (-2)/(-6). Solve 3*c = 5*i + 11, q = -2*i - c - 2*c - 17 for i.
-4
Suppose -3*m = 3*z + 6, -42*m + 18 = -41*m - 3*z. Solve -m*p - 4*n - 1 = -3*n, -p = n - 3 for p.
-2
Let r = 46 + -44. Suppose 0 = r*k - 27 - 19. Solve 4*u + 3*c = -u + k, -2 = -2*c for u.
4
Suppose -2*k + 0*k - 44 = 0. Let q = 22 + k. Solve 0 = -3*t - 4*f + 27, q*f + f = -4*t + 23 for t.
5
Suppose 0 = -3*m + 5*y - 9, 4*m = 4*y - 9 + 5. Solve o - 3*b = -14, o - m*b