1 - 13*k**2. Let y be u(-2). Suppose 2 + y = 3*n, 2*n - 4 = a. Solve -a*s = 5*v - 15, -3*v = -2*s + v - 30 for s.
-5
Suppose -3*x - 2*x = 0. Solve -3*a - 20 = -l, 3*l = -x*a + a + 20 for l.
5
Let s = -6 + 7. Let o be (-18)/(-3)*(s - 0). Solve 5*j - 2*j = 2*f + o, -4*j + 5*f + 8 = 0 for j.
2
Let i be 4/(-14) - 90/(-21). Suppose 0 = -i*j + 27 + 73. Solve -5*o = -j, o = -5*m - 24 + 4 for m.
-5
Let a(z) = -5*z - 25. Let w be a(-6). Solve 4*k + 4*i = 6*k - 14, w*k - 5*i = 20 for k.
1
Let k be -2 + (-2 - -6 - 0). Let q(y) = -8*y - 5 + 14 - 2*y**2 - 4*y**k + y**3. Let l be q(7). Solve -n + l*v = -1 - 3, n + 3*v - 4 = 0 for n.
4
Let i = -60 + 90. Suppose 5*s - 3 + 18 = g, 0 = -2*g - 3*s + 4. Solve -v = g*a - i, v = -2*a + 3*v for a.
5
Let b be (-8)/(2*(-1)/7). Let k = b + -7. Suppose q - 5 - 1 = -h, 3*h = -4*q + k. Solve j - 6*j - 8 = 4*m, 0 = 3*j - h*m + 21 for j.
-4
Suppose 4*u + 4 = 4*r, 6*r - 4*u - 4 = 4*r. Solve 5*f - 20 = r, -2*n - 3*f - 3 = -17 for n.
1
Suppose -3 = p + 2*f - 7, 2*p + 2*f - 10 = 0. Solve -2*t - 5*k = 10, 0*k - p = 5*t + 3*k for t.
0
Let k(t) = t**2 - 10*t + 12. Let h be k(9). Solve -2*l + h*f - 4*f = 5, -f - 5 = 4*l for l.
0
Let x be (-214)/(-10) - 6/15. Let g = 21 - x. Solve -5*a - 4*m = -2*m + 3, g = -5*a + 4*m - 9 for a.
-1
Let v(q) = q**3 + 9*q**2 + 7*q - 6. Let p be v(-8). Let o be p/(2 + -2 + 1). Let l = 20 - 3. Solve 3*b - 8*b - l = 4*k, -o*b + 3*k + 7 = 0 for b.
-1
Suppose -3*l + 4*l = 2. Suppose 0 = -l*c - 0*c + 10. Solve i + 7*b - 4*b = 1, -c = -5*i + 4*b for i.
1
Let v(q) = -q**3 - 3*q**2 - 3*q - 7. Let m be v(-3). Solve -2*r - 2 = -4*w, -14 = -w - m*r - 1 for w.
3
Let w(o) = 5 + 15*o - 2*o**2 - 2 + o**2 - 2*o. Let z be w(13). Solve -z*x - 17 = b, 2*x - x + 2*b + 14 = 0 for x.
-4
Let w be (12/(-10))/(4/(-10)). Solve -w*z + 5 = -2*p, -3*p + 5 = -4*z + 13 for p.
-4
Suppose 0 = -5*u + 2 + 3. Suppose 0 = -2*x - 4 + 8. Let j be 2 - x*3/(-2). Solve -4*b = j*a + 17, -3*b + u = -4*a + 6 for a.
-1
Let o be (-3)/5 + 152/20. Let w = -2 + o. Solve 2*y - 4*v - 16 = -0*y, w = -5*y + v for y.
-2
Suppose -5*p - 5 = -5*k, k - 7 = -3*p - 2*p. Suppose 3*g = k*g. Solve 0 = l, -3*l = -5*w + 5 - g for w.
1
Suppose 5*a - 33 = 2*l, -3*a = -4*a + 5*l + 25. Suppose 0 = -x + a*u - 4, 3*x = -2*u - 0*u + 22. Solve -4*b - 2 = 3*z, 5*z + 2*b = -2 - x for z.
-2
Let u be 11/3 + -2 + 8/6. Solve -2*x + 4 = -u*q, 0 = 4*x + 6 - 2 for q.
-2
Let d(n) = -n + 2. Let o be d(0). Solve 0 = -4*u - 3*m + 17, -u = o*u + 3*m - 15 for u.
2
Let v(o) = 8*o + 1. Let t(l) = -7*l - 1. Let d(s) = -5*t(s) - 4*v(s). Let r be d(1). Solve 12 = -3*k - 2*f, r*f - 5*f - 1 = -k for k.
-2
Suppose -2 - 2 = -2*u. Let t be (-8)/5*10/(-4). Solve 0 = z - t*z, 0 = -2*j + 3*z + u for j.
1
Let k(d) = 5*d**3 - 1 - d + 3 - 2*d. Let p be k(2). Let y be 5/(10/p) + 2. Solve y = -4*b - 4*o, -5*o = 6*b - 2*b + 21 for b.
-4
Suppose -12*l - 2*l + 42 = 0. Solve -5*d - 19 = 2*y + 4, -3*y + l*d - 3 = 0 for y.
-4
Let b(s) = -s - 2. Let g be b(-4). Suppose -5*y = 5*f, 0 = -4*y - 2*f + 6*f + 24. Solve -y*l + 9 = -i, -3*i - 1 = l - g*i for l.
2
Suppose 0 = 3*x - 10 + 1. Solve 8*g + x*u + 1 = 3*g, 2*g - 3*u = -13 for g.
-2
Suppose 5 = 4*t + i - 0*i, 0 = 2*t - 5*i - 19. Solve 5*p = -3*b - 27, t*b + 6*p + 17 = 3*p for b.
-4
Suppose -3 - 5 = 4*y - 4*x, -5*y + x = -10. Solve 3 = -4*i + 3*m - 8, 16 = i + y*m for i.
1
Suppose 17 - 2 = 3*i. Solve i*o + 25 = -3*y, -4*o + 5*o - 23 = 5*y for o.
-2
Suppose -2*k = -4*p + 4, 2*p - 3 = -3*k - 1. Let q = k - 0. Solve q = 4*b - 2*r + 24, 5*r - 4 = -b + 3*r for b.
-4
Let w be (6/4)/(4*(-9)/(-48)). Solve -4*h = -7*h + w*v, 4*v = 0 for h.
0
Let o(l) = 2*l - 17. Let i be o(13). Let r = i - 7. Solve 3*a - 5 = -5*c, r*c + 5*a = -2*c - 9 for c.
4
Let j(x) = x + 3. Let g be j(-3). Suppose -4*p - 5*q + 3*q + 6 = g, -2*p + 13 = -q. Let c = 72 - 51. Solve -d + 0*i = -p*i - c, -5*i = -5*d + 30 for d.
1
Suppose -4*x - 2 + 18 = 0. Let m(b) = b**3 - 4*b**2. Let y be m(x). Solve y = -r - s - s + 1, 5*r + 3*s = -9 for r.
-3
Suppose 9 = 5*u + y - 16, 2*y = 0. Solve -a - 4 - 1 = -u*i, 0 = 4*i - 2*a - 4 for i.
1
Suppose 0 = -4*o + 7 + 1, -3*o = 2*i. Let g = -3 - i. Suppose k - 4*v - 16 = g, v = 2*k - 0*v - 4. Solve 2*w = 5*z + 11, -8 = -4*w - 4*z - k*z for w.
3
Let w be (2/(-4))/(3/(-48)). Let l = w - 6. Suppose 2*a + 1 = b, -l*a + 7 = -a + b. Solve 0*r - 3*r = 4*u + a, -5*u + 5 = 0 for r.
-2
Let d be ((-4)/(-3))/(6/(-9)). Let j = 1 - d. Solve -5*m + 3*t + 24 = -0*t, -3*m = j*t for m.
3
Let y be 6 + -3 + (-2)/2. Let s(n) = n**2 + 5*n + 4. Suppose 0 = -2*d - d - 12. Let q be s(d). Solve 11 = -y*a + 5*h, 2*h = 3*a - q*h for a.
2
Let m = 5 - -15. Suppose -2*u - 3*d = -m, 0*d + 16 = 3*u + d. Solve -4*v = -2*c + 2, u*v - 8 - 5 = 5*c for c.
-5
Suppose 0 = 2*w + w - 27. Solve 4*m = 5*b + 3, 3*m = -2*m + 2*b - w for m.
-3
Suppose 0 = -8*s - 3 + 27. Let v be (-1)/(-2)*0 - 3. Let r(z) = z**2 - z - 3. Let w be r(v). Solve s*o = 3*q - 3 - w, -12 = -3*q for o.
0
Suppose -b + 9*v + 14 = 4*v, -3*b + v = 0. Let h be 2/(1/b*-1). Solve -5*x + 25 = -2*s, -h*x = 8*s - 3*s - 10 for x.
5
Let h = 1 - 0. Let a = -16 - -16. Let f = h + a. Solve 4 = s + p, 3*s - 4*p + 1 = -f for s.
2
Suppose -4*u + g + 64 = 0, -2 = 3*g + 10. Solve -3*l + 5*p - 7 = -30, -l - 4*p - u = 0 for l.
1
Suppose 3*i - 2*p - 3*p = 29, 28 = 4*i + 4*p. Solve 4*t = -t - 4*w - 7, -4*t - 2*w = i for t.
-3
Suppose -4*m - 3 = 5. Let k be -2*((-105)/6)/(-5). Let z = m - k. Solve 2*a = -t - 8, -z*t + a - 1 = 17 for t.
-4
Let p = -6 + 9. Suppose 5*u + 2*x - 24 = 0, -u + 0 = 4*x - 12. Solve d - u*y = -11, p*d - 5*y = -d for d.
5
Suppose 0*a + a - 20 = 0. Let b = 2 + 5. Solve 0 = 4*f - 4*y + a, 2*f + 2*y + 25 = b*y for f.
0
Suppose 45 = l + 4*l. Solve -5*g = -l*b + 4*b, -2*g = -b - 5 for g.
5
Suppose 20 = -5*p + 7*p. Solve -13 = x - 3*d, -x + 2 - p = -2*d for x.
2
Let n(q) = 4*q + 4. Let c be n(5). Let i be (-8)/c*0/(-1). Solve m - l = 0, i*m = 4*m + 2*l for m.
0
Let p be 108/20 - 8/20. Let l be 2 - (2 - 3 - -1). Let o = p - l. Solve 0 = s - 2*t + 8, 2 = -5*s + o*t - 3 for s.
2
Let g be (18/24)/((-1)/(-4)). Solve 0*i - i = -5*q + 5, -3*q - 15 = g*i for i.
-5
Let l(a) = a**3 - 3*a**2 - 5*a + 6. Let q be l(4). Suppose 0 = -6*x + q*x + 16. Solve 4 = -4*m + x*s, m - s - 11 = -4*s for m.
2
Let x(r) = r. Let l be x(5). Suppose 3*s = -s + 40. Let i be ((-8)/s)/((-2)/l). Solve -z - 17 = 5*p, i*p - 1 = 4*z + 1 for z.
-2
Suppose 3*p = -4*k - 31, 0*p + 4*p + k + 24 = 0. Let f(m) = m + 9. Let l be f(p). Solve 0 = 3*z - 5*b + 24, 3*z + l*b = b for z.
-3
Let h(z) = z**3 + 6*z**2 - 2. Let m be h(-6). Let f = 6 + m. Solve -4*j + 4 = 2*o, 7 = f*o + 5*j - 4 for o.
4
Suppose -p - 2*s - 3 = 0, 0 = p - 5*p - 4*s - 16. Let j be 3 - 2 - 15/p. Solve 0*n + n + 6 = -3*w, 2*w + j = -2*n for w.
-2
Let a = 5 + -13. Let c be 4/2 - 24/a. Solve -2*o = -c*d - 1 - 10, -3*d = 4*o + 17 for o.
-2
Let o = -2 - -8. Solve -b = 2*h + o, -h + 4*b - 3*b = 6 for h.
-4
Let d = 13 + -12. Let g be (d - -1)/2 + 3. Solve 2*m - 2*j = 0, -12 = m - 3*m - g*j for m.
2
Let t(j) = -j - 14. Let o be t(-8). Let v(z) = z + 6. Let n be v(o). Suppose 0 = 3*g - n*g - 15. Solve g*h - 28 = r, -4*h - r + 4*r = -29 for h.
5
Suppose -27*h + 48 = -11*h. Solve 3*z + 4*y - 4 = 0, 4*z - h*y + 5 = 2*y for z.
0
Suppose 0 = 6*j + 7*j - 520. Let y = 3 + 2. Solve -j = -4*b - y*x, 0 = -b - 0*b - 3*x + 17 for b.
5
Let z(p) = p**3 - 3*p**2 + 4*p - 2. Let k be z(3). Let j = 10 + k. Let w(d) = -2*d - 3. Let o be w(-3). Solve 5*t + 2*m - j = o*m, 0 = 4*t - 4*m - 16 for t.
4
Let s(t) = 2*t + 3. Let d be s(0). Suppose 0 = -d*z - z + 8. Solve 2*w - 6 = 3*a - z*a, 0 = 4*a + 5*w - 2 for a.
-2
Let s(b) = 2*b**3 - b**2 + 1. Let c be s(1). Let x(y) = -y**2 + 10*y - 11. Suppose 0*p - 40 = -5*p. Let d be x(p). Solve 23 = -d*h - 2*m + c, -6 = -3*m for h.
-5
Let b(h) = h**3 + 4*h**2 - 5*h + 6. Let a be b(-5). Solve l = -u - 2*l - a, -2 = -5*u + l for u.
0
Let o(j) = -j + 4. Let t be o(-4). Let n be 3/(6/8 - 0). Solve 0 = -2*h + n*d + 8, -3*h - h = 4*d + t for h.
0
Suppose -4*i - i = -25. Solve -2 = -2*b - 4*f + 10, i*b + f - 21 = 0 for b.
4
Suppose 0 = -4*g + 87 - 27. Let u be 0/(g/3 + -3). Suppose i + 4*i - 15 = u. Solve i*n - 2 = b, 0 = 2*n + n + 2*b + 4 for n.
0
Let v(b) = 12*b - 2. Let f be v(1). Solve d - 4*d + 9 = 0, -2*n = 2*d - f fo