 13, 1 - 4 = x*k + 3*z for k.
-2
Suppose -5*i + 8 + 12 = 0. Let n be (3 - 1)/(i/6). Solve 7*b - 3*b + 24 = 3*s, -2*s + 17 = -n*b for b.
-3
Suppose -11*k - 6 = -14*k. Solve 3*y = -3*v - 0 - 3, k*v = 3*y - 7 for v.
-2
Let x(p) = -p + p**3 + 2 + 2 + 4 - 4. Let f be x(0). Solve -g + f - 17 = -5*w, 4*g + 14 = w for g.
-3
Let m = -2 + 6. Suppose 14 = -2*b - 4. Let d be ((-3)/b - 0)*3. Solve 4*c = v + 18, -m*c + d + 25 = -5*v for v.
-2
Suppose 3*l = -v + 21, -l = l - 5*v + 3. Solve i + l = -3*r, 3*i - 22 + 4 = 3*r for i.
3
Suppose -7 = 2*n + 1. Let o be ((-115)/(-10))/((-2)/n). Let z = 7 + -5. Solve z*q - u + 15 = -q, 0 = -2*q + 5*u - o for q.
-4
Let z be (12/15)/(-1 - 6/(-5)). Solve -4*g + 8 = 0, 0*o = 2*o - z*g + 4 for o.
2
Let w(o) = o**3 + o**2 - 3. Let t be w(0). Let u(l) = -l + 6. Let k be u(5). Let z be k/((t/(-2))/3). Solve -2*x + 3*c = z*x - 25, -5*x + 4*c + 32 = 0 for x.
4
Let u(z) = z**2 + 10*z - 8. Let f be u(-11). Let y = 3 - f. Solve -3*i = -5*m - 12, y = -4*m - 3*i + 2*i - 13 for m.
-3
Let i = 7 - 6. Let t be 3 + 0 - (i + 0). Solve o - 3*y = -14, -8 = 2*o - 0*o - t*y for o.
1
Suppose -y - 11 - 9 = 0. Let p = -15 - y. Solve p = -2*w - c, -c + 5 = -2*w - w for w.
-2
Suppose 2 = -a + 4*v + 4, -4*a + 8 = 2*v. Solve a*b - o + 3 = b, -b - 6 = -4*o for b.
-2
Suppose -2 = 5*c - 12. Let k be 1/c*(-30)/(-5). Solve 4*z + 0*d + 2*d = 10, 0 = k*d + 15 for z.
5
Let j be (-1 + 4)*4/12. Let p = j + -4. Let q(n) = n**2 + 2*n. Let x be q(p). Solve 0 = -2*d + 3*c - 1, 3*d + 4*c - x*c = 15 for d.
4
Let d be (14/7)/(1/1). Solve -3*n + n - d*y = 14, -25 = 3*n + 5*y for n.
-5
Let j = -6 - -12. Suppose -4*t + 2 = -j. Solve -y - 6 = -3*p + t, 8 = -2*y + 4*p for y.
4
Suppose 0 = -0*h + 3*h - 18. Let i = 2 + -1. Let z = 4 - i. Solve -z*w - c + 10 = 0, 4*w - 5*c = -h + 13 for w.
3
Let i be 1/(3/27*1). Solve 0 = f + h + i, 2*f - h + 3 = -3 for f.
-5
Let a(y) = y**3 + 5*y**2 - 8*y - 8. Let b be a(-6). Solve -4 = b*c + 4*x, -4*x = 5*c - 2*x - 10 for c.
4
Suppose -k = -0 - 3. Let q be 30/9 + k/(-9). Solve -5*d - 2*g + 24 = 0, -q*d - g + 0*g = -14 for d.
4
Suppose -3*p = -8*p + 40. Let b be 31/(-4) - 2/p. Let s = b - -8. Solve -4*t + 5*r + s*r = 1, 3*r + 13 = -t for t.
-4
Suppose -9 + 19 = 5*p. Solve 0 = p*o - 4*c + 2*c + 6, 2*c - 10 = 4*o for o.
-2
Let o be (-120)/8*(-8)/6. Solve -5*p = -o, 0 = 5*f + 4*p - 2*p + 17 for f.
-5
Suppose -5*a + 4 = -11. Suppose 3*p = -2*t + 5*t + 12, -5*t - 24 = -4*p. Let s be ((-6)/12)/(2/t). Solve 0 = a*q + r + 1, -s*r - r = 5*q - 5 for q.
-2
Let u(s) = -s**2 + 12*s - 6. Let a be u(11). Solve o - 12 = -4*z, o = a*z + 3 - 18 for o.
0
Let z(d) = d**2 - d + 19. Let u be z(0). Suppose -38 = -3*f + u. Solve -v = 3*s + 14 + 2, 0 = 4*s - v + f for s.
-5
Suppose 0 = 5*f - 4*j - 30, -5*f - 3*j + 4 = 9. Solve f*s = 2, -4*z - 1 = -0*s - 5*s for z.
1
Let o(j) = -j**2 - 6*j + 10. Let d be o(-7). Solve -3 = q - 2*g + 8, 0 = -d*g + 12 for q.
-3
Suppose 4*k + 22 = 4*x - 3*x, 4*x - 4*k = 28. Solve -j + 16 = -4*p, -5*j + 5*p + x = -3 for j.
-4
Let q = 3 - 10. Let x = q + 11. Solve -2*s - 10 = -0*s + 3*f, -s = -x*f - 6 for s.
-2
Let y(s) = 2*s**2 - 2*s - 1. Let c be y(2). Let w be 20*c*3/18. Solve t - 3*t = 3*n + 25, -w = -t + 3*n for t.
-5
Let b = -4 + 16. Let m = b - -6. Suppose 5*r - 4 = 3*z, -3 = 2*z - 4*r + 1. Solve z*v - 6 = -a, -4*a + 4*v - 6 - m = 0 for a.
-2
Suppose 0 = 21*s - 220 + 10. Suppose 2*y + 16 = 3*t, 3*t - 1 = 2*y - 3*y. Solve -r + 2*w = s, 4*w = 5*r + t*w + 18 for r.
-2
Let m be 48/10*20/6. Suppose -2*y = 5*g + 8, -4*g + y = -3*y - m. Solve -5*x + h + 1 = 0, g = -8*x + 4*x + 4*h + 4 for x.
0
Let v(o) = o**2 + 13*o - 11. Let j be v(-14). Solve -3*z = 3*a - 3, -2*a - j*a + 5*z - 25 = 0 for a.
-2
Let k = -1 + 1. Let u(c) = k*c + 3*c - c - 1. Let z be u(4). Solve -b - x - 1 = z, -5*b - 37 = 4*x for b.
-5
Let i be 2 + (-64)/28 - 23/(-7). Solve -2*h = 3*h - 4*t - 8, -2*h + i*t + 6 = 0 for h.
0
Let n(g) = -g**2 + 8*g - 6. Let d be n(6). Solve -u + 17 = -0*u - 5*j, 0 = -2*u + 3*j + d for u.
-3
Let z be (21/6)/(1/2). Let g(i) = -3*i**3 + 2*i - i**2 - 3 + 0*i + 4*i**3. Let f be g(2). Solve 3*v = 5*l - 2 + 3, 0 = f*l - v + z for l.
-2
Let x(y) = 3*y**2 + 14*y - 20. Let s be x(-6). Solve 2*o + 5 = -s*c - 7, c + 21 = 4*o for c.
-5
Let f = -1 - -5. Let m be (12 - 6)/((-6)/(-4)). Solve 2*k + 2*q - m = k, -4*k = f*q for k.
-4
Let d(t) = -t**3 - 5*t**2 - t + 2. Suppose -3*l + 0 = -p + 14, 0 = -l - p - 6. Let b be d(l). Let v = b + -3. Solve 23 = -2*i - 3*x, -i = v*i + 5*x + 45 for i.
-4
Let j(p) = p**2 + 4*p + 4. Let a be j(-5). Suppose -3*b - 3 = -a. Suppose -b*m + 0*f - 15 = -3*f, 4*f = 20. Solve 9 = -3*u, m = -3*x - u + 3*u - 6 for x.
-4
Let f(m) = 5*m - 2 - 3*m - 3. Let h be f(4). Solve -3*y + p + 7 - 17 = 0, -h*y + 3*p = 6 for y.
-4
Suppose 0 = -4*f + 2*d + 16, 8*d = 3*d. Suppose 2*z = -f*r + 22, -z + 26 = 5*r - 0*r. Solve -5*c = 4*x + 7, -9 = 4*c + 2*x - z for c.
-3
Let x be (33/6)/(1/2). Suppose 0 = 2*w + 5*z - 31, 5*w - x = -3*z + 19. Let n = w - 1. Solve -o + 2*m + 9 = 0, n*m - 3 - 13 = -4*o for o.
5
Let n(k) = -k**3 - 6*k**2 + 6*k - 2. Let g(a) = 7*a**2 + a + 1. Let y be g(-1). Let l = y + -14. Let r be n(l). Solve 4*x + 4*i + 10 = 3*x, -r*x = i + 12 for x.
-2
Let b(i) = -i + 2. Let q be b(-8). Let a = -7 - -12. Suppose h - q = 3*h, -2*x = a*h + 15. Solve x*z + 4*c = -37, -4*c + 2 = -z + 9 for z.
-5
Let n = -14 - -22. Let c = n + -8. Suppose c*j = j. Solve -4*y - 4*k + 20 = j, 6 + 2 = 2*k for y.
1
Let n(t) = t + 14. Let p be n(-12). Let k be p*((-21)/(-6) - -1). Solve -3*d - k = 0, 3*a - 4*d - 20 = -a for a.
2
Let w(c) = c - 4. Let d be w(9). Solve -5*l - 17 = 6*u - 3*u, -d*u - 16 = -4*l for l.
-1
Suppose -r - 5*i = -6*r + 15, 2*r - 6 = i. Suppose 0 = -r*k - 1 + 10. Solve -12 = 3*x + 5*s + 14, 0 = k*x + s + 10 for x.
-2
Let d = -2 + 4. Solve 5*y + 2*w + 5 = 0, 0 = -2*y + 5*w - 29 - d for y.
-3
Let v(c) = c**3 + 2*c**2 - 5*c - 4. Suppose -3 = 3*t + 6. Let q be v(t). Solve -4*w - o = 2*o + 2, 2*w = -q*o for w.
-2
Suppose p + 6 = 3*p, 0 = 3*r - 2*p - 12. Let g be -1 - -3 - (0 - 1). Solve -2*o = -j - r, o - g*j + 5*j = 3 for o.
3
Let z = 0 + 5. Let i be 0/((-2 - -5)/(-3)). Suppose c = -i*c + 27. Solve 0 = 2*r - w + 2 - 5, -z*r + c = 4*w for r.
3
Let x be 14/3 + 9/27. Solve -6 = -2*c + 5*z + 4, -x*c = z + 29 for c.
-5
Let z = -10 - -15. Solve -z*v + x + x = -5, v + 3*x + 16 = 0 for v.
-1
Suppose -2*y + 5*g = 10, 2 = 6*g - 5*g. Suppose y*r = -6*r + 24. Solve 3*q - r*x = 7, 2*q = 4*q - 4*x - 6 for q.
1
Suppose 9*l + 16 = 17*l. Solve -l*m - x + 6 = m, 2*m + 2*x = 0 for m.
3
Let t(k) = 2*k - 9. Let o be t(6). Solve 0 = -4*l + 2*z + o*z + 18, 2*l - z = 6 for l.
2
Suppose -8*a - 2 + 18 = 0. Solve -21 = -5*y - 2*p, -15 = -4*y + y - a*p for y.
3
Let s(o) = -o + 7. Let x be s(3). Suppose x*g - 4 = -4*n, -g = -4*g - 4*n - 1. Solve -3*d + 4*d = 0, -5*d = -g*i - 15 for i.
-3
Let j(s) = 2*s - 4 + 15 - s. Let b be j(-7). Solve l + b*x + 0 - 2 = 0, 0 = -4*l + 2*x + 8 for l.
2
Let r(u) = -u - 2. Let c be r(-5). Let o = -10 - -7. Let a be (o - -3) + 0 + 17. Solve -5*b = 2*f + a, -6*f + 7 = b - c*f for b.
-5
Suppose -6 - 4 = 2*u, 5*d - 2*u = 20. Suppose 6 = 2*l - 12. Suppose -3*g + 3 = -l. Solve 0 = -d*o - g*i + 14, 0*o - 3*i = -5*o - 30 for o.
-3
Let d(f) = f + 15. Let a be d(-7). Let x = -6 + a. Let u be (-3 + x + -1)*-8. Solve 3*j - 22 = -2*s, 5*s - j - u = s for s.
5
Let b be ((-1)/(-2))/(1/14). Let a be (8/14)/(2/b). Solve -1 = a*s + 5, 2*w - 4 = 4*s for w.
-4
Let m be 44/(-66) + 50/3. Solve 0 = -5*p + p + m, 0 = -5*r + 5*p - 15 for r.
1
Let v = 2 - 0. Let t be ((-3)/v)/((-2)/4). Suppose -3*d - 2*u - 3 = 1, 5*u = 2*d - 29. Solve -1 = -t*g + 2*r, g + d*r = 2*g - 7 for g.
-3
Let i = 21 + -15. Suppose -2*k = 2*r + 22, -2*k - r + i = 24. Let u = -5 - k. Solve o - u = 2*o + q, o + 3*q + 8 = 0 for o.
1
Let i(a) = 2*a + 20. Let y be i(0). Suppose 0 = 2*c - 2*m - y, -5*m = 3*c + 2*c - 10. Solve 2*j - c = -0*o + 2*o, 20 = 4*j for o.
2
Suppose 5 = -r - 3*u, -2*r - 2*u + 0*u + 2 = 0. Solve 0 = -5*z + i - 3*i - 18, -2*i - r = -2*z for z.
-2
Suppose -7*s + 3*s = -4*f - 4, 4*f + 3*s = 24. Solve c + 3 = -2*c + f*x, 13 = 5*c + x for c.
2
Suppose t - 3 = 0, 2*t = -3*f - f + 18. Let s = -3 + 3. Solve -f*n + 5*g = 10, s*g + g - 19 = 4*n for n.
-5
Let m(g) = -g + 1. Let f be