= 5*s + n*y, -3*s - 15 = 3*y. Let k = 16 - 4. Solve s*x = 3*x - k for x.
4
Let r(l) = -2*l**2 + 29*l + 19. Let t be r(15). Let c be ((-54)/(-3))/2 + (t - 1). Solve 4*b = b + c for b.
4
Let a(w) be the second derivative of -w**3/6 - 3*w**2/2 - 11*w. Let z be a(-3). Solve z = 4*g - 5*g + 4 for g.
4
Let g be 4/(-22) + 328/(-11). Let p be (2 - -1)*g/(-18). Solve -p = 4*y - 1 for y.
-1
Let x(i) = 9*i + 3. Let r be x(-3). Let s = r + 36. Solve -2*z - z = s for z.
-4
Let h = 720 - 716. Solve 14 - 14 = -h*p for p.
0
Suppose -5*p = -5*f - 15, -5*f = -p + 2*p - 21. Let c(d) = 284*d - 2270. Let m be c(8). Solve -m*o + p = o for o.
2
Let b(r) be the third derivative of 7/24*r**4 - 3*r**2 - 1/12*r**5 + 3/2*r**3 - 1/120*r**6 + 0 + 0*r. Let x be b(-6). Solve 0*j = j - x for j.
3
Suppose 0*x - 3*x - 18 = -2*m, 2*x = 0. Let g(h) = 2*h - 16. Let r be g(m). Let t be (3 + -7)/r + 10. Solve -2*n + 6*n - t = 0 for n.
2
Let s be (17/(-2))/(2 - 5/2). Solve t = -s + 12 for t.
-5
Suppose -g = h - 2*h - 3, 2*h = -3*g + 4. Let c(d) be the second derivative of d**3/6 - 4*d. Let f be c(4). Solve t - f = g*t for t.
-4
Let u(d) be the third derivative of d**5/60 - d**4/8 - 2*d**3/3 - 6*d**2. Let r be u(4). Let s be 7 + r + -3 + 1. Solve 0*l = 5*l + s for l.
-1
Let y(o) = 10*o - 190. Let i be y(19). Solve i = 6*s - 0*s + 24 for s.
-4
Let r(g) = 15*g + 228. Let f be r(-15). Solve 4 = -j + f*j for j.
2
Suppose -6*t + 4*t + 28 = 0. Let o be (-60)/t + 16/56. Let v = 0 - o. Solve -20 = v*u + u for u.
-4
Let q = -257 - -258. Solve j = -q - 4 for j.
-5
Suppose 540*n + 876 = 613*n. Let l be 46/10 - 2/(-5). Suppose 14 = 4*s - 3*c, 2*s - c - 1 = 5. Solve l*d - s*d + n = 0 for d.
-4
Let w be (1/1)/((-1)/(-7)). Let p be (w - 7)/(4/2). Solve -5*s + s + 16 = p for s.
4
Suppose -5*m + 13 = -152. Let j = m - 31. Solve -a - j = -5 for a.
3
Suppose 13*j + 5*j = 126. Solve -8 = -j*k + 3*k for k.
2
Let m = 164 - 92. Let o = 76 - m. Solve -2*f = -3*f + o for f.
4
Suppose -2212 = -89*k + 13. Solve 7*q = -k + 4 for q.
-3
Suppose -230 = -36*h + 94. Solve 17*t = h*t + 40 for t.
5
Suppose -7*d - 4*d = 891. Let u = -77 - d. Solve -10 = -h - u*h for h.
2
Suppose 0 = h - 5*y + 23, 11*h - 9*h + 3*y - 19 = 0. Solve -26 + h = -6*g for g.
4
Suppose 180 = -2*p + 32*p. Solve 0 = 11*u - p*u - 10 for u.
2
Let d(g) = g**2 + 12*g - 1. Let a be d(-12). Let i = a + 4. Suppose -3*p + i*u - 6 - 3 = 0, 4*p = u + 3. Solve b = -p*b + 3 for b.
1
Let w = 419 - 411. Solve w - 18 = -2*p for p.
5
Suppose 2*h + j - 68 = 0, 3*j = 2*h + j - 68. Suppose 0 = 5*s + 3*k - h, -s + 2*k = -4 + 5. Solve -4 = s*z + 6 for z.
-2
Let z = 1256 + -1235. Solve -5 = 22*i - z*i for i.
-5
Let o(g) = g**2 + g + 3. Let u be o(0). Suppose -11 = b - u*m, 5*b + 0 = 5*m - 15. Let t = -21 - -23. Solve -t = k - b for k.
-1
Suppose 6*o + 36 = 3*o. Let f be (-4)/6 - 68/o. Suppose f*k = 7*k. Solve k = -2*q + 3*q + 2 for q.
-2
Suppose -69 = -g - 64. Solve 10 + g = 5*b for b.
3
Let p(d) = -d**3 - 3*d**2 - d - 3. Let y be p(-3). Solve y*s = -2*s - 4 for s.
-2
Suppose 3*o + 22 = -2*w - o, -5*w + 4*o - 41 = 0. Let m be (-2)/3*w/2. Solve l = m*l - 4 for l.
2
Let f(i) = 10*i + 16. Let z be f(-1). Solve -2*q + 0*q - z = 0 for q.
-3
Suppose 4*r + 4 = 3*k, -3*r + 10 = 2*k - k. Solve -6*m - 12 = -r*m for m.
-3
Let o(w) = w**2 + 18*w + 25. Let l(y) = y**3 - 7*y**2 + 8*y - 7. Let d be l(5). Let r be o(d). Solve -r = n - 3*n for n.
4
Suppose 4*f + 4*b = 12, 5*b - b - 12 = -2*f. Suppose -q + 5*x - 5 = f, 5*q - q - 16 = 2*x. Solve q*j - 21 = -1 for j.
4
Let p be (-1 - -3)/(5 + (1 - 7)). Let h(t) = 2*t**2 + 3*t + 4. Let z be h(p). Solve -z + 0 = -2*x for x.
3
Suppose -4*u - 9 = -2*k - 31, -3*k - 3 = 4*u. Solve u*j = -4*j for j.
0
Suppose -4 = -b - 2. Let t = 910 - 907. Solve i - b = t*i for i.
-1
Suppose 4*d + k = -0*k - 144, d + 19 = 4*k. Let u = d + 39. Let g(a) = 4*a**2 - a. Let c be g(2). Solve 0 = -u*f - 2 - c for f.
-4
Let q be (1 - (26/8 + -2))*-20. Solve 15*a = 20*a - q for a.
1
Let t(z) = z**2 - 21*z - 19. Let b be t(22). Suppose -4*h - 20 = 0, -5*k - 4*h - 7 = -2. Solve b = -k*q - 0 for q.
-1
Let p = 6 - 2. Suppose -p*t - 16 = -5*t. Let m = t - 13. Solve 3*y + 0*y + m = 0 for y.
-1
Let i(t) = t - 2. Let h be i(1). Suppose j - 1 + 2 = 0, 5*j = -3*z - 32. Let d be (h - z) + -2 + -1. Solve 0*a - 5*a = d for a.
-1
Let t(k) = k**2 + 17*k - 7. Let p be t(-19). Let f = 32 - p. Solve -2*z + f = -3 for z.
2
Suppose 12*m - 81*m + 276 = 0. Solve p + m = 6 for p.
2
Let u(m) = m**3 + 19*m**2 - m - 19. Let v be u(-19). Let f be (-2)/9 + (-38)/(-9). Let n be (1 + 0)*(-1 + f). Solve v = -r + n*r - 6 for r.
3
Let n = -36 + 39. Suppose -3*d + d = 3*j - n, -3*j - d + 3 = 0. Solve j - 6 = -5*k for k.
1
Suppose -7*g - 953 = -967. Suppose l - 18 = -5*h + 29, -24 = -2*h - 3*l. Suppose -1 = -5*m + h. Solve g*o + m*o = 0 for o.
0
Let i be 0*(-240)/96*(-1)/(-10). Solve 3*c - 26 + 11 = i for c.
5
Let s(y) = y**3 + 8*y**2 + 10*y - 6. Let n be s(-4). Solve 14*o = n*o for o.
0
Let a = 175 + -165. Solve -a*d + 4*d = -24 for d.
4
Let p = -572 + 574. Solve -p*l - 7 = -9*l for l.
1
Let a(b) = -11*b - 15. Let f be a(-5). Suppose -16 = -4*s + f. Let v be 4/14 - (-38)/s. Solve 0 = -v*t - 0*t + 9 for t.
3
Suppose 223*z - 26 = 210*z. Let i = -1 + 3. Solve 4*c - z*c = i for c.
1
Suppose -5*g - 10 = -4*r, -g + r + 27 = 6*r. Solve g + 2 = c for c.
4
Let w be 10/15 - (-6)/(-9). Solve w = 4*s - 4 for s.
1
Let z(j) = j**3 + 50*j**2 - 11*j - 540. Let p be z(-50). Let u be (-2)/5 - 6/10. Let g = u - -5. Solve -p = g*a + 2 for a.
-3
Let v(p) = -2*p**3 - 2*p**2 - 8*p - 14. Suppose 5*s + 2*s + 14 = 0. Let u be v(s). Solve 0 = -2*o + 7*o - u for o.
2
Let v(k) = k**3 - 3*k**2 - 3*k + 4. Let z be v(4). Let i be (3/9)/((z/6)/4). Solve -j + i = -1 for j.
2
Suppose -2*p + 12 = -6*p. Let h = 20 + p. Suppose 0 = -5*j + 25 - 5. Solve h = j*k + 1 for k.
4
Let i = 50 + -43. Solve -i = -5*f + 13 for f.
4
Let a be 18/117 - ((-72)/39 + -1). Solve -8*u + a*u - 10 = 0 for u.
-2
Suppose 0*h + 116 = 4*h. Let u = 31 - h. Solve -12 = u*s - 4 for s.
-4
Let s = 67 - 66. Let r be 0/s + -1 + 5 + -3. Solve -2*u + 3 - r = 0 for u.
1
Let w(h) be the second derivative of h**4/12 - h**3/3 - 20*h. Let d be w(0). Suppose -2*f + 14 = -0*t + 2*t, -2*f + 5*t = 14. Solve d = -f*l + 7*l for l.
0
Let a be 3 + (-15)/3 + (7 - 1). Solve -a*l - 18 + 2 = 0 for l.
-4
Let v = 232 - 229. Solve -2*c = v*c - 5 for c.
1
Let c be -3*1232/(-132)*(-2)/(-7). Solve -c*i + 87 = 71 for i.
2
Suppose -541 = -21*y - 100. Suppose 0 = 11*n - 133 - y. Solve 2*z - n + 6 = 0 for z.
4
Let r be (-344)/(-16) + 4 + 1/(-2). Suppose 28*d - 3 = r*d. Solve -3 = -c + d for c.
4
Let u be (((-8)/(-3))/(-4))/(1/39). Let x = u + 29. Solve -x*s = -s for s.
0
Let r be (1/(-3) - -1)*18. Suppose -r*v + 13 = -35. Let g be (-1)/(-4) - 67/(-4). Solve v*z = -g - 3 for z.
-5
Let t(m) = -m**3 + 4*m**2 - 11*m. Let h(p) = 4*p**2 - 10*p - 1. Let d(z) = -3*h(z) + 2*t(z). Let o be d(-4). Suppose -4*j + 9*j = o. Solve -3*l = -j*l for l.
0
Suppose -2*f + 2*j + 8 = 0, -10*f + 26 = -5*f - 3*j. Let n = -2 - -2. Solve 2*o + 1 + f = n for o.
-4
Let k(z) = -z + 11. Let p be k(6). Suppose -45 = -4*q - p*q. Solve -5*n - q = -0*n for n.
-1
Let c(x) = 2*x + 8*x + 5 + x**2 + 0*x. Let a be c(-10). Let y(t) = t + 5. Let i be y(7). Solve -3 = a*v + i for v.
-3
Let m(p) = 39*p - 272. Let l be m(7). Solve -8*t + 1 = l for t.
0
Let j(p) = p**2 - 6*p + 5. Let a be j(5). Suppose a = -3*d - 3*f + 21, -2*d + 3*f - f + 2 = 0. Solve -1 = d*r + 7 for r.
-2
Let m = -631 - -634. Solve -7*z - 32 = m for z.
-5
Let l(z) = z + 11. Let h be l(-8). Suppose 5*i = -4*b + 76, 5*i - 81 = 4*b - h*b. Let o = -16 + i. Solve 4*v + v = o for v.
0
Let k(s) = -2*s - s**2 + 3 - 3 - 3 + 9*s. Let d(o) = -o + 11. Let j be d(5). Let q be k(j). Solve -4*z + q = 7 for z.
-1
Suppose -23 - 67 = -18*f. Solve 0 = f*c - c - 8 for c.
2
Suppose 13*g + 70 = 15*g - 5*y, 36 = g - 3*y. Solve f - 7*f = -g for f.
5
Suppose 46 = 3*t - 3*w + w, 2*t + 3*w = 48. Let c be ((-6)/t)/((-2)/12)*2. Solve 0 = -o + c for o.
4
Let c be (5 + 4/(-2))*1 + 1. Solve c*m = m for m.
0
Let n be 5*(-3 - (0 - 2)). Let s(z) = z**2 + 3*z - 5. Let m be s(n). Solve m*j + 0*j = 5 for j.
1
Let x = 961 - 961. Solve x = 42*j - 32*j - 20 for j.
2
Let a be -32*1/(-3)*3. Suppose -3*z - a = -4*q