*k + 8 = -2*l, 5*l + 4*k + x = -0*k for l.
2
Let k be ((-3)/4)/((-1)/4). Suppose -t = k*s - 5, -t = -0*t - s - 1. Solve -2*i = -3*w + w + 6, t*w - i - 4 = 0 for w.
1
Let q be (8 + -12)*(-2 - 1). Solve -4*y = -2*d - 6, 5*y - 4*d - q + 0 = 0 for y.
0
Let t(u) = 2*u - 6. Let y be t(4). Let v = -13 - -13. Solve y*p = 2*h, v = 2*p + 2*h - 0*h - 16 for p.
4
Let p(n) = -n**3 - 13*n**2 - n - 9. Let q be p(-13). Solve -l = 3*l - 5*x - 14, -q*l + 3*x = -10 for l.
1
Let c(w) = w**3 + 6*w**2 - 9*w - 5. Let i be c(-7). Suppose 5 = -2*x - 5. Let y = -1 - x. Solve 0*s - 3*t + 32 = -y*s, -4*t - i = 5*s for s.
-5
Suppose -5*r + i = -7, 5*r - 6*r - i + 5 = 0. Solve -j - j = -n, 4*n = r*j + 6 for j.
1
Suppose -6*n = -3*n - 18. Let j be (8/10)/(n/30). Suppose f = j*f - 9. Solve -2*q = f*d - 22, -5*d - 5*q = -2*q - 35 for d.
4
Let v be 2*(-2)/14 + 4644/378. Solve -4*f = -v, 2*f + f = 3*r + 6 for r.
1
Let l(d) = -d**2 + 8*d + 12. Let g be l(9). Solve -c - 3*c - 6 = -g*a, 0 = c + 2*a + 7 for c.
-3
Suppose 2*i - 3*i = 0, 2*b - i - 2 = 0. Let c = 1 + b. Solve -3*y - 2*q = 4, 2*q + 1 = c*y + 7*q for y.
-2
Let t(q) = -q**3 + 8*q**2 - q + 8. Let s be t(8). Suppose v + s = 2. Let z be 5 + 2 + -3 + -2. Solve -2*b - z*b + g = 13, -v*g - 7 = 3*b for b.
-3
Let d(t) = t**3 - 17*t**2 + 15*t + 23. Let i be d(16). Solve -4*a = -v - 5, 5*v - i = 5*a - 32 for v.
-5
Let n be 33/4*(-24)/(-18). Solve -3*a + 4*l + 17 = 0, 3*a - 8*a + n = 2*l for a.
3
Let c = -5 - -7. Solve -2*k + 12 = -2*v + 28, 0 = 3*k + c*v + 4 for k.
-4
Suppose -4*q = -j + 166, -474 = -3*j + q + 3*q. Let m be j/55 + (-1)/(-5). Solve 0 = 5*t - 2*z - 3, z = -m*t + 6 - 2 for t.
1
Suppose 0 = 5*n + 4*q - 4, 2*q = 2 - 0. Solve 5*r - 5 = n, r = -k - k + 1 for k.
0
Let n be 0/(1/((-1)/2)). Let k = 2 - n. Let t = 1 + k. Solve 5*r + c = 17, t*r - 6 = -5*c + 3*c for r.
4
Let y(u) = u**2 - u - 1. Let q be y(-2). Suppose -20 = -2*i - 2*i. Solve 4*p = -n - 3, -p = i*n - q*p - 33 for n.
5
Suppose -3*o + 2 = -o. Let b(r) = r**2 + 3*r. Let l be b(-5). Suppose 0 = z + z - l. Solve -z*w + o + 2 = -2*v, -4*w + 9 = 5*v for v.
1
Suppose -6 = -2*r + 5*y, -y - 12 = -r - 3. Solve 6*v - 2*v - 3*c = 23, 0 = -4*v + c + r for v.
2
Let b be 0 - (-15)/(-10)*-2. Solve 4 = -b*u - 8, -4*z = -2*u - 16 for z.
2
Let w be 0/(-4 - (0 - 3)). Let g = w + 4. Solve -2*i = -5*i - n + 1, -g*i - 4*n - 12 = 0 for i.
2
Let h(b) = 3*b - 19. Let q be h(7). Solve 4*g - 10 = q*j, j + 3 = 2*j for g.
4
Suppose -5*f + 2*f + 5*a + 5 = 0, 3*a + 3 = -4*f. Solve 4 = 2*t + 5*s, 3*t = -f*t - s + 6 for t.
2
Let u(s) = -s**3 - 3*s**2 + s - 7. Let y be u(-4). Solve -3*v - 21 = -3*f, -f = -y*f - 5*v - 8 for f.
3
Let d be -3*((-16)/(-3))/(-4). Let x = 4 + -2. Suppose 0*g = -g + x. Solve -d*f - 3 = -3*f, 0 = g*z - 3*f - 11 for z.
1
Let j = 7 - 6. Suppose -4*n = -3*f + 4*f - 23, 2*f - j = n. Solve 0 = -2*k - 2*y - y - 25, f*y = 3*k for k.
-5
Suppose 3*j - 5 = 7. Suppose -4 = -j*t + 4. Solve 5*y + 1 = 2*w, -10 = -y - t*w - w for y.
1
Let y(r) = r - 1. Let p be y(3). Suppose 4*a + 5*s + 6 = 28, 4*s = 3*a - 1. Solve -b = 4*x - p*b + 15, -3 = a*b for x.
-4
Suppose 6 = w + 4*q, 38 = 3*w - 3*q - 40. Solve 2*j = r + 3*r + w, 4*j = -3*r - 11 for r.
-5
Suppose -4*w - 3 - 13 = 0, 16 = 5*t + w. Solve -5*f - 5 = -4*s, -4*s = -2*f - 2*f - t for s.
0
Let n = -4 + 1. Suppose 0 = -v + 5*v + 24. Let p = n - v. Solve -2*o - 11 = -5*r + 2*r, -p*r + 4*o + 19 = 0 for r.
1
Let a = 5 - 3. Solve 0 = -a*d + 2*y, -5 = -d - 3*y + 3 for d.
2
Let h(s) = 3*s - 2. Let b be h(2). Solve -b = -4*g + 16, d + 13 = 3*g for d.
2
Let p(c) = -c**3 - 4*c**2 + 2*c + 5. Let z be p(-6). Let o = -23 + z. Suppose -4*g + g + o = 0. Solve -3*i + 7 = d, d + 1 - g = -5*i for i.
3
Let x be 4/14 + (-141)/(-21). Suppose -4*z + x*z = 15. Solve 0 = -5*t + c + 9 + 1, 4*t = z*c + 29 for t.
1
Let x = -10 - -10. Solve -2*d = -3*v - x*d + 22, 4*d = -3*v - 8 for v.
4
Let o = 16 + -13. Solve 4*g + 4*p + 0 + 4 = 0, 3*g - o = 3*p for g.
0
Suppose 2*w - 19 = -3. Solve -3*r = -w*r + 10, u - 3*r + 4 = 0 for u.
2
Suppose 0 = 5*y - 0 - 95. Let x be (-2)/((-4)/10)*1. Suppose -49 + 164 = x*o. Solve -o = -f + 5*w, 2*w - y = 2*f + 5*w for f.
-2
Let h(j) = -4*j - 28. Let o be h(-7). Solve 21 = 4*v - 3*v - 4*x, o = 5*v - x - 29 for v.
5
Suppose 3*l - 140 = -2*l. Solve -4*b - l = 4*d, -5*b + 10*b - 1 = 4*d for d.
-4
Suppose -2*a + 3*a = -1. Let i be a + 1 - (-5 - 3). Suppose -4*u = -i, 4*u = 3*g + u - 12. Solve -g = 2*k + h, h + 5 = -5*k - 10 for k.
-3
Let w(p) = -p + 3. Let n(g) = -g - 3. Let z be n(-3). Let x be w(z). Solve -2*t = x*t - 15, 28 = -5*a + t for a.
-5
Let y be (1 + -1 + 2)/1. Let r(x) = 2*x. Let o be r(y). Solve 0 = -2*t - 3*a - o, 2*a = 3*a + 2 for t.
1
Suppose -16 = -5*h + 4*z, 8*z + 20 = -4*h + 3*z. Suppose -7*u + 2*u = h. Solve -3*o = 5*t + 16, u = -4*o - o - 5*t - 20 for o.
-2
Let l(r) = 2*r - 1. Let u be l(2). Solve -u*h = -o + 2, 5*h + 5 = o + o for h.
1
Let c be (3/(-6))/(1/2). Let n be (-2)/c*(1 - -1). Suppose 10 = n*x + x. Solve -2*r + 8*y = 3*y + 5, -3*y + 3 = -x*r for r.
0
Suppose -5*c = -c. Let f be (2 + -2)/(3 + -1). Solve 5*n - 3*x + 2 = c, f*x - x + 12 = 4*n for n.
2
Suppose -5*q + 13 = -3*x, -2*q - 4*x + 17 = -9. Solve 2*t - q*n - 25 = 0, 4 = -n - 1 for t.
0
Let f(p) = 1 - 4 + 2*p + 4*p. Let q be f(4). Solve -5*b = -4*i + q, 3*b - 16 = i + 6*b for i.
-1
Suppose -2*h + 22 = 5*m - m, m - 5*h = 22. Let f(y) = -y**2 + 8*y - 5. Let s be f(m). Solve 4*w = -0*w - s*l + 12, l = 0 for w.
3
Let z be (-13)/(-52) - (38/(-8) - -2). Solve 10 = -x + 3*x + 4*s, 5*s = z*x + 40 for x.
-5
Let l be 2/(((-12)/5)/(-6)). Solve 2*f - l*y = 10, -f + 20 = 3*f - 3*y for f.
5
Let n = 8 - 6. Solve 5*j - 22 = -3*a, -a = -3*j + n*a + 18 for j.
5
Let r(y) = 6*y - 32. Let s be r(6). Solve s*k + 24 = 5*o - 0*o, 4*k = 3*o - 16 for k.
-1
Suppose 5 = 6*t - 13. Solve -5*o - 1 = 3*w - 12, 0 = 4*w - t*o - 5 for w.
2
Let x(i) = i**3 + 7*i**2 + 5*i + 6. Let p be x(-6). Suppose -4*s + 2*l + 40 = 0, 2*l - 7*l = 4*s - p. Solve -2*j + 5*c + 23 = 0, -j + s*c = 3*c - 19 for j.
4
Suppose -4*y - 6 = -l + 5, 4*l + 1 = y. Let j = l - -5. Suppose -j*h - 9 + 25 = 0. Solve 3*r = 4*m - 4, -r + 0*r + 20 = h*m for m.
4
Suppose 0 = -4*i + 3*l + 6, -1 = -3*i + 2*l + 3. Solve i = -3*b - j + 2, -b - 6 = -2*b + 5*j for b.
1
Let z(j) = j**3 + 10*j**2 + 9*j + 3. Let i be z(-9). Let b = -12 + 6. Let h = i - b. Solve 3*y - h = 3*l, l = 3*y - 0*l - 1 for y.
-1
Let c = -16 + 18. Suppose -c*j + 11 = -9. Solve -5*t - 8 = 3*y, 2 - j = -3*t - 5*y for t.
-4
Let v be 1/((-16)/20 + 1). Let b be (-15)/(-5) + -3*1. Solve -3*t = 6, -v*o - t + 0*t - 2 = b for o.
0
Let q be 24/18*(-3)/(-2). Solve i - 6*i = -2*a + 23, -5*i = q*a + 7 for i.
-3
Suppose x = 4*x. Let y be (1 + -1 + x)/2. Suppose 0 = -y*c + c - 25. Solve 5*k + m = -c, -3*m = 5*k - 4*m + 15 for k.
-4
Suppose 37 = 6*r - 5. Solve r*n + 3*w - 26 = 2*n, -3*n - 4*w + 20 = 0 for n.
4
Let i be (-2)/(-6)*(-33)/(-1). Suppose 2*b - 2 = -3*a - i, -4*a - 35 = -5*b. Solve 0 = o + y - b, -5*o + y - 5*y = -12 for o.
0
Let c = -13 - -17. Let u be -4*3*c/(-16). Solve -x + u = -3*p + 3*x, 0 = 5*x + 15 for p.
-5
Suppose -4*c + 1 = 3*a, c + 0*a + 4*a = -3. Let m be (4 + -4)*1/c. Let s be (4 + m)*(0 - -1). Solve 21 = l + 5*k, 0*k = -3*l - s*k + 19 for l.
1
Let z(d) = -d**2 + 13*d + 2. Let j be z(13). Solve u + 2*y = -j*y - 12, 0 = -3*y - 9 for u.
0
Suppose 5*d + 2 = 6*d. Solve 3*j + 5*o - 13 = 0, 3*j + o = -d*j - 15 for j.
-4
Suppose 0 = 4*l + 4, p + 0 = 4*l + 8. Solve -9 = t + p*n + 6, 3*n + 30 = 3*t for t.
5
Let r be (-2 - -1)*1 - -2. Suppose -5*o + 4*z - 11 = 0, -3*o = 4*z - 17 - 2. Let q = o + r. Solve -4*a - 24 = 2*g - 8, 0 = 4*g + q*a + 14 for g.
-2
Let a(l) = -5*l**3 - 2*l**2 - 2*l - 1. Let x be a(-1). Solve x*w + 36 = 4*v, -v = -5*w + 2*v - 35 for w.
-4
Let j be 5 + (4 - 4) - -2. Solve -3*a + 4 + 0 = -5*g, 0 = -4*g - a + j for g.
1
Let v be (-2)/((-8)/6)*2. Let u(x) = -x**3 + 7*x**2 + 9*x. Let w be u(8). Suppose -3*j + w = -2*j. Solve i + i + 30 = -5*b, 4*i + j = v*b for b.
-4
Let h(v) = v**3 - 6*v**2 - 9*v + 16. Let n be h(7). Solve n*t + 6*l - 3*l + 3 = 0, -2*t + 9 = -l for t.
3
Suppose -4 + 1 = -v. Let m = 9 - v. Suppose -m = -w - w. Solve -x = -3*h + h + 10, -5*x = -w*h + 22 for h.
4
Let q = -2 + 4. Suppose 0*t = -t + 4. Suppose 0 = -g - 0*g + t. S