1 - k. Solve -3*r = 4*y - 7, -d = -2*r + 2*y + 7 for r.
5
Suppose 3*r - 4 = r, 4*y - 4*r + 4 = 0. Let u = 32 - 27. Solve 4*s - 6 = -u*n, 5*n + 11 = y for s.
4
Let k = -3 + 5. Solve w + w = -k*c - 2, w - c + 7 = 0 for w.
-4
Suppose 0*j + 3*j = 0. Suppose -60 = -2*n + n. Let c be (-8)/n + (-32)/(-15). Solve -4*a + 35 = 5*i, c*i + j*i - 16 = -2*a for i.
3
Suppose 0*u + 19 = 3*b + u, 0 = 5*b - 2*u - 50. Suppose 0 - b = -o. Solve 5*t - 5*r = -0*t, 5*t = r - o for t.
-2
Suppose 0 = -5*t + 5*h - 2*h + 60, 0 = 3*t - 4*h - 47. Solve -2*g = -4*c + 3 - t, -4*g - 12 = -2*c for g.
-5
Suppose -2*x + 15 = 3*x. Suppose x*q = -3 + 9. Solve 0 = 2*p + q*g, -2*p = -2*g + 6*g + 6 for p.
3
Let d = -4 + 8. Suppose d*a - 6 = a. Solve -3*z - 2*m + 9 = 0, -3*m = -2*z - a*m - 1 for z.
1
Let g be 2 - (-7 - -1)/(-3). Suppose -2*k + 5*l = 8, k + 0*k - 2*l + 3 = 0. Solve 16 = 4*m + 4*u, g*u - u = k for m.
5
Let r be (2/(-4))/((-1)/8). Suppose y + 6*p = 3*p + 14, -r = -2*p. Let q(i) = -i + 1. Let g be q(-1). Solve 0 = -2*t + y, 0 = -z - g*t + 10 for z.
2
Suppose 0 = -5*r + 5, 5*r - 5 = -5*m + 2*m. Solve m = -5*g - 5*w + 20, 5*g - 21 = -3*w - 1 for g.
4
Let y = 21 - 19. Solve y*x = 10, 3*o + o = -4*x + 8 for o.
-3
Suppose -2*f - 5*u - 18 = -1, 2*u + 10 = 0. Suppose i + 9 = f*i. Solve -i*o - 4*x - 3 - 3 = 0, -5*x = 0 for o.
-2
Suppose 0 = -2*r - 2*n + 16, 5*n = 2*r + 9*n - 16. Solve -4*v - 11 = 3*f, -3 = 3*v + 5*f + r for v.
-2
Suppose 3*u - 2 = -j + 1, j - 7 = -2*u. Suppose j = m + 2*m. Solve -2 + m = -3*i - 3*d, 2*i = d - 8 for i.
-3
Suppose -b = 1 - 4. Let p = 5 - b. Solve p = -3*o - s - 9, 10 = 5*o - 4*s for o.
-2
Let a be ((-4)/6)/(8/(-60)). Let f be ((-4)/a)/((-8)/40). Solve -8 = 5*o + z, 0 = -o - 2*o - z - f for o.
-2
Let c(f) = 2*f**2 - 12*f + 3. Let a(t) = t**2 - 6*t + 2. Let z(k) = 7*a(k) - 4*c(k). Let p be z(6). Solve -7*u + w = -2*u - p, 4*u - 2*w - 4 = 0 for u.
0
Let u = 6 - 10. Let p be (6/u)/((-7)/14). Solve -p*k + 6*a - 21 = a, 4 = -5*k - 2*a for k.
-2
Suppose 33*u - 20 = 29*u. Suppose -3*s + 3 + 3 = 0. Solve u*t - 21 = s*r, -6*r + 3*r - 12 = -t for r.
-3
Let w(p) = p**3 - 7*p**2 - 7*p - 6. Let a = -12 + 20. Let s be w(a). Suppose -t = -5*l - 6*t + 15, -s*l - t = -5. Solve -z - l*x + 6 = -3*z, 2*z = -x - 9 for z.
-4
Let i be 84/49 + ((-48)/(-21) - 2). Solve -2*p + q + i = 0, -2*p - 3*p = -q - 2 for p.
0
Let v = 5 - 1. Let x(r) = -r**3 + 4*r**2 + 5*r + 5. Let d(u) = -4*u - 3. Let m be d(-2). Let a be x(m). Solve 2*i + 3 = y, -v*i = -a*y + 2*y + 3 for y.
-3
Suppose 0 = 5*j + w - 21, -7*j - 5*w = -2*j - 25. Solve 4*x + 2*v = -14, -28 + 11 = -3*x + j*v for x.
-1
Suppose 4*m - o - 22 = 0, 3*m - 8*o + 4*o = 23. Let a(s) = s**2 + 8*s + 9. Let f be a(-6). Let k = 1 - f. Solve -d = -2*c + 9, 0 = m*d + 3*c - k*c for d.
1
Let o(z) = z**2 + 6*z + 2. Let k be o(-6). Suppose 0 = k*i - 15 + 1. Solve -i*q + 25 = -2*q, q = -t for t.
-5
Suppose -10 = -4*q + 10. Let h be (q + (2 - 3))/2. Solve 0 = -2*d - h*d + 3*o + 20, 3*d - 3*o - 15 = 0 for d.
5
Let i(y) = 69*y + y**2 - 66*y + 1 + 2. Let z be i(-5). Solve 5*w + z = 2*c + 2, 0 = 2*c - 6 for w.
-1
Suppose 2 = 3*i - 2*i + 2*p, 0 = 3*p. Suppose 0 = 2*l + 3*l. Solve l = -y + 2*q + 10, -1 = 2*y + q + i*q for y.
4
Let t(f) = -f - 11. Let n be t(-5). Let o(k) = k**3 + 5*k**2 - 8*k - 7. Let g be o(n). Solve g*v + 6 = -2*s, 2*v - 6*v = s + 3 for v.
0
Let v = 21 - 15. Solve 3*p = -v, p = 5*q + 4*p - 4 for q.
2
Let t(x) = x + 7. Let v be t(-5). Suppose 16 = -3*s - v. Let l = 2 - s. Solve -4*u + 4*y = l, -16 - 8 = 4*u + 4*y for u.
-4
Let d(s) = -s**3 + 8*s**2 + 4. Let h be d(8). Solve g - 5*m - 16 = 0, -13 = -2*g + g + h*m for g.
1
Suppose 2*o = o - k - 6, 2*k + 8 = 0. Let f be (-2 - 10/4)*o. Suppose 4 = b - 4*z, -4*b + 2*b - 5*z = -8. Solve s + 16 = 4*h, f*s - 4*s - b = -h for h.
4
Let o be (-15)/(-10) + (-9)/2. Suppose -4*k = 3*c - 40, 2*k = 4*c - 6 - 18. Let t = o + c. Solve r - 1 = -v, 3*v = 2*v - t*r + 17 for v.
-3
Suppose 0*r = 4*r. Suppose 20 = -r*a + a. Solve -u - 2*u + 3*i = 15, -2*u = 4*i - a for u.
0
Let c(q) = q - 3. Let g = 2 - -4. Let d be c(g). Solve -h + 2*h - 3 = -5*u, 0 = d*u + 3*h - 9 for u.
0
Let c be (-5*3)/(3/(-4)). Suppose -8*s - c = -10*s. Let q be 4/(-14) + 44/7. Solve q*l - s = l, 10 = u + 4*l for u.
2
Let d = 13 - 11. Solve -3*x = -5*a + 29, 4*x + 2*a + 2 = -d for x.
-3
Suppose -4*j + 0*j + 3*y = 4, j - 14 = -3*y. Suppose b - r + 4*r = 27, 2*b + 4*r = 54. Suppose 3 = 3*w - b. Solve -h + 5*h + j*n = w, 2 = 5*h - n for h.
1
Suppose 0*t + 3*h - 20 = -2*t, -2*h = -3*t + 4. Let o be 14/t + (-2)/4. Solve 22 = -3*z + 4*r, 8*z + o*r = 3*z + 2 for z.
-2
Let p = 3 - -2. Let d be 9/(-18) - (-2)/4. Solve 5*n = 4*x + 6, 3*x = -d*x - n + p for x.
1
Suppose -3*n + 23 = 5. Let t = n - 0. Solve 3*b = 5*q + 6, 2*q - t*q - 18 = 2*b for q.
-3
Let a = 2 + 1. Let b = -76 + 112. Suppose 2*s - b = -s. Solve -1 = r - 3*h, h + s = -2*r + a for r.
-4
Suppose -5*w + 97 - 72 = 0. Solve -5*v + w*f + 5 = -5, f = 1 for v.
3
Let h(f) = 4*f - 1. Let x be h(1). Solve v - x*m = -10, 0 = -5*v + v - 5*m - 6 for v.
-4
Let u be (44/(-33))/(2/(-3)). Solve 2*b - a = 0, 0 = -u*b - 2*a - 6 - 0 for b.
-1
Suppose -326 = -15*h - 101. Solve -4*v + 0 = -4*s + 4, 5*v - h = s for s.
5
Let u = 28 - 28. Solve 3*s - m - 6 = u, 3*m = -2*s + s + 2 for s.
2
Let p = 8 - 6. Let s = -2 + p. Solve 3*x + 14 = -4*f - s*f, -5*f - 3*x = 16 for f.
-2
Let u be (-10)/(-2) + -2 + 1 + 0. Solve -3*f + 5 + 22 = -u*l, f = 5 for l.
-3
Let w(a) = 3*a - 4. Let i be w(3). Suppose i*x - 25 = -10. Let p be 0/(-1) - 0/2. Solve p = 4*m - 20, 0 = 3*d - m + x + 5 for d.
-1
Suppose -2*d - 5*z + 23 + 9 = 0, -18 = -5*d + 3*z. Let g(s) = -s - 4. Let m be g(-6). Solve -y = 4*b - 13 + 36, -m*y - d = 0 for b.
-5
Let a be (3/7)/((-2)/(-14)). Solve 5*r = -a*v - 1, -v + 3*v - 2*r = -6 for v.
-2
Let f be (8/12)/((-4)/(-1554)). Suppose -f = -6*u - 79. Solve -v - u = 4*p - 5, -4*v = 5*p + 45 for p.
-5
Suppose -2*g + 27 = 23. Solve -2*q + g*r = 3*r + 5, 5*q + 4*r = -11 for q.
-3
Let m(f) = -f**3 + 2*f**2 + 7*f - 1. Let v be m(3). Solve 3 = 3*y + o, -y = -0*y - 3*o - v for y.
2
Let i = -5 - -11. Suppose 8 = 2*x - i. Solve 3*f = t - 16, -2*t + 4*t = f + x for t.
1
Suppose s - 2 = -0*s. Suppose -s*z = -3*z + 16. Let p be (z/(-6))/(10/(-15)). Solve 0 = -3*d - u + 13, 2*u - p = -d + 2 for d.
4
Let a(g) = 2*g**2 - 3*g. Let z(y) = y + 14. Let m be z(-12). Let q be a(m). Solve -q*c - 2*d = -5*c - 11, -9 = 4*c + 3*d for c.
-3
Let y = -68 + 81. Solve -a = 3*g - y, a = -0*a - 5*g + 19 for a.
4
Let x = 120 + -93. Solve 4*t + 15 - 39 = j, -3*t + 3*j + x = 0 for t.
5
Let o(q) = -q**3 - 6*q**2 + 7*q + 5. Let y be o(-7). Suppose -4*r + y*r = 4. Solve 0 = b - 5*s - 11, -b = r*s + s + 9 for b.
1
Let r be -4*(-3 + (-9)/(-4)). Suppose r*a - 20 = -2*a. Solve 3*k + 0*n + 4*n + 10 = 0, -a = k + 2*n for k.
-2
Let d(v) = -v**3 - 2*v**2 + v + 4. Let o be d(-3). Solve 0*g = -3*g + 2*k + 9, -o = g - 5*k for g.
5
Let c(i) = -3*i. Let k be c(1). Let y = 9 + k. Suppose -5*o + 19 = 4*x, -3*o = y - 15. Solve -4*q = -m + 7, 0*m + x = 5*m - 3*q for m.
-1
Suppose -4*v = -2*v - 2. Let f be -1*(v + -3*3). Suppose 0 = 3*k + k - f. Solve 4*n - n - 10 = w, -k*w = -10 for n.
5
Suppose -1 = x - 3. Suppose -x = -3*p + 4. Solve 3*l - 5 = 5*y, 0 = -2*y + 5*l - p + 19 for y.
-4
Let i(c) = -3 - 4 + 5 + 2*c. Let v be i(3). Solve -5*d = -r + 7, v*d = 8*d + 2*r for d.
-1
Let y be -34 + 9/(-3)*-1. Let o = 5 + y. Let b = o + 71. Solve -4*h - f + b = 4*f, 4*h = 2*f + 10 for h.
5
Let y be ((-3)/3)/((-3)/48). Let b = y + 3. Solve 4*u + b = p - 6*p, 6 = 3*u - 3*p for u.
-1
Let t(l) = 4*l**2 - 6*l + 6. Let c be t(1). Solve 5*y + 4*i - 22 = 0, -c*y + 7*y - 9 = -i for y.
2
Suppose 2*y + c - 6 = 3*c, 5*y - 2*c - 12 = 0. Solve -5*k = -y*s + 11, -5*s = k - 0*k - 14 for k.
-1
Let o be 14/21 + (-7)/(-3). Suppose o*x = -0*x. Solve x = w + 5*n + 19, 0*w + 3*w + 5 = -2*n for w.
1
Let v(n) = n**2 - 2*n - 4. Let y be v(4). Solve 20 = -4*w, 5*h - y*w - 6 = 14 for h.
0
Suppose -7*w + 2*w = -25. Suppose 10 = w*o - 25. Suppose o + 13 = 4*d. Solve l = 5*u + 20, 10 = -l - d*u - 20 for l.
-5
Let y(t) = 25*t - 248. Let z be y(10). Let d(a) = -a + 2. Let m be d(-2). Suppose 3*v - 5*o = 18, 4*o + 13 = -3*v + 4. Solve m = z*h - f - f, h = 4*f - v for h.
3
Let v = 10 - 8. Let b be ((-