 4*k. Let z = 94 - h. Solve -6*m + 11 + z = 0 for m.
2
Let x = 9581 - 9581. Solve -67*l + 10 - 77 = x for l.
-1
Let i(v) = -5*v**2 - 23*v - 44. Let m be i(-4). Let f be (-78)/(-21) - m/112. Solve -f*s - s = 20 for s.
-4
Suppose 2*y - 7*y - 255 = -5*b, -y + 5*b - 71 = 0. Let j = -26 - y. Suppose 5*u - j = u. Solve u*h = -0*h - 25 for h.
-5
Let h be (-5)/35 - 8/(-7). Let j(b) = -18*b + 18. Let m(w) = w**2 + 1. Let n(v) = h*m(v) - j(v). Let a be n(-19). Solve -6*u + a*u = -12 for u.
3
Let h be 4/(-34) - (-264)/2244. Suppose 3*z + 3*y + 15 = 0, z - 20 = 5*z + 3*y. Let l = 8 + z. Solve l*p = -h*p for p.
0
Suppose 4*i - 5*i + 4 = 0. Suppose 2*k + 2 = -c, -c + 0*k = 4*k + i. Solve 0 = d - c*d + 1 for d.
-1
Let j(u) = -u**2 + 18*u + 7. Let p be j(18). Solve 0 = p*r + 18*r + 50 for r.
-2
Suppose 0 = -4*g - 3*g + 133. Suppose -g*a + 12 = -15*a. Solve -8 = -5*c + a*c for c.
4
Let s(b) = -2*b**3 + 2*b**2 - 3*b - 5. Suppose -5*h = -3*h - 3*h. Suppose h = -14*a + 4*a - 20. Let i be s(a). Solve 2*u = 7*u - i for u.
5
Suppose -17 - 49 = -22*z. Suppose 3*k + 9 = 3*o, z*k - 6*o = -2*o - 12. Let i(m) = 5*m**2 - m. Let t be i(1). Solve t*s = -k*s for s.
0
Let i = 81 + -111. Let m be i/20*6*-1. Solve m*k = 14*k + 20 for k.
-4
Suppose 0 = 2*s + z + 52, 0 = 3*s + 3*z + 33 + 45. Let b be 34/(-221) + 2/s*-2. Solve b = -2*r - r + 3 for r.
1
Let k = -53 - -54. Let t = 5 - k. Solve -5 = t*u + u for u.
-1
Let d(c) = -6 + 0*c + 16 - c + 2. Let j be d(5). Suppose -7*k = -4*u - 8*k + 11, 0 = -2*u - k + j. Solve 0 = -y - u*y + 3 for y.
1
Suppose 3*d = -3*r + 147, 2*d + 510*r - 505*r = 110. Solve 1 = -23*x - d for x.
-2
Let g(o) = o - 2. Let d be g(3). Let u be (1 + -5)/((-120)/(-90)). Let c be u/(6/d)*-2. Solve 24 + c = 5*y for y.
5
Let y = -16070 - -16070. Solve y = 254*f - 240*f + 70 for f.
-5
Let n be 30/(-8)*(-9 + 5). Let s(d) = -d**2 - 167*d - 6906. Let z be s(-76). Solve z*t - n*t = -25 for t.
5
Suppose -3*d + 94 = 3*p - 7*p, 10 = 2*p. Let y = d + -37. Let x be (-4 + 4 + -2)/(y/(-2)). Solve 0 = 3*t + 1 - x for t.
1
Suppose -195*c = -187*c - 72. Let h be 8 - -34 - (-2 + c). Solve -5 - h = 8*u for u.
-5
Let o(a) = 2*a**3 - 9*a**2 + 6*a - 7. Let p be o(4). Solve -18*c + 17 = -p for c.
1
Let m(q) = -10*q + 42. Let o be m(3). Suppose -8*b + o*b + 5*j - 13 = 0, -5 = -4*b + 3*j. Solve -b*p - 3 = -p for p.
-3
Suppose -2 = x + k - 5, -x + 9 = -5*k. Suppose 6*c - 2*y + x = 5*c, 0 = 3*c - y + 2. Solve -r + c*r = 5 for r.
-5
Let b = 6987 - 6952. Solve 109*j - b = 102*j for j.
5
Let v = 769 - 523. Let g = v + -222. Solve 0 = -5*f - g - 1 for f.
-5
Let v be -4 - (3 + -188 + -4). Solve -5*n = 32*n - v for n.
5
Suppose -50*f = -19*f - 961. Solve f*q - 10 = 36*q for q.
-2
Suppose 0 = -6*q + q + 15. Let p = -32 - 79. Let i = p - -113. Solve -i*r + q = -r for r.
3
Suppose -5*j - 13 - 7 = 0. Let x be (0 - 0) + j + 4. Suppose -3*u + 2*t + 0*t + 8 = 0, 3*u + 5*t + 20 = x. Solve -4*i + 1 + 7 = u for i.
2
Let q(h) = -9*h**3 + 412*h**2 + 97*h - 193. Let g be q(46). Solve -11 - 174 = -g*r for r.
5
Let v = 22 + -15. Suppose v = -a - 3*d + 5*d, 2*a + 19 = 5*d. Suppose 0 = 19*g - 32*x + 36*x + 24, 0 = -2*g - 3*x - 18. Solve -a*p - 12 = -g*p for p.
-4
Suppose -5*y = -10*y + 25. Suppose -13*d - 9*d = 10*d - 1248. Solve -y*z - 14 = -d for z.
5
Suppose 0 = 5*h - 3*y - 88, h + 5*y + 26 = 10. Solve h = -5*c + 24 for c.
2
Suppose 79*c - 82*c = -48. Let m(a) = 3*a - 42. Let h be m(c). Solve g - 9 + h = 0 for g.
3
Let l = -948 - -972. Solve -l*p + 10*p = -42 for p.
3
Let o = -138 + 142. Suppose 0 = s - o + 1. Suppose -2*m + 4*n + s + 13 = 0, 5*m - 53 = -3*n. Solve 5*d + 0*d = -m for d.
-2
Let s = 378 + -372. Suppose -s = -b - 5*d + 20, 2*d = -4. Solve 16 = 32*k - b*k for k.
-4
Let h(m) = -15*m + 4*m + 3*m**2 + 12*m - 1 - 4*m**2. Let r be h(1). Let c be (-4)/(-14) + r/21*-309. Solve -j - 4*j + c = 0 for j.
3
Let d be 1*((-504)/6)/(-6). Let w(t) = -t**3 + 5*t**2 - 5*t + 6. Let a = 58 + -54. Let y be w(a). Solve -y = -3*h - d for h.
-4
Let h be ((-1332)/4 - 3) + (4 - 2). Let n = 382 + h. Solve 28 = 4*g + n for g.
-5
Suppose 28 = -31*j + 35*j. Suppose 6*x + j = 31. Suppose k + 6*a - x*a - 10 = 0, -2*k + a = 0. Solve 2*v - k = 2 for v.
2
Suppose -5*y + 4*h = -514 - 143, h + 261 = 2*y. Let d = 131 - y. Solve d = 20*g - 22*g for g.
-1
Suppose 493 = 7394*t - 7365*t. Solve t*d + 75 = 2*d for d.
-5
Let d be ((-40)/(-90))/((-1)/6 - (-74)/396). Solve 117 = d*l + 51 for l.
3
Suppose 7*c = 167 + 71. Suppose 0 = -2*b + 5*g + 72, 33*b - c*b - g = -29. Solve b*y - 35 = 24*y for y.
5
Suppose -6*q + 8 = -4*q. Suppose -q*n - 6 = 2*a, -11 - 2 = 2*n + 3*a. Solve -d + n = -2 for d.
3
Let g be (-95)/(-19) - 3/1. Let q be (-38 + -4 + g)*4/(-10). Solve 10 = -3*v + q for v.
2
Let h = 36752 - 36740. Solve -h*k - 29*k = -246 for k.
6
Let i = -7803 + 7803. Solve i = -44*g - 5*g - 294 for g.
-6
Suppose -2*m = 3*q - 1321 + 1303, 0 = 3*q - 5*m + 3. Solve -171 = -q*y - 159 for y.
3
Suppose 115 = 3*d - y, -d + 4*y + 29 = -13. Suppose -22*j + d + 94 = 0. Solve j*a = 30 - 6 for a.
4
Let h(k) = -5*k**3 - 4*k**2 + 5*k + 14. Let v be h(-2). Solve 7*l - v = -0*l for l.
4
Suppose 17*j - 686 = -6. Let k be 2/(-4) - (-3700)/j. Solve 91*q = k*q - 3 for q.
3
Let y = -121 - -127. Let t(w) = 2*w**3 - 13*w**2 + 7*w + 2. Let f be t(y). Solve -2*p - f = 2 for p.
-5
Suppose 0 = 3*d + d - 12. Let m(b) = 6*b + 32. Let r be m(-5). Suppose -3*w = 2*n + 2, r*n + 2 = 3*w + 3*n. Solve -w*y = -3 - d for y.
3
Let k be -2105*1/(-10) + 6/4. Let c = -207 + k. Solve -a + c*a = -12 for a.
-3
Let k = -5038 + 5061. Solve 0 = k*r + 152 - 37 for r.
-5
Let g = -54 - -133. Let n = g - 76. Solve 6 = 3*d - n for d.
3
Let w be ((-3)/((-9)/(-30)))/((-8)/(-20)). Let i = w - -30. Solve 0*f + i = f for f.
5
Let o = 76 + -55. Suppose 13*a - 29 - 10 = 0. Suppose -s = a*f - 18, -5*s + 3*s - 3*f = -o. Solve s*y - 9 = 6*y for y.
-3
Let a be 2 + 49/4 + (-195)/780. Suppose 0 = -d - 0*d + 3*g + 6, g = 5*d - 2. Solve -4*f - a + 2 = d for f.
-3
Let o = 154 - 148. Let j(q) = -9*q**2 + q. Let m be j(-1). Let u be 8/(-6) - (-3 - m/6). Solve 2*f + f - o = u for f.
2
Suppose -y = -4*v + 104, -17*y - 137 = -5*v - 14*y. Let k(i) = -2*i + 2. Let c be k(-2). Solve c*a = a + v for a.
5
Let c = -39 + 44. Let m be 1/(-4)*1 + 250/40. Solve -m = i - c for i.
-1
Let j be 10/4*(-36 - -2). Let i = -87 - j. Let l be (-4 - 25/(-3)) + i/6. Solve 5*o - l*o = 0 for o.
0
Let r be (-30 + (-225)/(-5))*(-4)/(2*-1). Solve -r*u + 7 = -29*u for u.
7
Let c(f) = 10*f**2 + 6*f + 2. Let a be c(1). Suppose -a*j + 97 = -83. Solve -r = -j + 5 for r.
5
Suppose 5*l - 5*c = 30, -3*l - 2*c = -6 - 2. Let y(b) = -16*b + 89. Let m be y(l). Solve -2*o - 3*o - m = 0 for o.
-5
Let v(x) = -3*x**2 - 18*x - 20. Let z be v(-4). Solve z*t - 7 = 11*t for t.
-1
Let a(x) = x**2 + 9*x - 17. Let d be a(-6). Let c be (-115)/d - 2/7. Solve -6*j - c + 21 = 0 for j.
3
Suppose 8*h - 28 = 12. Let d be 3 - (h - (7 + 0)). Let k = 29 + -27. Solve 7*q = d*q + k for q.
1
Let a be (1 - -2) + (-56)/8. Let u be a/(-6)*(-11 - 2 - -28). Solve 2*b = -0*b - u for b.
-5
Let j(l) = l**2 + 5*l - 2560. Let o be j(-55). Solve -o*n = -194*n + 20 for n.
5
Let w be 12/10*(5 + (-5)/2). Suppose 0 = -w*d - a + 9, 0 = -d - 2*a + 13 - 10. Solve 0 = -2*x - 3*x + d*x for x.
0
Let t be 0 - (-3 + 3 + -9). Let h = 575 - 368. Let x = -200 + h. Solve -t*m = -x*m for m.
0
Let c(y) = y**2 + 14*y + 4. Let b be c(-7). Let x be ((-30)/b)/(1 + 6/(-9)). Solve -a - x = 1 for a.
-3
Let l be -7 - ((-108)/6 - -6). Suppose -54*f + l = -53*f. Solve -f*s + 18 = 3 for s.
3
Let v(g) = -g**3 + 8*g**2 - 11*g + 15. Suppose 0 = -3*o - 3*y + 9, 0*o - 5*y = -o + 21. Let k be v(o). Suppose 6*b = 51 - k. Solve -b*r - 6 - 9 = 0 for r.
-3
Suppose 6 = 2*j - 34. Suppose -3*o - j + 23 = 0. Solve 5*v + o = 4*v for v.
-1
Let r(h) = -7*h + 26. Let g be r(4). Let z be 40/((-3 - -8) + -2 + g). Let m be 8/(z/(-15))*-1. Solve -8 = -m*s - s for s.
2
Suppose 4*r - 2872 = 3*w, -2*r = r - 2*w - 2154. Let t = r + -697. Solve 6*h = -h - t for h.
-3
Let g(o) = -o**3 - 2*o**2 + 4*o + 3. Let q be g(-3). Let p(x) = -x**3 + 16*x**2 + 307*x - 266. Let t be p(27). Solve q = -3*h + h - t for h.
-2
Suppose 5*h - 18*b - 50 = -17*b, -51 = -4*h + 3*b. Solve -h*f = -10 + 37 for f.
-3
Let a(u) = 11*u - 48. Let d be a(-14). Let o = -197 