15*q - 16*q = -3. Let j be (-3)/(q/(-2))*10. Let u be 3/5 + 68/j. Solve -u*n = -p - 5*n + 6, -6 = -2*n for p.
3
Let l = -1059 + 1067. Solve s = -4*g + 6*s + 16, 2*g - s = l for g.
4
Let y = -16 - -11. Let f = y + 6. Suppose -9*p + 8 = -5*p. Solve p*m - 5 = -2*j - f, j - 4*m - 17 = 0 for j.
5
Let q = -2 + 2. Suppose -1 = o, -5*a + q*o = -3*o + 7. Let u be 5 + -2 - (a - -3). Solve -u*x + 4*x + 14 = -2*z, 3*z = 5*x + 19 for z.
-2
Let o = -54 - -58. Suppose -3*l - 6 = 0, 0 = 3*k - o*l + 5*l - 4. Solve -3*x + 3*q = -3, -5*x + 1 = -k*q - q for x.
-1
Suppose -4*w - 20 = -4*y, -2*w - y = w + 3. Let r be (w - -1) + 2/1. Let c be 0*((r - 2) + 2). Solve -4*s - 4 = c, 5*s = -4*b - 0*b + 15 for b.
5
Let v(q) = 2*q + 27. Suppose 4*u + 2*d = -42, 0*d = -2*u + d - 27. Let f be v(u). Solve -f*a = -5*g + 13, -4*a + 2*g = g - 11 for a.
4
Suppose 34*h + 6*h = 320. Solve -z + v = -3, 5*z = -4*v + 16 + h for z.
4
Suppose 19*y - 11*y - 16 = 0. Solve i = 2*k + 8 - 4, 0 = 3*i - y*k - 12 for i.
4
Suppose -h = -q - 201, -2*h = -h - 2*q - 204. Let a = h + -193. Let i be 0 + 0 - -1*2. Solve 4*c + 9 = r - i*r, 30 = -5*c - a*r for c.
-1
Let m = -1063 - -1091. Solve 4*a - g + 4*g = -22, 5*a + m = -4*g for a.
-4
Let y(g) = -38*g**3 + g**2 + 3*g + 1. Let f be y(-1). Solve -k - 5*c - 47 = -19, 4*k + 5*c + f = 0 for k.
-3
Suppose 0*y + 3*y - 12 = 0. Suppose y*b - 20 = -4. Solve 0 = -m - 0 - 2, -2*k - b*m = 0 for k.
4
Let a(y) = -y + 1. Let t(j) = -4*j**3 - 4*j**2 - 10*j. Let l(s) = -5*a(s) + t(s). Let w be l(-2). Solve n + 11 = 4*n - 4*f, 5*n - w = 4*f for n.
5
Let s be (-1)/(18/(-68)) - 52/(-234). Suppose p = s*k - 14, 2*p - p + 2 = 0. Solve -2 = -4*j - 3*l + 1, 0 = -k*j - 4*l + 11 for j.
-3
Let c = 1817 - 1816. Solve 4*f + p = -c - 1, -5*p - 10 = 4*f for f.
0
Suppose -3*r - 4*f = 55, -3*r + f = 54 + 26. Let j be 6/(-10) - 15/r. Solve -3*y + 0*g + g - 4 = j, 3*g - 1 = -2*y for y.
-1
Let v(p) = -4 - 4*p**2 - 6*p + 3*p**2 + 1 + 1. Let b be v(-5). Suppose 2*t - 25 = 5*z, t - b = -2*t - 4*z. Solve 5*i - t = -3*l, -l = -5*i - 1 - 14 for i.
-2
Let t(r) = 5*r**3 - 11*r**2 + 9*r + 21. Let m(d) = d**3 - d**2 + 1. Let k(g) = 6*m(g) - t(g). Let o be k(-6). Solve 0*w + 3 = 4*l + o*w, 5*w - 13 = -4*l for l.
-3
Let m(i) be the second derivative of i**5/20 + 5*i**4/6 - 5*i**3/3 + 3*i**2 + 5*i. Let u be m(-11). Let d = u - -7. Solve 25 = -5*n, -d*c + n + 2*n = -23 for c.
4
Let u = 522 + -519. Solve 0 = -4*w - b + 13, -b = -2 - u for w.
2
Suppose -5*a = -i - 15, 9 = -12*a + 15*a + 3*i. Solve -3*x = -p - 20, a*x = 2*p - 3 + 28 for p.
-5
Let h = 53 + -53. Solve h = -3*q - q - 2*w, 5*w = q + 11 for q.
-1
Let j(z) = -3*z - 45. Let n be j(0). Let g be (-1)/((n/(-20))/(-9)). Solve -2*h = -r - 2, -5*h + 4*r - 6 = -g*h for h.
2
Let v(n) = -11 + 0 + n**2 - 1 - 6. Let d be v(5). Suppose -5*r = -j + 2*j - 10, 3*j + r - 16 = 0. Solve j*w - 5*p + 13 + 7 = 0, w + d = -2*p for w.
-5
Let u(i) = i**2 + 32*i + 245. Let o be u(-12). Solve -3*h - 9 = -s + 2*h, 4*h + 3 = o*s for s.
-1
Let b = -162 - -165. Solve 2*f = -b*g - 5, -9*g - 14 = -7*g + 4*f for g.
1
Let r(c) = c**2 + 4*c + 5. Let n = -61 - -61. Let o be r(n). Solve 2*s = -5*y + 14, -o*s = 4*y - 26 + 8 for s.
2
Suppose 0 = -6*i - 34 + 10. Let j(x) = -x**2 - 7*x - 9. Let f be j(i). Solve -f*q = -3*a, 2*a - q - 6 = -3 for a.
3
Let m = -67 + 72. Suppose -4*s = -2*l - s + 16, -5*l - m*s - 10 = 0. Solve -2*v - 5*n = -l*n + 9, -2*v = -2*n - 16 for v.
3
Suppose -2*r + b = -8, 2*b + 19 = 5*r - b. Let z(c) = c**3 - 3*c**2 - c + 5. Let m be z(r). Solve 3*g = -4*p - 1, 0 = 5*p - 5*g + m - 5 for p.
-4
Suppose -2*z + 16 = 2*l - 7*z, 4*l + 4*z = 88. Suppose -4*k + q = -l, 4*q = 4*k - 0*k - 12. Solve 3*a + 3 = k*o, -a = -o - 0*o - 1 for a.
4
Let j be 0 - (1 - 1 - 2). Suppose -3*y - 120 = j*y. Let u = -10 - y. Solve 2*d - 5 = -w, -d - 5*w + u = -2*d for d.
1
Let d be (-63)/(-30) + 7/(-70). Solve 3*z = -l - 15, 3*z + 5 = d*l + 2*z for l.
0
Let t be (-3)/((-18)/45 - 14/40). Solve -3*p + 2*z + 1 = 0, 0*p + 4*z = -t*p + 8 for p.
1
Let g(p) = 51*p + 526. Let y be g(-10). Let l(o) = o. Let i be l(4). Solve 0 = i*t + y, f = 3*f - t + 6 for f.
-5
Let a = 236 - 231. Solve 3*q + 6 = j, 7 = q - a*q + j for q.
-1
Suppose a + 13 = 5*a + 5*w, 3*a + w - 7 = 0. Let x = a + -2. Let v(k) = 18*k + 58. Let c be v(-3). Solve -t + x*z - 5*z + 4 = 0, -t + c = -z for t.
4
Suppose -92*s = -96*s - 4*p + 12, 2*p = 6. Solve -2*q - 2*r - 12 = s, -q - 2*q - 10 = -r for q.
-4
Let v(u) = -5*u**3 + 2*u + 1. Let k be v(-1). Let a be 1 + 5/3 - 252/(-189). Solve 0 = 3*f + k*w - 0*w + 15, -5*w + 20 = -a*f for f.
-5
Let b(i) = -36*i + 3. Let d be b(1). Let v = d - -35. Let z be 3/(1/(-8)*-2). Solve v*k - 6 = 4*k, -3*g - 2*k = z for g.
-2
Let x(u) = -u**2 + 187*u - 550. Let a be x(3). Solve k + 3*h = 13, -4*k + 11 = -a*k + h for k.
4
Let z = -2027 - -2030. Solve l + 10 = -2*u - z*l, 4*l = -5*u - 25 for u.
-5
Suppose 0 = 3*i - 15, -16 = 3*b + 10*i - 15*i. Solve -5*d - j = -3 - 7, -b*d + 6 = -4*j for d.
2
Let i be (-8 - -4)/(6 - 7). Solve i*p + 2 = -2*q - 10, -2*q + 5*p = -24 for q.
2
Suppose -16*c + 174 = 14. Solve 10 = 3*m - m, -2*m - c = 5*p for p.
-4
Let d(a) = a**3 - 16*a**2 - 17*a + 12. Let b be d(17). Suppose -6*g + b = -4*g. Solve -8 = h + 4*o, 0*o - g = -5*h + 3*o for h.
0
Let i be 2/(-17) - (-130)/1105. Solve 0 = -3*s - o - i*o - 10, 11 = -4*s + o for s.
-3
Suppose 3*d = 45 + 24. Solve 0 = -4*r - 4*i + 8, 3 = -3*r + 5*i - d for r.
-2
Suppose 6 + 0 = -2*c. Let w be (40 - (c - -1))/(-1). Let j be (-1)/3*w/7. Solve 3*f = -2*q - 0 - 4, -q - j = 4*f for q.
-2
Let m(w) = -w**3 + 5*w**2 + 4*w - 5. Let s be 3*(16/(-12) - -3). Let i be m(s). Suppose 4*k + i = 119. Solve 4*g - k = -2*f, 4*g - 5*f + 21 = 3*g for g.
4
Let m(j) = 4*j - 12. Let a be m(7). Suppose 0*b - 4*b = a. Let t(z) = -z**3 - 3*z**2 + 3*z - 2. Let o be t(b). Solve 5*x - o*c = 3*x + 4, x + 5*c = -28 for x.
-3
Suppose 7*f + 28 = 9*f - 5*m, -4 = 4*f + 5*m. Let s(y) = -2*y + 28. Let r be s(13). Solve h + 0*h - f = -2*q, -r*h = 5*q - 11 for h.
-2
Suppose -3*m - 4 + 22 = 0. Let f be -3 + (-5 - -4) + m. Solve 0 = 5*p - 5*d + 5, -1 = -p + 4*d - f*d for p.
-3
Let h = 2 - -4. Let k = -1 + h. Suppose 38 + 147 = k*u. Solve 4*l + l - 4*q = -u, 5*q - 25 = 2*l for l.
-5
Let b = -33 - -42. Solve -5*c = -3*g, 4*c + 18 = -3*g - b for g.
-5
Let y be (-1 + 0)/((-12)/108). Let l = y + -6. Solve 4*m = -l*c + c, -4*m + c + 6 = 0 for m.
1
Let g = -83 + 43. Let s = -40 - g. Solve -2*t + 2*z + 7 - 3 = s, -5*z = 15 for t.
-1
Let c(v) be the third derivative of v**5/20 + v**4/4 + 2*v**3/3 + 21*v**2. Let m be c(-4). Solve -5*p - 16 = 4, -4*p - m = -4*w for w.
3
Let j(v) = -v**3 + 5*v**2 + v - 2. Let u be (60/25)/((-2)/(-5)). Suppose -2*c + u*c - 8 = 0. Let n be j(c). Solve 2*l + l = -15, 4*l + n = -4*b for b.
2
Let a(t) = -t**3 + 6*t**2 + 30*t - 22. Let z be a(9). Solve -5*i + z*u - 3*u = -28, -u = 3*i - 8 for i.
4
Suppose 0 = -2*v + 8*v - 12. Suppose 5*h + 12 = 3*h. Let d be 1/2*(0 - h). Solve -3*q = 2*r - 16, q + v*q = -d*r + 21 for r.
5
Let u = 10 - 3. Let i = 3987 + -3977. Solve q - 1 = -3*z + u, -2*q = 3*z - i for z.
2
Suppose -6*k + 50 = -k. Let i be (12/(-15))/((-1)/k). Suppose 5*d - t - 2 = -0, -d + t + 2 = 0. Solve 0*w = 5*j + 2*w + 13, -2*w - i = d for j.
-1
Suppose -31*k + 2*l + 7 = -34*k, 0 = 3*k + 4*l + 17. Solve -3*m = 2*v - 4, -v + k = -0*m + 2*m for m.
-2
Let l(x) = 9*x + 59. Let z = -124 - -118. Let r be l(z). Solve -4*a = -2*u - r*a + 9, -2*u + 3*a + 5 = 0 for u.
4
Suppose 3*k + 29*p = 24*p + 53, 4 = p. Solve -4*w + 2 + 3 = 5*i, 0 = -4*w - 3*i + k for w.
5
Let p(m) = -m**3 + 10*m**2 - 9*m + 3. Let v be p(9). Let l(o) = 2*o**2 - v + o**2 + 5*o - 2*o**2. Let j be l(-7). Solve 24 = 5*y - 4*d + 8, j = 3*y - d for y.
4
Let t = -60 + 67. Suppose t = 2*o - 11. Solve -17 = -4*s - 3*p, -s + o = -2*p + 2 for s.
5
Let j be -6*(-3)/18*8. Let o be 0 + 4/j*8. Solve 4*r = -0*r - 4*w + o, 3*r + 4*w - 1 = 0 for r.
3
Let c(y) = -y**3 + 7*y**2 + 19*y - 1. Let x be c(9). Suppose 0 = s - 5*s - x, -4*n = -s - 2. Solve p + n*p - 5 = 2*l, 0 = -2*p + 3*l + 7 for p.
-1
Suppose 9*m = m + m. Solve 2*n + 4 = 5*j + 5*n, m = -2*j - 5*n - 6 for j.
2
Let m be -1*1/(-2)*6. Suppose m*a = -0*a + 24. Suppose -4*w + 23 = 5*n, -2*w - 3*n = -2*n - 7. Solve 0 = 4*x + 4*p - 0 - a, -4*p = -w*x 