t - x. Suppose -n - n = -t. Solve -5*z - 2*c + 6*c = n, 5*z - 5*c + 25 = 0 for z.
-1
Suppose 20 = -0*h + 5*h. Suppose h*f = -x, 0*f + f - 19 = -5*x. Suppose -x*b + 17 = d - 0*d, 3*d = -2*b + 1. Solve -4 = -2*p + 5*w - 1, 2*w = b*p + 3 for p.
-1
Let t be 10/(1 - -1)*1. Suppose -4*s - t*z + 16 = 0, -2*s + s + 4 = 5*z. Suppose 5*q - r = -5*r, 4*q = s*r. Solve 4*b = i - 1, q*i + 3*b + 9 = -2*i for i.
-3
Let v = 26 - 19. Solve v*g = 2*g - z + 6, 3*g = 4*z - 1 for g.
1
Let x be 9/((-90)/4)*-10. Solve 5*l + 10 = -4*o + 21, -x*l = -3*o + 16 for l.
-1
Suppose q - 12 = 4*q. Let w be 14/q*12/(-21). Solve h = y - 1 - 0, 4*y + 2 = -w*h for h.
-1
Let b be 5/1*(-8 + 9). Solve 12 = -3*g + 3*f, -2*g + 0*g = b*f + 1 for g.
-3
Let v be -2 - (2/(-2) - 6). Suppose -5*j = -4*k + v, 25 = 4*k + j + 2. Let p be (-22)/(-2) + -2 + -1. Solve -k*i - 5*b = 5, 2*b = 6*b - p for i.
-3
Suppose 5*s - 2*s = 0. Suppose s - 5 = -t. Solve t*r + 4*u - 11 = 0, 2*r = -5*u + 2 - 1 for r.
3
Suppose q = -0 + 2. Solve -2*c + 5*t = -q - 9, -5*c = -5*t - 5 for c.
-2
Let x(d) = d**2 + 9*d + 15. Let k be x(-6). Let s be (9 + -17)/(1/k). Solve s = 2*a - 4*h, -4*a + 3 = h - 0 for a.
2
Suppose -6*o + 24 = -0*o. Solve o*m - 4*r - 8 = r, 0 = -3*r - 12 for m.
-3
Let w(b) = b**3 + 6*b**2 + 7*b + 7. Let c be w(-5). Suppose -5*x + 3 = 3*z, -2*x - 2*x + 5 = 5*z. Let p = z - c. Solve 2*v = -p*r + 5 + 9, r - 3*v = 0 for r.
3
Let v(f) = -5*f - 5. Let y(d) = -6*d - 6. Let j(u) = -7*v(u) + 6*y(u). Let s be j(-7). Solve 0 = 2*w - 6, 0 = 2*c - 3*w + s + 3 for c.
0
Let z be -21*3/(-9)*1. Suppose z = 4*w - 5. Suppose x - w*x + 6 = 0. Solve 3*p - 2*s + 1 = -7*s, -x*p - s - 5 = 0 for p.
-2
Let k(m) = -m + 2. Let j be k(0). Let q be (j/9)/(1/9). Solve -5*i - 4*c - 20 = 0, -q*c = c for i.
-4
Let t = 8 - 16. Let p = 8 + t. Solve 3*r = -0*r + 2*j + 1, -4*j - 20 = p for r.
-3
Let u = 1 - 1. Solve -3*r - 5*p = -6*r - 7, u = 2*r - 3*p + 4 for r.
1
Suppose -5*q = 5*u - 40, 0*q - 7 = q - 2*u. Suppose -3*g = -4*t + 1 - 5, 0 = q*g - 3*t - 6. Solve 0*f + f - 5*j + 6 = 0, -3*f + g*j + 4 = 0 for f.
4
Let k = -4 + 6. Suppose -3*h = -3*m, -5*m - 7 + 27 = 0. Suppose -h*q + 0*q + 8 = 0. Solve 4*n - j = 5, -k*j - 3*j = -q*n + 25 for n.
0
Let w = -25 - -28. Suppose 5*g - 5 = 3*o, -2*g - 3*o = -13 - 10. Solve w*v = -g*r - 0*r + 23, -4*r = 5*v - 33 for r.
2
Suppose j - 10 = -2*f, -j = -3*f + 3*j + 15. Suppose m - f = -2. Solve 3*i - 1 = -5*c + 6, -4*c - m*i = -8 for c.
-1
Let r(n) = n - 2. Let b be r(6). Let l be (-4)/20 + 41/5. Solve 0 = -o + 3*o + t - l, -b = -o - 3*t for o.
4
Let n(o) = 14*o - 3. Let j be n(1). Solve 5*v + j = -3*w - 9, 0 = -3*v - 3*w - 12 for v.
-4
Let j(z) = -z + 5. Let x be j(0). Let t be (x/10)/((-1)/(-8)). Solve -5*m - 20 = 5*v, 0*m - 2*v = -t*m + 14 for m.
1
Let w(t) = -t + t - 3 - t - 1. Let p be w(-6). Solve -y = y - 3*v + 3, 2*y - p*v = -4 for y.
-3
Let s = 1 + 7. Let w be (-3 - 1) + 21 + -4. Solve -5*q + s = i, -2*q = -q + 4*i - w for q.
1
Let d be (6 + -1)*128/40. Solve 9 = 4*c + 4*o - 3, 2*c - 3*o - d = 0 for c.
5
Suppose -3*n = 3*q - 12, q - 4*q = 3. Solve v = 5*f + 3, f + 8*v - n*v = 9 for f.
0
Let g(z) = z**3 - 3. Let v be g(0). Let y(h) = h**3 + 3*h**2 + 4. Let d be y(v). Solve 0 = -5*m + 8 + 17, -5*w + 35 = d*m for w.
3
Suppose 0 = 7*d - 15*d + 16. Solve -8 = -6*f + 3*f + 4*k, 0 = 2*f - d*k - 6 for f.
4
Suppose -x + f - 7 = 4, 5*x = 4*f - 52. Let d = x - -11. Solve 0 = 2*k - d*b - 1, -8*k - 4*b + 37 = -3*k for k.
5
Let f = 10 + -7. Solve f*v = -12, 0 = 4*d - 2*v - v - 28 for d.
4
Let i = 33 + -30. Solve -2*v + 35 = -5*b, 0 = i*b - 3*v + 10 + 20 for b.
-5
Let r(u) = -u - 2. Let m be r(-4). Let o be (3/(-6) - m)*-2. Suppose -f - 2 = -2*f. Solve 3*j = -f*w + 14, w = -3*w + o*j + 6 for w.
4
Let n(v) = -v**2 - 3*v + 1. Let a be n(-4). Let d be 3 + (a/3)/(-1). Suppose d + 8 = 3*y. Solve 13 = y*q - 3*h + 6*h, 3*h = -3*q + 9 for q.
4
Let k(y) = 6*y**2 + y. Let q be k(-1). Solve 13 = -2*f - 4*a + 1, -f - 18 = q*a for f.
2
Let h(u) = 5*u + 2. Let b be h(-2). Let s be 12/b*(-3 - -1). Suppose 0 = -x - s*x. Solve x = 2*m + 6, -j + 2 = 3*j - 2*m for j.
-1
Let o(k) = -k - 4. Let a be o(-7). Solve 0 = 5*w + a*n, n - 40 = 5*w - 4*n for w.
-3
Suppose -5*j = -24 + 4. Solve -j*z + z + 11 = v, 18 = 2*v + 4*z for v.
5
Let q(l) = 0 - 7*l**2 - 1 + 10*l**2. Let g be q(-1). Let w = 8 + -5. Solve 2*b - 11 = b + g*y, -w*b - 2*y = 7 for b.
1
Suppose 0*l + l - 13 = -4*n, 0 = -l + 1. Let b(t) = 0 + 5 + 2 - 4*t**2 - t + n*t**2. Let d be b(0). Solve -d*c + 2*c = -3*v - 13, c = -4*v + 21 for c.
5
Suppose -5*b = -b - 16, -3*l - 2*b = -56. Suppose 0 = 2*n + 2*d - 8, l = 4*n + 5*d. Solve 4*f - 2*s + 4*s - 4 = 0, f = n*s + 10 for f.
2
Suppose 4*r + 7 = -3*w - 5, 0 = -2*w - r - 3. Suppose w = -m + 4*m. Let j be 0 + 6 + -1 + 0. Solve -a + m - 9 = -l, j*l = a + 29 for l.
5
Let a be 2/(-4) - 153/(-18). Solve 5*w + 8 = i - a, 16 = -3*i - w for i.
-4
Let t(x) = x**3 - 6*x**2 - 5*x - 9. Let q be t(7). Suppose 4*u - 19 = -3. Suppose -3*z + u*z = 10. Solve -2*i + p = -4*p - z, i - q*p - 15 = 0 for i.
-5
Let v(t) = t**3 - 3*t**2 - 5*t. Let q = -28 - -60. Let c be q/6 + 2/(-6). Let a be v(c). Solve -5*p + 20 = -0*i + i, -4*i = -p + a for p.
5
Let l(u) = u**2 + 10*u - 25. Let a be l(-13). Solve -3*v + 4*c = -6 - 4, 0 = -5*v - c - a for v.
-2
Suppose 4*n + n = 15. Suppose n*f = -0*f. Solve -4*u + 4*d - 6 + 14 = f, 22 = 2*u + 4*d for u.
5
Suppose 3*l = -0*l + 15. Let k = 25 + 0. Suppose l*r - k = -0*r. Solve 3*o - 1 = 4*c, -r*o - 3*c = -2 + 10 for o.
-1
Suppose 15 = -4*h - 5. Let g = 12 + h. Solve 2*t + 1 = -m, t - g = 3*t - 5*m for t.
-1
Let q = -10 - -10. Suppose 4*i + 50 = 5*j, 3*j - j - 4*i - 32 = q. Solve 0 = -5*z + 2*b + 16, 2*b - 8 = 2*z + j*b for z.
2
Suppose -v + 23 - 17 = 0. Let w(r) = -r + 6. Let s be w(v). Solve -5*c + 5*l - 30 = s, -5*l + 5 = -0*l for c.
-5
Suppose 7*b - 15 = 4*b. Solve -3*u = -z + 1, -b*z + 7*u - 2*u + 15 = 0 for z.
4
Let y be 1*-4 - (3 + -9). Solve -y*l + 2 = p - 6*l, -5*l - 5 = 0 for p.
-2
Suppose 38 - 6 = 4*g. Let f(k) be the third derivative of -k**5/60 - k**4/12 + 2*k**2. Let t be f(-2). Solve t = 2*n - m + 3*m, 2*n = 2*m - g for n.
-2
Suppose 3*r + 15 = 0, 19 + 6 = 3*d + r. Suppose -c - d = -3*c. Let k be (36/(-30))/((-2)/c). Solve 3*p + 1 - 7 = k*v, 0 = 2*p + v + 5 for p.
-1
Let b = -11 - -13. Solve 5*m - 4*d = 0, -2*m + d = b*m for m.
0
Let z be 2 + (1 - -2)/1. Solve -l - z*h = -5*l + 5, l - 2*h = 5 for l.
-5
Let n(g) = -g + 9. Let j be n(5). Suppose -13 = -j*z + 11. Solve -6 = 4*i - 0*i + 2*s, -i - z = -s for i.
-3
Let k = -9 - -5. Let v = k + 7. Solve 16 = -v*y - s, 0 = -3*y + 5*s - 0*s + 8 for y.
-4
Suppose -7*h + 2*h + 5 = 0. Suppose -j = -4*j + 3. Let x = h - j. Solve x*b - 9 = 3*b - 4*y, -3*b = y - 6 for b.
1
Let h be (0/5 - -2) + 0. Solve -2 = -h*s + 6, 4*i - 24 = -5*s for i.
1
Suppose -2*p - 2 = -3*p. Solve -i - p*s = -0*s - 13, 3*i - 27 = -3*s for i.
5
Suppose -6*x = -x. Let m = 6 - 2. Let v = 35 + -32. Solve x = -c + y, m*y - 3*y = 4*c + v for c.
-1
Suppose 2*k - 13 = -3*k + 3*a, 2*a = 3*k - 8. Solve 0 = 4*f - k*g + 16, 6*f - 10 = f - 5*g for f.
-2
Let d(z) = -z**2 + 4*z + 6. Let g be d(5). Let l = -2 + g. Let a be (-2 - -5) + l + 2. Solve -15 = 5*v + 5*i, -i = 4*v - 1 + a for v.
0
Suppose 0 = -q + 4*q - v - 28, 5*q + 3*v - 28 = 0. Let b = 60 - 57. Solve 5*d + 3*o - 5*o + 18 = 0, b*o - q = -2*d for d.
-2
Let m be 4/3*3/2. Suppose 5*o = m*o. Suppose -2*y + 0*y - 5*f + 21 = 0, -5*y + 5*f + 35 = o. Solve 0 = 3*j - 3*l + 15, -3*j + 4*l = 11 + y for j.
-1
Suppose 0 = -4*o + 8*o - 16. Solve -4*x + 12 = 0, o*n + 7*x - 3 = 2*x for n.
-3
Let s = -56 + 88. Suppose 5*d - 3*d - s = 0. Let x = -13 + 17. Solve 4*h = -q + 6*q + 20, d = -x*h - 4*q for h.
0
Let f(z) = 7 - 5*z + z**2 - 3*z + 0*z. Let t(w) = -w**2 + w - 1. Let o(b) = f(b) + 2*t(b). Let r be o(-6). Solve r*l + 0*l = -g - 25, l + 5 = 0 for g.
0
Let o(u) = -u - 6. Let r be o(-15). Let t = r + 4. Solve -4*n - 4*p - 8 = 12, t = 3*n - 4*p for n.
-1
Let k be (-2)/(-4)*(-16 + 16). Solve 4*g - 2*m = -0*g + 12, k = -3*m for g.
3
Let r(v) = 5*v**2 - 24*v - 1. Let w be r(5). Solve c - 3*c - 3*p + 6 = 0, 0 = c - 2*p + w for c.
0
Suppose 0 = 3*l - 0*l - 102. Let f = -24 + l. Solve 3*a = -5*g + 4*g - 11, -f = 2*a - 2*g for a.
-4
Let z(w) = -14*w - 2. Let i be z(