3
Suppose 2*p - 3*k = 7, 4*p = 3*k + 4 + 13. Let n = p - 1. Solve 3*i + 3*x + 6 = 0, -12 = 4*i + 2*x - n for i.
-2
Let n(x) = x - 5. Let s be n(7). Let u be s + -1 + 2 + -1. Solve -3*b = u*v - 1, 6*v - 3*v + 2*b - 4 = 0 for v.
2
Let q be (3 + 3)*5/(-2). Let c be (5/4)/((-1)/4). Let j = c - q. Solve 0 = 3*o + 15 - 0, 0 = -2*d - 4*o - j for d.
5
Let t be 6/3 - (3 + -1). Solve 2*c - 5*w = -3*c - 10, t = 3*c - 4*w + 3 for c.
-5
Suppose -2*d - 15 = -39. Solve -o - 3*v = -4, -v = -o + 4*o + d for o.
-5
Suppose -5*h - 25 = 0, -35 = -2*c + 4*h + h. Solve 0 = c*n + 4*p + 32, 5*n - 2*n - p + 9 = 0 for n.
-4
Suppose 2*s - 35 = 3*s. Let p be (-150)/s - 2/7. Solve -p*k = -5*b + 5, -k + 10 = 3*k - 2*b for k.
5
Suppose 11*r = 9*r + 6. Solve 5*f - r*l - 17 = -8, -4*l - 7 = -5*f for f.
3
Let w = 4 - 1. Solve -2*y = 3*i - 10, -w*y + 15 = i + 3*i for i.
0
Suppose -15*a - 1 = -16*a. Solve -2*i + 14 = -5*r, -r - a = 2*i - 3*i for r.
-4
Let u be (-1)/(21/(-6)) + 561/21. Solve 0 = 4*k + 3*s - 6, 4*k - 4*s - u = -7 for k.
3
Suppose 0 = -4*r - 2*f, 12 = 2*r - 2*f - 0*f. Suppose d = -2*y + 7, 3*y - d = -2*y + 28. Solve -y*c + 3*o - 21 = 0, -o - 4 = -0*c + r*c for c.
-3
Let i = -2 + 14. Let j be 106/22 - 6/(-33). Solve 5*d - j*l + 17 + 13 = 0, 0 = -5*d - 4*l - i for d.
-4
Let l = -102 - -118. Solve -3*k - 4*x - l = 2, 6 = -2*x for k.
-2
Suppose 7*q = 6*q + 22. Suppose -3 + 5 = a. Suppose -4*s = z - 87, -q = -a*s + 3*z + 25. Solve -f = -5*d - 18, -4*d - s = -0*d + 3*f for d.
-4
Let i(l) = l**2 - 7*l + 8. Let j be i(6). Suppose -j*n = -n - 5. Solve n*p + 2*z = -3*z - 40, 2*p - 5*z = 12 for p.
-4
Suppose 5*g - 31 = -o, -4*o + o - 3*g + 33 = 0. Suppose k - 6 = -k - 2*h, 2*k = 5*h - 29. Let d be (k/(-3))/((-1)/(-3)). Solve -2 = -d*z, 2*y - z = y - o for y.
-5
Let d be (-2)/(2*1/13). Let o = 18 + d. Suppose o*c - 6 = 24. Solve -4*t = -2*i + 8, -5*i - 13 = -5*t + c*t for t.
-3
Suppose -3*o + 3*j = -12, 3*o - 3*j - 22 = -2*o. Solve y + 3 = d, 5*y - o*d + 17 = 2*y for y.
1
Suppose 4*r + 0 = 88. Solve -4*p = -2*c - 0*p - r, c + 3*p = 14 for c.
-1
Suppose 4*q - 4 = -2*w, -2*q + 23 = 3*q - 2*w. Suppose q*t - t = 0. Solve 4 = -2*b - 3*i - 0, t = -b + 4*i + 9 for b.
1
Let z = -4 - -6. Let j be (-22)/(-55) + 18/5. Solve 4*r + j*l - 10 = z*l, -2*r = -4*l for r.
2
Suppose -96 = 54*j - 58*j. Solve 3*w + 2*d = -2*w - j, -d = 4*w + 18 for w.
-4
Suppose -2*d = -6*d + 8. Suppose d*b = 3 + 1. Suppose 2*f + 14 = 3*t, 7 = -5*t + b*f + 25. Solve -3*w - 6*c + 13 = -2*c, t*c - 2 = 0 for w.
3
Let h(r) = -r**2 + 6*r + 3 - r**2 + 2 + 3*r**2. Let o be h(-6). Solve -10 = 2*j - 3*l, 0*j + 3*l + 4 = -o*j for j.
-2
Suppose 4*k - 4 = 52. Let u(b) = b - 3. Let g be u(8). Solve h + h + k = g*q, 2*q - 2 = -h for h.
-2
Let r = 18 + -39. Let s be (r/(-4))/(4/16). Suppose 5*x + 2*u = 11, -5*x + 3*u = -0*u - s. Solve 0 = 2*a - 6, 5*l - 2*a + 6*a + x = 0 for l.
-3
Let n = 137 - 137. Solve -4*m + 2*y = -m, m + 2*y + 8 = n for m.
-2
Let x(y) = -y**2 + 4*y - 1. Let c be x(3). Suppose 2*h = -4*t + 2, -c*h - 4 = -t - 6. Solve -5*f - 20 - h = -2*u, 0 = u + f for u.
3
Suppose 2 = 2*t - t. Suppose 4*b + 3 = -c, t*c + b - 6*b - 20 = 0. Solve 5*w + 4 = 2*d, 5*d = 5*w - 0*d - c for w.
-2
Suppose 1 = 3*o + 4. Let j(k) = k**2 - 2*k - 1. Let l be j(o). Suppose 8 = l*b, -w = 2*w - b - 2. Solve c - 3*f + 13 = 0, -2*f - 6 = c + w*c for c.
-4
Let c(w) = 4*w**2 + 23*w + 7. Let f be c(-6). Solve 5*k - 2*p = -f, 0*k - 2*k - p = 7 for k.
-3
Suppose 0 = -q - x - 3*x + 5, -q - 3*x + 4 = 0. Solve -4*u - 5*w + 18 = 0, 2*u - w - q = 1 for u.
2
Suppose 2*r = -2, -b + 4*r = -1 - 5. Suppose -b*w - 3*l = -6, 4*l = 6*l. Suppose 16 = 3*q + q. Solve q*t + w*d - 7 = 0, 5*d - d - 24 = 2*t for t.
-2
Let b be (48/4)/((-3)/9). Let z be (-1)/(b/16 + 2). Solve 2*p - 16 = -z*t, -3*t - 5*p = -0*p - 5 for t.
5
Let b = 3 + 2. Solve d + 21 = -3*l - 2*d, 0 = 3*l - b*d - 3 for l.
-4
Let x be (2 + 7/(-3))*(-18 - -12). Solve -z = 3*i, 0 = x*i - 2*z - 2*z - 14 for i.
1
Suppose 0 = 4*d - d - 8*d. Solve 0 = -5*c - 5*p - 10, 2*c + c + p + 6 = d for c.
-2
Suppose 2*k = 4*b - 4, -3*k + 24 = -0*b + 4*b. Solve 0 = 3*q + 2*p + k, -q = -3*q - 4*p - 16 for q.
2
Let y(p) = 0 - p - 4 + 3. Let d be y(-4). Suppose o + 16 = d*i, i + 2 = -3*o + 14. Solve 0 = q - 5*c + 9, -i*c + 2*c + 3 = -5*q for q.
1
Let b be (4 - 4)/(2/1). Suppose 2*w - 10 = -b. Solve d - 3*d = -3*i + 10, 3*i = -w*d - 4 for d.
-2
Suppose 5*f = 10, 9*w = 4*w + 5*f + 10. Suppose w*a = a + 15. Suppose -d = 4*l - 13, 2 = -a*d - 13. Solve -3*z = l*h - 5*h + 3, -3*z = -5*h + 3 for z.
-1
Suppose 2*f = 3*n + 15, -4*n = -f - 2*f + 21. Let z be 2/(-4) + (-3)/6. Let l = f + z. Solve 3*c = 3, -u - l + 8 = 2*c for u.
4
Suppose -10 = -6*g + 8. Solve -6 = 2*l - 5*p, 2 = 4*l + g*p - 12 for l.
2
Suppose -2*l = 5*p + 3*l, -3*l = -4*p + 21. Solve 0 = -q - p, 4*b - 2*b = 5*q + 15 for b.
0
Let t be 1/(1/7 + 0). Let m be (-2)/t - (-4)/14. Suppose 3*f - 11 = -2. Solve -4*j + m*j - f*h + 5 = 0, -3*j + 10 = h for j.
5
Let g be -2*(1 + 0)*-2. Solve q + g*k + 6 = 0, -q + 4*k + 12 = -k for q.
2
Suppose -3*a + 5*p = -50, 7*a - 6*a = -4*p - 6. Solve -2*l - 2*g = a, 3*l + 4*g + 24 = -2*l for l.
-4
Let c = 21 + -18. Solve 4*n + 31 = -c*x, 0 = 3*x - 4*n - 1 for x.
-5
Let a be 33/9 - 3 - (-39)/9. Solve 3*m + 2*m + 5*p = -a, -2*p = -m + 11 for m.
3
Let l(r) = r + 9. Let b(s) = s + 8. Let m(k) = -7*b(k) + 6*l(k). Let i be m(-3). Solve 3*q - 4*q - i = 0, -2*c - 9 = 5*q for c.
-2
Let v be 2/(-6)*((-6)/2 + -3). Solve v*w - 11 = 4*i + 3*w, 3*w + 5 = 2*i for i.
-2
Let n be (-1)/(-2) - (-5)/2. Suppose w - n = -0*w. Solve 4*h - w*k - 1 = 5*h, -4*h - 3*k = -14 for h.
5
Suppose -12*x + 8*x + 48 = 0. Solve 0*j - x = -3*j, -2*m + 2*j = 12 for m.
-2
Suppose -7*c = -9*c + 4. Suppose 0*o - 2 = -o - 3*u, -o + c = -4*u. Let i = 12 + -3. Solve 0 = 2*n + 3*j + 11, o*n + i = -4*j - 3 for n.
-4
Let m be 18 + -12 + -5 + 2. Suppose -3*v = 5*x - 8 - 19, 3*x - v - 19 = 0. Let a(g) = g - 1. Let f be a(x). Solve -o - 2*o = 2*h - m, f*h - o + 18 = 0 for h.
-3
Suppose -5*p = 15, -3*p = 6*u - 2*u - 3. Let b be (-4)/5 + 568/(-40). Let a = b - -15. Solve 0 = 4*z + 12, a = u*m - z + 6*z + 21 for m.
-2
Let t(r) = r**2 - r + 135. Let m be t(0). Suppose 40 = -5*p + 5*z + m, -2*p = z - 53. Let i be (0 - 2)/2 + 3. Solve -x = -4, -6*a + i*a + 3*x - p = 0 for a.
-3
Suppose -1 + 26 = 5*k. Solve 2*h = -4*i - 10 - 4, -k*i - 1 = -3*h for h.
-3
Let m be (-68)/(-6) - (-1 + 5/15). Solve -r + 2 = -2*g - 2, -4*g = 3*r - m for g.
0
Let w(b) = -b**2 + 7*b + 5. Let r be w(7). Suppose r*l - 33 - 7 = 0. Solve 5*j - 16 = -4*d, -5*j - l*d + 15 = -3*d for j.
4
Suppose 5*q - 30 = 15. Suppose 7*m - 4*m - q = 0. Solve l - 4 = -m, 2*s - 4*l - 6 = 0 for s.
5
Let o = -71 + 76. Solve -2*t - t - o*u = -4, 5*t - 4*u - 19 = 0 for t.
3
Let x be (-5 - -3)*(-2)/2. Let g be (6/(-4))/((-9)/24). Suppose 3*b - x - g = 0. Solve b*z + 18 = 3*z + 5*m, -2*z + 2*m = 0 for z.
3
Suppose 0 = -5*j - 0*g - 2*g + 44, -g = -3*j + 22. Let v = 12 - j. Solve 0*k - 16 = -v*k, 3*x - 16 = -k for x.
4
Suppose 0 = v - 1, -5*p = -v + 5 - 24. Solve -3*j = -4*a - 21, 0 = -p*j + 3*a - 8 + 29 for j.
3
Let w(m) = m**2 - 6*m - 2. Suppose 2*z - 3 = k, 2 = 2*k + 2*z - 4. Let a be (1 + -1 + k)*7. Let p be w(a). Solve 0 = 2*g - t + 1, g - p = -t + 2 for g.
2
Suppose 21 = -14*a + 21*a. Let q(k) = -2*k - 4. Suppose s + 3 = -0*s. Let j be q(s). Solve 6*f - 2*o - a = f, j*f - 6 = 2*o for f.
-1
Let a be 1/5 - (-38)/10. Solve a*o - 25 = 5*u, 0*o - 4*o - 2*u = -18 for o.
5
Let t = 45 - 43. Solve -n + z - t*z = 2, 4*n - 5*z = -8 for n.
-2
Let f be (-2 + (-3)/(-1))*-1. Let k be -1 - 3 - f - -8. Solve 3*s - n + 15 = 0, s + k = 2*n - n for s.
-5
Let f = -14 - -24. Suppose 0 - f = 5*b. Let z = b + 6. Solve z*a = 5*u - 7, -u = a - 2*a - 1 for a.
2
Let a be 1/(-2 + (-20)/(-8)). Suppose 5*y - i - 25 = 0, 0 = 4*y + y + a*i - 10. Solve -4*x = 0, p + 5*x - y = x for p.
4
Suppose 2*p - p = 3. Suppose -5*u + 7 = -p. Suppose 3*d = -4*a + 15, -4*a + d + 4*d - 25 = 0. Solve 5*l = -u*v - v + 14, a = -5*v - l + 16 for v.
3
Let k be (0/(-1))/(16 + -15). Solve 0 = 3*s + 2*j - 1, k = -3*s + 3*j - 2*j + 13 for s.
3
Suppose 2*s = s + 2. Suppose 3*n - q - 19 = 0, -n - s*q = n - 26. Let r(i) = -2*i - 9. Let f be r(-6). Solve n*l - 22 = 3*l + f*o, -4*o - 16 = 0 for l.
2
Let t