Let j(x) = k*f(x) - 6*m(x). Let c be j(-8). Solve 2*h + v + 5 = -c*h, 0 = h - 5*v + 17 for h.
-2
Let x = 5799 + -5794. Solve j = -4 + 1, -5 = -x*u - 5*j for u.
4
Suppose 37 = 3*j + 10. Suppose 66*s = 65*s + j. Solve 5*c - 9 = a, 2*c - s = -3*a - 2*a for a.
1
Let s be (-4)/(-6)*(-90)/(-12). Suppose -5*w = -4*k - 22, -2*k = s + 1. Solve -w*g - 3*g - 3 = 3*u, 3*u = 5*g - 3 for u.
-1
Suppose -2*o - 3*a = 72 - 83, 3*o = 5*a + 7. Solve o*f = 3*s - 0*s + 1, -5*s + 5*f = 0 for s.
1
Suppose -5*b + 9 = -5*u - 6, -4*u = 3*b - 44. Solve -3*v + 6*d = 3, u*v + 3 + 2 = -3*d for v.
-1
Let z = 21772 + -21765. Solve 2*l = -5*p - 1, -30 = -10*l + z*l + 3*p for l.
7
Suppose -300*v + 304*v = 344. Suppose -v*r + 168 = -79*r. Suppose 1 = -2*u + 5. Solve n - 16 = 3*n - 3*g, -4*n + u*g = r for n.
-5
Suppose 21*s = 22*s - 9. Let n = -7 + 10. Suppose -n*z - s*z = -4*z. Solve -x = -w, -2*w + 3*x - 7 + 3 = z for w.
4
Let t = -439 - -445. Let s be 1 - (-4 + t + (-12)/4). Solve -5*p = a + s*a - 35, 5 = 5*p - 3*a for p.
4
Suppose -2*d + 2*m = -4 - 10, 3*d = -5*m - 3. Let k = 6 + -1. Suppose 3*z = -k*q - 9, 0*z - 1 = -5*z - 3*q. Solve 9*v - 2*n - 7 = 4*v, -4*v + z*n + d = 0 for v.
3
Let g = -2433 - -2450. Solve 2*k + 6 = 0, -5*y - 13*k = -g*k - 22 for y.
2
Let y = -103 + 106. Suppose -2 = -2*g + 3*g, -4*q = y*g - 30. Solve 5*w + 21 = -2*t, -3*w + 5*w + t = -q for w.
-3
Let x be (6/(-4))/(14 + (-885)/60). Suppose -2*p + 0*p + 16 = 0. Let v(t) = -t**2 + 9*t - 6. Let f be v(p). Solve -2 = x*d, -g + 2*d - f = -5 for g.
1
Suppose -16*d = -1 + 1. Suppose -5*s + 5 = -5*n, d*n - 3*n - 4 = -4*s. Let v be 10*s*19/38. Solve o + 0*a + v*a + 16 = 0, 0 = -5*o - 4*a - 17 for o.
-1
Let f be (-104)/78*(8 - 11). Solve -4*d + f*t + 2 = -30, 9 = -2*d - 3*t for d.
3
Let h = -3935 - -3937. Solve 6 = 2*r + 12*v - 8*v, -h*r + 5 = 5*v for r.
5
Let l = -131 + 131. Suppose l = -9*f + 12 + 15. Solve 4*j - f = -3*h, j = -2*j + 5*h - 5 for j.
0
Let x = 40 + -1. Suppose 14*l - x = -11. Solve 5*q + 6 = -0*o + 2*o, -6 = -l*o - 2*q for o.
3
Suppose 4*s = -d + 15, 4*d - 7*d - 5 = 2*s. Suppose -s*i = -3*i - 2, v = i + 2. Solve -4*h + 2*g + 6 - 26 = 0, -v*h = 3*g + 15 for h.
-5
Let d = 66 + -50. Suppose -2*m = -m - d. Suppose -27*w + 25*w = -m. Solve 0*y - 2 = 2*y - g, -y = -4*g + w for y.
0
Let l(d) = 204*d + 2. Let n be l(0). Solve 4*h = 3*x - 0*x - 7, 3*h + n*x + 1 = 0 for h.
-1
Suppose 0 = 2*a - 15*a. Suppose a = -24*f - 11 + 131. Solve 3*q = -3*c + 7*q + 3, -f*c = -5*q - 10 for c.
5
Let d(z) = 19*z - 247. Let r be d(13). Suppose 0*b + 9*b = -r*b. Solve -1 = k + u, b = -2*u - u - 3 for k.
0
Suppose -5*i - 2*d + 43 = 0, -3*i - 3*d + 133 = 100. Solve 5*a + i = -g, -13*a = -2*g - 16*a for g.
3
Let m be -2*(6 + 285/(-10)). Solve -5*b + 4*t = 23, 2*t - m = 4*b - 29 for b.
-3
Suppose -2*b - 2*k + 12 = -0*k, 15 = 4*b + k. Suppose 2*p + 471 = -75. Let q = -271 - p. Solve 3*o - 9 = -b*n, 8 - 4 = n + q*o for n.
2
Let q be (-5)/(-45) - 221/(-117). Solve 3*h - h = q*l + 4, 0 = 3*h - 5*l - 10 for h.
0
Suppose -2*b - 2 = z, 8*z + b = 7*z - 1. Suppose 4*r - 2 = 2*p + 18, -3*r - 4*p + 15 = z. Solve 3*t + 9 - 3 = 0, -4*g + 14 = -r*t for g.
1
Suppose -5*o + u = -4*o - 18, u = -3*o + 42. Suppose 0 = -2*a + o - 9. Solve r - 2 = 4*w, a*w - 3 = -4*r + 5 for r.
2
Let i = 28 - -20. Let o be (-3)/((-4)/(i/4)). Suppose -o*f - 5 + 23 = 0. Solve -2*c - 4 = r - 3, 2*r = c - f for c.
0
Let k be 10 + -17 + (-102)/(-6). Solve 5*b = -k, -38*p - 6 = -42*p + b for p.
1
Let w = -19197 + 19199. Solve -4*c - 21 = d + w, -3*c = -d + 12 for d.
-3
Let i = -115 - -133. Let o be -5 - -21*6/i. Solve -3*y - o*y = 5*j, 5*y - 2 = -4*j for j.
-2
Let r = 19127 - 19110. Solve 4*y = -g + 19, -2*g - 39*y - r = -42*y for g.
-1
Let m(p) = 89*p - 1684. Let z be m(19). Solve 2 = -x - 8*t + z*t, 0 = -3*x + t - 2 for x.
-1
Let o = -587 + 591. Solve -2*a - 3*d - 1 = -o*d, 5*a = 5*d for a.
-1
Suppose 15 = 5*s - 5*z, -39*s = -41*s - z + 15. Solve 2*c + s = -3*i, 4*i + 4*c + 6 + 6 = 0 for i.
0
Suppose 4*t = t + 15. Let w be -2 - ((-7)/2)/(t/10). Suppose -2*v - w*v = -14. Solve -v*k + 4*r - 6 = -4*k, -5*r = -5*k + 15 for k.
3
Let o = -380 - -390. Suppose o = -5*w + 5*u, 0 = 5*u - 4*u - 5. Solve s + 3 = -j + 5, -5*j + 14 = w*s for j.
4
Suppose 1841 - 1772 = 23*h. Solve 23 = -15*i + 17*i + h*o, -28 = -2*i - 4*o for i.
4
Let m(d) = 3*d. Let v be m(1). Let q be 14620/(-85) + (1*-5 - 1). Let u = 183 + q. Solve -2*w + f = -3, -u*f = v*w - f - 32 for w.
4
Let q = 22 - 4. Let f be (8/(-4))/(4/(-26)). Suppose -f = -4*b + 5*z - 5, 0 = z. Solve -b*m - 8 = y, -5*m + 3*m - q = -4*y for m.
-5
Suppose 4*k - 10 = 2. Let b be ((-18)/(-144)*-16)/(-2 - -1). Solve -6*n = -u - b*n + k, u + 5*n - 3 = 0 for u.
3
Suppose 3*z + 5*p - 25 = 0, 3*z - p - 6 + 11 = 0. Solve 3*m - 93 + 69 = 4*k, z = -3*m + k + 15 for m.
4
Let f = 37 - 41. Let i be (2 - (8 - 2))*f + -3. Suppose 8*q - i = 3. Solve -q*w + 0*u = -3*u - 5, 4*u = 4*w - 4 for w.
-2
Let k be -11 - -40 - (3 - (6 - 4)). Solve -4*p + 4*v = -16, 3*p - 4*v - 40 + k = 0 for p.
4
Let b = -738 + 765. Suppose 45*t - b*t = 72. Solve -4*r - 4 = 4*h, t*r + h - 4*h = 24 for r.
3
Suppose -4*z + 4*x - 5*x = -15, 5*z - 50 = 5*x. Solve 0 = o + z, -4 = -2*j + 3*o + 3 for j.
-4
Let h(g) = -2*g**2 - 102*g + 89*g + 12 + g**2 + 53 - 15. Let z be h(-16). Solve -v + 4 = -z*v, w + v = -8 for w.
-4
Let x = -63 - -58. Let q = x - -9. Let p be 190/50 - 2/(-10). Solve h - 12 = q*h + 4*j, -p = h + 5*j for h.
-4
Let t(h) = 12*h + 21. Let j be t(0). Let x = j - 21. Solve x = 3*l + 4*n - 26, -1 = 3*l - n - 2 for l.
2
Suppose 6*i - g - 33 = 0, 3*g = 5*i - 6 - 15. Solve a + 3 = 0, 3*x + 21 = i*a - 8*a for x.
-5
Let u(i) = 12*i**2 - 5*i + 5. Suppose 17*c - 7 = 10*c. Let p be u(c). Solve 0 = -r - 4*g - 13, -3*r + 0*g - p = 3*g for r.
-1
Let z be 16 + 419 - 2*(-12 + 8). Solve -438*h - 17 = -2*s - z*h, 5*s + 5*h = 5 for s.
-4
Suppose -3*s + 3755 = 5*u + 3770, -5*s - 4*u - 12 = 0. Solve -5*x + 2*r + 15 = s, 3*r - 10 = 54*x - 53*x for x.
5
Let x be ((-10)/(-20)*(0 + 0))/2. Suppose 1 = -y + 2*k, 7 = -y + 5*k - x. Solve 2*s + y*i = 1, 4*s - 10 = i + i for s.
2
Let l be (-1)/(-3)*300/25. Suppose l*n - 32 = j - 12, 5*j = 5*n - 25. Suppose 0 = 5*u - 3*t - 20, u + 48 = 5*u + 4*t. Solve -i - 16 = n*a, -u = -5*a - 27 for i.
4
Let n(f) = f**2 + 24*f + 63. Let l be n(-21). Let d(q) = q**2 + 8*q + 2. Let k be d(l). Solve 8*w - 3*w - 15 = -5*o, -k*o + 10 = -2*w for w.
-1
Let x = -3 - 6. Let c(h) = h**2 + 6*h + 15. Let i be c(x). Let o = i + -38. Solve -4*a - 15 = 5*w, w - 4*a = -o*w - 15 for w.
-3
Let t be (-3)/6*(1 - 1). Let q(w) = -w**3 - 6*w**2 - 82*w - 381. Let k be q(-5). Solve -k*x - 2*j + 5 + 13 = 0, 4*j - 20 = t for x.
2
Let b = -108 - -108. Suppose -d + 40 = -2*d. Let p = 0 - d. Solve b = 3*z - 5*c - p, 8*c = -2*z + 3*c - 15 for z.
5
Let m be (1 - 2)*-11 + -1. Let c(k) = -1970*k - 13782. Let n be c(-7). Solve -3*u = 3*g + 3, -5*g = 4*u - n*g - m for u.
1
Let t(y) = 82*y + 251. Let j be t(-3). Solve 18*u = 4*x + 15*u - 1, 0 = j*x - 3*u + 1 for x.
-2
Suppose 0 = 4*v + 4*i - 52, i + 23 + 42 = 5*v. Solve -3*o - 24 = 3*c, -14 = 16*o - v*o + c for o.
-3
Let k(w) = -6*w - 415. Let q be k(-70). Solve -p + 5 - 2 = -2*n, -4*p = -q*n for n.
-4
Let v = 3 - 1. Suppose -o = -3*n - 12, 4*o + 466 = 2*n + 504. Solve 0 = 5*r + 5*t + 20, -v*t = -0*r + 3*r + o for r.
-1
Suppose 5*z - 3*v = -0*z - 12, -5*v + 20 = 5*z. Solve -2*f + 5*d + 25 = z, 3*f + f = -2*d + 14 for f.
5
Suppose -2*d = -15*d + 1365. Suppose d = 7*t + 14*t. Solve 0 = 3*m - 8*m + 5*r + 35, 4*m + t*r = -17 for m.
2
Let t = -3 - -118. Let h = 117 - t. Solve -4*w - h*a - 20 = 0, 7*a = w + 2*a - 17 for w.
-3
Suppose 13 = d - 3*q, 5*q = -13 - 2. Suppose -4*h - d*w - 12 = 0, -3*h + 2*h + 4*w = -22. Solve 4*o - h = -u + 2, 0 = 3*u + 2*o - 2 for u.
0
Let m = -167 - -167. Let c be (-3)/2*(m - 8). Solve 0*j + 2*j + z - 8 = 0, -3*j = -5*z - c for j.
4
Let o(z) = 197*z + 2. Let v be o(1). Suppose 63 = -2*d + v. Let i = -66 + d. Solve -i*u = -g - 4 - 1, -5*g - u = 25 for g.
-5
Let i(m) = -82*m**2 + 12*m + 186*m**2 - 2*m**3 - 77*m**2 + 30. Let h be i(14). Solve -2*x = 3*c + 17, h*c = 4*x - 2*c - 16 for x.
-1
Let h = 284 + -29. Let q = 280 - h. Let f = -1 + 4. Solve b + 5*p = -q, f*p = 3*b + 6 - 3 for b.
-5
Suppose 73*f - 516 = 77*f. Let i = -141 -