 = -8674 + 8676. Solve 3*t = n, z*t + n = 1 - p for t.
-1
Let y(c) = -4*c**2 + 21*c - 7. Let j be y(5). Suppose -2*d + 29 = -6*d + p, -4*p + 44 = -4*d. Let n be (0 + d/4)*j. Solve 0 = 3*q, 2*q = o - n*o for o.
0
Let g(h) = -6*h - 3. Let v be g(6). Let j = -24 - v. Suppose -8*c + j = -3*c. Solve 0*f = c*f - 12, -2*s + 3*f - 22 = 0 for s.
-5
Suppose 14*g - 151 = -39. Solve c = 4*w - g*w - 13, -5*w - 5*c = 35 for w.
-2
Let v be -15 + 7 - 2*-1. Let o(t) = 3*t**2 + 15*t - 12. Let d be o(v). Solve -s - 12 = 3*f + 2*s, -3*f - s - d = 0 for f.
-1
Suppose -4*a - 11 = -3*z, -7 = -2*z + 3. Suppose -a = -t + 3. Solve -t*c - 3*n = -1, -5*n + 26 = -3*c + 5 for c.
-2
Suppose 0 = 2*l - 8*o + 3*o, 0 = 5*l + 5*o. Solve 3*i + 5 = -4*h, -5*h - 10 + l = 0 for i.
1
Let g(z) = 3*z + 2. Let s be g(3). Suppose -s = -r + 3*j, -4*j - 8 = 4*r - 2*r. Let b = -339 + 342. Solve 2*o + k = b, 0*k = r*o - 2*k + 6 for o.
0
Suppose 0 = -36*h + 38*h + 76. Let o = -25 - h. Solve o = -3*j - 2*k, -j + 3*j - k - 3 = 0 for j.
-1
Suppose -140 = -0*o - 7*o. Suppose 0 = 4*w, w = f + 4*f - o. Solve 0*k + 9 = 3*k + 2*r, 4*k - f*r - 32 = 0 for k.
5
Let f(u) = -u**2 - 7*u - 10. Let m be f(-4). Let t be (1 + (-1 - -3) + m)*1. Solve t*x = -5*a - 10, 3*x + x = -2*a - 2 for x.
1
Let s(z) = z**3 - 10*z**2 - 9*z - 1. Let h be 22*1*(35/(-10))/(-7). Let a be s(h). Solve -4*g = -5*d + a, 2*d - 2*g - 8 = -0*d for d.
5
Let d = -9 + 13. Suppose -2*f + 17 + 1 = 0. Suppose t = d*t - f. Solve -4*k = -t*p - 28, -3*k = p - 4*p - 24 for p.
-4
Suppose 0 = -3*x + 17 + 37. Suppose 8 = -p + 3*p. Suppose p*d - 3*o - 13 = 2, -3*d + 5*o + 14 = 0. Solve -d*g - 3*n - x = -8*g, -2*n - 14 = -4*g for g.
3
Let q(p) = -p**2 - 14*p + 3. Let v be q(-13). Let b be (-2 + -1)/((-12)/v). Solve -3*r = -z - 5, -z = -5*r + 3 + b for z.
-2
Let f be 30/(-40) - 194*(-2)/(-16). Let k = -22 - f. Solve 2*m = 3*w - 11, 5*w - 6 = k*w for m.
-1
Suppose -23*w + 27*w + 6 = 3*i, -2*w = 2*i - 4. Solve 4*a + g - 31 + 7 = 0, w = 2*a + 3*g - 22 for a.
5
Suppose -5*p + 440 = -0*p + 5*q, -4*p + 3*q = -359. Suppose -17 = 4*v - p. Solve 4*i - 21 = 5*d, -4*d - v = -4*i + 2*i for i.
-1
Let r(p) = p**2 - 2. Let g be r(2). Suppose 2 = -w + 2*w. Suppose w + 6 = 4*t. Solve -t*q - g*s - 11 = 3*q, q - 2 = s for q.
-1
Let p = 72 + 45. Suppose -2*r = -3*i - 79, -i - 3*i + 5*r = p. Let u be 0 - ((-1 - -1) + i). Solve 0 = -2*j - 5*h - 8 + 29, 5*h - u = -j for j.
-2
Let f(m) = m**3 + 5*m**2 + 5*m - 1. Let q be f(-4). Let h be 2/(6/5)*(8 + q). Solve 4*l = -0*c + h*c + 5, -3*c + 4 = -l for c.
3
Suppose 5*i + 54 = -66. Let a = i + 29. Let u = 2 + -2. Solve -5*g - s - 18 = u, -5*g + 11 = -a*s + 41 for g.
-4
Suppose 0*k = 5*k - 10. Suppose 2*h - 104 = 2*l, 2*h = 3*l + 149 - 41. Let y = h - 34. Solve 0 = k*u - 0*u + 2*o - y, 0 = 3*u - o - 5 for u.
3
Let p(r) = r**2 + 11*r + 42. Let n be p(-4). Suppose -12*s + 5*s = -n. Solve -4*a + 3*g = -s*g + 16, 5*a + 4*g = 21 for a.
1
Suppose 0 = -4*g - 5*o + 98, -5*g + 162 - 42 = 5*o. Suppose -7*t = -3*t - z + 42, z - g = 2*t. Let d = -7 - t. Solve -d*a + 6 = -3*x, -20 = 5*x + a + 4*a for x.
-3
Let i(v) = 55*v + 452. Let a be i(-8). Solve -3*z - a = -3*o, -z + 0 + 2 = 2*o for o.
2
Let z(v) = 11*v**2 - 6*v + 5. Let i be z(1). Suppose -i*r - 32 = -18*r. Solve -4*a + 13 = 5*o, 0 = -a - a + r*o for a.
2
Suppose -u = 12*u - 26. Let o be (3/3 - u)/(1/(-1)). Solve q + o = -5*s, q + 1 = 2*s - 4*s for s.
0
Let s = 81 - 79. Solve 5*d - l = 4*d + 1, s*l = -4*d + 4 for d.
1
Suppose -4*l = -2*q + 54, 2*q - 40 = 3*l + q. Let r = 16 + l. Suppose 1 = 5*i - z - 24, r*i + 3*z + 3 = 0. Solve 7 = i*n + 3*p, 0 = -n - 0*n - p + 1 for n.
4
Suppose 100 = -4*k + 260. Suppose 2*c + k = 4*c. Solve -4 = 3*a + 2*r, -5*r + 0*r = -c for a.
-4
Let a = 2 - -2. Solve -i - a*g = 2*i + 6, 5*i - 25 = 5*g for i.
2
Let f(p) = -p**2 + 2*p + 4. Let d be f(8). Let c = 52 + d. Solve 3*l = -3*k, -3*l - 50 = -c*l + 5*k for l.
5
Suppose -33 = -9*x + 57. Solve -2 = 3*r - b, -2*b + 0*b = -x for r.
1
Let r be -4*((-15)/6 - 1). Suppose -76 + 10 = 6*d. Let k = d + r. Solve k*w - 5*m - 3 = 0, 3*w + 15 = -3*m + 2*m for w.
-4
Suppose 3*x + 2*p - 4 = 0, 4*x - 3*p - 18 + 7 = 0. Suppose i - 5*l = 15, -l = -5*i + 29 - x. Solve -2*t + 0*j = -j, 0 = t - i*j for t.
0
Let r = 577 + -573. Solve -5*f - 2*t = -14, -r*f + 1 = -5*t + 3 for f.
2
Let v(n) = -n**2 - n + 25. Let x be v(0). Let j(l) = -l**2 - 23*l - 75. Let d be j(-18). Solve -5*r + 3*y = -d, -x = -r + 2*y + 3*y for r.
0
Suppose -49 - 38 = -3*g. Let v(a) = -3*a**3 - 2*a - 1. Let s be v(-2). Let b = g - s. Solve -5*t + b*i = 4*i - 7, 4*i = -16 for t.
3
Let d be (-209)/(-55) - (-2)/10. Suppose -6*y + 4 = -d*y. Solve -i = 3*t, i - y*t = -2*i for i.
0
Let y = 75 - 49. Suppose 2*b = -14 + y. Solve -2*c - z + b = -c, -2*c + 4 = -2*z for c.
4
Let v(m) = m**3 - 10*m**2 - 40*m + 15. Let t be v(13). Solve q - t*r = r - 17, r = 5 for q.
-2
Let f(p) = p**2. Let j be f(-2). Let q = j + -11. Let i = q + 11. Solve 5*u - b = -16, 2*u + b - i*b + 9 = 0 for u.
-3
Suppose 2*o + 3*v - 7 = 0, -5*o + 15 = 10*v - 5*v. Solve o = -x, -5*m + x = 3*x + 4 for m.
0
Let h(a) = a**3 + 5*a**2 - 5*a - 16. Let y = -29 - -25. Let n be h(y). Solve -5*j - 25 = -s, n = -5*j + 3*s - 5 for j.
-5
Let h(g) = -3*g**2 + g - 2. Let j(a) = 1. Let i(m) = -h(m) - 4*j(m). Let r be i(-1). Solve -4*x - 14 = r*k, 10 = -3*x + 2*k - 4 for x.
-4
Let t(g) = -g**3 + 7*g**2 + 18*g + 3. Let l be t(9). Solve -l*y = 2*a - 7, 4*a - 5*y = 3 - 0 for a.
2
Let p(m) = -m**3 - 12*m**2 - 10*m + 14. Suppose -23 = 3*n + 10. Let z be p(n). Let q be (z + -2)*(-26)/(-2). Solve 2*a = j - 8, -5*a + 5*j - q = 7 for a.
-4
Let n = 692 + -692. Solve 5*t = 5*m + 40, n*m - 13 = -5*t - 4*m for t.
5
Suppose 4*k = 16, -12 = -0*x + x - 5*k. Solve -4*z - 31 = 5*q, -q - x = z - 1 for q.
-3
Suppose 0 = 5*d - 0*d + 225. Let s be d/(((-12)/(-8))/(-1)). Solve 30 = -4*r + 2*v, r + 4*r - v = -s for r.
-5
Let u(a) = -4*a**2 - 19*a + 6. Let k(h) = -3*h**2 - 19*h + 7. Let v(f) = 6*k(f) - 5*u(f). Let p be v(9). Solve -c = -2*t - 3 - p, 3 = -2*c + t for c.
-4
Let v be 4/(1 + -3 + 4) - 9. Let n = v - -32. Solve x = 2*r + 9, -2*r + n = 5*x - 7*r for x.
1
Let m(p) = 4*p**3 + 2*p**2 - 2*p + 1. Let z be m(1). Suppose 7*a + 412 = 125. Let y = a - -53. Solve -2*c - 2*q = y, 4*c - q + z = 1 for c.
-2
Suppose 2*k = -t + 5, 3*t + 34*k = 30*k + 13. Solve -2*m + t*l = -16, 0 = 2*m - m - l - 6 for m.
2
Let n = 5 + -3. Suppose -2*p + 3*y = -p - 11, 20 = -5*y. Let u(z) = -4*z - 2. Let q be u(p). Solve 3*r + 4*i = n, -5*i = -7*r + q*r - 20 for r.
-2
Let i(d) = -d**2 + 50*d + 464. Let r be i(58). Solve -h + 4*h + y - 4 = 0, h - y - 8 = r for h.
3
Suppose y = 4*g + 89, 5*y + 80 = 2*g - 7*g. Let b = g - -21. Solve 2*u = -q - b*q + 7, 4*u + 3*q - 13 = 0 for u.
4
Let l be (-1 - (4 - 3)) + 10. Let y = l - 12. Let s(u) = -u + 1. Let p be s(y). Solve p*w - 14 = 5*f - 4, -w = f + 6 for f.
-4
Let i(j) = 3*j + 21. Let m be i(-8). Let t be (-4)/12*m*(0 + 17). Solve 4*w + u = t, -2 = -2*w - 2*u + 8 for w.
4
Let j = 6 - 2. Suppose 3*p = 2*t - 5*t + 108, -2*p = -3*t - 47. Let s = -10 + p. Solve -j*r = -2*b - 18, b - s = -4*r - 0*r for r.
5
Let o(h) = -h**3 - 7*h**2 + 5. Let x(w) = 7*w + 21. Let j be x(-4). Let d be o(j). Solve 5*z - d*v + 5 = 0, -v + 2*v - 2 = 0 for z.
1
Let h be ((-24)/40)/(3/(-15)). Suppose 0*m - 3 = -2*n + m, 0 = n + m - h. Suppose -10*z + n*z + 24 = 0. Solve z*y + 13 = s, -4*y = 4*s - 6 + 18 for y.
-4
Suppose 25 = -3*i - 2*i - 3*x, -2*i = -2*x + 26. Let k be i/24 - 7/(-3). Let l be 2/(-4) + 10/4. Solve 0 = 2*o - 4*y + 1 + 1, k = 4*o - l*y for o.
1
Let d(k) = k + 5*k - 3*k + 7 - 4*k. Let p be d(4). Let o(t) = -t - 13. Let c be o(-13). Solve 2 + 1 = a + 2*l, c = -p*a - l - 6 for a.
-3
Let u = 1418 - 1399. Solve 0 = -3*f - f - 4*v - 28, -v - u = 4*f for f.
-4
Suppose 6*q - 7 - 11 = 0. Let g(b) = -b - 8. Let p be g(-7). Let w = p + 3. Solve -q*h - h + 12 = -4*j, -j - 9 = w*h for j.
-5
Let i be -2 - -4 - 22/1. Let t be (-19)/(570/(-20)) + 112/(-6). Let l = t - i. Solve 2*y = l*r - 8, 4*r = y - 0 + 1 for y.
-5
Suppose 0 = 17*u - 16*u - 2. Solve -2*s - 2 = -d, -u*s = 3*s - 3*d + 6 for s.
0
Let y = -9 + 12. Let g be ((-16)/(-6)*y)/(2 + 0). Solve -g*h - 33 = -2*p - 9, 0 = -2*h + 5*p - 20 for h.
-5
Let u(x) = 3*x**2 - x. Let a be u(1). Let f(v) = 