pose 0*j = 3*j - 12. Suppose j*g - 2*d - 24 = 0, -g + 3*d = 4*g - 30. Suppose 14 = 4*y - g. Solve -s - y*a + a + 14 = 0, 2 = s + a for s.
-2
Let a(x) = -x**3 + x**2 - x - 1. Let g be a(0). Let s(z) = -9*z**3 + z**2 + z + 1. Let o be s(g). Solve -4*b + 8 = -y - 5, 0 = -2*b + 4*y + o for b.
3
Suppose -4*d = -2*d - 16. Suppose 0 = r - d - 0. Suppose 5*p + s - 60 = -2*s, 4*s = -3*p + 25. Solve -4*l = -5*v + 15, l = -r*v + 3*v + p for l.
0
Let w = 15 + -11. Let p(a) = -4*a + 1. Let x(z) = -7*z + 3. Let n(d) = -5*p(d) + 2*x(d). Let h be n(1). Solve u - 2*c = 0, h*u - 5*c = w*u for u.
0
Let y be (-1 - (3 + -3))*-3. Suppose 0 = -w - 4*r + 30, -w + 4*r + 24 = w. Solve 2*l + y = m - 3, 0 = -5*m + 4*l + w for m.
2
Let l(s) = 3*s + 1. Let x be l(-6). Let t = x + 28. Solve t = -y - 2*v, -3*v - 10 = -2*y + v for y.
-3
Let o(r) = -3*r - 6. Let n be o(-5). Let y = n + -6. Suppose -3*i = -i - 4. Solve -y*t + 21 = 5*p, 5*p = i*t + p + 8 for t.
2
Let u(d) = -d**2 - 6*d + 2. Let f be u(-6). Suppose 25 = -3*j + 8*j. Suppose j*p = -15, -n - 1 = p - 2. Solve 4 = -7*b + n*b + 4*g, 0 = -f*g - 4 for b.
-4
Suppose -4*c = 16, -5*c = 3*a - 3*c - 19. Let h = a + -5. Let n = -8 - -18. Solve -7 = h*g + z, -z + n = -4*g + z for g.
-2
Suppose 4 = 2*s, -4*s = -y + 6*y + 2. Let g be (39/15 + y)*5. Solve 3*c = -2*c + g*l - 10, 2*c + 5*l + 35 = 0 for c.
-5
Suppose 0*f + 12 = 4*f. Let l(j) = -j + 7. Let w be l(4). Suppose -w*r = -5 - 4. Solve -f = -r*z, -z = -4*c + 14 + 1 for c.
4
Let t(m) = 3*m + 57. Let y be t(-18). Solve 7*d = y*d + 2*v - 10, -5*d - 5*v = 35 for d.
-4
Let c be (9 - 4)*(1 + 0). Suppose -d + 2 = 3*b, 2*b + 17 = 4*d - c. Let o = d + -2. Solve 3*v + 3 = -5*z, 2*z + z - o*v - 3 = 0 for z.
0
Let x(k) = -k**3 - 8*k**2 + 8*k - 3. Let b be x(-9). Let m be (b - 3) + 2 - -2. Solve -3*y = -4*j + m, 0*j + 4*j - 4 = 0 for y.
-1
Suppose r - 14 = -3*m, 3*m = -5*r + 59 + 23. Solve -2*c + c + 3*l = -r, -9 = -c + l for c.
5
Let w = -57 + 59. Solve -x - 5*l = -21, w*l = -4*x - 3*l + 9 for x.
-4
Suppose 0 = -2*x + z + 9, 5*z + 17 = 4*x - 10. Solve 5*f - 11 = -4*j, -j + 13 = x*f + 3*j for f.
-1
Let z be 1 + ((-48)/(-32))/((-6)/(-16)). Solve -3*f + u + z = -5, 0 = 5*f + 2*u - 35 for f.
5
Let u = 4 - 2. Suppose u*z - 4*t - 7 = -3*t, -5*z - 3*t + 34 = 0. Solve -4*q - 19 = -2*q - 3*n, z*q - 5*n + 40 = 0 for q.
-5
Suppose 0*k - 636 = -3*k. Let z be (-2)/(-11) + k/44. Let i(b) = -b - 2. Let u be i(-5). Solve -u*t - z*s = t + 30, -11 = t + 3*s for t.
-5
Let j(s) be the first derivative of s**4/4 - 7*s**3/3 + 7*s**2/2 - 6*s + 3. Let c be j(6). Solve -3*v = 4*h + 3 - 22, c = 3*v - 3 for h.
4
Let k(z) = 2*z - 25. Let x be k(16). Solve l = 2*w - x*w - 5, 0 = 5*l for w.
-1
Suppose 0 = -2*t - t + 30. Suppose -4*i + 2 + t = 0. Let b be (-8)/28 + (-32)/(-14). Solve 8 = -i*x - b*j - 6, -x = j + 6 for x.
-2
Let o = -38 - -56. Let u = o - 3. Solve 0 = -5*p - h - 0 + 3, 0 = 3*p - 5*h + u for p.
0
Suppose 0 = -4*g + 3*g. Suppose -p = -g*p. Suppose 0*a + 8 = 2*a. Solve 3*d + 2*f + p*f = 3, -2*d - a*f - 6 = 0 for d.
3
Let z = -112 + 115. Solve a - 4*y + 11 = 0, 6*a + 2*y = z*a + 9 for a.
1
Let x be (-4)/10 + 951/15. Suppose -23 + x = -5*r. Let h be (-11)/(-4) - 2/r. Solve -12 = -h*s - 4*k, 0*s + 5*k = 4*s + 15 for s.
0
Let b = -20 + 24. Suppose 0 = 3*a + b - 25. Solve 2*c + y + a = 0, 0 = -4*c + 2*y + 1 + 5 for c.
-1
Let w be -8*(4/(-8) - 0). Let m be 2/(-5) + 22/5. Suppose v = -m*v, 3*h - 2*v = 0. Solve 2*b + w = -2*u - 0, 3*b = h for u.
-2
Let o be 126/33 - (-12)/66. Solve -4*p = -4*y + 3*y - 13, -16 = -o*p for y.
3
Suppose -4*k = 15*k - 19. Solve 2*m = -5*u + k + 15, 3*m = -4*u + 17 for u.
2
Suppose 3*m - 3*v - 59 - 28 = 0, 5*m + 3*v = 129. Let r = m + -20. Solve 0*c + c = l + r, 2*l + 12 = c for l.
-5
Let j = -29 - -33. Solve -j*c + 3*n = 18 - 5, 0 = -2*c - 4*n - 12 for c.
-4
Suppose 0 = -4*q + 7 + 5. Suppose -8 - 6 = -2*a. Let y be 107/a + 14/(-49). Solve 2*x - 7 = s, q*s + 3*x = -y + 3 for s.
-5
Let p(s) = 11*s**3 - 2*s**2 + 2*s - 1. Let t be p(1). Solve -4*h + 2*r - 17 = 7*r, -5*h = 4*r + t for h.
2
Suppose -5*m = -2*m - 6. Suppose 3 = 4*t - 1. Let f = t + m. Solve -p = 2*h + f, p + 6 = -p + 5*h for p.
-3
Let m = -3 - -11. Let o be m/(12/(-15) + 1). Suppose -l - 3*l = -o. Solve 3*i - 4*c + 5 = 0, -3*c + l = 2*i + c for i.
1
Let l = 17 + -13. Solve 26 = -2*j - 5*d, -l*j + d - 4 = -d for j.
-3
Suppose -4*q - 6 - 3 = f, 15 = -q + 4*f. Let h be q*1/(-2)*2. Solve -2*k + 32 = h*d + 9, -k = 5*d - 29 for d.
5
Let c be -1*(-48)/3 + 1. Let d be (5 - 4)/(1/c). Let q be d/3 - 6/9. Solve f = -f + q*t + 14, -2 = f + 2*t for f.
2
Let h be 2/3*(0 + 6). Let k = h + 3. Suppose 3 + k = 5*m. Solve 4*n - 23 = o, -3*o + 6 = m*n + n for n.
5
Let o = 6 + -3. Suppose s + 14 = o*s. Suppose -s*l + 5*l = -4. Solve 3*z + l*k + 14 = -0*k, 5*z = -2*k - 22 for z.
-4
Let q = 85 + -80. Solve -5*y - 2*v + q = 3*v, -3*v - 9 = -3*y for y.
2
Suppose 5*n - 60 = -3*v, n + 2*v = 3*n - 40. Suppose 0 = 5*a - 0 - n. Solve -5*r = -3*q - 5, -2*r = -4*q - 5*r + a for q.
0
Let t = -3 + 8. Suppose -3*o + 76 = 5*g, 2*o + 22 - 81 = -t*g. Suppose 0 = 4*a - o - 3. Solve -a*q = x + 2*x + 4, -q - 8 = -3*x for x.
2
Let i = 10 - -4. Suppose 0 = x - 4 - 9. Suppose 5*z - 6*z = 5*g - 9, g = -3*z + x. Solve -i = -m + z*u, -m = -4*m + 2*u + 2 for m.
-2
Let v = 0 - -4. Let r(f) = f + 2 - 2. Let x be r(2). Solve 2*h + x = v*t - 12, 3*t + 2*h = -7 for t.
1
Let a be (-92)/6 + 2/(-3). Let n be (a/(-4))/(2 + 0). Suppose -n*x + 9 = -3. Solve -t - 4*y - 12 = 0, 2*t - 4*t + y = x for t.
-4
Let a be (-1)/(3/(-9)) - -1. Let f be 68/18 - 4/(-18). Solve -f*z - i - 7 = a*i, -4*i - 16 = -2*z for z.
2
Let w = 1 - -4. Solve 6 = -3*m, -w = c - 4*m - 14 for c.
1
Let k = -19 + 23. Solve 0*f + k*f = 16, -5*s = 5*f for s.
-4
Suppose 0 = 3*m - 18 - 12. Solve -5*d - m = 2*a, 0*a - 25 = -a + 5*d for a.
5
Suppose -3*l + 7*l - 8 = 0. Let j be 0 + -3*2/(-3). Suppose -j*n = -n - 3. Solve 3*d + 3 = -n*f, -3*f = -l*f - d + 3 for f.
-2
Suppose 4*x = 4*y, 3 = 2*x + 4*y - 15. Solve 8 = 4*z + 3*w, -5*z + w - x*w + 10 = 0 for z.
2
Let w(p) = -p**2 + 9*p + 4. Let x be w(9). Suppose -4*n + 4 = -x*l, 2*l - 2 = 4*n - 3*n. Solve 4*u + 8 = 2*b, 0*u = 3*b - n*u - 4 for b.
-4
Let u(m) = -4*m**2 - 4*m - 2. Let v be u(-2). Let k = -1 + -6. Let f = k - v. Solve y = -5*p - 0 - 5, -f*y + 19 = -2*p for p.
-2
Suppose -92 = -s - 5*x, 3*x = 5*s - 295 - 53. Suppose -5*h = -h - s. Let w be (-1)/(-3) + 192/h. Solve 2*z - w = 3*y - 0*z, 5*z = 5*y + 25 for y.
-1
Let j = -2 - -6. Let b be (4/(-10))/1*-5. Solve b*s + 3*h + 11 = 0, 3*s + j*h + 16 = -s for s.
-1
Suppose 0 = 2*a + 3*a - 30. Suppose a = -4*p + p. Let h = p - -5. Solve 0 = 2*m - t + h, -t = m + 4*t - 4 for m.
-1
Let u be (-2 - 2)*1/(-2). Suppose -5 = -l + u*l. Let h be (-1 - 0)*1*l. Solve 0 = 4*k + 16, h*v - 4*k - k = 0 for v.
-4
Let i = 0 - 0. Let t(x) = x**3 + 10*x**2 + 9*x - 6. Let q be t(-9). Let j = i - q. Solve 0*y = 4*g + 2*y - j, y - 11 = -4*g for g.
4
Let b = 19 - 16. Suppose 0 = -c + b*m + 19, 2*m + 60 = 4*c + 6*m. Solve -j + 4*n = -0*j + c, -n = j - 4 for j.
0
Let j be (5/(-10))/(1/(-8)). Suppose -8*q = -j*q - 140. Suppose -3*s + q = -19. Solve 5*m = -2*t + t + s, 3*t = 3*m for t.
3
Suppose -24 = -5*w + 3*k + 26, k + 5 = 0. Solve 2*z + 4*h = z - 5, 0 = 5*z + 4*h - w for z.
3
Let y = -17 + 26. Solve -s + y = -0*s + 2*g, 4*s - 18 = g for s.
5
Let b be (-45)/2*(-20)/15. Solve 1 = -v + f, 3*f - 9 = -3*v - b for v.
-4
Suppose 12*z - 20 = 8*z. Solve -o + 3*d - 16 = 4*o, -4*d - 37 = z*o for o.
-5
Let s be (-1)/((-2)/4) - -8. Suppose -k - s = -3*k. Let r(o) = -o**3 - 12*o**2 - o - 12. Let n be r(-12). Solve 3*z + 25 = 5*i, -2*i + k*z - 1 + 30 = n for i.
2
Let q be 4/14 - 78/21*-1. Solve -4*z - 4 = 4*a + 4, -q*a - 3*z = 3 for a.
3
Suppose -5*x - 5*w + 25 = 0, -5*x + 4*w + 1 + 15 = 0. Solve -4*d + 5*j - 23 = 0, -10 = -4*d + 3*d - x*j for d.
-2
Let m(a) = -a**2 + 10*a - 3. Let z be m(10). Let f be (0*z/3)/2. Solve 5*n = -0*n, 2*d + 5*n - 10 = f for d.
5
Let p = 7 - 9. Let f be 3 - (-2 + (0 - p)). Solve 8 = 2*y - g - f*g, -4*g - 4 = -4*y for y.
-2
Let h be (-184)/(-18) + (-12)/54. Let u = 14 - h. Let r(n) = -n**2 - 6*n. Let d be r(-6). Solve -u*y + 2 = l + 7, 3*l - 2*y - 13 = d for l.
3
Let c(t) = -t**3 - 4*t**2 - 3. Let d be c(-4). Let q = 0 - d. Solv