+ 15*k - 8 = 11*k. Solve -n = 3*w - 5*n - 7, n - 8 = g*w for w.
-3
Suppose 54 = 4*s + 5*x, 5*x = -2*s + 9*x + 14. Solve 5*w - 7 = a - 0, -3*w + s = -4*a for w.
1
Suppose 30 = f - 5. Let l be (42/f)/((-2)/(-20)). Suppose -4*a - 8 = -4*b, a + 2*a = 5*b - l. Solve 2*y - 2*x = 0, 4*y + 45 = -2*x - b*x for y.
-5
Suppose 0 = 2*q + 2*v + 4, -4*q - v - 15 = -4*v. Let d = q + -3. Let b be (-9)/d*(5 - 3). Solve 2*x - 2 = 2*a, 5*a + b*x = 4*x + 7 for a.
2
Suppose 9 = -5*o + 49. Suppose -4*f + o = -4. Suppose -4*x - f*m = -26, 6 = 5*x - 3*m - 13. Solve -x*l - 2*a - 10 = 3*a, 0 = 5*l - a + 16 for l.
-3
Let h be ((-4)/6)/(-2) + 9/(-27). Suppose -c + 1 = -5*l - h, 0 = 2*l. Solve 3*o - 4*d - 16 = 0, -2*o - d - 3 = c for o.
0
Suppose 5*d + 52 = 92. Suppose 0 = 3*q + q + 2*j - 40, -q = -4*j + d. Solve w - 3*w = -q, -18 = u - 4*w for u.
-2
Let g = 0 + 3. Let h be 1 - g*(-1 + 0). Suppose -4*k = k - 35. Solve h*u - k*v = -3*v + 4, 5*u + 5*v = 5 for u.
1
Suppose -c - 2 = -6. Solve 4*f = -2*u + 8, -f + 9 = -c*u + u for u.
-2
Let i be 5*(-6)/(-30)*0. Solve 5*g - 3*l - 16 = -i*g, -2*g = -3*l - 1 for g.
5
Suppose -2*q = -4*r + 24, 0 = 3*q + 4*r - 7*r + 24. Let y(o) = -o**3 - 3*o**2 - o - 16. Let k be y(q). Solve k*a - 3*h = a - 15, 0 = 5*h - 25 for a.
0
Let t = -15 - -18. Suppose q = -t*q + 72. Suppose -q - 17 = -7*a. Solve -3*l = k - 0*k + 8, -a*l - 6 = -2*k for k.
-2
Let r(z) = -4*z - 40. Let h be (-114)/10 - 4/(-10). Let s be r(h). Solve p - 3*a = 9, s*p + 0*a - 8 = -2*a for p.
3
Let t(p) = 7*p - 22. Let j(x) = 9*x - 22. Let f(m) = -2*j(m) + 3*t(m). Let l be f(8). Let w be (2 - 1) + 15 + 2. Solve -2*q = l*o + 10, -3*o - w = q - 5 for o.
-4
Let v be 1*7 - (1 + -2). Let s(z) = -2*z + 11. Let i = 64 - 60. Let p be s(i). Solve -5*j + 35 = -4*q, p*j - 4*j = -q - v for q.
-5
Let v be 15*((-80)/15)/(-4). Let i = v - -5. Solve c = 5*o - i, 0*c - o = 4*c + 16 for c.
-5
Let b be 8/6*30/(-20). Let a(f) = 2*f**2 + 3*f + 1. Let n be a(b). Solve n*z + 5*k + 34 = 0, -3*z + 11 = 2*k - 6*k for z.
-3
Suppose -u - q - 4*q = 122, 2*q = -u - 134. Let r = u + 253. Suppose b + 169 = 5*a, 0*a - r = -3*a + 3*b. Solve 0 = -5*v - 4*f - a, -f = -2*v - 5*f - 18 for v.
-5
Suppose 15*d - 8 = 13*d. Suppose -11 = -h - 0*o - 3*o, d*h - 18 = o. Let p = -12 + 16. Solve -3*z = n - p, h*z - 20 = 3*n - 2*n for n.
-5
Let m(r) = r**2 - 9*r + 12. Let q be m(8). Solve b - q*t = -3*t, 5*t + 5 = 0 for b.
-1
Suppose 3*o + 6 = 6*o - 3*g, 6 = -o + 5*g. Suppose -10*h + 7*h = o*x - 72, 3*x - 54 = 4*h. Solve -3*j + x = 3*s, -4*s + 2*j + 0*j = 6 for s.
1
Let c = -235 + 235. Solve -n + j + 5 - 4 = c, 4*j = -8 for n.
-1
Let i(l) = l**2 + 6*l + 7. Let y be (-5)/((-2)/8*-4). Let t be i(y). Let o = 11 + -6. Solve 28 = -o*g + 2*u - 7, t*u - 10 = 0 for g.
-5
Let r be (-1)/((4/4)/2). Let o be 4 - r/8*0. Let b be o/(8/(-6))*-7. Solve -d + 3*m - m = 6, -m = -5*d - b for d.
-4
Let c be -1 - (4/(-2) - 3). Let d(n) = c*n - 3*n - 14 - n - 3*n. Let z be d(-6). Solve -4*l = 12, l - z - 1 = -2*j for j.
4
Let x = -25 - -23. Let f be ((-7)/4)/(x/8). Solve 16 = 4*y, 0 = 2*l + l + 4*y - f for l.
-3
Let w = 482 + -478. Solve 9 = 5*t + 3*m - 12, w*t - 5*m = 2 for t.
3
Let d be -1 - (3 + 35 - -3). Let l be (60/35)/((-4)/d). Suppose 4*b = 5*w - 2*w + 29, -l = -3*b + w. Solve -3*s + b = c, 3*s + 5 = -2*c + 15 for c.
5
Let d = 179 + -91. Let q = -85 + d. Solve -4*p + 0*p + 10 = 2*b, q*p + 5*b = 4 for p.
3
Let q(f) = 17*f - 46. Let z be q(3). Solve z*r - r = 3*m + 12, 5*r - 8 = 2*m for m.
-4
Let l be (-24)/60 + 22/5. Suppose 3*y = -l*a - 14, y - 2*a + 1 = 13. Let v be (-4)/(-24) - y/12. Solve 2*x = -2*q - 3*q - 7, -5*x - q + 17 = v for x.
4
Let o = -97 + 100. Solve -5 = -3*i + 5*b, -5*i - o*b + 5*b = -21 for i.
5
Let m(l) be the second derivative of -l**4/12 - l**3/3 + 10*l. Let i be m(0). Solve -2*y - 2*a = -i*y - 12, -y = -5*a + 18 for y.
2
Let m = -201 + 204. Solve m*h = -5*r + 23 - 8, 3*h + 2*r = 15 for h.
5
Suppose 0 = 3*b + r - 19, 16 = r + 3*r. Solve 4*c = -5*g - 9, 5*c + 4 + 1 = -b*g for g.
-5
Let h(q) = -q**3 - 5*q**2 - 5*q - 2. Let m be h(-4). Let d = -17 - -31. Suppose 3*y + m = d. Solve -3*u + u - 3*j = 20, 4*j = y*u for u.
-4
Let a be (-12)/198 + (-1864)/(-264). Solve 14 = 3*j + 2*r + 5, -5*j = -4*r + a for j.
1
Let p be (12 - 16)/(2/8). Let z(s) = -s - 13. Let g be z(p). Solve -3*y - 2*t - g = -t, 2*y = -4*t - 12 for y.
0
Let c(z) = 24*z + 240. Let p be c(-10). Suppose -2*a + 3 = -5. Solve x - a*k + 17 = p, -x + 5*k = 5 + 17 for x.
3
Let x be (-8)/18*-3*3. Suppose -4*g + g + 20 = 2*u, -4*g - x*u = -32. Solve 0*w - 5*w + 25 = g*v, 5*w + 15 = 4*v for v.
5
Let o = -1148 - -1153. Solve 3*f = 4*p + 18, o*p + f + 19 = 3*f for p.
-3
Let v be (4/(-98)*-7)/(2/14). Suppose 3*x - y = y + 2, -3*x + 10 = v*y. Solve w - x*w - 3*s = -11, 3*w - 3*s + 3 = 0 for w.
2
Let a be 2/(16/18)*12. Let o be a/6*(1 - -1). Solve 3*j + 3*h - 9 = 6*j, -5*h = -3*j - o for j.
-3
Suppose -o - 48 = -4*l, -2*o - 27 - 119 = 2*l. Let y = o - -70. Solve 0 = 2*x + 6, 0 = -3*w - y*w + x - 7 for w.
-2
Let j(k) = -k**3 + k**2 + k + 3. Suppose 2*w - 2*v = -3*w - 4, 5*w = v - 2. Let z be j(w). Solve 2 = -2*h - 5*b + 13, 4*b - 6 = -z*h for h.
-2
Let x = -772 - -772. Solve 0 = -k - 0*k, -4*u + 2*k + 12 = x for u.
3
Suppose -12*g + 11*g - r = 8, 3*r = -9. Let m be 3*(80/(-12))/g. Solve 0 = -5*s + u + 15, -5*s - 7 = m*u + 3 for s.
2
Let x = -30 - -40. Let i be x/6*(-3)/(-1). Solve -5*s = -15, 4*n + i = 5*n + s for n.
2
Suppose 0 = 2*h, 0*h - 27 = -3*d + 2*h. Suppose 0 = f + 4*o - d, 8 = 2*o + 2*o. Suppose -3*z + 2*z = 0. Solve z = w + q - f, -w = 3*q + q - 10 for w.
-2
Suppose 2*w - 10 = 46. Suppose i + w = 5*m - 0*i, 3*i + 29 = 4*m. Solve -3*b + m = -d - 5, -b - 2 = 5*d for b.
3
Suppose -8*j - 11 = -3*l - 6*j, -4*j - 2 = -2*l. Solve -5 = f, -l*c + 24 = 5*f + 74 for c.
-5
Let m be 1/(-3) - 21/(-9). Let u be (-108)/(-14) + (-6)/(-21). Suppose 0 = u*t - 0. Solve t = 2*g + m, -3*s - s - 3*g + 17 = 0 for s.
5
Suppose -24*g = -36*g + 12. Solve g = -5*a - 4*o + 2, 0 = -3*a - 2*o - 1 for a.
-3
Let y be 1/(56/(-20) - (-4 + 1)). Solve k - 6 = h, k - 5 = 3*h + y for h.
-2
Let a = -20 - -23. Let t(w) = -w**2 + 6*w - 6. Let u be t(a). Solve -r + u*s - 2*s - 7 = 0, 2*r - s + 10 = 0 for r.
-3
Let v = -19 + 22. Solve -2*y + 16 = -5*l, -v*l + l = -y + 6 for l.
-4
Let v = 29 - 27. Suppose 0 = -v*t + 3*o - 2, 2*t + 22 = 4*t + 3*o. Solve 0 = -5*c - z + 14, 25 - t = 4*c + 3*z for c.
2
Suppose -c - 2*x + 33 = 0, 4*c + 5*x - 152 = -35. Let g = -5 + c. Suppose -7*z = -5*z - g. Solve -z = 3*f + 3*p, p - 4*p = -4*f + 2 for f.
-1
Let q = 6 + 22. Suppose -q = 3*o + 26. Let d = -18 - o. Solve 2*r = 3*v, -4*v + 2*r = -d*r - 2 for v.
2
Suppose -3*h - 2*i = -5*h + 2, -h + 1 = -5*i. Let j be ((-35)/25 + h)*-70. Solve p + 2*d = -1, 5*d + j - 3 = 5*p for p.
3
Let x = 30 + -16. Suppose 1307*v = 1301*v + 18. Solve 0 = -a - 4*m - 11, -2*m - x = a + v*m for a.
1
Let r be (2 - -1)*(-52)/(-39). Solve 0 = -a + 5*u + 10 + 6, r*u + 12 = 0 for a.
1
Suppose 3*k = k + 12. Let r be (k/(-9))/((-1)/27). Suppose -16 = -p - 3*p - q, -3*q = 2*p - r. Solve 0 = -h + 5, 0*h = -p*b + 2*h - 19 for b.
-3
Let h(p) = -p**2 + 2*p + 27. Let f be h(6). Suppose 0 = 2*l - 10, -f*b + 32 = b + 4*l. Solve b*o = 2*i - 10, -i - 6 = 2*o - 2*i for o.
-2
Suppose n = 2 + 3. Suppose 3*y + 10 + 20 = 0. Let o be (1 + -3 + y)*(-2)/4. Solve 2*x - j = 2, 5*x = o*j - 2*j + n for x.
1
Let t = -24 - -40. Let a = -9 + t. Solve 0*h = -3*y - 5*h + a, 5*h - 6 = -4*y for y.
-1
Let g be (0 + -12)/(-2)*295/118. Let u(z) = -z**3 + 15*z**2 + 2*z - 24. Let q be u(g). Solve 0 = 4*f + 4*x + 8, -3*f + q = 2*f - 3*x for f.
0
Suppose -4*q + 3*r + 160 = 0, 3*q - 3*r = -0*r + 120. Let h be ((-7)/(-28))/(2/q). Solve 5*s - 20 = -h*a, s + 2*a + 0 - 4 = 0 for s.
4
Let s(o) = 2*o**2 - 20*o + 37. Let g be s(2). Let b = 8 + -4. Let j(x) = x**2 + 3*x + 3. Let l be j(-5). Solve -g*z - b*k - l = 0, 0 = -3*z - z - 5*k - 5 for z.
-5
Suppose 15*w - 65*w + 300 = 0. Let z(p) = -3*p. Let c be z(-1). Let x = 5 + c. Solve -4*k + g = 2*g - w, 5*g = -k - x for k.
2
Let b = 252 + -250. Solve -5*v - 1 = -2*v - 5*u, -11 = -5*v + b*u for v.
3
Suppose -16 = -5*h - 1. Let x(j) = -6 - 2*j**2 - 7*j**2 + 5*j + j**2 + j**h + j**2. Let o be x(7). Solve -2*w = 5*n - o, -7 = -5*w - n + 8 for w.
2
Let h(w