= h - b. Is s a multiple of 10?
True
Suppose 5*u = -4*q - 1, -5*q - u + 4 = -0*u. Let s be q - 4 - (-5 - -2). Suppose 4*z + 5*n - 124 = s, -11 = -3*z - 4*n + 81. Is z a multiple of 30?
False
Let m = -11 - -15. Suppose 27 = m*q + 3. Is 20 a factor of 404/q - 8/6?
False
Let r(x) = -2*x + 3. Let o(z) = -z - 11 - 6 - 6 + 6. Let m be o(-11). Does 6 divide r(m)?
False
Let l = -94 - -108. Suppose -v - l*v + 2190 = 0. Does 22 divide v?
False
Let d(v) = v**3 - v**2 + 4*v + 2. Let r be d(-2). Let f(w) = -w**3 - 17*w**2 + 5*w - 39. Is f(r) a multiple of 43?
False
Suppose 0 = 2*b + 3*g - 50, b = -g + 20 + 4. Let z = 4 + b. Suppose -1 = 5*s - z. Does 3 divide s?
False
Suppose 0 = 5*c - 3893 + 103. Does 60 divide c?
False
Let t(q) = -q**3 + 22*q**2 + 16*q + 86. Is t(22) a multiple of 6?
True
Suppose v + 12 = 11. Let d = -17 + 52. Let x = d - v. Is x a multiple of 7?
False
Let i(f) = f**2 - f + 1. Let g be i(2). Suppose -2*p - 4*r + 189 = 23, p - 86 = -g*r. Is 11 a factor of p?
True
Let x(g) = -7*g + 1. Let l be ((3 - 1) + -1)*-4. Let d(v) = v**3 + 5*v**2 + 6*v + 6. Let h be d(l). Does 5 divide x(h)?
True
Let m(t) = 508*t - 26. Is m(2) a multiple of 9?
True
Let n be (-2)/(-1 + (-43)/(-41)). Let r(i) = i**3 + i**2 - 2*i - 83. Let y be r(0). Let l = n - y. Is l a multiple of 14?
True
Suppose 4*r - 10 = -p + 3*p, p - 23 = -5*r. Suppose -p*b - 5*w = -76, -w + 0 = -2. Is 22 a factor of b?
True
Suppose y - 7 = -z, 4*y + 35 = 8*y - 3*z. Suppose 4*j = 6*j - y. Is (-4)/8 + 26/j a multiple of 6?
True
Let q = 143 - 141. Does 5 divide (-11 - q)*(-1)/(1 + 0)?
False
Suppose 4 + 26 = -3*u. Let n = -8 - u. Suppose -n*g = -k - 4*k - 28, g - k = 20. Is 12 a factor of g?
True
Let t(p) = -p**3 - 4*p**2 - 4*p - 1. Let s = 0 + 3. Suppose s*l = 2 - 14. Is 15 a factor of t(l)?
True
Let g = 89 - 62. Suppose n - 10 = -n. Let b = g + n. Is b a multiple of 9?
False
Suppose -3769 = -36*w + 7643. Is w a multiple of 3?
False
Let j = 167 - 132. Is 10 a factor of j?
False
Suppose 2 = -h + 3*b, 4*h - 5*h + b = 6. Let i be (-5)/((-20)/48) - -2. Let r = i - h. Does 11 divide r?
True
Suppose -117 = 3*m + 5*h + 70, 0 = -2*m - 5*h - 133. Suppose -4*a + 130 - 198 = 0. Let q = a - m. Is q a multiple of 17?
False
Let x(q) = q**3 - 21*q**2 - 20*q + 73. Is 9 a factor of x(22)?
True
Let j(m) = 4*m - 2. Let d be j(-2). Let b(f) = f + 6. Let s be b(d). Is 2 a factor of (s/8)/((-2)/24)?
True
Let x(s) = -s**3 - 2*s**2 + s + 186. Is x(0) a multiple of 31?
True
Is ((-14)/(-6))/((-45)/(-41580)) a multiple of 24?
False
Suppose 4*y + c = -3*c - 20, y + 7 = -3*c. Let q be 33/(y/12*-3). Suppose 5*g = 2*x + 50, 2*g - g = 5*x + q. Is g a multiple of 7?
False
Let w(p) = -119*p. Let s be w(-1). Suppose 4*h - s = -5*x, 0*h + x + 101 = 4*h. Let l = h - -7. Is 11 a factor of l?
True
Suppose 26*v = 5*v + 105. Suppose 2*f - 89 = h, -2*f - f = v*h - 101. Does 13 divide f?
False
Suppose u - 4*a + 0*a - 56 = 0, -3*a = 0. Let w = 0 - -1. Is 6 a factor of u/24*w*18?
True
Let k = 70 - -17. Is 87 a factor of k?
True
Suppose 0 = 2*h - h - 4*x - 312, h = 2*x + 318. Is h a multiple of 9?
True
Suppose -5*y - 5*j + 7435 = 0, 4*y - 19*j = -21*j + 5940. Is 25 a factor of y?
False
Let g(k) = 8*k + 7 - 7. Suppose 4 = 6*l - 4*l. Does 8 divide g(l)?
True
Suppose -5*l + 5*r + 2475 = 0, -542 = -2*l + 3*r + 450. Does 29 divide l?
True
Does 25 divide (-1 - -1708)*(7 - (-40)/(-6))?
False
Let k be (-12)/54 + 897/27. Let y = k + 11. Is y a multiple of 11?
True
Suppose 0 = -3*r - i + 2*i + 1473, r + 3*i = 491. Is r a multiple of 12?
False
Suppose 0 = 5*c + 5 - 20, c - 78 = -3*d. Let v = 195 + d. Is v a multiple of 11?
True
Let s be (-1)/(5 + (0 - 4)). Let k(i) = 79*i**2 + i + 2. Does 20 divide k(s)?
True
Let h(g) = g**3 + 12*g**2 + 5*g - 6. Let f be h(-11). Suppose -f = -5*m + 3*n + 69, -5*n = -4*m + 111. Does 13 divide m?
False
Let k(a) = 80*a**2 - 3*a - 3. Let t = -16 - -15. Does 10 divide k(t)?
True
Let x(w) = w**2 - 23*w - 9. Let v be x(14). Does 5 divide (4/(24/v))/(27/(-36))?
True
Let l be 2/((-7)/(7/2)). Let k = l + 13. Is k a multiple of 7?
False
Let s = -8 + 9. Let c be 96/14 + s/7. Suppose -14 = -c*r + 6*r. Is 7 a factor of r?
True
Suppose -4*g - 4*p = -1648, 29 - 456 = -g + 2*p. Is g a multiple of 6?
False
Let i(c) = 17*c**2 - 5*c + 2. Let d be i(3). Let a = d + -50. Does 20 divide (1 - 15)*a/(-21)?
True
Suppose -1150 - 3372 = -17*j. Is j a multiple of 38?
True
Let k(w) be the third derivative of w**6/120 + w**5/30 - 5*w**4/24 - 7*w**3/6 + 4*w**2. Let z be k(5). Suppose 5*t = -z + 413. Is t a multiple of 21?
False
Is 3 a factor of (10/8)/(277/92 - 3)?
False
Let k(w) = 3*w**3 + w**2 - 6*w - 15. Let y(d) = d**3 - d. Let h(q) = -k(q) + 4*y(q). Let n(s) = -s**3 - s**2 + 2*s. Let p be n(-2). Does 15 divide h(p)?
True
Let g(t) be the first derivative of 0*t + 3/4*t**4 - 5 + 0*t**3 + 1/2*t**2. Is g(1) a multiple of 4?
True
Let i be 2/(-6) - 2048/(-24). Suppose -4*v - 4 = 0, -5*v = -x + 2*x + i. Let p = x - -115. Is 14 a factor of p?
False
Does 22 divide (129 - -5)*6 - -10?
True
Let h(g) = -3*g + 8. Is h(-1) even?
False
Let v(w) = 9*w + 11 - 23 + 26*w. Is v(4) a multiple of 8?
True
Suppose 0*r - 1760 = -8*r. Suppose 5*i = -5*f + 360, -5*i + r = f + 2*f. Is f a multiple of 8?
False
Suppose -15 = -5*i - 5. Suppose 4 + 66 = 3*g + i*p, -5*g + 5*p = -75. Is 4 a factor of g?
True
Suppose 10*n - 867 - 1243 = 0. Is n a multiple of 10?
False
Let m(r) = 6*r + 42*r - 2*r**2 + 0*r**2. Does 14 divide m(20)?
False
Let y(w) = -159*w - 492. Is y(-4) a multiple of 73?
False
Let j = -18 + 24. Let n(h) = -3 - j*h + 18 + 4*h + h. Does 8 divide n(-11)?
False
Is 853/2 + (-18)/36 a multiple of 19?
False
Let m = 1783 + -487. Does 46 divide m?
False
Suppose -1774 = -4*i - 3*c, -4*i - 4*c = -9*i + 2202. Does 63 divide i?
False
Suppose 0 = -5*a + 26 - 6. Suppose a*v - 5*i = 1093, -6*i = -2*i + 4. Is 16 a factor of v?
True
Suppose d = 7*d. Suppose 5*f + 5*m - 70 = d, -2*m + 31 = 2*f + m. Is 11 a factor of f?
True
Let i(g) = -2*g + 9. Suppose 5*r = 3*p - 50 + 9, -2*r = -3*p + 11. Let j = r - -1. Is i(j) a multiple of 11?
False
Suppose 1 = 3*g - 5, 3*a - g + 425 = 0. Let q = a - -148. Does 2 divide q?
False
Let m be (-74 - -4)/(-1 + 0). Let d be (-20)/m + 88/14. Does 16 divide 26 + 0*(-2)/d?
False
Suppose 14*p = 6*p + 88. Does 22 divide (-5 + p + 3)*3?
False
Let p = -45 + 252. Does 3 divide p?
True
Suppose 0 = -18*m + 5020 + 398. Does 7 divide m?
True
Suppose 0 = -d - d + 6. Suppose -5*g + 99 + 24 = 4*b, 4*g = d*b - 100. Let j = -16 + b. Does 16 divide j?
True
Does 13 divide (158520/(-25))/(-8) + 8/20?
True
Let b(z) = z**3 - 2*z**2 + z + 4. Let l be b(0). Let a = -10 + -24. Let y = l - a. Is y a multiple of 10?
False
Suppose 794 = 5*h - 7*h. Let a = -163 - h. Is 9 a factor of a?
True
Does 94 divide -141*(-2 - 64/12)?
True
Suppose 18 = 5*o + 8. Suppose 0 = o*j - 33 + 17. Is j even?
True
Suppose -8*s - 25 = -3*s, -3*r - 193 = -4*s. Let i = r + 101. Is i a multiple of 30?
True
Suppose 5*f + 13 = -32. Suppose -4*j + 17 = 2*c - 181, 0 = 5*j - 2*c - 252. Let o = j + f. Is o a multiple of 12?
False
Let s(l) = 3*l**3 + 3*l**2 - 3*l - 9. Let d(g) = -2*g**3 - 3*g**2 + 2*g + 10. Let z(c) = 4*d(c) + 3*s(c). Let y be z(6). Let q = -68 + y. Is 9 a factor of q?
False
Let b(l) = -42*l - 5. Let n be b(7). Let r = n - -509. Is r a multiple of 28?
False
Suppose 2*u = -2*m + 4*u - 2, 2*u - 22 = -3*m. Let v(h) = 1 - 5*h + m*h**2 + h**3 - 8 + 1. Does 6 divide v(-4)?
False
Let s = 223 + -25. Is s a multiple of 14?
False
Let m be (3 + 1)/(2 - 0). Suppose -14 = -y - d, -m*d + 36 = 4*y - 26. Does 6 divide y?
False
Suppose -10*y + 7*y + 12 = 0. Suppose -2*m + 746 = 3*m - 3*j, -2*j + 610 = y*m. Is 29 a factor of m?
False
Suppose 20*v = 3*h + 22*v - 709, v = 2. Does 74 divide h?
False
Let n(x) = 4*x - 11. Let i be n(19). Let q = i + -38. Let u = q - 24. Is 3 a factor of u?
True
Let y = -177 + 21. Let d be y/(-28) + 12/(-21). Suppose -d*b + 168 = -32. Is 20 a factor of b?
True
Let q(a) = 5*a + 3*a - 2*a**2 + 6*a + 6*a - 10. Does 6 divide q(9)?
False
Let r(x) = -3*x**3 + x**2 + 7*x + 26. Is 21 a factor of r(-3)?
False
Suppose 0 = -2*i + i - 2, 4*w + 2*i = 120. Let c = -33 + w. Does 13 divide (-2)/1 + (-80)/c?
False
Suppose 40 - 106 = 3*u. Let c = 16 + u. Does 10 divide (20/6)/((-2)/c)?
True
Suppose 