5
Let b be 2*3/(-6) + -29. Let o be ((-9)/(-5))/((-9)/b). Let l = -9 - -15. Solve k = 2*s + o, 1 = s + l for k.
-4
Let l(d) = -3*d - 3. Let c be l(-2). Solve 0 = -2*p + 5*o + 9, c*p + o + 6 = -6 for p.
-3
Let q be (-5)/20 + 178/8. Let n = q - 22. Solve -4*r + 4*k - 3 - 1 = n, -3*r - 5 = -k for r.
-2
Let c be ((-18)/(-4))/(15/20). Let d be (-2 + 2)/(1/1). Suppose 3*m + 4*a = 10, d*m - c = -m - 4*a. Solve m*f - 6 = -0*z + z, -3*f + 9 = -z for z.
0
Let i be ((-9)/(-4))/((-3)/8). Let h(o) = o**3 + 2*o**2 - 10*o - 9. Let r be h(i). Let n be r/(-3) - (-2 + 1). Solve -n = -5*j + 3*s - 6*s, -s = -4 for j.
4
Suppose j + 6 = 3*j. Solve -j*s - 4 = -5*y, 5*y + 4 = -s - 4 for s.
-3
Suppose -6 = -6*d + 3*d. Suppose -d*s - 3 = -7. Solve 4*w - 4 = 2*q + s*w, q = -5*w + 28 for q.
3
Let g = 8 + -23. Let q be (-3)/(-5) - 21/g. Solve 0*n - 3*n = 5*f - 25, -q*f = 4*n - 10 for f.
5
Let q = -4 - -4. Let y(h) = h - 2. Let n be y(7). Solve 0 = -3*z - 3*u - 12, -z - n*u + q = 4 for z.
-4
Let s be 1*(-20)/8*-2. Let d = 1 + 1. Let u = d - 0. Solve 0*x + 3 = 3*x - u*p, -x = -s*p - 14 for x.
-1
Suppose 0 = -2*w + 9 + 1, 5*m - 25 = -3*w. Solve -3*x - m = 5*j, -3*x = 9 + 3 for j.
2
Suppose 7 = 2*s - 9. Let t(g) = g**2 - 7*g - 5. Let q be t(s). Solve 2*k - 10 = -q*d - 5, 5*d - 25 = 0 for k.
-5
Suppose 68 = 5*s - 7. Solve -5*q - 4*b + 17 = -28, 0 = -2*q + 5*b - s for q.
5
Let z be 20 - (0 + 4 + -1). Solve 4*x = -3*a + 2*a + 8, 2*a = 3*x - z for a.
-4
Let q(m) = -5*m**2 + m. Let b be q(2). Let u(z) = z + 23. Let w be u(b). Solve -f + r = -5, w*f = 4*r + 23 + 1 for f.
4
Suppose 39 = 3*t + 3*d + 9, 5*t + d - 30 = 0. Let f(m) = m - 4. Let k be f(t). Let w = k - 1. Solve w*y - 5*y + 11 = -4*i, 3*y = -3 for i.
-4
Let b(f) = 8*f + 42. Let z be b(-5). Solve -3*y - z = 2*r, y - 4*r = 4 - 0 for y.
0
Let d(f) = -f**3 + 4*f**3 - 3*f**3 - 2*f - 3*f**3. Let k = -7 - -5. Let s be d(k). Solve 4*z - 9 + s = 3*u, -4*z + u = 9 for z.
-1
Suppose 3*x - 10 = 5*c - 3, 5*x - 20 = 0. Let m(v) = 16*v. Let p be m(c). Suppose 7*q - 4*q - 6 = 0. Solve -6 = -2*l - o, -5*o = l + q*l - p for l.
2
Let z = 6 - -1. Suppose 3*r = z - 1. Solve -3*m - 12 = -4*n, -4 - 2 = -2*m - r*n for m.
0
Let g be (-40)/(-18) + 4/(-18). Suppose 0*p - 3*m = -5*p - 5, -3*p + 3 = -3*m. Let o be (-2)/p + (-1)/g. Solve -3*r + 9 = o, 0 = -5*a + 5*r - 2 - 3 for a.
2
Let d(m) = m**3 + 7*m**2 + 5*m + 3. Let a be d(-6). Let x be 24/(-6)*2/4. Let k be 6/((-12)/a - x). Solve q - 2*q - g + k = 0, 0 = 3*q - 4*g + 8 for q.
4
Suppose 0 = 2*v + 7*v - 225. Solve r = -2*s + 5*r - 12, 5*r = v for s.
4
Let u be ((-16)/64)/(1/(-12)). Solve c - t = 5 - 2, c + u*t = -9 for c.
0
Suppose 0 + 2 = i. Suppose -u + 2*u = -2*l + 44, -4*l - 48 = -2*u. Let a be u/6 + (-8)/12. Solve a*o = -4*y + 5, -3*o + i = -3*y - 1 for o.
1
Let w(v) = -v**3 + 7*v**2 - v + 8. Let z be w(7). Let y be (-5)/3 + 1/(-3). Let l be z/((-10)/6 - y). Solve 6 = 3*f + l*d, 5*f + 13 - 32 = 4*d for f.
3
Let o = -17 + 17. Let h be ((-1)/(-3) - 0)*o. Solve h = 3*z - z - m - 10, -2 = -2*z - m for z.
3
Let v = -4 + 7. Solve 3*q - 4*t = -0*q - 14, v*q = -5*t + 31 for q.
2
Suppose 160 = -2*m + 178. Solve -3*f - q + m = 4*q, -12 = -4*q for f.
-2
Suppose -5*p + 5 = -p - k, -4*k = 2*p + 20. Suppose 0 = 5*u - 4*m + 11, -m - 3*m = -4*u - 8. Let y be (0 - u/6)*p. Solve 4*l = -c + 8, y = -l + 3 for c.
-4
Suppose 8*g - 8 = 6*g. Suppose g*y - 35 - 21 = 0. Solve 0 = -3*i + q - y, -12 = -i + q - 4*q for i.
-3
Suppose g = 3*i - 28, -i + 21 = 4*g + 3. Solve -3*f - i = -d - 3*d, 0 = -f - d - 1 for f.
-2
Let w = 0 - -2. Let d(n) = -n**3 - 9*n**2 + 10*n + 9. Let t be d(-10). Solve 0 = 5*o - w*k - 10 - 9, 3*k = t for o.
5
Suppose 3 = s - 6. Suppose -5*m + 16 = -s. Suppose 3*y - 2*y - m = 0. Solve -y = -0*d - 3*d - f, d = f - 5 for d.
0
Let a be 6/3 + -2 - 1. Let u be a/(0 - 1/13). Solve -u = -0*s - 4*s + v, -3*s - 5*v = 19 for s.
2
Suppose 0 = -t + r - 4 + 3, 5*t = -5*r + 5. Solve t = 3*p - 5*v + 1 + 4, -v = p - 1 for p.
0
Suppose -o - 5*q = -3*q + 14, 5*q + 26 = -o. Let f(s) = -5*s + s - 3*s - s**2 - 2. Let j be f(o). Solve 2*u - 3 = -l, -3*u - l - 9 = -j*l for u.
0
Let n be (8/12)/(2/6). Solve -4*b + 24 = -0*b - 2*o, -n*o = -5*b + 28 for b.
4
Suppose 0 = -14*n + 7*n + 21. Solve -5*i - n*g + 2*g - 18 = 0, -i - g - 6 = 0 for i.
-3
Suppose -17*u - 9 = -20*u. Suppose -41 - 10 = -4*h + 3*y, u*y - 30 = -5*h. Solve -m - l = -h, -2*l = -3*l + 5 for m.
4
Let p be (-242 - (0 - 1))*-1. Suppose 4*i = -5*l + 52 + 238, -4*l = 5*i - p. Suppose l = 5*q - 2*q. Solve 2*f + s + q = 5*s, -2*s = -2*f - 14 for f.
-5
Suppose -8 = 4*p - 6*p. Let i be 2 + 0 - p/(-4). Let l(o) = 6*o - 3. Let j be l(3). Solve 4*m = c - 17, -i*m - c = m + j for m.
-4
Suppose 3*l = -2*l. Let m be (l/(-7))/(0 + 3). Let g = 27 + -17. Solve 4*c - 2*k - g = 0, -3*c - 5*k + 3*k + 25 = m for c.
5
Let g(u) = -u - 1. Let a be g(-3). Let l = 4 - -1. Solve l*d + a*z - 1 = 5, -4*d - 3*z + 9 = 0 for d.
0
Suppose 2*g - 19 = -11. Solve b + g*b = -10, b + 10 = 4*l for l.
2
Let v = 136 - 122. Solve 3*d + 16 = 4*m, 0 = -5*m + 5*d + 11 + v for m.
1
Let k(n) = 8*n**2 - n**3 + 11*n - 3 - 4*n - 3 + 3*n. Let x be k(9). Solve -v = -3*o + 13, -x*v + 8 = 3*o + v for o.
4
Let l(q) = -q**2 - 3*q + 3. Let v be l(-3). Let s be (-14)/(-8) + (-2)/(-8). Suppose a - 180 = -4*a. Solve 4*t = 5*c + 40, -s*c = -5*t + a - v for c.
-4
Suppose -w - 2*b + 17 = 0, 2*w - b - 19 = -0*w. Solve -p + 7 = z, p - 5*z + w = -2*p for p.
3
Let d be 18/8 - (-3)/4. Solve g = 5*n - d*g + 1, -g = 1 for n.
-1
Let b be (0 + -1)*(-4)/2. Let u(o) = -o**3 + 6 - 4*o + b*o + o. Let f be u(0). Solve 2*t + 5*k - 5 = -1, 0 = -3*t - 2*k + f for t.
2
Let g = 8 - 7. Solve -2*s = -3*r + 1 + g, 29 = r + 5*s for r.
4
Let y be -3 - -2 - 1/((-3)/9). Let n(p) = -p**3 - 7*p**2 - 5*p - 5. Let z be n(-6). Let m be (z/(-2))/(2/4). Solve -c - m = y*s + s, -s + 5*c - 9 = 0 for s.
-4
Suppose 4*u + 16 = 2*r, 2*r + 2*u = r. Let j = r + -1. Solve d - j*b = 10, 3*b + 5 = -d - 3 for d.
1
Suppose 5*v - 8*v = -105. Solve -v = -5*p - 5*f, -4*p - 1 + 4 = -f for p.
2
Suppose 0*f + 5 = f. Suppose -2*n - 6*o + 10 = -5*o, 2*n + f*o - 18 = 0. Solve -1 = u - a, -2*u = -n*a + 2 + 2 for u.
0
Let d be (-26)/4*(-6 - -4). Let g = d - 22. Let i be (g/3)/3 - -6. Solve 0 = -2*u - i*o + 19, -u - o = 4*u + 10 for u.
-3
Let g be (1 - -36)/(2 - 1). Let i be 1/(-2) + (-3)/2. Let q = i + g. Solve -q = 4*f - 5*s, 8 + 3 = -4*f - 3*s for f.
-5
Suppose 3*b + 2*s - 7 = 3, b - 3*s - 18 = 0. Solve 4*z + 2*x - b*x = -4, 13 = -5*z + x for z.
-3
Suppose 4 - 2 = 2*x, 0 = -2*r - 4*x + 14. Solve -r*s = 2*u + 8, 4*u - 3 - 1 = 0 for s.
-2
Suppose -16 = -2*p - 2*l, -3*p + 2*l + 0*l + 4 = 0. Suppose p*i + i = 15. Suppose 0 = i*c - 3 - 0. Solve 0 = -b + c, 2*g - 4*b + 2 + 0 = 0 for g.
1
Suppose 15 = 4*z + 7. Solve h + 5*a = -24, -2*a = -3*h + z*h + 4 for h.
-4
Let d be (-4)/(-1) + 8 + -5. Let r = d - -5. Solve 5*x = -4*i - 16, -2*i + 4 = -x + r for x.
0
Let w be -5 + (-7)/((-28)/32). Solve -4*p - 12 = -2*h, 3*h - w*p + 0 = 3 for h.
-4
Let g = -1 - -1. Suppose g*d + 15 = -3*d. Let y = -2 - d. Solve 0 = -4*n - 2*x - y*x - 7, -3*n - 5*x - 9 = 0 for n.
2
Suppose 3*w + 22 + 65 = 4*g, 5*g - 105 = 3*w. Let q be (-3)/g*3*-8. Solve 2*a - 15 = 3*c - 4*c, -q*c = -20 for a.
5
Let o = -18 - -26. Solve -5*c + o = 7*h - 4*h, 0 = -4*c + 4*h for c.
1
Suppose 3*d - 12 + 0 = 0. Solve 5*t - 31 = -3*n, 2*n + 2*n = d*t - 12 for t.
5
Suppose 11*z - 15 = 6*z. Solve 0 = -3*v - z*x - 12, -5*v + v = -x - 4 for v.
0
Suppose 8*w - 8 = 32. Solve -w = -2*y + 2*o + 7, 5*y - o - 18 = 0 for y.
3
Let s(u) = u**2 + 5*u + 3. Let k be s(-3). Let l = k + 6. Solve 6*x = 4*j + 3*x + 19, -l*j + 2 = x for j.
-1
Suppose -3*d + 9 = -9. Solve -3*t = -2*b + d, 4*b + 10 = -5*t - 0 for b.
0
Let i be (-4)/7*14/(-4). Suppose 0 = -3*z - i*z + 15. Solve 0 = -5*g - z*f - 13, 2*g = 3*f + 2*f + 1 for g.
-2
Suppose -3*u + 3 = 0, -2*w + 4*u = -0*w - 22. Solve 0 = -4*t - 3*c + 29, 2*t + 2*c = c + w for t.
5
Let b = -5 - -1. Let s be 14/b*18/(-21). Solve q = -4*n + 13, 3*n + n - s*q + 7 = 0 for n.
2
Let r be (2/4)/(2/16). Let m be (1 - 5)*10/(-8). Solve 4 + r = 3*o + g, o - m*g = 8 for o.
3
Let p(s) = -4*s + 93. Let i be p(22). Solve i*r + l = -26, 11 = -3*r + 2*l + 2*l for r.
-5
Let a = 2 - 8. Let z = -3 - a. Let c be (3*z)/(-1 + 2). 