p = 16, s*v + 2*p + 2*p = 28 for v.
4
Let x(c) be the third derivative of c**4/24 - c**3/3 + 15*c**2. Let o be x(7). Solve -4*d = -y + 20, d + o = 3*y - 11 for d.
-4
Suppose -3*i + 6*i - 9 = a, 4*i = -5*a + 12. Let x = 0 + a. Solve 4*r - 19 = -l, x = -2*r - r + 3*l + 3 for r.
4
Let a = 2047 - 2040. Solve -2*z - 2*p + 19 = -a*z, 2*z + 5*p = -25 for z.
-5
Let s be 64/80 + (-16)/(-5). Suppose -2*l + 3 - 1 = 0, 3*n = s*l + 8. Solve 0 = g - 3*k - n, -2*g = 3*g + 3*k + 16 for g.
-2
Let p(s) = s**3 - 59*s**2 + 60*s - 113. Let u be p(58). Solve 0 = u*r + 4*h - 8, 0 = 3*r - h - 17 + 4 for r.
4
Let m(b) = -6*b + 86 - 39 - 21. Let a be m(4). Solve -2*g - q + 4 = 9, 2*q = 2*g + a for g.
-2
Let b be -6 + (1 - (-21)/(-28))*32. Solve -b*i + u = 0, 5*i = 10*i - 2*u for i.
0
Let f = -478 + 481. Solve -6*w + 10 = v + f*v, 5*v - 4 = w for w.
1
Suppose -4*s = -5*u - 15 + 8, 0 = u - 5. Solve -3*h - s = 2*z - 0*h, 0 = -2*z + 2*h - 8 for z.
-4
Suppose -6 = -z - 3*y - y, 0 = -5*z + 4*y + 6. Let p be (z/(-7))/(3/(-21)). Suppose -d = -p*d. Solve 0 = v + v - 4*r - 6, -2*v - 3*r - 15 = d for v.
-3
Let z(u) = 3*u + 15. Let m be z(-6). Let h(i) = -2*i**3 - 3*i**2 + 5*i + 7. Let d be h(m). Solve -3*c = 4*g + d, -g - 14 = 3*g + 2*c for g.
-1
Suppose -3*x + 4*u + 11 + 27 = 0, -5*x = -3*u - 45. Suppose -2*i + x = -5*i. Let g be (-2)/(i*3/12). Solve g*d - 5*l = 16, -3*l + 1 = -2*d + 9 for d.
4
Suppose 0*g - 9 = -3*g. Let o = -321 - -326. Suppose 0*l = 3*k + l - 8, -2*k + 20 = -3*l. Solve 0 = -g*c + 15, -o*c - 4 = k*n - 25 for n.
-1
Suppose 2*k = -k. Suppose 2*f - 154 = -k*f. Suppose -5*u + 3 = -f. Solve -v - v + u = -4*c, v - 16 = 4*c for c.
-4
Let i(k) = k - 5. Let p be i(4). Let n be (((-15)/12)/5)/(1/4). Let u be (n + p + 3)*23. Solve 5*v - 9 + 54 = -5*y, 2*y = -3*v - u for y.
-4
Let j(c) = c - 3. Let g be j(6). Solve 5*p = 2*s + 12, p + 2*s = g*p for p.
4
Let k = -143 - -150. Solve 8 + k = -4*j - z, -2*j - 15 = -z for j.
-5
Suppose -16*x + 18*x = 4*m - 28, m - 5*x - 25 = 0. Solve m*f - 7 = -2, 2*w - 2*f = 0 for w.
1
Let y(l) = -11*l + 3. Let s be y(0). Solve s*h - 4*x + 25 = 0, 2*h + 5*x - 7 = 7 for h.
-3
Let i(p) = -8*p + 67. Let o be i(8). Solve 0 = a - w, 2 + o = -4*a - w for a.
-1
Let w(d) = -2*d**3 + 12*d**2 + 11*d - 54. Let t be w(6). Solve -4*z = -3*u + t, u = 4*u + 3*z - 12 for u.
4
Suppose 0 = 4*q - 2*q. Suppose 0 = s - 18 - 14. Let g = q + s. Solve 0 = 4*r, 0 = -5*x + 2*r + 12 - g for x.
-4
Let a = -53 - -47. Let r be 12/(a/(-16)*2). Solve 2*d - 20 = -3*d - 3*n, 0 = -4*d - 4*n + r for d.
4
Suppose 6*s + 9 = 2*q + 7*s, 0 = q - s + 3. Solve -f - f + 4*o = -6, -q*f + 8 = -5*o for f.
-1
Let u(a) = a**2 - 4*a - 32. Let r be u(8). Let b be (r - 36/(-10)) + (-18)/30. Suppose 2*j - 6 = 6. Solve -p - 5 = 0, 3*h - 3*p - j + b = 0 for h.
-4
Suppose -2*p + 0*p + 430 = 4*y, -y = -p - 115. Let l = -74 + y. Let t be (-13)/(-3) - 12/l. Solve 3*r + 23 = -r + 3*h, 10 = 5*r + t*h for r.
-2
Suppose -3*i + 14 - 2 = 0. Suppose 0 = 5*t + i - 224. Suppose 5*z = t - 14. Solve 2*v + 9 = 5*p - 0*p, 5*v - 3*p = z for v.
3
Let m = 21 - 18. Suppose 4*s = -2*y + s + 35, 5*s - 55 = -m*y. Suppose -l = l - y. Solve 0 = 3*c + 3*b - 12, -l*c + 4*b = -11 - 9 for c.
4
Let l = -1812 - -1815. Solve 3 = l*m + 5*x - 2*x, 5 = -m + x for m.
-2
Let q = -31 + 35. Suppose -144 = -q*p - 4*l, -l + 6 = l. Solve -2*n = m - 13, -3*m = 4*n - p + 2 for n.
4
Suppose -3*u + l = 2*l - 100, 3*u - 3*l - 96 = 0. Let a = u - 19. Suppose -36*x - 32 = -52*x. Solve -j - 2*s = -4*j + a, 2*j + 4 = -x*s for j.
2
Let v(m) = -m + 22. Let x(y) = -2*y + 33. Let p(z) = -8*v(z) + 5*x(z). Let g = 69 + -77. Let a be p(g). Solve a = -3*d - 2*h, 0*d + 4 = -2*d - 2*h for d.
-1
Let m(n) = n**3 + 4*n**2 - 8*n - 10. Let j be 8/4 - -1 - 8. Let i be m(j). Solve 4*k = 4, q + 1 = i*k - 2 for q.
2
Suppose 7*g = 2*g - 95. Let p = g + 26. Let z be 12/(-42) - (-23)/p. Solve -z*s + 4*n + 10 = 0, 0 = -4*s - 0*s + 3*n + 11 for s.
2
Suppose 3*a + 6 = -3*c, 6*c - 4*c + 3*a + 9 = 0. Let i be (-2)/c + (-14)/(-3). Solve 3*r = -i*b + 1 - 14, 11 = -4*r + b for r.
-3
Let w(k) = -k + 10. Let u be w(8). Suppose -u*v + 28 = -a + 5*a, 0 = 4*v. Solve -3*q + 2*c = 3, -5*q + 3*c + 1 = a for q.
-3
Suppose -19*n + 38 = 19. Solve -4*v = -5*t - 3, -v + 3*t = -n - 5 for v.
-3
Let y = -585 - -610. Solve 0 = -5*n + y, 7*n = -5*h + 2*n + 15 for h.
-2
Let l = -419 - -421. Solve -l*v = -8, 5*v = -2*a + 4*a + 12 for a.
4
Suppose 3*l = -2*d - 8, 6 = -2*d - 3*d - 4*l. Solve -d*a = -6, -32 = 5*x - 6*a + 2*a for x.
-4
Let q = 120 + -117. Let t be -1 - (-3 + (1 - 4)). Solve 10 = c - q*c - 4*x, -c - t = -3*x for c.
-5
Let p(y) = -2*y - 3*y + y**2 + 9 - 2*y. Let t be p(6). Suppose -4*g + 1 = -3*g + 2*o, 2*g + o = 8. Solve -2*l + 2*i + t*i + 25 = 0, -l - i = g for l.
0
Suppose 712 = -9*z + 865. Solve -13 = -2*l + 5*n, 2*l + 3*l + 4*n = -z for l.
-1
Let k be (2 - 3) + 2 + -1. Suppose 3*a + 6 = 5*a. Let n = -11 - -12. Solve -4*r + q - n + 13 = 0, k = -a*r + 4*q + 22 for r.
2
Let n(x) = x**3 + 5*x**2 - 5*x + 7. Let o be n(-6). Let m be (o - 0) + 5/(10/2). Solve -3*q - 4 = z, -4*q = -3*z - 10 - m for z.
-4
Let s be (-1)/3 - (-20 - (-59)/3). Solve 3*z = -12 - s, 0 = 2*b + z + 8 for b.
-2
Suppose -19*z + 17*z + 400 = 0. Let f be z/6 - 1/3. Let l be (-6)/f - 13/(-11). Solve -2*d = 0, 2*d - 21 = 4*a - l for a.
-5
Suppose -5 = -5*h + 5. Let r be h/(2 - 0) - 0. Let i = -39 - -43. Solve 4 = 2*d, -i*w = 5*d - 1 - r for w.
-2
Suppose 2*m + 162 = -4*m. Let r be (m/(-63))/((-1)/(-7)). Solve -g = 3*k + 11, -2*k = -r*k + g - 1 for k.
-3
Suppose 6 = -4*v - 14. Let p be ((-4)/v)/((-8)/(-40)). Solve -4 = 2*y, -p*y = 5*k - 0*k + 33 for k.
-5
Suppose -2*s + 10 = 2*r, 2*s - 2*r = -2*s + 8. Solve 4*o + f = -11, -3*o - s*f - 6 = -0*f for o.
-3
Suppose 3*c + 5*u + 7 = 13, -u = 4*c - 8. Solve -c*s - 2*v - 6 = 2*v, -9 = 5*s + 4*v for s.
-1
Let d(l) = 5*l**2 - 3*l. Let f be d(1). Solve 0 = -f*c - 2*o + 10, 0*c - 3*o - 9 = -5*c for c.
3
Let q = -102 - -264. Let k be (-20)/(-6)*q/(-15). Let g be 2 - 9/(k/(-8)). Solve -3*t - 8 = 2*v - g*v, -4*t + v = 18 for t.
-4
Let v(h) = 16*h - 160. Let z be v(11). Solve -5*i - z = -3*t + 4*t, 4 = i + 2*t for i.
-4
Let p(z) = -11*z + 3. Let g be p(-3). Let d(h) = 16*h - 92. Let n be d(6). Suppose 2*x + 4 = 3*x, 0 = s - n*x. Solve -4*u + g = -5*t, t - s = 4*t - u for t.
-4
Let t = 44 + -42. Let x = 33 + -31. Solve 2*l + x*l + 2*g = -26, 3*g = t*l + 1 for l.
-5
Let i be ((-4)/10)/((-2)/60). Suppose -2*s + 6 - 4 = 0. Suppose 4 - s = -3*d, -3*b + 64 = 5*d. Solve 4 = 4*l - i, -5*j + 2*l - b = 0 for j.
-3
Let h = 92 - 93. Let c be h/(-2) + 5/(4 - -6). Solve -3*g = 5*y - c, g + 4*g - 4*y + 23 = 0 for g.
-3
Let k = 9767 + -9767. Let i be 15/9*(1 - -2). Solve -i*n = -d - k + 14, -20 = 5*n + 5*d for n.
-3
Suppose -5 = -2*z - 1. Let l(s) = s**2 - 8*s + 9. Let n be l(6). Let h be 2/(-9) - (-100)/45 - n. Solve 4*j - 2 = z*j, -4*o + h*j = -15 for o.
5
Suppose 0*h - 594 = -22*h. Solve h = -3*u + 3*j, j = -4*u + 3*j - 26 for u.
-4
Suppose 60*n = 59*n + 4. Solve 3*i + 5*t = 20, n*t + 1 = i - 0*t for i.
5
Let s(n) = -n**3 - 19*n**2 - 14*n + 79. Let w be s(-18). Solve -v + 3*v = -f - 5, 2*f + v = -w for f.
-3
Let p = -11 - -10. Let w be (-4 + 7)*(p + 2). Solve -m + 13 = -0*c + w*c, -c = 4*m - 19 for m.
4
Let d = -70 + 74. Let w = 13 + -7. Let n(j) = -j**3 + 6*j**2 + 3*j + 1. Let p be n(w). Solve d*a - 3 = 9, x = -5*a + p for x.
4
Suppose 0 = 5*j + 2*c - 8, 0 = j - 2*c - 4. Solve -3*l = -j*d - 1, -24 + 3 = -3*l - 3*d for l.
3
Let f = 4 + 3. Let g = 10 - f. Let t be (-1 - -1)/(-1 - g). Solve 2*x - x = -3*a + 8, t = x - 5 for a.
1
Let g be ((-5)/(-15))/(-4 + (-122)/(-30)). Suppose 4*n = -3*n + 28. Solve -n*z = 3*a - 28, -g*a - 4*z + 24 = -3*z for a.
4
Suppose -2*s + 21 = 13. Solve -s*y = 3*m + 11, 2*y = m + 2*m + 17 for m.
-5
Let q(h) = 2*h**3 - 44*h**2 + 44*h - 38. Let w be q(21). Solve -2 = 4*n - g, 3*n + w*g = 8*n + 8 for n.
0
Suppose 4*b = m + 4 + 6, -5*b + 12 = -m. Solve t - 3*n + 0*n = -10, b*t = 3*n - 14 for t.
-4
Let w = 11 + -9. Let r = 2 - 2. Let x(g) = -g**3 + g**2 + g + 2. Let z be x(r). Solve 0 = 4*v - 3*t - 26, -z*v - 4*t = w*v - 12 for v.
5
Let s = 2117 + -2113. Solve -s*n = -10*z + 7*z + 16, -4*z + 4*n + 16 = 0 for z.
0
Suppose -24*l + 30*l = 24. Solve -5*s + 4*u = 0, 4*s - 6 = -2*u 