+ x, 29 = u*q + 5*x for q.
2
Let a(v) be the third derivative of -v**4/8 + 5*v**3 + 17*v**2. Let x be a(9). Solve -x*z - 6*s + 7 = -s, 0 = -z - s + 3 for z.
4
Suppose 0 = -8*w - 38 + 38. Solve 4*m + 15 = -m, 3*r - 3*m - 3 = w for r.
-2
Let c = -45 + 68. Suppose -5*k + 4*x + c = 2, 4*x - 24 = -4*k. Suppose -3*v + 3*u = -15, -k = -v + 2*u + 1. Solve z + 5*o + 20 = 0, 0*o = -z - v*o - 15 for z.
5
Let l be ((-8)/10)/((-6)/15). Suppose -m + l*o = -2*o, 0 = m - 2*o. Let f = 255 + -252. Solve 4*r - 1 = -5*d, m = d + 2*r - f*r + 7 for d.
-3
Suppose -5*l = 5*n - 30, -4*n + 24*l = 26*l - 28. Solve -3*o = 4*y + o + n, -9 = 3*y + 4*o for y.
1
Let z(j) = -6*j + 25. Let q be z(0). Suppose -h = -4*x + 13, 0 = -5*h - q. Solve x*w + 4 = n, -n - 4*w + 16 = 3*n for n.
4
Let t(m) = 2*m**2 - 4*m + 3. Let h be t(2). Let a be (17/(-34))/((-2)/(-4)) - 134. Let s = a + 138. Solve 3*d + 5 = q, -s*q + 5 = h*d + 14 for d.
-2
Let q(y) = 2*y + 26. Let m be q(-11). Solve g + 3*n + 20 = 0, -m*g = g + 2*n + 35 for g.
-5
Suppose 26 = -5*p + 86. Solve 3*r = 5*i - 32, -2*i - 2*i - r = -p for i.
4
Let o(h) = -47*h**2 + 1. Let n be o(-1). Let p = -31 - n. Suppose -35 = -5*k + 5*m, 0*k - 3*m - p = -k. Solve k*r - q = q - 20, -4*r - 28 = -3*q for r.
-4
Let l = 11 - 0. Suppose -9*h - 208 = 215. Let y = -47 - h. Solve -4*d = -s - 16, y = 3*s - 4*d + l - 3 for s.
4
Suppose -3*o + 0*o = -6. Let l(i) = -i - 15. Let p be l(-7). Let s = p + 23. Solve 2*f + s = 2*u + 7*f, 5*u + o*f = -15 for u.
-5
Let j(o) = o - 7. Let i be j(11). Suppose -2*z - 6 = -3*s - z, i*s + 5*z - 27 = 0. Solve 3*w - k - 11 = 0, s*w + 2*k + 3 - 17 = 0 for w.
4
Suppose 80 = 11*o + 5*o. Suppose -2*x - 22 = -5*m, 0 = 3*m + x - 5 - 6. Solve 18 = -o*g + 3*c - 3, -2 = m*g + 5*c for g.
-3
Suppose 0 = 2*u + 3*y, u + y + 2 = 1. Let l be 3 + u + 1 - -3. Suppose -m + 1 = -t, -11 - 6 = -3*m - l*t. Solve -n = 2*v - 3*n + 2, 2 = -m*v + 2*n for v.
0
Let g(y) = y**2 + 4*y - 8*y + 7*y. Let m be g(0). Solve m = 4*c - 9*c + 20, 5*i - 4*c = -1 for i.
3
Suppose -6*w + 4*w = 3*n - 24, n = -5*w + 8. Solve -3*h - n = -4*m, -2*h - 7 = -7*m + 4*m for m.
5
Let o = 847 - 844. Solve -2*x + 4 = 3*q, -o*x + 31 = -3*q + 2*x for q.
-2
Let g(m) = m**2 - 25*m + 67. Let o be g(22). Solve 2*s + 6 = -2*n, -7*s = -4*s - 2*n - o for s.
-1
Let g be -3 + (-7 + 6)*-7. Solve -10 = 2*k, 0*d - 16 = d + g*k for d.
4
Let z(x) = x**2 + 6*x + 8. Suppose 5*i + 10 = -r + 5*r, 0 = -3*r - 15. Let u be z(i). Suppose -7*p + 3*p = -u. Solve 4*d = -2*v + 8, 4 = p*d - v - 3*v for d.
2
Let d be (-65)/(-15) + (-2)/(-3). Solve 3*c - v - d = 7, -2*v = -3*c + 15 for c.
3
Suppose 19*d = -d + 10*d. Solve 5*a - 4*j + 33 = d, a = -4*a + 3*j - 31 for a.
-5
Let x = -94 - -99. Solve -x*p = -15, -29 = -2*v - 5*p - 4 for v.
5
Let k(w) = w**3 - 18*w**2 - 18*w + 1. Let u be k(19). Let z be u/(-8)*36/(-30). Solve -5*x = -10, -x = -z*c - 5*x + 2 for c.
-2
Let l = 64 + -26. Let u = -38 + l. Let z = -5 + 17. Solve 5*q + 2*h - z = 0, 0*h + h - 1 = u for q.
2
Suppose 0 = 31*j - 27*j. Solve 2*t + 3*r + 20 = j, 2*r = -3*t + t - 16 for t.
-4
Let b be (-1)/(-3) - 408/9. Let p = b + 51. Solve -2*c - 4*z - 4 = 0, 2*c + 2*z = -c - p for c.
-2
Let h(j) = j**2 + j + 5. Suppose 0*z + 5*z = 65. Let c = z + -13. Let s be h(c). Solve -l = -s*v + 12, -3*v - 3 = -3*l - v for l.
3
Suppose 2*o + 22 = 2*t - 8, -4*t + 3*o + 59 = 0. Let n(a) = a**2 - 13*a - 9. Let g be n(t). Solve 19 = -5*d - c, -5*c + 0 = -g for d.
-4
Let m = 19 - 21. Let k be -2*1/m + -3. Let w be 3*-15*k/3. Solve -2*q = -3*x - q - 8, -w = 5*x - 5*q for x.
-1
Let g(y) = -6*y**3 - y**2. Let q be g(-1). Suppose -34*o - 60 = -37*o. Suppose 8*u = 3*u + o. Solve u = 2*b - q*v + 5, -b - 1 = -3*v for b.
2
Suppose 0 = 4*y + 5*n - 58 - 10, n = -2*y + 28. Solve 5*h + 3*w - y = 0, 2*h - 14 - 2 = -4*w for h.
0
Let y be (5 - 2) + (-1 - -5). Suppose 0 = 2*v + y - 29. Let p = v + -6. Solve 3*c - 18 = -p*w, 2*w = w + 2*c + 1 for w.
3
Let t = -458 + 462. Solve 12 = 4*u, -7*m - t*u = -3*m - 24 for m.
3
Let l be (-735)/(-189) - 24/27. Solve -l*o = 4*c - 8, o + 3*c = 3*o - 11 for o.
4
Let x(r) = -r**2 - 2*r + 1. Let n be x(-3). Let s be 3 + (1 + n - -2)*0. Solve 0 = -s*b - 4*v + 27 - 7, -v = -5*b - 5 for b.
0
Let q be (-6 - (-2)/2) + 1. Suppose 32 = -22*v - 12. Let s be 8/q*5/v. Solve s*g - 2*w - 3*w = 25, 20 = 4*g - w for g.
5
Let q be 3/(-6) - (6 - 85/10). Solve 0 = q*u + a, a + 4 + 8 = 4*u for u.
2
Let v = -444 - -449. Solve 5*i - u + 14 = -11, -v*u + 5 = 5*i for i.
-4
Let x be 16/(4/(-1)) + 46. Let b = x - 38. Solve r + r + 2 = -q, 0 = b*q for r.
-1
Suppose -30*a + 12*a = -36. Solve -4*d - 3*x = -35, -a*x - 3*x = 4*d - 45 for d.
5
Suppose -6*k + 34 - 28 = 0. Suppose 2 = i - k. Solve i*h + 11 = 4*h - 4*s, 4 = -2*s for h.
3
Let s(c) = 7*c - 19. Let a = 17 - 13. Let k be s(a). Solve 4*r + 5*x = 14, 5*r + 3*x - k = 2*r for r.
1
Let k = 139 - 77. Let c = 69 - k. Solve -1 = -5*q - 3*m + 5*m, 0 = -q + 4*m - c for q.
1
Let m = -74 + 98. Solve 2 = h - r, 2*r + 8 = -2*h + m for h.
5
Let v(y) = y**2 + 2*y. Let t be v(-2). Suppose 0 = -3*b - 3 - t. Let q be 4/(b + 3) - 0. Solve 0 = -3*s - q*k - 10 + 32, -5*s - k + 25 = 0 for s.
4
Let n(x) = -2*x + 12. Let w be n(8). Let k be (-7)/w + 1/(-16)*-4. Solve 3*j = -l - 14, 21 = -3*l + k*j - 4*j for l.
-5
Suppose -2*w - 10*w + 36 = 0. Solve -7*k + w*k + 12 = 0, 2*p - 5*k = -19 for p.
-2
Let v be (-3)/6 - (1 + (-28)/8). Solve -2*c = v*p - 2, 3 + 3 = -2*c for p.
4
Let r be -1 + -4 - (-90)/(54/6). Solve -r = -5*z - 0*g - 4*g, -3*g = 2*z + 5 for z.
5
Let w be (-3)/((-4)/20*1). Let m = w + -9. Let y(h) = -4*h - 8. Let t be y(-3). Solve -r - t*n + 13 = 0, -r + n - 3 + m = 0 for r.
5
Let y be 2*1/(-6)*3. Let m = y - -11. Let c = m - 4. Solve -3*t + 15 = 2*n - c*t, 0 = 4*n + 5*t + 3 for n.
3
Let g be (5/2 - 1)*-12. Let x be 4/(-3)*(-81)/g. Let p = 0 - x. Solve 2*z + o = p*o - 17, 0 = z + 3*o - 8 for z.
-1
Suppose -2*g - 3*g + 6 = 3*t, -2*t + 4 = -5*g. Suppose -5*r = 4*b - 1, -3*b + g = r + 2. Solve r = 3*l - 3*u + 10, l - 5*u + 15 = 0 for l.
0
Let k = 40 - 31. Suppose 0 = k*h - 8*h. Suppose -3*r + 7*r = -2*y + 10, h = -5*r + 5*y + 35. Solve -3*d = 5*i + 27, i - 4*i = -r*d - 7 for i.
-3
Suppose 253*r = 247*r + 18. Solve r*s = 3*n - 15, -n - 3*s = -5*n + 18 for n.
3
Let x = -51 + 53. Suppose 0 = -3*o + 9, 4*o = x*h - 1 - 19. Suppose 0 = 3*l - 8*l - 15, -4*z + 19 = -l. Solve 4*t = -5*i - 14 - 3, -2*t = z*i + h for i.
-5
Let h(p) = p**3 - 2*p**2 - 5. Let m be h(3). Let n = -677 - -681. Solve 0 = n*r - q - m + 7, r = q for r.
-1
Let a(j) = -j**2 - 16*j - 7. Let d be a(-15). Suppose 0 = -5*g + o + 1 + d, 3*o = 3. Solve g*b - 5*n - 14 = 0, 3*n + 7 = 3*b + 4 for b.
-3
Let m = -2 + 7. Suppose -29*h - 5*u = -32*h + 20, 8 = -2*u. Solve 2*n + 4*i + i = 20, -m*n - 4*i + 16 = h for n.
0
Suppose 4 = s - 5. Suppose 2*l = -l + s. Suppose i - 2*h = 3*i - 4, l*i = 3*h + 6. Solve 2*v - i = -j, -2*j = 2*j - 2*v + 2 for j.
0
Let g(y) = -2*y**3 - 7*y**2 + 2*y - 4. Let h be g(-4). Let m = -8 - -4. Let n = m + 4. Solve -h*c + 0*f + 3*f = 25, c - 4*f + 16 = n for c.
-4
Let d = 29 - 19. Solve 4*x - a + 21 = 0, 3*a - 5*a = -d for x.
-4
Let k = -115 - -115. Let d be 4 - (1 - -1) - 1. Let a(v) = v**3 + v**2 + v - 1. Let o be a(d). Solve -11 - 10 = -5*s + p, s + 2*p - o = k for s.
4
Let w = 186 + -110. Let k be 29/58 - (-22)/4. Suppose -k*o = -2*o - w. Solve -5*s - o = -2*u, -4*s - s - 11 = 2*u for s.
-3
Suppose -18 = -3*n - 0*n - 5*c, 2*c = -n + 7. Suppose -n = 3*r - 4. Suppose -3 = -z - r. Solve 2*g + z*v = 1 - 3, -2*g - 5*v - 8 = 0 for g.
1
Let z(x) be the first derivative of 5*x**3/3 - 3*x**2 + 5*x + 3. Let t be z(1). Solve 0 = 3*p - 6, 0*o - t*o + p - 22 = 0 for o.
-5
Let h(l) = l**2 + 3*l + 5. Let i be h(-2). Solve 3 = 3*d - 5*c, 7*d - i*d - 5*c - 4 = 0 for d.
1
Let z be (3/2)/((-18)/(-24)). Suppose -1 = -z*k + k. Suppose 0 = -3*t + 2 + k. Solve n = -4*y - 0*y - t, -3*y + 3 = -3*n for n.
-1
Let y be (12/2)/((-33)/(-22)). Suppose 8 = y*r - 44. Let w(u) = -u**3 - u + 3. Let p be w(0). Solve p*n - 9 = -q, n - 3*q - 2*q + r = 0 for n.
2
Let k(a) = a**3 - 5*a**2 + 7*a - 8. Let l be k(6). Let n = l + -66. Solve -n = -5*i + 2*w + 26, 0 = 4*i + 4*w + 4 for i.
4
Let a(w) = w**3 + 6*w**2 - 9*w - 8. Suppose 0 = -2*q - t - 18, 3*q + t + 26 = 1. Let y be a(q). Solve -9 = 5