 4*q - r - 4 = 2*r for q.
4
Let w(l) = -5*l. Let a be w(-1). Suppose 3*z + 384 = -5*z. Let c = z + 62. Solve -5*s - c = -2*s - a*h, -8 = 2*s - 3*h for s.
2
Suppose 0 = -5*r - 5*k - 15, -7*k = -3*r - 2*k + 31. Let n = 23 - r. Solve -p - 5*y + n = 0, -5*y - 4 = -24 for p.
1
Suppose 0 = 5*s - 38 + 13. Suppose 0 = 3*x - s*q + 25, -3*x - 2*x = -4*q + 20. Solve 0 = -4*t + t + 5*j - 5, x = j + 2 for t.
-5
Let b be 0/(-8*(-3)/24). Solve -3*s + 2 = -b*m - 2*m, 5*m = 4*s - 12 for m.
-4
Suppose 0 = 8*d - 3*d + 20. Let b be (12/14)/(d - (-145)/35). Solve -12 = k - 2*j - 2*j, -2*k + 2*j - b = 0 for k.
0
Suppose -5*x + 4*r = -252, 0 = -5*x + r + r + 246. Let o = x - 48. Solve 2*v + 1 = -3*l - 2*v, o = -4*l + 4*v - 20 for l.
-3
Let z = -12 + 20. Let q = 13 - z. Solve 0 = -q*a + 2*r - 10, -a - 2*a = -4*r + 6 for a.
-2
Let b be ((-2)/(-6))/((-4)/(-156)). Let s be b*1/(3 - 2). Suppose -w + 8 = f, 3*f - 4*w - 46 + 57 = 0. Solve f*k - h + s = 0, 0 = -2*k - 2*h - 0 - 6 for k.
-4
Let b(w) = -1 + 2 + 0 + 7 + w. Let c be b(-4). Suppose 2*f = 8 - c. Solve -x = f*i - 1, -4*x + 2*i + 10 = -4 for x.
3
Let r(b) = -b**3 + 8*b**2 + 5. Let n be r(8). Let p be 14/8 + (-9)/12. Let i = -1 + p. Solve -25 = -n*a + 2*h - 2, h + 4 = i for a.
3
Let g = 166 - 163. Suppose -4*v - 25 = -g*i, -4*i + 19 + 10 = -v. Solve -5*t = -2*h - 21, 4*h + i = 3*t - 0*t for t.
5
Suppose 3*m + 60 = -3*m. Let n be 12/9*(-15)/m. Solve n*p + 10 = -3*k, -3*p - k + 0*k - 15 = 0 for p.
-5
Suppose 10*a = 34 - 4. Solve a*c - 12 - 8 = -g, 5 = -g + 2*c for g.
5
Let u(v) = -22*v - 138. Let c(p) = -15*p - 92. Let r(n) = 8*c(n) - 5*u(n). Let i be r(-5). Solve -4 = -q - 2*k, -2*q = -i*k + 19 - 3 for q.
-2
Suppose -3*a = -l + 15, -3*l + a + 28 = 15. Solve -2*x = l*p - 10, 2*p + 0*p - x = 2 for p.
2
Let v(z) = -z**3 - 4*z**2 + 8*z - 4. Suppose -2*j = -4*j - 12. Let b be v(j). Suppose b = 4*k + k. Solve 4*s = k*x - 1 + 5, x = 0 for s.
1
Let h(m) = -m**3 + 8*m**2 + 19. Suppose 0 = -5*k - 8 + 48. Let n be h(k). Solve 2*w = 2*f + 10, 5*f + n = -2*w + w for f.
-4
Suppose 53 = 4*r - r - i, -45 = -3*r - 3*i. Solve 4*l + y - r = 0, 3*l - 5 = -3*y + 1 for l.
5
Let l(x) = x**3 + 63*x**2 + 123*x + 70. Let w be l(-61). Solve 5*g = -3*f - 22, -4*f - 4*g + 29 = -w*g for f.
1
Suppose -727 + 67 = 6*k. Let y be (-420)/k - 2/(-11). Solve -4*f + m + 2 = -2*m, y*f - 2*m = 0 for f.
-1
Let g(m) = m**2 - 7*m - 16. Let r be g(-2). Solve r*x + 18 = 4*s, -2*x + 2*s = x + 19 for x.
-5
Let c be -3 - 4*(-6)/4. Solve 5*w - o - 12 - 17 = 0, 2*o + 23 = c*w for w.
5
Let r be (-6)/(-27) + (-172)/(-108)*3. Let b(l) = -4*l - 1. Let i be b(-1). Solve -5*t = -5*y, 0*y - i*y - r*t - 40 = 0 for y.
-5
Suppose -3*y - 60 = -2*o, -68 = o - 4*o - y. Let l = o + -19. Let g = 8 - 6. Solve 0 = -l*u - g*c - 18, -3*c - 2*c = 5*u + 30 for u.
-2
Let g = 27 + -31. Let h be (-1)/((g/16*2)/2). Solve -c + 0 + 2 = -s, 0 = h*c - 3*s - 5 for c.
-1
Let n = -16 + 16. Suppose 0 = 5*u - n - 5, -4*j - 24 = 4*u. Let z be j + 10 - (-2 + 1). Solve z*g - 17 = -q, -q + 4 = 3 for g.
4
Let t(b) = b**3 + 12*b**2 - b - 6. Let q be t(-12). Suppose 2*p = q*p + 20. Let g(r) = -r - 5. Let x be g(p). Solve 2*k + 2*o = -6, -4*k - 2*o = -x*o + 8 for k.
-1
Let c be 10/3*2970/825. Solve -3*o = c, r + 1 = 3*o + 17 for r.
4
Suppose 3*o = -r - 1, 17 = 63*r - 60*r - o. Solve -j + 3*c + 0*c = 14, -r*c + 15 = 0 for j.
-5
Let b = -105 + 99. Let o be 2 + 3 - (b - -11). Solve p + 2 = 3*p - 2*z, 4*p - z + 5 = o for p.
-2
Let f(z) = -z + 2. Let g be f(2). Suppose g = -13*a + 9*a + 4. Solve -4*u + 16 = 2*d, 0 = -3*u + 5 + a for d.
4
Let k(y) be the first derivative of 3*y**2/2 - 3*y - 6. Let j be k(5). Suppose 6*l - j = 3*l. Solve l*z + 8 = 2*w, 3*z - 4*w - 1 = 3 for z.
-4
Let r = 176 - 172. Solve -6 = 5*d - r*p, p - 3 = 1 for d.
2
Let s be 138/92*(-20)/(-6). Let o = -1 + 5. Solve o*p + t = -21, s*p = -0*t - 4*t - 29 for p.
-5
Let a be (2 - (-2 - 1)) + -2. Suppose -26*q + 684 = -23*q + 35*q. Solve j + n = 5*j + 19, 3*n = -a*j - q for j.
-5
Let q(p) = -4*p**3 + 2*p**2 + 3*p + 2. Let x be q(-1). Let a be (52/(3 + 1))/(x + -4). Solve -5*m - f - a = -m, 0 = 2*m - 3*f + 17 for m.
-4
Let l = 81 - 62. Let d be (2/(-6))/(l/(-285)). Solve d*z - 2*v - 37 = v, 3*z + 5*v + 5 = 0 for z.
5
Let l(f) be the second derivative of 0*f**2 + 1/6*f**4 + 4*f + 1/20*f**5 + 0 - 2/3*f**3. Let p be l(-3). Solve -4*u + 14 = -k, 5*u + p = -3*k + 12 for k.
-2
Let f be 38/(-171) - (-40)/18. Solve -2*b - 21 = 5*o + f*b, 5*b = -4*o - 15 for o.
-5
Suppose 8 = 6*i - 2*i, -6*w - i = -38. Solve 3*k + 18 = -3*a, -a = 4*a - k + w for a.
-2
Let k(f) = 18 + 21 + 2*f - 33. Let u be k(-3). Suppose -b + 6 + 20 = 0. Solve d = -r + 1, u*d + 5*r = 2*d + b for d.
-3
Let n be 40/70*(8 - 1). Solve 21 = -2*h - 3*z + 14, -n*z = 5*h for h.
4
Suppose -3 = -3*f + 78. Suppose 21*j + 24 = f*j. Solve r = -5*h + 2 - 0, -j = -h + r for h.
1
Let o = -272 - -274. Solve 4*l + r + o*r = -18, 0 = 2*r + 4 for l.
-3
Suppose -8*r = -20*r + 84. Let h(d) = -d**3 + 6*d**2 - 7*d + 6. Let x be h(5). Let m = x + r. Solve -q = -5*o - 13, -5*q + m*o + 17 = -9*q for q.
-2
Let r(n) = -n**2 - 4*n + 3. Let m(q) = 3*q - 25. Let d be m(7). Let i be r(d). Solve -2*z + 2 = -2*k, 23 = i*z - k + 3*k for z.
5
Let i(o) = -2*o**2 - 4 + 0 - 3 + 3*o**2 + 10*o. Let q be i(-11). Suppose q*w - 3*w - 5 = 0. Solve 2*j + 25 = -w*c, 6*c + 25 = c - 4*j for c.
-5
Let o(l) = -l**3 - 23*l**2 + 22*l - 46. Let z be o(-24). Solve 3 = 2*r + y, 4*y = z*r + y - 7 for r.
2
Suppose -2*a - c = -5, 4*c = -2*a - 0*c + 20. Let l = -24 + 50. Let k = l - 5. Solve -2*r - 5*t + 10 = a, -k = r + 2*t - 6*t for r.
-5
Let o(i) = -20 + 16 + i**2 + 0*i**2. Let w be o(-3). Solve 5 = 5*s + 5*z, 2*s - w*z + 0*z - 23 = 0 for s.
4
Let t = 59 + -55. Suppose 40 = 5*o + 2*p + p, -t*o + 35 = 3*p. Solve 0 = -4*n + o*y + 40, 3*n + 0*y - 23 = 2*y for n.
5
Suppose 5*r + 200 = 5*h - 65, -3*r + h - 167 = 0. Let y = r + 60. Solve y*s - 24 = 3*n, 2*n - 5 = -13 for s.
4
Let k = 36 + -32. Let y be 4/14 + k/((-140)/(-165)). Solve -3*s - 5 = 2*i, -5*i + 0*s - 10 = y*s for i.
-1
Let p = -36 + 42. Suppose -4 = -2*s + 4. Suppose -s*l + l = -p. Solve 0 = -5*r - 5*a + 50, -l*a + 35 = 3*r + 2*r for r.
5
Let d = 42 + -30. Let i be (((-270)/20)/(-27))/((3/(-16))/(-3)). Solve -2*n = 2*r - 0*n - d, -2*r + 2*n = -i for r.
5
Let t(g) = 17*g - 82. Let h be t(5). Let v(f) = -3*f - 3. Let z be v(-2). Suppose -4*r = -z - 5. Solve h*s + o + 1 = 17, 0 = -r*o + 8 for s.
4
Suppose -3*w - 8*k + 6 = -3*k, 2 = w + k. Let b(o) = -2 - o**2 + 1 + 4*o + 2. Let s be b(w). Solve -5*m = 3*v + v + s, 0 = 2*m - 4*v - 26 for m.
3
Let q = 9 + -37. Let z be -6*((-6)/(-21) - (-22)/q). Solve -2*i = z*r - 35 + 15, -24 = -2*i - 4*r for i.
4
Suppose 1897*v - 7 = 1890*v. Suppose 0 = 6*r - 3*r + 9. Let d be (v - (r + 5)) + 5. Solve d*g - 2*g = 2*x - 2, 0 = -3*x - 4*g - 11 for x.
-1
Let d be (-40)/(-2)*(-13)/(-52). Let m = -5 + d. Solve 3*t - 5*p = 19, -t + p - 2*p + 1 = m for t.
3
Suppose 3 + 1 = 2*v. Suppose -3*j + 2*j - 3*b = -7, v*j = -b + 9. Let l be 19/4 - j/(-16). Solve l*z + 3*k + 31 = 0, -3*k - 15 = z + 2*k for z.
-5
Let n be (-1)/((-6)/(-39) - 69/195). Suppose -2*d = 7 + 13. Let j(y) = y**3 + 11*y**2 + 9*y + 10. Let g be j(d). Solve k - g = n*k, -5*z - 5*k = 10 for z.
3
Let v = 66 + -30. Suppose i + 5*i = v. Solve 4*p - i = 3*z, -1 = z + 2*p + 1 for z.
-2
Suppose -63 = 2*c + 7*c. Let q(i) = -i**3 - 8*i**2 - 5*i + 17. Let k be q(c). Solve h - 5*h = 4*g - 16, -17 = -4*h - k*g for h.
5
Let x(l) be the third derivative of -l**4/12 + 8*l**3/3 - 20*l**2. Let p be x(6). Solve -3*y + 2*k = 10, -p*k + 6 = -3*y - 8 for y.
-2
Suppose 4*h = -4*k - h + 135, 4*h = -k + 42. Solve -2*d - 3*d = 2*u + k, -5*u - 5 = -5*d for u.
-5
Let s(y) = -y**3 + 4*y**2 - 4. Let k be s(4). Let q(p) = -p**2 - p + 12. Let n be q(k). Solve 22 = 2*w + 5*l, n = 7*w - 3*w + 4*l - 20 for w.
1
Let o(c) = -3*c + 9 + 5 - 2 + 4*c. Let a be o(-9). Let n = a - -2. Solve 0 = -4*r - 5*j - n, 2*r - 7 + 29 = 4*j for r.
-5
Suppose 5*b + 42 = 102. Let f = 407 + -405. Solve f*u + 0*u + b = -s, 2*u + 18 = -4*s for s.
-2
Let d(m) = 4*m**2 - 4*m - 4. Let c(q) = -q**2. Let u(a) = -6*c(a) - d(a). Let b be u(-2). Solve -2*z + 7 = 3*p - 9, -3*z - 10 = -b*p for z.
2
Suppose 3*y - 22 = -2*r, 9*y + 5*r - 40 = 4*y. Suppose -y*c + c + 25 = 0.