-l. Let v be c(4). Let u = -2 - v. Let z = 9 - 7. Solve u*n - t - z = 3, 0 = -t - 1 for n.
2
Let v be (-7)/((-21)/6)*1. Suppose 0 = v*n - 3 - 1. Solve 2 = -q + 2*i, -n*q - 3*i + 4 = 1 for q.
0
Let n be 12/(-8) - 15/(-10). Suppose -5*k - 8 = -48. Solve -z - 3*j - k = -n*z, 0 = 5*z + 3*j + 16 for z.
-2
Let w be (-26)/(-8)*(-3 - 1). Let j be (4/6)/((-4)/(-6)). Let u = j - w. Solve -p - 4*p + u = 4*s, 3*s - 5 = -p for p.
2
Suppose -2*s = 4 - 12. Solve 0 = y - 2*d + 5 + 3, -y = s*d - 16 for y.
0
Let b be 4/2 + 92/4. Let h = 5 + -3. Solve -5*m = -n - h*n + 40, -n + b = -4*m for m.
-5
Let l(i) = -i**2 + i. Let m(a) = -9*a**2 + 4*a + 1. Let s(o) = 5*l(o) - m(o). Let c be s(1). Solve c = 4*z - 4*k, -5*k - 13 = z + 2*z for z.
-1
Let c(j) = -j**3 - j**2 - j + 26. Let p be c(0). Suppose -2*k - 2*m + 30 = -0*m, 0 = -2*k - 3*m + p. Solve 8*b - 3*b - 3*x - 27 = 0, 5*b - x = k for b.
3
Suppose 2*w + 3*w = 2*s + 3, -3*s + 4*w + 13 = 0. Let x be 1/(-4) + (-30)/8. Let p = x - -7. Solve -p*f - 2*j = -3*j - s, f = -2*j - 1 for f.
3
Let k = -6 - -6. Suppose -5*m = -5*h + 25, k = -0*m + 4*m. Suppose -7 = -h*n + 3. Solve 5*v = -4*j + n*j + 23, 5*j = 4*v + 8 for v.
3
Suppose -2*u - 4*u + 18 = 0. Solve -3*s - u = -3*g - 21, 3*g = -9 for s.
3
Suppose -2*l - 4*g + 72 = 2*l, 3*g + 93 = 4*l. Let i be ((-8)/(-12))/(6/9). Let j be 1*i*(-6)/(-3). Solve j*o + c = -9, -4*o = 4*c + c + l for o.
-4
Let v = 28 - 52. Let n = v + 26. Solve n*y = -u + 1 - 5, 0 = -u + y - 4 for u.
-4
Suppose -t = 2, 0 = y + t + 4*t + 8. Suppose -4*g + 5 = 3*b - 6*b, b - 5 = 0. Solve -g*x - 15 = -2*a + 13, -16 = y*x - 2*a for x.
-4
Let u = 11 - 8. Solve u*v = 4*s + 15, s = -3*v - 0*s for v.
1
Let m = -10 - -6. Let a be ((-2)/m)/(2/16). Suppose -5*g + 0 = b + 3, a*g = -4. Solve -2*u = b*h + 12, -2*u - h - 1 = 10 for u.
-5
Let j be (-1 + (-1)/(-1))/(-4 - -2). Solve 0 = -5*t + 6*o - 3*o + 6, j = -4*t - 5*o + 27 for t.
3
Let x(a) = a - 4. Let d be x(4). Let r = d + 2. Suppose 6 = r*t - 0. Solve -2*j = 2*f - 4, -17 - 1 = f - t*j for f.
-3
Let h(p) = -p - 3. Let j be h(-4). Let n be (-2)/(-4)*0/j. Let a(c) = 3*c. Let g be a(1). Solve -g - 3 = -2*d + 3*i, n = -4*i for d.
3
Let t be ((-2)/2)/((28/16)/(-7)). Solve f + 3*f - 4*a + 8 = 0, -3*f - t*a = 27 for f.
-5
Let h = 75 + -65. Solve -2*p = 2*b + b + 17, 4*p - 2*b = -h for p.
-4
Let s(g) = -2*g**2 + 3*g + 2. Let f be s(2). Solve -2*y - 4 = f, k + 3*y - 9 = 6*k for k.
-3
Suppose -3*j - 2*j + 10 = 0. Solve -j*m + 3 = 3*o, -o + 2*o - 8 = -3*m for o.
-1
Suppose -2*x - 10 = -3*n - 5, -4*x - 4 = -4*n. Solve x*v - 6 + 3 = 5*p, 2*v + 2*p = 10 for v.
4
Suppose 0*f - 3*n = -f, f + 3*n = 18. Let t be 2/(1 + f/(-15)). Solve 0 = t*a - 20, -5*a + 20 = -5*z - 0*z for z.
0
Suppose 6 = 4*m + 5*u, -2*u - u = -2*m + 14. Suppose m*l + 6 + 31 = b, 5*b + l = 80. Solve 0 = 2*d + d - 2*h - b, -4*d + 5*h + 25 = 0 for d.
5
Let c = -19 - -25. Suppose -c*v = -v - 75. Solve -3*r = x + r + v, 0 = -5*x + 5*r + 50 for x.
5
Let i be -2*4/60 + (-64)/(-30). Solve 5*t - 3*o - 11 + 27 = 0, -12 = i*t - 4*o for t.
-2
Let w = 15 - 4. Let x = 13 - w. Solve -s + x*n = 6*n - 18, -n = -5 for s.
-2
Let n be (-6)/(-21) + 38/14. Let x be ((-18)/(-3))/(n/2). Solve 20 = -4*d - c - 3*c, x*c = d for d.
-4
Let g = -44 - -63. Let x = g + -12. Let h = x + -4. Solve 0 = p - i + 6, -4*p + 2*p + h*i = 16 for p.
-2
Let k be (-70)/(-28) + (-2)/4. Solve -8 = -k*o + 5*f + 17, 5*f = 4*o - 35 for o.
5
Let p be 42/15 - 1/(-5). Let d be ((-3)/p)/((-2)/6). Solve 2*h - 2*y = 2, 0 = y + d - 1 for h.
-1
Let z = -9 + 17. Suppose 5*m - 32 - z = 0. Solve -u = -3*u + g - m, 14 = -2*u - 2*g for u.
-5
Let w(d) = 0*d**3 + 0*d - d**3 - 5*d + 1 - 7*d**2. Let n be w(-6). Let b = n + 9. Solve 32 = 3*p - 5*q, p = -b*q + 6 - 18 for p.
4
Suppose 0 = -10*k + 12*k. Solve k = -5*s + 5*x - 25, 0*s - s + 2*x = 8 for s.
-2
Suppose -2*w + 3 + 23 = 0. Let d = w - 9. Solve 5*t - 2*v - 3 = 0, -4*t + 8 = d*v - 0 for t.
1
Suppose -2*w + 4 = -6. Suppose -2*t - 12 = -w*t. Solve -2*b + t + 7 = x, -b + 6 = x for x.
1
Suppose 5*t - 24 = -2*v, 5 = -3*v - 4. Let o be t/21 + 4/(-14). Solve -2*u + 2*b = 6, -3*u - 2*b = -o*u + 9 for u.
-3
Let g = -9 + 14. Let i = -2 - -3. Suppose -2*q + g + i = 0. Solve -30 = -2*b - 5*o, -2*b + q*b + 4*o = 21 for b.
5
Suppose c = -0*c + 4. Solve -3*p + 5 = 2*h, -c*p - 2 + 17 = h for h.
-5
Let d(y) = -y**2 - 5*y - 6. Let m be d(-2). Solve m = 3*i + 2*i + 25, -5*s - 15 = -2*i for s.
-5
Let r(o) = o**3 - 12*o**2 - 13*o + 3. Let x(u) = -u**3 + 11*u**2 + u + 2. Let p be x(11). Let s be r(p). Solve -4*m = 2*w, s*m = 2*m - 4*w for m.
0
Suppose 0 = 5*t + 5 - 55. Let h be -12*(-2)/20*t. Solve -5*w + 40 = 4*x + x, -4*w + h = -x for w.
4
Let m(j) = 4*j + 21. Let k be m(-4). Solve -s = -1 + 3, s = k*r + 23 for r.
-5
Suppose -4*i + o = -13 + 4, 3 = -3*o. Solve 3*v = 7*h - 3*h + 11, 0 = 2*h - 4*v - i for h.
-5
Let x be 1*4/2 + -2. Let p be (x - (-15)/(-6))*-8. Solve 0 = 4*k + 5*b - 23, 5*k - p = -2*b - 4 for k.
2
Suppose -j - 101 - 58 = -5*z, -73 = -3*z - 5*j. Solve 5*f - 2*n = z, -f - 4*f = -3*n - 34 for f.
5
Let t be (9/(-6))/((-6)/8). Let z be 9 + (1 - 0/(-1)). Let a = 4 + z. Solve 2*w = -5*i + 4 - 21, 4*i + t*w + a = 0 for i.
-3
Let u(j) = j + 15. Let y be u(5). Solve -5*s + 4*x = x - y, 4*x - 20 = -5*s for s.
4
Let j = -4 - 0. Let q(h) = -h**2 - 5*h - 1. Let z be q(j). Suppose -8 = -2*i - s, 0*s = s. Solve 5*v = -z*t + 3*v + 1, 2*v + 6 = i*t for t.
1
Let h be (-110)/4*4/(-5). Suppose -3*f + 10 = -2*l - 0*l, 4*l + 18 = 5*f. Solve -y - h = s + 4*s, 14 = -4*s - f*y for s.
-5
Let b(w) = -w**2 - w + 9. Let m be b(-4). Let h(t) = t**3 + 3*t**2 - t. Let f be h(m). Solve -f*g + 5*o = 16 + 8, -2*o - 9 = 5*g for g.
-3
Let j be 3/(-2)*(-28 - -26). Solve -d + 6*y + 7 = 3*y, j*d + 2*y = 10 for d.
4
Let g(b) = b**2 - 7*b + 3. Let s be g(7). Suppose 13 = 2*o - 5*c, o - s*c + c = 6. Solve o*q - 12 = 0, 4*j + 15 = j + q for j.
-4
Let z = -86 - -90. Solve 2*h + 3*f - 2 = -f, z*f = -8 for h.
5
Suppose -3*z = 2 - 11. Solve -5*c - z*x + 7 = 0, c - 3*x - 6 = -19 for c.
-1
Let t(a) = -a**3 + 7*a**2 - 6*a + 2. Let j be t(6). Solve h - 3*h - 3*y = -10, 5*h = -j*y + 25 for h.
5
Let z be (-1*2/(-6))/((-2)/(-30)). Solve 4*s - 1 = z*s - 4*a, 5*a = 4*s + 15 for s.
-5
Suppose -55*m = -60*m + 85. Solve -5*o = 2*h - 25, 4*o + h - m = -0*h for o.
3
Let f(x) = 3*x**2 - 3*x + 3. Let z be f(3). Solve 14 = -2*t + 4*q, -t + z = 4*t + 4*q for t.
1
Suppose 0 = -2*j + 8 - 4. Solve m - 6*m = -2*c - 1, -j*c + 4 = 0 for m.
1
Let w be ((-3)/(-7))/(2/14). Suppose -w*s + 0*v + 12 = 2*v, 4*v = 0. Solve 4*x + 22 = 2*l, -5*l = s*x - 0*x + 15 for l.
1
Suppose 39 = 5*m - 1. Suppose 5*c = -0*c + 15. Let b be (c/6)/((-1)/(-4)). Solve -3*s + 10 - 2 = j, -b*s + m = 2*j for s.
2
Let o = 2 + -2. Suppose o*r = -r + 2. Suppose 3*d + 4 = 13. Solve 4*p - 2*f + 10 = d*p, -r*f = 3*p + 6 for p.
-4
Let k = -5 - -13. Let h(m) = -m**3 + 9*m**2 + 2. Let w be h(9). Solve -5*f + 4*p - k = 0, -4*f - 22 = w*p - 0*p for f.
-4
Suppose 5*x + 18 = 3*x. Let l = x - -24. Solve k + 5*a - l - 4 = 0, -5*k = 4*a - 32 for k.
4
Let n be 13 + (-3)/(-1) - 0. Solve 5*y + c - 18 = 0, 2*c + 2*c + n = 2*y for y.
4
Suppose -29 = -3*b - 4*g, 0 = 2*b + b - 2*g - 53. Let n = b - 15. Solve n = -4*k, 5*w - k - 4*k = 5 for w.
1
Let p be (4 - 11*(-2)/(-6))*15. Solve -3*f + 3*z = 6, -z + 2*z + 28 = -p*f for f.
-5
Suppose 4*x - 25 = 3*z, -4*z - 25 = -2*x - 5. Let f = z + 9. Suppose 1 - 7 = -k. Solve 0 = 3*h - h - 5*c + k, -2*h + c = f for h.
-3
Let b be 4 + 2 - (-4)/(-1). Solve 4*l = 0, 5*m + 9 = b*l - 6 for m.
-3
Let s = 29 - 26. Solve 5*y + 21 = -4*l, 5*y = -s*l + 2*l - 24 for y.
-5
Let w(f) = f**2 - 3*f - 1. Let v be w(-1). Solve -2*n + 5*p = -3*n + 17, 0 = -v*n + 4*p - 25 for n.
-3
Let u be (-65 - -1)*(-4)/4. Suppose -4*p + 0*n + u = 2*n, 0 = p + 5*n + 2. Let w = p - 13. Solve -b - 2 = -g, w*b - 10 = -0 for g.
4
Suppose g - q = 6, 2*g - 7*g - 4*q - 6 = 0. Suppose 0 = -3*n - 12 + 36. Let b(f) = 2*f - 12. Let t be b(n). Solve -g*k - 2*k + h = -13, 5*k - 11 = -t*h for k.
3
Let r(m) = 4*m - 3. Let b be r(7). Suppose 2*j - 15 = -3*j. Let u(a) = a**2 - 6*a + 7. Let g be u(5). Solve -g*h = -5*x + b, j*h + 4 + 6 = 2*x for x.
5
Let n(a) = -15*a**2 + 16*a - 24. Let b(h) = 7*h**2 - 8*h + 12. Let d(i) = -13*b(i) - 6*n(i). Let y be d(5). Sol