Suppose 5*h + 30 = 5*p, -h = p + 2*h - 2. Suppose -p*q + 2*q = 0. Suppose q = t - 1 - 2. Solve 4*y + 3*j = 31, -19 = -t*y - 2*j + 3 for y.
4
Let k(q) = q - 3. Let m(z) = 2*z + 3*z + 6 - 6*z. Let p(t) = 5*k(t) + 3*m(t). Let g be p(4). Solve -g = 5*v - 1, -4*y - 2*v - 24 = 0 for y.
-5
Let w(l) = 2*l + 1. Suppose -12 = 5*g + 2*j, -2*g - 2*j - 9 = -3. Let o be w(g). Let s = o + 7. Solve -u + 4*u = s*i + 10, 6 = -5*u + i for u.
-2
Let z(q) = -q**2 - 5*q + 14. Let o(k) = -k**3 + 7*k**2 - 8*k + 6. Let p be o(6). Let s be z(p). Solve -2*j + s = 4*u, 5*j + 7*u = 2*u + 5 for j.
-2
Suppose 5*i - 4 = 6. Solve 5*x - 3 + 4 = c, -i*c = -4*x - 2 for x.
0
Suppose -6*h = -3*h. Suppose h = l - 3 - 0. Suppose -l*z = -2 - 4. Solve 20 = 4*g, 2*g - 25 = -k - z*k for k.
5
Let i = -40 + 43. Solve -i*n + 28 = -4*p, n - 40 = -4*n + 5*p for n.
4
Suppose -4*o = -5*c - 4, -4*o + 4 = -2*c + 5*c. Suppose 0 = -5*q + o + 4. Suppose 0 + q = z. Solve 5*f - 10 = -5*l, -f = -l + 3*l - z for f.
3
Suppose 0 = -0*x + 3*x + 9. Let b be (x/5)/(3/(-15)). Solve -2*d + b*d + p - 6 = 0, -19 = -4*d + p for d.
5
Suppose -1 - 19 = -2*r. Let f = 10 - 10. Suppose 0 = j - z - 9, 2*j - 2*z + 7*z - 32 = f. Solve -3*s - j + 1 = 2*p, 2*p + r = 4*s for p.
-5
Suppose -u - 8 = -3*u. Suppose -d + 2 = b, u*d - 8 = b - 25. Solve g = b, 3*s = 6*s + 5*g - 34 for s.
3
Let q(r) = 2 - 5 + 1 + 3*r. Let p(y) = y**3 - 4*y**2 - 5*y + 2. Let i be p(5). Let f be q(i). Solve -2*v + 8 = 3*d, f*d + 5*v = d + 2 for d.
4
Let g = 70 - 69. Solve -5*a - 4*y + g = 3, 3*a + y = 3 for a.
2
Let u = 17 + -15. Suppose -u*p + 2 = f, 3*f - 8*f = p - 28. Solve -5*y = -z + 18, -5*y - 3*z + 0*z = f for y.
-3
Let c(u) = -4*u - 4. Let b be c(-3). Suppose 0*k = 4*k - b. Let m = -2 - -6. Solve 3*r = 5*d + 3, k*d - 5*r = -r - m for d.
0
Suppose -3*i = 4*q - 12, 3*i + 3 = q + 2*i. Let v be 1/q + 77/21. Solve -h - 3*y - 3 = 0, 5*h + y + 15 = -v*y for h.
-3
Let c(y) = 2*y**2 + 6 - y**2 - 3 - 5*y. Suppose 4*h - 1 - 19 = 0. Let v be c(h). Solve j - t - 2 = 0, j + v*t + 12 = 2*j for j.
-3
Let c be (-9)/(-6)*16/6. Solve 5*g - c*l = -1, 0*l - 27 = -5*g - 3*l for g.
3
Let x = 9 - 13. Let u be (-2)/x*10 + -1. Solve -2*z - u = c + c, 4*z + 10 = -5*c for c.
-2
Suppose -16*a + 210 = -2*a. Solve x - 3*x + a = -5*s, -16 = -4*s - 4*x for s.
-1
Let y = -13 - -18. Solve y*r - 11 = -2*s, -s + 4*r - 20 = 3*s for s.
-2
Suppose -2*k + 22 = -0*k + 2*o, 55 = 5*k - 3*o. Solve -w - 4*x = -k, -3*x = -5*w - 5*x - 17 for w.
-5
Let r be (-1)/(-3) + 1/(-3). Let q be r + (-4)/((-2)/(-1)). Let f = q + 4. Solve 0*k - 8 = 4*j + 2*k, f*j - 2*k = -4 for j.
-2
Let j = 9 + -6. Solve 2*z + r - j = 0, 5*z = -3*r + 15 - 5 for z.
-1
Let p be 1 + -1 + 2 + -3. Let y be p + 3 - (2 + 0). Suppose -3*g + 15 = -y*g. Solve -4*d - 32 = 4*w + d, -5*w = g*d + 35 for w.
-3
Suppose -5*f + f + 16 = 0. Let q = -2 + 5. Let m = 7 - q. Solve 0*v + 3*z + 8 = -v, -m*v + f*z = 0 for v.
-2
Suppose -4*q = 6*q - 40. Solve -q*d + 3 = -x, 4*d + 3 - 12 = -5*x for d.
1
Let h = -84 + 89. Solve -5*v - 3 = -5*k + k, -3*v - 7 = -h*k for k.
2
Let z(n) = n**2. Let b(x) = -3*x**2 + 6*x + 3. Let t(r) = b(r) + 2*z(r). Let u be t(6). Solve 3*l = u*a - 21, 0 = -2*a + 3*l + 10 + 7 for a.
4
Let o = 3 - 1. Suppose 3*i = -o*i + 10. Suppose -c + 3*j + 13 = 5, 5*c - 3*j = 28. Solve -2*t = 3*t + f + c, -3*t + i*f - 16 = 0 for t.
-2
Let b = 7 - 5. Suppose -b*s - 3*k + 2 = 0, 4*k = -3*s + 2*k + 13. Solve 0 = -3*z + z + 3*i + s, z = i + 3 for z.
2
Let h(w) = 7*w - 5. Let f be h(1). Solve 0 = m + 2*g + 3*g - 9, -f*m + 4*g = -4 for m.
4
Let j be (56/(-10))/(3/(-15)). Suppose -2*x = -5*w + 27, -5*w + x = -2*x - j. Suppose f = -3 + 6. Solve 4*v = -2*l - 10, -f*l + 5*l - 17 = w*v for v.
-3
Let r = -42 + 66. Suppose 4*y - y - 2*k - 4 = 0, 0 = 4*y + 2*k - r. Solve 4*u + 4*t - 7 = -27, 1 = y*u - 3*t for u.
-2
Suppose 5*h = 3*o + 111, -2*o - 2*o = 8. Solve -2*g + 5*s + 18 = s, -5*g + 2*s = -h for g.
3
Let u(s) = -s**2 + 1. Let b be u(1). Solve -3*o - 24 = 3*x, 4*x + b*o + 7 = o for x.
-3
Let d = 6 + 4. Solve -5*i - 2*m + 14 = 0, 4*i + 2*m - m - d = 0 for i.
2
Let n(p) = 3*p**2 + 1. Let c be n(1). Let z be (-8)/(-16) - (-2)/c. Solve w - 4*s - 2 = 0, -w + z = -3*s - 1 for w.
2
Suppose 3*y + 47 = -2*b, b + 60 = -4*y - b. Let r = y - -16. Solve 27 = 3*j - 4*x, 5*x = 4*x - r for j.
5
Let p = -3 - -8. Suppose 4 = -p*a + 14. Solve -4*d = 0, a*n - 2 = -2*d + d for n.
1
Let t(k) = 4*k**3 - k + 1. Suppose x = 3*x - 2. Let q be t(x). Solve q*m + 6 = -s, 0 = -0*s + 2*s + 3*m + 2 for s.
2
Let l(w) = -w**2 - 6*w + 5. Let u be l(-6). Let g be (2/6)/(u/15). Let h = g - -3. Solve 2*v + 22 = -0*v + h*k, 0 = -5*v - 5*k + 20 for v.
-1
Suppose -3*z - 4*j + 7 + 65 = 0, -2*j = -z + 24. Suppose 4*g + 6 - z = -3*s, 2*s + 5 = 3*g. Let r = -2 - -2. Solve g = -3*c + 2*x + 11, c + x - 6 = r for c.
4
Suppose -5*f - 8*y + 10 = -3*y, -f + 22 = -3*y. Let c = -2 + f. Let k = -8 - -19. Solve 3*n = -a + c, 3*n = -4*a + k + 9 for n.
0
Let r = -117 + 121. Solve r*h + 2*z - 12 = -2*z, -2*h - 14 = -3*z for h.
-1
Let m(s) = s + 9. Let r(o) = -o**3 + 2*o**2 - 3*o + 1. Let u be r(2). Let i be m(u). Solve 0*c + c + 5*b = 10, i*c = 4*b - 32 for c.
-5
Suppose 0 = -15*o + 21 + 9. Solve 4*m + 4 = -x, -2*x + o*m + 10 = m for x.
4
Suppose -3*x = -5*x + 6. Let z = 1 + 2. Solve o + 3 = 3*n, 0*n + x*o - 3 = -z*n for n.
1
Suppose -w + 6*w = 25. Let z(l) = -l + 2. Let s(g) = 3*g - 5. Let m(f) = 2*s(f) + 5*z(f). Let u be m(w). Solve -n = -5*n + 3*p + 3, u*n + 3*p + 3 = 0 for n.
0
Suppose 0 = -3*z + 5*z - 4. Solve -z*w + 4 = -5*c - 5, w - 3 = c for c.
-1
Let d(i) = -2*i - 5. Let f be d(-8). Let c(b) = -b - 7. Let k be c(-9). Solve 3*x = 4*h - f, -k*x + 2 = 2*x - 2*h for x.
3
Let t(a) = 14*a**3 + a**2 - a - 1. Let s be t(-1). Let m = 18 + s. Solve 4*r - m - 9 = v, 5*r - 5 = -5*v for r.
3
Let r be -1*(3 - -2)*1. Let l be (r - (-3 - 0)) + 5. Solve -3*x - 4*v = 12, 0*x = -l*x + 5*v + 15 for x.
0
Let h(n) = -n**2 - 8*n + 7. Let b be h(-7). Suppose 5*a - 2*u = u + b, 6 = 2*a - u. Solve -2*p - a = 2*c, 7 - 19 = 3*p for c.
2
Suppose -73 = -5*c + o, -2*c + 10*o = 5*o - 20. Suppose 2*q - 7*q + c = 0. Solve 3*u - x = 4*x - 12, q*u - 18 = -5*x for u.
1
Let d(t) = t**3 - 21*t**2 + 38*t + 22. Let p be d(19). Solve 3*w = 3*l + w + p, -3*w + 23 = -2*l for l.
-4
Suppose 0 = -3*t + 3*s + 45, 2*t + 5*s + 56 = 6*t. Let o(z) = -3*z - 4. Let x be o(-3). Suppose 1 = n - x. Solve t = 3*c + 4*m - n*m, 0 = -3*c - 2*m + 11 for c.
5
Let h(a) = -2*a**2 + 5*a + 16. Let q be h(4). Solve -4*o - 2*t + 6*t - 20 = 0, q*t - 20 = 3*o for o.
0
Let s(b) = b**2 - 9*b + 5. Let t be (-1)/5 - (-138)/15. Let m be s(t). Solve -3*a - 20 = i, 3*a = m*i - 2*a for i.
-5
Let l(m) = -m**3 + 7*m**2 + 2*m - 4. Let u be l(5). Let j be 352/u + 2/(-7). Suppose -j*s = -2*s - 16. Solve -p - a = 0, s - 7 = 3*a for p.
1
Let b(q) = 9*q + 4. Let p be b(8). Let z = p - 53. Solve -2*l - 5*h - z = -l, 4*l - 2*h = -4 for l.
-3
Let j(h) = -h - 5. Let x be j(-7). Suppose 18 = 5*z - 4*d, 4*z - 4*d - 18 + x = 0. Let g be (3 + 0)*(-12)/(-18). Solve -g*m - z = 2*y, 3*m = -m - y + 5 for m.
2
Let d = -78 - -83. Solve 2*l + z + 12 = -z, d*l = -z - 10 for l.
-1
Let o be 2 - -2*5/2. Suppose 0 = -3*h + o*h + 16. Let y be ((-5)/h)/(3/12). Solve -4 = 2*q, -6 = y*i - 3*q + 8 for i.
-4
Let n = 28 + -23. Solve -j + 2*b = n, 5*j - 3*b - 3 = -0*j for j.
3
Let h be 0/(-8)*3/(-6). Solve h*q + 2 = 2*q + 5*b, q = 5*b + 1 for q.
1
Let t = 47 + -40. Solve 0 = -5*m - 2*z + t, 5*m - 6*z + 2*z = 31 for m.
3
Suppose -5*w - 5*f = -6*w - 28, 2*f = 8. Let h = -13 - w. Let j = -1 - h. Solve 16 = -4*o - j*a, 5*a = -o + 12 - 28 for o.
-1
Suppose 9*w - 4*w + 4*f - 26 = 0, 4*w + f = 12. Solve -w*j + 5 = -4*y - 9, 4*j = 4*y + 16 for y.
-3
Suppose 17*s - 66 = 6*s. Solve v - s*v = 3*p, -37 = -4*v + 5*p for v.
3
Let b = -26 - -46. Let i be (b + 1)*(-2)/(-6). Suppose 0 = 5*s - i - 8. Solve 1 = -s*f + w, 6*f - 2*f + 23 = -3*w for f.
-2
Let t(y) = 13 - 13 + y**2 - 8*y. Let h be t(8). Let b = 9 - 6. Solve 0 = -3*s - 2*z + 10 - b, -s + 2*z + 5 = h for s.
3
Suppose 2*o = -v - 23, 4*v = 2*v - 6. Let i be o*(-2)/(-4)*-1. Solve -i*r = 0, 6*r - 5*r = -4*c + 20 for c.
5
Let f(d) = -d**2 - 5 + 9*d + 8*d - 25*d. Let y be f(-5). Solve -2*p + 3*o - 7*o = y, 8 = 2*p - 2*o for p.
1
Suppose t = 75 - 51. Let z = 