- 17 = 0, 3*z + 0*n + 11 = 2*n for z.
-1
Let j = -21 - -29. Suppose j = -5*o + 5*b - 7, -4*o + 9 = 3*b. Solve -s - 5 = o, l = 4*s + 6 + 12 for l.
-2
Suppose 0 = 3*n - 6, -2*n - 30 = -2*q. Suppose -k + 2 = -5*a + 3, 0 = 5*k - 3*a - q. Solve -3*s - 2 = -2*v, -k*v + s - 4*s + 22 = 0 for v.
4
Suppose 0 = 5*h - 3*o - 16, -3*o + 4 = 2*h + 3*h. Suppose -4*j - j = 0. Solve -v - h*t + j = 7, 2*t = 3*v - 3 for v.
-1
Suppose 13*k + 4*k = 68. Let o = -9 + 13. Solve 2*f + 2*h = k*h - o, -4*h - 1 = -f for f.
-3
Let f = 137 - 92. Solve 5*x = -5*l, -l - f = 5*x - 5*l for x.
-5
Let u(i) = -i**3 - 2*i**2 - 2*i. Let h be u(-3). Suppose -4*b - b = h. Let r = b + 4. Solve -4*q = -2*f - 1 - 5, -2*q = -5*f + r for f.
1
Let a(s) = -3*s - 4 - 3*s**2 + 11*s + 2*s**2 + 0*s**2. Let p be (-1)/2*(3 + -17). Let c be a(p). Solve -4*d + 8 = c*x - 2*d, -d + 18 = 5*x for x.
4
Let d be 18/(-27) + (-76)/(-6). Suppose 2*r - d = -2*r. Suppose 2*n + 10 = 0, -x + n = -n - 13. Solve -2*q + r*m = -x*q - 2, 4*q + 5*m = -15 for q.
-5
Suppose 5*z + 6 = 2*z. Let o = z - -2. Solve o*i + 2*i = 3*t + 2, -14 = -3*i - t for i.
4
Let k be ((-3)/(-2))/((-3)/(-10)). Suppose 3*j - 32 = -k*b + 5*j, -3*b + 40 = 4*j. Solve 0 = 4*w - l + b, -6*l + 3*l - 10 = 5*w for w.
-2
Let o = -6 + 2. Let g(c) = -c**3 - 4*c**2 + c. Let b be g(o). Let l be (30/(-9))/(b/18). Solve -7*h = 5*s - 3*h - l, -s - 2*h = -3 for s.
3
Let o(n) = 3*n + 3. Let f be o(3). Let r = -8 + f. Solve 3 = 5*j - r*q, 2*j + q = 4*j for j.
-1
Let p be 1 + (-3 + 1 - -5). Let y be ((-30)/(-2))/((-3)/2). Let r be 2 - 5/(y/28). Solve p*x - v = -3, 39 = x - 5*v + r for x.
-2
Suppose -4*s - 2 - 2 = 0. Let k be -2 + s/((-3)/12). Solve -4*o - 4 = -k*h + 6, -4*h - 15 = -o for h.
-5
Let w be (9/15 - 1)*-5. Let u(n) = 3*n**2 - n. Suppose o - f = -o - 6, 0 = -o - 2*f + 7. Let x be u(o). Solve 0 = k + 3*i + x, -w*k + 16 = -i - i for k.
5
Let k(q) = -q + 9. Let t be k(6). Let v be 7*(-2)/(-1 + -1). Suppose -8 = -v*u + t*u. Solve -u*i - 3*a + 16 = 0, -a = -3*i + 4*a + 5 for i.
5
Let o be 1 + 5 + -8 - -4. Solve 0 = w - d - 1, w + o*w = -d + 11 for w.
3
Let f(s) = s + 9. Let y be f(-7). Let i(r) = r**3 + 4*r**2 + 3. Suppose 0 = -3*w - 0*w - 12. Let u be i(w). Solve -3*v + y*n - 5 = 0, v = -u*n + 2*n for v.
-1
Let i = -52 + 57. Solve -3*l - 6*n = -i*n + 1, 17 = 5*l - 3*n for l.
1
Suppose 4 = -s - 4*a, -4*s + 0*s - 2*a = -12. Suppose -s*o + 30 = o. Solve -o*u + 5*d = -2*u + 6, -2 = -d for u.
1
Let c = 2 - -1. Solve 0 = -c*m - h + 4 + 7, 7 = -m - 3*h for m.
5
Let m be (-672)/(-26) - (-20)/130. Solve 5*i - m = -2*l, 0*l - 23 = -5*i - l for i.
4
Let d be 190/35 + 12/21. Suppose 0*g = -3*g + 3*b + d, -2*b = -g. Solve 0 = 4*j + w - 11, -3*j - 4*w - g = j for j.
4
Let r(h) = -h - 3. Let w be r(-7). Suppose 0 = -3*k + 1 + 2. Let p be ((-2)/k)/2 - -14. Solve 2*x = 3*b - x - 12, -x - p = -w*b for b.
3
Let d = -7 + -1. Let r = d + 13. Suppose 0*s + 6 = s + 4*o, o = -5*s + 49. Solve 4*q + 24 = -r*f, 2*f + s = 2*q - f for q.
-1
Let o = 55 - 41. Solve z + 2 = -f, 5*z + o = -4*f + 4 for z.
-2
Let k = -8 - -14. Let i be (k/(-3))/((-3)/6). Solve -r - i*g - 8 = 3*r, 0 = 5*r + 4*g + 8 for r.
0
Suppose -4*w + 2*l + 10 = 0, 0 = -2*w - 2*w + 5*l + 19. Let d be 5 + w - (2 + -4). Suppose 20 = 4*s - d. Solve -3*a + 6*a = -i - 6, -2*i - s = a for a.
-1
Let u = 4 - -14. Solve -2*j + 0 = -4, -u = 2*x - 5*j for x.
-4
Suppose -3*z - 5 = 5*y, -5*y - 3 = -3*z - 2*y. Let b(s) = 1 + s**3 + 3*s - 3 - 2*s**2 + z. Let j be b(2). Solve -5*p + j*i = 36, 3*i = p - 0*p + 16 for p.
-4
Suppose -5 = -3*n + 1. Solve n*z + 4 = 2*o, z - 3*o = -z - 5 for z.
-1
Let i = -20 - -23. Solve t - q + i*q + 1 = 0, -4*t + 3*q + 18 = 0 for t.
3
Suppose 20*c + 28 = 27*c. Solve c*d = 3*s - 8*s + 1, 0 = -d + 5*s - 6 for d.
-1
Let y = -13 + 11. Let w be -3 - (1 - 8) - y. Solve t - w = -t - 3*h, -t = 4*h - 3 for t.
3
Let l = 25 - 18. Solve -2*a - t = l, -t - 12 = 4*a + 3 for a.
-4
Let m be (-3)/12 + (-10)/(-8). Let x be 2/3 - 2/(-6). Let q be (m - x)/(2/(-1)). Solve -3*j - 2*s = 20, -3*s + 2*s - 4 = q for j.
-4
Suppose 0 = 3*o - 0*o + 4*a + 10, 0 = -4*o + a - 7. Let d = -5 - o. Let g be -2*(0 + d + 2). Solve 13 = 5*b - w, -2*b - w = -g + 1 for b.
2
Let d(a) = -a**2 + 10*a + 4. Let q be d(9). Let m = q - 13. Solve -2*v - 4*f - 7 + 37 = m, 0 = 3*f - 15 for v.
5
Let g(y) = -y + 3. Let t be g(0). Solve 5*b + o = 6*o + 5, 1 = t*b - o for b.
0
Let w(y) = y**3 + 5*y**2 + 7*y + 3. Let k be w(-3). Solve 2*g = -k*g + 2*i - 4, -3*g = i + 14 for g.
-4
Let k = -11 - -13. Suppose 1 = k*d - 9. Solve 4*q + d*j - 18 = 11, 3*q = -5*j + 28 for q.
1
Let x be (2 - (-3 + 6)) + 4. Suppose 10 = 3*j - 2*a, -5*j + x*a + 18 = a. Solve 0 = j*k - 3*k - 3*q + 10, -25 = -3*k - 2*q for k.
5
Let q be -15*2/(-2) + 0. Solve 3*o = 5*y - 2 - 13, 5*y = -5*o + q for o.
0
Suppose -2*x = -s - 3, -5*x + x = -5*s + 3. Solve x*w - 2*r = w + 6, -4*w - 4*r + 4 = 0 for w.
2
Suppose -6 = -3*w - 0*w. Suppose 3*t + 5*h = 70, 5*t - w*t - 58 = h. Solve k + 4 = 5*v - v, -t = 5*k + 4*v for k.
-4
Let x = -12 + 3. Let u be 1/(0 - 3/x). Suppose z = -5, 5*z + 14 = -u*g + 1. Solve -2*s = 3*s - 3*j - 4, g*j - 16 = -4*s for s.
2
Suppose a + 7 = 1. Let h = a + 8. Solve 2*i + 2*i + 28 = 5*y, 3*y - h = -5*i for i.
-2
Let j be -1 - (-5 - 2 - -1). Let q(r) = -r**2 - 6*r + 12. Let a be q(-9). Let c be a*((-4)/12)/1. Solve 0 = 5*d + c*o + 4 - 14, j*o - 10 = 5*d for d.
0
Suppose -4*d + 2*s + 5 = -3, -2*s + 4 = 0. Let j(h) = -h**2 - 6*h - 3. Let p be j(-5). Solve -5*y = -0*y + 5*f + 5, -d = 3*y - p*f for y.
-1
Suppose -36 = -4*g - 4*y, g - 9 - 2 = -2*y. Solve 4*l + 20 = 2*t, -4*l - g*t - 6 = -2*t for l.
-4
Suppose 4*y = 4*p, 0 = 6*y - 2*y - 3*p - 4. Suppose y*g = 4*r - 12, 16 = 5*g + 2*r - 4. Solve 0 = 2*m + v + 9, 1 = -4*m + 3*v - g for m.
-3
Let j be (10/(-6))/(2/(-18)). Suppose -j = -p - 3*z, -p - z = 3*z - 15. Let l be 24/((-1)/(-1) + 0). Solve -5*i = 3*s - l, 4*i - p = -0*i - s for i.
3
Let g(c) = -2*c. Let u be g(-9). Solve -2*i = -4*v - u, -v - 4 = 4*i + 5 for i.
-1
Let p be (-1 - 1) + (-5 - -9). Suppose 3*t - 21 = -3*y, 0*y - 4*y = p*t - 18. Solve y*a = 4*q - 10, -a - 4*q - 25 = 4*a for a.
-5
Let p be (-16)/7 - (-2)/7. Let h(k) = -k. Let a be h(2). Let j be p - (a - (-1 + 3)). Solve 2*q = i, -j*i = -3*q - 0 - 2 for q.
2
Suppose 0 = -2*z - 5 + 9. Solve 1 + 3 = -3*w + 5*d, -3*d = z*w + 9 for w.
-3
Suppose -3*b = 4*l - 6*l + 20, l - 3*b - 16 = 0. Solve l*a = -3*j, -5*j = 8*a - 4*a for j.
0
Suppose 0*h + 3*k = -3*h + 3, 3*h - 4*k + 4 = 0. Solve h = 4*n - 5*g - 16, -5*n + 2*g + 20 = -3*g for n.
4
Let h = 32 - 45. Let u be 8/20 - h/5. Solve 3*q = u*o - 12, 4*q - o + 14 = o for q.
-3
Suppose -b + 11 = -5. Suppose 3*x + 20 = 2*i, -i + b = -3*x - 0. Suppose -i*z = -9*z. Solve -h + 3*h = -s, z = -5*s - h for s.
0
Suppose 2*g - 18 - 20 = -4*s, -4*g = -3*s - 109. Solve 19 = -p + 3*b + b, 5*b - g = 0 for p.
1
Let i(a) = 7*a - 5. Let w be i(3). Suppose z + 22 = -z. Let g = 16 + z. Solve -4*v + 2 = g*n, -6*n + w = -3*v - n for v.
-2
Let b = 6 + -21. Let s be (0 - 1)/(5/b). Suppose -2*y + o + 2 = 0, 5*y + 0*y - s*o - 3 = 0. Solve 3*c = -2*x + y, 0*x + 4 = 4*c - 4*x for c.
1
Suppose -5*i + 176 = 3*i. Solve -5*u - j = -i, -3*u = j + j - 9 for u.
5
Suppose 5*p = p + 16. Solve 2*q - p*b = -14, -4*q - 1 - 9 = -2*b for q.
-1
Suppose 1 = 3*d - r, -2*d - 25 = 3*d + 5*r. Let n be d/(-4) - (-44)/16. Solve 0 = 3*x + x + 2*q + 24, -4*x - 4 = -n*q for x.
-4
Let a be 74/4 - 4/(-8). Suppose 7 - a = -3*t. Solve -7*i + t*d + 4 = -3*i, -10 = -4*i - 2*d for i.
2
Suppose -35 = 5*w - 5*t, 0 = -4*w - 4*t - 59 - 9. Let q be (-45)/w*8/3. Solve 0*i + 10 = 3*i + 5*p, -2*p + q = 0 for i.
-5
Suppose -5*j = -0*j - 65. Let n = -85 + 90. Solve -3*p - 27 = 3*d, -n*p - j + 3 = -2*d for p.
-4
Suppose -y + 19 = 2*q + 5, 0 = -2*y + 5*q + 1. Let m = -3 + y. Solve 4*w + 5*d = 8, m*d = -0*w - w + 17 for w.
-3
Let t be 9/(-4) + 2/8. Let r be (-96)/9*9/t. Suppose -o - 3*o = -r. Solve 5*q = -3*b - 5, -b + 2*q + 1 + o = 0 for b.
5
Let r(l) = l**3 + 4*l**2 - 3*l - 2. Let m be r(-4). Let y(f) = -2 + 1 - m*f - 4 + 9*f. Let g be y(-5). Solve u + 4*v - 10 = g, u - 2*v = -v for u.
2
Let t be (-5)/(1 + 2/(-1) + 0). Solve t = 4*j - 7, 3*j - 3 = 3*f for f.
2
Suppose -2*l - 12 = -16. Solve -2*z - j = 3, 3*z - 3*j = -l*j + 3 for z.
0
Suppose -4*t