-t*k - 2*k for l.
-1
Suppose 0 = c - 2*c + 2. Suppose -c*k = 3*k - 2*m - 25, 0 = -m - 5. Suppose -w = k*n + 3*w - 31, n = w + 1. Solve 0*o + 10 = -5*o + n*x, 3*x = o + 6 for o.
0
Suppose 2*i - 3 = 3. Let r be 3/(1*-3)*-5. Suppose q - 20 = -4*d - r, -15 = 3*q. Solve 3*l = -d*m, i*m - 7 - 9 = -5*l for l.
5
Let n be 140/30 - (-2)/6. Solve 25 = -n*r - 2*k, 2*r - 7*r - k = 25 for r.
-5
Suppose 0 = -3*j + 7*j + 4. Let x = j - -3. Solve -15 = d + x*i - 6, 4*i + 24 = -4*d for d.
-3
Let u be 4 - 1/(4/(-12)*3). Solve -3*v + 7*z - 2*z = 37, -v - 29 = -u*z for v.
-4
Let y = -9 + 18. Suppose 2*j + j = y. Solve -h = -3*i + 2*i - 7, j*h - 9 = -i for h.
4
Let c(h) = 5*h**2 - 1. Let p(t) = t**3 + 7*t**2 + 5*t - 5. Let d be p(-6). Let u be c(d). Let z = u - 0. Solve 4*y = -2*n + z, -2*n - 6 - 5 = -y for y.
3
Let r = 12 - 7. Let t be -4*2/((-8)/r). Suppose 0 = 3*h - 12, 4*h + 19 + t = 5*n. Solve 0 = -p - 0*d - 3*d - 2, 4*d = -4*p + n for p.
4
Let k be 2 - (2 + -3)*-2. Solve 2*z + k*z - 5*y - 18 = 0, -2*y = z for z.
4
Suppose 3*p = 4*i - 11, 0 = -5*p - i + 4*i. Solve 5*n + 11 = 2*x, -p*n + 8*n = 5*x - 20 for n.
-1
Let s = -44 - -79. Suppose -5*w + 6*b + s = b, -w - 3*b - 13 = 0. Solve -g - 4*g = -2*j - 13, 0 = w*g - 2 for j.
-4
Suppose 5 + 1 = 2*b. Let u be (2 - 1)*(3 - b). Solve 2*x - 3*i + 4 + 2 = u, i + 8 = 4*x for x.
3
Let v be 42/8 + 18/24. Solve 5*d + 4*t + v = -3, -3*t = -5*d - 37 for d.
-5
Let v = 26 + -21. Solve -v*g - 5 = 5*w, -2*g = -0*g - 2*w - 14 for g.
3
Suppose -10 = z - 13. Solve 1 = -3*x + 5*r, 2*x - 2 = z*r - 3 for x.
-2
Let b = -2 - -12. Suppose -b = -4*n + 3*n. Suppose -f = -3*f + 2*c + n, 3 = f - 2*c. Solve 0*k + 4*a = 3*k - 14, 4*k - f = 3*a for k.
-2
Suppose 28 = 3*y - 8. Suppose -w + 4*w - y = 0. Solve -3*n + v = w*v + 21, 0 = 3*v + 12 for n.
-3
Let v(m) = -m - 6. Let g be v(-8). Solve 8 = -4*h - 0, 2*h = g*n + 2 for n.
-3
Suppose -2*z + 6*z - 80 = -4*l, -3*l = -2*z + 30. Suppose 2*d + 2 = -3*i, d - 4*d = -3*i + z. Suppose -i = y - 5. Solve -3*s = n - 5, -s + 4*n = 4*s + y for s.
1
Let f(u) = u - 14. Let s be f(8). Let h be s*(1/3 - 1). Solve h*p = 3*a + 7, -p + 6 - 17 = -5*a for p.
4
Suppose -u - 20 = -2*q, -32 = -4*q + 2*u - 4*u. Let d = 6 - 3. Let c be (d/(-4))/((-6)/24). Solve -q = -c*h + h - v, v - 21 = -5*h for h.
4
Let p(s) = -2*s + 7. Let k(t) = t**3 - 8*t**2 - 11*t + 12. Let g be k(9). Let n be p(g). Solve 5*u - 4*z + 21 = 0, u + 10*z = 5*z + n for u.
-1
Suppose 1 = -3*y - 2. Let k be 2/y - -6 - 2. Suppose 4*a = 2*q - 12, -q + 4 = -k*a + a. Solve 5*n = s + 14, 0*n + n - q*s = 10 for n.
2
Suppose 4*b - 5 = 3*s, -2*s = 4*b + 2*s - 12. Suppose 2*d - 21 = -d - 3*k, -k = b*d - 10. Solve -15 = 3*c, -d*t + 26 + 11 = -5*c for t.
4
Suppose 0 = 5*m - f - 21, 0*m + m - 7 = 3*f. Suppose 4 + 4 = m*s. Solve -4*a = 4*y + 2 + 6, -s*y + a + 8 = 0 for y.
2
Let t(z) = -2 - 3*z - 1 - z + 5*z. Let y be t(5). Solve -5*j + o + 13 = 0, -3*j - y*j - 4*o = 2 for j.
2
Let g(s) = -2*s - 10. Let u be g(-9). Suppose u = -0*o + 4*o. Solve -4*k + o*k = 3*z + 4, k + 1 = -z for z.
-2
Let l be (-20 - -1)*(-3 + 2). Suppose 19 = s + 3. Suppose o - l = -3*j + 7, -4*o = s. Solve -2*k + j = 2*d + 26, -3*d + 1 = -2*k for d.
-3
Let s(u) = 3*u - 15. Let v be s(12). Suppose 0 = 3*p + 3*x + 6, -16 = -2*p + 2*x. Solve p*d - v = 3*n, 6*d = d + n + 27 for d.
5
Let l(u) = -u**3 + 5*u**2 + 2*u - 5. Let k be l(5). Solve -z + 1 - 6 = w, 2*w = -k*z - 22 for z.
-4
Let j = 26 - 13. Solve 5 = -x + 3*c, -3*x + c = x - j for x.
4
Suppose -5*g + 36 - 16 = 0. Solve -5*f - 5*k + 26 = 6, g*f = -5*k + 15 for f.
5
Suppose 22*s + 4 = 23*s. Let x = 6 + -9. Let f = s + x. Solve 0 = -2*i - 2*u + 10, -5*i + 4*u = f + 1 for i.
2
Let c be (-4)/(-14) - 183/(-21). Suppose -9 = 6*b - c*b. Solve 4*a - 2*i + 1 = -7, -13 = b*a + 2*i for a.
-3
Suppose 4*f - 2*a = -0*a + 16, 4*a = 16. Suppose -f*j + j = -20. Solve 4*z = -n + 16, -j*z - 3*n = -2*z - 18 for z.
3
Let r(f) = -5*f - 5. Let p be r(-3). Solve c - 8 = 5*l, 0 = -7*l + 2*l - p for c.
-2
Suppose 3 + 12 = 5*k. Let a be ((-4)/6)/(2/(-6)). Solve a*c - k*z = 4*c + 6, 5*c - 11 = -z for c.
3
Let j(v) = 2*v + 3*v**3 - 2*v**3 - 2*v**2 - 4*v**2. Let h be j(6). Suppose -4*r - c = -15, r + 2*c + 22 = 6*r. Solve 0 = 4*o + 2*l - h, r*o - 5 - 7 = 4*l for o.
3
Suppose 0 = x + x - 4. Suppose -u + z = -1, -9 + x = -4*u + 3*z. Solve -u*o - 3 = j, 2*o + j = 6*j - 7 for o.
-1
Let l(z) = 3*z - 2. Let f be l(4). Let y = f - 6. Suppose -2*p + y*p = 46. Solve 0 = 4*b + 5*n + p, 0*b + 2*b + 3*n = -13 for b.
-2
Suppose -4*j + 3 = -13. Suppose 2*z + 5*m = -9, 2*z + m - 3 = -0. Let r be -1 - -1 - (2 - z). Solve r + 0 = -j*s - d, -4*s = -5*d + 19 for s.
-1
Suppose 0*h = 3*h - 27. Let n be (-4)/(-6) - (-21)/h. Solve 2*j = -3*b - 10, j + n*b + 15 = 4*j for j.
1
Let t = 11 + 4. Suppose 4*m = -m + t. Solve 2*a - 23 = 5*o, 7*a - o - 1 = m*a for a.
-1
Let n(y) = -y**3 + 6*y**2 + 6*y - 5. Let k be n(7). Let d = 12 + k. Solve -4*a + l + 0*l + 5 = d, 3*l = -a + 11 for a.
2
Let k = -3 - -3. Let y = 3 - k. Solve 3*h - 18 = -5*v, 0*h = -3*v + y*h + 6 for v.
3
Let j be (-140)/(-34) - 34/289. Let t be (-2)/7 - (-60)/14. Let p(k) = 3*k**3 - 2*k + 1. Let b be p(1). Solve -b*q - t*y = 5 - 1, 5*q = -4*y - j for q.
0
Let g be 1*(-30)/(-21)*7. Suppose -w - w + g = 0. Solve -2*u = -4*x, w*u = 25 - 5 for x.
2
Let i be (-11)/(-22)*(-42 - 0). Let t be i/(-9)*(1 - -2). Solve g = 5*q + t, 1 = 2*q + 5*g - 7 for q.
-1
Let b be (-6 - -20)*(-4)/(-14). Solve -b*d = 5*v, 0 = -3*v + 5*d - 0*d for v.
0
Let a be 130/15 - (4/3)/(-4). Solve 0 = -3*b - 12, b - a = -i + 2*b for i.
5
Suppose -3*s = -5*n, -2*n - 19 = 5*s - 50. Suppose 0 = n*x - 4 - 11. Solve d + 3 = x*q, 6*q - 4*q = 2*d - 2 for q.
1
Let z = 0 + 3. Solve 2*h - 3*h + 4*x = 7, -z*h = 5*x - 30 for h.
5
Let h be 40 - (-1 + 3) - 1. Let z be h/(-2) - 1/(-2). Let q = 31 + z. Solve -q = -4*s + 3*k, k = -2*s + 3*s - 3 for s.
4
Let i be 2/(1/(-3) - -1). Suppose -3*a + 3 = -i*v, 4*a - 3*v = -0 + 5. Solve -6 = 3*t, -a*y - 5*t - 3 - 11 = 0 for y.
-2
Let a be 2/(-7) - 160/(-70). Let j = 30 + -19. Solve 0 = a*b + b + u + j, 2*u = 2*b + 10 for b.
-4
Let m = -62 - -66. Solve 0 = m*o + 5*d - 30, -7*d - 5 = -3*o - 2*d for o.
5
Let g be (-115)/5 - (-1)/1. Let p = -10 - -18. Let y be p/44 - 106/g. Solve -4*c - a = 3, -y*a = c + 3*c + 15 for c.
0
Let n be (-1)/3 - ((-440)/(-15))/(-4). Solve -22 = -g + 5*v, 2*g = v + n + 1 for g.
2
Suppose -4*f = 9 - 33. Let q be (4/f)/((-22)/(-165)). Solve -q*j - 3*i = -32, 6*j - 12 = j + 2*i for j.
4
Suppose 0 = -2*j - j + 15. Let q = -4 - -7. Suppose -2*x + 11 = q*i, 0 = -5*x - i + 2*i + 19. Solve 5*a + 2*d = 11, 0 = -2*a + 4*a + j*d + x for a.
3
Suppose 2*u = 3*l - 7*l + 6, 3 = 4*l + 3*u. Suppose 2*d + 5*v - 31 = 0, v = -5*d + 23 + 20. Let k = d - 5. Solve -4*z - y + l = -k*z, 2*z = -5*y for z.
5
Suppose p + 5 = 3*q, 2*p - 5 = 4*p - 5*q. Let n = 14 - p. Solve 0 = -n*w + 3*c - 4 + 1, 5*w = 3*c - 3 for w.
0
Suppose 3*z + 10 = 16. Solve 0 = -3*k + 2*p - 4*p + 3, -4*p - 18 = -z*k for k.
3
Let o(n) = -10*n - 2. Let y be o(-2). Suppose 0 + 24 = 4*q + 4*i, y = 5*q + 2*i. Solve q*a - 28 = -5*v, -5*a + 0*v = -v - 16 for a.
4
Let p = -99 + 99. Solve 0 = 2*g + 2*i - 10, -5*g + 3*i = -p*i - 9 for g.
3
Let k be (0 - 1)*3/(-1). Suppose -2*t = -3*o + 43, 4*o = 2*o - 2*t + 12. Let j = 11 - 6. Solve -4*u + h - k*h = 14, -j*h = 4*u + o for u.
-4
Let p(j) = 34*j - 2. Let c be p(1). Let y be (-6)/8 - (-888)/c. Solve -o - 13 = 2*n - 0*o, -3*n - 3*o - y = 0 for n.
-4
Let g be (0 - 2)/(8/(-28)). Let s be g*((-18)/(-14) - 1). Solve 14 = s*x - 0*c - 5*c, 5*x = -5*c for x.
2
Suppose -o - o = -20. Suppose -7 = a - o. Solve -p - a*p = -2*f, -2*p = -5*f + 8 for f.
2
Let s(p) = -7*p. Let w be s(1). Let y(a) = 6*a + 7. Let r be y(w). Let b = 53 + r. Solve 5*f + b = -n - 9, -5*f - 5*n = 35 for f.
-5
Suppose -18 = 8*b - 5*b. Let f be (2/b)/((-7)/147). Solve z = 2*o + f, 6*o + 16 = 2*z + o for z.
3
Suppose -5*k + 34 = 2*f + f, -2*f + 21 = 3*k. Suppose 4*p - 20 = l, 9*p + k*l = 4*p. Solve 4 = 4*m - 3*m + 3*z, 0 = p*m - z + 23 for m.
-5
Let x(l) = -2*l + 16. Let j be x(8). Solve j = u - k + 2 - 0, 5*u + 5*k = 10 for u.
0
Let b = -29 - -32. Solve y - 5*j + 23 = -0*y, -15 = y - b*j for y.
-3
Suppose 47*p + 14 = 54*p. Suppose -4 = -2*j + 4. Solve p*z - 4*z + 20 = -5*v, -j*z