p be s(-3). Solve k - 4*c + p*c = 11, -k - 2*c = 1 for k.
3
Let t be (-2)/(-7) - 44/7. Let d be (-6)/(-14) - t/(-14). Solve d = -z + l + 4, -3*z = -0*z + l - 12 for z.
4
Let p = 14 - -7. Solve -4*z - 5*h - p = 0, -5*z - 2*h - 2 = 3 for z.
1
Let b(f) = 2*f**2 + 6*f + 4. Let y(k) = k - 18. Let t be y(13). Let p be b(t). Solve 0*g - 5*n + 22 = -g, -4*n = -4*g - p for g.
-2
Let t = 34 + -32. Solve -p + 14 = -n + t*p, 18 = -3*n + p for n.
-5
Suppose 3*u + h = -93, 2*u + 0*h = 4*h - 76. Let m = u + 59. Solve -2*f - 5*k + m = f, 5*k - 35 = -5*f for f.
4
Let v = -31 + 22. Let y(n) = n**2 + n + 4. Let w be y(-2). Let a be (v/w)/((-2)/12). Solve x + 2*r - 3 = -4, -3*x = 3*r + a for x.
-5
Suppose 2*h + c = 14, 5*h - 1 = 4*h + c. Solve 3*a + 0*p = p - 7, a = -h*p - 13 for a.
-3
Let w be 2/(-6) - (-1)/3. Solve 10 - 25 = 2*s - 5*t, -5*s - 3*t + 9 = w for s.
0
Suppose -61*c = -65*c + 16. Solve 5*z = z - 4*m - c, 0 = 4*z - 3*m + 4 for z.
-1
Let l(m) = 5*m + 3. Let d(h) = -11*h - 7. Let g(i) = 4*d(i) + 10*l(i). Let t be g(-3). Let n = 4 - t. Solve -4*p + 6*w - n = 2*w, -5*w - 20 = 4*p for p.
-5
Let p(b) = b + 47. Let l be p(-24). Solve i + 3*q + 4 = 0, 5*i - 3 = q - l for i.
-4
Let z = -4 - -7. Let c be 0 - (0 + 0 - 3). Let h be 2/3 - 2/c. Solve -4*x = 3*k - 4, h = -k + 7 - z for x.
-2
Suppose 2*f + 4 = 3*z, -4*z + 24 = 4*f - 2*z. Solve f*i = 2*c + 3*c + 41, 5*i = 20 for c.
-5
Suppose -6*l - 3 = 3*u - l, 2*u + 7 = -5*l. Suppose a - 4*x + 2 - 4 = 0, 0 = -u*a + 2*x + 8. Let g = a - -6. Solve 2*m = 4*r + g, -m + 3*r = 2*r for m.
-4
Suppose -q + 9 = 4*t, 0*t - 5*q = 2*t - 9. Solve -3*u = -v + 3*v + 4, -t*u - 5*v + 1 = 0 for u.
-2
Let h be (6/(-4))/((-7)/14). Suppose -h*r = 2*r - 10. Let w be 4 + -2 + r + -2. Solve 2*z + w*o + 3*o = 18, -z + 15 = 4*o for z.
-1
Suppose 5*y = 11*y. Solve 5*g + y*f = f + 24, 5*f = -20 for g.
4
Let o = -5 - -10. Let s be (5 - 0)*9/(90/(-4)). Let c = o - s. Solve -l + 12 = -4*r, 0 = -5*l + 3*r - c - 1 for l.
-4
Let p(n) = -n**2 - 7*n + 6. Let j be p(-6). Let c = 17 - j. Solve -g = -2*b, 0*b = -2*b + c*g + 8 for b.
-1
Suppose 2*k - w - 11 + 5 = 0, -2*k = -2*w - 4. Solve -d - 9 = k*y, -y + 0*d = d for y.
-3
Let j be -3 + -3 + 5 + 4. Solve c = 0, b - j*c = -4 - 1 for b.
-5
Let i be 2 + -2 + (-1 - -20). Let f = -19 + i. Solve u + 4*y + 7 = -f*u, 0 = -y - 1 for u.
-3
Suppose -4*c = -o - 2*c - 2, 2*c + 6 = 0. Let k = -4 - o. Let n(u) = -u**3 + 6*u**2 - 4*u + 1. Let t be n(4). Solve w = 4*w + 5*d + t, -d - 8 = -k*w for w.
1
Let f = 30 + -30. Solve w = f, w = -3*a + 3 + 3 for a.
2
Suppose 5*i + 5*s = 25, -3*i = 2*i + s - 17. Solve 2*n + 4*q = 8, -3*q + 4 = n - i for n.
-2
Suppose -3*c + 12 = 3*y, -7 = 2*c - 5*y + 6. Let h = 1 + c. Solve -d + h*w + 9 = -2, -5*w - 28 = -3*d for d.
1
Suppose 8 = 5*f - f. Solve -3*d - 7 = 4*q, -2*d - f*q = -5*d - 1 for d.
-1
Let h be (-1 + -1)*-6*1. Let b(a) = a**2 + 7*a - 2. Let c be b(-6). Let z = h + c. Solve -3*k = -9, -18 = 5*q - 4*k + z for q.
-2
Suppose 10 = 2*r - s, 2*r - 2*s - 17 = -3. Suppose -o - 2 = -0*o. Let f = 3 + o. Solve 3*u = 4*z - f, u - 2*z + 8 = -r*u for u.
-3
Suppose 10 = -5*m + i + 30, -4*m = 4*i - 16. Suppose 1 = -m*k - k + z, 2*k + 1 = z. Solve -4*a + f - 17 = 0, 3*a + 2*f - 1 = -k*a for a.
-3
Let h = 1 + 1. Suppose -3*w - q = -6, -h*w - q - 2*q = 3. Solve 0 = 2*x - 4*x + n + 4, 3*x - w*n - 3 = 0 for x.
3
Let t be -4 + ((-48)/(-4))/2. Solve -4*x = -3*v - 13, x + 12 + t = -5*v for v.
-3
Let t(k) = -k + 1. Let i be t(-1). Suppose -i*f = f - 21. Solve -5*h + f = -2*p, 0 = 5*p - h + 3 + 3 for p.
-1
Suppose 0 = -2*u - 5*m + 20, 0*u + 3*u + m = 17. Suppose -h - 18 = -4*h. Solve u*s = -3*d + 16, 3*d + 3*s + 0*s = h for d.
-3
Let o(z) = -4*z**3 + 1. Let w be o(-1). Let v = w - 2. Solve 0 = v*f + 3*k + 6 + 9, f = -2*k - 9 for f.
-1
Suppose 4*f + 0*f + 23 = c, 2*c - 2*f = 16. Solve -5*p + 12 = -c*m, m + 4 = -p + 2*p for m.
-4
Let h(a) = -a**2 + 7*a - 2. Let u be h(7). Let k be 8/48 - u/(-12). Solve 2*o + 12 = -k*s - 2*s, -2*s = -3*o - 13 for o.
-5
Suppose 36 = 10*l + 6. Solve -12 = 3*h, -5*w + 3*h = -l*w - 4 for w.
-4
Let v be 1*(2 - 1) + 3. Suppose 0 = 2*d + h + 23, -5*d + 4*h - 100 = -10. Let n = d - -23. Solve o + 2*o + 6 = 5*y, v*o - y = n for o.
3
Let i = 9 + 2. Let m = i - 5. Solve s + 18 = 5*o, -2*o - m*s + 3*s + 14 = 0 for o.
4
Let y be (3/2)/(15/(-80)). Let b be (-5)/2*(y - 0). Solve u - 7 = -2*a, 5*a = 5*u + b + 5 for u.
-1
Let x be (-42)/4*4/6. Let d be 0 + -2 - 5*x. Solve 4*h = -5*k - d, 0 = 3*h + 2*h + k + 15 for h.
-2
Suppose -3 = 3*b - 5*c - 0, -3*b + c + 9 = 0. Solve b*a + 1 = -5*w, 0*w - w + a = 2 for w.
-1
Let x be ((-16)/40)/(1/10). Let k = 4 + x. Solve k = w - 2*j - 3 + 2, 3*j - 9 = 5*w for w.
-3
Let b(l) = 3*l + 1. Let i be b(-2). Let c be (-37)/i + 2/(-5). Suppose 2*d + c - 15 = 0. Solve -6*h + 10 = 5*q - h, -d*h - 4 = 0 for q.
3
Suppose 3*k = 4*y - y + 18, -k + 3*y + 14 = 0. Let o = -1 + 3. Solve 8 = l - o*n, k*n - 4 = -0*l - 2*l for l.
4
Let u be 6/12 + (-3)/(-2). Suppose -3*g - 11 = h, 3*g + 3*h + u = -1. Let f be (g/(5/3))/(-1). Solve 3*i + f*l - 21 = 0, 0*i + 2*i = l + 2 for i.
3
Suppose u - 40 = -3*u. Let f = 13 + -8. Solve -b = -4*n + 14, n = b + f*n - u for b.
-2
Suppose 287 - 92 = 3*i. Suppose -16 = -v + m, 3*v = -v + 3*m + i. Let y be (-164)/(-14) - 2/(-7). Solve -4*c = y, -3*o = -2*o + 5*c + v for o.
-2
Let w be 2/(-4)*(6 - -6). Let v(t) = -t + 8. Let n be v(w). Solve -5*q - 3 = -2*z + n, 5*z + q + 25 = 0 for z.
-4
Suppose 0 = 2*k - 7 + 1. Solve 0 = -4*q + h + 3*h - 4, -15 = 3*q + k*h for q.
-3
Let y = -1 - -4. Suppose -c + 0 = -4. Suppose -23 = -4*i + 2*t + y, -c*t = i - 20. Solve k - 23 = -5*b, b - 4*k = -0*k - i for b.
4
Suppose 4 = -k + 13. Let t be (8/(-6))/((-3)/k). Suppose 0*i + x = i - 3, -i = 3*x - 3. Solve -l = i*l, 3*l - 8 = -t*z for z.
2
Let c be (-510)/20*2/(-3). Suppose 2*i - 17 = 3. Solve -v = -5*b + c, -3*v = -5*b + 31 - i for v.
-2
Let z = -5 - -9. Suppose 8 = x + 2*d, z*d + 5 = 4*x + 3*d. Solve -9 = -3*t - x*m + 3, t - 2*m = -4 for t.
2
Let k = -30 - -32. Solve 5*l = -k*x - 21, -3*l + 4*x + 0 = -3 for l.
-3
Suppose -10 - 23 = -11*b. Solve b = -5*n - q, -5*n + 7 = -2*q + 1 for n.
0
Suppose -3*u = g - 4*u - 5, -3*u = 3*g - 21. Solve -2*w = 3*z - g, 3*z - 2*z + 2 = -2*w for w.
-3
Let a = -68 - -70. Solve c + m = -a*m - 17, -4*m = 16 for c.
-5
Suppose -3*o + 11 = -1. Let q(s) = -s - 1. Let h be q(-2). Suppose n = -y + h + 1, -y + o = -n. Solve 0 = w - 3*x - 10, 5*x = 5*w + y*x + 15 for w.
-5
Let k be 8/3*(-36)/(-16). Suppose -3*g + g = -k. Solve 0 = -3*z - 15, -g*z = 5*x - 3 - 2 for x.
4
Let f(q) = -q + 1. Let s be f(-9). Let z = s - 7. Let y be ((-17)/3)/(z/(-9)). Solve -4*r = -o - y, 5*r - 3*o = 2*o + 10 for r.
5
Suppose -2*h = -4*v + 18, -3*h + 4*v - 17 = -0*v. Let s be (5 - 1)/(1/h). Suppose 3*m = s*m - 2. Solve 0 = 2*a + m*a - 20, 0 = 3*d + a - 5 for d.
0
Let l = -14 - -16. Solve 3*w = -w + 5*o + 16, 0 = -w - l*o + 4 for w.
4
Let d = -23 - -53. Suppose 30 + d = 5*g. Solve 4*a = 5*y - 36, 10*a + g = -2*y + 5*a for y.
4
Let r(s) = -s**2 + 18*s - 12. Suppose 0*t - 2*t = -34. Let g be r(t). Solve o + 4*i = 2*o - 12, g*o = -i + 18 for o.
4
Let d(g) = -g**2 - 6*g + 10. Let t = 4 - 11. Let r be d(t). Let b(w) = -w**3 - w**2 + 3*w - 3. Let p be b(-3). Solve -3*h + 3 + p = -2*c, -3*c + r = h for h.
3
Let n be (39/12)/((-7)/(-28)). Suppose -4*h = -k - 36, h - 5*k + n = 3. Solve 0 = -4*w - r + h, -3*w = 4*r - 3 + 2 for w.
3
Suppose 3*n + 4*m + 1 = 0, 2 - 6 = -4*n - 4*m. Solve 0 = n*r - 3*k + 26, 3*k - 14 = -r + 3*r for r.
-4
Let b = -5 - -7. Solve b*u = p - 9, -p = -4*u - 2*p - 15 for u.
-4
Let u be (-4)/(-8) + 1 + (-21)/(-6). Solve 5*r = u*l - 20, l = 5*l - 16 for r.
0
Suppose -4*c + 9*c - 20 = 0. Suppose -2*k = -3*t - k + 7, -c*k + 16 = -t. Solve -5*x = -5*u + 20, 3*x + t*u + 5 = -14 for x.
-5
Let a = 2 + -3. Let r be (a/(-2))/(4/40). Solve 2*k = -5*m - 6, 3*m = -m - r*k - 15 for m.
0
Suppose -3*n - 12 = -5*o + 2*o, -4*o = 5*n + 38. Let s(m) = m**2 + 6*m + 6. Let c be s(n). Solve -2*l + 8 = -c*l - 2*q, 3*l + 11 = -4*q for l.
-1
Let o be (-3)/(3/(-4)) - -1. Let j(v) = -v**2 + 10*v - 7. Let d be j(9). Let r = 0 + 0. Solve 3*g = -d*p - 13, -5*g = -o*p - r*p - 20 for p.
-5
Let l = 4 + -4. Solve l = p - 0*p + 3*z + 4, -2*z - 14 = -5*p for p.
2
Let u = -32 + 