 h(k) = 3*n(k) - 5*q(k). Let x be (1 + -2)/((-3)/27). Let g be h(x). Solve -g*m - 1 = 3 for m.
-2
Let s(q) = -q + 11. Let u be s(9). Suppose x = 4*x - 4*l - u, -3*x + 14 = -l. Solve v + v = x for v.
3
Suppose o - 5*j = -15 + 4, 19 = 4*o + j. Suppose -2*g + 16 = 4*n, -22 - 13 = -4*g - 5*n. Let d be o/g + (-208)/(-80). Solve 0 = d*k - 7*k for k.
0
Let f be -3 + (1 - 2)*-1*9. Let y = 7 - 2. Solve p = f*p - y for p.
1
Let v(x) = x**3 + 10*x**2 + 9*x + 3. Let w be -1 - (270/35 + 2/7). Let y be v(w). Solve y*c = -0*c + 9 for c.
3
Suppose f + 8 = 17. Solve 4*w = -f - 7 for w.
-4
Let g = -104 - -107. Suppose 2*c + 8 = 2*n, -4*n + 3*n + 2 = -g*c. Solve -n*s = -0*s for s.
0
Let y be (4 - 57/15)*5*3. Suppose y*h = 7 + 5. Solve -h*a + 6 - 2 = 0 for a.
1
Let z(h) = -h - 3. Let d be z(-6). Let k = 56 + -58. Let s be k/3 + (-8)/(-12). Solve s*x = -d*x for x.
0
Suppose -4*p + 3*q = -2*q + 19, -5*p - 28 = -2*q. Let m be (45/(-30))/(p/44). Suppose 0 = -5*z + m + 14. Solve -z*c + 4 = -c for c.
1
Let x be (16/6)/(4/6). Solve x*m + 7 - 7 = 0 for m.
0
Let m = 1186 - 1182. Solve -m*i = -i for i.
0
Let w(k) = -k**3 + 16*k**2 - 14*k - 18. Let l(n) = 2*n**3 - 33*n**2 + 29*n + 36. Let a(h) = -3*l(h) - 5*w(h). Let v be a(18). Solve -2*c - 2*c = v for c.
0
Suppose -2*n + 48 = -k, -4 = -2*n + 3*k + 44. Let o be (-2)/(-8) + (-6)/n*-15. Solve a = 2 - o for a.
-2
Let y be (12/(-7))/(3/(252/(-24))). Solve -8 = y*t - 14 for t.
1
Suppose 0 = 9*w - 2*w - 42. Let o = 13 - w. Solve -o = -2*x + 3 for x.
5
Suppose 1944 - 2132 = -4*p. Solve 0 = -p*s + 52*s - 15 for s.
3
Let v(t) = 0 + t + 5 - 8. Let s be v(6). Suppose 0 = 4*k - s*k - 4. Solve 16 = 5*y - k for y.
4
Let c(p) = p**2 + p + 2. Let d be c(-1). Suppose -o + 2*o = u - 1, -7 = d*u - 5*o. Solve -r = -u*r - 9 for r.
-3
Let u(t) = 0*t + 4*t - 4 - 3*t. Let w be u(8). Suppose w*o + 2*s = 3*o + 1, s = 0. Solve 4 - o = x for x.
3
Let n be 5/15 + 29/3. Suppose 0 = -5*d - n + 35. Let u be d - (-1)/(3/(-3)). Solve -7 + 27 = -u*s for s.
-5
Let c(u) = -u + 4. Let g(n) = -n + 4. Let o be g(-11). Let b be ((-9)/(-15))/((-3)/o). Let p be c(b). Solve -p + 4 = l for l.
-3
Let i(v) = v**3 - 8*v**2 - 6*v - 17. Let y be i(9). Suppose d - 27 = -y. Solve -5*x + d - 2 = 0 for x.
3
Let k(n) = n**2 - 8*n - 2. Let q be k(8). Let t be (q - -1)/(10/(-30)). Solve 0 = -2*h + 3*h - t for h.
3
Suppose -56 = -10*t - 16. Suppose -k + t = -2. Solve x = 3*x - k for x.
3
Let k = -16 + 48. Suppose -y + 9*y - k = 0. Solve -3*w = 8 + y for w.
-4
Suppose -3*c + 2 = -5*i - 0, 3*c = -5*i + 22. Let v be (-2 + -1 - -8)/1. Solve -g - i = -v for g.
3
Let u(y) = -y**3 + 21*y**2 - 20*y + 23. Let i be u(20). Suppose -i*q = -28*q. Solve q = j + j for j.
0
Suppose -b - 2 = -2*b. Suppose -3*w + 5 = 4*m, -2*w - 1 = -m - 3*w. Let u = b + m. Solve -13 = -u*a + 7 for a.
5
Suppose -3*a = 12 - 21. Suppose -f + a*f - h = -2, 3*f + 6 = 3*h. Solve 0 = -f*n - 2*n - 8 for n.
-4
Suppose -3*j - 40 = -10. Let y = j - -12. Solve -y + 0 = -2*z for z.
1
Suppose -9 = -s + 2*h, 4*s + 2*h - 24 = -8. Solve -s*n = -10*n - 10 for n.
-2
Suppose -3*h + 1 + 8 = 0, 10 = 2*p + 2*h. Solve 3*i + 10 = -p for i.
-4
Let p = -15 + 23. Suppose 0 = -3*k + 5*k - p. Suppose 5*b = -k*d + 29, -b - 6*d + 2*d = 7. Solve b = y - 4*y for y.
-3
Let y = -301 - -361. Solve y*q = 57*q + 9 for q.
3
Let u = 871 + -867. Solve 106 = u*q + 102 for q.
1
Suppose 3*u + 2*a = 74, u - 6*u - 5*a + 125 = 0. Solve 16 = -u*p + 16*p for p.
-2
Suppose -28 + 22 = -2*w. Suppose -b - 10 = -6*b. Solve -b*r - 10 = w*r for r.
-2
Suppose -31*r + 29*r + 24 = 0. Solve 3*s - r = -3 for s.
3
Let g be (4 + (-2 - -5))*-1*2. Let v be -2 - 8/g*70/20. Solve v = -4*d + 4 - 12 for d.
-2
Let j = 83 - 78. Solve z = j*z + 20 for z.
-5
Let i = -322 - -328. Solve -i*o = o + 28 for o.
-4
Let y(p) = 6 - p**2 + 0*p**2 + 12 - 16 - 6*p. Let k be y(-3). Suppose -3*g + k - 2 = 0. Solve -6*i = -g*i for i.
0
Let q = 263 + -257. Solve 0 - q = 2*v for v.
-3
Suppose -72*q = -91*q + 95. Solve -8*b = -q*b for b.
0
Suppose 3*y - 3*i = 141, 88 = 4*y - 2*y - 5*i. Let g = y + -35. Solve -3*p + g - 2 = 0 for p.
4
Suppose 9*h = 5*i + 12*h - 3, -4*i + 8 = h. Solve -21 = -i*z - 6 for z.
5
Let a be (-4 - (-204)/54) + (-38)/(-9). Let o be 2*(-1)/(-2) - 1. Solve o = -c - 0*c + a for c.
4
Let m = 12 - 9. Let k be -1 + m + 4 + -1. Suppose k*v + 2*l + 3 = 23, -l = 3*v - 11. Solve -v*u + 6*u - 12 = 0 for u.
3
Suppose 7*a - 4*a = -2*m - 6, -a = 5*m + 28. Let j be (-9)/(-1*(4 + -7 - -2)). Let n be j*8/m - 4. Solve r + n = -3*r for r.
-2
Suppose -4*a - 2*k + 34 = 0, 0 = 4*a - 6*a + 2*k + 8. Suppose -3 = -2*l - 3*q, 3*q + 2 = -a. Let h be (-1)/l - 28/(-24). Solve -h = -0*j + j for j.
-1
Let j be (-17)/(-2) + (-24)/16 + 2. Solve j*y + 5 = 14*y for y.
1
Let p(a) = -a**3 + 15*a**2 + 31*a + 58. Let s be p(17). Solve 0 = -s*d + 2*d + 10 for d.
2
Let h = -264 + 266. Solve -c = -h*c - 4 for c.
-4
Let j(y) = y - 8. Let m be j(-10). Let b = -28 - -10. Let k = m - b. Solve s + s + 2 = k for s.
-1
Suppose 0 = -3*k + 5*i + 4 + 39, -3*k - 2*i = -8. Suppose 18 = 11*s - 15. Solve 0 = -s*b + k for b.
2
Let u be (-57 - -57)*(-2)/(-12). Solve 6*t - 23 - 7 = u for t.
5
Let n = 2331 + -2302. Solve -7*g + 44 = -n*g for g.
-2
Suppose 378 = 3*z + 375. Solve z + 3 = b for b.
4
Suppose 2*q - 22 = -3*c, -q = c + 3*q - 14. Suppose 0 = -0*r + c*r - 12. Suppose x = -5*a + 17, -r*x - 3*a + 15 = x. Solve -x*u - 20 = -7*u for u.
4
Suppose 5*b = o + 103, 10*b - 3*o + 11 = 11*b. Solve -3*n + b = -8*n for n.
-4
Suppose 10 + 32 = 7*g. Let l(u) = -u + 1. Let f be l(10). Let x be 6*-1*g/f. Solve x*m - 8 = -0*m for m.
2
Suppose 29 = -4*o + 45. Suppose 0 = -o*r + 5*n + 40, 4*r + 1 = r - 4*n. Solve 0 = -r*u - 3 + 23 for u.
4
Suppose 3*l + 0*l = -24. Let p be -6*((-8)/(-6) - 1) - l. Solve 6 + p = 3*n for n.
4
Suppose -2*k - 3*h - 10 = -h, 3*h = 2*k. Let o = 13 - k. Let c = o + -11. Solve 10*i - c*i = 5 for i.
1
Suppose u - 1 = -j - 0*j, 0 = -4*u - 3*j + 8. Let h be (28/49)/((-4)/(-14)). Let p = 6 - h. Solve u*v + p = -1 for v.
-1
Let b(r) = r**2 + 9*r - 28. Let l be b(3). Solve -3*f + l*f = -15 for f.
-3
Let o be ((-35)/(-15))/(35/105). Solve 2*g - o = -11 for g.
-2
Let i(h) = -2*h - 20. Let x be i(-14). Suppose 2*w = x - 2. Suppose 0*d = w*d - 15. Solve 0 = -d*s - 0*s + 25 for s.
5
Let r(z) = -z**3 - 15*z**2 - 17*z - 32. Let b be r(-14). Solve b = 15*a - 10*a for a.
2
Let q(g) = -2*g. Let t = -13 - -8. Let y be q(t). Suppose w - 5*j = -3*j - 5, 8 = 2*j. Solve -w*u = 5 + y for u.
-5
Let s = -196 + 199. Suppose -26 = -5*p - g, 3*p - 3*g - 2 = 10. Solve 0 = -p*v + s*v for v.
0
Let b(i) = 11*i**2 + 3*i + 4. Suppose -6*y = -9*y - 3. Let m be b(y). Solve -3*t - t + m = 0 for t.
3
Let z(k) = -k**2 - k + 1. Let q be z(0). Let v be 3 + -1 + (-2)/q. Let y = 61 - 57. Solve v = -s + y*s for s.
0
Suppose -19*n + 20*n = 8. Solve a - n = -13 for a.
-5
Suppose 2*s = 22 - 14. Solve s*j - 5 = -25 for j.
-5
Let l be (-154)/(-49) + (-2)/14. Suppose -2*t = i - 5, 2*t = -l*t - 5*i. Suppose -t*f = -60 - 50. Solve -4*h = 10 - f for h.
3
Suppose 4*r = -23 - 33. Let q = r - -17. Suppose 2*j + q*j = 25. Solve 15 - 5 = j*v for v.
2
Suppose 9 = -o - 4*j, 4*o + 8 = -2*j + 28. Solve 5*m - o*m = -10 for m.
5
Let x be -1*25/2*(-408)/68. Solve -12*s = 3*s - x for s.
5
Suppose 26 = -3*v + 59. Suppose 4 = -x + v. Solve -4*k = -x*k for k.
0
Let v(o) = -o**3 - 10*o**2 - 6*o + 18. Let w be v(-9). Let h be (-1)/(-6)*8 + (-6)/w. Solve h*c = 7*c for c.
0
Let b be 5 + -6 + 9 + -4 + -2. Solve b*k + 6*k - 32 = 0 for k.
4
Let f be (3 + -3)/(-14 + 13). Solve -7*o - 9 - 12 = f for o.
-3
Let j be 17*(-5)/5 - 2. Let y = 35 + j. Suppose t + 2*s + 6 = 4*s, 0 = -2*t - 3*s + y. Solve -11 + t = -3*o for o.
3
Let o(x) = x**3 + 3*x**2 - 4. Let v be o(-2). Suppose 4*g - 7 + 1 = 2*q, 2*q - 2*g + 6 = v. Let s be 0 - (-1 - (10 + q)). Solve -2*w + s + 2 = 0 for w.
5
Let y = -116 - -120. Solve -2*q = -y - 0 for q.
2
Suppose 0 = 5*o - o - 8. Suppose -o*d - 3 = -7. Suppose -a + 5*i = -23 - 0, -d*a + 26 = -5*i. Solve 3*u + 0 = -a for u.
-1
Let t = 18 - 18. Suppose t = 4*d + 22 - 30. Solve 10 + d = -3*l for l.
-4
Let g = -32 + 45. Solve 0 = -g*b + 16*b - 15 for b.
5
Let j(m) = m**2 + m - 1. Let t be j(-3). Let n = 133 - 109. Solve -n = t*o - 4 for o.
-4
Suppose 0 = 5*y - 4 - 11. Let v = 12 + -10. 