 6 = -22*a. Solve -a*q - 4*y = y, 0 = -q + 3*y for q.
0
Let w be (-138)/18 - 4/(-6). Let m be 1 + 7 + 4 + w. Solve 4*k + 19 = 3*h - 0*h, -m*k = -2*h + 15 for h.
5
Let t = 2 + -2. Suppose t = -4*g + 13 + 3. Solve -3*n - 1 = -w, 0 = g*w - n - 0*n + 7 for w.
-2
Let k(y) = y**2 + 14*y + 11. Let n be k(-11). Let b = n - -59. Solve 2*s + 22 = 4*l, -2*l = 5*s - 6*l + b for s.
-5
Suppose 0 = -w + 4*w + 3, 11 = 5*g + 4*w. Suppose 16*b = 7*b + 54. Solve 3*y - g*a + b = 0, -a = 2*y + 2*a - 21 for y.
3
Suppose -23 = 2*j + v + 22, -5*j = 2*v + 115. Let x = j + 27. Solve -x*u + 2*l + 15 = 5*l, -2*l = -u - 10 for u.
0
Let n = 58 - 53. Solve -15 + 5 = -n*i, -12 = 4*o - 2*i for o.
-2
Suppose 4*m - 14 = 2*g - 0*m, -3*m = 5*g - 4. Let t be ((-2)/g)/1 - 1. Let q be ((-76)/8)/(t/(-2)). Solve -2*z = -3*x + 10, 4*x + 7 = 4*z + q for x.
4
Suppose -5*g = 3*c - 30, 4*g = 7*g - 9. Solve -2*v + c*t - 18 = 0, 5*v + t + 16 = -t for v.
-4
Let u(v) = -v**2 - 6*v - 4. Suppose 4*p = p - 9. Let c be u(p). Solve 0 = -5*h + k - 20, -k = c*h + 4*k + 20 for h.
-4
Let r = -20 - -23. Solve -o = -4*j + 5, -j = r*j + o + 5 for j.
0
Let p be 24/9*15/10. Solve p*t - 4*o - 13 = t, -o = -5*t + 16 for t.
3
Let o be (-2)/9 + (-200)/(-90). Suppose o + 13 = 3*y. Solve -y*w = -2*q - 19, -w + q + 3*q = -11 for w.
3
Let o(v) = v**2 - 2. Let a be o(3). Let n(u) = u**2 - 7*u + 2. Let j be n(a). Suppose -12 = -g - 2. Solve -3*w + 15 = -j*x, w + 4*x + g = 3*w for w.
5
Suppose 49 = 3*b - 23. Solve -3*f - 2*j - 14 = 8, 0 = -f - 4*j - b for f.
-4
Suppose 5 = 3*r - 1. Suppose 2 = -r*o + 10. Suppose 0 = -2*q + q + 22. Solve 4*u + 8 = -i + 2*i, -q = 2*u + o*i for u.
-3
Let g(f) = -f. Let o(v) = v**2 + 14*v - 6. Let q(j) = -3*g(j) - o(j). Let m be q(-8). Suppose 4*x - m = -x. Solve 3*z - i - x = -5, 5*i = -20 for z.
-1
Let m(g) = g + 9. Let n be m(-4). Solve -4*a = -4*p - 3*a + 10, -n*p + 11 = -2*a for p.
3
Let i(h) = -h**2 + 11*h + 1. Let v be i(9). Solve 2*c = -3*k + v, 3*c - 4*k + 4 = -2*k for c.
2
Suppose 5*d - 99 = 3*v, 0 = d - 4*v + 6*v - 12. Let g be (-12)/d*-1*6. Solve 0*l = 3*l - g*u - 11, 5*l - 9 = 2*u for l.
1
Suppose -5*l + 64 = 9. Let p = l + -10. Solve -4*o - p + 2 = c, -2*c = 5*o - 2 for c.
1
Let a = -10 - -14. Suppose 0 = l - a*l + 30. Solve 3*p - 4*g + l = -4, -p = -g + 3 for p.
2
Let l = 4 - -3. Suppose -4*n - 4*c = -8, -n + l*c = 4*c - 2. Solve -8 = u + y, n*u + 4*y = -3*u - 35 for u.
-3
Let m be (0 - 0)/(3/(-3)). Suppose 3*h - u - 4 = m, -4*u + 1 + 4 = -5*h. Solve -5*y + 3*f + 1 = 0, 5*f + h + 11 = -4*y for y.
-1
Suppose -2*d = -4*h - 30, 5*h - 2*d + 25 = -10. Let a(w) = -w - 5. Let p be a(-8). Let u be (p/h)/((-2)/30). Solve -g + 7*x - 18 = 2*x, 2*g + 5*x - u = 0 for g.
-3
Let c(q) = 2*q - 6. Let f be c(6). Let v be (10/3)/(4/f). Let y(i) = -i**2 - 6*i + 9. Let s be y(-7). Solve 12 = o + s*m, -o - v*m = 4*o - 35 for o.
2
Let r be 1/((-38)/10 + 4). Solve -r*z = -10, 2*m + 2 - 10 = z for m.
5
Let w(f) = -f**2 - 13*f - 20. Let y be w(-11). Solve d + j = 2, 3*j = -y*d + 8 - 0 for d.
-2
Let a(w) = -2*w**3 + 2*w**2 + 5*w + 1. Let z be a(-2). Suppose -4*t = t - 60. Solve 2*n + 5*l = -z, 4*l + t = 7*n - 3*n for n.
0
Let t be -1 + 17 + (1 - 3). Let p = -10 + t. Solve 0 = -p*j + 20, -2*j = -g + 6*g - 15 for g.
1
Let l(z) = z**3 - 6*z**2 + 4*z + 1. Let q be l(5). Let y = 23 + -16. Let b = y + q. Solve b*g - 2*t = 4*g + 6, -5*t = -5*g + 30 for g.
2
Suppose -9 = -j + s, -2*j = -j + 5*s + 15. Solve -4*c - 18 = 3*g, 4*c + j*g = -c - 25 for c.
-3
Let h = -2 - -31. Let j(r) = -r. Let x(n) = n**2 + 2*n + 4. Let f(m) = 5*j(m) - x(m). Let z be f(-6). Solve h = 3*u + 4*w, z*u - 3*w = 1 - 10 for u.
3
Let h(k) = -k - 7. Let a be h(-10). Solve a*t = 2*r + 15, -r + 6 = -t - 4*r for t.
3
Let k(u) = u + 8. Let o(n) = -n**3 - 4*n**2 + 6*n + 5. Let a be o(-5). Let z be k(a). Solve 2*i + v + 2 = 0, -3*i = -z*i - 5*v + 5 for i.
-3
Let c = 62 + -62. Solve c = 4*s - s - 6, 5*l - s + 17 = 0 for l.
-3
Let c = 0 - 0. Suppose i = -c*i + 25. Suppose 0*d - 2*v + 6 = d, 3*d = v + i. Solve -n + d = -k, -2 + 6 = n for k.
-4
Suppose 0 = 3*a - 15, 0*u - 4*u - 11 = a. Let r be u - (-7 - (-1 + 3)). Solve -7 = -r*p - 5*q + 23, -2 = -2*p + 3*q for p.
4
Let n(r) = r**3 + 5*r**2 - 14*r - 38. Let x be n(-6). Solve -5*i + 3*d = -d - x, -3*d - 11 = -2*i for i.
-2
Let f = 0 + 0. Suppose f = 5*s - 48 + 8. Let a be (0 + 1)/(2/s). Solve 0 = 5*m - a*v - 28, -2*m - 3*m - v = -18 for m.
4
Let n(d) = d + 1. Let p(t) = 10*t + 3. Let k(l) = -4*n(l) + p(l). Let z be k(-2). Let c = -9 - z. Solve -3*x - 7 = -0*y + c*y, 8 = -2*x - y for x.
-5
Let f(s) = s**3 + 8*s**2 + 11. Let h be f(-8). Let n = h - 6. Solve -20 - 10 = 4*j - n*w, -w = -2 for j.
-5
Let z(f) = -f - 2. Let q be z(-7). Suppose 2*g - q = -1. Solve 0 = -k + 5*p - 17, -g*p = k - 0*p - 4 for k.
-2
Let j = 632 + -416. Let t be j/28 + (-4)/(-14). Solve -2*k = -5*f + k - t, -2*k = 8 for f.
-4
Suppose -2*x + 6 = -2. Solve 2*r = -5*d - 10, 0 = -2*r - 2*r + x*d + 36 for r.
5
Let w(y) = -y**2 - 9*y - 8. Suppose 5*n + 45 = 2*n. Let h = n + 9. Let d be w(h). Solve 1 + 4 = -3*r - 4*c, 3*r + c - d = 0 for r.
5
Let l be 34/14 + 24/(-56). Solve -4*s = i + l, 5*i - 4*s + 5 = -5 for i.
-2
Let n(v) = -4*v**3 - 3*v + 2*v - 2*v**3 + 4*v**2 - 6*v**2. Let j be -3 - -3 - (1 - 0). Let f be n(j). Solve -f*s - 30 = -0*k + 5*k, -5*s = 25 for k.
-1
Let y be 56/12 + (-1)/(-3). Suppose -6*g - 28 = -10*g. Let c = y + g. Solve -2*r - 2*r = c, 3*d + 18 = -5*r for d.
-1
Suppose -2*l - 6 = -l + 2*s, 0 = 2*l - 4*s - 20. Solve -l*v + 3*p = -1, -5*v = -0*v - 5*p for v.
-1
Suppose 5*o + 25 = 4*m - 36, m - 40 = 4*o. Let n be 2 - o - (-1 - -2). Solve 3*y - 25 = 4*s, -5*y + n = s - 1 for y.
3
Let y be -3*2*1/(-3). Let l be 1/y + 5/2. Solve g - 6*g = -4*c - 27, c + 12 = l*g for c.
-3
Suppose 4*o = -0*o + 4*g + 4, 0 = -3*o + 2*g + 4. Let l = 3 - 18. Let t be 104/10 - (-6)/l. Solve -2*a + 2*m = -t, 4*a + 2 + o = -2*m for a.
1
Let t be 2/((-3)/12 - 0). Let i = 10 + t. Let n(p) = p - 1. Let f be n(6). Solve f*q - i = -m, 16 = -4*q - 5*m + 5 for q.
1
Let u = -19 - -23. Suppose -24 = -u*o + o. Solve -2*f = 4*d - o, -4*f + 7 = -2*d - 9 for f.
4
Suppose 0 = -4*x - f - 0 + 6, 3*f - 2 = -4*x. Solve x*n + 10 = 2*o - 0*n, 4*o = 2*n + 12 for o.
1
Suppose 2*w - b = b + 36, -62 = -5*w - 2*b. Let t = w + -13. Solve -2*f + a = t, 0 = 3*a - a + 2 for f.
-1
Let j be (-20)/(-6) + (-4)/(-6). Let s be (-1 - (-3 + 1)) + 1. Suppose 0*v - s*v = -j. Solve v*a + 11 + 5 = -2*r, 5*r = 3*a for a.
-5
Let u = 56 + -52. Solve 3*i - v + u*v = 24, -v = 5*i - 28 for i.
5
Let k = 7 - 1. Solve 4*p - 2*g - 26 = 0, -5*g + k*g - 11 = -4*p for p.
4
Let a(q) = -3*q - 3. Let b = -6 + 4. Let j be a(b). Solve 31 = -3*v - 5*w, 0 = -5*v + j*w + 3 + 2 for v.
-2
Let m = 5 + -1. Let b = -1 + 4. Suppose -b*f = -f - 8. Solve m*z - 12 = -4*g, z + 3*z = f for g.
2
Suppose 3*s + 4 = 4*s. Solve -3*j - 4*p = -11, -8*p = -s*p - 20 for j.
-3
Let u = 0 - -4. Suppose u*b - 9 - 7 = 0, 3*c - 3 = 3*b. Let q = -7 - -12. Solve 0 = -q*h - t - 4 - 0, -3*h + c*t = -20 for h.
0
Let y be 1 - 0 - (-2)/1. Let l = 7 + -4. Solve g + 20 = y*b - g, g = l*b - 16 for b.
4
Suppose 15 = 5*h + i, -5*i + 9 = h + 30. Suppose 0 = -h*b + 4 + 8. Solve -p = 2, b*p + 16 = 3*d + p for d.
4
Suppose -4 = -4*m - 4*g, -m - 3*g = m. Suppose 2*z = 5*j + 18, m*z = -z + 5*j + 26. Solve s + 3*s - 4*q = -12, z*q + 15 = -5*s for s.
-3
Let i = 9 + -7. Suppose 10 = 2*z - z. Suppose 0 - z = -i*r. Solve r*q = 7*t - 3*t + 8, -q - 2 = -2*t for t.
3
Suppose 0 = 2*k - 3*i - 14, -3*k + 4*k = 3*i + 1. Let z(h) = h**3 + 5*h**2 + 5*h + 2. Let o be z(-3). Solve -5*f - 45 = -o*d, 0*d - k = f - 2*d for f.
-5
Let o(m) = m**2 + m. Let d be o(3). Suppose 0 = -4*j + 4*c - d, 5*c - 3 - 26 = -2*j. Solve -6*h = -3*h + 4*i + 23, i = 3*h - j for h.
-1
Suppose 2*k - 78 = 5*i, 4*k + 52 = -3*i - 0*k. Let s = 26 + i. Solve 3*c - 2*n = -s, 8 = 3*n - 7 for c.
0
Let s be (9/21)/((-1)/(-7)). Solve -s*h - 3 = 3*l - h, 2*h = -2*l - 4 for l.
1
Let g = 9 + -6. Solve 3*y + 4*n - 12 = -y, 5*y + g*n = 19 for y.
5
Let o(j) = 22*j**2. Let a be o(1). Solve -g + 4*t + 0*t = -a, -4*t - 18 = g for g.
2
Suppose 0*d + 4*d = 8. Let y be 48/(-10)*10/3. Let b be y/40 - (-34)/10. Solve 3*c - 2*l = 11, 2*c + d*l = -b*c + 13 for c.
3
Suppose c + 1 = -f, -4*f - 1 = f + 4*c. Solve 