 = z*s - 6*s + 2*p, 0 = -3*s + 2*p - 1 for s.
1
Let q(p) = p**3 - 3*p**2 - 2*p + 4. Let i be q(4). Solve o + 2*o = 3*u + i, -5*o = -20 for u.
0
Let k be -2*1 - (0 + -5). Suppose 0 = 4*i - 9 + 1. Solve -k*q + 6*q - 17 = i*o, -5*q = o - 24 for q.
5
Suppose -4*u + 16 = 2*h, h = -2*u + 6*u - 16. Solve 3*z - z = -2*k + 4, h = 2*k + 4*z for k.
4
Suppose -5*t + 1 = -3*x - 21, -3*x + 8 = t. Solve 0 = -t*i - 2*l - 2, 0 = 5*i + l + 1 for i.
0
Let w = 28 - 28. Solve 0 = 4*a + 4*k + 16, w = -3*a + 4*k - 5 for a.
-3
Suppose -8*n + 4*n + 16 = 0. Solve n*s + 5*c - 5 = 0, 2*s + 6*c = 3*c + 5 for s.
-5
Suppose -72*h + 70*h = -10. Solve i + 5*y = 2 - 5, -3*i = y - h for i.
2
Let c = -25 - -44. Let r = -16 + c. Solve r*k + 14 = -i, 3*i + 1 = k - 11 for i.
-5
Let t(z) = z - 4. Let g be t(4). Suppose g = 5*u - 2*u. Suppose q = 5*v - 29, u*v - 2*q = 2*v - 2. Solve -7 = v*a - 3*i, -5*a + 2*i - 8 = -0 for a.
-2
Let q = 9 + -4. Suppose -q*l = -2*l. Solve -o = -b + o + 15, 4*b - 4*o - 40 = l for b.
5
Let i = -28 + 11. Let o = i - -27. Let m(t) = -t**3 + 9*t**2 + 11*t + 1. Let c be m(o). Solve 3*b = 4*j - c, 2 = -2*b + j - 2 for b.
-1
Let z(t) = -t**3 - 2*t + 1. Suppose 2*x = -0 + 2. Let f be z(x). Let m be f/4*(-15 - -1). Solve -5 = -j, -4*o + 5*j - m = 30 for o.
-3
Let a be (2 + -3)/2*-38. Let r be 2/10 - (-1)/(-5). Suppose -2 - 1 = -u - t, 0 = -2*t + 2. Solve r = q - 4, 0 = u*c - c - 5*q + a for c.
1
Let u(a) = a**2 - 8*a - 4. Let p be u(9). Solve -5*v + 7 = b - 4, -5 = 5*b + p*v for b.
-4
Let m be (-10)/(-15) + 44/(-3). Let r = -9 - m. Suppose 5*u + 5*x - 55 = 0, 3*u + 0*x - 12 = 4*x. Solve w - 10 = 4*o, 4*o - u = -3*w + r*o for w.
2
Suppose -11*d + 3*d = -136. Solve 2*s + 0*s = 5*b + 15, 2*b - 3*s = -d for b.
-1
Let o = 3 + -2. Let y be 13/3 + 4/6. Let f = y - 3. Solve -3*p = 5*q - 21, f*q - 3*q = -2*p + o for q.
3
Let x be (4/(-8))/(1/(-10)). Let l = 7 - x. Solve 3*w = 3*g + 27, -2*g + l*w + 12 = 6*w for g.
-4
Suppose -5*i + 4*p + 25 = 0, 6 = -i + p + 11. Solve -4*a = -3*z + 5, -2*a - 3*a - 5 = -i*z for a.
-2
Let p = 9 + -9. Let h = p - -7. Solve -v - r + 0*r = -5, -v = 3*r - h for v.
4
Suppose 4*y = 14 + 2. Solve 3*w + z = y*z - 9, 0 = -w - 2*z for w.
-2
Suppose -5*p - 3*d + 61 = 0, 3 = -4*d + 3*d. Solve 2*o = -4*q + 5*q - 13, 3*q - o = p for q.
3
Suppose -3*d + 20 = 5*v, -1 = -2*v + 1. Let x be d*3*(-2)/(-6). Solve 12 = 3*a + a - 4*w, 2*a + x*w + 8 = 0 for a.
1
Let i(r) = r**3 + 5*r**2 + 2*r - 4. Let s be i(-5). Let f be 4/s - 37/(-7). Solve 0 = -c - 0*c - w + f, 0 = 3*c - 5*w + 25 for c.
0
Let q(a) = -2*a + 26. Let w be q(11). Solve -i + 13 = -w*o, -3*o = -0*i + 4*i - 14 for o.
-2
Let o be (-4*(0 + 1))/1. Suppose -40 - 5 = 4*u + 3*s, 3*u - s = -24. Let g = o - u. Solve b - g*z = 2, 2*z + 6 = 3*b + z for b.
2
Let d(p) = 2*p + 28. Let w be d(-12). Solve 0 = u + r - w, -3*u = -6*u + 5*r - 28 for u.
-1
Let w(m) = m**2 - 3*m + 3. Let c be w(3). Suppose 3*t + 0 - c = 0. Solve -3*n - 12 = -2*y, t = 4*n + 3*y - 0 for n.
-2
Suppose -13*i - 5 = -14*i. Solve 4*o + 12 + 0 = -4*h, -4*h - i*o = 10 for h.
-5
Suppose 3*w - 11 = -2*g, 6*g - 13 = 2*g + 3*w. Let s be (-2)/(-8) - 57/g. Let u be (12/s)/(3/(-21)). Solve 4*p - f = -0*f - 3, 3*p = 2*f - u for p.
0
Let h be 3*(-6)/99 - (-138)/33. Solve c + 4 = -o - 2*c, -h*o - 16 = 4*c for o.
-4
Suppose 4*s - 2*n = -80, 100 = -5*s - n + 6*n. Let p = 24 + s. Solve 2*r = y - 0*y + p, -5*y - 3*r + 19 = 0 for y.
2
Let b(r) = r + 3. Let q be b(4). Suppose 4*j = q*j. Solve -5*c - 5*u + 15 = j, -2*c - c + 21 = -3*u for c.
5
Suppose -4*k - 6 = s, s + 2*k + 18 = 3*s. Suppose d = -2*r, -2*r = -s*r - d. Solve -2*m + w - 15 = 0, r = 3*m - w - 11 + 31 for m.
-5
Let q(z) = -z**2 + 14*z + 6. Let c be q(14). Let n(p) = -p**3 + 5*p**2 + 8*p - 7. Let t be n(c). Solve 0 = t*v - 3*b + 1, -17 = 2*v - v + 5*b for v.
-2
Let s = 30 - 16. Suppose -f - s = -3*f. Suppose -3*q - 4*o = -20, q = 4*o + 35 - f. Solve 5*g - 15 = u, q = 2*u + u + 4*g for u.
0
Suppose -13*y + 3*y + 30 = 0. Let u(n) = -n - 4. Let o be u(-4). Suppose 0 = -5*g + 15 - o. Solve g*b = -h - y*h - 13, 4 = -h - b for h.
-1
Let q(v) = -2*v - 6. Let w be q(-6). Let r be (0/(-3))/((-1)/1). Solve -2*d - x - 6 = r, -d - 2*x - 3*x = -w for d.
-4
Let q(h) = -h**3 + 6*h**2 + 8*h - 5. Let w be q(7). Solve -4*y = 2*b - 22, -2*b - 5*y = w*b - 29 for b.
1
Let i be (-28)/6*(-30)/7. Solve -c - 4*j + 16 = 0, -5*c - j - i = -6*j for c.
0
Suppose -3*v = -v - 18. Solve u - 4 = m, 2*m - v = 5*m for u.
1
Let k be (10/(-15))/(2/3). Let y = 3 + k. Let r be (-1)/y + (-39)/(-6). Solve 2*v + 0 = r, -5*v = 5*d - 40 for d.
5
Let p be 2*2/(4/23). Let q = p - 8. Suppose 2*s = 0, -k + 0*s + 3*s = -q. Solve -2*f = -5*i + k, 5*f - i - 3 = -2*i for f.
0
Suppose z - 2*z - 5 = 2*d, -2*d - 8 = 0. Let w(a) = 5*a + 2. Let q be w(z). Solve 0 = -4*x - 2*k - 14, 4*x - 5*k + 18 = -q for x.
-5
Let q = 62 - 39. Let y = 44 - q. Solve -5*b + y = -2*k, 0 = k - 3*b - 4 + 16 for k.
-3
Let j be 1 - 4/4 - 0. Solve 1 = f + s, -3 = f - j*f - 3*s for f.
0
Let w(b) = -b**2 + 11*b + 3. Let p be w(11). Suppose p*y + y = -o + 12, -8 = y + 3*o. Solve y*n + 5*h = 11 - 0, -3*n = -5*h + 18 for n.
-1
Let c(o) = o**3 + 7*o**2 + 3*o + 1. Let p be c(-6). Let d = p + -11. Let w be (-6)/d + (-33)/(-12). Solve 2*t + 4*v - 18 = 0, 0 = w*t - 5*t + 5*v - 17 for t.
1
Let p = -85 + 89. Solve 13 = -i - p*i - 4*t, 5*i + 5*t + 10 = 0 for i.
-5
Let j be 28/6 + 2/6. Let r(x) = -x**2 - 9*x - 15. Let h be r(-6). Solve -h*t - 5*l = -l - 7, j*t = 5*l for t.
1
Let h = 2 + -2. Suppose h = 3*s - 10 - 26. Let c = 0 - -2. Solve -3*f = 3*d + s, c*f = 5*d - 3*d for f.
-2
Let t = 3 - -3. Suppose 0 = 3*v - 0 - t. Suppose v = -4*k - k + 4*m, 2*m - 8 = -k. Solve -2*x + 10 = 2*p, 0 = k*p - 5*p - x + 7 for p.
1
Let i(k) = 2*k**2 + k - 5. Let j be i(-5). Suppose r + 2 + 8 = 0. Let w = r - -14. Solve -5*m - 3*s + 34 = 0, j = m + w*m + 5*s for m.
5
Suppose -4*r - 93 + 101 = 0. Solve -b + 5*z = -0*b + 7, r*b + 4*z = 0 for b.
-2
Suppose -i = -0*y + 5*y - 20, 0 = -2*y - 4*i + 8. Let h be 1 + -1 + 2 + 0. Let o(c) = -2*c + 2. Let k be o(-4). Solve 0*a - h*a - y*g = k, 3*a = 2*g - 7 for a.
-3
Suppose 39*l = 40*l - 12. Solve 3*h + 4*b + 33 = -2*h, b + l = -2*h for h.
-5
Let n be (-7)/(-9) + (-2)/(-9). Let d = 1 + n. Let f(i) = -i - 26. Let s be f(-28). Solve -w - d*g = -9, -2*g = -2 - s for w.
5
Let w be (15/6 - 2)*8. Let p be 8*(2/w + 0). Solve 5*x - 2*h = -1, p*h - 2*h = -4 for x.
-1
Let b be (-2)/(-9) - (-88)/9. Suppose -3*x = 2*x - b. Solve 5*i + 1 = x*c, 6*c - c - 15 = 0 for i.
1
Suppose -3*z = 5*s + 142, -5*z = -2*s - 3*s + 290. Let v be (-2)/(-9) + (-96)/z. Solve u - 4 = 2*w + 2, 0 = -v*w - 8 for u.
-2
Let w = 26 - 21. Solve -t - 3*t = -w*n + 37, -23 = -4*n + t for n.
5
Let i(k) = k**2 + 6*k + 5. Let g be i(-6). Suppose -g*w + 16 = -w. Solve -2*x = -2*y - 8, -8 = -w*x + 2*y + 10 for x.
5
Let m(p) = p**2 - 5*p - 2. Suppose 5*c = 4*j - 14, 2*j = 5*j - c - 16. Let x be m(j). Solve -x = 2*o - o, -z = 5*o + 15 for z.
5
Suppose 2*x + 3*x - 5 = 0. Suppose r - 3*n = 2*n - x, -5*r = -n + 5. Let y = r - -3. Solve -5*c + 4*c - 3 = y*p, 3*c = 5*p - 9 for c.
-3
Suppose 3*h = 4*x - 88, 3*x + 33 = 3*h + 99. Suppose -j + 4*j = -4*v + 19, 3*v + x = 5*j. Solve 4*d = 3*u - 1 + 6, 25 = j*u for d.
5
Suppose 2*v = -2*v + 8. Suppose 2*c - 24 = -v*c - 4*t, t - 18 = -4*c. Suppose 0*x = c*x. Solve x*n - 3*n = u - 11, 16 = 4*n + u for n.
5
Suppose -5*k + 7 + 13 = 0. Suppose k*l + 7 = -r, -6 - 5 = -4*r - 3*l. Suppose -2*z - 2 = -d, 5*d + 4*z - 3 = 21. Solve -o = n + 6, r = 5*o + d*n + 34 for o.
-5
Let n(u) = u**3 - u**2 + 1. Let h be (0 + -1)*(3 + -5). Let z be n(h). Solve 25 = -5*x, 2*v + z*x + 13 = -v for v.
4
Let i = -2 + 3. Let b be (i/(3/(-12)))/(-1). Suppose 0*c + b = 2*c. Solve -c*t = -2*u + 5*u + 17, 0 = -2*u - 4*t - 14 for u.
-5
Let c(d) = -4*d - 2. Let n be c(-5). Suppose w + n = 4*w. Let b = 2 - -2. Solve b*l + 5*z = -2 - 25, l + z + w = 0 for l.
-3
Let g = 73 + -70. Let b(q) = q**3 + 2*q - 1. Let u be b(1). Solve g*p - 4*o - 3 = 2*p, -u*p - 18 = 4*o for p.
-5
Suppose -10*i = -40 - 100. Solve -4*p - 7 = g, -g - i = 5*p - 6 for g.
-3
Let h(c) = -c**3 + 3*c**2 + 5*c - 2. Let y be h(3). Let l be (5 - y)*1/(-2). Let n be 32/6 + (-1)/3. Solve b = -3*b + l*x + 4, -35 = n*b + 5*x for b.
-3
Let k = -27 + 43. Sol