for n.
-2
Suppose -r = -4*l - 8 + 18, -2*l = -2*r - 2. Suppose 11 = z - 2*j, 4*z - 3 - 21 = l*j. Solve 2*v - 20 = 2*o, -3*o + 4*o - 10 = -z*v for o.
-5
Suppose 0*k = 4*k + 2*u - 26, 3 = 2*k - u. Let l be 3*(1 + (-10)/(-6)). Suppose 3*c = 1 + l. Solve -k*t = -c - 1, o - 5*t = 0 for o.
5
Let r = 23 - 18. Solve k - r*b = -b + 18, -4*k - 5*b - 12 = 0 for k.
2
Suppose -3*s = s - 16. Suppose -s*i + 50 = i. Let w be (-3)/(-15) + 38/i. Solve -3*r + 4*h - 13 = -h, -11 = 3*r - w*h for r.
-1
Let y(a) = a - 1. Let h be y(1). Suppose p + h*p = 10. Suppose f - p = -0*f. Solve 4 = -2*i - 2*n, -3*n + f + 4 = -i for i.
-5
Suppose h + 5 = 2*n + n, -4*h + 8 = -5*n. Suppose -11 - h = -i. Suppose -10 = -p + i. Solve -3*m = -5*k - p, 0 = 2*k - 5*k - 5*m - 10 for k.
-5
Let j be (7 - 11)/(-7 - -1)*12. Solve 0 = u - 4*z + j, 21 = -2*u + 5*u + 3*z for u.
4
Let v be 0/(0 + (-2 - 0)). Suppose 3 = k - v*k. Solve 4*f - 5 = 2*o - k, 0 = 2*f + 4*o + 24 for f.
-2
Suppose 0 = -6*q + 4*q + 2*b + 22, -2*q - 3*b + 42 = 0. Let o = 2 + q. Solve 0 = 4*g + y - o, 0 = -0*g + 5*g - 4*y - 37 for g.
5
Suppose y + 1 = 4*n - 0, -3*n - 3*y - 3 = 0. Suppose -5*m + 2*m = n. Solve 5 = -3*g - 0*w + w, m = -2*g - w + 5 for g.
0
Suppose 0 = 4*a - 5*m + 46, 46 = -5*a + m - 1. Suppose p + 3 = -n, p + 3*n = -n + 6. Let c = p - a. Solve 0 = -4*x + 2*h - 16, -5*x - 2 = -h + c*h for x.
-2
Let f be 0/(4/(12/(-9))). Suppose f = -3*n + 2*n + q, -2*n - q + 12 = 0. Solve 5*w + 0*a = 3*a + 13, -n*w = -5*a - 13 for w.
2
Let g = 36 - 28. Solve -h = t - 3*t - g, -3*h + 5*t = -19 for h.
-2
Suppose -3 + 13 = 2*w. Let g be (-1 + 1)*(-2)/(-4). Suppose 0 = -2*f - g*o - 5*o + 26, -5*f - 5 = -5*o. Solve 0 = -m + f*l + 7 + 4, 2*m - 20 = w*l for m.
5
Let n = -25 + 45. Suppose 0 = 4*s - n - 60. Suppose 14*p + 2*p - 80 = 0. Solve r = 5*y - s + p, -y + 3 = -3*r for y.
3
Suppose -16*x = 5*x. Solve 9 = 2*z + a, -2*z + a + 3*a + 14 = x for z.
5
Let r be (12/20)/((-2)/(-30)). Let b be (r/6 + 0)*4. Suppose -4*i + n + 4 + b = 0, 4 = 5*i + 3*n. Solve -o + 5*w = 4*o - 35, 21 = -i*o - 5*w for o.
2
Let h be -1*2*6/12. Let i be (9/h)/(-3) + 1. Let z be (1/(-2))/((-1)/6). Solve 2*k + z = n + 1, 3*n - i*k = 4 for n.
0
Suppose -6*t + t = 3*b - 6, 5*b + t = 10. Let l be (8 - b)/(3/2). Suppose -5*c + 4 + 6 = 0. Solve -2*a = -l*w + 4, -2*w + 2*a = -3*a - c for w.
1
Let a(p) = p**2 + 3*p - 1. Let l be a(-4). Suppose -l*d + 2*b = -d + 4, 5*d + 2 = b. Let i be (2 + 15/(-6))*d. Solve 0 = -0*j - j - t - 5, 5*t = i for j.
-5
Let l(v) = -v - 3. Let s be l(-7). Solve -10 = -t - 4*n, 3*n - 2*n = -t + s for t.
2
Let v = 45 - 35. Solve -5*b + 3*o + v = 0, 0 = 5*b - 4*o - 6 - 4 for b.
2
Suppose 5*d - 3*v - 20 = -6*v, -3*d + 4*v + 41 = 0. Solve f - 6*f + d = q, q + 7 = 2*f for q.
-3
Let i = 10 + -10. Suppose i = -0*h + 4*h. Solve 13 = 5*j + 4*c, 4 = -2*j - h*c + 3*c for j.
1
Suppose -1 = 3*z + 2*h, 7 = -3*z + 5*h + 41. Solve 0 = 3*j + 5*x - z, 2 = 5*j + 3*x + 13 for j.
-4
Suppose 3*t - 18 = -0*t - 3*x, -11 = -2*t - 3*x. Let s = t + 1. Solve 0 = -n - 3*c - s, -6*c + 3*c - 9 = 0 for n.
1
Suppose 2*d + 2*d - 8 = 0. Solve 2*z - 14 = -d*q, -q + 4*q = z + 5 for q.
3
Let i = 1 + 1. Suppose -16 = -8*z + 4*z. Solve i - 17 = -z*v + 3*o, -2*v = o + 5 for v.
0
Let i be -3*(-1)/(3/4). Suppose -i*u + 22 = 2. Let g(q) = q**3 - 33*q**2 - q + 35. Let k be g(33). Solve -5*j + 9 = 4*v, -3*j + 33 + k = -u*v for j.
5
Let n be (1 - -1)/((-14)/(-77)). Suppose 0 = 3*w - n + 2. Solve -r + 14 = -3*h, -3*r - 29 = -7*r + w*h for r.
5
Suppose 0 = 7*g - 2*g - 5. Let x be 1 - (1 - 0/g). Solve -3*a - 2*r + 4 = x, -5*a - 4*r + 8 = -a for a.
0
Suppose 2*j = 7 + 5. Let w(m) = m**3 - 5*m**2 - 5*m + 1. Let d be w(j). Solve -z + 2*a + d = 0, 0 = -a - 2 - 3 for z.
-3
Let t be 232/(-12) + 2/6. Let y = t - -33. Solve 5*z + 18 = 2*x, 0 = 2*z - 2*x - 2 + y for z.
-2
Suppose z + 9 = 2*z. Let o = z + -6. Solve -2*r - 5*i + 3 - 4 = 0, -i = o*r - 5 for r.
2
Let c(t) = -t**2 + 6*t + 7. Let f be c(7). Suppose f*n = 5*n + 40. Let s be n/(-28) - 52/(-14). Solve -s*g = l, 5*l = -g + 6*g for l.
0
Suppose 0 = -5*o + 4*z + 23, z = -z - 4. Let p = -16 - -52. Suppose -p = g - o*g. Solve -2*q = 5*b - 9, 6*q - 2*q = 2*b - g for q.
-3
Let p be (-32)/(-6) - (-24)/(-72). Solve 2*y + 9 = 5*y + 3*a, -p*a + 9 = 3*y for y.
3
Let c be (9/(-2))/((-6)/24). Suppose 5*a = -4*x + c, -2*a - 3*a = -10. Solve 0 = u + 4*u + 5*f - 25, 4*u = x*f + 20 for u.
5
Let b be (-3 - 11)*(-20)/14. Solve 3*t + t = -b, -t = -2*r + 7 for r.
1
Let m(d) = -d + 5. Let u be m(3). Solve -1 = -u*g + 5*n, 2*n + 11 = 4*g + n for g.
3
Let p be (-4)/(-14) + (-519)/(-21). Let l = 16 - p. Let g be (0 - 1)*(0 + l). Solve g = -q - 0*b - b, -21 = q + 4*b for q.
-5
Let p be (4/3)/(2/3). Suppose p*r + 10 = 2*k - 0*r, 4 = -r. Let y be (-1)/2*-6*k. Solve 5*o - 3*i - 15 = 2*i, -y*o + 10 = -4*i for o.
2
Suppose -r = 4*r - 20, 2*f - 22 = -2*r. Let l be 30/21 - 3/f. Solve 4*h = -s - 4, h + l + 1 = 0 for s.
4
Let z(v) = -v**2 + 5*v + 6. Let l be z(6). Suppose -3*n + l = -6. Solve -2 + 8 = n*a - 4*c, -2*c = 3*a + 23 for a.
-5
Let y = -1 + 9. Suppose 0*p + y = 4*p. Solve -1 = i + 3*h - 5*h, p*i = h - 8 for i.
-5
Suppose 24 = 5*v + 9. Solve -4*m + 0 = 3*q - 4, 3*m = v for q.
0
Let a = 11 + -7. Solve 5*o + 34 = -0*z + 3*z, a*z - 27 = 3*o for o.
-5
Suppose 2*g = -3*g. Suppose 0 = 6*h - h. Let i = 3 - 0. Solve g = -h*k + 5*k + i*r + 14, 0 = -5*k - 5*r - 10 for k.
-4
Let s = 2 - -18. Suppose -26*i = -24*i - s. Solve 6 = -0*v - 2*v + 3*r, 5*v - i = -5*r for v.
0
Let i(p) = p**2 + 3*p + 2. Let z be i(-3). Suppose 2*t = -2*t + 8. Let w(d) = -d**2 - 4*d + 3. Let c be w(-4). Solve -5*s + 14 = t*q, z*s + 5*q = c*q + 8 for s.
2
Let o = -2 + 14. Let k be o/4 - (-1 - -2). Solve -5*l - 26 = -4*v, -k*v = 5*l - l for l.
-2
Suppose 0*x - 6 = -2*x. Suppose l + 1 = x. Let b be (1 - 1)/(-15 + 11). Solve c - 3*h = 4*c - 3, -l*c + 4*h - 10 = b for c.
-1
Let c(a) = -a**2 - 12*a - 15. Let g be c(-10). Solve v + 15 = -4*p, -p - g*v = 2*p + 24 for p.
-3
Let p(b) = b**2 - b. Let k(c) = -c**2 - c + 1. Let d be k(1). Let f = d - -5. Let t be p(f). Solve 3*o + 11 = -s, 3*o - 4*s - t = -o for o.
-2
Suppose 318 = 3*h + 3*v, 4*h + v - 213 = 223. Let r be -6*(h/12)/(-11). Solve 5*s - 4*d = -0*d + 5, -r*s + 5 = 3*d for s.
1
Let r be (-1)/(1 + (-6)/4). Solve -5*c = -2*v + 27, -r*v + 6*v = 3*c + 19 for v.
1
Suppose -5*k + 0*k = -g + 7, 2*k + 1 = g. Let f = 4 + k. Let h be (-1)/(2 + 9/(-4)). Solve f*s = 4, -h = 2*t - 4*s + 4 for t.
0
Let f(v) = -v**2 - 5*v - 3. Let m be f(-3). Suppose 0 = 3*n - 5*h - 13, -m*n + 14 = -n + 2*h. Solve -g + n*g + 29 = -3*s, 5*g - 2*s + 14 = 0 for g.
-4
Suppose c - 5 = -0. Solve g = -c*a + 8, a - 2*g + 8 = g for a.
1
Let d be (1 + 0)*(-3 - -5). Suppose 0 = -b + 3, -1 = d*u - 4*b + 3. Suppose 5*k = t + u*t - 5, 2*k - 13 = -3*t. Solve -3*f = -4*s - 7, t*s = -7 - 5 for f.
-3
Let j = -32 - -36. Let r be (-10)/(-1)*4/10. Suppose t - 5*s = -3 + 9, -t + r*s = -8. Solve -3*i + t = -g, -i + 16 = j*g + 3*i for g.
-1
Suppose -37 = -5*n + 3. Suppose 24 + n = 4*b + i, 4*b - 4*i - 52 = 0. Solve -4*u + b*u + 2*l - 19 = 0, -u = -4*l - 17 for u.
5
Let a be (-3)/15 + 357/35. Solve 0 = -3*y + 2*k + 1, 6*k + a = -2*y + 2*k for y.
-1
Let n be (-2)/8 + (-36)/(-16). Solve 0 = -5*h - x - 4, -n - 4 = 5*h - x for h.
-1
Suppose 0 = 2*r - 3 - 5. Let i be -1 - (-2)/(-2) - -5. Suppose 4*u + 2*a = 22, u + i*a - 5 = 3. Solve 2*f + j + 5 = r, j - 6 = u*f for f.
-1
Suppose -4*w + 11 = -0*w - q, -5*w = q - 16. Suppose -2*k = w*c - 11 - 16, 0 = -4*c - 5*k + 29. Solve 5*l - 7 = -4*x + 25, -5*x + l = -c for x.
3
Let z = -55 + 60. Solve 3*k + 6 = 5*n - 3, -n - 7 = -z*k for n.
3
Let q(z) = z**3 - 5*z**2 - 6*z + 2. Let t be q(6). Suppose 2*i + 5*d - 24 - 39 = 0, -66 = -4*i + t*d. Solve 2*l = l - r + 7, 2*l = -3*r + i for l.
2
Suppose 4*r - 13 + 1 = 0. Let l be (2/(-1) + 1)*-5. Suppose 5*a + 16 = 2*j, -j + l = -3*a - 4. Solve 0 = r*g + u, 6*g + j*u = g for g.
0
Suppose -3*t - 2 = 4. Let z = 0 - t. Solve z*s + 3*g = -4, 4*s + 2*g + 4 = -2*g for s.
1
Let y(m) = m. Let a be y(4). Suppose 0 = -a*n + 3*n + 3. Solve 0 = -4*t - n*p + 9 - 2, p = 5*t + 15 for t.
-2
Let w be ((-6)/(-4) + -2)*0. Let f be (w - 0)/((-6)/(-3)). Solve -4*j = -5*a - 17, f*a - j + 2 = a for a.
-1
Suppose 0 = r - 0*r - 6. Suppose -3*k = -0*z + 4*z