0*x = 7. Suppose 0 = -5*f + 18 + y. Solve f*d = 2*r + 8, -3*d = -7*r + 3*r - 6 for r.
0
Suppose -6 = m - 3*m. Suppose -5*b + 3*c = -19, 2*b - 8 = m*c - 2*c. Suppose -2*l + 30 = 2*k, -k + 39 = 2*l + l. Solve b*d = -0*h - h - 15, 4*d + l = 2*h for d.
-3
Let i = 19 + -17. Let z(m) = -m**2 - 11*m + 6. Let s be z(-11). Solve -p - s = -4*p, i*f + p = 2 for f.
0
Let q(d) = 3*d - 3. Let l be q(2). Solve -n = -f + 6, 0*f + 4*f = -l*n + 3 for n.
-3
Let u(l) = l. Let c(z) = z**2 + 6*z - 1. Let a(j) = -c(j) + 6*u(j). Let i be a(1). Solve 5*b - 11 = 3*d - 1, -5*b + d + 10 = i for b.
2
Let s(z) = 3*z - 1. Let a be s(2). Suppose 12 = a*q - 2*q. Solve -3*t - 3*n = -6, 0 = -0*t - 5*t - q*n + 5 for t.
-3
Suppose -21 = -q - 54. Let l be 88/q*(-3)/2. Solve l*i - 3*k = -4*k - 16, 4*i - 3*k = -32 for i.
-5
Let v be (8 - -2) + (-1 - -1)/2. Solve 0 = l + 5*q + 18, 2*q = -l - q - v for l.
2
Let d be (-20)/11 + 2 + (-341)/(-121). Solve 12 + 7 = -4*z + 3*b, -16 = z - d*b for z.
-1
Suppose -o + 5 = -5*n, 3*n + 2*o - 4*o + 3 = 0. Let j = n - -5. Suppose 0 = 3*y - y + z - j, 5*y = -5*z + 5. Solve y*r - d = -r + 19, -4*d = 3*r - 19 for r.
5
Let d(q) = -6*q - 4. Let t(v) = -v - 1. Let u(w) = -2*d(w) + 14*t(w). Let n = 11 + -15. Let c be u(n). Solve -1 + 5 = -y + 2*o, -c = -4*y + 2*o for y.
2
Suppose -145 = -5*o + 4*v, 2*o - 4*v = -6*v + 76. Let k = o - 18. Let i be (-87)/(-9) + 2/6. Solve -3*f = 5*l - 13 - i, 5*l - 5*f = k for l.
4
Suppose 2*z = -5*k + 104, -2*k - 2*z + 29 = 3*z. Let y = k - 14. Suppose y - 24 = -4*w, 0 = 2*r + w - 10. Solve 0 = 3*l - 4*v + 3, 2 - 11 = -r*v for l.
3
Let v be (-1 - -2) + (-16)/(-4). Solve o - 2*d + 3*d - 4 = 0, v*d - 27 = 2*o for o.
-1
Let j be 88/24 + 2/6. Solve -9 = j*b - 3*y, 3*b - 7 + 4 = -y for b.
0
Let r(i) = 14*i**3 + i**2 - 2*i + 1. Let k be r(1). Let d = k - 9. Solve -z + d = -q, 4*z + 4 + 4 = -3*q for q.
-4
Let t be (3 + -2 - -10) + -1. Suppose b = -b + t. Solve -b*n + 25 = -0*n, 3*d + n + 1 = 0 for d.
-2
Let a(p) = p**3 + 13*p**2 + 9*p - 33. Let v be a(-12). Solve 2*h = 2*c - 2, -2*h = -v*c - c - 6 for h.
-5
Suppose 6*y = y - 25. Let f(i) = i**2 + 6*i - 7. Let q be f(y). Let j be (-39)/q - (-2)/(-8). Solve -j*m + 1 = o - 10, -2*o - m = -12 for o.
5
Let v = 78 + -77. Solve 0 = -4*j - 2 - 2, -4*j = -n + v for n.
-3
Let g = 3 + -1. Solve -2*u = -n - g, -14 = -6*n + n + 2*u for n.
4
Let r(s) = s + 12. Let h be r(-12). Solve -3*o + 4*u - 2 = 22, o - 5*u + 19 = h for o.
-4
Suppose 2*m = -4*s + 22, 2*m - s + 0 - 22 = 0. Let x be m/3 - 10/15. Solve -4*p - j + x + 1 = 0, -j - 3 = -3*p for p.
1
Let h be 3 + 0/(-2) + 2. Let p = 6 - h. Let y be (p/2)/((-4)/(-16)). Solve -y*x - 4*c = 14, 4*x - 5*c - 19 = -8 for x.
-1
Suppose -q - u - 4*u + 9 = 0, 0 = 3*q - 3*u - 9. Solve 4*r = q*p + 12, 2*p - 3 = -r + p for r.
3
Suppose s - 4*s - 3*c = -18, 4*s - 4*c = 48. Solve 4*w = 5*m + s, -4*w - 41 = m + 4*m for m.
-5
Let j = -54 - -54. Solve 3*q - 5 = 5*b - 13, b + q - 8 = j for b.
4
Suppose 2*f - 1 = 3*j, -j = j + 2*f - 16. Suppose -2*s + j*s = 0. Suppose s*w - w = -5. Solve t - 5*n + n = 12, 3*t + 15 = -w*n for t.
0
Let j(w) = -w - 3*w + 3*w**2 - 5 - 2*w**2. Let t be j(7). Solve 2*u = 5*z + 9 + 16, 2*z + t = 2*u for z.
-3
Let y = 11 - 9. Let i = -2 + y. Solve t - 5*t - 2*d = i, 0 = -3*t - 3*d + 6 for t.
-2
Let p = -6 + 19. Let n be 0 + 4/4 + p. Solve -4*r + n = 3*w + 2*w, 3*r - 5 = -w for r.
1
Suppose -5 = 3*x + 1. Let i = x + 5. Solve 13 = -2*k + i*l, 5*l - 3*l = 2*k + 8 for k.
1
Let b be (4/(-6))/(16/48). Let c be (b - -8) + 2 + -2. Solve 0 = -4*q + 2*o + 26, 0 = 2*o + c for q.
5
Let c be (-57)/((-9)/3) - 4. Let s = -15 + c. Solve 2*m = 2*p - 4, m + 4*p + p + 8 = s for m.
-3
Suppose 3*p - 38 = -2*j, -4*j + 0*j + 62 = -p. Solve 3*u - 2*k + 3*k = -13, -j = 4*u + 2*k for u.
-5
Suppose a - 2*k = 6*a - 12, -4*a - 4*k = -12. Solve -a*s - 3*s = 5*x - 5, 0 = 3*s - 3*x + 3 for s.
0
Let v be 6*(8/6)/1. Solve 0 = 5*x + d + 3*d + v, 5*d + 1 = -4*x for x.
-4
Suppose 14*v - 9*v = 95. Solve -4*u = z - v, -2*z + 23 = -z + 5*u for z.
3
Suppose -3*t + t + 6 = 0. Solve t*i + 12 = 0, -2*s + 6*s + 3*i + 20 = 0 for s.
-2
Let d(p) = -p**3 + 4*p**2 - 3*p + 2. Let v be d(2). Solve i + 2 = 2*n - 2, -5 = -v*i + n for i.
2
Suppose -2*a - 3*f + 5*f = 0, a - 5*f + 8 = 0. Suppose -176 + 32 = -12*h. Solve a*b - 2*l = -h, b - 2*b + 2*l - 9 = 0 for b.
-3
Let w(k) = -7*k + 32. Let j be w(4). Solve -j*o + 16 = -2*h - 0, 2*o + 4*h - 8 = 0 for o.
4
Suppose 3*t - 18 = 51. Suppose 4*o - 83 = -t. Let p be -1 - ((1 - 3) + -2). Solve p*h - 2*h - 3 = 2*z, 0 = 5*h + 5*z - o for h.
3
Let m be (-4)/(-18) - (-52)/9. Let b be (-7)/(-3) + 4/m. Suppose w + 42 = 4*w. Solve b*g + d + 10 = 0, -3*d - d = -g + w for g.
-2
Let h = 2 + 2. Solve 0*d + h*d = -4*j, 4*j - 35 = 3*d for j.
5
Suppose 3*d + 5 = 4*d. Suppose d = -4*v - 3. Let y be 1 + v + 9 + -3. Solve -2*q = -4*l - 20, y - 21 = -4*q for l.
-3
Let x = 26 + -40. Let p = x + 16. Solve 4*z = 2*m + 6, p*z = z + 3*m + 4 for z.
1
Suppose 4*l - 14*l + 20 = 0. Suppose 4*o + 4*i - 220 = 0, -o + 130 = o - 3*i. Let c = o - 31. Solve 0 = -4*y + 4*w + 8 - c, -2*w + 6 = l*y for y.
-1
Suppose 4*n - 7 = -3*v - 3, -v + 16 = 5*n. Suppose 2*b + 0*a - 3 = -a, -n*b + 3*a = -31. Let c be 2/(-7) - b/(-14). Solve r - 2*j = -3*j + 6, c = 3*j - 9 for r.
3
Let h be 1 + (0 + -1)*-2. Suppose 6 = 5*t - 74. Suppose -h*w - w + t = 0. Solve n + n + 3*g - 6 = 0, 3*g = -w*n + 6 for n.
0
Let c(l) = -l + 13. Let a be 77/7 - (-4)/(-2). Let r be c(a). Let h = r + -4. Solve -3*y = 3*t - h*y, 3*y + 16 = t for t.
4
Let v be 4/(-18) + 304/72. Solve 5*q + 4*y + 0*y = -31, v = 4*q - 4*y for q.
-3
Suppose -5*c - 7*l + 40 = -4*l, 3*c + 3*l - 24 = 0. Solve -5*a + a = c, 5*a = -4*n - 10 for n.
0
Suppose 4*r - c - 4*c = -20, 4*r - 4 = -c. Suppose 45 = -5*b - 5*g, 0*b = b - 4*g - 11. Let v = b + 7. Solve q + 12 = -r*q + 4*l, 0 = 3*q + 5*l + v for q.
-4
Let p = -112 + 114. Solve 0 = -4*r - 16, -p*r + 7*r + 10 = 5*n for n.
-2
Suppose 4*o - 6*o = -12. Let d(t) = t + 8. Let v(x) = -x**2 + 6*x. Let p be v(6). Let f be d(p). Solve -4*u + i + o = -0, f = 5*u - i for u.
2
Suppose -7 = -0*h - h - b, 3*h + b = 11. Solve 6 = h*d + 4*f - 8, d - 6 = -f for d.
5
Let y = -11 + 15. Solve 2*x + c - 4 - 1 = 0, -2*x = y*c + 10 for x.
5
Suppose 0 = -2*y + y + 4. Suppose 12 = -a + y*a. Solve 5*r = 4*v - 1, -a*r + 5 = -v - r for v.
4
Let k = -3 - -5. Suppose -10 = s - 0*g - k*g, 5*g + 105 = -4*s. Let u be s/6*12/(-10). Solve -4*a = u*w + 24, 0*w - 3*a = -5*w - 6 for w.
-3
Let x = 7 - 5. Suppose -x*h = -2*z - 6 - 4, 4*h - 3*z = 15. Let s be (-111)/(-9) - (-4)/6. Solve 4*u + 14 = 4*y + 34, -u + 5*y + s = h for u.
3
Suppose 5*i = 3*t + 17 + 11, t + 6 = i. Suppose i*m + 3*u - 15 = 7*u, 2*m = -u + 6. Solve 5*y + 12 = -m*r, -3 = 3*y - r + 7 for y.
-3
Suppose -3*b = 2*v - 7*v + 15, 0 = 4*b + v + 20. Let n = b - -13. Solve 2*y - 6*c = -4*c - n, 5*y - c = -24 for y.
-5
Let o(i) = i - 1. Let u be o(3). Let z be 5 + 3/(-1) + u. Solve -z*v = -l - 6, -l = -0*l + 2*v - 6 for l.
2
Suppose -3*y + 5*y = -4*d + 30, -d = -2*y + 20. Solve -2*f = 5*h - 8, -f + 0*h + 5*h - y = 0 for f.
-1
Suppose 0 = -3*r - 3*p, 2*r + 4*p = -p - 9. Solve -w = -5*x - 10, r*x = -2*x + 3*w for x.
-3
Let r be ((-10)/(-21) + (-1)/7)*0. Solve 2*o + 1 + 3 = -2*i, 2*i - 4*o - 20 = r for i.
2
Let w be 14*1 + 0 + -3. Suppose 3*m + 2 - w = 0. Solve -2*c + 1 = -4*a - 5*c, 7 = -4*a + m*c for a.
-1
Suppose 3*x = -2*l + x, -3*l + 1 = 2*x. Solve -4*a - 3*r = -4, 0*r - l = -a - 5*r for a.
1
Suppose 65*i - 198 = 56*i. Solve 2*n - 3 = c + 6, 2*c = -4*n + i for n.
5
Suppose 4*p - 51 = -2*g + p, 48 = 2*g + 2*p. Let o = g + -16. Solve -3*l + 6 = 4*w, -21 = o*l - 2*l - 5*w for l.
-2
Suppose 0 = 6*g - 2*g - q - 3, 4*q - 20 = 0. Solve 4*y + 4*j + 8 = 0, g*y = -2*j - j - 7 for y.
1
Let d be (-18)/45 - (-66)/15. Solve k = -5*h, 0 = 2*k - 0*k - d*h for k.
0
Suppose 5*x + 3 - 83 = 0. Solve 0 = 4*d + 4*y - x, d + 2*y = 1 + 4 for d.
3
Suppose -3*t + 4*t - 2*b - 7 = 0, 4*b = -4*t - 8. Let s(k) = -3*k + 1. Let z be s(-1). Solve o - r + t = -z, 20 = 5*r for o.
-1
Let x(p) = -p**3 + p**2 + p + 2. Let n be x(2). Let w(s) = -s**3 - s**2 + 3. Let f be w(n). Solve l + 20 = -5*h, f*h - h + 5*l = -8 for h.
-4
Suppose b - 5 = -0. Suppose 14 = b*n - 56. Solve -5*h - n = 4*j, 3*h = 6*j - j - 1 for 