 m = 7*s - 10*s for l.
-4
Suppose -5*x + 13 = f - 3, 10 = 4*x - 2*f. Suppose -x*v + 31 = 5*b, -b = -v + 4*v - 11. Solve -b*n + 1 - 4 = -2*h, 4*n = -5*h + 24 for h.
4
Let u = -6 + 5. Let y be u/(-3*(-4)/(-72)). Let g be ((-14)/y)/(14/(-210)). Solve 5*o - g = 5*l, 3*o = -l + 4 - 3 for o.
2
Let x(r) = r**2 + 2*r - 3. Let c be x(3). Let p = -1 + c. Let u = 20 - p. Solve -q = 3*k - 3, -u = 2*q - 3*k + 3 for q.
-3
Let y(o) = -4*o + 5. Let g be y(-5). Solve -4*p = -5*j - g, 2*p - 7 = -3*j - 0*p for j.
-1
Suppose 4*p - n - 84 = -p, -p - 5*n = 4. Solve -2*i = -10, 0 = 4*w - p*i + 17*i - 21 for w.
4
Let w = 274 - 273. Solve -3*n + 5*n + 1 = -b, -n = b + w for n.
0
Let p be ((-32)/(-20))/(6*(-1)/(-15)). Solve -5*d + 6*d + 5 = -3*n, 32 = 5*d - p*n for d.
4
Let j(f) = -f + 10. Let c be j(-8). Let d be 9/21*7 - 0. Solve h - 2*b - 2*b = -c, 5*h = -d*b + 2 for h.
-2
Let p = -67 + 87. Solve -p = -5*o, 4*d + 4*o - o - 32 = 0 for d.
5
Let q(w) = -2*w - 3. Let l be q(-3). Let y = 38 - 28. Let c be (-4)/y*(-7 - -2). Solve -1 = -b + j, j = c*b - l*j + 4 for b.
4
Let y = 6 + -1. Suppose 5*m = -5*v + 50, -80*v = -78*v + 5*m - 41. Solve 0*k - 11 = -y*k + 3*g, 5*k = -g + v for k.
1
Suppose 2*c + 32 = 2*w, 2 = 2*w - 5*c - 36. Suppose 5*p - w = 16. Suppose -6 = -p*j + 6. Solve 12 = -3*f + m, -5*m - 2 - j = f for f.
-4
Let i(r) = -7*r - 245. Let x be i(-35). Solve -2*p + 0 = -3*m - 2, -5*m - p + 1 = x for m.
0
Let p(x) = 2*x**3 - 23*x**2 - 11*x - 3. Let d be p(12). Solve -2*r - 7 = 4*n + d, -1 = -r + n for r.
-2
Let v be 30/(-4)*(-38)/57. Suppose 33 = g - v*l + 3, 52 = 2*g - 2*l. Solve r + 2 = 5*j - g, 3*j - 25 = 5*r for r.
-2
Let j = -52 - -41. Let d = 15 + j. Solve -4*g = -5*q - 7, 6 = -2*q - 2*g - d for q.
-3
Let k(n) = n**2 - 27*n - 9. Let h be k(28). Solve 0 = 2*c + 2*f - 6, -3*c + 2*c = 5*f - h for c.
-1
Let a(h) = -h**3 - 8*h**2 - 3*h + 4. Let t be a(-7). Let i = -23 - t. Solve 3*z = -y - 3, z + 4*y = -y - i for z.
-1
Let w = 1810 + -1806. Solve w*t = 4*m - 4, -t - 5*m - 4 - 9 = 0 for t.
-3
Suppose 10*j = -4*j. Solve 4 = y - 2*v, 0*y - 2*y - 3*v - 20 = j for y.
-4
Suppose 3*b + 26 = 16*b. Solve -5*r + 5 = 0, 0*r + 2*r = l + b for l.
0
Let v(i) = i + 9. Let t be v(-6). Suppose -2*x = t - 7. Let f(a) = -a**3 + 2*a**2 + 3*a - 1. Let g be f(x). Solve 17 = -5*k + g*p - 3, 0 = -k - 3*p + 12 for k.
0
Let d be (-4)/(-7) - 76/133. Solve -3*g - n = -4*g - 2, -4*n + 20 = d for g.
3
Let n(j) = -j**3 + 3*j - 4. Let y be n(-3). Let d = y - 11. Solve 2*b = 3*i - d, -b + 5*i - 1 = b for b.
-3
Suppose -4*b + 0*d = 3*d - 13, b = -4*d. Solve k - 5*a + 23 = b, -3*k - 5*a = -23 for k.
1
Let b(q) = -5*q**3 - q**2 - 2*q - 2. Let i be b(-1). Suppose 0 = -21*o + 37*o - 80. Solve -z - 1 = 5*h, 5*z - i - 21 = o*h for z.
4
Let c(z) = -4*z - 15. Let p be c(-5). Let r be (-88)/(-28) + p/(-35). Solve b + 2*o = -1, 2*b + 3*o + r = -0*o for b.
-3
Suppose -33 = -3*l + 21. Let i be (2 + 24/(-10))*-65. Let u = i - l. Solve 0*w + 4*q + 12 = 3*w, 3*q = 2*w - u for w.
4
Let y = -793 - -798. Let r be -3 - -2 - 0/1. Let s = r - -1. Solve -14 = -2*q - u, 40 = 4*q - s*u + y*u for q.
5
Let m = 185 + -185. Solve m = -h - 0*h - 5*j - 22, 8 = -4*h - 4*j for h.
3
Let i(w) = 2*w + 5. Let c be i(-22). Let g = -37 - c. Solve -5*r = -5*a - 25, 3*r = -2*r - g*a + 11 for r.
3
Let a be (2/2*-1)/((-4)/184). Let h = -18 + a. Suppose -5*w + 6 = -19. Solve r - h = w*x, -4*x + 6 - 26 = 0 for r.
3
Let k = 1308 - 1303. Solve 5*y - 3 = 2*x, -y = k*x - 9*x - 15 for y.
-1
Let s be 16/56 + (-284)/14. Suppose 5*n + 4*j + 44 = 2*n, 3*j = n - 7. Let c = n - s. Solve -2*z - c = 3*a, -2 + 6 = -a for z.
0
Let i = 15 - 17. Let q be (26/6)/(i/(-6)). Suppose 0 = y - q - 1. Solve 3*o + 26 = 5*l, 3*o - l = l - y for o.
-2
Let a(j) = 13*j + 3. Let w be a(1). Solve g + 0*q = 3*q - w, 4*g - 5*q + 36 = 0 for g.
-4
Let y(u) = 2*u + 15. Let t be y(-5). Solve w + r = 0, 3 = -4*r - t for w.
2
Suppose -3*r - 2*m + 10 = 0, -3*r - 3*m - 3 = -9. Solve -5*g + h = r*h, -3*g + 10 = h for g.
5
Let l(w) = 0 - 6 + 0*w + 2 + w. Let o be l(6). Solve -3*y + 4 = -o*y + 5*t, t = -4*y - 3 for y.
-1
Let k(o) = 20*o + 286. Let t be k(-14). Solve -3*p + 18 = 5*a + t, p - 5 = -2*a for p.
-1
Let t be (-90)/36 - 55/(-10). Solve 10 = -w - t*k, 5*k + 0 = -5*w - 30 for w.
-4
Let q(f) = -2*f**3 + 4*f**2 - 4. Let j be q(3). Let y be (-1 - -1)*11/j. Suppose 4 = -y*b + b. Solve 4 = -o + 3*g, 4*g - 10 = 3*o - b*o for o.
2
Suppose -14 = -2*n + 3*u - 3, 4*n = 2*u + 34. Suppose -6*j + 142 = n. Solve -5*p = f + j, p - 3*f = 5*p + 11 for p.
-5
Suppose -55 = 13*t - 24*t. Solve 2*o = -l + t, 3*o + 4*l = o + 20 for o.
0
Suppose 3*g - 5*o = -1, 3*o - 11 - 4 = -3*g. Suppose -2*k = 3*k - 25. Suppose k*v + 27 = 2*b, b - 5*v = 12 - 1. Solve g*u + 5*m = -b, 4*m + 8 - 2 = u for u.
-2
Suppose 0 = -9*g + 117 + 153. Let j be (g/(-4))/(3/(-2)). Solve 2*w = 7*w + 5*q - 40, 0 = -w - j*q + 20 for w.
5
Suppose 4*d - 15 = -3*v, 3*d + 6 = v + 1. Suppose d = 4*z - z. Suppose z = -5*g + 3*y + 21 - 5, 0 = 2*g - y - 7. Solve 10 + 7 = -5*s - i, -g*s - 9 = -3*i for s.
-3
Let o = -464 - -467. Solve -3*c + 20 = 5*q - c, 5*q - 20 = -o*c for q.
4
Suppose 3*d + 216 - 229 = -4*y, -5*d + 18 = 3*y. Let j(w) = w**2 - 3*w + 2. Let q be j(2). Solve -2*n + 5*l + 9 = q, -3*n + 2*l + 2*l + d = 0 for n.
-3
Suppose -7 = -3*f + 17. Let d = 9 - f. Let j be (d/(-4))/((-2)/8). Solve 25 = -4*u - 3*s, -u + 3*u - 3*s = j for u.
-4
Let d = 2081 - 2063. Solve -5*o + 9 = 2*h, d = -0*o + o - 5*h for o.
3
Let h = -13 + 2. Let r = 18 + h. Let c = 10 - r. Solve -c*i - 3 = f - 2*i, 0 = 4*f + 2*i + 12 for f.
-3
Let m = 59 + -140. Let n = m + 88. Solve 3*r = -2*l + n, 2*l = -2*l - 3*r + 17 for l.
5
Let n = -8 - 2. Let d be (-24)/n + 8/(-20). Suppose 5*w - d = 13. Solve 3*v - w*l - 3 = 3, -2*v + 5*l + 13 = 0 for v.
-1
Let w(t) = 2*t. Let h(u) = -u**3 + 5*u**2 - 6*u + 6. Let k be h(4). Let m be w(k). Let c be (2/m)/(5/(-20)). Solve c*i + 4*f + 12 = i, 0 = 3*i + f + 14 for i.
-4
Suppose -11*g + 24*g = 17*g. Suppose 0 = 3*f - 6, f = x - g*f. Solve -b + 7 = 2*h, -x*h + b = -2*b + 5 for h.
2
Let q be -10 + 9 + 7 + 2 + -4. Solve x + 1 + 0 = 4*d, 2 = -q*d + 2*x for d.
1
Let h be (44/10 + -4)/(3/15). Solve -5*y - 15 = h*f - 0*f, f - 12 = 4*y for y.
-3
Let l(h) = h - 13. Let z be l(4). Let g be 5/(-15) + (-48)/z. Solve -8 = 2*u + 2*o, -g*u - 5*o - 19 = -o for u.
-3
Suppose 2*t - 2*x = 2 + 4, -t - 3*x = -7. Solve f - 4*m = t, 0 = 4*f + f - m - 20 for f.
4
Let y(z) = 3*z**3 - 76*z**2 + 26*z - 23. Let c be y(25). Solve 3*r - v = 11, c*r = 4*v - 6*v - 6 for r.
2
Suppose -w = -0*w. Let m be (-1 - w)*3/(-3). Let o be (0/(-2))/(m - 3). Solve o = 5*c + 25, -b - 5*c - 30 = -6*b for b.
1
Suppose 0 = 4*q - 4*y - 48, 0 = -4*y - 23 + 3. Suppose -3*w = -q - 20. Solve -2*c - 3*g + 12 = c, w = 4*c - 3*g for c.
3
Let w = -2670 + 2674. Solve w = -4*q + 3*j, 4 - 8 = 2*q - j for q.
-4
Let u be 12/(5 + -9 + 8). Solve u*q - 9 = -2*f + 5*f, -2*q + 10 = 0 for f.
2
Suppose -41 = 4*g - 73. Let z = 4 + -2. Suppose -l - 3*d + 0 = z, -4*l - 4*d = -g. Solve 2 = -3*i - 2*n, 3*i + l*n = -2*i - 2 for i.
-2
Suppose -4*o + i = 6, -5*o - 1 = 2*i - 0. Let k = o - -1. Let s = 67 - 65. Solve k = 6*m - s*m, -5*l + 5*m = -15 for l.
3
Let d be (-4)/5*(-7 + -8). Suppose 3*n = 3*l + 6*n - d, -3*l = -3*n - 12. Solve -l = 2*z, -3*g + 8 = -g + z for g.
5
Let i = 105 + -61. Suppose i*v - 2 = 43*v. Solve v - 18 = -3*t - h, 2*t = -h + 12 for t.
4
Let y(l) = -l**3 + 25*l**2. Let f be y(25). Solve 3*o - 1 = 5*k + 5, f = -2*o + 5*k + 4 for o.
2
Let p(z) = -z**3 + 5*z**2 - 7*z + 21. Let r be p(4). Solve 2*w - 10 = 5*o, 1 = 4*o - w + r for o.
-2
Let h(t) = t**2 - t - 1. Let x be h(-2). Let v be 4 + -8 + (6 - -2). Solve u + x*a - 14 = 0, 5*a + v = 3*u + a for u.
4
Let o be (-9)/(-3) + (-11)/33*3. Solve 5*u = 4*q + o*u + 8, -2*q + 3*u = -2 for q.
-5
Let s(w) = 3*w**2 - 4*w + 3. Let y be s(1). Suppose -6 + 2 = -y*a. Solve 0*p + 2 = -a*i + 4*p, -i + p = -1 for i.
3
Suppose -10 = 8*g - 26. Solve 0 = j + 3*v + 1 - g, 8 = -2*j - v for j.
-5
Suppose 0 = -46*f + 10 + 36. Solve 5*i = b + f - 12, -b - 4*i - 7 = 0 for b.
1
Let g = 26 + -24. Suppose -4*t = -g*x - 14, 3*x = 5*t + 5*x - 22. Suppose 3*b - 12 = 0, -4*a - 6*b + b = -44. Solve -t*d = 3*w - 16, -4*w - 2*d + 24 = a for w.
4
Let z be (5/(-4))/((-7)/56). 