*y + 5 = y + c, -z*c = l for y.
2
Suppose -9*h - 635 = 427. Let m = h - -124. Let i(p) = -p**3 + 7*p**2 + p - 3. Let q be i(7). Solve -k - 6 = -3*d, d = -q*k - 2*d + m for k.
0
Let s = 10 + 2. Suppose s*d = 13*d - 3. Solve -22 = y - 5*u, -7 = -y + d*u - 21 for y.
-2
Suppose 5*g + 125 = 5*h, 3*h - 92 = 5*g - 9. Let o = h + -18. Solve 2*t = o*w - 11, -t + 2*t - 4*w = -18 for t.
2
Suppose 3*c + 20 = 4*b, -2*b = -4*b + 5*c + 24. Solve 4*a - b = -3*m, 13*a - 8*a = 10 for m.
-2
Suppose -30 = -5*f - 7*o + 2*o, 3*f - 10 = 5*o. Solve 10 + f = 4*s + 3*p, 0 = 3*s - 3*p - 6 for s.
3
Let m be 9/(((-54)/(-4))/9). Suppose -2*c + 24 = -5*x, 5*c + 3*x - 22 = m*x. Suppose 0 = -r - 0 + c. Solve r*g + 4*b - 12 = 0, 15 = 3*b - 0 for g.
-4
Suppose 2*t - 42 = -4*j, -19 = -3*j - 3*t - t. Let c be (-25)/(-6) - j/78. Solve -4*x + c*i - 16 = 0, -x - 6 = -0*i + i for x.
-5
Suppose -5*l = t - 20 + 3, 4*t = -3*l + 17. Solve 3*k - 34 = 5*x, 0*x - t = k + x for k.
3
Suppose 8 = -q - x + 17, -x - 1 = -q. Solve -5*h - 5*o - 10 = 0, -2*h = -0*h + q*o - 5 for h.
-5
Let f(p) = 2*p - 12. Let a = 10 - 2. Let l be f(a). Suppose -4*x - 2*q = -12, -l*x + 2*q + 2*q = -24. Solve -3*u + 2*g - 7*g = 14, -11 = x*u - g for u.
-3
Suppose -19*a = -3*a + 13*a. Solve 0 = 2*h, -j - 1 = -4*h - a for j.
-1
Let c be (33/33)/((-1)/(-8)). Solve -5*b - 4 = 5*s + 6, -4*b - c = 2*s for b.
-2
Let j = -340 - -341. Solve 3*s = -3*l + s - 9, s - j = 4*l for l.
-1
Suppose -3*z + 3*w = -105, 2*z + w - 58 = 6*w. Solve -5*u + z = -3*p + 4, -2*p - 30 = -5*u for u.
4
Let v be (-8)/10*(-40)/(-16). Let q be 3 + (-2)/(4/v). Suppose -4*o + q = 4*d, 0 = -5*d - 0*d - 4*o + 9. Solve -18 + 7 = 3*w - 2*m, -w + d*m = -5 for w.
-5
Let a(m) = 162*m - 480. Let s be a(3). Solve 0 = -4*x - 4*o - 22 - s, -5*x + 3*o = 11 for x.
-4
Let m = -65 - -126. Suppose -4*d + m = -x - 2*x, -3*x - 35 = -2*d. Let r = -9 + d. Solve 3*i - 3 = -0*i, -2*g = r*i for g.
-2
Let n(g) = -g + 4. Let w be n(3). Suppose 0*i = -i + 2. Let u be -12 - -15 - (1 - (0 - -1)). Solve -4*z + i*r = -w + 7, -u*z - 4*r = 32 for z.
-4
Let l(x) = -x**2 - 5*x + 5. Let s be l(-5). Suppose s*f + 3*h = -1 - 8, 4*f + 3*h + 9 = 0. Solve -3*a - t = -14, f*t + 3*t = -3*a + 12 for a.
5
Let k(n) = 3*n + 7. Let q be k(0). Let g = q - 5. Solve 4*p = -20, -5*f + 5*p = -g*f - 40 for f.
5
Let p = -14 - -23. Let s(m) = m**2 - 9*m. Let o be s(p). Let g = 2 + o. Solve 2*h = -l + 10, -g*h + h = -5*l + 6 for l.
2
Let g = 211 - 207. Solve 0 = -4*l + 4 + g, -2*l = -2*z - 8 for z.
-2
Suppose 2*k - 5*x = 10, 3*k - x = -2*x - 19. Let l(n) = n**2 - 6*n + 3. Let h be l(4). Let r be (-13)/h + 3/k. Solve 0 = r*j + j - 3*p + 18, p = -3*j - 2 for j.
-2
Let h(a) = -a**3 + 6*a**2 + a - 1. Let i(b) = -b**2 - 1. Let o(j) = -h(j) - 4*i(j). Let g be o(0). Solve 0 = -2*x + g*v - 4, -5*x = -0*v + 4*v - 23 for x.
3
Let t(g) = -3*g + 6. Let h be 4 + (-8)/(-4)*-1. Let x be t(h). Solve x = 3*z - 5*s + 19, 2*z = -z - 5*s + 31 for z.
2
Let n(g) = 3*g**2 + 2*g + 1. Let i be n(-1). Let q(u) = -5 + 4 - u + 2*u. Let x be q(4). Solve -2*s - x*r = -0*r - i, -4 = -4*s - 2*r for s.
1
Suppose -5*p = -4*y + 22 + 8, -4*y - p + 18 = 0. Suppose -2*k = 2*w - y - 15, 0 = -2*w - k + 15. Solve -5*h + w*i = -3*h - 7, 4*i = 2*h - 6 for h.
1
Let t(k) = k**2 + 3*k - 40. Let i be t(-8). Solve -8 = -u - 2*s, 4*s - 2*s - 4 = i for u.
4
Suppose -2*x + 4*s - 5 = -x, 0 = -2*s + 8. Solve -3*a - 2*l = -4*l + x, 4*a + l = 0 for a.
-1
Let f be 1572/78 - 4/26. Suppose -14 = 3*t - f. Let m(h) = -2*h. Let c be m(-1). Solve 2*g - c*z + 0*z = 0, 0 = -5*g - t*z - 28 for g.
-4
Let o(c) = -c**3 - 12*c**2 + 12*c + 1. Let x be o(-13). Solve -d - z + 4 = 0, -d - d + 4*z = -x for d.
5
Let u = 36 + -32. Suppose u*n - 27 = -11. Solve p = 3*a - 2, 6*p = 4*p + n*a for p.
4
Let r be 0/(-3)*6/(-18). Let s(k) = 3 + 2*k - k + r*k. Let h be s(-3). Solve h = 5*z - 2*o + 35, 0 = -2*z - z - 3*o for z.
-5
Suppose a - 4 + 1 = -c, 2*a - 9 = -3*c. Let k(q) = q**3 - 2*q**2 - q + 5. Let m be k(4). Let d = m - 21. Solve -5*t - d - c = 0, -18 = -2*i + 4*t for i.
3
Suppose -3*t = -t + 8, g = t + 41. Let f = g - 22. Let m = -13 + f. Solve 2*w + 6 - 1 = -5*u, -m*u - 3 = w for u.
1
Let q = -85 - -87. Suppose -3*j = -4*o + 3, q*o = -4*j + 5 + 13. Solve -5*m + 4 = 2*l, 0*l = -3*m - l + j for m.
2
Suppose 16*y + 1960 - 2040 = 0. Solve y*b = -z + 2, -7 = 5*z + b + 7 for z.
-3
Suppose -12 = -2*m - 2*m. Suppose -m*k + k = -b + 4, -b = 2*k. Let x = 99 - 87. Solve -b*l - l = 4*r - x, 0 = -4*r - 2*l + 12 for r.
3
Suppose -9*u + 144 = -3*u. Suppose 5*j = -j + u. Solve j*m - 4 = 2*k + 3*k, -3*k - 3*m - 24 = 0 for k.
-4
Suppose -6*j + 5*j = 6*j. Solve j*i + 5*f = i + 14, -i = 3*f - 10 for i.
1
Let o(m) = -m**3 - 6*m**2 - 3*m + 10. Let a be o(-5). Solve 2*c = x - 2, 2*x + c + 8 + 3 = a for x.
-4
Let a be (-64)/(-11) + (-6)/(-33). Solve -1 = -2*g + g + 2*n, -2*g = -2*n - a for g.
5
Suppose -16 = 69*n - 65*n. Let c be n - (-5 + -5 - -4). Solve 2 = 2*s + m, -c*s = -4*m - 5 + 3 for s.
1
Suppose -2*l + 72 = l. Let c = 32 - l. Solve 3*x + 5*b = x + 20, -2*x - 2*b = -c for x.
0
Let r(o) = -o**2 - 10*o + 4. Let i be r(-10). Let h be (-2)/i*0 + 3. Solve -2 = -v - h*q - 1, 3*v - 4*q = 16 for v.
4
Let p(o) = -5*o - 3. Let d be p(-1). Suppose 0 = y - 4, -y - y - 2 = -d*k. Solve -t = -k*n - 4, n + t + 0*t = -2 for n.
-1
Let t be 120/18*12/10. Suppose -b - 3*b = t. Let r be (-57)/6*(0 + b). Solve 5*k = 3*v - r, -4*k - v - 2*v - 26 = 0 for k.
-5
Let s = -132 + 136. Solve -d = -5*c + 11, -s*d + 5*c = 18 - 4 for d.
-1
Suppose 3*g + 49 = 196. Let a = g + -29. Suppose -4*k + a = -0*k. Solve -i = -3*i + k*d - 3, 2*d = 4*i - 2 for i.
1
Let n be (-2)/24*-3 - (-14)/(-56). Solve n = 3*v - 2*f - f + 3, -3*v + 5 = -5*f for v.
-5
Suppose 0 = 4*q + 3*p - 22, -3*q + 55 = 5*p + 33. Solve 5*d + 5*b - 25 = 0, 3*d - 6*d + q*b - 13 = 0 for d.
1
Let d(x) = -x**3 - 4*x**3 + 6*x**3 + 10*x**2 - 10*x + 13. Let b = 84 - 95. Let p be d(b). Solve 4*s + p*a - 24 = -3*a, 13 = -3*s + 4*a for s.
1
Let i = -110 - -196. Let c = i - 83. Solve 2*f = -4*q, 3*f = c*q - 0*f - 18 for q.
2
Suppose -4*z - 5 = -5*z. Suppose z*j - 2*t = 21, -5*t + 7 = -3. Solve -5*p + 2 = -3*o, -j*o + 5*p = p + 12 for o.
-4
Let k be (95/(-25) + 5)/((-24)/(-80)). Solve k*v + 5*p = 8 + 21, -4*p + 17 = -3*v for v.
1
Suppose 6*r - 34 = 4*r. Suppose -r = -o - 14. Solve -5*n + v + 15 = -8, 3*n + 5*v + o = 0 for n.
4
Let b = 26 - -18. Let n = 46 - b. Solve 10 = -x - 3*x + 2*k, 5*x - n*k + 12 = 0 for x.
-2
Suppose -m - 5*n + 76 - 93 = 0, 5*n = -20. Solve 3*z = -m*p + 9, 0 = -4*z + 3*p - p + 6 for z.
2
Let v(x) = x**3 - 4*x**2 + x. Let i be v(3). Let f be 2/i + (-222)/(-18). Let q be (-3)/f + (-363)/(-12). Solve 3*b = -5*j - 31, -2*b - 5*j - q + 1 = 0 for b.
-2
Let q(o) = -o**2 + 4*o - 4. Suppose -7*w + 14*w - 14 = 0. Let d be q(w). Solve a = c - 8, d = -2*a + 4*c + 3 - 27 for a.
-4
Let u be 1 + 35 + 1 - (1 - 4). Let h = 43 - u. Solve -3*j + 5*r + 35 = -0*j, h*r = 4*j - 32 for j.
5
Let g = 219 + -214. Solve -4 = -3*o + i, -o - i = -g*i + 6 for o.
2
Suppose v - 55 = -4*z, z - 22 = -3*v - 0*v. Solve -2*k = -2*w + z - 31, -w + 11 = 3*k for k.
5
Let y = 13 + -2. Let r = y - 9. Let l(t) = 4*t**2 + 4*t - 4. Let i be l(r). Solve i = 2*q - 4*p, 0 = -4*q - p + 3 + 1 for q.
2
Let a(f) = -f**3 - 24*f**2 - 27*f - 78. Let t be a(-23). Let o(u) = 41 - 41 - u. Let j be o(0). Solve -3*v = -i + t, 2*v + j*v + 5*i - 2 = 0 for v.
-4
Suppose -4*a + 4*t = 11 + 1, 2*t = 10. Solve -1 = -v + 3*s, 4*s = -a*v - 1 - 17 for v.
-5
Let g be (8/10)/(5/(50/4)). Let x(h) = -2*h - 6. Let u be x(-4). Let a = u + g. Solve -r = -3*t - 1, -5*t + 5 = -r - a*r for t.
-1
Suppose -h + 6*h + 2*a = 33, -h + 9 = a. Solve h*z - 4*t = 0, -z = -2*z + 5*t - 21 for z.
4
Let q = -13 + 6. Let y be 142/12 - q/42. Let w(d) = d - 7. Let b be w(y). Solve -3*z + 2*s = -z + 10, b*s - 25 = 0 for z.
0
Suppose 5*i - 4*i + 18 = 0. Let b = i + -8. Let n be (-2)/(-13) + (-48)/b. Solve 2*v - 7*v - 5*a = 15, -n*a = v + 3 for v.
-3
Let q = 337 - 334. Solve 5*p + 14 = q*y + 4*p, -y - 4 = 4*p for y.
4
Suppose 0 = -7*k + 22 + 6. Suppose 8 = i - 4*t, -5*i + 34 = k*t - 6. Solve -s - 4 = -0*g + g, 0 = 2*s + i for g.
0
Let p(y) = -y**2 + 24*y - 39. Let t be p(22). Solve 2*s - 26 = t*b, -s - 2*b - 5 + 0 = 0 for s.
3
Let l = -2160 + 2187. Sol