et m = 3 + 0. Suppose 2*a - 18 = -3*c, 3*a - 6*a - 5*c = -29. Let h be (0*a/9)/1. Solve h = -3*x + 2*n - m, n = -2*x - 5 + 3 for x.
-1
Let s = -125 + 127. Solve -s*m + z + 6 = -z, 3 = 5*m + z for m.
1
Let q(z) = z - 6. Let d be q(8). Solve 0 = v + 3, -2*v - 16 = 2*f + d*v for f.
-2
Let s(q) = -q - 3. Let c be s(-3). Let w = 43 + -22. Suppose -3*d = -c*d - w. Solve -u - r = -d, 5*u + r - 3 = 4*r for u.
3
Let n(h) = -h + 1. Let j be n(-6). Suppose 2*m = -2*c - 3*m - 9, -m + j = -4*c. Let y be 9 + 0 + 2/c. Solve -2 + 0 = t + g, 2*g = t + y for t.
-4
Let j be -1*(-2 - 0) + 1. Suppose -2*v + 6*v - 4 = 0. Solve -w = 2*f - j*f + v, -f - 3 = w for w.
-2
Suppose -25 = -5*j + 5. Let k = 10 - j. Solve 0*n - 2*n - 26 = -k*o, 4*n + 5*o = 13 for n.
-3
Suppose -5*f = -m - 2*m - 19, -2*f = -10. Solve 5*x + 30 = 2*q, -m*x + 24 = -3*x + 4*q for x.
-4
Let p(x) = x**2 + 6*x + 2. Let f be p(-4). Let i be (f/5)/(3/(-10)). Suppose i = 2*c - c. Solve 7*k + 23 = -5*l + 3*k, 8 = -c*k for l.
-3
Suppose 0 = -4*w - 3*o + 20, -5*w + o + 36 = 2*o. Solve -21 = -5*j + 4*v - 8, w = -2*j - 5*v for j.
1
Suppose 4*v - 5*v - u - 9 = 0, 3*v + u = -23. Let a = v - -10. Solve -h = 3*n + 6 + 14, -a*h - 15 = 0 for n.
-5
Suppose 3*y + 18 = -w, w + 3*y + 14 = y. Let l = 6 + w. Solve 4*a + 5*g - 19 = l, 0*a + 2*g = -2*a + 8 for a.
1
Suppose 4*n = 12 + 4. Let x be (3/2)/((-12)/(-32)). Suppose 2*o = -0*o + 2*a + 14, x*a + 20 = 0. Solve -7*m + o*m = -5, n*r = m + 7 for r.
2
Suppose v + 3*l = 9, 0 = l - 3*l + 4. Suppose 0*b - 3*b + 15 = 0. Suppose 0 = -4*a + 8, 3*a - 1 - 9 = -2*u. Solve v*s + u = b, 3*s = -4*m + 15 for m.
3
Let a(l) = l**2 + 8*l - 10. Let c be a(-11). Suppose -c + 7 = -4*u. Suppose u*o + 18 - 54 = 0. Solve -4*v - 11 = -3*r, 4*r + 3*v + o = 7 for r.
1
Let z(h) = 2*h + 1. Let i be z(6). Let n = 22 - i. Solve -n = 2*o - 0*o - 3*s, -11 = 3*o - 2*s for o.
-3
Let n(a) = 8*a - 25. Let k(b) = 5*b - 17. Let c(l) = -7*k(l) + 5*n(l). Let x be c(5). Solve q + 1 = -m, -m - q + 6*q - x = 0 for m.
-4
Let c = 32 + -29. Solve -2*q = -d - 1, -5*d + c*q - 11 = 1 for d.
-3
Let c be 1/(-3) + (-3)/(-9). Let v = -6 - c. Let x be 6/(-4) - 9/v. Solve x = 4*a, -d - 2*a - 1 = -0*d for d.
-1
Let r(k) = -k**3 - 3*k**2 - k + 1. Let j be r(-3). Suppose -j*u = -3*u - 3. Solve -4*h - 25 = u*y, -5*h - 8 + 0 = -4*y for y.
-3
Let z(a) = a**2 - 14*a - 15. Let y be z(15). Solve -2*m - 3*m = -5*p - 10, y = -4*p - 5*m + 37 for p.
3
Let h(p) = -2*p - 20. Let j be h(-14). Solve -o + 8 = -w, -3*w + 5*o - 42 = -j for w.
-3
Let t be ((-18)/10)/((-3)/10). Let g(z) = -3*z + z**2 - 2*z + t*z + 0*z**2. Let r be g(-3). Solve -d + r*d = -c - 20, -2*c = -10 for d.
-5
Let n be 1/1*-1 - -9. Suppose 3*c + t - n = 0, 5*t = -0*c + 2*c - 28. Let x = 49 + -33. Solve 2*y + z + 6 = 0, 2*z - c*z = 5*y + x for y.
-4
Suppose 0 = 6*u + 7 - 19. Solve -w = 4*l + 1, 2 + 0 = -u*l for w.
3
Let g be (-1)/4 + 9/4. Suppose -20 = g*o - 7*o - 5*w, -o + 4*w = -9. Solve 5*j + 5 = 3*b, 0*b = -2*b + 5*j + o for b.
0
Suppose 11*c - 14*c = -45. Solve 5*m + l + c = 0, 3*m + 3*l = m - 19 for m.
-2
Suppose -m - 11 = 4*f + 4, 0 = 5*m + 2*f - 15. Solve 0 = 3*d + 12, -m*p - d - 3*d = 36 for p.
-4
Suppose 0 = p - 2*g + 2, p = 4*g - 4 - 4. Suppose l + 3*l + 24 = 3*y, -4*l = -p*y + 28. Solve 3 = -3*q, y*w + 3*q - 15 = 2*q for w.
4
Let t(w) = -w**2 + 5*w + 5. Let i = 7 - 2. Let n be t(i). Solve n*x + 4*s - 2 = 0, 5*x - 9 = 2*x - 5*s for x.
-2
Let y be 6*5/2 + -1. Let o(c) = c**3 + 5*c**2 + 4*c + 5. Let z be o(-4). Suppose -z*m + 16 = 1. Solve y = w + m*f, 6*w - f = w + 6 for w.
2
Let v be (4 - (6 + -2)) + 3. Solve -15 = v*c, c - 2 - 1 = 2*q for q.
-4
Let v be (14/(-3))/((-10)/(-15)). Let l be (-2)/7 - 37/v. Suppose 5*b - 8 = b + f, b + l*f - 2 = 0. Solve 5*z = -t - 24, -7*z - 23 = 2*t - b*z for t.
1
Suppose -15 = q - 1. Let z be q/(-4 + 5 + -3). Let r = 12 - 7. Solve -z*p = -k - 3*p - 15, 0 = r*k - 2*p - 15 for k.
5
Let r = 4 - 1. Suppose 2*k = -r*k. Solve 0 = -c - 1, d + 3*c + 2 + 0 = k for d.
1
Let i(x) = -5*x + 6*x + 2 - 5. Let l be i(7). Let u = -2 + 2. Solve 4*p - 3*q + 2 = 0, l*p + q - 5*q = u for p.
-2
Let z(d) = d - 3*d**2 - d**2 + 5*d**2. Let w be z(-2). Solve 5*p = w*p, -3*a + 4*p = 3 for a.
-1
Suppose 0 = 5*b - 45 + 10. Suppose 5*f + b = 22. Solve -p - v = 1, 4 - 1 = -f*p - v for p.
-1
Let z be (16/10)/(-2) + (-19)/(-5). Suppose -5*m = -m - 44. Let g(p) = p**2 - p - 3. Let d be g(3). Solve v + 7 = -2*n, n = -z*n - d*v - m for n.
-5
Suppose 3*p - 3 = 4*j, j = -3*j + 12. Solve -2*x + u - p = 0, -2*u + 4*u + 5 = x for x.
-5
Let f = -9 + 12. Solve 0 = 4*m - 5*m + 2, f*v - 5*m + 1 = 0 for v.
3
Let z = 31 + -31. Solve -f + 5 = z, 4*f = -y + 4 + 20 for y.
4
Let f = -10 - -12. Let w(n) = -n - 3. Let r be w(-4). Let t be -8*(r + 6/(-4)). Solve b + 10 = -5*x - f*b, -t*x - 8 = 4*b for x.
-2
Let d(a) = -a - 10. Let n be d(-12). Solve m - 1 = -n*i + 3, -24 = -4*i + 2*m for i.
4
Let t(f) = 2*f - 22. Let w be t(10). Let r be w/((6/4)/(-3)). Suppose 0*a - a = 0. Solve -r*s = p + 18, 3*s + a*s = 2*p - 19 for s.
-5
Suppose 0 = -g + 1 + 3. Solve -5*s - 21 = -g*o, 9 = o - 3*s - 5 for o.
-1
Suppose -3*j + b + 10 = 0, -4*j - b + 15 = -2*j. Let z be -3*3/(-9)*j. Solve 3*q = z*w - 13, 0 = q - 3*w + 2*w + 3 for q.
-1
Let i be -1*1*23*1. Let s(f) = f**2 - 1. Let z be s(7). Let x = z + i. Solve -x = 3*c + 5*l, -3*c + l = 5 + 8 for c.
-5
Suppose 0 = s + 4*n + 8 + 21, 3*s + 4*n + 47 = 0. Let z = -7 - s. Solve -w - 4*h = z + 7, -3*w - h = 16 for w.
-5
Suppose 6*n + 302 = 1310. Let h be n/(-16)*4/(-6). Solve 0 = 3*z - 15, -y + 0 + h = z for y.
2
Let k = -6 - -7. Suppose 0 = u - k. Let c = u + 13. Solve p = -r + 5*r + 13, 2*r + c = 2*p for p.
5
Let i(x) = -x - 3. Let k be i(-5). Let s = 28 - 24. Solve -u + w = -2*u + s, 4*u - k*w - 16 = 0 for u.
4
Suppose 0*o + 4*o = 36. Let x be -17 - (3 - o - -3). Let f be (-4)/(-2) - x - 1. Solve v - 2*t = 2*v - f, -v + 4*t - 15 = 0 for v.
5
Suppose -3*y - 1 = -13. Suppose 20 = 4*q + y*x + x, 2*q = 3*x + 10. Solve g - q*f = 0, 0 = -4*g + 3*g + 4*f for g.
0
Let a(y) = 18 + 17 + y + 2. Let k be a(0). Solve 4*t - c - k = -6*c, 5*t = 3*c for t.
3
Let u be (-2*6/(-24))/(1/6). Solve y - u = -o, 0*o + 6 = 5*y - 4*o for y.
2
Let z = -3 + 3. Let i(j) = -j**2 + 4. Let x be i(z). Let h be (-21)/(-9) + 4/6. Solve -t + 2*t + 17 = x*y, t - h*y = -13 for t.
-1
Suppose -2*q - 3*b - 54 = -7*b, 0 = 5*q + 2*b + 123. Let h = q - -41. Solve -2*f + 5*g = h, 3*g + 0*g + 9 = -5*f for f.
-3
Let i be ((-42)/(-3) + 1)/1. Suppose -3*v - 3 = i. Let s = v + 10. Solve 2 = -2*u + 2*x, -15 = -u - s*x - 1 for u.
2
Let j be (-3 + 1)*20/(-8). Solve u = -2*f - 7, -5*u - f = 3*f + j for u.
3
Let v(u) = -u + 2. Let o be v(-2). Suppose -2*g + o*g = 10. Suppose -c + g*w = -27, -3*w + 4 = c + 17. Solve c*y + 0*y = 3*x - 4, -2*x - y = 9 for x.
-2
Let j = -3 + 8. Let b = 14 - 8. Let k(m) = m**2 - 6*m + 4. Let x be k(b). Solve 0 = -5*p + x*w - 12, 2 = j*p + w - 1 for p.
0
Let o be -1 - (-24 - 12/4). Solve -2*w = 5*t - o, w + 2*w + 3*t - 21 = 0 for w.
3
Suppose -5*w + 8 = 3. Solve -1 = 2*j + 2*o + w, -j + 4*o + 19 = 0 for j.
3
Suppose -4*p + 16 = 4*k, -24 + 6 = -4*k - 5*p. Solve 6*f = k*f - 2*u + 10, -u + 2 = -f for f.
1
Suppose 36 = 2*g - 10. Solve h - 2 = 3*c, -g = -5*c - 4*h + 2 for c.
1
Let m = -13 - -15. Solve 4*r + 18 - 3 = -n, 4*r + 18 = -m*n for r.
-3
Let t(f) = f**2 + f - 7. Let s be t(-4). Solve -j = 3*j - b + 3, -3*b + 9 = s*j for j.
0
Let m(d) = 2*d**2 - 5*d - 2. Let y be m(6). Let c = y - 22. Solve c = 4*r + 2*l, r + 2*l - 3 = -0*r for r.
5
Let b(y) = y**2 - 26*y - 24. Let s be b(27). Solve a - 21 = -2*p - 3*p, -3*p = -s*a - 9 for p.
4
Suppose x = -4*x + 20. Suppose -p - 2*w + 3 = -w, -x*p = 5*w - 10. Solve 2*n + 2*y + p = -1, 3*n - y = 7 for n.
1
Let i = 25 - 15. Solve -2*f - 5*l + l = -2, -5*l = -i for f.
-3
Let q = 4 + -1. Let i(a) = 16*a**2 + 0*a - 4*a + q*a - 1 + 4*a**2. Let y be i(-1). Solve 5*h - y = -5*p, 0*h = 4*h + 3*p - 11 for h.
-1
Let b(j) = 2*j + 9. Let f be b(-6). Let m be (f/12)/((-4)/32). Solve -5*c + u + 5 = 0, 2*c - m*u - u - 2 = 0 for c.
1
Let i = -15 - -18. Solve -i*q - 11 = -d, -4*q - 17 = -0*d + d for d.
-1
Let n(a) = -a**3 - 5*a**2 + 9*a - 5. Let m be n(-7). Let b = -15 + m. Suppose -2*x + b = x. Solve 0 = 2*d + r - x, -d = -2*d - r + 3 for d.
2
Let x(m