 = 5*y, y - 3*c + 1 = -4*c for y.
2
Let h be (6/(-4))/((-12)/40). Solve h*i - 5 = 4*u, i + 2*i = 15 for u.
5
Let x(l) be the second derivative of -l**4/12 - l**3/2 + 43*l**2/2 - 56*l. Let j be x(5). Solve 17 = -5*v - j*h, -2*v - 18 = 6*h - 2*h for v.
-1
Let x = 0 + -6. Let m be ((-16)/(-5))/(x/(-15)). Let j be (m/(-20))/(3/(-30)). Solve -a + 3*q - 6 = 0, -j*a - 3*q = -0*a + 9 for a.
-3
Suppose 3*m - 2*k - 4 = -m, -m = -5*k + 17. Solve -h - h + 2*r = -4, -m*r = -2*h + 1 for h.
5
Suppose -4*h + 36 = 2*h. Suppose -h*y + 2 = -22. Solve 3*l = -4*r + 8*l + 2, 3*l = r - y for r.
-2
Let u(f) = f**3 - 8*f**2 - 18*f - 18. Let c be u(10). Solve -4*d + y = 2, 4*y - c*y = -5*d - 9 for d.
-1
Let g = 707 + -707. Suppose -4 = -2*o - 0*o. Solve o*a - p + 4 = g, -p + 8 = -5*p for a.
-3
Let t = -1830 - -1831. Suppose -3*u - 2*u = -10. Solve -b - i + t = u, 2*b = -5*i - 17 for b.
4
Suppose -6*o + o + 20 = 0. Suppose 62 = o*r + 42. Solve -2*h - 18 = r*x, -x + 2*h = -0*h - 6 for x.
-2
Let j(m) = -m - 25. Let h be j(9). Let z = h - -36. Solve -5*a - 12 = -a - 5*y, 0 = -z*a + y - 6 for a.
-3
Suppose 4*t - 4*u - 21 = 15, -4*u - 32 = -3*t. Solve 5*z = y + 12, -t*y + 6 = -5*y + 2*z for y.
-2
Suppose -4*n = 20, -15 = -2*a - 0*n - 3*n. Let x = a - 38. Let p = x - -27. Solve -y + p*y + 10 = 5*r, 2*y - 10 = 0 for r.
5
Let n be 6 + (-34 + 4)/5. Solve 2*d - 2*j + 4 = n, d + 4*d + 40 = -5*j for d.
-5
Let q(j) = -2*j**3 - 9*j**2 - 5*j + 14. Let v(y) = -y**3 - y**2 - 1. Let a(l) = -q(l) + 3*v(l). Let u be a(6). Solve 0 = -s + 3, 4*s - u = h - 0*s for h.
-1
Let f(s) = 3 - 75*s**3 - 1 - 7*s + 74*s**3 - 8*s**2. Let y be f(-7). Solve 2*z - 7 = 5*r, y*z - 1 = 4*r + 3 for z.
-4
Suppose -30*b + 37 = -413. Solve -4*p + 2*p = -4*n + 24, 5*n = -5*p + b for n.
5
Let o(c) = 2*c**2 + 6*c + 2. Let i be o(0). Solve -4*j = -g - 8 - i, -2*g + 3*j - 5 = 0 for g.
2
Let s(a) = a**3 + 14*a**2 - 13*a - 176. Let w be s(-14). Solve 4*c - 12 = -v, -w*c = -7*c - v + 6 for c.
2
Suppose 5*f = r + 13, f + 2*f - 2*r = 12. Suppose -2*a = -4*c - 14, -f*a - 2*c + 3 = 1. Solve 14 = a*t - n, 0 = 2*t - n - 17 + 7 for t.
4
Suppose -2*g = 3*l + 61, 3*l - 3 = -0*l. Let w = g + 36. Solve -4 = -p - i + 3*i, -3*p = -w*i - 12 for p.
4
Let g(i) = i**2 - 20*i - 41. Let h be g(22). Solve -3*l - 3 = 3*k, 0*l = h*l for k.
-1
Suppose 4 = 5*x + 4*n - 13, -10 = 5*n. Solve 2*g - 1 + 3 = 0, -11 = -3*l + x*g for l.
2
Let d(q) = q + 19. Let z be d(-15). Suppose -c + z = -0. Solve 14 = 5*o + s, -4*o - 2*s + c*s = -14 for o.
3
Let k = 4 + 11. Let b = 18 - k. Let a = 45 - 32. Solve b*p - p = -3*i + a, -5*i + 9 = -3*p for p.
2
Suppose -6*k - w = -7*k - 3, 4*w - 18 = k. Solve -10 = k*d - 3*c, 0 = 3*c - 8*c for d.
-5
Let j(c) = -83*c - 391. Let q be j(-5). Solve 4*h = 8, -20*b + q*b + h - 14 = 0 for b.
3
Let g be (-1)/2*3/((-9)/24). Solve -2*n - g = -2*q, 5*n + 2*q - 9 = 16 for n.
3
Let j = -53 + -53. Let r = j - -109. Solve t - 4 = 4*q, 0 = -4*q - 0*q + r*t - 4 for q.
-1
Suppose 0 = -4*i + 379 - 371. Solve -2*q + 2*o = i, 3*o - o = -2*q + 6 for q.
1
Let h(u) = u**2. Let n be h(2). Suppose 0 = 5*k + 2*t + t - 9, 0 = -2*k - t + n. Let p be 10/(-15) - (-47)/k. Solve 0 = w, 3*j + 0*j = w - p for j.
-5
Let m(y) = -5*y**2 - 10*y - 4. Let u(b) = 4*b**2 + 9*b + 3. Let c(r) = -3*m(r) - 4*u(r). Let x be c(-5). Solve x*n = t + 4*t - 5, 5*t + 2*n - 19 = 0 for t.
3
Let q = 18 + -12. Let i(z) = 2*z**3 - 11*z**2 - 8*z + 15. Let v be i(q). Solve 3*a + b + v = 5*b, -b = 5*a + 5 for a.
-1
Let f(y) = 0 - 12*y**3 - 2*y - 3 + 11*y**3 + 3*y**2 + 4*y**2. Let h be f(6). Suppose -6*g + 9 = -h. Solve -2*t - 21 = -3*t + g*s, t = s + 1 for t.
-4
Suppose 0 = -625*y + 626*y. Suppose 2*w = 4*f + 16, -2*w = -2*f - 3*f - 19. Solve y = 5*a - 4*v + w*v - 1, 4*v - 6 = 2*a for a.
1
Suppose 21 = 8*d - 19. Suppose d - 29 = -8*t. Solve -u - t*u - 3*o = 28, -o = 3*u + 16 for u.
-4
Let w(v) = 59*v - 169. Let k be w(3). Let h(t) = -t**3 - 4*t**2 - 5*t. Let m be h(-4). Solve -2*y - y = 5*s - m, y = 2*s - k for s.
4
Let z be (-30)/60*(-6 - -2). Solve i - 1 = n + 5, 3*i = -z*n + 3 for i.
3
Suppose 4*a = 3*f - 136, 0 = 4*f - 7*a + 3*a - 176. Let m be ((-4)/10)/(2/f). Let q be (3/(-4))/(1/m). Solve s - 6 = -4*i, -4*i + q = -i for s.
-2
Let o = 461 - 454. Solve -4*t = 5*u - 25, -2*u = 2*t - o*t - 10 for u.
5
Let g(k) = -17*k**2 - k + 1. Let w be g(-2). Let n = w + 69. Solve -3*o + 12 = -5*a, 3*a = -n*o + 2*a - 7 for o.
-1
Suppose -9*z - 8 = -215. Suppose 0 = z*t - 19*t. Let i be (0 - (1 + 0)) + 3. Solve -29 = -5*p + 3*x, t = 2*p + 3*p + i*x - 14 for p.
4
Suppose 19*x - 16*x = 6. Suppose -4*g - 6*s + 26 = -4*s, 40 = 5*g + 4*s. Suppose -2*u + 4*u - g = 0. Solve 0 = -x*v + 9 - 3, -u*j = 5*v - 11 for j.
-2
Let r be 504/20 + (-1)/5. Let o = r - 31. Let j be 60/5*o/(-9). Solve 0 = -3*z - j*a + 3*a + 40, -z - 5*a = -30 for z.
5
Let g = 6 - 5. Let n be g/(-5) - 1/(-5). Suppose k + 0*k = n. Solve -r - 1 = 4*p + 11, -4*p - 8 = k for r.
-4
Let i = -163 - -163. Solve -13 = 3*h - j, 5*h - 3*j + 23 = -i*j for h.
-4
Suppose -42 = 8*p - 22*p. Solve 0*m + 3*m + 6 = 3*y, 0 = p*m + 4*y - 15 for m.
1
Suppose -66*j + 55 = -61*j. Solve -y - 1 = g, 0*y - y = -3*g - j for y.
2
Let t be 1/((-28)/2548 + 2/13). Solve -5*q - 4*x = -7, -t*x + 4*x = -2*q - 11 for q.
-1
Let s(q) = -3*q + 17. Let i be s(7). Let c be (i/6)/((-9)/27). Suppose -11*o - c = -12*o. Solve -5*w + 5*p = -5, 10 = o*w + 3*p + 33 for w.
-4
Let s be 18*(-4 - (-15)/6). Let r = -15 - s. Suppose 0 = -5*m - 2*l + 6, m - l + r = 3*l. Solve m = 4*j - 2*i + 5 + 3, -5*i + 10 = 0 for j.
-1
Let d(r) = -5*r - 13. Let a be d(-7). Let p be a/(-4) - (-2)/4. Let o be (-9)/(-45) + (-79)/p. Solve -2*k = 4*f - 26, 0 = -5*k + 2*k + 5*f - o for k.
3
Let l be (289/68 + -5)/(3/(-16)). Let t(n) = n**3 + 10*n**2 + 8*n - 4. Let o be t(-9). Solve j + 12 = o*p, l*p - 4 = j - 3*j for p.
2
Let s(f) = -f**3 - 6*f**2 + 4*f - 10. Let q be s(-7). Let p be (q/2 - 2)*28/49. Solve 3*v + p*v + 21 = -4*m, 5*m + 20 = 0 for v.
-1
Let q = 1281 - 1261. Solve 0 = 5*h - q, p + 7 = 2*p + 2*h for p.
-1
Suppose 0 = -4*i - 4*b + 28, i = -4*b + 8 + 11. Solve -i*s + 0*d + 4*d = 5, 5*s + 4*d = -19 for s.
-3
Suppose -4*k + 9*k = 10. Suppose 0 = 5*l - k*l. Suppose 4*q - 8 = -l*q. Solve s = 2*h + 13, q*h + 2*s + 1 = -s for h.
-5
Suppose 4*u + 172 = 8*u + 4*w, -4*u + w = -182. Let x = u - 87. Let j = -37 - x. Solve 4*p + 27 = -j*r, -2*r - 2*r = -4*p for r.
-3
Let a(t) = t**3 - 2*t + 1. Let z be a(1). Suppose 3 = u - z*u. Solve 5*n = 5, -1 = s - 0*n - u*n for s.
2
Let c(y) be the first derivative of -y**3/3 + 3*y**2/2 - 2*y + 1. Let g be c(2). Suppose -8*f + 54 + 114 = g. Solve q = a + 6 - 5, -5*a = -q + f for a.
-5
Let t(n) = 13*n - 6. Let m be t(2). Suppose b = 4*g - 5, -5*g + 2*b = -2*b - m. Solve g*p + 5*p + 2*l = 9, -5*l = -3*p + 24 for p.
3
Suppose 0 = -l - 6*l + 42. Suppose l*u - 3*u - 120 = 0. Let r = -43 + 68. Solve 5*b - r = 0, 5*b = 3*i - 0*b + u for i.
-5
Suppose -100 = -5*h - 3*w - 0*w, 5*h + w - 100 = 0. Solve -b + h = -5*n - 2*b, 0 = 4*b - 20 for n.
-5
Suppose -g + 2*u = -2 - 0, -2*g - 3*u - 3 = 0. Let z = -181 + 197. Suppose g = 4*o - 0*o - z. Solve o*q = -6*m + m - 22, -5*m + q = 7 for m.
-2
Suppose -j + 2 + 2 = -i, -20 = 4*j + 5*i. Suppose j = -z - 2 - 4. Let c be (-4)/z*(-3 + 6). Solve 3*y - 4*b + 8 = -0*y, c*b - 4 = -4*y for y.
0
Suppose h + 28 = -h. Let n be ((-20)/70)/(1/h). Solve 3*s + 5*i - n = -2, 3*i = 4*s - 22 for s.
4
Suppose 6*o = 2*i + 10*o - 16, -2*i = -o - 6. Solve -n = i*h + 12, 8*h - 2 = 3*n + 3*h for n.
-4
Let x = -48 - -46. Let d be x*((2 - 0) + (-56)/16). Solve -12 = 3*c - 3, d*j = 2*c for j.
-2
Suppose -7*s + 365 + 272 = 0. Let z = 95 - s. Solve 0 = n - z*f + 18 + 5, 19 = 2*n + 5*f for n.
-3
Suppose -3*y + 40 = 2*y. Suppose -3*d - y = -14. Suppose d*q + 21 = 5*q. Solve -2*v = -p - 12, 3*v - q*v + 28 = -3*p for p.
-4
Suppose -3*c = -0*c - 3*w, 15 = -2*c + 5*w. Solve 3*s = k + 20 - 2, 0 = c*s + 5*k - 10 for s.
5
Suppose -355 = -55*i - 135. Solve -3*h - 17 = -i*g + 3, 0 = -4*h - 5*g + 25 for h.
0
Suppose -2*b - 3*b + 15 = 0. Suppose 0 = -w - b*w + 48. Suppose 6*y = w*y. Solve 0 = -2*i + 5*h + 35, -i + h + 10 = -y*i for i.
5
Suppose 0 = 3*k - 18 + 3. Let b be ((-3)/4)/((-3)/(-60)*(-150)/20). Solve b*x - k = -5*t + 7, x + 24 = 5*t for x.
-4
Let q = 1623 - 1619. So