 + 45. Let g = 46 + -58. Let d = u + g. Solve d*s + 0*s + 3*k = 15, -4*k + 20 = -4*s for s.
0
Suppose c - 4*c + 1 = 4*x, 0 = 3*x - 5*c - 8. Let r be 28/10 + (0 - x/(-5)). Solve -r*p + 6 = 4*u + 22, 5*p + u + 21 = 0 for p.
-4
Let j(x) = -22 - 184*x + 2 + 187*x. Let y be j(11). Solve i - 4*h + y = 0, -5*i + 25 = 2*h + 2 for i.
3
Let t be (-12)/(-5) + (-4)/10. Let m(h) = 3*h**2 - 5*h. Let n be m(2). Suppose -5 = -5*y - 4*w, 4*y - n*w + w = 25. Solve -2*x - 3*x = t*r, -3*x = y*r for x.
0
Let k be 6*(-5 + 4) + 14 + -5. Solve -p - k*j = -j - 12, 4*p + j - 13 = 0 for p.
2
Let j(v) = -v - 4. Let b be j(0). Let m(x) = -x**3 - 4*x**2 - x - 4. Let a be m(b). Solve -3 = -c - 2*k, 5*k - 21 = -a*c + 2*c for c.
-3
Let r(s) = 3*s**2 - 8*s + 7. Let n be r(3). Suppose 5*d - 4*d + 4 = 3*x, n = 2*x + 3*d. Solve 5*m + 5*k = 0, -4 + 16 = -x*m + 2*k for m.
-3
Let z(r) = -r + 7. Let v be z(5). Suppose 3*u - 13 + 10 = 0. Suppose -v*o = -u - 7. Solve 4 = o*t - j, 4*t - 6 = -3*j + 14 for t.
2
Let w = 26 + -16. Suppose -3*j - w = -4*j. Suppose 0 = -u + 637 - 633. Solve -u*z = -2*k - j, 3*z = 3*k + k + 15 for z.
1
Let a = -7464 - -7467. Let m = 7 + -5. Suppose 4*f = 16, -g - g = 5*f - 78. Solve a*x + 11 = 4*n, m*n - g = 5*x + 6*n for x.
-5
Let z(i) = -4*i + 127. Let o be z(31). Solve -o*t = -5*u + 15, 3*u + 2*t + 10 = -0*u for u.
0
Let d(r) = -4*r + r**2 - 6*r + 2*r. Let u be d(11). Solve 3*t + 4*s = 31, -5*s + 3*s = 5*t - u for t.
5
Let i be (1728/1440)/((-37)/(-35) + -1). Let n(u) = u**3 + 4*u**2 - 2. Let y be n(-3). Solve -5*b + 3*o = -i + y, -2*o = b - 8 for b.
4
Let t be (-2)/(-4) + 2/(-4). Let s be ((53 + -5)/(-4))/((-2)/(-3)). Let k = t - s. Solve 3*r + 5*c = -6, c + 0*c = 5*r - k for r.
3
Let o = 172 + -172. Solve o*i = -2*q + i + 11, 0 = -2*q + 3*i + 13 for q.
5
Suppose 25 - 17 = 4*x. Let j be (x + -6)*(-2 + 1). Solve -8 = -y - 3*k + 2*k, 26 = 2*y + j*k for y.
3
Suppose 0 = 26*h - 163 + 33. Let s(j) = j + 4. Let z be s(0). Solve -h*d = 2*r + 1 - 0, -z = 5*d + 3*r for d.
1
Let k be 14 + (0 - (3 + 5)). Solve -4*z - k*x = -2*x + 24, 0 = -4*z + 4*x + 8 for z.
-2
Let z be 5 + ((-28)/(-3) - 23/69). Solve 2*r = p - 2, 10*r = -2*p + 5*r - z for p.
-2
Let u(f) = -f**2 - 7*f - 2. Let v be u(-6). Let c be 0/(v + -2) + 18. Suppose -l = -4*l + c. Solve -3*y - 2*t + l = -5*y, 10 = -5*t for y.
-5
Let z = 16 + -6. Suppose 0 = -5*h + z. Suppose -h*v + 0*v = -2, -5*c + 25 = 5*v. Solve 0 = -k + 4*g + 4, -k - c*g - 2 = -6 for k.
4
Let z = 54 + -21. Solve 5*n - 20 = -0*l - 2*l, -5*l - 4*n + z = 0 for l.
5
Suppose -s - 5*r = -45, 0 = -8*s + 4*s + 5*r + 55. Solve 0 = -5*v - 5*c - s, -2*v = 3*c - 0*c + 12 for v.
0
Let q = 3 - 1. Suppose -4*v = g - 44, 2*v + 11 = 3*v + 2*g. Suppose -4 = -5*k + v. Solve -5*u = k*f, 3*u + 1 - 2 = -q*f for f.
5
Let a = -613 + 615. Solve 0 = -4*u - 3*f - 3, -2 = a*u + 3*f - f for u.
0
Let h = 13 + -10. Let g be (2 - (2 + 7)) + h. Let i be ((-20)/(-6))/(g/(-6)). Solve 4*c = i*y - 5 - 7, -5*y - 3*c + 26 = 0 for y.
4
Let h be ((-12)/10)/((-114)/285). Solve -3 = 3*d + j, -3*d + 9 = d - h*j for d.
0
Let p = -209 + 212. Let z(j) = -j**3 - 4*j**2 + 2. Let h be z(-4). Suppose h*u = -u + 9. Solve -u*c = -p*s, -6 = 2*c + c - s for c.
-3
Suppose -3*u = 10*z - 6*z - 12, 0 = u. Let l be (-4)/z*(3 + -2 + -4). Solve -p = 5, -3*o - 17 = -l*o + 4*p for o.
-3
Let d(l) = -l**3 - 11*l**2 - 2*l - 18. Let x(v) = -v**3 - 5*v**2 - 4*v - 5. Let k be x(-3). Let g be d(k). Solve 4*o + 2*a + a = -4, -o - 2*a = -g for o.
-4
Let n(j) = 2*j + 20. Let f be n(-7). Let s = f - -7. Solve -a - v + 0*v = 5, 3*v = -2*a - s for a.
-2
Let q be (24/(-15))/((-4)/5). Solve q*c + 4 = 4*j, 8*j + 4 = -2*c + 3*j for c.
-2
Let z = 582 - 578. Solve -4*c - 24 = -4*u, 3*c + 4 = -z*u - 7 for u.
1
Let w = -216 - -220. Solve -u + 13 = -2*u - 3*r, -w*u + 28 = -4*r for u.
2
Let c(j) = 2 + 3*j + 5*j**2 + 13*j**3 + 5 - 14*j**3 - 4*j. Let h be c(5). Solve 2*r = 5*y, 0 = -3*y + h*y + 5*r for y.
0
Let z = 16 - 12. Let x be 16/6 - z/(-12). Suppose 5*l = 3*i - 71, -x*i - 3*l = -20 - 19. Solve -i = -5*a + 3, 3*s = -3*a + 12 for s.
0
Suppose 0 = -2*n - 9*n. Let y(k) = k**3 + 8*k**2 + 6*k - 5. Let t be y(-7). Suppose 0 = -t*q + 5 + 5. Solve q = -r - i, -5*r - i - i - 19 = n for r.
-3
Suppose 3*o = -2*q + 5*q + 30, -q = 2*o - 11. Suppose 0 = o*a - 9*a. Suppose n - 4 = -a. Solve 4*s = 1 + 7, 2*k + 2*s = -n for k.
-4
Suppose -4*f + 376 = -3*a + 79, 3*f + 3*a = 228. Let j = f + -59. Solve -3*l + h = j, -2*l - l + 3*h - 18 = 0 for l.
-5
Let x = 5 - 0. Let q(b) = -b**3 - 8*b**2 - 8*b - 5. Let d be (-2)/(-3) - 115/15. Let f be q(d). Solve 21 = f*t - 3*y, -40 = -x*t + 4*y + y for t.
3
Suppose m - 5*m - 5*f + 36 = 0, 2*m - 3*f = -4. Solve -m*v - b + 8 = -8, -4*b + 19 = v for v.
3
Let z = -1544 + 1546. Solve -2*l + 3*g - 23 = -2*g, z*l - 22 = -4*g for l.
1
Let c = 5 - 4. Let d be (4/(4/1))/c. Let t be d*5/15*0. Solve -z = -f - t*z - 5, -f = -3*z + 5 for f.
-5
Suppose 16*d = 4*d + 24. Solve -4*b - 8 = d*h, 4*b - 3*b = -4*h - 16 for b.
0
Suppose -d + 6 + 17 = 0. Suppose 0 = 3*k + 3*o - 3, 5*k - d = o. Solve 3*v - k*y = -15, 0*y = 3*v + 2*y - 3 for v.
-1
Let a = -702 + 707. Let h be (-8)/(-4) - 2/2. Let j be (-1 - -3)/1*h. Solve -6*d + j*d + 30 = -a*p, -2*p - 9 = -d for p.
-2
Suppose 31 = c + c + 5*a, 2*c - 21 = -3*a. Solve -5*g + 4*s + 35 - 12 = 0, 0 = -c*g - 5*s - 1 for g.
3
Let y be (16/(-3))/(20/(-6) + 3). Suppose -2*t = 3*n - y, -n + 2*t - 1 - 7 = 0. Solve 0 = 5*j - 5*p, 0 = -n*j - 3*p - 1 + 26 for j.
5
Let q be (7/2)/((-7)/14). Let t(y) = -y - 6. Let w be t(q). Solve -w - 3 = -4*z + 4*x, -x + 3 = 0 for z.
4
Let x(s) = -2*s**2 + 47*s - 19. Let u be x(23). Solve 4*i + 1 - 5 = 4*d, 4*i - u = 2*d for i.
1
Let y = -6 + 9. Suppose -n + 6 = r - 1, 2*r = 3*n - 6. Let x = n - -1. Solve 0 = 3*t - x*p - 23, y*t - 2*p + 7*p + 17 = 0 for t.
1
Let w(k) = 66*k - 5. Let t be w(1). Let a = 64 - t. Let c be (-30)/12*8/(-10). Solve -c*g + 2 + 5 = -u, g + a*u = 0 for g.
3
Let i = -704 + 709. Solve 2*u + i = h, 3*h - 17 = -u - 2 for u.
0
Suppose 5*t - 18 - 2 = 0. Let d be t + -6 - -1*6. Suppose 26*l = 37*l - 22. Solve -d*c - q - 12 + l = 0, c + 2*q - 1 = 0 for c.
-3
Suppose 2*d = 2*d - 7*d. Solve -r + 3*z = 19, 2*r + d*z = z - 13 for r.
-4
Suppose 4*c = -28 - 68. Let b = -12 - c. Let t be 0*(-2 + b/4). Solve -3*u = v + 5, -4*u + t - 2 = -v for u.
-1
Let t be 16/10 - (-16)/40. Solve -30 = -5*u + 5*r, t*u - 2*r + 3 = 3*u for u.
5
Let b(c) = c**3 - 2*c**2 + 3*c - 2. Let k(i) = i + 2. Let x = -12 + 12. Let j be k(x). Let a be b(j). Solve 5*h - 5*n + 25 = 0, a*h - n - n = -14 for h.
-2
Suppose 3*b - 4*k = -4, 3*b - b - 16 = -2*k. Let j = b + 0. Suppose -48 = -4*g - 12*g. Solve g = -4*z - 4*c - 5, 0 = -j*z + 3*c - 22 for z.
-4
Suppose -3*w = 0, -2*h - 4 = -4*h + 3*w. Suppose p + h = 7. Solve 3 = 3*q + 3*t, p*t - 13 = -q - 2*q for q.
-4
Let b be (-2 + (-152)/(-12))*6/(-4). Let c be (-52)/b + -1 - (-1)/(-4). Solve 0 = -3*s + 3, c*w - 3 = -2*s + 9 for w.
5
Let z be 12/10*10/6. Suppose 0 = 4*n - 3*h + 3, -2*h = -5*n - 3 + 8. Solve -n*j + 7 = -z*x, 0*j + 14 = -3*x + j for x.
-5
Let p(j) = -10*j - 29. Let l be p(-3). Solve -5*a - 4*t = 2, 4*a = -t + 4 + l for a.
2
Let v(z) be the third derivative of z**4/4 - 13*z**3/2 + 19*z**2. Let n be v(7). Solve w - 2 = -4*p, n*p - 2 = -2*w + w for w.
2
Let x = 27 - 24. Suppose 3*c + a + 38 = 8*c, -2 = -c + x*a. Let d = -2 - -6. Solve t + w = -3*w - c, 0 = 3*t + 2*w + d for t.
0
Let c(x) = x**3 - 7*x**2 + x + 1. Let y be c(7). Suppose -3*d + y = d. Let b = 2 + 1. Solve 15 = -w + 4*u, 0 = -d*w - b*u - 4 + 7 for w.
-3
Let k(f) = f**3 - f**2 + f - 1. Suppose -r = 3*r. Suppose -3*i + 0 + 3 = r. Let o be k(i). Solve -3*u - 15 = 0, o*t - 25 = 2*t + 5*u for t.
0
Let f = 37 + -75. Let a = f - -38. Let o(s) = s**2 + 4*s + 4. Let z be o(-4). Solve 0*b = 2*b + 3*m - z, 2*m = a for b.
2
Let g(s) = s**2 - 11*s + 18. Let u be g(9). Suppose -4*w = -u*w - 80. Suppose -2*r + 6*r = w. Solve 0 = 3*n + c + c + 22, -c - 25 = r*n for n.
-4
Suppose 0 = 4*l - 3*o - 67, 4*l - 2*o - 62 = -4*o. Solve 4*b = l, -x - 2*b + 22 = 3*b for x.
2
Let q(m) = 9*m + 41. Let z be q(-4). Solve -6 = 3*h + 4*s, -h + 4*s = z*s + 2 for h.
-2
Let v(a) be the third derivative of a**6/120 + 3*a**5/20 - a**4/8 - a**3/2 + 9*a**2. Let u be v(-9). Solve 4*d = -d - 5, d =